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

F:=GF(7);

x:=CambridgeMatrix(1,F,56,[
"60000000000000000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"01000000000000000000000000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000000000010000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000000000100000000000000000000000000000000000000000",
"00000000000600000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000000000000010000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000000000000010000000000000000000000000000000000",
"00000000000000000000001000000000000000000000000000000000",
"00000000000000000000000010000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000000000000000100000000000000000000000000000",
"00000000000000000000000000001000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000000000000000000100000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000000000000000000001000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000000000000000000001000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00000000000000000000000000000000000000010000000000000000",
"00000000000000000000000000000000000000000100000000000000",
"00000000000000000000000000000000000000000010000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00011000000001000010000000000060060000000600000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000000000000000000000000100000000",
"00000000000000000000000000000000000000000000000001000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000000000000000000000000010000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000000000000000000000000000010",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"10230431104564651305463313636264110606546550563400505310",
"10355640001456335366355602510003020255155633653606101620",
"23206043454222532250013331235111000520451125605600404360",
"60010000600011000000000000060060060001000000001000000000",
"00000000000000000000000000000000000100000000000000000000",
"04031621462654251561046032566162361012646626453140603030",
"00000000000000000000000000000000000010000000000000000000",
"13220632151244233641646666246304330354032561263020064640",
"00000000000000000000000000000000000000100000000000000000",
"40240142212432122245224315204253235125254201001351205440",
"60364640002255224306366602510013020245155533553600101020",
"00000000000000000000000000000000000000001000000000000000",
"41215143651332216531444033135606261414115524601016066551"]);

y:=CambridgeMatrix(1,F,56,[
"01000000000000000000000000000000000000000000000000000000",
"60000000000000000000000000000000000000000000000000000000",
"00010000000000000000000000000000000000000000000000000000",
"00000100000000000000000000000000000000000000000000000000",
"00000010000000000000000000000000000000000000000000000000",
"00000000100000000000000000000000000000000000000000000000",
"00000000001000000000000000000000000000000000000000000000",
"00000000000100000000000000000000000000000000000000000000",
"00100000000000000000000000000000000000000000000000000000",
"00000000000001000000000000000000000000000000000000000000",
"00000000000000010000000000000000000000000000000000000000",
"00000000000000001000000000000000000000000000000000000000",
"00000000000000000100000000000000000000000000000000000000",
"00000000000000000001000000000000000000000000000000000000",
"00000000000000000000100000000000000000000000000000000000",
"00001000000000000000000000000000000000000000000000000000",
"00000000000000000000000100000000000000000000000000000000",
"00000000000060000000000000000000000000000000000000000000",
"00000000000000000000000001000000000000000000000000000000",
"00000000000000000000000000010000000000000000000000000000",
"00000000000000000000000000000100000000000000000000000000",
"00000000000000000000000000000010000000000000000000000000",
"00000000000000000000000000000001000000000000000000000000",
"00000001000000000000000000000000000000000000000000000000",
"00000000000000000000000000000000010000000000000000000000",
"00000000000000000000000000000000000100000000000000000000",
"00000000000000000000000000000000000010000000000000000000",
"00000000010000000000000000000000000000000000000000000000",
"00000000000000000000000000000000000000100000000000000000",
"00000000000000000000000000000000000000001000000000000000",
"00000000000000000000060000000000000000000000000000000000",
"00000000000000000000000000000000000000000001000000000000",
"00000000000000000000000000000000000000000000100000000000",
"00000000000000000000000000000000000000000000010000000000",
"00000000000000000000000000000000000000000000001000000000",
"00000000000000000000000000000000000000000000000010000000",
"00000000000000000000000000000000000000000000000000100000",
"00000000000000000000000000000000006000000000000000000000",
"00000000000000000000000000000000000000000000000000001000",
"00000000000000000000000000000000000000000000000000000100",
"00000000000000100000000000000000000000000000000000000000",
"62132010516003600510601061051161106611101600110060100000",
"14260135635163250531016665161323151605244016262100202500",
"45200060566461104156045551561254626451152643616000001610",
"60006002011011005606601062060020100001001006011050000000",
"10060000100066000000000000010010010006000000006000000000",
"01100600010000000606060060000000001000000000010000000000",
"51305542442162334342453323664532361525333644315650300410",
"00000000000000000010000000000000000000000000000000000000",
"55543223606265164334640552613523044046002400356021000000",
"42155636212005341316400046021410000615003000035010006000",
"00000000000000000000000000000000000000000000000000000001",
"12054050203615320210310121620430000604104000054060100000",
"00001000006000100000000000000600000000010000000000000000",
"61415215521620503013116552321650130524252254441310102640",
"46513036115400454511611103306044151421626135113030616160"]);

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