/*
www-ATLAS of Group Representations.
Sz(8) represented as 64 x 64 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,64,[
"0100000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000000000000001",
"0000000000000000000000000000000000000001000000000000000000000000",
"4001566513121223662002604546420520643015261435003436403634505061",
"2412210410005663632623631430533666554255543064114645452235266503",
"0000000000000000000000000000000000000000010000000000000000000000",
"5064002632614566423520146061146516264143565114210323125565332511",
"0135412341362254235411504616254043401663221016352101511154525344",
"1632311002406164644240455531142243133565635564521535355243254666",
"0000000000000000000000000000000000000000000010000000000000000000",
"3413616220340602203342035131051356126355323111341603131016230613",
"0000000000000000000000000000000000000000000000100000000000000000",
"2402636164006360002266455622553461462212130253643502223001305041",
"0000000000000000000000000000000000000000000000001000000000000000",
"5063443501043515220146102662415553640304641054466155615144351613",
"0000000000000000000000000000000000000000000000000100000000000000"]);

y:=CambridgeMatrix(1,F,64,[
"2600000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000",
"1630500000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000",
"4065016000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000",
"4461300600050000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000",
"2012400500030000000001000050000006000000000000000000000000000000",
"0100002000500001060000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000",
"3210200030000600000200000000000040000000006000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010",
"2014160655300613215333402611216424606653651546424526023301103405",
"0221634236664301523601365501064454403043146215356650346656620226",
"3255316232644620210453335110112364012466013350102466201554463332",
"2354530245532553252040440214415264346360664151620400023053602451",
"0000000000000000000000000000000000000000100000000000000000000000",
"1026006046262061121234511332406301453006616155053216634152403603",
"6203006000200000040000000600000000000000000000000000000000000000",
"2135641451502416452451266346550322066336110132220152224645136625",
"4266203262662412435255464426642116645433625435244031334055523354",
"3230611215132243451510356424451203453032253146552245524350034224",
"1152136532662514416040054223310216530011346135226222551115334036",
"0000000000000000000000000000000000000000000000010000000000000000",
"0646413201106506530304326610602322121240316443224665510221062220",
"0000000000000000000000000001000000000000000000000000000000000000",
"0502630321640241224600644464464303213062002100162450555222500541"]);

G<x,y>:=MatrixGroup<64,F|x,y>;
print "Group G is Sz(8) < GL(64,GF(7))";