/*
www-ATLAS of Group Representations.
O7(3) represented as 78 x 78 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,78,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000101110100100000400004000004400000004000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000004000400000410004000040100004400000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000001000100000040000400004400000044000000040000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000",
"440102111200141140400444014440400004404000040040000000000000000000000000000000",
"444042011200101140000000014400000000040000040000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000",
"111413434300304410100001041100140000001400010000004000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000",
"111414434444344404144441040000140404001000400000004000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000",
"221211223104203310240002032110240000002000024010004000000000000000000000000000",
"440002011200101140000000014440000000000000040440000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000",
"444140120001240030211142404330200101002043040034400000000000300000040200000001",
"222324312444142224244042023210240400002001030010044000000000100000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000",
"333232242202412240222312023440220203002003030040002400000000300000000400000002",
"110403444300414010001110001100000101000000010000000040000000000000000000000000",
"223331303101003330310003032340310000003000020040001004000000000000000000000000",
"221411423100203320100001032210100000001000020010000000400000000000000000000000",
"222324324413214331132310033340130203000003030040003000040000300000000400000002",
"334243232311302241410003024400410000003000040000001000004000000000000000000000",
"333234242411412301310113133040310001003010030040001000000400000000000000000000",
"000000000000000000001000000000000100000000000000000000000040000000000000000000",
"220401433110313431000110142300000001000010020000000000000004000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000",
"111414423403203410333303041110330303003002010014003000000000240000040100000003",
"334243232311302201310103024040310001003000040040001000000000004000000000000000",
"443234231411311201310013023040300000003004030040000000000000400400000000000000",
"334241231101341130211141014330210101001004040034001000000000400040040200000001",
"333232233202303340122202133430130202002014030030003000000000400004000400000002",
"112420424003244400333243041010330302003002010014003000000000200000440100000003",
"000000000000000000000000000000000000000000000001000000000000000000000000000000",
"442124142403412100033010114030040300000012040031004000000000200000014300000004",
"333232242202402230122201023330120202001003030030002000000000300000000400000000",
"113431413102143300022040431020010200000043010024001000000000300000040240000001",
"111414434404304320243402031210240304002001010010004000000000100000000104000003",
"334243243302403120222102413240220201002043030041002000000000300000010400400002",
"221312313244103404141402041000140104002000010000004000000000000000000000040000",
"442023031332301103022002114040040200002014040041004000000000400000010400004002",
"440102111200101030000400404300000004000044040000000000000000400000000000000400",
"221312323244243314244441032110240404001000020010004000000000000000000000000040",
"444141121101201140311103014440310101003004040040001000000000400000000400000001"]);

y:=CambridgeMatrix(1,F,78,[
"021213034242343241144210041333144004201042212142104330134301341142112430102431",
"433204123433203403331141211403020341310333304243202412443134314231042404241401",
"000000004000010000000000000000000000000000000001100000000000000001000004000004",
"313123202213214330334303342442432131114442041030032003101414243213340342404343",
"121042333313404444011200100221411141124100412201011441100401010140140000144040",
"313141234101343411313243344211014424130041143243124014022443222121223301430343",
"422020324442344432012042014342110224140104132042243442132332014014034310433420",
"331220330240340434411100234220020210340112333223200113311044300214141200140402",
"210030124034312400304101420311033021031332432344121110311432210234214443404102",
"242233244303330430003212124444101034421244222344130334100112123024200404444103",
"201114330333222404433433431220102034114301220303024003404033311103340034430341",
"333343413214041110433121312403322304120121104433230113423111343404103431311224",
"343241000312434202241204410034404344412203121344024340340143113413424410423310",
"104324413004332024203403232403014114121403302413410003044240042232433021330111",
"103312244312401300102404002223132314012120022323330334134324432011244232303330",
"030444031020200423331010124033324420421132224323020004100240444320043321440214",
"112042310443431220222110424422031130110303023010444232234300440442113104410443",
"014030340130444024420313130301324043303404211001312331443444304044144040043331",
"444044001204030310024041444100344241001004201141140332420013003230013432300344",
"334044322301122232134240302110400230140432411101130333410002442124112430101143",
"320314304430224404302404241422210442143042101032040001300220312231403321302444",
"102223402110421213442403111002424124231334241201224222122341213041430031030330",
"011234410140134110114104240411333410101334024242030002001304210133014443412301",
"443423322110004233110102002031022300344022004133300230444020433044141202201340",
"231014402230120043424101422243332220234433241432130041401310101330112233121341",
"244221211331412301003444240022011142032034102244242113201414311433103330240340",
"023240003322400201233304003313002141102444004034032122101233140341111222020424",
"400201032400301020102201230200300240314144331302020040100101324223401001104101",
"142031443430131000114301034423303223012433411301134042001414241310330442434232",
"132404443221330421133244342013412022313140000023443010411244310344111221130123",
"141244310101111401400414414034021214133222142042344224423104001101210424013012",
"332020042012043343334013042313402034421444304103444330204200213214244142041222",
"301344323240211043322043313401114033024431334443123222232401414442444031042030",
"310430232233113003004214213132221324244230131204340224333430140434222002232234",
"420121120000203401221413131311303214440402203204424334333322440001403132340034",
"331420304421324022323240101402240412410231004422232003342313243302120220020221",
"231041000322412233321444033304202121033444404003121043211123100044343113342123",
"013420313311414320332404000201141023014312214332232321411313342242013332340341",
"313330123302400022443403240232222201204232310101222220001422320432412022000030",
"143034410412030231122202202212114331234103203223201332311310241000011111002123",
"131341420000040400300240001323230134321224232314240334332204442043110114013012",
"232002032431241324104000110324034310231241043013400404233444040300440141043344",
"114231134333432442003402000003322122124444222304232040311304411330222033212330",
"143140413204423204443041433232144023323404143010000122040300233031344021341330",
"322200012213010002424403042211212300313112333113330124222414203424322143213343",
"412321430011041040441313244022211404420302111403143004100214402230112131304230",
"322121224230013122422410220242420130123304002243324221033240214113430031230331",
"300242341102231424422002201341234132314224040212203231412400344243440031442440",
"432123022411241131322403110401403322024231113143123022301332201112313441314041",
"104124123403324312222203243324240223240443313423234332301104430401001200442020",
"340140332434210020403200123142413201333334120331220230211240113444311324202221",
"044314241223143410402402412331203403423003311320142321332442121430204204113143",
"320143332421141334031412322343314414430111314134014004300241303332443331340224",
"412204312211010324421142331102214433424330314403113223222400404442444031402431",
"422313004414430203310110123230231401340044341020041403300040001442123212332404",
"214322404023402232220442113432144440113231201444210330222244443431410422010223",
"421003010421331220322011322100302341432412241222320043132430231300303330344032",
"032141113341203233121344430403110004134344224200114004222201313404434030001421",
"201413240330033010112214421300223342224013024123120123432343213121223302034203",
"213203100032222400040342342220142032233030034002432014020443422110213042423244",
"212000104341410341301004400120011240214214101441140101222011010110010414012211",
"434220410441131022230243202140202410111332323032020441321410204244230334034431",
"230030103223041004022444234200414113400444434223312041043004200304440242003042",
"140022423033042323043202103402424221220222244100210112112341003440444431441323",
"421314421122020440022043141023234441430220421442200431131303000113101311142011",
"341131200234340132330144232024421123441420123341342324243300211310120424020222",
"011134022302012001302201314242001431223001013043000432410314312322221034220321",
"303344013444431002022000024012013343410041134104423320233022440144012031102130",
"202014124314314331243403032214210414241211111000144110021100201004110014012114",
"433343143021014334112124243141041103422313324023003410334321113240311234030042",
"444033114111400031010042421123310442334431043322103101133412104443013243330144",
"230301200413214300111014010012410434411240022414103223232340304201413240413431",
"213000112024332403114024113412444244330413343030310231234133341311231440144044",
"133321343204224140300002302222430014034421034041440331234442113001400344444002",
"242200430404010300202300232103331413414040432202422121304331042341232233124131",
"110124001301342001201404020242221110012043411421411223440001014203114203421041",
"003120002201402141144214133020440304144341103233400401034004131442014304310403",
"210330003042434332042033001140021210040143233022341323022123202031213040213343"]);

G<x,y>:=MatrixGroup<78,F|x,y>;
print "Group G is O7(3) < GL(78,GF(5))";