/*
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",
"3322202001302111332201111330200001101030000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000",
"1111101002102223102232033001203300003000110000300000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000",
"0022202001001111001111011000111100001000000110100000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000001000000000000000000000000000000000000000",
"1111131133210131222031111123233310121211031033310100020200100010003000",
"0033303001002110002231000000203310000000000000301100000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000",
"0001011111310210301002100100122010120310003020200110020300000030000000",
"1100010213120033100000303301002000330332010000200001030300200000000000",
"1133313112112222132212022330201100012030000000100000110000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000",
"0023233033302231331202111133112010131210031010200100031200000010000000",
"0000000000000000000000000000000000000100000000000000000000000000000000",
"1120220021303111302301321101211020302310012013100200000310000020003000",
"1133313113111332111113022110101100002011000000100000000001100000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000",
"3332332030001001002130201103222310200312031023200100000300210010003000",
"1121211212120320103023310100312210331110002013200100030100001020003000",
"3311121220320002310020022110002200002010001000200000000000000110000000",
"0000000000000000000000000000000000000000001000000000000000000000000000",
"1111131332131322120123302223011220310020030013100200010000000001003000",
"2232312311132311102203301300202010320133000002200100020100300000102000",
"3311101000301001331100011330100000001030000001000000000000000000011000",
"0000000000000000000000000000000000000000000001000000000000000000000000",
"2231311212021021011110301011112100310002012013200000010000200020003100",
"3311131133011132003101122303330010122231031033000100020200100010003010",
"0032302002001222020102022222000000002221020000000000000200100000000001"]);

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",
"3133232311110120330332001300333000001100000300000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000000000000000000001",
"3000303330013221000113111300300223002301033103120200102301221320223310",
"1100313111113113113211133121231301033021100302300010300001000000020000",
"2031133312130023030311302323323223300321323033100310310032121201310122",
"2310303331202231230121010031020010013212120312310123002000122332233330",
"3201211200121321330311301021000310220103322213210210123102020320021310",
"3100111122122213312031030132003320030031200002322000301001000000020020",
"3221310022013103221010103021132032321323331212330211202100122223100111",
"3000000013011311321121011202102230011003202001213000100013000200010010",
"2001220330123230213222230022213001123333132100021122033110222011103312",
"3210312130133300120111122122331012023332212222322132311031033132333003",
"3122111122121210301121301020112033031023003100033000300003010300000030",
"2103000212332203021032013032111111231321212121021330223012332100000010",
"1133112323133012121201220321032022332030021033131120111313311001210001",
"2200211312121212120003203221323001220112013203230203030230010013210332",
"3311323201300133320033230210033022010012000302032000100002000001020030",
"2022030311030112110320313203313133311230320001100210300132021231312122",
"0332031020103033110321131131003221320232103010120121313022303133222030",
"1103122133131000112301233000300313220323331012320113112222021211202203",
"1333222230333003133320131302322101031000203202110000300000000300020110",
"2201032011200022133311201103323330213110211023313203222321303120322020",
"3220213002123131133100322233113022312311032220011101030310221003123102",
"3130333333221230232201120011300200113023001202013033013301012223321121"]);

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