/* www-ATLAS of Group Representations. O'N:4 represented as 154 x 154 matrices over GF(3). */ F:=GF(3); x:=CambridgeMatrix(1,F,154,[ "0202021112101011210210001101001201220222211102012020120202111101110020000222020112020022222020222012212201220100111002211202212112010000221000010011201102", "1102212222001000000010121110012222222020001010111022111100102011220120211100100201210221112000120221100112112100000201022020010002012000021002220101000021", "0001121122012110121122211220022002001021010210000211010211100111020221222102222022211112100200100222101001011001210121020212222121101202211202011012020122", "2110110202010122001101122211212010111221102210001111021100202001100221021100021210112012101111220221011022220210110021210202120100211100120110212212022110", "0100020220111212002000022020021202101222022210100112110100121010021221200120000001101121100212211100102120220101101222121202012000022122100121201201000111", "2201022101200100220202210000211002112112120100221001021121221011020002220101021011020001210002020102001121110211100111000001011112211000120001201200210102", "0011121221120212112201011110122002200100201112112212220100210222220201212022222002000201111200200201222111000120020122102002221101111000111201110101012001", "2101021001110201101120221021110112210012212000102211122102102112112002110212101011021101200222120011012001000022012202021201102020001110211010202111120212", "2012120102201211200200000002222121111012001101112021111100000201021000112212202000220110200111110201200210201121210211221222202011100122122200012101211222", "1001111020012211010001221010110201002002220211110212110010111120010201101010201201200122212121110120121122100021021101002122220222020122220212220221002102", "2012021021022202200022110200020211011022021211002201212212121212120222220011012002120201212120020210211210022012200022022000220212002212022012202102100200", "1100021210201122102111020002100212102212211102110221212211122220200100220010012121220222011110010212222112000100010102110121011022010010222122100101011010", "1020011100122122100021211212202221220021222222000110021221101121122000120120210101112112102200110212100201112100000110122200220122221222022122102200021121", "0111112012121121121021011001122202201001110101010221220220111100011010220002101202101122101220220122222120000211110101011100020100202122122122201010111201", "1110122201011220200021100202122110021022010221001121111000120101001112212021202220221120021222222002102000021000212012201210022011122211111022121001011200", "2212011101000112120020200011001012011121101210212210002221110210210212200002222201001111110201122012012110210210201000100012122121001020020222021211212010", "0110022022200102211010001112122200220022100210010210010110211100202211101002022001112222010020120101022020000102012111220100220020002221201220010102110210", "1111122110022100112111100111011101210201212101120100000121110111220201121021102022112110011020011201220100200220111122012121012110121012210100211221021212", "0011201122000001022011101220010110220120112011222220001000102211120110020000120222022002210202212022220220120001020022002110201201011001202122022021200022", "2012022000111100100011212102010020212200000211102122101200222100101012101021020111201201001122111120101211000121121220210212200000120112000112111200001222", "1001012001012102021200112002111001221210111212101001202122221110100002122120222101200002202111001021111202200100212112011221120001010221200120221121200201", "0221021020112100101101222200011000202100012011120120012021202121212221212201210220221111101211020121121201010020010110112201200000220011022211021102121022", "2010221202022022011211001220001021022101010110002200200111002202002122211200220211202220102012111220110112210202012210200102201210222101011200122210021020", "2100012222111001121210222221000012022002212002111110010100002212100011021222112100101010102110010102012101121022020122221202210212201210211010112211120011", "2221200100220020222010101210002111122210100122201221110012010001110111200222021022211122112012221220112122000120001120010220110200000111011100212122110122", "1222210112122001011201020022221102100020101012012201021122002220112122012220200022111110220221220122201122122011012201211122120012000101210221020210010012", "2020121100002101022112101002111000201211100012000201212010000022012220012211022001201012222220020001222021021222212211111010002020002012111012212210111022", "1222201210000022120112001122202220221012101012122120101221012101210002220121011202112222220100110022110020222122021200010122201012222011102220002200200101", "1201110102211201202100022010011002220001110111210120020122102200012221202201221101212021122202220100100121001000111222121120202201120102220221221101002021", "0212202212101002120121021110012210211022120202112110210222102111220220011221220112202210000210201200100100202201120111001201001121122000210122000212222122", "2210200012201001221011200122011022221210001112112202211220022000111101000001100001021221001012210022102100101021200210002110202212120202222122012001001120", "0021102220002222201121112000210211121101121010121010000011102210102010201220111220112112122210221112012020101210012111012122110002012122122011201112001220", "1122220102222011222222022100212221002002120000010202021201020002212212100120112121011212000212110202011011121102012011020000010001021201202010010200201222", "2210210012120110222210212112120120212012222201000221020221010102001202211110111210010012100211210221210102122001202110222012200200011100220122201011201010", "2022021121120210020022101122002002102120011002100120222012220020112222102120100120021010001112101221010021100211000211021012222222201012001202222021022110", "2200110110020211210000221110010010022220010110202011000211202020222122001022020210111120222010212101122110022212022111210101002200021221010111102101110221", "0211210002200021100111202210201002112112011220211202110102012021121202101011002020110101000202221100220011121000202111221110011001001112220012022121022210", "0200122102202120111111222000121201122201001110000010000202212210211021001120012000111011222202100220022000112202211012112012221211000221222212220112010011", "2110210102222002101122020000221000000102022220121020222020001221102001111102210220001010010002202210121220020210122022002110200120010222020220110101110102", "2200202222220212220110120211201221122022202122121100100201220101000100212211220012220011122012112120222121102111222001202221212002201221122021110001201120", "1110112202211012002110120002012100022112120000022121200002222110010011201121010202200020002001110022101100000020202121210202210210002102001202202120001022", "1222221210111012100122210011022021201102221022221021121220021021120221112002201121200111212020111211100212011021101111121111220002011210221210200121022210", "1022100211201220212022102001201221021222010202020000001100121110122221102102111100111001111200101112121100201110122111212010000021100000211110222012121221", "2212112002122111212001202111011202012221202001021122101102100111121200210122022110221102000121220201220111202010020200102121210122022020120122201102222021", "1120121102210022110102122021102100110000110020222012200210202210210120200111101212100220000011122002200122120010221122100122102020020211001021010120112022", "0010100212212210101222101220001212200212100022022110010111202102100220000101111010021022022111111100211110202210121111101120100211202012110221111112002110", "0021120220121100100121112101210021000222110210212101210011002020221000021022100020122211011112111120201120211101212112221020021221120221202121021001012110", "0220020011010120101222021010201201111012000220101220001022011001200021010102210201212121220200212012222022011000120120010200111110022221000011122220110110", "2022010111100201202112100220220000102212112000012221211220211122101022202120001121121000120222011020000102011201110202221220012102210120210212222112120011", "2210001112120001011210100120021122001021110002020122210111220002221211020100211101220222222001211121122102221121112020222101101011212110210020110021212012", "0220200002010200221212211220021020121010200211121200021011212222211002100211211222101001202002122010122000100222211210222010220210012020000200011212121201", "0022111202220101120212000022221011022001020201202122201120012221210001112002221210101111100200211201201011222201200020012200011000200001112201010211220020", "2011210121211100221021021200001101020210220000101001200211200111222120002100200112122201211112210011120022021020021200120111221001221100212012020120201112", "0011010012202212202100221000112202121102012210201122111002122020211111122100010221020200211111012002220022200000201002101122202101111210112002021221011211", "0211000210120221211111111102211012201000220000121021002212122110110001111222202122111002101222102200212112102121220022002211122121212102221101100121211212", "2112110112102010121201222012201120102202110021221222022220122121220021011011220112022020011012120010210001001100201012202101101101220121002012121201211002", "2201122212201010210112220221020220102212022102221002102212102021210022200212112201121112102121200012101101222200012102002212200222120201201002120212112102", "1111222102022101020121201011202121202120020212001101022120001201001012101110120112120121002211010220012200110221102120010020212120021220121200212012100102", "2120110222122010100002222012110022221220200201220022012212222120121100202101220120011101010122221010112112220010012102200222102001000222100021000211110022", "0111200210010111012222120111122020022121011221111221202122200002021010020101122112020212021212201022110222210010001200020100112011111001201020010111020211", "1022002202001010210211201222212111221011221210001222120012100201221000120020000020012202120100212112000111110120221010220121000220111010000201021010120110", "2120211020011102010201100011121101111112221212020101011120011121200021021121010011011200120001212111010101021011122122100111110101201220000002022120111011", "2002011202121101110101121120200212200211012002022121100011012022112001020121212220022002110100021120101110000212102211202012020212020210022112201102101212", "1010111210222111111010121110012011221202212122222201220012012101212221121002220010101112002211202120122102222220201121210110212222100100101211121201201112", "0000021001011120101102202020100111002002201211122111122000222012221212221211011020122011110001021120121121210010120100200020122022010122200210122001000020", "2100102220120110102012220021002111101101001022011100120210020111202022211020000200121111101012120022221102121110121220201200221002201211101212110111010101", "1000221010222012010012101121221022001012000012202100120210021010120212200022222002122122211220012010112000200111102110222000100102111210121020211122221000", "1001220121120120122222221011122112122120120221202200001001100101222012200221210022010002100201020120001011022000000000012000012212202121210001002200111222", "0212002211111221102000121001121021222102212121102011110111222101120000220012200222010101111022001101110200102102002001011210010012121122111001210010100001", "1020021000211012221112002120100022002202210121022212102121122120200211220201212021102021122222012201002000211010022220202111212011101120202122002011110221", "2210102221011122122010120222220001201201212221102212022020222022000212201020202121010010121021012200112101120002101000102122202220110111000211010110220021", "2221220211010110222221121021220002100212121220111120001011120020020110101200212200201220101000101110211012210121020211201222010202221102220201201202002010", "0121001202002212102221120022002010212002112102220211120012000110121012121000000200002010210210222001220112100222012212201102120121110000111021200101200211", "0121111222220210002210122220220200110102112102120022212010111102001112010020020220112020121200211021000011101022202022221001020010102101202002122221212121", "2221122102000111002021200200201021101111021022001102220210120010022111001200020020120000020012222120202012002221112211020220100210211202000021002222022101", "1111021010022111001110021011200210101211102201212001120222212022121202222222020120120021122221100020210100201211012022212220022210121212211010221211202220", "2111011101020000201220020010222022211102220210022202112100002211011220200211100210020202012210020201112022001102002002000022012021021120211120101121102022", "2200122221010202120002110102121102002111102120221211011120210021120120200111201001002020012112002021211200012020001201211002201122120111021111122022112101", "1100212212102222220012000122110201220021000120110202020001001200020000010002201101022110001210110111110101110221111122011011102211101112121002212201002111", "2100212112012200202120120021011101222112102120101021010021022010202100222221110020112110011012010211101002200112112221100000212110011211011010112001200121", "0002000102012112121001022212222210010121222000211010101112122122122212020021102002021020002100212220211121200010102220011111022202212000112112021011010021", "1111112212210100011221120022212112110121100201020220210010020220121022200011122201211112122112211010120200010211211111011020121101210012210102121012121211", "1222221201221221021111010102111001111221122201220101101201122000100212010220120211201021211021021202211120211202122000121201122012211222202210100120011120", "0202211211222121110120202020122001121120011001001102010202010110112011211022222120220011212112000011202010222010201021201212012220221110110101202120212021", "0002000210010220110020000102120221221220222010012022001121202122222201201002121010201200211202000000021112222202212110022011001021022120222020121221211010", "2202211100211212100012010101101210220121200022100102201110200022200101110100210212010221011120101222220221101101001102112111210010010102120012221100100021", "2121210002122010002222012212111102020122211120101002110101022201211020222212020211121000211101111212020202122220011021210101010121020020220220112222012120", "2021110020120112210110100201001011220001112202222122220120220000020102012002112120000202021000200100100122022210001102000102121022201112012112101020001200", "1121010012110220110000002121112022020210011222121221211210022100011112012021202220122210001122122011021100022022211012212202222022101102012111120002121221", "0010021000110222202201021200211221000112020000200110000201222102102101001101020211110211010221020200210121221220210221101212211111101122011220201112111120", "0001111102212022202220112211221121011021212110112211121110101122120002201102122022020210220120011112100020220111222110112102012120010012221201121101122020", "2210211220212022000002222121201210120220201100011011111020020110020222112120121000000020120202220201021000121000200200100221101011021012200111020201012211", "0212211102101120200001010220111210021022002121211011211110100100001020212100211010210201000011020012000201002011211020110220112210001001100211122111020122", "2211212010220210121020011100100222201011121000002110011002011222100212021200202110211202121100021102011021221022022022222002022102212010211101111122020122", "0012001121202212120121011101201212010022220021101011022022120201012211002102110121101020120012001010221200010200201120122220110200111022211200112220020110", "1220102002201020022210211111220121222220010210220222122201212202011001222021020110202120212112020100120110210111100010202200002001110111122001010021021010", "2120112212220012001212110120011222021000121122022010122120010002222121110211101102221021122022210112012110222121020121200022120211210110120102002200102002", "0100100200010020211121101100222211202101222020202220022101220122221112022101210101222212202021201012111011220002101102010102122212222121021220221020022210", "1000021201212011011222010000200210012011102120012222121112012202222222021201021121000021222012021112120110002001011121120102201102011120101200212200210000", "0022201020201011111111122120202022001000220110221212110100200010001021021211210022012022120202112101021101020110012222002010110220110102001202011020201200", "2112120102010210201021002112211000202221212110022222002111102101022120200020212121102121121002101011110222112212211211022011202101011022100212111211112000", "1212022000100021221111000021201202212211201022201122000120011002010200001110101120211021112110020102101010001120100212101122011112201000221111100000110211", "0000100201001211211020122202111101000002221012021110212120002111202211201221212111221112010202221222111012211101010110102010211200212102100222110202222221", "1021220212212110102001002110222202000222110021210021021002201220120101122021220122020122122201002220002221122122122222121112011212101200021221212221111202", "2122102120112121202000001122101000221202200202111202102100120200111101210120100020220102012212202111011221202120201202001120212021020212222110120221201200", "2120200222100102112222011121111200000221112220021110110010201121221210211222000110212100210221011112000000022200210212022020010222200002011121120120002111", "0201111002112210112020200011012121102220211120211122200211211100002012201001111002001100021101111211210011211101002002110121012122200001101110212222020200", "1020100222000201222122221122110022212011201100202111202120212200200210010100222010010022022210111221210101000222221000120220201222100020001122011222000022", "2122020201001220100120220110011220200111112101110200120021212202110200012222102022110221012201021021001012000211212210001221011120022210110120022221001100", "1010000122202100112210111001010010101112120100100001102110110221011022202211012201101010000102102011222211202002220122112202111021212211212222201010022121", "2202002022112201101210011010102002202212110200010121220022112222111011000102211122211212100211111002122120002202120202111210222200012210022110012202011111", "1202000022111022222100010022010001012011021020021101021210001201010120020201001212012011010210002001200112120122200122110110101010220121111201200020222102", "2201022022122101212010111222100012110220010212011221200221210021210000222020000020212210221001012022121210122210010212201100000120200000011102201001012020", "2020100020121020211102101000001102111102021211100010010020201121120022120022022022020001201211210211210022110120211221122012111010221200211210112010220210", "1120002212000212110122111012020111011112001012021111212101010021101010210101220012010212212100122022201001102202211202022100202012120202012222200210101222", "0001010202002110222202011220021210211020021110022111020010020220121102200220121120202011221220001220111002220122222112211210200110011212100110211001012120", "2021102201002020201201011201101011122211200200102110111000022202211100110110110200210001001210101001122220102010112011012202012221210022112221220021120120", "0000010201202000021201222120002011022222101122020022002202100220120002011021222001112011122121012100001022000222122020022221022111010101000020021120011222", "0011201022200000222220222212122022010022122220012102201111220010200010222212020221101120011212120110121201222001111112212220102002100111210121210010011102", "0110100012021010021020122222200002211220200002200212221011120122011220210100220100001001220120210110110112111212021110022011111021000102210202211210011210", "1022202122111022222122201100101111000020021200001112022001010221102211100012110000110011012202220122120000221021222201001201012220112102211110221021112202", "1110010122201011111210002201100100000020002110020200120201000220002202102021200121201120012200202001121120202220010120221122100021120000110200112022022110", "0112001010101002021101120201212101222012112122200211122022022002021120202121112201000110010102101100000112222021211100120000220221101010122020012220202121", "1102002110201221020110102221011100022000111121021212211222021111011011012212221000011110101100222011011010211120120220120002000011222201220010110101210021", "2022101200122211011121210102022011122222101111220000110202111022100222200122210000112002202020102012101100211101102021122101201210222202202110122122002002", "2222011112102120200022100112111001102022120211112101211210211001200010021110110110101211212021200210220002120221012021111112101122222212020021102120200200", "2200121212110011220201002221210021202112202002102212002200111001011221000001202012200001001121001112011112212220220101101110000221002022001120010221120001", "1002021000011111001212010020102012010212201121010121122222012102220222201012011210021100121200011210101010111021010011220011101202221111201022210122000202", "0021002221011010121100010111021100210201211120212011000222221022212120121121101211210102120110222112000101001201202010101122011101022021101101102201210101", "2022221022022120201020200110012122212001212001101102012200101001211120201121021020010212021012211102012011200002001021010202012122000221021002021210212222", "1200010110222011221000022210101121102110110020102010110100121010002112101210022111020222222222002102220202012021221220110000111222220101011000022210211122", "0011202010212001000120210222202200020202010020101222210101122212211202212212210010010111110211121112112021201202222102020102020100200101222010122211210212", "0121112010202021012101112221121101221110222100122021100120220001102100120002001011111101222202012010110101100002022221000121100102121111212110011210110202", "0200102210121100002212201020111212112100210110212112100200110210012120112020120221022202101120022001001102020121202101202202011220220222100000111100110121", "2221010222121212120110022002111202220002001011200011221201221112012000222220100012201020111220210021011101121000120210122021201002210002000010021011011222", "1020222011112020002120100221101101011221100210002101201122001002221200101120011110121112222210221011101111100002120021001210212100002200220100211012112000", "2222021010012011222222120102210220211010202020012021222001000200121202021222111201202121211011002101121000011110122021120011110011210011222210111100111121", "2210111112020212101200100211222221022022020022000121100221122021122220120220021111202200021001212202212121002210122011212200022002210010100200120011122112", "0202211120111120122120212202200012020120022110201101202222020200221011211112210201201112102112102110221011100000110021022101122212022100210022101212021100", "1122210202000000220001012122020002020001010000111101222100121111000211102001001001202011111020210011000000022022112212122201221122200100100022212001001202", "2210222121222222102101202202121111002001110021020100110211202211020210212000110222212021000222112112020011200020012201100121021110111011021201112001020221", "0122122212001222102201211220212122101110211122222120001021012220210001122012112020010011002221222100202221112122101210010201111002022001212021021022111120", "0002002112001122222100221110210202111001212111020210001122221102101221011020221000022211120100200001012020201220200211202102022210020210201112221112102022", "2022101000112201022000201120221201121000221020120011002111020121221202220211101111112101121022202212221121111000212001200220000212110201120122100010212001", "0110111100220210021001100102222200010210222222021021211202220111002002002111022200101200120110121200202200200002000112121002022211221102002200022212001112", "1222122002211002012012020011111022110020101200222111222022112202110001220101011222100121122000121002202010112010020220121210221211010111002002000022110010", "1010022122112102210221100001020111220100201222122111022021121020122211210110010202002012111002000112121101202200110012220210122210211011200021000222022020", "1222110210121121210010111211111102021121110202011222210220110220212112110001022100111202110221101121012021120212222122022020211102222201020201101222201001", "1002100002010202000122020122200200110112022021201210201120222120112121100210221222210201211221211100011021112120122112001002220000010121200111210220200000", "1102100102000001101012001022110212022010120020002000101111101122100102001101111101201011200221120001100000221220201220120221010100021102220222021100210120", "1000221211100022100222112010020102122211110102012100022122120202221022101100121010101121200202110101222121021020111121102111202220012021211122021210110011", "0111001221202100102121001102102102221010122101201222100011020100110012101101200222111111111021120002101110202210102202002202120021201110022022221112112012", "0201010200100211220222100112110211122010012022220201002122000122210112221100222221210011101020010110222200221112102211220012120002121222022200100022111101", "0010112211001222021110210121222210110111112101111002120002100211211022111101022210021200221020121021102111201022222111012102011102112221102100210021201011"]); y:=CambridgeMatrix(1,F,154,[ "0022021120211110100000212201212121010010112021011202122002001012001011002020202122000121021121100011111211020010020220122010000112200221221200020121020020", "0000021120220121020200000110100210101221100120110120001202121020000102002111220002122112210211021202002211010100022212101011201102010012120220020200020100", "2100211201001201110221220211201112120200111021111010022021202022010102012101012022000222202221110010001011122112220210201222200111210000110010102200200120", "0002210100201101212100101201020100212122211200110012100101020120001112111102200122200100010020111010110201101111122210012221110111122120011210021001201011", "1121011210012010101120010202111210220020101020121212002010120212020001111100200110211211010220021000201002210212121000122022111221112110200002100222201012", "1111210210202202011010111212221100121000001001020102021122202201222010002001122011021021001121121101021100022122102122210012011022112100221110220112001110", "0102101210121102011201201122210222101021202110110210121121121012022100111002122201121010121111020012122112010012122001221110000002220022121012201010211110", "1012202110020010201201110111021201100011011020210111020210212220111211012002102002220122200110102010012022211210002001022222211002121110201120020020212010", "2101112212101122010011022020000002002120201001110000121000120112222011011122100211022110220102212000010000101000122210021101211012220000011111022120212121", "0201200211010112011022122101211122021022012011110100220112200120100122001020020212210020121000120000102102021220110202110020200011122122020111120202122211", "0010022212222011021011022202112112211102020020221022112202222212122212021220212110212110022221012122212022121121222002200121211102100212110110000110112120", "0122100222100120022222002122122220201022011120012102110002222021201201200101001102220222221220112011021200000002000010102101111200120100122012120011002210", "2010122200211212212111122112012121111220000220222002100222100010012222202201101122111001212020202022211102110021221102200101210201111110000200111022201012", "2020222000212210102200011210002001201100211211222100211021012112220211210200001211210020212202000221222200200202020120211200002222102201010121222120110221", "2121001022010202010001120021211111122200120220112012022212001000200022211120011012211112011220101100200121200201022000011022011102100020110122020010000212", "1202222222211221201011101112011222202020111022010011121221022101020002220102111222200001000021201201011122122102020212002020202102220222102100010002112011", "1221010220010112022110002102202002201100102011021012111222022002120122001210201212110022022000220201201020001100011001020002222001012221120121202112021221", "1220211102202212222011021100200122211000002111221202020202200201221002202212022221201002220110220220200120221111100102212202020022210000110010212212001110", "0001201010102001111200011002202211100200010002211210101211111212010100020010122001010012110200211100000022100000100100112011200002011200222200212112101121", "0101102012121011221201102200101012022000121210110201211010200222121221002001201120001102020102221012202210211001112220001100010212122010021010022011221022", "2021220101221110201021022220202101220102010010222101210000021000220202022022012020211100122101120110200221102110212120201202201002202222122200102111022112", "2211012102121102102021112110220200201001201200212111011221110100011011121102211111212000221020201212001010221100120011000010212211020111001222121122111010", "1102211200000010222120122211120020011101000200222212022011121220202101111012222011111111122111112010021010112222020012111210120121111100000210110210200222", "0212102020021122100000201122112102101220111022101002212110002000221221101200122100122012202212212121120002111122202122211022210012202202021001101002121112", "0111221211010121222212211022021020021011112120021201220020021002212222110222022121221220022212021110111221120121200021101220012120221221101110010120200101", "0001100021221221021001202201110121000021201001022221100201002101120121212211212012012002120102101001200110022102202010202222110210020201121121120100022022", "0020200001202111000222202120010212100212111012221210122201122002222212100110112111010101021201210211021212112012222002112110010010120000011010001211021022", "2120012021122101211210012001112002020000021211020201011122222211112111111021202101122212120120221100211122202122021111222211022102201000000120210212220012", "0002102101001121110202022100220102211002002011020120021120201112012102100102202110212221012021212210021020200101011122122202112120001120122020200220120201", "1002120012201221200012001200022122020121120012102102002111211001121101211110101000201211220210122012112122011200211011211012121122110122110202110210111202", "0220112212022222012200221100222001110201201211120121101000012102001101122002112021021110121022122122002012110220202100202121200000102121210001200012201110", "1020010100201121222001100011122222211102002212202120022201000202020211121101122210120122111122102111111000010202212210222010101100222121220202012210201121", "0210001220021001002222210112000021201020212100101001121001012010212101210012211122102212022122100211000011011221010110101001100201221020010122102201112022", "0002101022121010120222100212112110002122021202222221221022122001200011112120212200121022121122221121211102211200122110202102100201202200221202110221010010", "2122000210201211012012010000102020212120111002020112110000120022002112221200222202112102000122211011020000210211221021011002211020121020020120120011220010", "0110111000122202020212112010220211212002200110212012111111212212012210100112012200112202211221120011001022111011220020202201002222010021112011212012222022", "0022000111212000021101112211022001120220211000220102201000111200212001222210011002000222010222110002202200012011121010221220012222202212002100222010121021", "2212211221121210200210210122111222112221201212102022102022102020220201111102000100200022011000020112210202012011201110221211200222211000101002222111012000", "1221110122210102201000111002020022210120111001121211210111010020001020110002120122210122212101111212222012200121011002010001010221102022101200001221020202", "0202120010220020201220100000121101112110002000221212112200122100202102200221020000111110022122202021010122012011011000022200222020010111212121000111120202", "0011211122220222001200011101201022202201212222112012001202002111120212121110022101110210202102001222202202211110120222220000000110120210012202221122221000", "2200102112112221112222201200110212112111020120202021001210221000020010211221111220001120101022210122220211001120101202101202210222202010011111022101200020", "1212111021112100011100220110201212011002202210201112021111221002221021100012102102220202011112022201110121010012010101002110211201111220221102111020112201", "2001122012211101001122111221101210011112100011121000012012122112100122002221020200011212212121102000200201120100000001211220021202110021210102011211101021", "2111101000020100200220120211000120211221201211111202211210221220122020022121220111121001212002010022011121011211200021220121120010212211221200022222011100", "0001021112202200022100022021202111211101022100011222020121120111200201011120210200202010002212202210002220111202222021200110210002220112220210020020102210", "0000010102112000220012121020112020010212001020220222221120220110201200201212022001202221011011022122120110202122020010101102021002112121010201200201012001", "0111202221120012010000120212020121110110121000000011000201011101200220111221010220001221202212001022121101021001220111202020211210101102001102111001012121", "0010202121222021100111002112011010111122212222220221202122022011120121120112021001000011120021022110002011212220122120210212111221122102120221100221000000", "2122222001110020210211112221000022221012221001101201100222012222222210022011201221101202220120221212201020210120210100100121010221211102221220122211211012", "2220102110211010210111011122222201010110122012101221111000112220120111221200021110120222202211022120101201222111020002211011210020221222221222120221021000", "0000012001021211000021012211111002021122221201002210100000212212121120122110220001100022212112211012211221212000100120110001212211121122221002101102001201", "2101012011001020021112001002202021220020200211210022020001022010200112100202212212120000001110111200112111201222022211010222211022011222000020222210222021", "1220221022021002022122221220022212102200020101221012022012211120021020202020220020001222110121212010110001000111200121201222221110201122022011001211222112", "2102002220101122121202112202021220220110020202121110201022000120101122221222110011002201102001020020112221202221100110210010100220111111100020002212002001", "1101001121220111210200112200100200010111020200011212221110122120210100111100120100000021012102202020101012021112102001102002002021121002222210020002101221", "1111110111122001220200002211111021222110010201102221211102201222012102210212120100221002222210100112101020100210101012210011102221021222010010211222022110", "1101110000221122221121100221110000022101110202212111222222210121210210022121212210210200200101021120121110121211120100200022222112222101200110022110122121", "2222221210222012121002020201101111021011221201000002110021102111121111000210001121200021021121010201212012020220210200021201112100110212211222020111010222", "0220002010212010222221210122111220222021102210210000002212221201221221122000202021212121001021100110011201222212010210112202020100112122122222212002021201", "1001022111112212112022102220021002122220100122100211221101202210010002220121010020121100211110022220010200021120210121010011201202000202002222221110210221", "0111221021211202211212122000210102120201011120112221200110002000001222202210221010220202000222012100220221221201212121001210122122121200010200020010210222", "0211122100202111000021120200202011101202100110102120022102002211110000100101021212101021110110111102000221111020221112022200212122112000120100222110212122", "1222112210021111000202011010022101101222021222212102121200221212101111001212212112111002110000212102002100012102200220101122222020121022020011222011122010", "0212200100010000111022222122100112212210110000110201200010211202122200101100012020000221211120101111021221100021210102222220202111012211021222011011102101", "2010012121022021112121112011001020101100002210212100011200101022200002100110011112001110212211212202022000202100101221010020212211020022101111221222110121", "1222220022020111210110212220020002000201100012221100212222122210202210122021012210100210122010021122112210210222121010101210101002021122200212002211201212", "0010201002221122000001201211002112021102001221102011211211201201211101212102011220212110111220220011220201012110210011001120201122222021201011120212111021", "1010100212100022021111001112221002011121221021012001002001222111210111021102102011001010212111120101111222111002221212101122011120122000111010022120020202", "0120220222201210002202102100021200010022201120112222202012021102012200210212010200022111021121120022111220200002200222022112200112102020022020200020210200", "0121221012201212021020202000122001210120022100021122111202100000011222010210010221001200002120222212020212212122120212210012220000120011001200002001121110", "0111212000010222001211201100012211122210102122010200211212210221202110121012102111111020121002011012022111122002000120020201121211210200122202012120112222", "1201000200102000000222110122001002202020001201201101022012212211112201022022102020102001111012220021121020000100001222120222012101021012010112210201120120", "2102202212001211121100001100002102211000122021112222112221211112000200212022200011220000012210011122021011200200221200212110022200000021021202201000212020", "0221112110012100211211100120120212010010202200012000020002221102020010211111210022012000022101011112121222222211001211202222120112112201210102121211012210", "0002212000101110020001200120111212000210021011020000212220202120001200221020100200120011121100101102022010221212211012010121102210010221011000010001200222", "0201202120021210120002021112200112121022101110120200122121221121001010201122211201002100022012020020101002022012011211220010202210211102212112111121200010", "2211221000012212120011120010122221020021220112101222012122120202022221012110022111000220212001220010010111120022111221111121201110122200022102100220222012", "2101201211222020021112212021210202020102221011002201010222210021120100110110202022100120122000100002001222112102201102111221210200220020222101211020001210", "2021220201010112000210202221110011222020212002120020221011121211120022212110002120101000221102011121202000210102211200110020210220021210010210121112200011", "2022211201201111021100021112102122121201222220122001000201212201222201221210101221000120211101210001002010001001210121200102200021020222220221121201100010", "0100222221202101221002112111022021000212201101001202112100110120100020021021201001020022002220120101110121021101122221101122211210111110020111010200202001", "0100211102211100122101020021020111111222110001202221201220210100112212202010001222212000012111022122102120111012221000211121012222120000110020220101120110", "1021010021012101212210021220222000101020000021210201001211001100120100202002102200100200001002202011111202020120012022020022012212122210220202121011120120", "1111221000202210021201112210000011120121221002002201022022002221201012011122202111220102200222022020110100210120110111111112002022101210102122010220210200", "0112120001202110210010022020121010200010010020211020210102011100201002121221100001200202111221010100201102110120012012211201212121010221112020221020221002", "1111012201002101211201022202120212120011000212202202012210222102202200021200112111212220210221211222212022002011101112001021211202100010201020202010010011", "1112110102202111121000200000112010111101222022202101122100220002101001101010000102121120210202100011000002221220201022102011021012020022221021112002022121", "0122022111021221012120110101111121012120020210100212100200012122211222202001210212002010221001122122211021102110202021120121110222020000020011100110111000", "1202010201101122001200010020112120111110221012111210002202100110220111220100020102210100221202202102101101221002021201222220021012120012002221021001201221", "2010011101001021002220002100211020121210002220200001021100010020020112120020200110120011120002122202101021012001201112200021101111121101222122121020020220", "1122010022111010200221201122211022122012122011010222021111200000222122010022000002011222111221012220112011120021221222222120100211220011111112211021022111", "2200121021221021210001110100021201200212210212200022021101110021000201002021222212222001101120100111011000200002211212121011021002220201122022122221212210", "1211222000101201122002120122202101101012212112122121212100202020220021002211021110021012222001001021001101222010100021120121020210110222221210121111102000", "0111200021102021002002222010212010200010112210202010011110021220220011202222020210002222220001200212011010100002220102010110021102110210011012202101110020", "2022212021222022021220101210021022001022102200120110110022211222102021022111021201010011001101110111021002210210100220021022121112200110011011120200101111", "2012102220212022102022200021200221102110222122020002121120012212211221201101100211200221102012022222112020220012011120010100212211222202221122011121102100", "2020001120210102122220101111220012200222021120102220021000222021201210200021120222122100221211000222102121022022022201211210200202020220112201202020002220", "1122001220100121000120112120021011021220022112120002012000101210222210120112122200120120021022102010110011121120202121100021122112102222211211221111200200", "2020010111001121110102000222100211012011220122101111010201001012010222101102020012222002000102100010020102010020101002212002212022010011011000120212120111", "1221100000212202201202102002002100100020101112120211122012121222121200121220101210020022110100102101212010120001022120111112022011120221211021121022211001", "1002212021210121202111110110121022020111201120122121021021210121202201100022212100202221020211022211221222100112220121100112210010210110120100212120002212", "1202002201121101122111120222111012011222122211221001211121210211121102111120200021021200122001012201021002212121010021102012201000222221210222220121112120", "0011200121112121222000121201100220200122020000202221220202221021012200210112212112120101100222201122222122022202000210000021110102221120110100211111221110", "2022200021010011211201020100221121221002021200012210011200101002111010101211100022121210121010012021201102111010100011010111221212110221002100201200211120", "2111212012200120111111210120110220200121100210120221201212011002010101212020002011001121012002211020020021211222012001022211002111120010102020110022101101", "1122020221101221221210022012111101202222111100110211122120011220120011211102212001101022202201112201111212021122210221112121000112002102001010000212020020", "0201020111012200210121222222002221201210112200221001212010212120002012111220210100011120012110121112210121200000012202200121011202200101122100111021222101", "1022000211201010212001212021010101122122121220122212122210111110220102122121212110010212200022102011122110221101220011100212110012122010202212121200202111", "0212202121022022100101210010102202021121202221120010001212121220122001202121211211201112021012212200220122200122022102020101011222012211212201001202110000", "2111202112011000212101000022210001212000120211022211222200012010020202122210102200010120202112010000012211010202122120021022011202121221221012100200022201", "1120122212200121212201121210121122211000111101012000021022022110021210110220121210201212221221022010201000122120220221221022221222120012020211000010111222", "0022021112211210200110012001020000000120101101000012022020112212201100222110112211111200101101222000020222120122012010110111012220201002210121000100212100", "2110200100010000120002200022222211012202101102011212020211201120222122202021101020121200011211111022100111012022111110001200100022201220221001210110221221", "1220012111202200001000010211212001210202020202212011010200011110110202202010020220022021102120200201010002002110001110001101022200012111211011120011201212", "2102122010121210020202201201101200020210021112201121202001012022001021021012012022111221010102011210111102121112102022201101011202021121001101001100220102", "2010101120121102021022102022122211102000101210002220120021000101001102112201120001120222211211200210212212011002121010012012100000210101110000100121021011", "1000100110121122112100020201001022202000211102202000220021010221121111112122121001010010102211002201220102220121021020202101011120200222201121212001220011", "2020201021022011122111012111011202111110101201011220222222101120022120101220001120112021202100102202101112001221122001110111111122121100011202220100200000", "0211011022112212122010121100202200102212121201222200020020121012000101220111012122020122220122020200001002221200100011021211220021102011011011222102021012", "2120221000201122001020021111111121120022211021011000121120111102121121201212010002111222221121101222011222010212110220112002221021212102021121200222111220", "2200012121102202221122210112011120222121221101200211211121010011222101120022202210112011102001222122220222122001010212102200022221211100102210201210121222", "1021002222112112212221102011120121110101222001211120011021011210100020221120222200011121210120120011012110212001100202111012202012020100021112200122222111", "2021101020012012011001022121211201010020002001122112212211021202202122111222102100100222111012100201121220100221122112120201200121112001020121002120011000", "0102100200000220012010112200111000010101122212020220222101221210222111120100200101121000100202022220201212222012022011212210102011020102220100012110110001", "1021200002222011100021020101122001011120110110120100011121000012012102020111120002011011221000201122010001002002221122210222020012221221100221001112122021", "1102101202222210122112211100200001212001200021220101200122212010220210202120000211121012012021112112012210121012011210111220120011021111222202111121000121", "2110201121021210100122221221002202001202110000120001012210012101012210201012222221020110020202112220120020122100211020102111112122212222100202201121200022", "0012220220211100011002201211020101202000012210112222020220020121210221200210112211000202202222220112211110010101011121012101111121000100012212220121111110", "2221222010211011212101111011221000111011121012201100021112112111001111110110022002121211020010002020000120010001200210120220120011202211020121001220100221", "1021210102211101110112201201022220221220001202222011201000002110021200222111222112111220102011210102201221122000120101001220100210200211202112222010022201", "2121012111001001012101012122022021000121022212002112011021210110110111010200201220001220220202112201110102201201110102110121200002200120221200122200222010", "1212020001011000111102120202100111120021112002110002221010200210101202101212202012121200102001100021222222121111100000000110101211010110001201020010122200", "1211101011212100110102012010222021201000201122212012002210110111110122022102211110201012000021222220200212111111020221001102221112000002111211000112111011", "1121102102210100212102101120222120221222120110020102211002100011102110010211201200021210020102002102010012002000122101210220011000002112211122012122210002", "0122200120211121201011111000002001211100010121222110121101121022120020202101100010222012111010000212201020102201211020100021010211211221112122022200100021", "0112220001200110010201100211101100111112202201001100102111202210221022200202102120100122111122000002122202201202102000020122011210010112201022222111201202", "0120022200022121021111110121221000021101220011211210012121100001212002212102200102100021022022202012102010002002001010200101101102011002222220022122012112", "0101021010021220122012120101022022201101212000020110111010100110200021021101200120011101210110201122010101220212022010222010222001120102200011102110120210", "1220121211200211210220011012011000000021120010100002011020011002021002000111102110100021020212211010111122011201200210201012201202122201211022021220111220", "1100221102120222002120000202012022022201120010111110102200012201212211112101200101001000002111102211002111122020112112102022202201020110012220001012102201", "1220201201201110111020100200201212220222022120221220100001222011002022001202022000201202220122101122110121011101220001011002120210221120111210011111212212", "0020011200122222220120010212000001022212101001222100102210220011021021021200111120221212212202012001222000200120022110221021110201110111110010011012012211", "1020211221010102221111211000121202100120120202220211200111010110202220222010020112210022211200110001100021222021122100011011001110212002201122201110000211", "0022022222020010102221110221111021120110110122220102221212010020111001102120111121102112011110102212120102110021002212200011122112201012111211200121211212", "2222212222111220110011120101122221101210020121120200122201201122002121100012202120110202100020222222020212210200210100101110212120012002211101222212122020", "1001020220022102202101012122222200211222101012022020012122202100102100111020120211210022121222010000211121122121010100120101121112022112201022001102010202", "2210201022001021021021201210012001002002212002120100200011000021112120222202200210022212111012111220222021022212221201022200111120112120221200021000101122", "2102021220110111000101212011001110011020021011020210220110110121220202002102121101200110111012211222002100011211221110201220210200222020220202121212001111", "2212122110111112111021010011221012102211222121201010121210101100020102021121100110212020102022000111200110200121220201210012202210222101102112111202021021", "0221201202000200102121001001020222121001102021200121011012001102020120020211201212100121022212000102022211001001210021102211221010202211021202111001102222", "2002210112002022222012120112211011122002212022210101000220120110121222121101202210001001100001102010121011002120220112101110112002021121021011122112221011", "2201120101010111022200222011221221200212202102011021121001210220010120212012022112201101121012021101112211210201200021211222221102012211222100120101212210", "0122222012221220201100020221100101122002022211222001022021222010112110011202020210211111200222001011000100010122210001222010020221010211210222111001012201"]); G:=MatrixGroup<154,F|x,y>; print "Group G is O'N:4 < GL(154,GF(3))";