/* www-ATLAS of Group Representations. A12 represented as 43 x 43 matrices over GF(5). */ F:=GF(5); x:=CambridgeMatrix(1,F,43,[ "0100000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000", "1000000000000000000000000000000000000000000", "0000000010000000000000000000000000000000000", "0000000000100000000000000000000000000000000", "0000000000001000000000000000000000000000000", "0000000000000010000000000000000000000000000", "0000000000000000100000000000000000000000000", "0000000000000000001000000000000000000000000", "0010000000000000000000000000000000000000000", "0000000000000000000001000000000000000000000", "0000000000000000000000100000000000000000000", "0000000000000000000000001000000000000000000", "0000000000000000000000000010000000000000000", "0000000000000000000000000000100000000000000", "0000100000000000000000000000000000000000000", "2122334210233411023014024014001000000000000", "4041143344343004231032014042403000000000000", "3012104313244210444144030021404000000000000", "0134444040403220410032412003204000000000000", "4011413121332323430044002021101000000000000", "0000001000000000000000000000000000000000000", "1103332233130410204012202004103000000000000", "4303314333101413303030220002004000000000000", "0000100303443412223020142143002000000000000", "0000000100000000000000000000000000000000000", "0431103123111431023023042044102000000000000", "2241231143141034001021132023401000000000000", "3101142041421310134014034004112000000000000", "2231103024104124010042240011001000000000000", "2340211220411414433000242000104100000000000", "4244023202434334010034302002402010000000000", "2310131301312044331020423023300001000000000", "4110312011402342314022211033004000100000000", "0213310241121341403023234003101000010000000", "1133032104143213440004221020202000001000000", "4442001401004234332001444010104000000100000", "3304013331221111322032431022200000000010000", "3111222133330324200042411041002000000001000", "3022021313022232230004144020304000000000100", "0322331021211000412011023044101000000000010", "3304302420230030420041023021403000000000001"]); y:=CambridgeMatrix(1,F,43,[ "0010000000000000000000000000000000000000000", "0000100000000000000000000000000000000000000", "0000001000000000000000000000000000000000000", "0000000100000000000000000000000000000000000", "0000000001000000000000000000000000000000000", "0000000000010000000000000000000000000000000", "0000000000000100000000000000000000000000000", "0000000000000001000000000000000000000000000", "0000000000000000010000000000000000000000000", "0000000000000000000100000000000000000000000", "0000000000000000000010000000000000000000000", "0400044000040000000000000000000000000000000", "0000000000000000000000010000000000000000000", "0000000000000000000000000100000000000000000", "0000000000000000000000000001000000000000000", "0000000000000000000000000000010000000000000", "0000000000000000000000000000001000000000000", "0000000000000000000000000000000100000000000", "0000000000000000000000000000000010000000000", "0000000000000000000000000000000001000000000", "0000000000000000000000000000000000100000000", "2230231212440213424003030044302000000000000", "4021432310314440104034120040001000000000000", "0000000000000000000000000000000000010000000", "0233203401020313032433443103404010000000000", "0000000000000000000000000000000000001000000", "3002123222222213020012044003001000000000000", "2431422123334423320400120424012420110000000", "3111232213314303132443120020212010000000000", "0000000000000000000000000000000000000100000", "3234311401424134414100003120402320040000000", "0000000000000000000000000000000000000010000", "4320313341203133332331123212200021130000000", "0000000000000000000000000000000000000001000", "0000000000000000000000000000000000000000100", "2100134311130242333032010023121113141020100", "0000000000000000000000000000000000000000010", "0000000000000000000000000000000000000000001", "1332332312011134310430001424233111143123331", "3120340314141224144441042444042142431344240", "2203124311102324044433121120430221120413024", "2121341211322224302340333244322112002402230", "4300411322143222221141031304134210144041210"]); G:=MatrixGroup<43,F|x,y>; print "Group G is A12 < GL(43,GF(5))";