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

F:=GF(3);

x:=CambridgeMatrix(1,F,154,[
"0201110100221022000220201122111000121120202010010121100210002210021210022011012012221101021012112212010111212020012021112111100101200212111021220121222120",
"0212000201220101120221200020112122122010002200112002002200011000120110202002200221010102200020002101221221121210000122222200121212220222122200120212000101",
"2001102111011012100120121000102112100010200200010110221221221010011200201122020112012120022212001212010201000001020200222111210201000000000022200120010212",
"1021022121122121011122110201101200201001111001001202222112102222000210220212000120021212101100220100011111221220110010120012212112121101011121012212220010",
"2021120012112011122100022111112120210212011201022212120201020120221100001022111120011221222222101111122002010212212200001020112202200211122011102221120121",
"1121102021112012222211200100120022011210020020102100020022200211200210121200021121222210212222022221112001012020010211210021222120210100102111121011101222",
"2200121020221200220121110100021221102201001102101221222210120200200202201111211000021102121000202220002201210212000201002020120111000020102102222221212000",
"1210220201210221212200110120212111110120212121220200010102022211220222121111010112212200010202222020220021120200002211022100202120220000002101222212012020",
"2122001120002001020111010110110102011011012000102102002002012101211011221220222000120020200002020211101221212022011212021021221010210210011221210102222110",
"0210110221200202001002100021111111001221221222121212221112012210000012012010011200210220001202112111012002221102111022022112212201122011012001212001102222",
"2111002022000101111202101200001211121112010011111200111220022111112020212022102101101102110120222210200100121111000221201000201022220200122222221122012210",
"1221111122012220020210122000202222021100020210211112122020111200110211112102202220112001012221221010122022211121210110002212002222011002200102020222220222",
"0202002121121020211110200222110111110000122021210020210221122021021010101112120120201002020210021022202220220002201110001211022001210210012001101202021120",
"2010022022002210012012200101001010101212121120110212100000102021020000012222202120121111100111010020210111220220200011001000122001212110100002200120222202",
"0120022212120112021021022101201211100021002212011021000021212020211210210012021202222121202210201121222222122202211112012101110122222102221111000112000011",
"2201002000101110201211122110011110222000000011220122201011121021121020000011220200021202210210122000022120112001112211110022111000011101210220121111122202",
"2011021102000121200000220102120001200020010020102120221001200220202021120122202110202102000111220221021010012221221100100002120102112202221111010212020122",
"0010100222011222112111021220021001110201120202020010212001111111021110210000202111201000111211012211110120002011212212121010220011111022210211222102011220",
"0201120111200211200002200101012220101022202020211011220220222121010202101110221012212012221100112212122100122120121010210001212221000012201022112221020020",
"2020102102221112020210012010202201111102022222022010100101022012000222210012010212201022211001210120210022212120102112100001201011212202111220002220001010",
"0001202021112010000210222110111212211222200212202211010111202101101201201211112022120120020201002011212022121101020121202122202022112200010120212200221020",
"0102112120110201012010001010120201202022100011200002100120011010121100110200010102100000012100112012122212102011201210212102001112110211020212201212011212",
"1000212201100010200221221210202011122000202220100020100021110210002221201202200200200012010001022101120002102020021121100021102220122210111022202110012010",
"1122020112122201202021011200211100221022210022121102000011221020122201220111002212101121100112201022100222222211020122212211120111120201012110010001112000",
"2212220210012122202100000022110020122211020122011100111112211012222200021011112122001100111000122110101000012100120012202211020010111210112120210021200101",
"0211021110222011022002100022100012210102021121211121220100201002210001121000201102110222101010000102101021200221122221012002000022020222112201011200201122",
"1002001101021200102211122101200212211211210002212012210011201121010221212200212221120120221211101211112011021210210111100001111220011222201020101212022211",
"0022122120212220200021200102000112212101010002112101110021000120011020102021111101010110201120100212211121212120021111011001102010001111022222000121112111",
"1201222222122011122220021201122220022121101220111200102021200012212122211200210001001011222110110202121212100220011012102222021002221222021110222100022102",
"1011201012021221120211201211011101012202200201122002001010100001202220021002221211102220211121020010210000201202202100121010022111200102021222002021201121",
"0201210112221111000220122200022101120021222121120202001001221121100222211020022012001211201122120020101212100212222122221020021100102000121222021000110201",
"0001202000202000022102211110011100020222102201201122202221011221121022210110202002221022210102201100101022222020200102021112220220012202111112011210021111",
"0211101200210012010112210121202200020001011011200012111002001101001012100210211100112212220112120111210211012200120221111022020012021200021010201202110000",
"2220110002021121012012111022211101220012001100121012100202021200200211111021022102012012002220112022122111111220012001200010011122200112012002020211101222",
"0100020201011020220202001202001121112120220112102102101001210001221112000122200001101001101221122010110212100201102202120200001001200111211001221001020002",
"0011020010022212211110212010202010102211101201122101102201202021100220111020110020100202121001201211222000220000111222201102101100100010200120000120102210",
"2111220220212102220210010211210111100220120200112022120021020002202220200112020222020001211002121220110221101011212212110022202001002220111102222211112101",
"1121120121211000102102201000000100112021221202211012021200002011202000022101112022121022002002211111220021020110220012202000002012220101011102102110120201",
"0000201102121102111122210120202110011122120111120212110110201010002202202011111022202110000110212021101100202120200112011102121022100202220001111222212221",
"0221022221121001121211210222000201200111212201100011210202202221102002020201102101210110002101212002220111101201122001002220001221111021202121021011220201",
"2211011201200120121100020201210222221001000121120011102200201020122222121011101202000222101110222010202111112211001000200121222100011221112201221221112200",
"2112011021001122212210212201211010210000010210102121011102101201121212121110210101110220010201221111221201122211122112200200121220111102020122200201120012",
"2211012201112212221022012110120122222012220102001202010010121221021010210220121222001002020001011022000111022200112022122211202210200202121202122200011212",
"0010011110200020221110212002012220220111022221111200221001122000212211010221111101212021012112102002211111202012020102100112010122112212110212222011021220",
"0201110200200101011210021002211110000110011000202120021211202211202212101101122001210101112121001220010220022211021120200202010220202122002022112011111101",
"0111022100000012101001210201201120021011011001200110202221010102102021220112000102001110011112100010010202020210120111012110221112222211011120200112002101",
"1102210121000220110100201021000001221022102202102012201001022000100010012201101002212001102111111010012020220002021202120121221100210111010010212111210102",
"2102011020012221120111212102202110221110102122011210110011201011000101200110112012101221201011200021202210201010200200000021010211020120022220221111001120",
"2020001021020112101121002010211101122012221012212001122211201012002022210001222222220011122111020100111002022011020022110100111021101221002121102100202211",
"1100221122022021200011100110021210202202122222212101102021000111200210111022002200021101200102011020002122212022011221002011112011121021222221101022002212",
"2100101010200020210121001211001012201011000200202222111001220211100201212221112121020200202212002212112200112120222222000211222210122021102122010221110011",
"0201210201122021122020000221022010021201122022022011011101112211210120022021120202201101122022000010101000012002220121202012102102220120200002021021200020",
"0222001011020122222012122220211022111211211121222222122100221101100002011122012221020212202120011110200121210121122001121121122011020100020101202012211112",
"1121220111101111022111201002100110001211012211212121201102022002210010220112000221221200102100001122102012001102010111201021200211221211210021200201221220",
"2212101022220221010212120100010011210020121221212022222010222222020012220211202011202012222121111202222202211000012110120011112112021102102011001101120022",
"1122202220201001111001102011222121110212110100012111010212220000221011112201120002022011021012202011122012122010221220101202000020100020122002111210002022",
"1202112112110221022011222211001221220201011111021110011010221122202012111002002020120221001220111010211012201022110210001102000022200222211102211002012211",
"0212221020222201012002221002211212010022102011000220200210011101210020120220102200211120112021102122000100220111222000221102122200022201200100000121121010",
"1120100201011110021112100121210200101022210102112210010102002211221200122220002020110201221120010211011012101120220012122110121110121002120010010012210022",
"2011000100222112221101222110001112111200020011100212220001120021202110210120021211211110100222020112200022002201112021100110212212200120000112022112001122",
"1102020002211020212011120111221011222122020222011022220220100111200020120111212122221200002110020222010200122212210211221122001202020212121202010110220201",
"0010011222022220021120001100011220220101211212102002201012212102212021020200100010012022221120202021021011201220112022012221020220111122202202201022222002",
"2220210121020021020011100211020000102021221111112001011200102120102102111212100220220021112012010020022220221200102212021222201122202221011200200000022121",
"1112002121110211000221101211201102221112222000010001002221101200111021010101020020201202211002121022000110202122101201012000010122001201012121200022000211",
"0120222022100022100110122111222202111001221102110121111001121202110102201111221012012021001001100222211112102121002101202211002200220112010022022101211100",
"2222012200220102012012122120010010102100000220100121112010001221201012211021122112101000210122000210001201001121120021002001100012200101111111002220222212",
"1022212110200001001111001022002122001012120000001021020011220220222120021222221001112111120021121112210112212212021100210010100202202000202211211210110122",
"1010102000211200112211010020022122120021201202022111212121110021201220211122121001122101112220211010200002100002121201112120201200012110002122011221011202",
"1001220110211120222221210112101200012011211110120112122020211020122101002210221222121120012011001101220210121201001202011020212220112020110211010210222111",
"2220201212000211102020121211200211110021122121201021112010222221100201112121211001011001221001121222011210001002220112202120002222011102112201121020102011",
"0101112100011021001101110210200021002001002210011101002122112101200220201212021200012102100220210002012110212200002121122112211012122201001000121202210121",
"0222012201221200102201211122102202122122110210221120220010002211212210001121201120001000001102100210002121020010100222122011012001100120212102000122012221",
"1120020222100000011202021120210212220102210200210212001222200000221122101211122210220220001210110121012201200012200011012112020121120210010121102221110110",
"1012211101111021111011010121002100022020100011211010220002002021201012222201021220202101110111200212111101220200222211200102112200001200100121110121101212",
"1211201102010020211221221222201010111011012122121212020121101000112110202121021000011100202202020122202111000222011220001201102210111212101101112011222220",
"2120020001202121202222121121121012121101022210221121200121210000121012011120201100201010112001211220122102201012022001111112010220220121220000200120120012",
"1100010101111022021120222120220101121202001012221111021000101010111001011212012000200112121011222110200102211012211211221210102220222012211102202101012022",
"0210121212100002002220202012102021020012000200001211102120101102200212212002022211120101111220022011010200122002120100210001011222222210212212110020110100",
"2100112210200222100100101022011012202122121010102101002012021121100222222200011011111222201121020222221200122200201022002020200100020020210202102121211101",
"0102022201100121221100100102221021002022111200212201210112221102112110202121220200122021100210021110000101010201010222212122110121122000010200221212022011",
"2102021201112101010210210222121001212000222221112222100100111200201111120011120121002102221110110111120001022112110110022121100201122021001200220011122202",
"1111111202211200122010112012222220100200102120120120110122000221201111120112001010011222120200211021202122000021110111022002112000002012220010212022202001",
"2102120111220122010120021010022212010020001110102010211011012111121200022022220212110200112112200120012220120011221200121001000000122122210001202121001212",
"2002200110112222202210212001211101022002020002111001111011110022002220202200100022112111100020112200211021012210120221112120222100222020022002101021011012",
"0122012010202020220121221010011020022022200000012210201220122121110222120122101000002022102022022011112210220202010120100121020110112020011102220110210120",
"1212120102100001002220111122120020122121012121212111112111202000011122200021122220021000201202001102012222221222212121111122201101021222002110011000012221",
"1100102221122120212100111110201012122111102021011210222121022102100112022102020001000111222121211020021100112220122001121210200002121002001010210010121110",
"2121220220122002222111010212111221220212200001011110020112012201201211110120000102011110221011010211022011201022101101001210021110012212110211122100010220",
"0100100012212022110122202002200100001001221220122111001112010001101021200101220112021212021220111111121111022101120202211110101022102212102120112112222121",
"0120202020000222011102202212020221001212200120210201020201212102221012212011000221222100001121010212020220011022021112211222002022101022020112121200220110",
"2212211021011012122010211022010211112202221021121111101020122220000112202201202220212200011212201122110120021200220211020120110110012000001120220111010100",
"2211010021112221211021011122210011210221122201020012122211122110112222120212122212210210102001212222111201002221212120101200000000221021202100211100002011",
"0112021202212020020200000101110021001110110112210000001212221221201100021011021012121112210002201112011012121221000221110022001222101102122120212010222212",
"0000221010010021011102112001220210002211021000010001122022111012110202001000121022211222022002212010011211012011210201121011002211011211001100011112002220",
"1022100210122011010122021220021010210221122111002200111100021201101122011200112100000100120000200120020120011200012222122102001102212022102210200112001101",
"0110021222000102012022122112002220100221111112202211102102012210112212200211120112221022021011111022112222102211110120221212101011200011202221202222210011",
"1110101122011111101001122100201120200221212221110010112201201001210102221201200122111100210010120022200202201001012112210121100010022212012102021101112222",
"1220011222101012211020112010202220012211200022102101220121112001121221222022202021110002200210120121210211220121021221000111221002101202220010002120201201",
"1100221020222022211020210111001122000022221201022021212221101122120111221220102021110101021021110100100202022012002200001002222110121121110100000012010101",
"1212222000011222111002000220200211002221011111010102120202100012101022102020200210020102012120122221101112022012112022202112100001222022212111201210222121",
"0202222020222102202201221212001220211200210101211110202100200211101221101110222220022210020121112102020001120101100220211102221221120212020020020021202022",
"0111000101101000121002221011021021001011111110210120212111120212200202001222020110010122122111200100111201221020221011200200001002101100110011011200111020",
"1010212210122222001000101201111200022200100221110212222022000100022210021010000002101210212112201121121022210101012021001221200011100120221101210121020100",
"2222101001221120010111010101121000110200120210122001110020010111010100010202110021201210101222112110001221021221211211101210012001211012220012012011012121",
"0210020021101200000122212120122112112111110012200122210221122200112102100100022020221112220120120221002212010020210020020001222201211112101222221222110112",
"1000100111111002012011110001222212202211210010122110001222200210022012202211120122122202210111011001200020210112020021200100210101021000002200012102210102",
"0220221021120111120022110100120020020022221021012020210122002222102011202211012100212202001222101110220201022111112021021212210012202100000002102111122120",
"0200212110202101111002222212200202002202221220012221122102210202010000110020021012202210112222202001011111000000212121200211001211102211010210112110112211",
"1120220221002022202012220010102101011000000101201022010202020002122001120220012001101021201202112121020211200121022200022010022211102020212220112012011001",
"1121021200222110210122121202011121122200110100000011100112021220011001202101011001010002202011100111222021112102201211202001021011220020200122121112020010",
"2011122212110201002220012120020001000011221111222212210011221010211000122222221212011111121122212020121211121102010021000212120012222100012000210211211121",
"1111021222112220011021020121122121000101011002122220202012200001121020210101020010000222012020122221102010122002201222212211112102202001121101111200021220",
"2121112122100110212002012212200222202122102022010002121102211222112212202211211000110100212212001001010100202000111222021222002122122011022221112112021222",
"1212111012200021022220111000210212211002111012200100001112020210200001020220212201212011021200111202110100110212210210211210102112212221101201220001011020",
"1221022221222121221101221011010200112221220110222010022211000020111112101102120021111112220221100020002120200020001121111222021200120201201000111012220111",
"1000210222120102201012021000002201221222021111200001212000122122102200000020212101011120000202020221000011012201221212002120122120211012011020210001102212",
"2111112221021022021002212100002102001221000002012102021001202210020112000112201201002211011001102102210112100220021100001112120200220012102210220010200220",
"0102211102212201202101211112201102210100012101112020000011101211101221220200010010201122010212002200121122001220021212010120222122001101002220211122110002",
"1211221122111022121110212100101020101102121200001222111000201122111120002112012001220122101122102222001201000021001112200011212212010011002021122011201011",
"0220101112210022111121201101011001121111101022221020211200001000120022000221101202100022222011110221002221121021100200120022002220011011222122222122222211",
"0211001211010211002210012001121212111021212211102121001011000101121001022101012001202122110210022211112010102220120000212211010200202020102101110110201102",
"0210001110010202022212211211201101111202012011212101000220121201102122111122022002002001112021022100012200112111221222110012212002120001021012100221020202",
"0001020012000122202102222111200221120102112022101222210101102122112021101100220221001001201000122201120100122010022222121101102212222222101202200122122102",
"2012220122120210001010012010102000112022011022020002221120102210012010000210020011201212111002220002002202112212110022000002210002111111102121100112202120",
"2000101220122210201020121022202012012002221202111211221111000121110100022200200021020000200121020220212212012100202121121210210122210201000222212110000010",
"1010102021201200120222020101121212212210202221211221100010112121121202122002120112021000110121000010221202021102210222020112000212122021221201110012221101",
"1002021010001222201000000021200201021110012002002100222012020201110002221111210200002012020220122211212211212020202002002021210221001012222010012220100002",
"1012012021001101220020110020101101211222001001010221011110011012211221002010112111021122012211211010011202022010200210020210121110200000102112121220101012",
"0110211001201101022211112001220220111001122101112212201120120110020202111012121021200110100121100100110100022001000200122201002002022011122121111202120110",
"2220122002010020220210010000120112101111010112211200112001110001002201120010122020221012201220201011101012211100012200200211101011212001000121100212111100",
"1021120211201220121222002220122002011102200120002010001121002111200220211110100110101000100212200102112112100220022221112121220222221220022201102102212020",
"2211000212101112221102211210201011220110220022202212111221010010011201120200210211020220102200120100102100121101101000002211112110020202101122202121211201",
"2100022210101110221121011100012202222201110120122021201020020020202020020200110101202122010020022001201000222010112110101211221010210211121000011121111020",
"1212121110001211120200102120101022112120212102221101102001211100221002220020200212200220111122202202120212202100201012121002021012212000110102112211222122",
"1001122100210211220101201221212120002222020111001002020101210111111101110021221002210112020002222001220202222012122201210211020112210002121201210110012011",
"0122002101102102211121102211202102000021222011200110200012120012221011001222120001111110100212202122212002012122011012110102122111020112022102222011202122",
"0011220022122220210100020211122002022102120220001200002012012211011211211111220111212210100111102112100002222120020200222012022110210021201020012110001011",
"2221022012001210201010201011120111002100222211211122112010121010100011211201212101001220010111122221211210121112102210111200022100001211010000020210211222",
"2200220220211022210020221012202212012102021122200200201222122110201102011020120001000221122021021101010000110122111111011022112222001120222211011211001010",
"2011201120020122012002201102001212012012200110012202111211202111002002001101110110221021220200222011120112110220122020000022100012022100202220001202122010",
"2022212102220221101021012101222022100222012000101222022020222222222202011120122212212000222121201000020120222111112022201000021212200202112202022011010010",
"1201010000100001220100222112022021122220110220220022121222110212121122021101002110001211000202221000100221002001011120201220112122121110101201101001011221",
"1000110220122201120202120122210201022100122101121111120112011210212211100111221202100202002221002110221211220221201121112220220000102002012200210012221200",
"1211122202121100211020001011111000121122111110010210210000100200220010112111222220110210211210111021100202121210101101120222200022200211021111211101000211",
"1202202022210222001101202221110220020101111012222211220121012110201112000221211011222011020021022202210111212210021220112110220120020002010001111012002000",
"2210212022001212120101102022121201221212212212021121001210010010221020212101212100120001102020220020000020110210112011002122000201201202221121022222221111",
"2010210200102012110212112110202010211100222212011201011102000201002011122100012220010010220120021112202101110002211102120211112021102101102011001200121111",
"0021101102212220102112211020211020111012201010111002001110202000110210111010100101000200100201101200100122102110201120210102002010020212212210102220001110",
"0210100221021011002001212221110222022021022120122220201222020012002200210020022021021022121201020121221200220101210001112112201210221110121011210101201020",
"0222010122212212221022100221012000110100211212111000010222021022110012120101110210111000211202100010212210000100220121001121102021210100002021221212010201",
"2000010102121111022201110112222002010201212200220211211002202211202221201122210200211000012112002112210012020212202112120221002000012111002122222122100221",
"1200102220102122202012211100120212221222112222012222102220211211222102120202000221220011222220022212100112110221221020102212121220211020101010002101202201",
"2112012101210001200210010110122011220212210121012210012210222022012002012210020111022121020212121210200012200001210111221112200200110202022222210011021000",
"0201000111021221211111120020002010000212100011110120201101222000111121200201110012122102002111020011222101012112010221100010110200002020211120221002010101"]);

