/*
www-ATLAS of Group Representations.
TF4(2)' represented as 78 x 78 matrices over GF(5).
*/

F:=GF(5);

x:=CambridgeMatrix(1,F,78,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000",
"414141000001004000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000",
"041010000004000000400000000000000000000000400000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000",
"444311114443310422301330024240033131100121142403304314010000202000200000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000",
"120243411422131442321034340011131022443124113322124101341013304000400204000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000",
"331340312413043400101304013203124222022032243324030003011003110000000004000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000",
"024444124324333222243330104233010123221042403231040203003302400100300002200000",
"414141010420430113034220242303011310022341044020132204311203004010300204300000",
"213434104012341220323300304232030110231124134024444301223303101001200302200000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000",
"123402213441112344342214103303130213023224124230423201033302001000310002200000",
"104040223343313321132242223304333220013324223032422201230402301000301300100000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000",
"444311144104404311342443143131211220240341133000102104122100004000400413400000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000",
"140000312401204132014030433043032244123222031130423103121402001000400404110000",
"413214104010340221043042140020301011300004024434200001133302103000000402201000",
"421331312432224133104322010204314010010142224030004103333102000000400202400100",
"240422342113143444101013034013222114421434214114041201341104100000300204400010",
"211120322330323224313413434104202130012002112011430003444304401000000101200001"]);

y:=CambridgeMatrix(1,F,78,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000",
"044000000000000000000000000000000000000000000000000000000000000000000000000000",
"121000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000",
"100312344133424413234021210044424023112431442233431404214042201000100301000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000000000000000000000000000000000010000000000000000000000000000000000000000",
"033311441103301301404214030241230213342211121101334223324023034420433012202120",
"401032304333214000403222431143222312213202411432012233133222103221240033022410",
"000000000000000000000000000000000000000000000000000000000000000000000000000001",
"000000000000000000000000000000000000000010000000000000000000000000000000000000",
"324234131123434102044224424220142101214342113030010330214021113104014221022302",
"412401022212243231302434230323100244301414141201303233043142101412404241204401",
"431212434132140122401014304212242334220410133342132122120200313333041223214340",
"323024420130320123412241331344333033103421333421001031132014222443304422411141",
"130204304311132313433243010340344412214132133134134344214400112311304144021033",
"000000000000000000000000000000000000000000000100000000000000000000000000000000",
"104304134431241303322043342113002212122403202140411244234034124241224413323021",
"312213040334120232030214010313312022413332231100234044242403022034231114232443",
"330001401202141301312022132324242242331020042134142240243031311021244444443031",
"441111122434244211130413134321140311402142303414101124232324011314332203332204"]);

G<x,y>:=MatrixGroup<78,F|x,y>;
print "Group G is TF4(2)' < GL(78,GF(5))";