/* www-ATLAS of Group Representations. L3(7).2 represented as 56 x 56 matrices over GF(7). */ F:=GF(7); x:=CambridgeMatrix(1,F,56,[ "01000000000000000000000000000000000000000000000000000000", "10000000000000000000000000000000000000000000000000000000", "00010000000000000000000000000000000000000000000000000000", "00100000000000000000000000000000000000000000000000000000", "00000100000000000000000000000000000000000000000000000000", "00001000000000000000000000000000000000000000000000000000", "00000000100000000000000000000000000000000000000000000000", "00000000001000000000000000000000000000000000000000000000", "00000010000000000000000000000000000000000000000000000000", "00000000000001000000000000000000000000000000000000000000", "00000001000000000000000000000000000000000000000000000000", "00000000000000010000000000000000000000000000000000000000", "00000000000000000100000000000000000000000000000000000000", "00000000010000000000000000000000000000000000000000000000", "00000000000000000000100000000000000000000000000000000000", "00000000000100000000000000000000000000000000000000000000", "00000000000000000000000100000000000000000000000000000000", "00000000000010000000000000000000000000000000000000000000", "00000000000000000000000001000000000000000000000000000000", "00000000000000000000000000010000000000000000000000000000", "00000000000000100000000000000000000000000000000000000000", "00000000000000000000000000000010000000000000000000000000", "00000000000000000000000000000000100000000000000000000000", "00000000000000001000000000000000000000000000000000000000", "00000000000000000000000000000000000100000000000000000000", "00000000000000000010000000000000000000000000000000000000", "00000000000000000000000000000000000000100000000000000000", "00000000000000000001000000000000000000000000000000000000", "00000000000000000000000000000000000000001000000000000000", "00000000000000000000000000000000000000000010000000000000", "00000000000000000000010000000000000000000000000000000000", "00000000000000000000000000000000000000000000010000000000", "00000000000000000000001000000000000000000000000000000000", "35542505320315065205006001103000110000206500000000000000", "00000000000000000000000000000000000000000000000100000000", "00000000000000000000000010000000000000000000000000000000", "00000000000000000000000000000000000000000000000000100000", "00000000000000000000000000000000000000000000000000010000", "00000000000000000000000000100000000000000000000000000000", "00000000000000000000000000000000000000000000000000001000", "00000000000000000000000000001000000000000000000000000000", "44110056506150016546000604561000000000501600000000000000", "00000000000000000000000000000100000000000000000000000000", "00000000000000000000000000000000000000000000000000000001", "26521163401431335443663024343413114651204444360463614455", "00000000000000000000000000000001000000000000000000000000", "42534514651022110422150434050223323330202114063126403614", "00000000000000000000000000000000001000000000000000000000", "14643151116040011623400314441063140053535206003340050200", "06504053101545531625630526153422614124003054603601643032", "00000000000000000000000000000000000010000000000000000000", "00000000000000000000000000000000000001000000000000000000", "00000000000000000000000000000000000000010000000000000000", "16601041041304015611105640056460211232415323000305261125", "31546461425002105561204166505162202530060120603402002025", "00000000000000000000000000000000000000000001000000000000"]); y:=CambridgeMatrix(1,F,56,[ "60000000000000000000000000000000000000000000000000000000", "00100000000000000000000000000000000000000000000000000000", "01000000000000000000000000000000000000000000000000000000", "00001000000000000000000000000000000000000000000000000000", "00000010000000000000000000000000000000000000000000000000", "00000001000000000000000000000000000000000000000000000000", "00000000010000000000000000000000000000000000000000000000", "00000000000100000000000000000000000000000000000000000000", "00000000000010000000000000000000000000000000000000000000", "00010000000000000000000000000000000000000000000000000000", "00000000000000100000000000000000000000000000000000000000", "00000000000000001000000000000000000000000000000000000000", "00000000000000000010000000000000000000000000000000000000", "00000000000000000001000000000000000000000000000000000000", "00000000000000000000010000000000000000000000000000000000", "00000000000000000000001000000000000000000000000000000000", "00000100000000000000000000000000000000000000000000000000", "00000000000000000000000010000000000000000000000000000000", "00000000000000000000000000100000000000000000000000000000", "00000000000000000000000000001000000000000000000000000000", "00000000000000000000000000000100000000000000000000000000", "00000000000000000000000000000001000000000000000000000000", "00000000000000000000000000000000010000000000000000000000", "00000000000000000000000000000000001000000000000000000000", "00000000000000000000000000000000000010000000000000000000", "00000000000000000000000000000000000001000000000000000000", "00000000100000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000010000000000000000", "00000000000000000000000000000000000000000100000000000000", "00000000000000000000000000000000000000000001000000000000", "00000000000000000000000000000000000000000000100000000000", "00000000001000000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000001000000000", "00000000000000000000000000000000000000006000000000000000", "00000000000000000000000000000000000000000000000010000000", "00000000000000000000000000000000000000000000000001000000", "03355454050406004606000060006000000060000600000000000000", "66024324540313004054000006103000000000000400000000000000", "35064026611660056206061163406000060006205600000060000000", "00000000000000000000000000000000000000000000000000000100", "00000000000000060000000000000000000000000000000000000000", "00000000000001000000000000000000000000000000000000000000", "00000000000000000000000000000000000000000000000000000010", "60355522566654601153064615256101410001205400001010000000", "41251530424546602501442554060444161555446622452522316625", "52640604601156663554051664133414421332203420621334224031", "10644240322526050511154312204002000063522006003040000000", "05615661026206142442016405352600000032113006002630000200", "02140160642611146530051200506006051001503600000050000000", "15044344622602121426136131606432651605144224455462356225", "25521264546512523044035602305000025004002300000030100000", "02031613522055053151512611640610315414555031640113122534", "56642305404106440535662146063663151212365134116115265621", "51552550133012640620352236143005330022152404002050000400", "20653345315166204601460116511006110021211512001660040300", "33344320062650122423301313322636153324021223402514030551"]); G:=MatrixGroup<56,F|x,y>; print "Group G is L3(7).2 < GL(56,GF(7))";