/*
www-ATLAS of Group Representations.
U4(2) represented as 81 x 81 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,81,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"121201002020000101000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"212112201100220020100001101000000020000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"012002000010000002000000000000000000000000000000200000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"212121211012020121021010110222002212201122122002211021122100102000022210210200111",
"112112101200211020210102122020001011102212120102121221012110222202010012122201012",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"012012222101100102001010101212020201210222222011122122101000222200002200200220101",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"211201002020021212222201201120210200012221222220011112010202221221002211122010202",
"000000000000000000000000000000002000000000000000000000000000000200000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"221102100210111002002201200211211210210212211221001222000201220102022221112010212",
"122020021011010012221212000121000212200010020101220122101101011222102202012101110",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"120022221201100112201002111222120112110110121111210110200100110112022102221000211",
"012201220021120120200201100010112200101111011022020001222001112000012000211201011",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"010002000210112002012210220202220222101012002210022101122201210201012202121022112",
"010011220011011002202021021222011112112122110220012010211200012011021101111212210",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"001120200000001000000110020000000100000000001002000000000000000010000000002001000",
"212201200200211221121010021120020120202011200111012122211100021212022212010202000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000020000000000010000000002000000000000000000010000000001000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"100200102000010000200000202000000010000000000000000000000000000000000000000000020",
"011210111122000202101121111011022220211011000012120122220001112000002200202222002"]);

y:=CambridgeMatrix(1,F,81,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"022000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"121020010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"100200102000010000200000201000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"102121110222120220212010021012211100221001101102002102222120011100101211022012210",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"120221221022122110021020210100102122122122110210221221011102200002010121202102122",
"202122001100210212201202212122200102120000011210022112120200220111222222010200120",
"122020222100011020020010201002211010121100112002000021221221212222121122000201112",
"222000211112012220121112000002100111121110212000220012121202002111011121012220020",
"121220220102221112121110221202001121101100020201221200012211011121100101020221220",
"000101111210101210110001221001211202001121110022120222002120121110022022000002121",
"210122122221021200010200000201012110100022112002210102201021000121112012001222010",
"110111110211200220200122101220221112012112202200212201100001110210201222020200102",
"001202200202122121120201120020220001120210010122201112120010211001021221011000000",
"122110011210020120220102002201210200120102212112200022221221001110202022221202001",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"111101221212000112121021210211100211200201112012012000021102110101200210110022020",
"221022022201211022200111020220020211010011211102020001020221122020222112102010011",
"000000020002001000000100020001000000000000000002000000000000100000000000000001000",
"102020012112100122211221202121001211201201000100101221021022020211201200200020220",
"120112020020010001012000120221210000200020111101100101110002201211022120200211012",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000120200022002102200010112002210021012010001111022202222011222211221122022220121",
"121212000000010012220210112221021021002121101110000020201010000122020011210112201",
"200211200111002221220001220021102212111200200101221101112201001121121210021111011",
"122212111121222011012212120001100102102221102201000121100110211221012102010212212",
"222200120221002022220001002100001101110021112011121111210101002121200111111011100",
"000000002211121210102021012220110001000101200101212212111200011020110202011220110"]);

G<x,y>:=MatrixGroup<81,F|x,y>;
print "Group G is U4(2) < GL(81,GF(3))";