/*
www-ATLAS of Group Representations.
U6(2) represented as 70 x 70 matrices over GF(4).
*/

F<w>:=GF(4);

x:=CambridgeMatrix(1,F,70,[
"0100000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000",
"2233303001203111223301111220300001101020000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000",
"1111101003103332103323022001302200002000110000200000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000",
"0033303001001111001111011000111100001000000110100000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000001000000000000000000000000000000000000000",
"1111121122310121333021111132322210131311021022210100030300100010002000",
"0022202001003110003321000000302210000000000000201100000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000",
"0001011111210310201003100100133010130210002030300110030200000020000000",
"1100010312130022100000202201003000220223010000300001020200300000000000",
"1122212113113333123313033220301100013020000000100000110000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000",
"0032322022203321221303111122113010121310021010300100021300000010000000",
"0000000000000000000000000000000000000100000000000000000000000000000000",
"1130330031202111203201231101311030203210013012100300000210000030002000",
"1122212112111223111112033110101100003011000000100000000001100000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000",
"2223223020001001003120301102333210300213021032300100000200310010002000",
"1131311313130230102032210100213310221110003012300100020100001030002000",
"2211131330230003210030033110003300003010001000300000000000000110000000",
"0000000000000000000000000000000000000000001000000000000000000000000000",
"1111121223121233130132203332011330210030020012100300010000000001002000",
"3323213211123211103302201200303010230122000003300100030100200000103000",
"2211101000201001221100011220100000001020000001000000000000000000011000",
"0000000000000000000000000000000000000000000001000000000000000000000000",
"3321211313031031011110201011113100210003013012300000010000300030002100",
"2211121122011123002101133202220010133321021022000100030300100010002010",
"0023203003001333030103033333000000003331030000000000000300100000000001"]);

y:=CambridgeMatrix(1,F,70,[
"0010000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000",
"0111000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000",
"1011010000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000",
"0011101100000000100000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000",
"2122323211110130220223001200222000001100000200000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000000000000000000001",
"2000202220012331000112111200200332003201022102130300103201331230332210",
"1100212111112112112311122131321201022031100203200010200001000000030000",
"3021122213120032020211203232232332200231232022100210210023131301210133",
"3210202221303321320131010021030010012313130213210132003000133223322220",
"2301311300131231220211201031000210330102233312310310132103030230031210",
"2100111133133312213021020123002230020021300003233000201001000000030030",
"2331210033012102331010102031123023231232221313220311303100133332100111",
"2000000012011211231131011303103320011002303001312000100012000300010010",
"3001330220132320312333320033312001132222123100031133022110333011102213",
"2310213120122200130111133133221013032223313333233123211021022123222002",
"2133111133131310201131201030113022021032002100022000200002010200000020",
"3102000313223302031023012023111111321231313131031220332013223100000010",
"1122113232122013131301330231023033223020031022121130111212211001310001",
"3300311213131313130002302331232001330113012302320302020320010012310223",
"2211232301200122230022320310022033010013000203023000100003000001030020",
"3033020211020113110230212302212122211320230001100310200123031321213133",
"0223021030102022110231121121002331230323102010130131212033202122333020",
"1102133122121000113201322000200212330232221013230112113333031311303302",
"1222333320222002122230121203233101021000302303110000200000000200030110",
"3301023011300033122211301102232220312110311032212302333231202130233030",
"2330312003132121122100233322112033213211023330011101020210331002132103",
"2120222222331320323301130011200300112032001303012022012201013332231131"]);

G<x,y>:=MatrixGroup<70,F|x,y>;
print "Group G is U6(2) < GL(70,GF(4))";