/*
www-ATLAS of Group Representations.
4.M22 represented as 56 x 56 matrices over GF(9).
*/

F<w>:=GF(9);

x:=CambridgeMatrix(1,F,56,[
"10000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"01000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000100000000000000000000000000000",
"71455647488171458548627005762565070504020518027374272727",
"33584403444621265300814777051467875433601752373263175530",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000010000000000000000000000000",
"77536610856878716242758445347660754482404846624750151501",
"00000000000000000000000000000001000000000000000000000000",
"08877045432267420076751276021624176051640832007852437450",
"00713300168508182180568735840265861815541721423561101382",
"00000000000000000000000000000000010000000000000000000000",
"18054337018547746025876583177707127035741268032086007125",
"42576325640635554014321183360632444265573351326812088866",
"00000000000000000000000000000000000100000000000000000000",
"31163116755106626820116718126326451657742268780857211853",
"54305263823437207273824044573821556303836810200876724860",
"00000000000000000000000000000000000001000000000000000000",
"37215585143010723525306686670300628355844583607043218881"]);

y:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000100",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000001",
"00678365505327017567403513804132331263563380408488285454",
"61803002224350636682245818157801407840018531377518675270",
"64712081638357501135027230878275383402305735403553580401",
"42773033235001648313315447453851634333865638863805874052",
"71327524338168728210786171180825503350744483466328308177",
"00000000000010000000000000000000000000000000000000000000",
"11703305337328502282647404268642441688123128507086402815",
"43843136083305223656766244455687743577377562162088838274",
"14886642523808105034383340638455083453002086302201121782",
"43284844378661640563231260555082043181124224811338423484",
"00000000000000100000000000000000000000000000000000000000",
"15031116841674736830604836876548860106463685215420853828",
"03130126350233164744275102661513801417400218106150438820",
"50281688062136061612157720800838042638625448070825772021",
"00000000000000000000000000000000000000000001000000000000",
"42724574411011377067867548736446770530726857068705801541",
"75184774020635384748786762514184725164720810130014682228"]);

G<x,y>:=MatrixGroup<56,F|x,y>;
print "Group G is 4.M22 < GL(56,GF(9))";