/*
www-ATLAS of Group Representations.
J2 represented as 89 x 89 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,89,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"40531010002000010000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"03602400600005000001600000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"54433225331300641253662353232660101500416023013205325001566453544024421536263230104210214",
"00000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"53010524400344510225425502120630011330536646446531523604501265352611111353436263415100142",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"25500024160350305550452405050133034254203054235201361563544605351501013211414304105020635",
"00000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"04424143113636241256022420305110213460434133110663200240446420514543123231210063303111142",
"42513014210643411512606046303421623536134120412121123162305340201142105143500062106310456",
"06066260015365662242563454512533301014616006633056626466515025635034304604153246301200224",
"02046164426262310063461556142656660311000640645153466461130020665564511205166421301560564"]);

y:=CambridgeMatrix(1,F,89,[
"00100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"16010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"10610000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"60066060000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"65002600000005000001600000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"21225050006000106000000500000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"51501600500615000005200000000000000002000000000000010000000000000000000010000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"62353030006000215000000100000006000000000000000000000000000500010060000000000000000000000",
"01100100100005000000260000000000000000050000000000010600000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"22623520440266240425001635344224663610042202561225056041223251042233061052303262401362330",
"23463200411034203165511614151553645602244340022615626415365606514614401244520634026346540",
"00000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"32024426541600626544255020115345030155434105210262000605655545542361150155030264603301532",
"12621403361633041210216515631353436360655462530024261665044053110444661040352566150206051",
"00000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"21640414212010114136455034305121015310645463043555065233440652516300105560523423551462165",
"00000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"66030055260462502344165520201431465252623206201536656441412023114004544426166136456231421",
"00000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"66004033065606434460303342000154534112026363541053050150626166440242042510525465455655112",
"00000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"03455050163000022000000600000000000000000000000500000000000010060000000000000000000000000",
"34516343051003615112444446455366033334336055656515522213054310360313364031501100122025420",
"05036465356404663403553155134113033660426450422026421463501610552121544133420034043636263"]);

G<x,y>:=MatrixGroup<89,F|x,y>;
print "Group G is J2 < GL(89,GF(7))";