/* www-ATLAS of Group Representations. Fi22 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,[ "001000000000000000000000000000000000000000000000000000000000000000000000000000", "000100000000000000000000000000000000000000000000000000000000000000000000000000", "000001000000000000000000000000000000000000000000000000000000000000000000000000", "000000010000000000000000000000000000000000000000000000000000000000000000000000", "000000001000000000000000000000000000000000000000000000000000000000000000000000", "000000000010000000000000000000000000000000000000000000000000000000000000000000", "000000000001000000000000000000000000000000000000000000000000000000000000000000", "000000000000010000000000000000000000000000000000000000000000000000000000000000", "000000000000000100000000000000000000000000000000000000000000000000000000000000", "000000000000000010000000000000000000000000000000000000000000000000000000000000", "000000000000000000100000000000000000000000000000000000000000000000000000000000", "000000000000000000001000000000000000000000000000000000000000000000000000000000", "000000000000000000000100000000000000000000000000000000000000000000000000000000", "000000000000000000000001000000000000000000000000000000000000000000000000000000", "000000000000000000000000100000000000000000000000000000000000000000000000000000", "000000000000000000000000001000000000000000000000000000000000000000000000000000", "000000000000000000000000000010000000000000000000000000000000000000000000000000", "000000000000000000000000000001000000000000000000000000000000000000000000000000", "000000000000000000000000000000010000000000000000000000000000000000000000000000", "000000000000000000000000000000001000000000000000000000000000000000000000000000", "000000000000000000000000000000000010000000000000000000000000000000000000000000", "000000000000000000000000000000000000100000000000000000000000000000000000000000", "000000000000000000000000000000000000010000000000000000000000000000000000000000", "000000000000000000000000000000000000000100000000000000000000000000000000000000", "000000000000000000000000000000000000000001000000000000000000000000000000000000", "000000000000000000000000000000000000000000100000000000000000000000000000000000", "000000000000000000000000000000000000000000001000000000000000000000000000000000", "000000000000000000000000000000000000000000000100000000000000000000000000000000", "000000000000000000000000000000000000000000000001000000000000000000000000000000", "000000000000000000000000000000000000000000000000100000000000000000000000000000", "000000000000000000000000000000000000000000000000010000000000000000000000000000", "000000000000000000000000010000000000000000000000000000000000000000000000000000", "000000000000000000000000000000000000000000000000000100000000000000000000000000", "000000000000000000000000000000000000000000000000000010000000000000000000000000", "000000000000000000000000000000000000000000000000000001000000000000000000000000", "000000000000000000000000000000000000000000000000000000100000000000000000000000", "000000000000000000000000000000000000000000000000000000010000000000000000000000", "000000000000000000000000000000000000000000000000000000001000000000000000000000", "000000000000000000000000000000000000000000000000000000000100000000000000000000", "000000000000000000000000000000000000000000000000000000000010000000000000000000", "000000000000000000000000000000000000000000000000000000000001000000000000000000", "000000000000000000000000000000000000000000000000000000000000010000000000000000", "000000000000000000000000000000000000000000000000000000000000001000000000000000", "000000000000000000000000000000000000000000000000000000000000000100000000000000", "000000000000000000000000000000000000000000000000000000000000000010000000000000", "000000000000000000000000000000000000000000000000000000000000000001000000000000", "000000000000000000000000000000000000000000000000000000000000000000100000000000", "000000000000000000000000000000000000000000000000000000000000000000001000000000", "000000000000000000000000000000000000000000000000000000000000000000000010000000", "000000000000000000000000000000000000000000000000000000000000000000000001000000", "441203102234121420404204303404014000440100441000010000400100000100000000000000", "000000000000000000000000000000000000000000000000000000000000000000000000100000", "000000000000000000000000000000000000000000000000000000000000000000000000010000", "004400000120010120000100101044000000040000104304000000400000000444000000000000", "242012240421021412140401401004211114240224200140244224122210101114120424024222", "000000000000000000000000000000000000000000000000000000000000000000000000000100", "000000000000000000000000000000000000000000000000000000000000000000000000000010", "000000000000000000000000000000000000000000000000000000000000000000000000000001", "402140220322221314224011411234201422434110324020232220222204241013134223330120", "422013200400300224013102414442234121424123023342102124111201144231444430401331", "010323324143243104432344243030314122304343113023303010343404240244440242043442", "222032110203013132231402244223013430244322111110024113110231313430324122023223", "131204421042312332301003304004431211342322142332340224233200411211120323024223", "132440304121230311342100233233311334331333132111443432444204402212111124114223", "240440102422321410413403302020344211304231143013201402432304440143444141402343", "020104023223334142412103400304441300332212231130241110122200401103124313424113", "341411440443123323012001004043213411031400333212322400033141103122323111432113", "342003443424422230012200010204234422104131432100203010422014330441314042303000", "410041240443034204020140101122444441430432314114211331132401013444440132032034", "210404023402301044400201212100143142101100132333321121233344101114213342414344", "030222413422102032123301413441004322210132110330023012301341331003312441220041", "123011413223143240204302421301240434112442322410404431144441104140040144444442", "241121013243012424034014131331020334311342334041414330034400204001000441043443", "103201134414330320100201344021111103000104403302104000011040000201100004001440", "221113131144122433334210312411331323414043144033132432101400111022231333022233", "124142014401211221231104004012012421112441123213241040201304002430212133211233", "122213424202212130142342230042113122041431001140131112411202223042311323212420", "113001400430301311224241211031011202113103321312142110221424113233122140321444"]); G:=MatrixGroup<78,F|x,y>; print "Group G is Fi22 < GL(78,GF(5))";