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

F:=GF(7);

x:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"10000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00255626116116611060110060000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"61601500424000333000000140000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00433541224660533610000040110000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00255120661000166006000010000110000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000000000000010000000000",
"00060011400665320613023053016044104000400010030000000000",
"00522252555550222020006050000000011000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00166314143432614132056060064053001100000030040000000000",
"61502405235124542466035033035010002010400020000000000000",
"00522353440440300030000006000000000001100000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"61245632110651640512066032026056001000510010010000000000",
"16106201653166134460016045034000001000201030000000000000",
"00522155665220122050000050006000000000000110000000000000",
"00000000000000000000000000001000000000000000000000000000",
"43010261551160246666001035013013006000200041040000000000",
"00000200552000255000000020000006000000000000110000000000",
"00000000000000000000000000000001000000000000000000000000",
"52453520125005622601025056010066002000100000011000000000",
"00443134263030564003000015005040000000200020000100000000",
"52030240154200603354006001041032001000600060050010000000",
"00334346043611034415064041034021003000600030060001000000",
"16542631512660265512003014023052004000300040050000100000",
"16245233251540506420006002036003001000500010040000010000",
"00215361045260062055000010001024000000000060030000001000",
"61631040401200306155006003061026001000400060010000000100",
"61453520120304600044035000006033002000000010040000000010",
"34423055302222465350053016045005004000100020020000000001"]);

y:=CambridgeMatrix(1,F,56,[
"00100000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"06006600600000000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"10061001606000000100006000000000000100000000000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000010000000",
"00613045016263610015403004002204040103000500300000000000",
"16606601500006000100000000006000000100000000000000000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000000000000000000000000000100000",
"02162202244520331653005260105403020000010200400000000000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000100",
"16602155352363244015403634102204030103000500300000000000",
"00000000000000000000000000000000000000000000000000000010",
"26160510450050251436561025003224502360415064061030600100",
"01343554463364145514300122202300000005000500001000000000",
"50240060606223363154104230121210120233542214305565120260",
"00000000000000000000000000000000000000000000000000000001",
"64523306125460151254663026533361014006024232132650331404",
"65021154360612455602123602014315202544041656232230211235",
"30603043020144333504431220111204022642505033312065615644",
"36056115014131365222040414663634536316151645411324603462",
"36546635422133361633031306144242450250140266126123332666",
"13203113335266031435113531166210432352343246126414566632",
"63506123244434110452341254323324013114115133563200511513",
"03503010111165324656334044462361635205660260363301401523"]);

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