y:=CambridgeMatrix(1,F,154,[
"2120000121110100100110202210222200221002002212200100001122111201211100121222010011101211002002021121202020222112011212101220122022120211110212220002012110",
"0101010122212211100120121221012211120221120002120210100211110221121002101101212112120221001021200021110002210110012202011210221201112012200022000120000002",
"0220010220222001110220210200102210100021102211121000112121010112101120022200001112221020100201202012021002002000121121101022212010210022111110111211100210",
"1210212110012200202020000001220212110102110112200122120002220210121001121002002221002022020000111021010211121020022100010222210001122000011102202112022022",
"2122100121122021021201100201221020121101011221010222121112211202110002011211210120021020120102220221110021022212220000122221011111120012202111121100010211",
"2011101202210022001010200212212000122112212000021002200120100101211222012000221201000021001010121100102110121112000101221201020122120122102122120012201211",
"1100102222200210211012102002011022000121121001001202121000220210100102011120200001221011011011212012220200021211212020001220220011011112021120222021202121",
"1002002200222001000010022020210020000021211110200111002101021122200212210022211211001122211001110211121010122201020201102110210221211010021021122111202111",
"0021012100022011001102000211220211101000010212001211010011022122222211020111012202111102210202101220020210112220111001012120020020101110212001202021100122",
"2101200011211120010101020210220212211212000110220000221122011102012010121011220121222122212201012100012202101122110121002212201111012221212111021001221102",
"1100011000011121200011002102220010022001210220211010111101202111201102011122202012021110101201022122120000012210100200122121210112210222220200110002021211",
"2020102211001011121022100012000211221202202221011100202021101211200222120012012221020111210202122211101022011202000111222121212222112120201120001021211201",
"0121000101222210100002200222021120200202222001000011222221222001220002200010202112201210101020012121122022121222100002222100200120022202220200100011001111",
"2022022100011222220021110000002001000201220210120021212112102220112122102001020112201201112002220101001001102221021200112010012102102001212102101200020012",
"2002101021010210012110012220122121202022010021110000222002202212120210112001201011211221100210000022222010111222122012112112222200111211112200020122210201",
"2000100122222000022210001120021122001112220002022102201001101110122020121210021000002202010100121210202111022012000220002001012022110020211112111212110100",
"2002112100221210101221101120002010222001001121102001002012210011100201200222021102210201011120022202112111202210102000120100001212100011101002212112201222",
"2021211201121021101210111012000212222000120200212121022100220212022202012001102020111222212202100102202101121002122121201212102220101000111112202110012202",
"0021111020020202122000121001011112101222120010202000012210002120221221000022111002012010212001020012122120211000120210001201012202120100002000110022202211",
"1121000022100010211110100100110221112000200011222111120022100022000010012202020101111012020112021120101200121121220221112001211202000021102002012120002201",
"0202111021102202010112001102122210120202020111002021212001220222201122211110111212200121010212102102121021020110120100020202010212211121201011121221012221",
"1012010022112112212222120210000002102120122220001011221001200222211000001100111021102110012021221202020101102012221122110012100000012021001200121120211112",
"2121112200101112000201100112110210100020222220021021210110102120201001210010000220220211210112221122100020210121210011210102211122110112112021002100021122",
"2120020122210212012202112121202112000201121100001122010110122111120122122200220210100001002110001001112100021001102120212020011220121220100100021011220212",
"0010222200101011001110022121120001020210120220211012111102220221210022201102102212112021101202002000221102120022122000021122222110220221222002111122022111",
"2112012010120102002021202211100102100000011000200120212020101122111012122221211101102211012120100112120010201010210012220020012212210000020011120101110002",
"2111010112012021220010211000120222212100200111010001110021012020121202201120201212112212202221012210221202100110120000212122020122201111002100211101000021",
"2000002112202001010110010002121021100002110220201212110201100200102211221011102202011111111001020120221011012112121010002211211212000220001210221200122011",
"1110102120111010211011221121000110001222221202212011101112021020121200211022100222222110012110111110100122120210120102121020002212101201210120221102000202",
"2221002101222202110010221102011110110201201122212022221010201022112101010111000001101221210220121102100222021200010010222102112202010201022112100201120001",
"2202112101112020100002010120210222001121000200110000120122002021001211211200220010212012011101022100212111201220011200100202120222020101002122101222202020",
"2020121200212021012112202110000212211120202102212010202022110010020200001222200210202010102112201101201110000111111112002212021002101222102202012202202122",
"1100121020220000012211102201201200002211201020220211022012000101221222112211022012110201010102001212020022100022102102210002112122010102110022220011120111",
"0000221000101020210121200022100201220120121122222221102122202012002121202022101200112120210020201112100202121202202002211001120021121002220000011000221100",
"0000220110112002002210012000021120000222012012012001112011112210011012210201122011200201210021200112221011210111020110021001122021010222102012001002021211",
"0110220102121012111110121121221012111212220002201001222222020111112200101002222221101020122120002212221111210110011222200100022120010210100001201212100122",
"1010110101101120010102001102212200121102211020111010022011011122121210011202121211112102012122011010010100202111101020222000212220122220201210210012110001",
"0012020121020122202100212001102001210002021112122022000221101121112001100002000202010111120012022002212012002201201102102110212021202121120120220101101121",
"1121002002020001100211101120022012211012220020122100001122000000002001202102202000001021100110021102200001211210010122210100110000122111010021000001000222",
"0110222200202012201121102100210110102222210000202221220200100110202102210210220012122100202210211002011122021010122110010022000121001102100200020111012201",
"2200011221010122122121201120211112220110220222022012102211020010022012101222122002100210112120012200002122111001200121221010211121102202110112220021102100",
"0222020201201012202122200010220110001110101100220001112210200122110010111201200221220201121211110221200001002002100121110220212201022011000120222200221201",
"1012220101212101202022120212011102021112002002122102221022010111021002010110202101212102021200121111102121220121020000102020002121120222210111211020200121",
"2221122202022000001021121201111101102222212001002100202100011221021021200012022111210002110100101001012211212002122020220020001102220101122221110211101111",
"0211111220011110212100210222020010100101000100022022102120010112111222011121112120002201111000021011002211100020210010001012212110220202202022001202202120",
"2010101100202111012112002020220202022011121202100001212220020022012120202121021120121110120221211200210002011221021202011021222222222200112100201100110202",
"2200002212101100022020121120012010202110121200010222100100010120021110121210220210110100100121121102011200022212210112001010022220211012020121011200100110",
"2121021220002210220002120111221022002022221102212020201220121111100212011211201201020022210100012212021122201202201201102010012211222012202102011110011002",
"2201011210022202011012021211112220221010221011011202220220100111021120112002202110200100201002222020110022100022222210220121011222102110220002201111210222",
"0010212001011021102111200020021120210022020101110011111000101211002100002120211012210202112021111122111000022202210222111001120011122202221100022022202112",
"1220022221221122212222202221021112220012010111000110022012202120220210110122100000010122111020200122221010012002010100210112202121012021202001112112202201",
"1020200220021001121201002012121221100200111121211101121222021002100122111211112210100122100222121002102200011022112201002111011002201101220122111010211000",
"1122211000221100020201122202200012200211001010120011022111101211220020101022222011102011111212100022000101000200100121002212020010200222122011210010201020",
"2122201202101212012022201121012010010210021112220012012100112221222121101111210211102210121012110200201201122100120210011002012200222000102012002111022101",
"2102210022110002202010102201100120221022221011200202010121011000022122111001211202212100012220202211020112212020212012111102212220220002001120121120020102",
"2001110001222120212202211202202221212010100202201112020121110122100210220101211022212001110120121122101010020222120111111102000222011202120201221000110201",
"0121112210220212201101122002211000011201220001001100212110110002110202122120011210002022000020222002201020110001200101122120102222202002102110201101200022",
"2101110210020100212011120121001120222010121222002212102100110120010111222120011200220112011022011112210102210021211021100012100011010011001111120122211000",
"2022202010010210100022221022111220122122102200110121020021222021012100221011121120100012121210210021111111020101102102212100020120112000011010122112022002",
"2121022010200201001100202102020102202210000221210012011200000102022122100220212021100102012011110222021020202002001222100100220202100221200010022022102101",
"0012200201102000112112201110220011001010220112000222022212101201220011112002011222212011102200212222011122120012101012020222211110222012022110201221122021",
"1010102011012110122120120111010212221112222211220002002112022222212222020122022010012200001211122210221021212122222101000200000122221210010110110210210112",
"2021202112020102201021021010101201201020101020121201110001102122122011010210021022200112100111100001201020120222212212200021002110022001002010120221200020",
"1001012001011222112101102010011211222012112122110200220111220012221010101001120012120220100020210210011121221211221210222012001012202201122201010202222120",
"2211010211002212102001211021002010101100121201112100101010001021212101001112211111122110210012200001202012211220020111212012211121202111221120211022011220",
"1222201211000122220212001210020210122211110100221102222211112102122201201022211020111011110211220012110222121020121110102010101001220201112000022212220200",
"1021112211201110100220120002201202012110012022021200111111002012202212121211002002112010212222210122021102221102220021202012111020000112102011020021122001",
"2110220120002101120210100201210110210101210102000120201120021112022200222221122102012002102001001200201102122201002201100112011121201200121001121012102221",
"1011102212122111101112002012020201012001200121201022111001000201110201021012110202211200222012220021210022110102101010120210011020102010202211222110222201",
"1021200021011010111210021022110002122012012210222122101200021221122011211002212200020111022002120201210200012102100201221011201112001201011210012201122222",
"0222010212202210122122210101111001112200011211121212212001212211200212200222000000101201011002112021221002111010200000100220111101201021200121101121000201",
"1111222220121212202010022201022202122212010222110221200010010110100001021012120102122202100002020120200012000200012112220011010011221011022012111200112001",
"1221211222120120000011011110220112220200112021222200102000010002112221121202011210122201000202100220211002121100010220220120222110201102202110001220012110",
"1020102010021100122200210012211111001000122100112111222022210000210200112122220221111100221101102101200120201112212212000010020000102022100222210001021111",
"0012221102001222120121222012000000022100222122220012021202120211022110211021112201112120120110001112220100210110020110210221002011112012120202020121000111",
"1101111012011220201000211220102121101120011022002021222111012220221012121212011101102220102012210000212210010111120202022222122221020220011121210100010011",
"2000112202101020222102202101001222221020000200111210201211021120220201022100100000022022212112001001211111000120102120010010102222122102022211101101201112",
"0121000022201020011002221122001220010200011202200122112021110200021220012210212202211210020102000220001220011112200022222210102202211220111112212100120101",
"2200202212011220022000221201220222220100012112100001202202111011012212221120222211020210221212000121001120220201220002100001020111122110210211221200010221",
"0121020011210121111202210110222210220012110002020000022012122002210002101122121100111100012112222120201221112100001122101002112021002002101222201000201021",
"0101101010000210110022002011112012002102012202020022011221201111101102220221111002101121000021222202010010011111121101020211220012011210001002102010220120",
"1102101222110020100001112002212111102012201022000121010200210202210101012200020222202010001201211212222120000120110202000202122202112122102201112110222212",
"2210001002122021102000020200200210012011210020012120210211202000210212220212012122001220020112211101102112101010002111002100221101211001222112000102011002",
"0100210110100111021210111012022211022221101000202111121011222200201021112222201210200011212220001121222121100220020000011011022100202012110010010121211221",
"0112120122111102021001010222222121000001110121011101012111020100012201211210022211102122102200210201211211002210110112222111010102212010200202212210100011",
"1212022111110112001211000200200201222100000002100000220002012011111100202211112220220122220202020022110002022021100101122010121221102102202220121010012122",
"2222220110101210212201100102011020222010100210101202120022201221102221002112002211021221001200011100111101211101021201011012201102211201021001201111022120",
"0121110222200202121212210011201122122221100110210212201101100201011002220101001012020110220202021012000210212001201010012111210220222112101120211222002212",
"0021020100220120200110001110112011101112101022102210220110202011101120112210112001211210220121112102120000210222022201110001110010011211200010022011202220",
"0102100120001110111022120202100111120202211122220110022120012101212102220022120022220011000122120102010121022200020202020121202221212220001000122012212012",
"0210010220111112211120021121202012110211011000102011002100200221111100021202101101022220101022222200120020211101101202100102021200021112001111211001221021",
"0121002012111212222112200020001020200202201211101010022010120122121212022201201002001000022110210100202002021120212102001202120201010222120202002000112022",
"1222200122112210001011101101022020020220202222020022101012011110212011122100112220122121012211111020021111110001012202102101122020211002021012212200012122",
"1111011010201002111122012110021200010000022221222002001022211011202101001221012121212110102020000122000020200022010221210122011011210111122111020020201212",
"2121000222102002122000221121200021200000121220211012100001012112111120020211012001002110111222212112212020202202020221210202212102101002111120212102202022",
"2210121122100021201100221210202102021222110020212011012210122120120021101120021102101202001012011220011202222201110101101120201111022211112202112010211022",
"0201010210201111220100012120111122211211002122110022110121022101002200000200001122110112112011222102021000212011122001111020011011022222022020221011211010",
"1200202200002201112220110021120100220022010122211120022010111022000220202002121112112222020220021011122110002111000201212111120201112210101112011111202211",
"1222202120111002010101011110121000120211120012212001022100222211201200200111122112001201212210201001220102121102112101012202001000221111222110111111200122",
"1120102101100122012202022022012221022120112221012220020002020222022212120001210101022010102200000202221222212122022002010200120210002002012211221201010202",
"0101110220021001002100111210110200121221210110022120020020102101122202210201120200102100202122020102221021221212022011110122120000120212000202011102110020",
"2010001121100212021121210202022221002022210012021200210202021112201112122010101111211222020200110021110210000212001212210220120202222101101202000210211021",
"1000112112100022021111121201020222022211202011022120011221100011021022021112212200111111111121002211012012210121102200112201102111211220002120122210010021",
"1121112111112210001112202212101122110100110011002122222011121011111022120021102021120100210110221222000022012022121211202202221100112212121022202112022022",
"1112221201121012012120001202000011100201100221002212202111021110012110201111210001022112021122201122102202002012111222211202110102010000112102010112110102",
"0212010100000021212210002120012120010112210122010012210110222202010021121022001111211122202010111112220021021122112210101200212220112121021220011120102112",
"0012001022122001122202211120002111112210202211011102020212220022211202202001010201010100201202122121212021222100201011222211201000212010202202212102110202",
"2022011011212221202120211222000022111110001220122112212002102021021200021200010112111111201021222111001211200000200222000102202200010210120202012020221210",
"0212001010101200101011022202100112020210202012121201002222010210221200011022222211112222100012122021002012002220021212012210012011120121002012221012002100",
"0012112022222122221011120201220111011121102211120222111121012110100220021101011122021102010102112210100121022221022002220010011221210221000222112102222212",
"0201221100000111211202112110100220221211022022020202121210011120002120020110012211000120110202101210101001022121102000222211110121011122021121200220122100",
"1002022221010200101002220210121022000111101102121111001120211202022001020110212010121202000201122010110221102100011021100122010221220021110012120120122100",
"2112000011002201110021211212222011201022120200221222121120102011100201012012200101102201112210100222211210220002110000011202011221202210221202000201001212",
"2221200011222211120211212220122200122211021010211120021200022112011210000211012121012011001200102010222101120201002122022112002110121021121222220012220102",
"2201211010020102002200022001020010012220011202120010221201220122101220000120202221022022112001121022111021111002012100120100000012200121001102222121210002",
"2100012011200020101220211122022200200101101102100021012111102201210202010211002021111012122110102111100221221002110201111021011021102002020202201212020211",
"1200212210000210011110202100100210110222201112210122011111011210121002200120111100100122021001121222102010021220221020010210201110211000200201002122222221",
"2122211001012222221002100011010112122120221122202222112021100220201002121220101101220111210012001111201010000010112212210110010202111110102011102011022020",
"0120212021000200110102022212122020122211201202100001201011010012110021020121100221112121020110121200002001200011220102011110220102010100111100110012101000",
"0221222211221112112122120010202212022010200021000212212220200211202200021212202022021121101202022010202011211211101200121012212102010100102021002102120201",
"1021221121220101112212212122022011020210212001021200221011220100011020012121000101122200121100101000222222111100202222201222212221011121022011211110201020",
"2012012101020120202112211100020011100220220021011212002011011111210120122112112121021220202110210022221010221000122020010210120101022100201001211022022101",
"1222000100202102221101010220221000120202121122221011220000210012210112221020000020202021222202220220122110022012000012201210100020221110021012222101212122",
"2002021012221022001212021220110001010222011020010202212111002112221121021202021122210022211120120111210100210101212001100212121220220122002021011100221010",
"1101200201210110100102011002001221002110210102000112212020222012200111102111111222002212110001201200120011101210102122210022101110210222200210010110211220",
"2100121222121220222001001120020000121210002002011000000012100101222221112012221202122200212122001202102110000000201200211222021201121212021021021102101211",
"2210101111011201111110102221200012200110220210212001010200111210120121112202120110122222210122002202010200002122121112121021021112120121220212221022201202",
"2101022212121210112022021101200101110210212012000101212122200211021112122112220101102001122100100011101211121112021020101222010012220200022112222021202201",
"1200102112222210111220210202002002122120110110212102010222111021100222111021211110112020120010221121210001222122200202001212222221000212100201112112002021",
"2001201101022012220011221112222100011101120102220112002220110210012212011200111220001201222110002102220121100202212002002021011111011102200011000201120220",
"1122100201000022111212220200000211111202222112011210020122120201102121202211120212202022100122011121112021122011022210220200102101101022210021121000121001",
"0222010100002012221201022100220221022112000012101022001201220210100202100121120001000022222000100201211022202200012002211221102020221000210101112001121212",
"2220010001222122212020112200012010212101120110012012012111210012000202121011210011110110210022011200102102002122122001200020012022012012212211101021012021",
"2020002012020012022122120220220001111211111011022100020212220221112002112210120202020220101201021001120220202012020202222011111022100020211012202001001010",
"1111001012221200220100002102110220022211220001012111122212212110102200212101120002102100202002020100120101222111120201120122110121022022211110012110222121",
"2100021001201000220012202212122222012121122001202200111021222120211112001021122201212022211001121202011202121220111021021112102122120220020200201022002121",
"0101001111211020002112110011121121221200211211011122210002200120021022102121120221000200021112002120200211202210001121200121100212101211102010211122112110",
"1201211012102200021001120100201001211112120200212221002010101002110000102000110210112011122122120211202102020010222210001212010112111211120101112112122021",
"1200010000220110210000001001210000122210011022001211201200100110020212220112122122122001010102020101102221201210100011222001220001012202122212222010111011",
"0222120100020210022021001100201102011100211100210220002112020001222001002111002020010002202111122121212000102102012122102111112200201122000202012101210222",
"1221111200022010012121022000110002221010002121111022020010002111110001111212210101011010222121210011110221010200221121111200020202110020022101112210221122",
"2120101210011101012111222222202022221111122002101220001020020202210002202120002011110010211211011101220201220110221121100100101100201012100002102020021120",
"0220201111002022110200021100210000202201020112202122010022222100100110110001012201201111001220122201021211001000021010012002001101220021112021221012101201",
"1010101120100002121111211101010100202102012100002200110021022222210011111020210111011012022112211012220001210021121201210122022200202002220001102012221121",
"0011121010220010002110101221111110202002021201012100002100202212200000002112000200212222201002010121101221120210002002211001201212001012211010211222210022",
"1022220102020100012002001122222211121220020001221020221212001220111111111121102201001221202122221210220110112122110011021001102111000221121110110111021002",
"2210102020110101100202122020212221112022110012101210002011112200221212101212021010001001212212110101020011100102001022022012011112112012201021002110002201",
"2021110101220021021021100021111202200002212120102001221200000101222022222020120202000122200201210001110210222020222201112120020212220010010021002121101211",
"2221120220122020000010222000010110202012201021001011021221110222022211220102021222101102201200202111200222121201102120111212222001001000221221110120221120",
"1021222012001110012112022122211222122112200211010001122020012101001001112101012120022020220202111221220012012211001212002100220210112010122220010202112000",
"2212120000010202210011022222222212202202010201211220120001012211222210121212011202020020002002222222210210002222021110121122200111211020221010221211220212",
"2010122210101122101200002001000012120200211110100011121002012212120211002002111001202201110110012010112200002011120212012022110002001202120211021000021212",
"0212012102102102222112222001122011022200012011102210220220122220000200200110121000022102222222222000012222202002012102021210001002110220212010211122111212",
"2012221200020120102002222002010100000020201222201111000222210102221002001222101201100021122112101221102101211012020211002102022102020221121010122001010202"]);

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