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

F<w>:=GF(4);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000010000000100000000000000000100000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000001000000000000010000000010000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000100000000000000000",
"21102300131303032022123220230310022012033221233012212300",
"00000000000000000000000000000000000000010000000000000000",
"20221123101203010003212230111223201212300021332321121010",
"00000000000000000000000000000000000000001000000000000000",
"12122311133233003110331302201303120012223023313201211000",
"21011033100030333120202131301201132201123213031303031131",
"10123022113113210000222013203022200023211030223211220132",
"00000000000000000000000000000000000000000001000000000000",
"00030203312101202111233003222322012322203122332021030230",
"12331311022030001331302101232333312120122201010102333112",
"21102212000031001020213122032210233130301102223102110010"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"01100000000000000000000000000000000000000000000000000000",
"10100000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"01010000100000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"11000010010000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000000000000001",
"00000000000000000000000000000000001000000000000000000000",
"23323210021120121022023232321030101202233330320212321213",
"23303300233102213223133332031213101120320223023221230032",
"21102232010131202101330211210032223223301201013232201033",
"13111013101302303112012001303113020111131123023211213200",
"31011011311221030222230202302122013320020132001313130001",
"13320120022103201113303331032300231030030222333101331223"]);

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