/*
www-ATLAS of Group Representations.
U3(4):4 represented as 78 x 78 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,78,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000002011112212120212221000122121110120020012122112122110000000010010202002010",
"211220122001120122100211011102012220212020112211001221201000020010020000001010",
"000000000000000000000000000000000000000100000000000000000000000000000000000000",
"002011020201000200012100202121111021211022120212101101200011020000020200002000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000",
"120200101000220102100220210100020101000222001110220000000101100020020101000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000001010212002222000111112202011222101212111222221102000101021020010101002000",
"000202100110022222121111111112212212212220111221012001200100020120010002000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000",
"212211110222001111002212020200121210210011201122202221200002010021010100001010",
"210001011212202021021011022110200220021022201010021220100001010020120001001010",
"000000000000000000000000000000000000000000000010000000000000000000000000000000",
"001020002000120000121000002111210020201122222200021121000201010010001001002010",
"000000000000000000000000000000000000000000000000100000000000000000000000000000",
"212110211012222211122112220210101221010210100012011220200100020000020012001010",
"000000000000000000000000000000000000000000000000010000000000000000000000000000",
"002211111212212022212011110222122202210211112121120111200102020010010201102020",
"211021001200210222200111211201011221022211220212101020100102010000020200010010",
"000000000000000000000000000000000000000000000000000100000000000000000000000000",
"001122220111002011022022020012111100010201011202020000200102000020000001000100",
"000000000000000000000000000000000000000000000000000010000000000000000000000000",
"122211111212202000022010200111121201010020020122200010200000000000010100000021"]);

y:=CambridgeMatrix(1,F,78,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000",
"100210012000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000",
"122022011000000000000000000000000000000000000000000000000000000000000000000000",
"020022002000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100",
"021102110211001012210110212201100010100212100111201020122222001210111012000120",
"000000000000000000000000000000000000000000000000000000000000000000000000000001",
"101022200111121000211212102212002112111012122012122102000201100122122210200002",
"201022010202101211001020212112022210112102210211222011201102222101202221101020",
"112101211020222002012111222120011020012111200111120220002220020012011020010210",
"022011011001122110222110100220001202020221210021212111121222021002012102211000",
"022021022110221121102000121201211212000200102202012210110020010002022102210010",
"022112122101122000112021222102211210001011222201101020012000121222020100110210",
"000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000110120200221022001020000122010201200012020121121021210210210202221202212012",
"021120102011122012202111012120001002221101222202220022021201121020202021110000",
"012212111220121202221112121020111122011111102212000200110202002111021002101002",
"122102202011021102010112001112121210010011022110200212122100112111110201012002",
"020202021102200122100012021220022122122200000200121020221012102200120102002002",
"200102021202101202000212000212221100002221110201112110122002011220111001112012",
"220110011001220010120022001102120120211111220021101200021100121110010001011020",
"120002112101121212022022110020022102121110002012121012112102222012200022211121",
"111021022010101202222202221120002100002222101222000121122202000210210211101020",
"000000000000000000000100000000000000000000000000000000000000000000000000000000",
"120112121202120220111212001112210222222020221010002200020112100102201221100221",
"101110100101100020120000110111122210112220111012212011021022222201002200202200",
"000011120211202200120221002211221121020222101221101001010102110102002200121011",
"210102001021100111221120222111120222200101011022022101101022020111110012010101",
"000000000000000000000001000000000000000000000000000000000000000000000000000000",
"001000221010201110021210100210211210021111022021010011101020202101000221100210",
"011020220202220101020021000000111221110111012120102011100221202001221210200222"]);

G<x,y>:=MatrixGroup<78,F|x,y>;
print "Group G is U3(4):4 < GL(78,GF(3))";