/*
www-ATLAS of Group Representations.
He:2 represented as 102 x 102 matrices over GF(3).
*/

F:=GF(3);

x:=CambridgeMatrix(1,F,102,[
"010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"020122002220222111011012111012001201210211020202122220122001010000112100002100200020001011110001111110",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"001021112210111111211012110100122121202010200101002221210021121000112020200021010120202111112001001111",
"002102110222011222222102021111122110100122211010011221002001120202221122221012002102002122101121120000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"102111012201012102122122202111222022000111102212201001022202222220011021001102122002021120021022120021",
"201110021002001120020110002221212102220202020111011110112220001001121211021112100201011020020001002121",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"001011211201212122100121201200110211102122111011221101212201200002222001022211122210210202101010220100",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"222010022211112101200022210001000110112111101121102212022111012201210221022110102221010222021010012220",
"002112212021212212020211100210100100221222210221000020220221012110200010012120221002221212211202100210",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"012021222000100201112012100212000020121221210020111221012220200111221121202202110121202011201021122202",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"121101200211220020212120100020112122011201120120001222020101121200020211002200220100121120000011012000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"121220212011211100201011101022100022022012220122212111222001121210212012221111011122201210210012011212",
"011021010011222212001121001000211002101122002200012002101221111201212211202112221121112222002102202102",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"201100102112021101002000101010001222222001210221021110011021000001202102011200101001100112210201220012",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"201201100112221220202011101210112210100210101011121202202010121211222122120021201010211101000100121001",
"001000222212200010021001002012112211212101200002121012202122201101002200212110121100121211000111110201",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"221222120221110111000102202011002112101202210200012120111201112001101210020202110022221001112121122210",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"022222010200222202022212000121120201220020211200122200111220110012002000001121211010202022202021221121",
"120102210002102220010210021122201202120211201221010021020010221002221010110210002111200021101001101002",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"120200112200110100021202201222202102110210020111010221101210011102021022022110100110220222000121110000",
"122022110000102000200222202102011100021121211010100212011021001000210110120211121110102100201100210001",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"202000202220112220210100012222111212202220120001100021112111202012012111201002120101012120210220012212",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"221000010201021121021122121020011002212100222110022222122111220120010222010101121121121012020002122122",
"210021201000220210111100021111120012200121210211120110021102200122021211011001211111102202102101021012",
"111210120101002210200010012122011101221200220001011020002101222202201210202210020010202222112122022112"]);

y:=CambridgeMatrix(1,F,102,[
"001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"022200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"102000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000",
"000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000100",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010",
"000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001",
"000121220021120210021020101010000211202111111220001201010102210011002102220221202122001111002002122011",
"111112120202011222012012112112222102002221210211002121110121111200012211111010020021200002010120111201",
"210221010012022220122101101002020200211110221022221012022000010021000012002112220111201102100111112021",
"001101221221200222121212010101210011012221200002100100210212210120102212120201221222201201022002222201",
"100021010011200021000022000102211100121100211010001002001010020112002020011011000000000212022211212122",
"202211012101222221001002102202210212000201001112022121212200201102111222101111201111011012211121101112",
"121102120100201222021200220101120102120101221111122222021201000011000202120120120010021022201010211122",
"011212111020200002212100102200100211212222120110010010101012022212221201122210021101222022221200101120",
"201001000101221000211201000221220011211011020120110020200210221102220221110020000111200021121211120120",
"002121011212212120122022221020210101000200110002120221221101200111220001001211202011200021000010010202",
"122200211020201221111011201110221120110121211021202010102100212111001010120122022200022022100212010110",
"110210022221221021200120020001200002112100010012020112102111221102011000000120021221101221201110211220",
"012000212020111000011010210101021000001220112222201112122112011012010211222210010221222222202012121212",
"000202102200210222112200200211100002000220020200012200201020002122121020221211100211010220120122120002",
"201021022001000010020101020012010121202020120010212020112220122200100212202220002102010101001010021001",
"002001002212200010100022212122201120110002111202212200200200212010010001101010210221112002100102111101",
"220220112222010000210122120221111001221210011101212100211221110112111020222000120102100101221022212101",
"202202222000101021121020200012022121212100011001212101120112100021212100110101220002120102220021112121",
"000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"022101021022002120122122200202101101220200111020112212000011110222102111120210112012101012211122110021",
"001000011201201001101012021010121002210021001202212200212210001121201212100021100221221200212022010210",
"111101111111110020020220102121111202211210122111222222201012021002001000121022122122101020210200212121",
"111022120202110200202011222002002000101210202212012220201220101121212221012221122102210210121112002020",
"100020021100212000020120000000200102000000000000200001002000000000000000000000000000100002000000000000",
"200211102122011212001220000220010121202222211212102020121022000021100010101121222100221021211202220101",
"012202222001102021220000212222212001211201200112000211212222002200012220102120221122222112221001010001",
"220011200201212011200121221122111201111212112022021102202222221102020200201012222002221210002000001100",
"221201111020220111200002002222010201000010010010221200200010010010110101222212121020211201202210021200",
"220102210201022222012112202122121022021101211202000022211100120000120122101210111221111011210222201121",
"120111020110112011101221000111010002112110002020110212101011220100011011000212000102101210210001222021",
"020212021021122002012220000120211002212101012220002011110011211201120020221220221011000222012002200202",
"022022200000200122012222220200210100112022202120110021010201222112201212100220122200002111200220111020",
"101212100202122211200212001210021110021110020011202000100011101201102101102020102020000202002210110122",
"221200201111212001120111122222202000212110000001112201010210210202010101110211122111200001021212022221",
"021022220210221000222120111212202222022201011001011101112102021210121212200010102112021000021200210221",
"101011220001010202012212112112222120222120201011100100112200121111100121221202220222221122012210011000"]);

G<x,y>:=MatrixGroup<102,F|x,y>;
print "Group G is He:2 < GL(102,GF(3))";