/*
www-ATLAS of Group Representations.
U3(4):4 represented as 65 x 65 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,65,[
"01000000000000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000100000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000000000000100000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000000000000100000000000000",
"00000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000010000000000000000000000000000000000",
"11430131020104344220142331202412001121314000212430142042133434434",
"32111324412303314123440314320444141134303333413412133332443021034",
"01231122301032023320104213223123443042431000121311104334023010232",
"00000000000000000000000000000000010000000000000000000000000000000",
"10132430013131021324313203012314142400310343222403203432044322024",
"00000000000000000000000000000000001000000000000000000000000000000",
"11421400240011403011332320200120231121231033431144111422214402022",
"23423110344420400411301341212323441011221342324003012214142123013",
"00000000000000000000000000000000000010000000000000000000000000000",
"11131130131414423221240011032202202422434440223313401034112330031",
"32440213233434244202422141144441411223031134312312410204132423324",
"00000000000000000000000000000000000000100000000000000000000000000",
"23414214041104442424321430412420033134413200130043231334124122120",
"00000000000000000000000000000000000000001000000000000000000000000",
"13014301333412040231130033444020432143041244013404201042244221331",
"00000000000000000000000000000000000000000100000000000000000000000",
"32134004334320324142441024433441114240213423042200423403334413204",
"00414021030040330033011430331000314220431142102414303434443410244",
"00000000000000000000000000000000000000000001000000000000000000000",
"32013120231003031143443444232041431303020224303122302010213033412"]);

y:=CambridgeMatrix(1,F,65,[
"00100000000000000000000000000000000000000000000000000000000000000",
"04400000000000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000000000000",
"10401000000000000000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000000000000001000000000000000000000",
"00000000000000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000000000000010000000000000",
"00000000000000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000000000000001000000000",
"00000000000100000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000000000000100",
"00000000000001000000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000000000000000000000001",
"21100322030002010000442303210220403142030240421242204001403411242",
"12423324330233411202344032222133000343140104223120123332403233441",
"11104134242023024314021040033103300443020013344431411140101140042",
"31320240112434313441030000114414233401343222443012213031144030123",
"00000000000000010000000000000000000000000000000000000000000000000",
"34232044122003341300221411122104320332141113102141231310312201030",
"30034312034021124312112023224312241243012244204340421133001100104",
"20022002143444302024212300320121200402041011324430433132021312401",
"41444112022201403342311043210424223310414313444033202240232220222",
"03033014233321114313230103402224304041312031421003120324443130341",
"14012303113441301400244041012221331420434214030220324332302143423",
"03100331014122002431421023224200220423421211031141422202442430014",
"40142424014422100243010211301144210030121312124212423411244011314",
"43104432001032334402002400203004032413403031102113234110144420030",
"00000000000000000010000000000000000000000000000000000000000000000",
"30411104144110232302030114304243434142433223313200403133302024101",
"23342344413210413122342121012433132030021033303433024101443111141",
"04120333430122003033304203202404240001112143122302302324303340001",
"43414404021140440430310321312024032210404241103003201040300143403",
"40414420341210201444230221401100234413240444204231303400221114313"]);

G<x,y>:=MatrixGroup<65,F|x,y>;
print "Group G is U3(4):4 < GL(65,GF(5))";