/*
www-ATLAS of Group Representations.
E7(4) represented as 56 x 56 matrices over GF(4).
*/

F<w>:=GF(4);

x:=CambridgeMatrix(1,F,56,[
"02000000000000000000000000000000000000000000000000000000",
"21010000000000000000000000000000000000000000000000000000",
"31011000000000000000000000000000000000000000000000000000",
"23221330000000000000000000000000000000000000000000000000",
"21202111100000000000000000000000000000000000000000000000",
"23010002111000000000000000000000000000000000000000000000",
"20231022303330000000000000000000000000000000000000000000",
"02332033002120300000000000000000000000000000000000000000",
"31311321331133321000000000000000000000000000000000000000",
"30110221332223023320000000000000000000000000000000000000",
"22111012220222211013200000000000000000000000000000000000",
"02200120021130311202223000000000000000000000000000000000",
"33133131003303230123213110000000000000000000000000000000",
"00003110011031322022131032200000000000000000000000000000",
"32121212233102121333331330203000000000000000000000000000",
"30122323323330103203220021310030000000000000000000000000",
"12333022222133212121320031102300200000000000000000000000",
"31303210321033003300131202103020312000000000000000000000",
"30333231211303212310022103001122303220000000000000000000",
"30003200303212121311210333232120023210100000000000000000",
"00313202123122111302223112132001320002033000000000000000",
"10233003333320031211002313030133023033201320000000000000",
"01220300321222233322230202002201021011112120200000000000",
"13321313120120012121030233223311113111300123022000000000",
"01332312131320230100231321111030232301222103123230000000",
"01330103322031132001200102102310322031222310020330100000",
"32020101111300320132101210002301110122232323201210333000",
"31102102031201011330212323201302032232203322212133221010",
"01231111003020120001102120320300103030101131321122230110",
"23203122001232133221203331303321102021111112021200023331",
"21213000032133311323201211223313312133233312331320110013",
"01231032022321022312103003100122302202031023100211223331",
"20321220021201221233032023132010320030303321013333022120",
"33313302011233130022310233220023200002120310031320012222",
"03322001010132122223032132303100320221212012012123000222",
"10110310002020301013301031303110000000123201320102121130",
"01233311032303103203211300232330232220213313301322300311",
"00100121023220113102121231233021023300113221101111033131",
"00103032020213131302023133013301131323232033213031213002",
"00103032020213330121320123130332322210222212102300333030",
"00001221001011131330332113313032321133111131010022100122",
"00000000000000303213232000302030332233033313212010111311",
"00000000000000303213232212001121110002330202101031021232",
"00000000000000201223303202220011232311201322130301301101",
"00000000000000302331101111132211330133110212302002121211",
"00000000000000000000000131101132223332020133200120333321",
"00000000000000103112202313213111120333302013013210033102",
"00000000000000302331101232231201211110033030021221323213",
"00000000000000000000000000101021111100012033023000221021",
"00000000000000302331101232033031203100022232333222010100",
"00000000000000000000000000202323103100332003033312010022",
"00000000000000000000000000101123331102312102202100200233",
"00000000000000302331101232033031203100022232332123321011",
"00000000000000302331101232132112132002330330130022132312",
"00000000000000103112202313011012301200033313113231113220",
"00000000000000103112202313011012301200033313113231113221"]);

y:=CambridgeMatrix(1,F,56,[
"03200000000000000000000000000000000000000000000000000000",
"03100000000000000000000000000000000000000000000000000000",
"12121100000000000000000000000000000000000000000000000000",
"10021023000000000000000000000000000000000000000000000000",
"10221220120000000000000000000000000000000000000000000000",
"03132211100100000000000000000000000000000000000000000000",
"23201111320312000000000000000000000000000000000000000000",
"01323102022320320000000000000000000000000000000000000000",
"20202020331102223100000000000000000000000000000000000000",
"10103320333020010033000000000000000000000000000000000000",
"21011110230000103121120000000000000000000000000000000000",
"31101301032321323212023300000000000000000000000000000000",
"22131002010103012230021301000000000000000000000000000000",
"13030212013322121030231102020000000000000000000000000000",
"02311121223001231322330330200200000000000000000000000000",
"21012011312123020132322033321303000000000000000000000000",
"22132110211300120132011110022221130000000000000000000000",
"33213222331222100232101321131310112200000000000000000000",
"23300021210231221120332333122323022132000000000000000000",
"32021312311132331030232211332321230212020000000000000000",
"13033302102223002000302010003310113120212100000000000000",
"31102300322332110130112212333122202033020313000000000000",
"03120101333210230102311001322011100211133112010000000000",
"31100032110330310220122213230313300312021110232200000000",
"10112022120012123123120123000310033311222000232202000000",
"01231023320311131002310033100201313102133101230303020000",
"00000000120010132013121323123333121031300220111230220100",
"00001221001011030013023222031013233233303222123303032102",
"00000000000000001123033303103011301131323111320320332132",
"00000000000000000001330112320233330100301123331013320330",
"00000000000000000000010223120223301202111103131011213311",
"00000000000000000000102331330310033211001200223231013222",
"00000000000000000000000000000000100003130331220303203123",
"00000000000000000000000000000000010033320032302022000320",
"00000000000000000000000000000000001002302002330031010331",
"00000000000000000000000000000000000130113110321103301122",
"00000000000000000000000000000000000032031011030303123330",
"00000000000000000000000000000000000002132002101132110012",
"00000000000000000000000000000000000023031303101301302230",
"00000000000000000000000000000000000023030110221002111020",
"00000000000000000000000000000000000020002130100223013203",
"00000000000000000000000000000000000010000033230121311211",
"00000000000000000000000000000000000011012312231021233321",
"00000000000000000000000000000000000001013301230010232303",
"00000000000000000000000000000000000000000000100203111132",
"00000000000000000000000000000000000000000000010001102222",
"00000000000000000000000000000000000000000000001202022000",
"00000000000000000000000000000000000000000000000300103100",
"00000000000000000000000000000000000000000000000012110232",
"00000000000000000000000000000000000000000000000301020311",
"00000000000000000000000000000000000000000000000003023022",
"00000000000000000000000000000000000000000000000002012220",
"00000000000000000000000000000000000000000000000301033310",
"00000000000000000000000000000000000000000000000302013003",
"00000000000000000000000000000000000000000000000102011321",
"00000000000000000000000000000000000000000000000103023012"]);

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