/*
www-ATLAS of Group Representations.
2.A8 represented as 56 x 56 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000010",
"30335015056614600054013203311024105614301313605103033056",
"03101521150303250320645404536501351034160605455050462505",
"00000000001000000000000000000000000000000000000000000000",
"50400004651531643061635331621113305451620366101335022431",
"30510534603512304634555626242013544111603115166433140112",
"30300526616510523523232405624660644622204045531212562001",
"42464260010102252464334000242431651262163613002361050603",
"11010023401110521012261561253140652644133315242555255665",
"25234111113235615335333201232241316663052113310260435341",
"00000000000010000000000000000000000000000000000000000000",
"00164215425246004615525541041442440665163663005563262511",
"50441246215222146126066260526424630320144224221620034262",
"02064005500053211465303120244240220260153603020043640152",
"66121300166121325015061001566123452552502644202564062043",
"26252036225303562261135035142540322365206106533320565434",
"00000000000000100000000000000000000000000000000000000000",
"14465611166101550440416016103610410140204623454403660511",
"23143334062045451423440465266663624230625322625643304114",
"20350554414655213254221221014505563101441363136003014360",
"21530334526111106625316133646200061244653253413516161566",
"64020322162220425610303512003235366661560015014521131520",
"00000000000000001000000000000000000000000000000000000000",
"30306244630063201401212613213214362222421354542651512054",
"06044266323146431363501145123614354240405400000163136560",
"60142534224604033042616252624146243042044610446011463036"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"06606000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"12101060000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000000000000000000000000000000000000000000001",
"32165114030656425542335613544366535066120451013304206042",
"10054314443425043410004410636252600053054313245231326664",
"16611315440633666202641552646055421245601124141166254652",
"31103243552213461643120341053210365415264511505052255466",
"05213661254102310353005566442502031014556132426046506555",
"23532361045163140414304060310340614200265112514520146066",
"66405532126440261031341026422322665332521600653410054266",
"01606015465240550545151622434556455635202666225515655250",
"15105662333064115031636503446400441310630235322531605502",
"11604001514035035053032405645405464303461423610131460106",
"25560132146444531336204012424212660003563125150513051102",
"00006106006001005000000000000000000000000100000000100000",
"41325534244152313410134224600224216150162624613562664223",
"16210164005662401165206523531520203631162542223214664154",
"10644131045451023013053360152441251524661324615022361312",
"43310555020165244454235134325154613030541026644102125554",
"42614044303554614503164356333110246222154364200561666641",
"31554251044545614350151043024554514362541136202151003536",
"33630043246432635253365256651012421301134545656303212136",
"21326304433562513531135023064535106156516606453116463426",
"33056433512543316164511015226330166404412230642206461252",
"01421116146014003152655331015033621323452351645644501200",
"51025134360240411310053320004004336652405340241454114060",
"63124250000154430613546412146406635223434502065622366204",
"25613446556014356123312621426100313502002633636125124460"]);

G<x,y>:=MatrixGroup<56,F|x,y>;
print "Group G is 2.A8 < GL(56,GF(7))";