/*
www-ATLAS of Group Representations.
A9 represented as 189 x 189 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,189,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"500124145162012423344151124505654055006355155400020234251505466020024601332651326666010552325615225225110462346331661340250032240616246513413251261426531104345663210532434330263660646206251",
"220522605416124213016615210165600336565323364413303035161210352450563301201432614336131305652344640524615564464303001112130101326333521011435446516331360425402146505613236523512431441125251",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"653052301110654202451136445136102661255162511242256303244600101441514165643125426014053440530505610421236453116433635125124110463355545030112450404036456331561544235034450405320530064146062",
"551101615446503645501625112454223030403112443413242306423364456342125506536366552016612100041543326053524202262015146265112403040341032155154043520530545436012242135223423464642620113114331",
"660134362312240134616534541223130013255304450606660502602005134414624426061621145462024310116165115060640112165441046005516130551150300223430134312664441452632304412623404220421344046640612",
"343143403055116140120361644565664531464115554045114410550032042404243151116202446500431430515423644162141363023643663353446510460620324653640456430155161024250131130646421024060402453242461",
"613243506061344615415635406062242651213045303324103615266240445203560020346126523355320416634120061064050025561606044022350406431213012036403055251512640642505621032155656062562233162400432",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"425564552650565043466342463306414425305126225326342536162342001203044644442634300510321364305444024651360325523110323144162212430043421153545113316251316402662563000050523322634062162201516",
"404654444351513465616265511635431004043540461254046303200264566616616514636531236333214224563612234403410606234351465343524526300662306311366454303600365523506500214531045154524506156433652",
"624641312001366606601346105120101153166143643513250060155653305302366416344423456054643356056562362102663603241146545106660420254602023355403665202455513402401232264661433401023465236451262",
"326003013050343362534001102411623614332163022002320162004354303531015216300161633342546362162465503216342415454331450462340065313201562143460161525660361366500600115061522363343264460322326",
"100520062161351445064461403116613426250106211115443525422310022063612456511013642256454113303465051506204020036433664066511546340024053360111222643463430344116140236415615116431122550011633",
"654332124111014545046410544004416416432124145566300642663510522363344520046001154521210210624336443644102304116525122613103131360635326433523365033214150222134644502311065132456105052362543",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"633414035052001230153261154644342003114165364665146135120454405154413554046355031602036316642044063625642140025334100064410133454463616514203240422356443112230506366004510663356263023460431",
"065454421216562515232462463350351245615552236250003421033656450532102045352144355354055500653110556262534522463336160153631634431531326103211543421201235140353210502303522456002454136546532",
"662240430442345325465111125204242165546132416245140462614525036356455610235231366036133423612115366636265610043153021560012403465460342106020612052452046564041265364451322402666324664405431",
"125036212041126262234024160246231166451046426120141660341443621063450546065215545015460630624422564103051500332204360153161006463123520516626414304634050263365304043205255412526260532006150",
"516412056250051352030620164036431361365564055446650332522505366266540540235536216424466425264155525033554064340643230114400030050506042145004345020456205362113340132520420604053502261366544",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"133532660136263334305112640135036550434065651655634660266164200432545210626623564512453350145463114306542661414466230453526006101432663561364124462632134624653500243411235434334266145556606",
"545430304635004162602302460313403254535546205260510064010666136111460324212265326530303366340261210212615344045113664664363134111521053443565406514243540226241031024252146351461026142601460",
"650256143603652455556141204445222065454504632650566010634400124535611304135466340465243442641602526600166450415640502254020543561544351005165313441206240002001356601246501255241330366131460",
"514555505311414343314331513660330345166520061450212453066361326133540306162160011600466644655661300153656032534356600135642140335313055215212453405200626564464154230001052262504446243135323",
"155631005141564454016261650536530353660530323145211304303126455465003142630415613531663560530054150362113465101451110623654324046334035253164422413505200310451663264652462353654246533036444",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"015023500115605165565565233566365142062512232531605100635460402503145506305611355602265063003334132140056124454523462460414460415532144366320456155513620155636126102032516342444333354115145",
"614233326125611336035422264063021356465303524061611535010434253250263335415145253203211342040206156066422463424430302665033161143454626116402261006123340543312131132030251640653461421636510",
"654225550034015504564304045350545030045562534634640562154003562336131000462043651341543661565011300624446253514162544623610456613564345053360212624616624012241113144454163235341464635256326",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"421235660642515552266265340053546365454003010302000360423435260645254042316660456651221616412210612165101666020215241664363652123020521501254435455434440334265331360546014103401365312013446",
"324550211542261262241165422262606445535411135552412140415125162464511362303016534503150315041651223401333123512223123105416364434441006404354143063651633500030661600632211653416614304141123",
"533431601015130533062235454405161430135360231564624553135166211253026563343643614254050002210465120125664320454552003233433051424344620523141245042046622332042133350100354264624210543410214",
"621154133541062004306652125305621430033236234536431612015606204055615625154254245600166062600565264401143254325032140262445206125045145242563124014050420343253533515655245461535150105110455",
"465404333544242404465244650115435042402216536620063561441414621533024053313160546263604536305101022146351442600254362621532651322660602201542355013026000036100600063403315255164224333433412",
"112611506016504613023633154565264451040556060034660441233306136611034606504232322002430103206644253040125514603304644511534531631044333514613506240106152100513304216114431063513555111255255",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"022424533506554203365235223610213041051262241635031562304261460455306362514626562036346502632544350616534136054131054356204124614222035441511025411521615101114112664551655546212502311530052",
"364504310631213466423162654104311653515662032521421162550614304013625665630610556344141045356436464361045046414353104544600425212423364122250303051135011541243351640434351453325304335445116",
"465243362045146122423331121105423136560040425604155262061624523333100604530131556563534523140435103166325101251420314411130600430330613146423501110235533531066066426114560264221562603261421",
"622051420615341110005045124554623632442221015446005035262242334321141120262431150460304314023102466313336035201511336542641420425025466156523360652305054655163051321550222046656040514311005",
"664315416422405132564025310403252666453252356303245504426031045041024131202411465200101010426624664251243431344604303455636101314606514423600353560531526152256516532612163035506056001254422",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"365406236243121423653005025521105055140414563400656532342205444230150300164205146002632131005211216340443113116645603644400400414433452433534506106652012614606651066005565203410402645066266",
"102202046304301404432123505144342140023541115220563016110353424333352101540030254246433433266443352553333266440313103466102263301355235526666565242561436601220031036411646152445004130343544",
"423223565134052504440225403254301214440100633132034362430616232411142052411233001042644214423445140022603461465622650331460525203065664622320521224124032144046045611550554653530245260514246",
"263040302401303106446240114264355360504044162341661606202661111235015305562336354013362261252641415452244511212051340456634052334122360155034163024112356651622312006541502436112263541643142",
"323303645333405065335330456541226220016354664626623121650606132063320132164230505202255301446540051013033351554210633624514535054615322546436342036305523362452625536046220102421016514305246",
"123445653666063333031360233103361361345663632211400135114260255414433340031006623256560660153441334133605403661252665164604646410142462344254412044563630555643133205466012645321602025415234",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"243164130251340035404103612216546232216255302460451564002403131136532340626253250142066221434663422063144322610400351150562214513154634463102065106356055553562016631363102633255133521130325",
"330563303364165605512344366665024221154514611311164511100554213225033666304234464222013462611201260223234041000545614634516412052443542433260151400265131640634036263205221662660560114561654",
"462421620234200234161341155455130460003143064051005121166641325353612341406320024443510236540626436312213425140143265322361652232111334552006243624354116160522411055144361114220154210005534",
"413515101310113052363262163106550244640040524343235234512325655402216605244532061513015164362663446064040160250065050100321163144422565333430540062023564352302521121345201063504656353561256",
"403203230306262050342164600260102632554612500040036363536003335512334551652661633263152665364300640026635462413204115605122035344404535023120231152525122000405141042234004564056002230556013",
"264254520410602551225313211622126060502155040506336264201062536243306601240156026446615630555442416361325521200033523523050333566002351116430244244501544125544345220305666630616454351361054",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"623553204062043646461332033212321402535266421050232521320425325134164244550166662156624150664350360166534310114123431044104401653332024030406502640621326156053005424020003105455302403351016",
"106445220365136354066166406053216134635100565506634234251543202146630240663543413022405363320510305613413422655562654053212254463351135566521051411406126230156051220536641043553661402022513",
"542154640604165406605230516535230343645346535643452020620022002360233135202532412332621461166145303130233141035024146633542555541415420320600036561454424206656620143526356061503151663513416",
"054166545515612331352345441456335664114426046202363321200226664453331626323522024565551255542546641332152432001420641132146400144442013621430325142563532354212031036334264105140025304210235",
"353401556165422410345112310136142042054603661442245343205260351041040241536434424131546545602302351536416132145505044365626604444250100606020454055120314323405512013654000254325614454034225",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"663603514225314601455636424226141246160601336036451426636164015164231424241652030630244512110631260512304342426206645302620302511021302156305055554604550366140553616233164540625254363332652",
"613423324406465023511245621040543511536126021211306221300152666144151553204445526402614404361141156224500314345552542545166150653040616052105660254045341652234105062655650013235200114111125",
"605102045334626501163101155244465022442153530166126021400162056033054151225012465633152664604131612334605413604120325164454154561222604222426612301631145021243551126335503546015610363433141",
"013332104336162416236106115105425010212054621353661253233421406464452530025025134320140610255165640132561223064663432561160661030233634156230420234063536663616443431326663152124101164023503",
"432266431300160001664225262660645043000364252001416325464052560225554102432500026514040532501613143213216523352515060345311433053005023054513411555604456122333202600301351020364515441311034",
"226466562320121521142411442242215526113322664466013312525306624220041246265204433651510351063253616443160523400402304130022110260215252341041644334126150235621450640565014536420363612355210",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"414340425542022551226111516332154046231023024333613501041222066411621265525125023533411123316141100535424003335461240216044553112522213023663251505324646656425150626653402332012002303023621",
"653405002211466064542450346624624560262363160234400102124333132062326334326514654321016333102330566220664064642356545242605140445215545522160515233233232551544233260301152332650244321402113",
"061336102146255344051505246645540206301635340165332660161123046142504145015314456010155513454633426441602655662146442311452112553165600614645265512611151502306615566244206065602300550345402",
"331551403526654656231316626464664620346306014010466255150331004505130226155021621304110315402420414614522556504602203141422442320556431135646040022600346516105400340456153004400321561411305",
"302160611161660321354610526035341564230601466226345141051045500461451646645363524041360504156511430524440453553463310601406642162654632233664230366635530443036012312356113344465202526104300",
"155126065313541645103265461366552441221340613240450003435161142332635625434421065162154031036410351406556301121213401615046335010041011205043140034106625314105613243402001441301306411321652",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"421433412644240062145223206644215541524024604366010466231114064253303460245315666652202335442504561426103002554265266241453300064643265624464641543505265512462210046062321356206531160564455",
"045524361262531420254161261031353102421222261113035330100460001513024363401015531250334530006441456525300311404103554636346266020141644341506032113563521054426434611156434411403004043140421",
"361444053422216511431530614261205144021264226664012301405120012103013515164452142530443102050210524004465122264611646224345162405561432430261245422111105460502446151510221634254504164066266",
"444042535110404314345162260241214265363322502533423106405551611045635305250122404163046031225145624411011442015616644350111532022120626230623010321426540562423120224226640534255524454363555"]);

y:=CambridgeMatrix(1,F,189,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"066066600006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"022011100602060000000000000000000000100000000001000000000000000000060000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"600016100001000000060000060000000000100000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000060006000006000006006000000000000050000000000000000000000001000000000000000000010000000000000000000000000000000000060000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"051262026401021541531013553524205653635246205234344154332026502010166644222054000026541111523144166616226320263555501254145616230254403660634546355144164365234526134535644316345434665204145",
"040444004065446031213566543025644225240616313135304303003321263333661164116221605352644541050511445562032011406123061601206560344512455146544434323244322435223541211536152113501561315501323",
"231265156434151316610255210155510603031614662333005533043234610032136312650115231013631403355255613104012632056540241243542203334436156203661354503302402465434346016104534430316251211061153",
"300355042133043013651605103305365110234204522451405410044415552321410060531205430322400115260655402256455523344231650134365110641612255551320420400166110421016655565105151043211454306024326",
"442035643216065133552456342026104462025005156414512345103103221056316216363335116630024462636600232200143233443120331412255324600630523611022541202204614436114516424422450630342562604162345",
"160035014640664250016220302136236525333060112104043215324514406324103123506362164026065644352165033541643445113615664433601063141332302051136661501031400131664466325325262024656014123320526",
"134500610523126210366302221643642430444413363666250260512321344230144065415313661544243166601501365613563225200650545266316605166043051320202235000040502452536233060102303000315255451223526",
"244523151154225441061325056114215610521621616304453630642654005021530035040555362453561105450561655331013340531355640005516355504666301524336311411561362342260424353455041631301655163324011",
"010154341325465106613322215523656621566654460466025504114001546542612303504000122612415200530056313651455506504634505041354316664664253422214133610401164132235606333345522323355645255556624",
"633544155144563423245004601561211013231253165301146034564053212604021504632351500106356516651420612223655300130223321334001652656224346314102550446406556054224214423124062140222532303466330",
"366060246101021120615141616113243122253045552322622146366026255116621332656400314322160220465154362630240146512604245616446231551233425545146445400424353122414564161253556251426144046530602",
"120015465011456622140341334363033350601365234532462466226666242205313114065204444426610356402236055345136501055422464124462463131221461401262560304523001533013654505432363105340363254162626",
"333060105221022010530560646035606246305342111234122625642014604545062550332361233610152500610153043344355153055531432664662103014145035240663006224061524045015203544215123630323604040340344",
"311546255450405414204530214032220505605463626345643526654462365101334233640653243513666201356525501250330322023061152661605314535344164266022540454253054005130256263064122431102226164212256",
"326644142055153153540014464045500155112026265635631426161146354506543325012315622135400224066403251202655600526324450356263133325556321032343106204012522012622661660032524502441235461550510",
"425025401152606420644563051622220131664152450534213231023452324502016306410130033664646253310650311061504342103005041515326646660105036446233651040223462612066344045134453353341450263265600",
"543064512665625450036421232522135560324331104623013146612444552303456260156666321256540254620501552346546354441236141500103503224525255324104162250026201141603246662365335325250113514462122",
"011164530651442566503265443525044652626400521655120652462106206606160300542105562052566046536251266322235166166263203302226162314521160302012300412156161431136124546606546423656066256666036",
"146633301555306643510652315622625400444636102232336421345211111203243631525233566464064522256135611332411431624014165021003441434604254255641632240543200546222250352232503340534304320304664",
"020055563164411456066326633633632165162625503114216051230524245166432105566532135141160225632512612140323021623120304425130302511306401661031311053212254246342403055140521652223322402136035",
"310511234005661345333051124056450266266160150403613460562461026156421241425055033502224514306355312260131313334265145503432150635132446661163410325400515030620342116222500061011615014214365",
"164032211033312205125252056351452430660500136523453214432106522365412302442214050352624362653224624342056436536453403304663263420242630031033244036456224640003212102315065335323060006612156",
"466663430504004043231446216212603433062600503603260114042633654240632553263362243026661140345324302304025403441422366124646466056200666633016524121220665121645642412063003016516450400265005",
"565001062052236336414241641214652310544203531006133533602122030514053505546421634143231303536313306040562451011651422603201556126065610404005350522622456226213203502153252601015213024115256",
"522541202003231511266562146216531063430424024231633605620240466525414042046124121635215625515232023512243231552635663325332115653020312323031163651405245130314266441214303633566523262660314",
"533014620146364556212643430616266620611141234150521254041314654534460455341635060245010066415310226642432452652641442233254053265264421516460441056054403416035125220522664141003061355623133",
"425505521423442340132015125064655434350115050411364606350215625004432215301625265535250243024631235551540525124330466100253220036025443014116440540400025602125624220253555413553063352123045",
"113452451433621455564645154114030621635235656626460264122204252644355351541655645503611250512065652213256511546606165050054600404241364642126205106412331342362203115045662223305216245263321",
"040221642633231361302022053561435051303155346511305312521441535036220163253542616111235166551246533315536406606351224541253323454545426265141555215050313060412116224120054524046146364461414",
"554033001365124561042516202132150310134363351106362020640214346246651454431062463225556516650543650406064036253530334442364215452155156400626200206151443331634310632623265006620124226264535",
"403666201541012203636666626365653515541634135615344210005120655045412621024421653206424545050544150253065354615641063652030063001104346265211560466153321224612311534164230200643416442660242",
"350453241141302651532050120465220431000143613141626054052602123321254135343660632106542513555133326020054400234343063114635060624643602062265601320246011451114112014462131544364652622023425",
"634153646433122102302660544053316025252324520312020230206224353013355531140623551210244034405302636155515630121564221622621164045223501505442141010105112466450643641435644326013611614050522",
"633034213214265014346301143545556052554523006336002155505653432332625004260404420420100634146362205615141514544253401336443340520651103606420324161263420551623105433224422020013422410625604",
"643404362356234152345220220041230011143652565413422653325156114246352615304166611130060102163312152052234252355123026000424305505325325305211452356366330316236011511135453364243522615404130",
"465426153043666633225540443223413660226404625603454132654014140020210363331311264216155441346550662636453203162033014162614656315566563165662220013536433612263311333026022416322436265622001",
"245006616603150622312012155432114102012565154016164366162542653345430223136461416303424564055236131055141466543453341403460500625224614461626166144323656446220211644030246144442434641353546",
"521343212336602644525433236225215104423566510350361023062160432333043040012231433361145333515064154006205003153022413052314144350460024155162020513664562321203006110010430163635360156045156",
"511152341161560003624222255513326023350264352652204530444310151166133621106254304333561223621212134665661104006340242352044510421462111616110502236241105302340411100214166406246133456146053",
"023554245654313333011310450545051353263142062264543521506050405303255106400145400004354045155655421612334505511124355352240645654016365662644422061633036064146553405245642022631214040416400",
"431163425010302323203300101065221345030616623260420322056334252131221655554514405104301543154241364255600500450450023345216616641510010156642421350353223435462443120364124626506522143046253",
"345242020161412024306101040026021125633314146325266205414361253530300446105234204233131112120652443312063521112163552436340520526534542410326142035400364213552465525523430615521342152156612",
"152642544244144645146204506305663040326454630646011230113606602656216200325606411241461063625325462404045613404402122333353002362444242452166005361066414421260013430266501635246655503665112",
"355214105451131620263313064044040364142055210344122115662621333341441153523052063313214663656201634044564122306202316120526236043651125323621164460024060414653241540550526003513036005526330",
"533622016652320540245363303334434326655616535300404466332512136230644165331565100322165102655324230656610245003210225656544143312124240222342646614011616545362045310340662441545625066366532",
"242641044235424051243056345253355530262032050436163401144565263206436223546330502163221343352233125324303661625103151435226302432356520464152222131566104442335052421061124310606111121643545",
"000214242406630003015531001246614243051113135452353605651336230655626243461100634035406160405264412460151626005330265362465146156311615266335434253503256442324325443413426666450130216114646",
"124636526010064466366233454501516125325003350030320566543461016400455216665241664266301030163616416025164656113540345116225365641003531203101002026160346031020011205031326440620215234411263",
"004343610244006203310012351314434404642313440505132334201510252630350304205542121026225342045620361260422100122436064514550352002263454666564420144504505305231355261024654023631203010111225",
"606533355666442246326265463320346035360441605334336604241353505620635412534146216563443463110602210340636360362661430660264140125121300411666554666013642236416616666362300431154130021442641",
"264005142324415552221205604162141260522552014041243323560353465646143321616126406141512430564164153500153530141116226035261251030640423113004164543564026231132404502554032053650045250146120",
"122132112533124064122115551241603315222361135634403006331254362024652641220400151502540241222422246050450366255532246122301535243011513655546352333453116130640020413303516543665214030442154",
"652410124013420366101512326111021225035245415226231601162535335321054021543044105213214033600622512166522116510445636660632622565032126363061603020643640300211622215611202110130335613411033",
"600232530265266055030233553251662265163530605535325426206131251654205456615206521526033300352526522206361201560260314422455150415046302545505124533513402460310412061536143441354516432433626",
"446523425520410612042053315051304440133536502210116360024254625110143052541214613646241341146264520206456304665664433334252265660314201331341126345146555613335313063545054520503201151663163",
"436354322245104220422365322352323335263131631315526201012540440115303133130514030522652360240610262420045365343013614144116521404222161414621213056363111543143323304006402201434512606601152",
"353041511661431264006454134233164351323140635221454126305246230406400552356145345403414254026112256623534032205531403514633064643641001361142041044104512220553425332260321266662150346466654",
"652150633022356460264613565626543212663031232131442351022531416260511554454041051316664536501022526666621061561544056341321406230420625154526533211530666530453065213145544460300022515052660",
"564302335045350252635021315605132264302056055236220402610560125561125164165322563554032254502436224101665226316141211605130404411111542510045656305115310623305221266566615166032360142055551",
"604635632012060060544620640231643622434131521461446265051052502644350343615200346300111515202650025450652016224226463121523636004551305616565604464051014115453643166212254213343020025156016",
"413511425530014562140334320146314623642614253515510242653263024663620604636423221250215116105363646540015322550641462064264414420302224550014106004015611435226200044554436264604504414156062",
"222364433062422222216553353233204633534335444422560610155144464654154301221021400256066441404133513020035424462222133300631612644032661045646011064143251146106465354113346420134114622631221",
"065411663610105301501465041410234211213033021325364265240655516141106522665665224543313543123315552101336366135613340111143145143124160124031360661561121066133541432106401113631362565333403",
"054660206036126100025231035405442250065265434410654513313220151451102551532423435254552521000100156353354151241212446046513421516405522634166645304243403333663366401203454345655555041255361",
"624044526344161316432201035016343534464643620112641643251056030320152652260266000521166432563351106463561226203132151131635125004636312135016653664651611335210566325144566520020230414640463",
"232400320236461524345035065146543406621325200062524463235644413521302065666354241252110031112325422322141422164661545335155135434200564443155502545004365435656532404220452115031036234224161",
"216141361201104110306624235544646340035215605422350654036605120203112631405554465536566433564266020444324626205665213003321651121202262403355233534334003225401336311163500034242352462032566",
"516026065635001452305413426644350336036143053305256322421120235306221133332113426662336331550340210445645220512524660131664135324362651140264604061504040651226634666414544206216213313262314",
"053060456626236310030513333125510501313302615252100562666014451511662360665454544131654252560435442025024565154212453525316542240261630014261066111013563663236000562322516010135225362436435",
"626635361220334204022463532346666221463504311340306422243055141302533352112303611534566211611026310331364523545044666202535116461052010641640615412536061313656634430360244006411301422656144",
"142132063006012326213262135245622403666331153442232552306120205443041560125660241363312205044406330446042265146363263451411225146312600223651525205454051232322611436342104015434144601151526",
"203315201016315332641616166225021651305251343504351334444012253664010413625522262623554425366651356341210035015661321511551264002154421340151651100425666353363462543400514452506310334253311",
"335430154433520220166056063110016564255402615314511606202315200325415364322043125150640402224446120402633215510424035415266550461313165416045215456215355636030134102014660101620444540341410",
"152322431120066561223033345461122030226600353454454523500056660560361221125320063650344265253350332626362634526530531401412446645550504106355656561631360621132344405101552133635603064033515",
"613366501242446444125112551200544336560626141322106236241415030354105214045241450351430136200101600535465436003304520052153640445555244630012026260323564254054333562236223241162050316541535",
"513425206340660242120023240123103023264244614410640462223505036623220162166052002254263464214165420602434316644012146331025156243003161002311265635400320441461133151354446110643435536132245",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"125240462350044000140323546615201144440163123210462265450221325365236206314162055244142643411566342105000623351242412522223132114502402066156311560066006361143364510462025416053212012443645",
"230052315365015036540232034302022326131232211524005635325032541423062226105365311103003315603565654624311412305263365205146355562611526514620604353315655434143306402164563524340104143603201",
"553234623143112034222155424515503413162145131123060463060042301413153266555252400034152543316643002252004121630020661455641051410331620453226552141655246013626162610304110506105635625101114",
"564466661225621310042645366414055134216511030304501026311410045545663406430262031436465104104301402636163454061353035050112621505133125035213206153636532320125263552630215032532015454264112",
"054314363331102161015032511133256015651425463105063456416323460605153552651531524654523565661020005305330320204550021020552644050523421051255160251332512314102600543133024206054433436025546",
"000255106514442646421132451305504263040330212021364253264133453261361365144451425445536641161153141114141663544343436162116054240556020366231644001266034412613616014010205113130026111325132",
"133661115365354425031605611646464350062634133360220023415142453666563344346152643414115134615166364325543034132614414001406313306503415105416122042341343646352310401501343521025200624525261",
"636245625441361045561213062326415322335043554011024353050055113522232650254202523345246203266642111152204366665212650304352631440520651533520402013316614043231543451026243140312361651314523"]);

G<x,y>:=MatrixGroup<189,F|x,y>;
print "Group G is A9 < GL(189,GF(7))";