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

F:=GF(7);

x:=CambridgeMatrix(1,F,63,[
"010000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000",
"101010010000000000000000000000000000000000000000000000000000000",
"060606100000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000",
"016261060606100000000000000000000600000001000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000",
"665060101010006000000000000010000000100000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000001",
"000000000000000000000000000000000000000000000010000000000000000",
"303112032562205014140503515341502051402514011450121346560020306",
"655112116523655103330346661014150346054666323460433260162456425",
"233201336662601313233212244450146110656205521355645251553555563",
"000000000000000000000000000000000000000000000000010000000000000",
"050201263066312464044624610664444620254301445044132326453644661",
"000000000000000000000000000000000000000000000000000100000000000",
"266511140053320304441624160406143152261624350321531265101340033",
"000000000000000000000000000000000000000000000000000001000000000"]);

y:=CambridgeMatrix(1,F,63,[
"100000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000",
"666000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000",
"111110606060061000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000",
"001610610101000100000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000100000000000000000000000",
"362461035140626561255340063332443055610645424546333650101400024",
"000000000000000000000000000000000000000010000000000000000000000",
"333363000026156144625545110250555322132546001510061325101060506",
"664250545513161461265462655351215333406206051465255305152660522",
"300261250434650162466662116425001633403005423644131240653625211",
"300516543254466454243161152062211221435102566254356403323442160",
"211624135441503414242662400646524263124620520061252526346546246",
"605260434641403543620603400260025353144305526510130340140661566",
"051432461111000101516624141665651545661441564206536565421235624"]);

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