/*
www-ATLAS of Group Representations.
M12 represented as 66 x 66 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,66,[
"010000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000",
"140000104000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000000000000000000000000000000001",
"000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000",
"243214422333101100323033204240331122002034413020130434431301201342",
"000000000000000000000000000000000000000000001000000000000000000000",
"223131332430203104044101310132303311432231402321323323441120431320",
"000000000000000000000000000000000000000000000100000000000000000000",
"134320141204203312100314143024343244442200001301021124342022340020",
"030104244021104023322141040410430400034013132221131341113240344210",
"000000000000000000000000000000000000000000000001000000000000000000",
"311034303042402134124212231021301110401342433134332103330302223432",
"411400000000000000000000000000000000000000000000000000000000001000",
"104131142412142440422331110002212032141423232412404213004032010121",
"000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000"]);

y:=CambridgeMatrix(1,F,66,[
"140000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000",
"044000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000",
"144100000100000000000000000010000000000000000000000000000000000000",
"400040000000400000001000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000001000000000000000000000000000000000",
"400434132331014042443123200030022110041433432002431140001340202413",
"433142112233421210231112413434431242214000411234403442211433241201",
"343434410240111243421133204304220201140310142033233033413111432012",
"000000000000000000000000000000000010000000000000000000000000000000",
"442043003344042222044441423312401204400140121300224431040303401021",
"000000000000000000000000000000000001000000000000000000000000000000",
"312340130400204233002234422114124224114341123401421110010231301201",
"000000000000000000000000000000000000100000000000000000000000000000",
"401231340332233313312300100404141210133401204432243311041133003203",
"202204332214033004431030311423134032404411203412311414330330030444",
"000000000000000000000000000000000000001000000000000000000000000000",
"201323303122444031104041414000243312204321033010103210200231031134",
"241434424321001100434313320401241110434303004243214400431224022403",
"211113424130341313223244142143120421214241242431014211320302244011",
"442024430203422122300230302131301210020411020002431441013300311132"]);

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