/* www-ATLAS of Group Representations. Sz(8) represented as 91 x 91 matrices over GF(7). */ F:=GF(7); x:=CambridgeMatrix(1,F,91,[ "0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000", "0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000", "0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "0665150150000000000000100500010000000000000000000000000000000000000000000000000000000000000", "0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "1060102002062000020000000001000006000000000000000000000000000000000000000000000000000000000", "0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000", "0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000", "0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000", "0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000", "0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000", "0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000", "0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000", "0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000", "0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000", "0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000", "0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000", "0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000", "0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001", "0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "3100532542321652115103254560226255416300052524561424622130060061623502006342215541152033542", "0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "4211322636065116550554530150612431241505304124101430661322066240502441521403343143112520455", "2050603213516004001331460642265434236311013333626326510445111161231260526551214405340536663", "0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "6065343214014566200031543051165603106112336522424335121520453565502254630104406244301436333", "0145511133502662660166114230114034642655433536320036114320440014532330421200130044040402601", "0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "6413160454321264503065666234420236510650315622354364264130303053656341150442564102003241550", "0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "0146041525330365365533325625365601142553202355522611250436310115251326002563050365441063462", "0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "1246231316430464461155213634516544452562646200365050341265064162625520324322602630633205525", "0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "0610006464544156602626563352101436342451231442443632343630005660053564061610045340002644010", "6555050250000000000000100500010000000000000000000000000010000000000001000000000000000010000", "0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "5010345235446125662604523216551522361400025253216353155640010016154205001435462236626044235", "0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "6661020530055064330000114014241301356402601501352401244656316106266410340216015313245206011", "6643410303416541356002263545013264036123635264050016046513420345401041153632665356503225502", "0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000"]); y:=CambridgeMatrix(1,F,91,[ "0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0221110620000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000", "6001610010000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0666660060000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000", "0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000", "1222020520000000000000600200066000000000000000000000000000000000000000000000000000000000000", "0660001001001000000000000000000000000000000000000000000000000000000000000000000000000000000", "0001610010000000000000600100060000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000", "0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000", "2010201001062000000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000", "0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000", "0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000", "0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000", "0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000", "0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000", "0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100", "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010", "5145264035165035016343426552462562205002442005301532445003343636333336613200166046041421141", "1625520224315062212153144201620324000454412243133613555661352336242030034322523400525133114", "0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000", "6060441543664046010065030635450161026026564511543421512010012126101411010525424666625100225", "5562325522052614561516655062116520105501045601106064326015265414463464060431406323206340254", "3043213026542054133232441554060400423565305224241201046305350610231326412164432634344233613", "0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000", "6042114405423664263432165666345213461143310053011542536202203150253325061026506426440325526", "3231411622053001000602001000600000011000006000000006000600000010500050000000000000100400000", "3405612212131155654135010116425166155360265466512615424532141316636200646630055012443412005", "4032404003360625151103166034110435013026445006144501103266662615202442366502402543152236445", "0154620666412525515216223121546146656025625322201361021504146500212406145234144131566434161", "3606005102600653201215061060353614414654322061535652434454506112163561441401503265144423511", "1160526461661623510016561620546052643636112036023161620634205526330524352022220212141553033", "2012612106524510131330562502404663455442145061246432114406426662005511440524633534130353063", "2435101232212463046066121053455453620313250040264120662504121115401333411663322241406213665", "0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000", "0343431166500140656341061015635525541632040114364606635105455106444416432224361054110150426", "1323162442335636511346535224564324154036450025256025302100146424001121554065444652040001345", "0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000", "1060331541340652105103254561226256416300052524561424622130060061623502006342315541150033542", "5525366400600621122404263264060200566005130225516613632203020415224061220122020623366004316", "1560656610301203242613005462503253451446230455544206551550652142016135151311606310563466546", "0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000"]); G:=MatrixGroup<91,F|x,y>; print "Group G is Sz(8) < GL(91,GF(7))";