/*
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",
"1123300220122113100032233202033031203003223310332103102232110012220223",
"3221131232301012200223022211131033103133131123032332123132212310233223",
"0000000000000000000000000000000000001000000000000000000000000000000000",
"0132202311131233101102212000103132223332103323020021201201010321000022",
"0000000000000000000000000000000000000010000000000000000000000000000000",
"1301132311031101012020213203332013003020311012220212112302100133222202",
"0000000000000000000000000000000000000001000000000000000000000000000000",
"3032310202023113002203002222301233320203211311312132320231021230312302",
"0000000000000000000000000000000000000000010000000000000000000000000000",
"3111221212131120101112321010002332110332310012010131331031022320013333",
"0321002111210232012200120213222222330211030133311100132301021231220132",
"0000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000",
"1030122010031331123210323101122110032333330332031013321203020303333112",
"0131031031003012130311230320110131223201032120121301133311301020310231",
"0000000000000000000000000000000000000000000000100000000000000000000000",
"3330212000221123020220330313323030032322332322101001211121100223031311",
"0000000000000000000000000000000000000000000000001000000000000000000000",
"0210002212333323101213023133223131101231302022013113123210331212023203",
"2202310003111230233332123010032313113001030202322113233013202221122022"]);

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",
"2130201202002310100323120300132302113020133313031303001001010201121010",
"0000000000000000000000000010000000000000000000000000000000000000000000",
"1032023032131103322120201330003312132300213331203001033002103022212130",
"3002211222200133012332332101023201331100022230112312202020202001110132",
"1030221202223311322121033103000322020200213012300211102212221000010201",
"0000000000000000010000000000000000000000000000000000000000000000000000",
"2320321233101022121113313220300132021030210103112122200223302220220110",
"0201130203220323311100030200211110312113201022213220222021112002130310",
"2311002103032133220002103121103310112103112012023331201133312323300200",
"2102211321132111310032000122310031101102201132021002003232230121102103",
"1100101010000000000001000000000000010000000000000000000000000000000000",
"3321113030121020023303022231131031323212331002333322212011003221331113",
"2311133002201202022002010223030120123020011303102303222013131013002221",
"0213323112220332210103000233111031231233023133210111013203211232323310",
"3103202202133302213103103031012313211223301032231332200331211020232301",
"3133000201202012310330213113112222221323301111101223113001213222101212",
"3231220333302230223123313112300021033301210022330113120210120201110123",
"3002103330110111231113222331331120310223222330001130003133213222031003",
"3312011013121030010231110032303011223322321120232110112102330130030031",
"2203220220333332123112100112300203321100230301311100131013102300102101"]);

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