/* www-ATLAS of Group Representations. M12:2 represented as 55 x 55 matrices over GF(5). */ F:=GF(5); x:=CambridgeMatrix(1,F,55,[ "0400000000000000000000000000000000000000000000000000000", "4000000000000000000000000000000000000000000000000000000", "0004000000000000000000000000000000000000000000000000000", "0040000000000000000000000000000000000000000000000000000", "0000040000000000000000000000000000000000000000000000000", "0000400000000000000000000000000000000000000000000000000", "0000000040000000000000000000000000000000000000000000000", "0000000004000000000000000000000000000000000000000000000", "0000004000000000000000000000000000000000000000000000000", "0000000400000000000000000000000000000000000000000000000", "0000000000000400000000000000000000000000000000000000000", "0000000000000040000000000000000000000000000000000000000", "0000000000000000400000000000000000000000000000000000000", "0000000000400000000000000000000000000000000000000000000", "0000000000040000000000000000000000000000000000000000000", "0000000000000000000040000000000000000000000000000000000", "0000000000004000000000000000000000000000000000000000000", "0000000000000000000000400000000000000000000000000000000", "0000000000000000000000040000000000000000000000000000000", "0000000000000000000000000400000000000000000000000000000", "0000000000000004000000000000000000000000000000000000000", "0000000000000000000000000000400000000000000000000000000", "0000000000000000040000000000000000000000000000000000000", "0000000000000000004000000000000000000000000000000000000", "0000000000000000000000000000000040000000000000000000000", "0000000000000000000400000000000000000000000000000000000", "0000000000000000000000000000000000400000000000000000000", "0000000000000000000000000000000000040000000000000000000", "0000000000000000000004000000000000000000000000000000000", "0000000000000000000000000000000000000040000000000000000", "0000000000000000000000000000000000000004000000000000000", "0000000000000000000000000000000000000000040000000000000", "0000000000000000000000004000000000000000000000000000000", "0000000000000000000000000000000000000000000040000000000", "0000000000000000000000000040000000000000000000000000000", "0000000000000000000000000004000000000000000000000000000", "0000000000000000000000000000000000000000000000004000000", "0000000000000000000000000000000000000000000000000400000", "0000000000000000000000000000040000000000000000000000000", "0000000000000000000000000000004000000000000000000000000", "0000000000000000000000000000000000000000000000000000040", "0000000000000000000000000000000400000000000000000000000", "0103212210043012311134340344222031420122040330112114211", "2333133033041233234043130143241410343011022233333104123", "0000000000000000000000000000000004000000000000000000000", "2111140002342104121134420002024240113404343423223301412", "3124044201303143201310040000313013110043334132213442201", "1313131324022121011334304414314241341324222034344143123", "0000000000000000000000000000000000004000000000000000000", "0000000000000000000000000000000000000400000000000000000", "0443104310210414124234122433231422232301344013113441231", "4022412422234421033422124002112204430432202123330000143", "3300333030421423120034203002440032023140100020003100110", "0000000000000000000000000000000000000000400000000000000", "4243414110402411204444130034333342334233302430330232114"]); y:=CambridgeMatrix(1,F,55,[ "0010000000000000000000000000000000000000000000000000000", "0440000000000000000000000000000000000000000000000000000", "1210000000000000000000000000000000000000000000000000000", "0000100000000000000000000000000000000000000000000000000", "0000001000000000000000000000000000000000000000000000000", "0000000100000000000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000000000000000", "0000000000100000000000000000000000000000000000000000000", "0000000000010000000000000000000000000000000000000000000", "0000000000001000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000", "0000000000000001000000000000000000000000000000000000000", "0000000000000000010000000000000000000000000000000000000", "0000000000000000001000000000000000000000000000000000000", "0000000000000000000100000000000000000000000000000000000", "0000000010000000000000000000000000000000000000000000000", "0000000000000000000001000000000000000000000000000000000", "0000000001000000000000000000000000000000000000000000000", "0000000000000000000000001000000000000000000000000000000", "0000000000000000000000000010000000000000000000000000000", "0000000000000000000000000001000000000000000000000000000", "0000000000000000000000000000010000000000000000000000000", "0000000000000000000000000000001000000000000000000000000", "0000000000000000000000000000000100000000000000000000000", "0000000000000100000000000000000000000000000000000000000", "0000000000000000000000000000000001000000000000000000000", "0000000000000010000000000000000000000000000000000000000", "0000000000000000000000000000000000001000000000000000000", "0000000000000000000000000000000000000100000000000000000", "0000000000000000100000000000000000000000000000000000000", "0000000000000000000000000000000000000000100000000000000", "0000000000000000000000000000000000000000001000000000000", "0000000000000000000000000000000000000000000100000000000", "0000000000000000000000000000000000000000000001000000000", "0000000000000000000000000000000000000000000000100000000", "0000000000000000000000000000000000000000000000010000000", "0000000000000000000010000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000010000", "0000000000000000000000000000000000000000000000000001000", "0000000000000000000000000000000000000000000000000000100", "0000000000000000000000100000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000001", "0000000000000000000000010000000000000000000000000000000", "3023432102213213041023322113143111243114400400131104302", "3201120221404403132432343333223241300230003023110240341", "0000000000000000000000000100000000000000000000000000000", "0213040441304312240302023314104134214133200213434014400", "4300330441033100302434012041030400331444201123044231242", "3313203302323323300031143320110343404234211433312034042", "0302000030000000000040000000000000000000000000004000000", "0000000000000000000000000000100000000000000000000000000", "3443311210432421211344041123000414204114143312110142003", "1223100114201433302130011100300030211304303033203414421", "3132144304214310222341310301340041030300011430034140124", "3141023430442402044241421441033111430121442111120211142"]); G:=MatrixGroup<55,F|x,y>; print "Group G is M12:2 < GL(55,GF(5))";