/*
www-ATLAS of Group Representations.
J1 represented as 77 x 77 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,77,[
"01000000000000000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000",
"01100040000000000100000000000000000400000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000",
"10010000400000000000010000000040000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000",
"10044121321301013011341323441322143322143302110403300100400030000100040000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000010",
"03222301401303011134342043433244341332123134330403303204241440004111441103040",
"00000000000000000000000000000000000000000000000000000100000000000000000000000",
"14100133020210432430441231141200310030414421043011134324122412210041114014130",
"22303122131002034213220321200044041001340004334410430243011422212302124341400",
"00000000000000000000000000000000000000000000000000000001000000000000000000000",
"34314220112430042414403443023324004014343303030244000033034410232322422313100",
"42231040430323242043120313200023223310014141142441131334010212211041114012130",
"23004401314230223144103301320122414122342423214402130414124142134121343033340",
"23034030243304033421212342234230223430104130104034443110344401000000000043410",
"43033010232433224131321310144401402430213421241430143140244121140410411440300",
"00000000000000000000000000000000000000000000000000000000000010000000000000000",
"22123313402204143341321042242144202011342130314011022310410333011040104010200",
"00000000000000000000000000000000000000000000000000000000000000100000000000000",
"21030213303121203441013003321330140023234410341100001324413120141111441324211"]);

y:=CambridgeMatrix(1,F,77,[
"10000000000000000000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000000000000000",
"44400000000000000000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000000000000000",
"10010000400000000000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000000000000000",
"10000010040000000000000000000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000000000000000",
"00044202142134343344324043224043232043232303021302300041000030000040100000000",
"11313022004304301341110000011033203143013234444304123310320343020021303020200",
"00000000000000000000000000000000000000000000001000000000000000000000000000000",
"10044121321301013011341323441322143322143302110403300100400030000100040000000",
"00000000000000000000000000000000000000000000000010000000000000000000000000000",
"10044434414433330333023220223223143223143413010403410000004040100000000400000",
"00000000000000000000000000000000000000000000000000000000000000000000000000001",
"13404444420144342122220333204234300312210023241001132240100132033010402034304",
"13241002332104403110040040004004343202040001020230112121020040442140332013102",
"40404434443033121123420224041301113441144331011241333440131320002020303340013",
"00000000000000000000000000000000000000000000000000000000000100000000000000000"]);

G<x,y>:=MatrixGroup<77,F|x,y>;
print "Group G is J1 < GL(77,GF(5))";