/* www-ATLAS of Group Representations. M22 represented as 55 x 55 matrices over GF(5). */ F:=GF(5); x:=CambridgeMatrix(1,F,55,[ "0100000000000000000000000000000000000000000000000000000", "1000000000000000000000000000000000000000000000000000000", "0000100000000000000000000000000000000000000000000000000", "0000001000000000000000000000000000000000000000000000000", "0010000000000000000000000000000000000000000000000000000", "0000000001000000000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000000000000000", "0000000000010000000000000000000000000000000000000000000", "0000000000001000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000", "0000000000000010000000000000000000000000000000000000000", "0000000100000000000000000000000000000000000000000000000", "0000000010000000000000000000000000000000000000000000000", "0000000000000000001000000000000000000000000000000000000", "0000000000100000000000000000000000000000000000000000000", "0000000000000000000001000000000000000000000000000000000", "0000000000000000000000010000000000000000000000000000000", "0000000000000000000000000100000000000000000000000000000", "0000000000000100000000000000000000000000000000000000000", "0000000000000000000000000000100000000000000000000000000", "0000000000000000000000000000001000000000000000000000000", "0000000000000001000000000000000000000000000000000000000", "0000000000000000000000000000000001000000000000000000000", "0000000000000000100000000000000000000000000000000000000", "0000000000000000000000000000000000010000000000000000000", "0000000000000000010000000000000000000000000000000000000", "0000000000000000000000000000000000000010000000000000000", "0000000000000000000000000000000000000000100000000000000", "0000000000000000000100000000000000000000000000000000000", "0000000000000000000000000000000000000000000100000000000", "0000000000000000000010000000000000000000000000000000000", "0000000000000000000000000000000000000000000001000000000", "0000000000000000000000000000000000000000000000010000000", "0000000000000000000000100000000000000000000000000000000", "0000000000000000000000000000000000000000000000000100000", "0000000000000000000000001000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000100", "0000000000000000000000000000000000000000000000000000010", "0000000000000000000000000010000000000000000000000000000", "4301321231133440404323001121414221013013144420014112143", "0000000000000000000000000001000000000000000000000000000", "0344314021402110041442413040440000204033321133021243212", "3210400040101342022323001341233310242210401202040300330", "0000000000000000000000000000010000000000000000000000000", "2302003040301024130411342223124102134230200314000400130", "0000000000000000000000000000000100000000000000000000000", "1323441202432210444401442312032343422004233241123324131", "0000000000000000000000000000000010000000000000000000000", "2044423141242032223211223442040144243342044121040412113", "0000000000000000000000000000000000100000000000000000000", "2022110232433011233342424331402112033302144021024122113", "3100114330424013401323242243110210022024133442003220131", "0000000000000000000000000000000000001000000000000000000", "0000000000000000000000000000000000000100000000000000000", "1331313320420112110344222102113200123314233442013124002"]); y:=CambridgeMatrix(1,F,55,[ "0010000000000000000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000", "0000000100000000000000000000000000000000000000000000000", "0000000010000000000000000000000000000000000000000000000", "0221110420000000000000000000000000000000000000000000000", "0000000000100000000000000000000000000000000000000000000", "4001410010000000000000000000000000000000000000000000000", "0444440040000000000000000000000000000000000000000000000", "0000000000000100000000000000000000000000000000000000000", "0000000000000001000000000000000000000000000000000000000", "0000000000000000100000000000000000000000000000000000000", "0000000000000000010000000000000000000000000000000000000", "0000000000000000000100000000000000000000000000000000000", "0000000000000000000010000000000000000000000000000000000", "0000000000000000000000100000000000000000000000000000000", "0000000000000000000000001000000000000000000000000000000", "0000000000000000000000000010000000000000000000000000000", "0000000000000000000000000001000000000000000000000000000", "0000000000000000000000000000010000000000000000000000000", "0000000000000000000000000000000100000000000000000000000", "0000000000000000000000000000000010000000000000000000000", "0000001000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000100000000000000000000", "0000000000000000000000000000000000001000000000000000000", "0000000000000000000000000000000000000100000000000000000", "0000000000000000000000000000000000000001000000000000000", "0000000000000000000000000000000000000000010000000000000", "0000000000000000000000000000000000000000001000000000000", "0000000001000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000010000000000", "0000000000000000000000000000000000000000000000100000000", "1021242104011004000404001030300000010020000000000000000", "0000000000000000000000000000000000000000000000001000000", "0000000000000000000000000000000000000000000000000010000", "0000000000000000000000000000000000000000000000000001000", "0000000000010000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000001", "4443320021114434210112401123201331031024431013124330014", "0000000000001000000000000000000000000000000000000000000", "1224124310044233100342030114032134033021201012131010141", "3442221423243134003331332211301044320203114013021340402", "0000000000000000000000000000000000010000000000000000000", "4041434320003444210320113331221033030043201040412213240", "0240123130100440124411234134104120202212302334330122401", "0333324313341321400330201200040421310121230001404043443", "0000000000000010000000000000000000000000000000000000000", "0321021212000344411441443034320441133412414023134331011", "4412033240422230422332421212040002422044324200134213212", "1410023030331423013301432133402010202134332144100120001", "2411031432340340243243312412104321432213102342404222342", "0000000000000000000000000000100000000000000000000000000", "0032213344242103211240011400133420134022022420310322102", "3304231200040220014243304243112042212241240412043144424", "3421002002240034240413221443412113310130243221022023301"]); G:=MatrixGroup<55,F|x,y>; print "Group G is M22 < GL(55,GF(5))";