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

F:=GF(3);

x:=CambridgeMatrix(1,F,54,[
"010000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000",
"000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000001000000000000000000000",
"000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000",
"000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000000000100000000000000",
"000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000000000001000000000",
"000000000000000000000100000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000001000",
"000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001",
"000000000000000000000000001000000000000000000000000000",
"001110200221101022122220202112002210120120002210020012",
"000000000000000000000000000100000000000000000000000000",
"102212112020022021120210010211111110001221002212010210",
"001211222021201100112220001222211210220101101000102001",
"000000000000000000000000000001000000000000000000000000",
"120001020210010222000101212201020001110100210000000002",
"000000000000000000000000000000100000000000000000000000",
"000222111120210021010220111122102221102120001010022012",
"212212212120201221212202000020122221121110100100210022",
"200122210022001101120020121112120011101012201002112102",
"000000000000000000000000000000000100000000000000000000",
"212112210220011102012110210221222001000100201000010000",
"000000000000000000000000000000000010000000000000000000",
"201211021202001220000100220101200112020202202211200210",
"101211120210220020122022012111121112120201201122201202",
"000000000000000000000000000000000000100000000000000000"]);

y:=CambridgeMatrix(1,F,54,[
"020000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000",
"200000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000",
"000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000100000000000000000000000",
"000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000010000000000000000000",
"000000010000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000010",
"122112001120201110102111010000110000010022100102011112",
"111100001121202211201020110010101022220000010010120100",
"000000000001000000000000000000000000000000000000000000",
"220211111221012101002112210210001201101200222122100020",
"101020000121221021200110201220121021110101001201110220",
"210211002022000212201011112011011021101122201102112011",
"220020101210112111102121021210211102000022101112121000",
"000000000000010000000000000000000000000000000000000000",
"222221110011220002012101011121110212101010220202221212",
"110200111112001210102020201011102000222101211102200202",
"011221100221110210011111102012212021221201020110222122",
"112221121122210211010210211002212221021012202220000112",
"212210211222220020212110202012201222102112121110120220",
"000000000000000100000000000000000000000000000000000000",
"221021220220222002220111121122012202101211020021120002",
"110121121000210200000012000010212202221222002102210010",
"110212112001222212222110200212102101211111200122211122",
"202121101010122001022110110212010201012110001001111221"]);

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