/*
www-ATLAS of Group Representations.
M22 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",
"0000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000100000000000000000000000000000000000",
"1132200330133112100023322303022021302002332210223102103323110013330332",
"2331121323201013300332033311121022102122121132023223132123313210322332",
"0000000000000000000000000000000000001000000000000000000000000000000000",
"0123303211121322101103313000102123332223102232030031301301010231000033",
"0000000000000000000000000000000000000010000000000000000000000000000000",
"1201123211021101013030312302223012002030211013330313113203100122333303",
"0000000000000000000000000000000000000001000000000000000000000000000000",
"2023210303032112003302003333201322230302311211213123230321031320213203",
"0000000000000000000000000000000000000000010000000000000000000000000000",
"2111331313121130101113231010003223110223210013010121221021033230012222",
"0231003111310323013300130312333333220311020122211100123201031321330123",
"0000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000",
"1020133010021221132310232101133110023222220223021012231302030202222113",
"0121021021002013120211320230110121332301023130131201122211201030210321",
"0000000000000000000000000000000000000000000000100000000000000000000000",
"2220313000331132030330220212232020023233223233101001311131100332021211",
"0000000000000000000000000000000000000000000000001000000000000000000000",
"0310003313222232101312032122332121101321203033012112132310221313032302",
"3303210002111320322223132010023212112001020303233112322012303331133033"]);

y:=CambridgeMatrix(1,F,70,[
"0010000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000",
"1001110100000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000",
"0100110101000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000",
"1111010000000001001000000010000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000000000010",
"0000000000000000000000000000000000000000000000000000000000000000000001",
"3120301303003210100232130200123203112030122212021202001001010301131010",
"0000000000000000000000000010000000000000000000000000000000000000000000",
"1023032023121102233130301220002213123200312221302001022003102033313120",
"2003311333300122013223223101032301221100033320113213303030303001110123",
"1020331303332211233131022102000233030300312013200311103313331000010301",
"0000000000000000010000000000000000000000000000000000000000000000000000",
"3230231322101033131112212330200123031020310102113133300332203330330110",
"0301120302330232211100020300311110213112301033312330333031113003120210",
"3211003102023122330003102131102210113102113013032221301122213232200300",
"3103311231123111210023000133210021101103301123031003002323320131103102",
"1100101010000000000001000000000000010000000000000000000000000000000000",
"2231112020131030032202033321121021232313221003222233313011002331221112",
"3211122003301303033003010332020130132030011202103202333012121012003331",
"0312232113330223310102000322111021321322032122310111012302311323232210",
"2102303303122203312102102021013212311332201023321223300221311030323201",
"2122000301303013210220312112113333331232201111101332112001312333101313",
"2321330222203320332132212113200031022201310033220112130310130301110132",
"2003102220110111321112333221221130210332333220001120002122312333021002",
"2213011012131020010321110023202011332233231130323110113103220120020021",
"3302330330222223132113100113200302231100320201211100121012103200103101"]);

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