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

F:=GF(5);

x:=CambridgeMatrix(1,F,112,[
"0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"3102023232021032332043230342124221412314031204322003113120024414011444344320124320232230020003222441122431401034",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0341342420041431210420112131442230003442332220411203010020440142024234032112213432300402232020301142312343411104",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0412044440123343323200334003243231114442044031011432243204332222231001424143324031241132444102024300200042242103",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"2413010100424323331322320034223233333222343040233332414122402442202044110131144101030030431104133221132344322122",
"0443013000402243032433124313102343424224221113344401112431243330100341314442200424242141313213113223104121011122",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000314334033021141043020104141220213420203042214044034441410404032100411420110123042211340340211122033434314202",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0310041103143343102241043104440220221122141133013201243223240011404312340320403433122241230123412044022131413304",
"2000223441302234244434221221102133341111112440102024311020423102143444414030441323422043111342341204403334114202",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0020210024442000334241442224401214220410011220003132024001242323420241013334343433234234201234031033102422401212",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"4430304003243114312233444102332321403141044222413142404340023031222402003034040412442013103121204441340433102003",
"3423223332010120403013043311010421324301322224131131012320020131023443030231404043422331324300122341312012423111",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0344221433124443424332414434220424312140232214423311040303302212230331224210313132030420131231241400141010110201",
"4042040340231210332414321010000112233403441400134240110124132222010424210110322424422314123304034431114220433233",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"2322301302401133241324304032201010344421403022101203021101141234400322422124040330110410133133110402022441000004",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"1310021422102244033201422134441444320243243434113414230033021324201324143144001103222223004034414244410444201113",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0221311011000414302120113121424044424002231113442312443342011201301410334314111332421444043233321442110332143322",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"2003131402441321333440122011412414421434014003000413133440234430300003003443334124231212432303402004444413244124",
"0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"3323312124120221243141420134241421103212330023323030041424234431431442242144140343114032043113123132130201431321",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000"]);

y:=CambridgeMatrix(1,F,112,[
"0010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1004140100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3432210401000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"0000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"0000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"0000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"0140203030020400000040000400000002000000100010000000041000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"0000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"0000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"4041310401000000000000400000000000000000000000000000000000000000400000000000004000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"0000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"1110104000000000000000000000000004000000000000000000000000000004000000000000000000000000000000000000000000000000",
"3231132304133121122104234041240043322323010224413312001431143000430043330104220232232012420301223140132331242443",
"1223110144424000233243013103012411031101032212212000324213330442002140143220230411110210001233400004413224203122",
"2112333140042422114223144410224011100323101330410421032420134333104431020441223431224022010111013100100432302423",
"0424043230410242341023313320211433433124012113100321311311200313124124022402240034300420040120311330104342213401",
"1211202411012012102313003022442144422120042442424231222224320134043443421004104112443002334320440121210331304421",
"0000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"0120301000012101114401102334244211404424123101302141114404012422224222104301032143304120444402221141100142031042",
"1121203004120304012443132240033420340424340103324132032112241340301132431132311142223420301024210201331213422004",
"2240023201243140040222322244141140332234121103004130304442310104101120101224143403231224010434224124201342203023",
"0321324432203242302042410313110214344422044313041132333330332131403441323211202133442404213040440014430130321244",
"0000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"1330021310442002242023410141123432121443100014311214301320114223140420023310200244004232144310114224432231103123",
"2004011234003240204032033403120200300044431044333310042112220033011244133104434100303142212130301030124440012242",
"1300212110043002213002411334041324304434212320003202141344223442322214310103430032423312010123100041212434301343",
"4411040001124003111211410042301232124334230440400244031213144111343232142334441230113343410411443230310401200234",
"0000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"3130011441030343234423441341334112414204342313400223321300310433204014430304013424011224403043113023133244011111",
"0433024123234124441043342431230140114320321041204313422002334024020113204232030032404422021311412004021010232102",
"3314121200141101201001234212120313334212104300343243443114420012310242231322344143324201132441243324311402304440",
"0043103233233141233330322433302201142114223131242111222110300340004411334244400421022421013302024231400241300033",
"1234212342110323344100432230143040121403023304014040024110010242042410441140304421412224414320341014101342140133",
"3244424003132030134401301024401130313124010020010402244311404043344443102041341310002423023414013334401231230144",
"1423211040114340210342110204334120220304434313122313100442334343120044213102420041303312102423341432144113401122",
"4223033302120140300331412310102314134420400331214220102230300332421232102431444034141040422114214120223210124102",
"4222110023144302201114022234400321003240013231202024013321032241143230424044211240012044001140322244403314420423",
"3404033010003201312111343411023233214402133013303343222443313412000433202213240003243141423412040440314113211031",
"2104211132311032102131142221234432424124423004041002044240144414122324000122112424141303334411130041412444220434",
"4131001014032111212324021444030401303323001104104111443421141222232333443110040121022104132403313133030211433100",
"3204144314144301324014234432224422210314312304130403422414100123042112423343030020211200403132410344333244124321",
"0000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"0024100444424433424313222020414021102111321334434341140011420324040023434441010423132444412123032021144340020031",
"1203233200120344002443232243034420342024340003324122032112241340201132431132314142223420301024210201331213422004",
"0114320331243300444131221422332003311201212423403340111302310144424332130402123330010240232442304114344311013014"]);

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