/*
www-ATLAS of Group Representations.
2.M22 represented as 120 x 120 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,120,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"322225503414340630004640404240065133235214133551555500302236363402205563620536205123526322036233341260464002350536536250",
"632651122533531344611540001060252215462260566442513465465015165621214155052363443030550556121211022036254322136455164324",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"022536465135210141313403601044433001501044142223046460256360602235304425222542226010363436300526515654212005000210236016",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"050213633100016116051435033021163213532500015365340000364453342435564331003010614344512611415016606633206611426434241465",
"050021261140111603614050515014422140510524023054426362600304245635142152025235362162220355154012020365502042562434230635",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"360213455600421214454000035302553021400603535214245310054365201210506155601623215364034044444063144504230006363135206563",
"655315352120065260003022206554000224155022015356211462441453025134361044125245535004203262142440335060563261063315546615",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"210165244650140355410364146561334563423321362356203156544436301163256362665306010010415245340542215640300460551342662545",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"462245342240001365012153655404431334514323042604433500152112332545423335210026061501342030020544001660041243604013510646",
"163516545542502420563432236552013151116124414331630512102612134346024141160155346361100542456044023265324255422646566160",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"420200461443045031414624023556340054544160652254252544422522310622160104052633621552113025552114332423531530320110206341",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"516564446335664030445266320443145063222650406343021564416025111662516606523540110144031304221561255626364542264336652545",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"321340104646323050461642251515055312201152121315341364026503433503461202535223033665041335642230614016244006244425301065",
"242114200662514216022615652254110351021442535543601324623604411422223205044403651414616514460355661134515120163302405065",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"100243405004535514406234304124510620356501201402355436124336616004616042456626252224006422420165305021450360062643311262",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"454410045335343454012101432053431333214266066356244030502556566446014033340662063002513312444011033254065661005526230503",
"201451311655660553623416244445540516251612065515420462413234036100102061100201255141030614261610625053336136401044113422",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"663403266631660436343461015432303602140530640405602123136633406332521356541401404634113601211136035541651300312562662023",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"356343313255444215663314316115362636101150346566361064126134544022120614655443501000126644043330231345310255224552406061",
"034101235103103451334154634635021141120365115300250054003302326320421352612115313031536654244136560560443644544534003552",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"033546631003335660215230300264334554554141604401163016531623211314155262055422511505444655535156432006056312462262133632",
"226333622013503101051362216016063213520240334150435441443243322214225415341532610533131246265210524321511524015132464321"]);

y:=CambridgeMatrix(1,F,120,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100610016000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"166066015000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"060066006000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"222520545103500500010600305020000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"666160151005100100060100601000000005001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"454433425660354260353143201111240642535644335416034336614030550403301364262400255651550311036334261464061304655246330521",
"245264111140516054522466344054024413650233616364131052421430022405131565001411341031513534212224433612010351326450520323",
"463206200463462235215124120051211660140460656620633530165003445403046210636540633525663153215604356665433221022033235062",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"640361454121566166600631631225512024035243240230350611650301660641156334216240336614231300556343030420152011423054461530",
"163514200202141020144214104615164043422415110113041063115001443501655162024641540510556231160245361343665263035220566660",
"135063261616403400415310605325235510350166251365244640410302411246224653131664060265466255501416403350546052225201305552",
"106645252605322303314540404452250222161022364460615363226654233312565424614113241342123363341623051413155505516665302331",
"503022062501002163215332434446321041524025201262303524613412236200024632036102642400643511366525634100622606646401066321",
"410430600635216541342562005403313643013554252223425463322602164006303415310660252466100524260264141526455266524403021640",
"611624204604006445214210542033115403653136365104163101146222453411601032511632031354002053435345254456051556360003303211",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100545520305021164520343015322015633252316656064136530261641601264244101556436644530040410160650250041141612510631663124",
"615166003040252161454315436406324246534525344346221100456432405246601162561216066621066051626242622165610566215532645000",
"122410441411200114562454256166436015164061663313332436125434316014356224003520460523316541146360340013304100045421600444",
"364315201350301115664004264260431233626032205435451156463165546460535301122622223615362260314041660331001101622624330065",
"103303542346066033566043445520533306551410616201240326612536042135613501155060412353426303356341034100226160651611656034",
"525520605063100324646446000642441465014013566011060501525126453414065610125335620512053542204104211412622520535521445406",
"243214405462015340516236641121511502601400333425222443326000352440544210611254655414310560255041625435534413311542166322",
"545555652123454550445015424366515415243225323504455264354134652115532424354101154626162322114262546226444561061262255551",
"225463644541046551450050566506051660315251216064044422352314140433301125620535506166320001455616620110324145315010551501",
"532015151124233063052030620033213250116600661053042655610145220154461233343414344232253311235016026263231221021335012415",
"310614064420100354524224121436444451512245522631122253502004460305215266640531145601646536303442533164332155316012204211",
"456400545452014412534356345136041032300516232123112146530216206215432435600166365216153050644333033230544536212452153226",
"450430653231453121303502320300520166245121340033664203542500550651254414602265111061346116332332536544501436354305054266",
"654143351405135426334455150310540201013541100061640141112456003051166653560154140652261232346032103243232644263042304440",
"502200122042031053160140140425352043523652145340511365213601163456005265163453031453406612116260435045102323165531111452",
"132364263424566533061025320326301605154655533134203651126103404242523422232003651630020560311020465535140250164456104022",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"405314323064633563642001222664356105430623310634251343335452123162044435260212503063535010361513335206266632016225500424",
"260356304511256126223050063012010561346410101406661246534156333645603312130434146251425026045254334533246562146532430551",
"256325014435434340534126604533463630201165166246030440105333100561332516662434516455150036360201443523102335505046414305",
"351005614300443601524533212045426112015063601152355111031264224136356635210142165223166521640232204653306156424224215062",
"525553005624063636534064505165055455400305432204140040462001620044511113514100024101004124113451426216121033351234554100",
"231246513523306342143531525445040454221250241144364021020051265235055326335464563444656361122043524154161215411605354001"]);

G<x,y>:=MatrixGroup<120,F|x,y>;
print "Group G is 2.M22 < GL(120,GF(7))";