/* www-ATLAS of Group Representations. 3.U6(2) represented as 210 x 210 matrices over GF(7). */ F:=GF(7); x:=CambridgeMatrix(1,F,210,[ "160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "061240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "010202300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "030266200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "050624225100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "010213616400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "030154046305600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "020265630020502000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040016525344504000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "060315112520114634000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "010111436621133326530000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040145165662414132410000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000025144503240424643640000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040614356345100205410000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "050410142055125103013560330000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040061643505301050066320113500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "050342255436442141446160003500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040016105015462311216514521563200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "030360260301025400603035202442600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "020204322353624352263051134351314400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000360426253654044315163546045465363000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040401662412161502640263511501260356000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040435024366542654623665135460024566555000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040265645033051264441455335201512351106310000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "060360561502324152261030431211542333601460000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040111043132121002325351051236130535344353130000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "050240201265664662300035315533344256166141510000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "060145040552235650215301130336531234564436664520000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "050043662440242316101253034332232326155631630635100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "060564515044534152640235352151534060304241252403200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040265114215344601113061135046235226405122402605655100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "020306622225116405653161256163523144633246160524226644000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "050256003226566010613515006336343422636554210200025633000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "020315630665423514651006316112255664011615623645121143445000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "060614623564302434662122322214532333656424563223441113664000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000240666604061611354064446650063163112646030316420215324112000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "050605501503366236621315266541306015002254541535301426405514250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "010614201123326042040026523530403010063222333335423035204151520000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "030623443213463461035116206434110210016361453562650114362316245240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040650041242461061420324103543450602661546406342150032630512646120000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040306014630263143300122602626050543105042214302664150230123663506410000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "030623440261425206314336414301403062025655050342145312354623010411221400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "050555140166511336046006225310431015154364505365321436114026343443032100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "050410421455402215030011513315221510123632565024052411161224131420446052200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "030102024041000656435320464612321535414033163130120611420215654236105115602000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "030265643365133250112450146442634255344015155252161416142024430214325051202000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "050512231433632521542636226311526113404514255620411032334022362432162361246111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "020555525215321346335146341163503341601361413536014631424621444405653154411222000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "060120056006052666445456664125444655600365511050054235601203606506415664012056043000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "050641334462414516545524000343065356400133546116201441111360343513104153502562041320000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "060546545503366222352004160663606403462353342445164353613162265323210620642056021640000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000324033110506354101461500630462020642341223601032662344310232352622466033246315003660000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000650200455500513005040313205054522611551144044465165620426512212412554601635421454110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040306114001465341454561130236324515335652430622223422203052360405622641551621103225332200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000401023104232103344053041621334113410303361314612333124551133154133325113045242231132131000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000136030055061645004525503651113311331436644426061343161303142051403424603303461133411662000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "030034665160230336455305125541044535315534641656531130513212515654455164020156305333532324434000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040265400602531134665635450161164563001600665411531315244435462564552534321613113434620634136120000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "010555344346142202314664655451246662531063535404064660665413423432231355346421303502006405142360000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000614245641223656666530455503056603250022645001102130225660441501316022666241213546406644425605610000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "050444234656130534620055345064543606101503362250423233065133344631305462304042150433655513651265610000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040666222561600043246041143466554010130500641405243132401235021151616552630023136553153520534502334040000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "050360233113103030030003035410403112300460005625050110446005153223010311601516562021541220013321542550400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "060351052351111520315344415514662550365535311561452513635506122036040462352206344110142432200010451130500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "020231550343060440633105431314466636545262600652043506262650120214354306216512224034345430663236115206331400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "020546201605254615541110624261041223031045634126044041636110512216352413401023441403031243646615463104623310000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "060605536666431345462612311213555232444104565003656213505442411164444503056613140105613410346116566154123630000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "050204106013323214033642455003423653031336361544346154635021255306632136651515454534333144120605650021542266160000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "030564030341032265634101553331022061135020100202166313302002232623023136426044634135200234224430216203555102520000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "010265230055052665611251265325101336202530151652531224412514123034603321311300521435045101255341134410365444301630000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040650321520061463645464312661023542522035113230604663305105031135414362600350600046625436044151662464141334355305300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000102252035532260254534332664422011620516120160606206242042110001161200264321212625335066420126515665230533453332400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "010401344130013420040215114015155421636161616431465061421010534030565456066626155666251663243204253344106325310306162200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000111652561316242001633444164123114255551225436350020361012605063630413335410150400656512333041053500414215226506500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040444633300560131016441150216301654441560653501664165530631355061044225310606405552034425162022211240063000426433241455200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "030555351624566010662226413023053356302200562522131413614436561225022461351605306220400102256564104410223330233616635340065000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "040632002511330343355265303230265333322336244463421536064436323630355230663322625614521334030645324533626133121106340652512000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000061532236215614635014123325432220552020061011060604106221042653531446640314556161443464345004362265163030442550216033541523000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "010333154233640422102414353035431404235656054146560645521404116223064630334500403165131401404110403103314322230522502455055133320000000000000000000000000000000000000000000000000000000000000000000000000000000000", "010530542304030654661546312430610162264513444506052225233113250366601360246116361235214153451111433046112251326360060501402133320000000000000000000000000000000000000000000000000000000000000000000000000000000000", "060145101041630603512521356536504623043600400454200536114546501304623052250330342144253502664241154263626364206513665231502503444240000000000000000000000000000000000000000000000000000000000000000000000000000000", "040222230041263262155011641134554110413163452615125164126342330242014512660003414166544330220266240033632401256411206055564432431410000000000000000000000000000000000000000000000000000000000000000000000000000000", "050231600216156213414231301124455366205334330343133510636515341116632413051404065634422552561204462526360150643166425041324454266401040000000000000000000000000000000000000000000000000000000000000000000000000000", "060521312114326114350115163366114566446012022256013165202310034553630362453653024345111503256122113231203366012201261621162434264021204300000000000000000000000000000000000000000000000000000000000000000000000000", "010333053535553650213331304342240506662606522243425212531204562105663261153035425141014103351244013022251135241524546131054110130552553400000000000000000000000000000000000000000000000000000000000000000000000000", "000163054305212453116156002604352002504050332306334211206664133011226035153353116365311304664551604445414652322212453445344566254513064521100000000000000000000000000000000000000000000000000000000000000000000000", "030315144066503365115201235054652561164023021431502033063635644605322236231506110640145411655550206323555666301005313203320322425314013256600000000000000000000000000000000000000000000000000000000000000000000000", "020306350562256222652321143623041151151014143552101235603541266451261064564434616056136156000336263520663420503666112515455422613053314062126400000000000000000000000000000000000000000000000000000000000000000000", "020061452346546444114232353555121500400044236330316532042552606311231546333420614244166122114546511204625445040040303453536316656131206110313200000000000000000000000000000000000000000000000000000000000000000000", "030530444026122533344331665302620652514634044420654642015356563356106260142400616121152354011125262556312652012636421005462141250404114061523542100000000000000000000000000000000000000000000000000000000000000000", "010546161332521604453523552632512263031024614054416552111165230543530146601620155212653044512443410010120321315425203505642252413103423536103261355000000000000000000000000000000000000000000000000000000000000000", "010555256000125462340646540530605526051346062260535501066524500555611066054205041405422345601446645263654455355035333131206455631166244246531026255000000000000000000000000000000000000000000000000000000000000000", "060315550123445325160022023360056205635611400530130623102446564632150011056443563543406120363403103353520445434254420225021446451341305325302614623312000000000000000000000000000000000000000000000000000000000000", "030163062345351452315536531052263233630512326326663415050566504256651431616523334066501121325516646401631055352664666100466415054062520665363602014236000000000000000000000000000000000000000000000000000000000000", "060324302423222314164555221415026446104650055240323414216566653001335422602323214644511241542141021436136016062551205254051141443630164133365321136220405000000000000000000000000000000000000000000000000000000000", "020061566103055301312404453054622326124211660150026263642116605024535023203453210410252401644051042620520351450053442332616460454062151365451561335035403260000000000000000000000000000000000000000000000000000000", "020666614255014404042214325505462161136363653232260422321242160262210443444430633610530412046623415201605612011021203640142053042212530064633412546010506260000000000000000000000000000000000000000000000000000000", "050444233234105213411230316423622135201101521215314142630025545325344203264005256366626212513221525036330010136502315552105653004656602642150015145555236324310000000000000000000000000000000000000000000000000000", "050052512004553621610112341026533603446604162645331430412324606130655450114524001652606134031665344014441031100022321014361211213250066363243422046600510130542400000000000000000000000000000000000000000000000000", "020145404464203124303306631312054040221512522136513336116324412206233302143634261444362324104444464532644534031604436356606064535201421341443616461621544133460000000000000000000000000000000000000000000000000000", "060512565535642600360355334400052122654241644366543120405423560540156535562460665623540343001344360033446264333104066005422621240634631043156424602112104650240101200000000000000000000000000000000000000000000000", "060360122602524562530512521452621524325352254462146441231315032223651542261456642230612565650060033015504461600045126122241653326641633665224545556553012263311200000000000000000000000000000000000000000000000000", "030052351316114456013164213126033042212020212235266130322035451220600021465163053634120650256325510124125450036242443151453314356112263521534624241050114060534006064200000000000000000000000000000000000000000000", "060521350520314310650123043534243312253002402566400430424634546565252545521156636555325112146041653504612425454136251634161015121414235265651505544126051415443551165505000000000000000000000000000000000000000000", "000256565220224260344046423231625531126616646343236152440032035310006323410053534413466143210634324422452100163554303660326051060434014305061206613223200662365646211604000000000000000000000000000000000000000000", "050240540511426205422121412564141246366020442202042424664324363626112465225542652132222432351463302251131015064441310060345466662310034352450100366446223235652315422501000000000000000000000000000000000000000000", "030641164505222163651664631156145056042062541564454625344042254655111553460405442612665340250523165234061660241202363520365314104363331253532404446620240104105020330531002100000000000000000000000000000000000000", "040555362230050030402230003164066644221033210426264435102652616102311360154106355351116566166101663533605135543052611350246633320553310154003265162543122446245060346141505033000000000000000000000000000000000000", "030061462122446646264504251152222266151140560346004034256253651343011053306102012662515342364535133526605340356346631036462351442243613153052063016446120564530206424013503633000000000000000000000000000000000000", "020204433135525444510406123336360442250162132545030561142461312115403620045533652336143430112404424504306552503224454204042523002131031252555446036010263045326432501114051630305000000000000000000000000000000000", "030462553151145522135621311641633061651253553462540063322153230611320051115454041440056413651264046163231355263463640065210305550064042006020310460123325062030102510526626053562540000000000000000000000000000000", "000632055410340342312255446514525653100015041303160165426666232246243054651513651430604135060001025360535061050015325043352465353666040313541024065161110235160412266442461605326460000000000000000000000000000000", "050240534334613413661250243060140444634536000555435156013051505510266112143621006030402065203632435333042661116136046435242114206323355365543226340506520035010065432633653262251230220000000000000000000000000000", "060444236053462320635303033505516406511424211262156543322661010346665005516423464343204111560550246323450401111260540552205436600102256234463632565161640451264600405051105102322150660000000000000000000000000000", "010444252266323046312345302314536512654454554144334530622641465606250342504600431153011600241662121262625240101122141512343406325065535504416212302651422613306226125151135216261462153520000000000000000000000000", "060342153113644636110206565260416601652350504331103565513064511146331541651606102332543255244060553254404036332151030662414143433632310263254661110455032041133245013130411544565313651430000000000000000000000000", "020061251314654326214332405563526045514030162002125350346401223040532011053462652041504044352361512644546504005465635410631565224533215554144326643222112265325360060160102506206625364250000000000000000000000000", "060546211130035665006466542213043631124014310026335234406411045333310144203542114665433240144346020503534445450415015555351064146213432425560024513443305054410613245214311113216462263520000000000000000000000000", "030453166532452221045134116135322000446420305361113430531506453552013402220556020105122223402256561150251533521616133306533216443141561042405160244161542263214061142140101430105315254250000000000000000000000000", "010256500634366022323150621333562502605312305541560360056041324446565456502033052612361144343462430663106025045623044646015614034051346622625114664501526561360163423466411452505462523520000000000000000000000000", "050546222646614031662333103636250010323032542065042421155051001453435305455561526510445054120531030051325066255005624205410331443652600630016642440622501403221344023506210630123505650243131330000000000000000000", "020102166435352544054241156056014216411646335562546544344635352132120132534060532045212234052216626165410446360462633146430143111023445556635106054230536153410233600421552312223562435562323220000000000000000000", "050641564330614242654443052300146264133414242433245333064234350410624264624224535004264054354665410424051205350311034253043520042233633021446310011051530531656206501325006413413621061560060065450000000000000000", "010512642606032114233604523454412551643524456626016626614455035301202051623036226354253065563110425025263333300034111110221043111406245215133163333134033655305240534056352143441346100563101301510000000000000000", "040111003643664505212115240112452554213161501041456542430142604602333444463141164640264300356351432244052046506444133154564524443021533063313630232541045612246664402030041460300605165165444545450000000000000000", "020360502301121143363433530122223251225130243523440014133364532225464534250134630011124250210212526311026506350113151156062440312155564432555222034322646000652023545544450622666014026263641426340453000000000000", "060623452101206131323455663312246501100401100411145655013150445266421436004252200630402141466465505042064041451226141556151661221220226044506334210650011256043040365630041252326336350226542104100136000000000000", "000650661224254113234210146103151355621201640454310461230505125624261560305445124566411164301446320165164126531142214660003323103366334601253654410266230365356111150210206061120532111413360514235146464000000000", "010204620512036650122413665611641464642342413112322516142313044164512163402305515423535124062105460310233364343532550236331140413034402210130461314524426263316143165113034636516124661644606406260000000000000000", "020641454064220624454326435050611130416054522535025361643463531421603423535042510155552263130062260651641516161425405026604115331066532341431324533020610131110314022524234660363314330154360631612126313000000000", "040623331631513211453103333420132306616232541402363606651223412013304354415646001442653263356646614004560005256260120210106226011506041362506264600005136046222101244003264352113135021240400546556441151064400000", "030231415260464653320242104164164012335520245462216244354206112500026001122304622050516012336512255046532365252566451441533265100202160355646035400522366300545460004215135506406316301151002220220213626064400000", "020462226455241141060621403140155232056065461265212540230062601112353203065544263454442565264006023214622055432245432314564601631633642016153552605533251554434216515065623112061054164132611343135103626026600000", "060265603234441136163300426143113150536611256612404526516662454314230024435322110313636651412235244050152310505661644160621015130640054323606500064435202023505234366140450553206632050132562552156034050446606430", "040256366021365212266345561264414360112504510351244554252021114451305050053210026110655042302445232646352541110642530215001204402500101004222632420116203320541646602606151014446310041331602055263066050452206430", "040102442630461062436624112545314214466052250625052401562320240412161550662026204251154052030045554204003063022605621043513401506263666143461336500130000363146133501356633036543353420525561206053512146341156256", "060163354320645445346252020433316322530020530632063462421652424365511201665453052051602550532412661560553036224252442064136446653436034044115650215525206202360040031655124420053050100406136004466636311125553006", "020426543361462105242232520624250140325335441031236330111210323235206345461416013341243663250536222255532533442233144044606321063523445342344465265133501136001154106663525450330341226241156526665434066632261253", "010342433516656014226105016136322630304061200425003442433261201560014214504321435225653646650331361610254614454616660243564050620600605032556363444634301242530441206050613422334262651053316624536415434643302610", "060512205261660022244630006341252421033063015135166164303430021344601402133666601315360244633432466353314425654500525600514446010025632156501653403103552100642366545122461465022001002365156540444466263444410164", "010641654452120436205543501222404401034643110335412613615533015504130346610242060120366134141246246200355665114521443321125602043351312136250336362530165603104534212326512464411210010606122645311633304546615254", "040360221514342664306033166301241242665456505025101050431625666340531562203631020524565346415460316134316234110464652611101514125310362226320534101413121124044102666552056465451511301145161003652414305124420251", "040521542624006654043626020313406434022122144040010255411055316542404115623006025240265024145135511014303646155533140062501602336466301503420213552110042123266322565430536403050465541612261105615602604526652436", "030605204503631532533503651566106452655126504315622545613233406140612411143506212430046525646336455524624616264661161466465432650135034421462552612133226335321242611056111420114565322226156121115225636560004520", "060521532101404222604510430065505600306666644234603151250413140201215653566405534242333326456501456302444203314120511164611365041305453012151515455443531320664145363261501310613366441564654340642346532031144252", "040435102606415045012434522246413336463151005315103231236331623131304020256213216324542456504552521461056206605152420041225633561653024561155322015101053130352105241141061335003642450041466510350211223514415254", "060426320515366041666044553514002131622524543663625322323413162142330300441456226564150400655401246053533634506301213330412606533613530305260301340116536012464635140150661145020145620454051520405402460224436005", "020521366543661302315305463560226414404440640514042462266116156612240210444062613342045003311410533614344064651511004064331114350641124514036464530311122331126063623165651260505252462531034516515525605155564433", "010315404316203343554614613445520462303061546120360356362113206353313310246220056235464602636160255210156615204411425050523435625636235641233301542235301536356061331404024560410435422010205145232131210564452436", "050154060305400220054234653262514463301551645164155365454325550411614515153353265216201064353413200061631440460103456150504335541131230155332563362536514525630402105550014623265013412265205565504414262115505160", "060145410046205314603410020305462423003216465660526155011323336121200532455106260166023301436002044635503536400161246144113611202336601141345023133054232046405664234522354344416304633410230443432641434630002610", "010555262535331620312142421525054331211643346516142051655636453536520553114665431542252353513444644334622603250610411142660456445144254231416661654042166242455163222615611243600210260143600514532121166634450526", "040426022123222213233536406224405203434232100330044655342504463022635566236236523001426234016215665066232235440530233316452345212130013326314340366066325420300412232104305505310351453142352515433223426003322161", "050256535426523151402355515666656541436664115043436556106556005056463020214302244506116131201356615126651006256441141556535206004526060334315313252642165464051364446506244124560405512631111651102160615632261253", "060666063365662623061546014355561430265254513054336206052146210423005532431315050530234154443614256261335326463614632302033225226241565361414320254542645031500155242262312331334106630406245253443231534645561253", "000401164515303045631433022332441640404015522541510464642306123522461255202666413026616624553231062166615645630001245645623234511166233343654515224423621436122052436642333520366665362103631614623631105165542342", "000666424664124626335520126205513115014664222612316235506353040000465356606554404343564316221005430144504465160642320203103361604064361541532631523503521011616606506621051453660534130315544153440512000000000000", "050240244436445636010346523044364254226600261152166521533660540314605001663142315353134044445161533331662105330221164262040404164436205360524363226536140522040430265112516146146454443463142056150353245014433525", "030426302255620102004604510555260365132641651451024450563555503154404056313056431011664244440631552033015016036103460051010224621313151623122521506563662032115152134221615166013020414640034426316246011151116524", "030256125101112360230245556115604356232326331400032066006230344516650320232033245433342234641154446331165323464353554043545503325412562343262146562030552604126313233002263135162650440124462360356660332066666343", "040213220166004613044242550534222212146012166062401445146424450556260343165044605545025666301041622040320512232050343434505016326462313461156243340152513145530025532333132032625651223135035462206414626045500000", "060034302112240064666166231123661555056515362656246163331535312652660532266164604652551656365014210424236561214603022642216665165352430515440305053630456356321410465240131463234466336604362652155166246305545522", "010351225511440535324143256043523145563140551150002530406606314500402221435524434653120200501402163053162043050554031102421531344316213533000033043505616023443420234111144356365362044125243524666542261524463163", "000231560061163621113544044436035206115620160330215206356000404145145311136513313030030625360135410016003006062613462360453613350061120402220342013536532432555345425045443234565345135111306341550366260214451166", "060163210526610305604010044112363202031346201606135605640200406045023360014236214254164666365545455261626615126231533245663145632204631426623455306223602124031061652341001262526156245126320313650231005112253006", "040163222040463145145203061624250565451000433113624255456333042212110156416010005552344146161343606565631455061425134045215361660315233556620033404136243641622066230441566210245025145040552233355316545013300000", "010401044311041231163602540563232661422115343324316152033640053463402443614006311154604225361152402304161363150346564564425462451660442136224641216001003656166254024626420550316025113365011303235215125445543612", "040360053413404142133323325510511521561034631233166022143263043533541653334142442034654501652340026165123141460255241040531544425406501665654545362460142634302304303155026334606050414132015414364542304533315254", "060204130605534564616115626444606642233343533562661020015101046432524321410022414244336563063232124432011452165605616656355352404320150331455624354266602652631160504314134566014353341521604524350254221626661253", "020213102445612224023335654510252205202005053110623613023010505504445026424134234325134063266400316241461225016614633646352420010364515541103543500412616563240101524362451153161325244604601254266463416226625341", "010641320621402566302642321162615425443320314044234566464523034143133364241533110536520531461304133006566153264550266214540054625456032014440243665351225650340406320103050623636514554612431135250314116201151166", "050333040524132254666504256544420140614532562244466564103052103462621153231304161164003305451521550036610561456430115323001532345402111521536613524243555215342520260221265562201630433220451563550462623540041002", "010324342115132322621463234423064051241652023650334104132606231250216522522404322631403625333626561115662433015536245263353366002410530260346405340046526142162044415613551130031046215410210001152412212452206430", "010426604550112552006616546101510233235064631220026352220161114434553625342122114401121101240666453255505251431136234621231131636563225542055130266455615322343025245252520400341644261451020132231352532012244252", "030564003241265004362256640402516134453400545254503300466312431406016454516145601434331254421052454604254310661635425452613525504054631230026250503403641220266162523200012015264014626120030054533203564021166343", "030306366555204403030066205263503601320515463606603126345421136450621003606042453033555540045624630620006352020034013256550511113404212634203360633061014502360135436435526242662521310005666336332305540614424001", "020435206404535533012122244433346026232010315055413500333215031512063655062355244316214515243313211404216263544205023053043512441216425023655260341424254161354602143322360466555025543603335143615641503201151166", "050102101561036416351411024064560013023105145255364404515535154606046123330200351355544304445353552230564351025034225152405634233256645054320636253330241115553156344632430013526260464502515525224326104555530345", "020632644442163621254563136545606510000262025335662436644101356641210360652240406343254152126550602255014506124514522042204423215264560236102533064065654206460661140661420633400213501350360210153231064006644252", "030401530210663344436412140433613502355100626021501020312501210226620432251352321362165635643621411636212032256466241514060463660241244046043006320401260601442044652542353012540225213553636636366360523532252436", "020351221621544310300603166230126012554221343455515335603412302216423530022411326426155044502161026451312443466343021552260012214503560216505323606121542460323634101506234255116351650235326416055610012461121521", "020163544242021532015024426106432024444051223141454406162664564300322251632221453401001532302453311441336443535043626610365250365502566453460226524010313155164411242223561525324020466353026214550006342556663163", "000240112362064636350451134252210042121033512605224655131441441034244225351054533630440365606561132402104352113455225223161563554430405526353204005413346114446321016133426052454313222363240100524641401305545522", "000034230154343340213615642305352406401331223423650554203632304403461151210454640441312420050064325566503530111660356655544065636542125612123543100255320556652654323120120335536651026545134011146102603216640432", "060401022530201300541456144035553202046534413413341103010513320413212153604013413060251605642341416354212341633250005123135104462430242543633310246111305560644445460562462212303530613111626402532245422201151166", "050034304442566131665040104022143610002246001661041602164233422316423422104416552540023663650663000133330133551016151440201303363446152550116143214363034462123413234166230012432426025306602342530212111166605160", "020453500660231541400216044200421221061150256242023310213441002406512651501220614242665550461611544640122062326116445133215600533223144016260462013545355660464136612053501241612623265504502323505431635231162523", "000546043202265536221216654652244336046665206500636332414454342655631166621365364056566540044064524334616153232660664150040236333412051161061050120110122064423101521535102033064165220215633335520465364056611434", "030324343043665151340226610231316322363425344220112360413120642344320632140423332126343211254125313132131404303214035655423654435406423125521256045345443441315312136051621133062605014152162531010522121630002610", "060453550125615455160663660441363235135112622113560223624144660362445633361635524402602200241401122165663244626030166124250514516020532013440124006155653414262000214602520324031263543510514550641524156144453006", "060120555200143514353132633225236165161162401111416130241602615643461215530360311312331560105034265435106351142311342405533653023610000041044652220220032041541036615534245552225653202542600334034051354221114614", "060025015160032024503566310316116262650252021615663442342251620464024310054235101036000551302441341625610320565502150554256423230633201342126433064523553014011151656436410015244122154025230654202441530143320251", "050410064563633530453263645111631562036341452124203323426424460226524264132554562663646135621131120432356452222146316563543520262611155335501615365114300323060660603555316441113361430465034446524566335245525341", "000521415102305213063314236463130431362235164156352001151060043545622212362460314050230531532540151104163036031033546246002155603263056025016326055101165061253563053532253256205510262013042541215430025430054346", "020641033444302131206015235112413365151664411420455413320030110063301211211200215665622606500244154562105664230546666626361152061501552246423334641430542505602440242202544611632034101000105446211235524136664433", "060512001312206145561103231032166440623631514162113100011364654222606110621662525156115021550255023506306112420666533154512411144615330333400203565620134431140034605544051033415503434053040636000564110530063163", "000204000053160232502234210560565355656603614262031343626610254233536414516320456540426501463150560022220000012541343433265655644444505566206553241115144034656544044024446243506145052012266145011635422252251166", "030000046155240525344023506641106413221314116212255351013662536015060206541466403024121455321135614026645500322303426155561002145342312323332440005026560036265403206605156532655041134635130621566500021633324001", "020641105101354026564236616602240241242635641313362646544244301006446660030520363133532006653653364113614533433223145160121041033212444250661666566355462442061110226626252516213005244564135453616061612650035435", "040306114106605621142060061460666656333363326515115236233423010045240166636564051661202521622064610011324403454426045665450604060254433455043352121062560240135016122463516341421201561142530145533030203630002610", "010034300241650156001242543623612541322336316654004131160561323124553132400551342462654002526514354565510400200110543423623043020150342245061302661455663650305105533436464101231000103543150565061431314410012004", "010342231315243265154663604651141613434314134154515635422240002550632200511626653243362614114045532441464221324535524013000122126634520412033353336526603116051413514152341431335432651163535305520530626004400000", "010426552266364343364305443501646241016652421214211566161540046045454231534623115022216212621606464466526102232263036630142065141641430336000444452415362050060623260466410415543205141024202556656132506445410164", "060204401220440441054464000061233242132034211010152366106145130036450102346226200161151460510143455655562041064566104544205143046060546632601026623342323236366500163505120341443466345521463016666600223565615254", "040555360211453231030310506302521224402004142606033230324563340024444515421146450652036363234363230625616065631101046314003622062635346504361412610040650625441012114023613165451533233164065304625334464000010000", "050435020223420020052053230035326405446522312163462065051521563061062463113203461622114460043021301202135354165313440143545062061453165236666503525601435140161205636440216612256560211255662212410202220360050256", "010315421460023556622341025535120061351140001311350026444653350666113404516111411141360023454013066131511514542606062500432012134300236036134335333553622235366452503516020123663135650222606501246013310566641102", "040136025612215361211024502156231663461340144211126623240261450644405550220426634654601124636351262302130334046415363506540010145530141313066414212343404216254426351032150410351311052655200300500301014324445532", "000435344336065450310000333604331432525615352532025336310002012636631332330565510154343001535454011530452140033313143151345155010100546650543341203025330230552166621311521244303345154065612636424235655524463164"]); y:=CambridgeMatrix(1,F,210,[ "046000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "342400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "256142000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "266163430000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "002215234000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "353202121560000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "423240452523000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "561361122111350000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "135245403165301600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "422056033242120650000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "612664535442143522100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "105130232560622425543000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "131602215404105436151200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "430362343152061064324434000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "242245043536131234544616200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "310235015164441001216430214000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "563231621543634362144441032420000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "245162426033220203044532262121000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "605062234442444024543650552503430000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "251543224155336013342223525440561000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "140601314610223110143332432362455630000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "321223363244404250542644510261231204200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "624644416016121245615013552415523661660000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "556532621354236436636242341226541040505100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "362104562036625323651166554626220256543405000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "116603666223532123266465632535215455632051200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "353134003501144604600266531445232036116524311000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "361231424366121654254246442412522055002421654400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "044235246435342320421232422324414011045652004222000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "462401600202504232115510455203634051350444133123440000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "533025510003533116221366663044033636102146542312514000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "141563536314306641045564330103403656002265246052362410000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "411102301561660266152452334413116250001212111032041231600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "104011306623331562331430005530342165105564630535554622540000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "003303603526001062562645614140410100524421555231631244033100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "255306020405424506326630666543116115565610321404666463652030000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "005350633512060614520054536111243253135231522432264436322155600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "164262645520445030213536622665443351010033160426004456423405165000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "003612154023245642366213350132535250006623643446052241165413244200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "004102424141115534522464021244014025032636264256004356114106504112000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "004225231124246636525145534615634522261003205321436545623131012404500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "006130606012035123654351542145425153216535216531164604546312001035301000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "006431164605116215066163141266520551435664530522201335630303155320524240000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "001655231164554653202222550456415623662464601646440545541033131314563253000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000015321454406416645325214603605365460140020200526302651310101660303451020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "005613052104336162556556446263133341263653506514632142411325513206435240410200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "005410016411421102461060344036644031140650436205564636065240110541315543352530000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "001206435401613352425151145240330446604315552503141143156136146642065121241226300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "005664530364054162055365163500344436630610325231636433240443136343164110321022520000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "005211066243162050413030320564510001306310555165103500420422060462363046550160052100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "005105355153002204353664144111034302332650662001224603034156320634024526664161334244000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "003332525112243530536564410335026031452010200400142461355065022254154312065105000235200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "003344652264420361600411113034640455334154345463334314340215112663301610021111561332600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000013131060054525340462255401004300621031101616321653225136134433200304114016163066563000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000534234213415266100242631154152135435340255341216516411111261036050236621116411044412520000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "003616150355315625655663454616222111642645252120065106653422316602614463506462663313630560400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "001235204302541456430104563163534044114640130226052654362214062363516333202314644541016232610000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "003164663144246651032352150063246144603633306122400010245015431141222166036424022612031020121500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "003113534032223645630552464046441360235345416102260556501240612411462241346226312031034525406161000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "002266255654346000025522555610461103404540461016634532264263344661133334044313215142043552654505400000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "005222552303546364634633212052351016063033464356510322024251352465113561552422254533153344535242512000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "002562363560050163630146135055561625560405062554366264423201651013634313222615165431426316242556441300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000326033200034561061530002025555650206223430365066021340551026056253463342146003100255616441260226505000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "004161100300122454011623230421643606214642051512102512330045503331215512143632565211235106612060664321220000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "002332105422442546333142026203646354422656516144560435142434333564102011340123166125236463306635312206411000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "004021310513004514335623315346603164311142002220554515654604336453213401016435535010126414324144154433163000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "002461566501110205542215223036450221155031163411605615511154211056050651105510650366662632510122205314463641000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "002550220621163250122541046535565201520106612026154610203304655444305660363343253211114446516340666343212056600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "004304215453231404251553412403422524365421444541600121030262326314136323140535125413621213323622551160510632342000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000426256005116232315201026326132633251524325146662606553152514215514410112312144310532362052014532062054242426200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "006656165300344604065135153350043616100562201200154333504545232504215000364405441122263065552633225353605136433065000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "004646513301345126202156362041420366425565520230661056216502114553503663116634304115660652042330645632322354566631250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "002214631421632622213612561656465546505560132665151015252104065101406520044001064362260201531330321245432344334612006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "001205630443523063356401505121325265151325423451363335204461223041344066140245660066501054440130456323540205444443663410000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "000555062335004653664525105300120010262640034626316424426123216062106411355026143234653656542416502233244456453052664105000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "001564116101010625026351141045562000533520306321514563042240032520626643025463211636610100361230460146600440255640001406450000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "005100611221442334554454354214263045144440626453311253635342066436046342605115114333046325643232613644541544013201050243213100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "001436101205445503342431646633545340656100651221352650411525122466264062243403134211304143360551266154102323543651051112652020000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "005625531364311253031333213434634262652310066316314050265006560053033456351363316630223113646203251031103164435523601322130334400000000000000000000000000000000000000000000000000000000000000000000000000000000000", "003640343242663142612444156553464361013451600254020323331404600254343362234415146146666423100445136051305144563314213433341256541000000000000000000000000000000000000000000000000000000000000000000000000000000000", "003406411312325310501456602324362644044065566530626144436622050265564203431625321203524061315645230501361140311621623642013621221400000000000000000000000000000000000000000000000000000000000000000000000000000000", "002600050606055656424415041456326122634161652150532660023111033112651422313363164323334114524631115045361434255456366454611536326621000000000000000000000000000000000000000000000000000000000000000000000000000000", "005256146550043305144252410111532563452316325445450502324322555060322020012662364104320663055555566365244350151143260063545355302043600000000000000000000000000000000000000000000000000000000000000000000000000000", "004161563261160104024531631204463450021115306503015164654060433041246325205115532154630136252434530464011353545431131306444455244521255000000000000000000000000000000000000000000000000000000000000000000000000000", "001256214456620502552650650423014033405632131440455026412466506153415516516303023532563445634344441040451665130640550104116366224023551630000000000000000000000000000000000000000000000000000000000000000000000000", "001002535161164311606646022025530650244210141255620206545451644343113540145351354500646310161546421652306165441224633413023322556531364522000000000000000000000000000000000000000000000000000000000000000000000000", "003441405000235624646416025163006025640400301666002366515105202516420325614062025636546602042010046244304132246050234261521065134050414343320000000000000000000000000000000000000000000000000000000000000000000000", "000503625244340634351161554244461203320006406014056160062255100164340345235553455451234115462443243412001414550621624253661516632646535504512000000000000000000000000000000000000000000000000000000000000000000000", "000665106522416303065061623601321463604553565216532464140360625141014454156021360501651440556565320630503052430402212645551326116043652535305620000000000000000000000000000000000000000000000000000000000000000000", "006365506450541515562442246411213345612124161661406262463555511626426111451640013334034544445421663534531512502013436001040651440015164235560404000000000000000000000000000000000000000000000000000000000000000000", "000254623200463551244542161061665541464132055546253106626051605032411205134220605050056452062112445042545354300026604502056254345562661132330003440000000000000000000000000000000000000000000000000000000000000000", "003523135161636416416010353500020360616336661320144132233646434231343453421111305536206631464221415361042363222155414204015342656425110226142320650500000000000000000000000000000000000000000000000000000000000000", "002224344116221451252560345622024041110325233604111243115152020212554616212345600456146501610256133105414424033601400311110601046506123052362453540610000000000000000000000000000000000000000000000000000000000000", "003132631112556336220352415530664551024114303656226366324255221651433314424304102356162646553320432152426450215445460121606350244362266023433023630121500000000000000000000000000000000000000000000000000000000000", "005054102505011336516330213022601015436504053543415062600161224211130324201245562004362362523511042611024514454646556444211621303164343060504511106035520000000000000000000000000000000000000000000000000000000000", "006525126434342520252123640224443331150065153006221220231514222530065362135131442016260116042000103031445323211121563126313066350021125124411035346614145200000000000000000000000000000000000000000000000000000000", "006125356363455233335246124440102106415302253244213053422226635661110404640424023561260256131412535464242241114316000545342642261233434434620655060522560643000000000000000000000000000000000000000000000000000000", "006266442432641140511553605334143522103405333335062643235425611454364345360521211451435306133434004241105403440431031005366122164122246156635322130101004344300000000000000000000000000000000000000000000000000000", "006263116344510450435530033225045522316646135014161224310614364236610154160456214024106324321233205646626256402322002425564362361442442433043036663563404145341000000000000000000000000000000000000000000000000000", "005224156405360665033302116446620102443200426055256411426300342130513441054232361363001155322564240362024401613653134642516052034236211402530241062145105154660050000000000000000000000000000000000000000000000000", "006501250530404153462260125201445656115526136640552146010620333123506562020564025532614325010123056610026520106140632553364306534445453141031362555436661614243146000000000000000000000000000000000000000000000000", "005322203145022130464622034026630334101605212156130103532140651646642420105331116010622133004631126451646503006343452652462102412153616511052022313343645343360366210000000000000000000000000000000000000000000000", "000661142446643365225265554551011524215303021053132542410150445632016651564222066221204406462546003323616614002421010156560146363516000024165545654040012134620061354000000000000000000000000000000000000000000000", "005354616311022406336216125211642506113432534251440110422444605110002613264160621524451653311042250343631613132426300053613315660356246422215212165422604061261221501140000000000000000000000000000000000000000000", "000066440366036351250241260435410512225603225154045402345013635560311212255015560103603052611032140414413440126545160346551013012566004651512520610233534062361635121001100000000000000000000000000000000000000000", "001656316656105360113141004421033364344241132440524204125505126200225344265350300303215235264534244646100536253463332453050025614041541612663224125514110342226300500502310000000000000000000000000000000000000000", "000105266330143356545460455514453213254644066065415566302630402422425430600253462243353243265331560346244600444533120613604250620134232002304334636306116632322634212106513000000000000000000000000000000000000000", "003650241244656510403462625115166344462321624525221400133140013662215206052115445015530440606366465540162425021654355230022265523015634214123564505240306621242642433422212530000000000000000000000000000000000000", "005336633660562620153654336216062104643525413165020623320424355360663223056525142420264444005350113521656403554534465534233363416520353664200346261555551550323341140525533635400000000000000000000000000000000000", "000031600044131654302214503223120220405655116634551131524544310341642323222461500036544230221150613144412542426255041514360124414002002541644011015060251631014532456126625016320000000000000000000000000000000000", "000526220046634211602140065313420222621440601645664603460331140416360531555651014212130124005131004213635621563554365645542546641560626562103043610256655641146421353042624354140500000000000000000000000000000000", "005323666204665154430154006250434624234264624652445612321532156551610006316122665543232151654521105333565025014254135260334202206442226514140565600225231641134002102345012361262563000000000000000000000000000000", "003124146234363564321036153252350522642051226121431311564521403504442161523621501625612630203550651336413334526150435255453350325061523613353425151144622612054204434234134624621255200000000000000000000000000000", "003061646352512655251113666354526203013113556666653416136250000130152166030143564036406452160323233230112060546201644046365331531166156365332360455345400406365622224004460533650046403000000000000000000000000000", "004310055454435062604363203245020321265215053003222214625655144310446222413632142436252026046445056235125510163113600624422124122225366361524444102162335642532405261434230633150255521100000000000000000000000000", "001542311202064366053230645006560340052331421600363232622312652301333160011332113363261623343004162335650602250060514033125432656666040566113103402605255236100645215010031043211412064401000000000000000000000000", "004563132520401652041613664331453006111646334461533604261566304356353404223643420635054663255613001332205245564625243321433323051435645400026010334402203115133102341505400321325532205551200000000000000000000000", "000212600134150432604010460642334232432202660352452066044512004524661552610320322054264434315634224350362603541132334164261305126131314500103021355236352324634236401146044256504333636231460000000000000000000000", "002522160002433026216004532414161346024552621566046010426251064433314331604630621621356102505044236313434000434114256264115535456311136421005614435151556400633553424600461203652300050115640000000000000000000000", "000556003614440512023663014406622513522356416163501064365611252230461046664501245524511521631251362234634420064443365226613646040602561151014635221306606354234106423521234315545603042260163000000000000000000000", "003545303242211130552602310650416661220466452662120022506612014035416212555656400626520243463152100320212145244034255025222303215601211202452561123320256334635330515136212101060441635260240200000000000000000000", "000012645453461322330143336346504650330210513556311434356521041401055022462226140205155620264235653366242251625322431435540662264205453361146130424053104204063462503426120232600051240212656451000000000000000000", "003506135105262436404560020020132222262225324406106240460122463246550022466204210335520651154451310305545331042235354522544652650504331053215556640553113130542535450503662146131441436126041221100000000000000000", "006034534243044162620254355645036203602414221062153040223553234543611150665130213555446146166646364514050151561463366153465302060151303664534603545125326642665160221443411135455236541452043100544000000000000000", "003324122465160201652512032212456306152154236662531526634504035664662011542422501212445625165050633254113211016001454261146356123614332036300131332010165410612600263344566336216450066532413254306500000000000000", "005054144053565042352152232303342443325643024462334443015135360063466251120162663012350134233350153514325060365243050204231613661412315006150165541245241355601554444014230004444463522501252425202410000000000000", "003025162132164414632552555465201341253332513446464033160611005114355052262011104266305054645443053635314600341210302366200042325061155043203655151454663215646104406215456620444164645645444014341545400000000000", "006040430660363554604506500661263323606442644152511145246650134604463622340053010240132554166461504444113003553261031145006013162423315120606660256463105063463041316033016654051501040216300112106310140000000000", "001464135422255204461340106136211310416616240106100360216013031144412356616456554412362522552005116231445024161365510402324231115422463623241233336232235451155312216614065226324430054062434616646153642600000000", "002436202232160301125335206530555055435136043434261624154555111043421416365464533364015326250132356665250411055300150505133516266411402513540606025432225014006226565430410312036141552064211465512230313120000000", "004326324453210115364266360464341125015454341135344031423165214630505452442134411025156236605105625351525313115004021035223405504043530444656121235006066430110012014555524524013546303660352131142260553253000000", "002250312055453131654303532435543014631336605115625426410533325124640051126136615113666224404135521644400133466113314430114236443543515014160506312330105010566253226636060005113626304645264153445506240060420000", "000022505462521655030603312511335032345311601651146366345154455045061654342463655152560010015045343213614021015520440206646024344422166044456311444121360211312453145316651640414546112244622155226461641341516000", "003515301446211502556005551001465021533463012600323424633043233015244511034214434145120352654542645034013453203030216235433232541463656066125553103104023354460600605216155222365442566165621363214655025055326200", "006226235620602154235106400224150456463551313433633165502052065260014213566043033565666125536201001565131265266241213354415345604301503532544603163236534524562222512623023520124262055106423621141201311513155424", "004640444251062115155064153440042216531314325061131424421666634326023661024051135110324140526460666011120631452515350042065333254225461566132034510240135512166001546454314540630016600463564466006050211464460203", "006260001530035602426644514661531541331205451206565321352150640534211152240120313335340242242412660363316061644661204526211513212665226566334135241125314461436421014210656000122433660246535321442101064411560101", "004541260262300645665351512134226450126535041335425364435336513022242334243254064616261244122142631142154530431055100341620441062036063354043146054621642324603166261156401411652551030255333655201566401034304206", "000652220124516254154354406346325561266356536663200540543641256610626036206365434241534150233146022406110601161260263206153345336441606021060203200516111234053202353342632352361461066232220601313412342246151600", "001652252406216124513114042400132160155045660464254523425444415030515230325414346216264255560362045442244063442255352463263324261066064551636601310005124132600461456640344505052151411656162111021132462152553633", "006360002031055564124130212016520061116505331310345502133140126112620444104516205655552003225451166361430445266634346621563641561006205603511531321601343133332235514324645313060335234631046121265322433653604212", "002501265115556313435236355600542440062510414322633535256635331006300154426116515330611266465146463551365332435032442313332104214132035260220044356650620253000146141165531104600022416620065302652512036036233263", "001065501630045340231136222616445422020304123042043253301263030220643146142365166654353350432266402133253351134505121543551204660220110536542253065121604411623046350250331346015043565446006351424334545232105544", "001514261420316446410045551030554003146554550325420355362363522235114401313060525354261465325434351302531603556424224651145263632062613006546256306160555626032642115341455502200504160244664455536264423462100362", "004625045141600461164332124063601320525046116362123630205333513235030500616332646612526132022200016161310214044414464026622631016122136505222114213560042102036530403230030655220631661140251544606046305653122550", "003255061262230111123604020251143214543632510006541324205260341662051505326244402464110003145366206611512055646331143314060353154624552055233255431536233231003410412464660152042461465236601506461650533543010640", "004412654520322254421564612404000240164523235520645244545600532612644405623666016660150464253235642353643606110525602452332003564223564503514021213410642602313022461063652610442225553446206635041310211134503541", "001612036365066326524241530646553305614112101143402643442116654452260223163561126155055615411321433132020043251045046602065336363606622526113534061104056334110610065143354245120201306430633065334302063644461124", "002204156315003031262612046301166160364552205302605102513615520460535400625245562266531304551505254350231031511563222026540354414026142600310664301566525043420002466061253015642345263335025054603025433562562125", "002321451636164230156213566462440622324661620440032210001125501532436100203545522541040526026351321104556511340350235630233464421564514056346164214143650041006043634630062053251253552012212503531564025431365304", "003246436362513324364605166666346546310436053563331361601521024553436231422403164424452126144020313201652220146232431024523050064340401656534634426502405212334003104134104046600465402502103402066352546400621242", "003063521314354356543524605660303305356306050343044045146241515621403654601446525521146426655632560000156445043610066552121202023111535616660235136446106304043535365342066536213023046643623120405422550640522414", "003024646243422241560532351352152641425510024102201061120315644544061121361521414363260664024616012332150304461465306426106111042633055164242564344561306452465034016421324254255422534163423633615225441633425052", "002503213501614621114110302601301114520324252124642402266635254652032644632313116050402404403343202516041316030106423065014260564221633132606530612036014533434610356250032351334152035116435554200104220005151145", "000046302030065534021656160002251363622060352661326664532441403016132450421040010412654210104412320461424201230353556452660153403503640243003341204045322505105013366061064644630464010344654202243512241416602244", "002224554141211520221512131102664243405124252501021410334561136151133461646446221521124012044221044236116634216631256555233112042416355151266403421413564652663510246433611341302401232356433205413514331634440465", "000025663314132460432406110663252265254645563646042045422546413605161431010202656444254160156665235442330246223315421453014542322400625010521555514026512260044103125224656604005631324426016456406341560523355466", "001322306244234020255545624253023426225452324354202443423232415232425552021066461361210203326341423265311053645401645231145444402646154666601442401055566521424152512456310452263215031201634110145065512344414515", "002331300441550511436610241521123340645301200646420236402110315556214624361566430113564210410413454115650024025301226443154044334621266213233246214210153631425501234343543565111445604510216635516114236263665042", "005652353002061100054530004602313512130232110532434352251131245032412041312120664655020025404366540115214161134312021610621646211243436003342112145204642544642046550210413056445435341456125141400335434426133326", "001555443020440355424251063550262505434260264620014643631064443331251331136656324520355401215112525465200641555330432162434666123304524263222545632226321563642115215561620632460625162566041063161210212632103234", "001515132511255464120620323323321500620350530036621006426545306114464521354424015640240616305333653422650005114633353612263521251020144154336460465405244215316564032650445201411452053111625612341334221140435111", "003653110446154221114524415342503442125600155330331642146545003034511415243114662632034034132666543351051023261063505130066605264102464233464210235521451421503434211616465255200343053310141002556262164600131533", "004043356615064105126351205035315205456224113364036255041456263324315234534524141025425536405556032664654241630123063645146524054032212502016234003510053322526215526211413036505315324640250645500112304230611115", "004355506156643313214631404633603315640021644406313562510101135255611111661655443451022051514506431326166611004524024631501321526641603512644610045452650134432552244014523323122504641010543114343245156521503105", "001510362251355565661462040551033145241613532125636301055023626551032636266550153463033103446114024344324341015315524454012123552612123000135462015531566265420540350234141612124100662224103066142314604051330605", "004345163522303513503222605302256541221141064450051416613312215510206422664250020444021531541415334001634243424655510160462505426135205023631251623316512532236041245215506564113220101535500031606462534500555631", "002650136564136301351066440106141323140133020461336106560652236115416245506265540456631223506615056016110154116464121645366012543206221215606110360631501650152562461060515444343042312266536426153365246444211214", "004461032643551634553333623016503453635511360146505265450613215416453061550004346253260332215611362600053210315301143505520523524020214334344335564562513112211023462255545531034421453646302654302230044236463264", "005631646050442406125653614426645240131021265662446611660441434121501015156255336503005255623250325566242200131342603324211344142162545526242035460042165620500146065506345005625136003531511252636344626254215424", "005516433110436602050402536665110103216435250052606110061006420052041222463631236436666215324100240550656362305604461306130143061101232466154363360663123212530036506613432262655331113216541445336031105612225642", "002221244264010203016160123132621211650253615464141553625102461026150220320036625610351314621640642021332244336456406020424162004546502032402144133442436524315033221400126300211203364363444226031043655266524142", "004413664245011422420542351134542100353432353442422563322030600605322516603655426061231430406513261414553166200064264165366555523246432253146310613433651626453511155211566542034305220016335115216055064145666153", "002203141305453042046111644164325445403001510552215515104302653520466564512113063405003454521416044543042626032334104631061123510656664661501660150651145615205255253531203440636262505641052013463122411666452412", "003346154566421400235006426414062401030302321521124620302034140644464043365452055156130444542533612404136460313306560220232334456653446333266532650146254246654024654345061201342004510632321565614620232650314455", "004425110320434423623610061360450033365533252213550530010121202351334036355632333352441000536240646663505045142331360005130651161445504615642512402253034133124305336102444326635524643440434152306123342615023256", "003345001426510166544331156630114156041401555262103621055200131146343545601602216666054054245224242212661665614221635414211601126010641026456565016326205131500230031011005615350226264410126632113610511464511331", "002212333432056030455315454115032561041624224230413333506630326316443255662334655414451424506232434524236226401560650134260421046443431445233355036543424100156516133465121002002223431343361525531453325433056433", "006651221013114326155162542030156563462513325524455313432445251441630525041110135132421336613200644665650446025513330536644565012120344511613350631543535642532446542062610124621302023134241241350414045362262661", "004456656313515103213341641140624121614653054343511302000146025604414233032661331424361166305413066026250234454626514525100022650504512024166056500634126541132333500210531565126645512542306146342612345233221600", "000053612164415066006230235160624000030345040466240361014433336656654162256034216341430512526624110420004403456242226001204615523535414213331621504214614622425523501311033426231230005104112544611144664604204214", "002211252052541332535625161346336362335554640232512023065221133133411526635352640623013503606555430656261064624515163466505030152154221236110561352205262442645333361603666160046536263020214630353532243131612516", "003336441234155516326423525225530044510332306266155060305532503146410330162100230436142235663015303115104232155423332532452245446566403405531333215205264626104064350424615400515261562450143646122041314132204541", "004455015200665260020004603440344613434646351336115650424235244030565010013554215341665641424354456334141101430034343524423404612406114044330655624443013564031064262621402361221522551054254126135620502453411120", "005543516114602056453641016355020532021624653626441014640426635131321240233101301635121044410261232341265306441101460521126123205360661064410125050612250152601431606123042132206335132514364624016516252202001554", "001110434404564606661516653241600545526122365615111645222113606516424256526253414264552000410351060420114213262034144663653053423525516333354100332155050145560132002465323043042604326656605344156656553013225212", "006604304510000551311553146461652605003252662312000226541253140402010554443544551210204266021321424161445463351636464611225545324512452626304132042340353235631122422341056623650253501361523504033550230301500220", "001105424563044044362155541521525325264453052144120341510552564630541223014043565053605361455656013165460535125533566432515415645205650212444653056115252051156323455516341653260202320150301411316003643616334003", "002201123601412253646111153315563324200426111255113312255625210465155103123665600206650501646331044100422211304016151464652344300336466513506032652314634216242453402655424642014121016300412301632314232200300253", "004411432113363104063240265164651562045523562312456022400351463200205625045414311010001466313405122142151221061135062514043630143046403015423204151066251523264141564165445102350546032060614042310250251053516561", "002234053055403536115046315242331653452651144255144056116340153611501550231436305156554064141260050431510535433516525354651123223640656554542063436201533115650542513354412016646420512336114604530612130542413453", "005556532326526535312530161230521552443543653561210226623445420065234056653316422636012354125312363035523250511631411263163131646322556233231310342436123326413135134513412251356501024202134451113602423111364012", "005505225032656236230156626220622543242122310323225160620401034441061612023144551553234424011563064243143533164640260246451540236245302043545250344315531446035160011215506145110265062151406534256360614025651566", "005554236223211265021513212043644666214615525501026033551344143425102330441632543621546542363462505006041252325521335420005433242523065661100444546140110331115512303104610441334152123135213354341316416323315611", "000013515345102151334032400023540152524652011150266151162313542556620104162230510546544365163523010625222621553426324435626622052024340234131445431155651656024315355110234606223413051206644010142316313153450150", "006630162421024325461615130051401155514140563461430062640515000660203150543400536321346612511363234324305511303161166522464553244613054002412113634450425024024445130223633021530651365164564322020515465362023365", "006624426331421036643653351015033656226165531331225434053356065240214601145102523041625222425044563620514334235451166022400425155336300452120646145264163244334146023134112666036521651000505241132520152140035561", "005532655253523206254334341611205513553363511236515303164035542566621131133644464166224154431463543044004256635051553110453604536160153060526505364124266260621532624441335651566330320265152546126651112216164635", "001110364642663155415156520602056042264350250362653601430144326064643160251102341665211411463560045451505461144230441063353665403551053323404660540145665066023262200642416463025445454325305546403266111530314312", "005562132025641353023630654606661315401456502050026332346426434034065364442533345254525005132513035616510314235544353320443066601433055124245104062416600240345261354502146210016352223414550160365234022350124332", "000013166645602203112264463605222416643363350040543103420011051340314325051541023326062645565313044531260304104510324114562532526250163615245143622220405350205512050306601663312533062013360522665211524434661651", "002250341545633333005663252201154332521633516604232252063433314266101414002664414255336552112430454151612311164625430111134060353304262644664655243644161261303423066446166546352644046666320150405165156066663231", "002260402310001543436061334463435451652114641636333234241613214332456041530321533064124563163334125614133405031151044446303351011530655110261103666350630265661200422346360344452332631422320114655656515201415460", "002212616434556602123663406151142545443516603123512042231244245303602510164114344214342311634313513316256220606024345622062340411120651104001406325334312005505301036265662424422320221512622125211315326656422034", "000045015134241633402515656265325313163230332403401500652450442225501436612340120640005053534515504540216203423613466402221203306606341565216131151253656113022035624316502303116500655142603442552352121250256636", "002201053121225052561064364206133535052011434551356556321535111145006633013214640316505313314066602645620422053224034216010421326626352033112551023602315614601603264033350535456524023516462006254636044141243016", "006635353132062521215054425023633631215542250456555021606313022124100055512022264411544351104550150120556352350401656623553006532411043222265055126161336013644312226551324354301344556065262055336220241223446313", "002236140063055651323264264530304621203322015225455001055321065533065403160241536061541124060220211022360055164554612336322651632146360604342003162504035315225661111620341563516656420260366222602431452103134536", "006634412020224144010214102500265165066014663634605535353436435120054635544121456306420056660363216243630002462125564304056253001233043133025443550422305145164406626041463502634453003633452305231142065543165151", "003304036450522534406643103164022065530324531413360206633661214330343654405156103364621535664266252065156053331316212614502403052235550344005642646103414156152203251664010521556466455512602306652161641213155526"]); G:=MatrixGroup<210,F|x,y>; print "Group G is 3.U6(2) < GL(210,GF(7))";