/*
www-ATLAS of Group Representations.
4a.L3(4):2a represented as 80 x 80 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,80,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000",
"01020010000000000010002000000000000000000000000000000000000000000000000000000000",
"10201000000010000000020000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000",
"21122010000020000010000020000000010000000100000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000001",
"01112120001200200102011201222120000100022101200211020000200010110010211020020120",
"21110020011221010100010112210121111202201222211201221202211101010122012202001121",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000",
"21210101221121011012100002011210111100122012022120201002102110100212020020220122",
"01000001201112010222012001202122200220000012120202110211002121210011212122120011",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000",
"02201111112110100010210212001120002010011221221100012000201101112100220210020110",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000",
"21022212200200112112200001211200021211112121201022122120202211002000202021211110",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000",
"20200021222212010002112000011221211222111022101020121022101122211022220112012112",
"00200102212102102002002110120021010220022200120202201001012222122210112220210121",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000",
"11212120000122021210220201222012001222211022101111100111020101220020200221220201",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000020000000000001000000",
"10102110022211020101221110122221221020000200220100120202112111220212102221200221",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000",
"11000021201202022012022222001002020201012121021011111222001111020002111002222002",
"22222001012101110210012200012012002002022201010200201121022221210200000122101200",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000"]);

y:=CambridgeMatrix(1,F,80,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000000",
"02200000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000",
"10201000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010",
"10110120201202001222021011002202011000020222120212201020120211121001120100220110",
"02120102100220212220022110022211111210121011022201112110210021111022011022211120",
"11000012120120110002211102010012121022221210102212022222011111100121020100210212",
"22010021110101101101000020010001110012020001110011200120000222220112022012120212",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000",
"11100021012212211122202112211202101202211121121012020021122112222211220200211001",
"01112112200220210212201021210002110110100010201022121200001112011102110021121021",
"11222000201120100100210002020202220100122110011101002202011112110221020211221010",
"02021111101200101110202122022102022202020212020011001222221112212111122200210120",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000",
"11212221200010001211000120100211020110121020101101212110212221100212020212100121",
"11000201100022111000121200220112001100100222202202010110212102200122011012102220",
"01112120012121212010212020122211102200221222012202011200110012022021101002021200",
"01201102012120211211020202022200211021100220221110202220222122011111010110212210",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000",
"01010020000100222001220210222202111012200222111202010210220122201102010110012102",
"02001012200221022022001122201121210101121100220201201110210200022011002101222011",
"22000111022120000000111200022101020022201201202010010110001010211212022100111120",
"10222202221012022122021211212012111011101022212012020101011020100021200000121120",
"02100111121021101211212210000112021002012212000211211201111201112000222112000002",
"20011012121121221010110202021121020012121202222220002011120112202210221222122110",
"02200110212220122122001201101120002102212011122010112012220002011000002220101202",
"22010212012002021110001100012110112022100200100211122000212021201211120121222101"]);

G<x,y>:=MatrixGroup<80,F|x,y>;
print "Group G is 4a.L3(4):2a < GL(80,GF(3))";