/*
www-ATLAS of Group Representations.
12b.L3(4):2a represented as 72 x 72 matrices over GF(7).
*/

F:=GF(7);

x:=CambridgeMatrix(1,F,72,[
"010000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000",
"464405300010000000100030000000000000000000000000000000000000000000000000",
"511160030000200200000500000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000",
"522550200000600000100000600000000100000001000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010",
"104035105041060132353220046203413332025566003664612231124544510143320212",
"000000000000000000000000000000000000100000000000000000000000000000000000",
"604451224455023260426160024240245110215363512320205252231302301023562434",
"000000000000000000000000000000000000001000000000000000000000000000000000",
"405510131336010630143623015036564130103265554532410344246411154634001433",
"000000000000000000000000000000000000000100000000000000000000000000000000",
"634301160530642166534001055303416155321361146534151543323536324410016303",
"553430640250336664302420005614004413466514122401454125534512505326640055",
"205165112202550152014515312421341231043036342431501453322323115022310110",
"000000000000000000000000000000000000000000010000000000000000000000000000",
"411631336306535530351405642526141242240611654450346552014125334640061226",
"105366631264212653003606342240625365534251445601431313411236250264521216",
"000000000000000000000000000000000000000000000100000000000000000000000000",
"450161120056614503311512253264225404015335161405616160463053226656260455",
"000000000000000000000000000000000000000000000001000000000000000000000000",
"441664411144261521553036461116162342525405314354646455014002533101323463",
"000000000000000000000000000000000000000000000000100000000000000000000000",
"046215222262652130116523255160025242506012620302405634565122041243616161",
"646110230652236365400305026465433052556333524424135126463214264161551525",
"000000000000000000000000000000000000000000000000001000000000000000000000",
"110540414133534132504621011215632356651304410354036625033416066221525152"]);

y:=CambridgeMatrix(1,F,72,[
"001000000000000000000000000000000000000000000000000000000000000000000000",
"566000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000",
"106010000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000001",
"623406306560040233604143556256044443215254456041433616316451624622041043",
"011641266454243246610134103533306562053234661323656103561563505514125223",
"555655124225300042322046564004363423322331460022043652120322561452564163",
"615163105544224231341230264400513432200516422650624243222115306136022424",
"000000000000000000100000000000000000000000000000000000000000000000000000",
"103320262665020560216546023065351260206453331364120611415122231561002166",
"066231055636555323345500340263422412164016221551061105252116324531205440",
"632460264505132541055002151036504356220006026033613550105530562640161255",
"232626660456366132622002032013105324363044553116432033532414443351324354",
"623130366536122355101535111344462441632511053643551363155241441415353242",
"000000000000000000001000000000000000000000000000000000000000000000000000",
"304163536326330513510244204350252062426133024401303326651615616421563156",
"554100555422120343126630654644455013213664016326660241031615246263252500",
"214452466640123030506106550103646165356224020436046021013051422104336134",
"154553243104540440064565240124131433665405530044330154560060043123220045",
"000000000000000000000001000000000000000000000000000000000000000000000000",
"130154556500505413322045046122144523516551153646514354263130251056361303",
"065204526145351154154224164554430643031523633011434263120445562213005154",
"611346125135002022011512523516006156141143324561064023540125623562566046",
"064005022041025623664611635133654336613154416033250602413662431240451604",
"000000000000000000000000010000000000000000000000000000000000000000000000"]);

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