/* www-ATLAS of Group Representations. J2:2 represented as 36 x 36 matrices over GF(7). */ F:=GF(7); x:=CambridgeMatrix(1,F,36,[ "010000000000000000000000000000000000", "100000000000000000000000000000000000", "000100000000000000000000000000000000", "001000000000000000000000000000000000", "000000100000000000000000000000000000", "000000001000000000000000000000000000", "000010000000000000000000000000000000", "000000000001000000000000000000000000", "000001000000000000000000000000000000", "000000000000010000000000000000000000", "000000000000000100000000000000000000", "000000010000000000000000000000000000", "000000000000000000100000000000000000", "000000000100000000000000000000000000", "000000000000000000000100000000000000", "000000000010000000000000000000000000", "000000000000000000000000100000000000", "000000000000000000000000001000000000", "000000000000100000000000000000000000", "000000000000000000000000000001000000", "000000000000000000000000000000010000", "000000000000001000000000000000000000", "000000000000000000000000000000000010", "000000000000000000000000000000000001", "000000000000000010000000000000000000", "524313604060101125622634512005050043", "000000000000000001000000000000000000", "526141316406030060050030100102000040", "003436421335642404103522003010040055", "000000000000000000010000000000000000", "342551266311246644550123303002100054", "000000000000000000001000000000000000", "343466111066402155365515202001021062", "344342315206254020535301500004020106", "000000000000000000000010000000000000", "000000000000000000000001000000000000"]); y:=CambridgeMatrix(1,F,36,[ "001000000000000000000000000000000000", "566000000000000000000000000000000000", "000010000000000000000000000000000000", "000001000000000000000000000000000000", "000000010000000000000000000000000000", "000000000100000000000000000000000000", "000000000010000000000000000000000000", "451060010000000000000000000000000000", "000000000000100000000000000000000000", "000000000000001000000000000000000000", "000000000000000010000000000000000000", "000000000000000001000000000000000000", "000000000000000000010000000000000000", "000000000000000000001000000000000000", "000000000000000000000010000000000000", "000000000000000000000001000000000000", "000000000000000000000000010000000000", "000000000000000000000000000100000000", "000000000000000000000000000010000000", "000000000000000000000000000000100000", "000000000000000000000000000000001000", "000000000000000000000000000000000100", "000100000000000000000000000000000000", "203064665545620030423544360612444444", "165163365435063313224125622352032442", "224652364223155660564166540404662331", "045326444334205231245055153212162416", "523633616310052042435066661013436266", "301660535300212200511251330104425216", "032531304253540465265462313205213645", "242330134615303313264553321634605120", "411131442210353613425646066632115112", "613555563054314240612431613212654242", "225050632430344606143636513042232316", "633025516515534653361005306412252605", "300605445641336523256023354554306112"]); G:=MatrixGroup<36,F|x,y>; print "Group G is J2:2 < GL(36,GF(7))";