/*
www-ATLAS of Group Representations.
3.M22 represented as 84 x 84 matrices over GF(4).
*/

F<w>:=GF(4);

x:=CambridgeMatrix(1,F,84,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"200330203123223331220321200230313000130230032112221003000213330010112010030101032303",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"111120232033130302202112012112030302023202103123300203110002322221001331203313310312",
"203132012221111130031033230002001233031102011110110022112221100211131311323101302211",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"132120032221031122313000122321310320102031211133311132213113130231031210030232133222",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"203013133221101113032201221012233113131303021133101330321323003332213331222001323310",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"221012010132320011113322032033320302032130213332312132323100212120112011212310301121",
"023211301013312001213002211122230030103131222202001102002133211322031222223211201320",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"020211301013300001101323000311000102000130031120202332300333111110121211123223220031",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"232231111021010123100120022211331220203223230112100031300322210333121113102032232122",
"231111320133121202131032312303202202211123303213213102133213230032213030121031030331",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"310231021103211223210323231010011202031321333023133120003300302001113221200010030112",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"010222312022320011012103303221100110223211032030003231012012211202322022301010212030",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"323311201113012211303120300010000112030101200122212002330210201203300133201213013010",
"101302013133333122303000023302102021132201230003110112121203301020302111302300300133",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000"]);

y:=CambridgeMatrix(1,F,84,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"011000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"101010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000100001001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000100001000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"130233201232111023001122230132130320123023111112132220310232310103312333222310012112",
"311013202201021002032022111321020003233030021323232102021213200330333322022122101022",
"031110022101102210310230230003132123312000202113023303320223131312233211313303212033",
"031103312010022301232301122301121013121133331030012103320202232023030303322031311231",
"301222020210010302311232122120020000111133323033232212333031202323200000013310130003",
"111100021210322310131001123213033231031333230323200322230221233202300221111331321232",
"000010202013302310113002112030130311231321300331232323123222122132321301323133212011",
"311022212302320303211301313112202210330213321210110210332202101113202310310211322212",
"331231022131031201010122013023230033221212222031102023312331102200203132332113303013",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"121222000130012310322222201130212231122320010132333123032330213301013020303033223222",
"103323010213300100020201021123223323032013131011230103331130232011001102320300120032",
"020203012313312233311323213202310031330011100133122200212301001231133002031023211113",
"122232213221130213031321333212203302210003231332233212133122033210131121320011030310",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"200133201022330110133111310230130132011002002033001122113002122323030312210221021202",
"203130133133031330211220103103302231302201233132300123033011211022011223313323303311",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"132000202102330032310000223313101111211031202002321002030120201010023133023320332332",
"322032210001002020202102132131302030101101202220123011020002323113203323220000033222",
"123303220321213121102033011302131302122300101121013021110012100213210323021100311001",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"321011312231110312012023133221111022032033123301021310331003222332332011300102111230",
"033013133231132202232331232103320123021302210010230111233133220033022313212200003033",
"130000011212331113213101122330003302331121100130102321202203313322130021300313311123",
"032231001302332320030103021332323203202233331312033101331122133213232010110101021123"]);

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