/*
www-ATLAS of Group Representations.
4b.L3(4):2a represented as 88 x 88 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,88,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"2312055000400000001000600000000000000000000000000000000000000000000000000000000000000000",
"3221500500001004000006000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"5225502000006000001000006000000001000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"6435250245551644512305302250334513256122232126023366435350433101143626555440110004164240",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"2310104235541152542424032561163123230341265264456553640611163503442522366250435544265230",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"6335433124025164222603462411636254115630302613364451161110215534603351661634331111126305",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"5541252150101132143240655106464651315416613325050621425134145241315645335423046542431026",
"4100210235364336643231622120116323666234505025532203516310630664520563460155432565350665",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0150145036620241401305242015450131453225202334610315066231561046433431653012213032153426",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"6116205020050040000030000040000000030000000100000000000000006000000000000100000000000000",
"6426400542430404016612162636035201152144334400335562324426114426542315605035500603302125",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"3646642556360025245431021012331300332400355135020035234046030354034141353113540252010052",
"3163244440045601662562145301054455215061303535053263445361656516220432633112422465045435",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0301154544501610056551231026126666132500144035261622214441453045510632122156142041616110",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"6416622062232435361363331146106500536405263111014242414420363403541121503233540026054564",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"5144016305451660414656416533230013466041224261004110136053063213500416061244344602044641",
"5243563210544101112546106542130302654066204641626615643423235640450366452360641565452432",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"2644161546226220313114320516663106566031366600560464606651151404410124344424510513252006"]);

y:=CambridgeMatrix(1,F,88,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3660000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1060100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"0656506106306414330501340252665343022053425332564326413450656523246606111433461362545415",
"0344043042411506226420362053050425405456111362124304105111524045102161516426322436051601",
"3003352113515653210522400033640406146064603210230344655134206065564033523433421145044245",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"3126342526030665402145060651551463553026261452636335102302334005511115132665516110030116",
"2035613326416441151121125306612214312034013265065362420402001332303452334453623432663002",
"4213622644510234400304261563503045626620650363141120344013126350026244163001031402541630",
"6606225016012262142400643551451153440510056020340265322041004615641654264522623062511430",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"6524305426511634343541306450125403613142122121131662024613126001562144000121352055215306",
"6533261024646404631404606113311226023401134652005125311144106615410364512240220444541212",
"2520200011405011155320145453410143243620105445040066042346011556654246600405423264026552",
"5454614063031101134302314441611644040135260211026064152011201006040324110121540566552144",
"1431035011524652563325556602361243014521404222515662611342201534046125642106352065335420",
"0436605554364230131421023161504424551451242601443204406133646620240551343535513546511243",
"3644415246101034336116150354313141505322114253211135644130321513333010334051031511162605",
"3534663041002641613253425104021263242352220420113600000405140336140440006225610200202110",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"4210404536011631266506146462616361063326203631543022132344513106004662114116366350254202",
"6555065022602010442353230350416031413264546405561605613531611014542003302645440044314440",
"0143011564663164220455466551215355124352261160125212336341302552131416032434003133334011",
"2161015531326205463242104152206243522331016514526623263554043515200360305051126051266122",
"6044005440424613514011054254545346440631615406621460625206126521664650243442244065463546",
"4365103114143553342523413621415436255416142356330624535355224614342324605460641453365046",
"3406356345514445466155311601362641524044606245045364043345605434222133620404242242532623"]);

G<x,y>:=MatrixGroup<88,F|x,y>;
print "Group G is 4b.L3(4):2a < GL(88,GF(7))";