/* www-ATLAS of Group Representations. 2.Fi22 represented as 176 x 176 matrices over GF(3). */ F:=GF(3); x:=CambridgeMatrix(1,F,176,[ "22211000011120112112210201011121212020021012102000221200120220200210112212000000212122010101022210022122000002111212222201000101120022122101211122121021111020000210100200110120", "10001011001222022120121020111210220002101100100101102201211000222201021121100222002220101211221011222001101220011220121122021221200012002222221220021112210100112001222222101202", "00222022100002222211021100202211112010012001201002211111012000010221202012202110222211021022121120010011220121022001200210202010121202121210010110122222212000212002002001021100", "12011020012210221022201221211002222000221211212011202202011122222202002002021222121112211000111201000101022210002011111102122222001000112110100101201001112222102100122020201100", "10000012220210001211002021100101201012022020221012021101220221221010110210012012112100212122222112222011201201011201111202201002001011200101110212022200211200010210220212022021", "20001111210221021112212001112012202021010221002221202210211220021001222002202001222210001110210112202222022011221121210211220021002010112102010202101121021111111011012221221200", "20212220001200011122111222000110201010210220210020102210202001210011101210222002201102200122020121020110010102111022100111000121000021122022012100121201221201200200102100210221", "11011222211211101221210022222022120110102110201001022101001121201011211121002211202101020210101212001220102212000100201120212222120022110201111102111000121001011202212202222102", "02211111112010222010112110122021022221200102202010220021121010112220012202011100200212012222222012210212212112201222020001120122010121111220210010222221122001001102200201121212", "20102201110222102221000110111211100221211222000101102020222112020102111110222022201102021112101100121211101010011112100020010200010022111001102012001112100022002022102020210100", "02220202010201000102112122221012200021120112200011202010211120001100002112000110022012201021210101002000011121110120021111011212112210100021220220100102021200022110112201221220", "22220121002222122210122212012012101020221111100101020012011201121000122200002001212121121002022010002221202111122210022121011110021010202211110102221120222112022202000212121221", "22001111000020112000011020102020211000010202120122021202000010111010110200111001202100022021102012200001211111101122021111111111201020211012112112201021220112100200022022200110", "01002102201110220022202210012020102110111111122100202011221012001220222211221002221020212002111220200221222202102010011010010011001020020010222001111020002100010201000101202001", "12000120210120220222020000112101222001022102101001000221102021002122112102021211220000122122021000121201010221211220220101000201022112211001101101201110002002212012112201101210", "10210122202221012110210222112222211202020010100222101000002011021001201000011100112122122122011221000121210102101001010211010020120211000021000110121110010221000221020220202100", "10022020112100100222222110020022022111002020001221122111111112010201201220022102221012102220011001110222020012111102002120100202001021202220211000001101220210121221000001120121", "11222010020121101021111212112022022001101211000201201002022210002201002121220020212002200122202012111012202000222111102202221110012220202100210202222010210200110001120000021211", "00002122021201011100211000111121200101210112101001202021200021211120211012102202120020121102012020211202111100012012012121101111012021211110102210111212201201011212222112121220", "21222022120101022111012112200221102212200011210212022020002200200120202100101020102100100111202222120212202210020222102222210022110011101222001000021110001120021102202121112010", "20210001022201001000221011000000100100022222211002010100210100202222021121001212212012001212001100022210100212220200102002120121022002202010200210212202110111111102201021222100", "02011110211222000112011111102020212202002022200021020000212010100210020021120222100101010020122211212210022021220020001111021210222002112121010100201211020122122111112121020000", "01122210210221022022121111211121122100021112220212000002010020200220000011111110112112011100102120100010020222120201112212110212221112001212120221221021202001111212011111021022", "22020022211000221022121122111122122022110210011212202210010112000110020121120002021210212101201100001101020102222121220001020111211210011122021202121000020111122000211020200202", "20022022202210101110121000021010101101102200021110102101211111121010220212012202120021010100212021020122022221000201121201021202020222021100221201221202112122101122002110012011", "02012122212011022121201220100121011120120222101121111110010101112201111022202010201002001022022201212001211222000222011012022222201020200000010200212021120221212120120120102210", "01201202222110201222002202022120220121220220001020222011221211200212121101011221010211002221220020112010101222010020102110111112021000020001022120212120120121100101022221022100", "02111212011002100102020010001011002121210200102110100221220102100112020112122021112010201201000102100010220222200110212211222101212022201012022202022101002110101010212221201201", "11012010001112121202211201102200012211111211121000020200022121011121002000212102222101212221200011211212002112011202201200221211121112102112220221121201200011012022200010112211", "11112000101122120022021201000002100002222122001101111122201200000212111000011001100011211111211110210010220201101211202202011201101020201111021102100111022122100202101000202012", "10002010100210000101100111222022102100212222211212120222010120101102211100002210011112222120222100220200001100220020002221011022202202211100210200100200202101001122110012010111", "02222220201101110022221220020200222112022202010121122212212121211021020211012001011021011002012100000201220011101121020121010200201111022122201112001111112200212200100002221112", "21110021220112210122002000111012222211110000212112202102100001110202201100101102210220020011211010122101002110101022000220111111221211020000110211112102011210220210020222220221", "21012002010012002101202100112122220021211222210000111002220100022120110011022021212000112220012120111122002111221200000022112220001021202011121011000010101201111200222200022122", "12110022010100012122201020212222102020001100021111210102001101011202000222201202022220110021010122001001212101012201110022102220111120011002110110121111122111002112211001001202", "00101020221111001022200220120021201121201012001222212110200211111020220210210122001001201112120211022120011001012022110120221001200020101012102122012200210002112220211221212002", "11102112202200122102111222111122220121222120220110000020100210212222121222220120020210202000122102020112012100020020010121120201212121100111122111211100210200221000202122110101", "21111021120201001222022220101021010012112110102002112122002020221120002012221122101221112001201222220121002022212010222222211220112102200222221212100010020022111112201000112010", "00120010120122201001221102112221120020200220100022201100100112120112000022122102112222022001101222200221100112222101101111101012021000122110010210102211222012110020202101101020", "01112111100120021111221111220002100110212111210120011211022102102022201022201020121212101021000020000212022221222021022011000200220221022002121100022211102022220220221000212122", "02112112011201112110110202210000122101221200111120100102010120102101022121121102122202110020210001000020021212222112011101020022021222012010112020211021102001012000022200212112", "12102022010012110201110101102012111001001210200001210112221102100111102022212000220021001100200212102010210122201120121212121200101100022121101202102222112012220221011121001010", "22211200112220012020012021002220012011201220010001001021222021020112011020112022200121012212110200121020210221002000101010000102100111212202002112211002011112002200222200010120", "00001220121112102200011000110120202012000110012211122100011220202122222012020221020010001001011020002111222021021202110022222121101020122012102121102212200111210022122101111200", "10111022011210121122122101020022202201022200122101000111002010021102121020221012001222222200112100000121001100120002202210111012112122211200221010112011000110010221001222101202", "20200122220021001022001112101012210001222010010211210022220022002111201210011122010020120012121110102000212020212211121001002211011220112200101200012011002001010111110020110000", "22021102001001100002020222211101020200221011001112201022220122121021111120221102201100101022111002220221111200010210110220220012110112200002211020020112212120210101121210121111", "02210001001222210121121102121001121111010022111102000201211211012211221212212210220012112202001111012200012212122000011120120010220200112022202111201001100102200200001201000220", "10210010202101210202020210222010222210220222100111020212220221012121002222022210110211222112010120102112111112021220100110102122210102012022000211100000120101211121201221221112", "01012221121111211112210202222211120212221011020122111110110120201112200011111011112210210220220021200002001012220211202001101020002011110102202100002021102020220111020210100210", "20111000202122010221100200100122102200212000021212211201221001121201222120101021110110200212102010121022101000212102012020011020220120002202001211020011201112221001222201101021", "12210110211202220012112220200111022011220110001222010000221100220022112201201100020110211220122202111202200001101110221221021102111011200122010010010001021212210112001010222122", "02200211002002112222202002120212021022210011101210210220210121222011101102120201122122202111120001022011101101110022020000220111022102022000011120220201011211120010012212012022", "12002201011100222211211121111020100221002200020222022220022210212220211011121012110211101011000110121112221100002000012212222101021202112011110202020122002210121021121100000220", "20220111011002021001110200212012122021101120101110211200021111222111210210121201102122122212012212201201201221212020211201202221220202210221220121202222001202221002211102212202", "21020221000222121010220100022100110200121111200010220212100012020201121221011221002122102122011120110022021222102022021110022100120220202210220211111110012201101101111000022220", "22221201202110201121201121212121001111002110221120102122111010100020021222210102210220020002201022220001001010221012022121102221122122221202121020000102112020000012012220102120", "21000111001001111021110221211210120100021201221010021112112221010001011011212211000212222002201202002100122200221112000002210200021201220020111210012020200022021220102112012121", "10221200212101210110120012202200021111022012211202200200211111211110112210220111201100001200212022002110021021101211202000101221120000221122121112120210021002002100102202221122", "02102122021011120122011001120010112220220221221102011010210002201120201222020211100112000100201000110001012012100202110001122021022222122200220220012211202210220212012220110020", "21211112012112110012120210001122211120222020000220100212002201011020111202220200011010112221021020101022200220201112002211211102211012200021101120211222212201001221012122211120", "02211100102020021012221111002220120211111101122111022210120100000102211000221012002100100111101222111022220222022202220010121010100210212222221212001000212110100022001111212212", "11002012202201022211202110201202122222012200202022020220111120220100002012000220212222120011101110012210110001121222121101100201010102010022011100122110112001201202212001002020", "02100211002201211000200012221220100122220010221101002111022020212101112222122122222211021010022211221022120101000220221101011121212200011222101010121220001010020110122110201011", "10212121102212112212221111100011010012210222112200100100110210120000000000112021221012102001120202200022001101111212202020111100000222220020222122020001110221021001211211220210", "00220001201100100110200200101121100202220022201211201202100011010212010022001021021121101010002001120110111000010110002220222201202200002112002010012212101201012010201121122202", "02222200202221212121002210102202220102122122111001200002022011101001120010202220222022112110000102002220021020212012202002210202221022222112010120212000222122020010220222011011", "20000000120110021022000002200120020122120212102022012210012120202001202122002201000202120022200220210012121102211220010200111112022102011022002200211211202021220120222220110220", "12121202201200020000121100202222102122202220020120111200022101010120022112212012201102220221111101212010200102020220211200022221211002122012102101212122221200221021102220222121", "11221120100212012121120200102112222112000001012211010212201001122022020121111101012001212211110121012202102121222011210010221200210011101000220122021001221002000002120022020011", "02100101100222100111211221211110120102120020000200110022101000001012000221101211201101021021201102100002011000222000012110111210010021102001201112100201121222112211110212111022", "02210201211202122111220200201211002221022011210000112121212120120020222121220201021101101121220220211010221001101011011002022100102221002022210110101112112110121012111222221000", "02222210010210000022220202200022201201122020102010101011220010012022222222011000222022101021120021221200202120211001122111002020012000110002120021212212100202002010101001011200", "22121212012221101001122112001110100121220101102201021220022221100100000212122201102200201211210021111000001011001120000221102102212210011122200010020112200200212211121221010000", "21202211212220102212111111020002100220201012102121010001211001211010222122121102102112200222022101022121001202201221001021200221120120121120020021120212000111202012202212222222", "21120221000001200200111221000121021102200012100111202221011122010010012210221011210101122111201202210200011221110122221020010020121211122011111020012020212200100101022012002002", "21010122211121211102221100212100110011111201202020101211220102101110101222001212211011001221220010222001002002001212002102102101220202120200112112212200122012110002002112221012", "02012121212201202001021101012220200201012202100021112101211101102221211012202220021002210011222211201020120112201012202011021200110012112101012121011100222210221200020012220200", "20011221011120210111110122222102101001121202220000111012222201211021202210222101112200021201202211112012002110222201111202020010222110002221120021221211022020120112022210002021", "21212022110201202001011110010200212021122110021201021001011102101110021120002200022102102000010100112001100100002122001222100022010022100112202222212210201000001220121110200021", "12201120021100122002211122110222112022210110110001201010122200120100200011210212020011011021000020021020022000220222110201102010211021021111210020022221020101010121102011200011", "02122002200210010001102120111012002102221112110021022012002002010001020012211121120220202121121001102002222211200002200201210002202200210002110121220121000210020001200111210221", "10200011020212201021220022101010001010211102101112201222100211012101102020000200011001221021201202100102002212211210101222110111200020010012021101100210221111011211122002122212", "02021012200122202122011101001020110211000101002010120100111111010000011122202102020020120011102112122221100120210201201021112111021020201111222002200022012122220222110121002001", "00022000200000202102012111220212021000222001010201110120020200101202122122201111201122102120011121220212000122122212200121101200100110100221011221200100122211102000012201201222", "11020211022200101201021110211111220200121012012111011221021011222110010000022010122120201122012100210011112101012002012110001111120221021120022200000000221010110100122102111201", "21210110202010212121102020102010222120000010012022012111202221201110220111101111222011210010210210212202000212221211010000002211220211102020102220020000021101111120020212222200", "00201202012110210112210221110012002121010101002110022111100122201200010221221010122002011022021011010221220020000222002012000022220100210101022101011020000021111210220211121020", "12102001201220121112101121121012002102221102111100000001110221220212221100020011211001220210022210012202202111110102222111202111002110012121001202121021221112202212022011102220", "20021012010022100201000111000021112110101012112010221012002022022012220200200211001110111120022122122100100011011200021000220222001001111011012122200112112221022111102020112220", "20100110000001212211011122200221101120202210011211210122200020002222012110111120212221122202011102201201022211222101101200120212012121010022101220012022200112112020101011102210", "21220202121110200021212111200202001221211120122102111000021201221011200121212121200112000100012201020221212212110102101222101110220221121221002212020201202201221122002201111111", "02011021122112212000222021002102122212111102020100102202101101212220122012012200001210212011120101222211011110011111010001221121002000011010102200110020001121212000220200002020", "21122102010012010212220021101212000012120202020221000201112102012220102022102211000011020110101122110202212002201120112212101020221102212122012211011002222210220002212201111211", "02100201221012020211211100211201102202200111012011220200100001100121010222220021122120100212212210002100002001211102020022010202121001212120102102010020110111122011001011110021", "20010212222211001202210211011001012000012120002021111012010222011211222201100210002121112102102012210221011000010212222201200210121220020122220021121121020011222120121122111011", "10212202001211112010121002021121222021001221210001202222021112121202202020111222201222212011011110021121002221110012012222022010212002212021020021012221100202101212120002101100", "21212011011222002010011220120022200111222221212112011202120121211120120210020000011221020202222122220111000002211221220220000111101002012122001200020210122200121212200101012112", "00000222101112112222202212102012110021112200120200000120010020001220102210010012120000001010210011011221212202021022011021002010210211212112220201120110212000011221201021011010", "02100210221100001101210200121012220201110200101222121221012012020021000000222121101100021121221022111001011021021121012110212000112120211122102110222120102101121200101210122121", "10022001010000102100200210000211211220100012101010022120212110200201212120002011222210222012122110001021200120221120121000111100120121000100200001011202200210202120220100101021", "22212200002100221101201212120022020101200222110010120101022001102021002100112021121000120101202211120210210211020202012222220222001022222120000122011020112212120110102122111012", "01000112212111120200111010100110202221220002102020200001201011221201101220010010200222202120222000221120221220210222122220101202111021001010222101020100002101011022000102011201", "11010001112222110100120211120210100222101102110000202111101202000211201100120221011010122010001101212112220020202202201020100212010221112021122010210210111111001011010101100010", "20202201011021002011220012111212121222100011121111010111202120001102120200021111222021022221220200010111201120000222222201120001111022001221110201110201002200002120110100222100", "12112201210220000221011222020112101211211001122110212122201012120012111001011212121002012211122212102201100201001001200001210000022000221121002201100111122102201210001022122222", "12011212021000221102121111202012202022021020021222121212220210222021001021201211120220001110220121000021202021110212111001111011011001020101201101220020010002200200211020020121", "00221200110211222001001021000112220121012121021102121220022210110120101121221201121011111102121201100121101211011110200100120102102012221012022201022210000222211012011221212220", "00000212210120001120110222211112120212010121221011211011000101220220002010012002101200201112012000110110210101211121121000220201200200120012202120101201220022201020122120222020", "11102012011010011101210201221110022210121111211002211111201202000111201020212101020211102122101002022222012102201210222011210111112101010121010221000221100120000210012201112210", "21101000211122020111111011220210221222110112222200202120122020021020011121222102111212112100221100201221111212001200202122121020001002122212222110002120111221020111121102220222", "12100201011022011111022202122020201122012012200101111220102200210010020102022020110122112200100101012202020222112221202000110220020120121110110202021002212100021212012110011020", "21000000101000122021200220201220201102201110210122102002211011212001022220112100110012112222220001202121101112012112120002021100200122001102201120010012111212102212210202020100", "21221221121102020212201010111021111020122011112201000102011020201100010121212212110012200011212122200221110111101221112021111202212110222112202121202111201010121110012200121222", "01122011211101022200202022002011122222000200101110111102022210112210010022201110221202200222222110011111110012012010112012120100210201011120121012112210212112012011011012112102", "02111101000221222220110121021220210110011002111100101011201010100200212221210121110202022010020002020022012201002100212220210010122212110202201121221202201111222120120100000021", "01020010221200022222000101020121222112221110220011211212101121100212110201121221001201012100202212210000212110011202110020120021100101002100220120201020112120110001221220210112", "10012021221022002011220021021121111201021220221010210110102100021101212101111020020100011100212221212211210220002021201020111212201100201221010000220222201020001121101001121120", "12110210110020211101110102201110002000112012101001020020221100012101102210010122021022121110000001200021011222000011021011102102000220120011120020111012202101100202200001022012", "20221000012200010212200121122110121222222121022012010012212022212022022210000100201222221010012011210022101221200011111100000110011022021100112201102102020121021110022222201010", "21212020221122000122020020112210022122002001020102220020102010010111222221212001020022202022222211211010121110122221120111010201222102201221120010211212221200000220010110210222", "11021021112022202021110020010021212001002211210020011122101001112010121010120201112100100122100011021020122110011201010002110120210102010010111202202022111002120021110021120100", "02200202201202011222222221210010210122012020010101010120122121212022112012010000212011011100200001200112001221100122112012211212200201112012110100212011010211122211020222221201", "12210211220211020012211120012200120112201001002100011011122122001011012001121021112122110010111222000101110211121202001020201010121010022210200121122100021212110002202210200222", "12011021202012122221122120102011000101221020010220122012012011201122222202020110012212221022011102101020022221101010102211002010212110211010002002102121120122110021020212011001", "22221000020102000111221012010222210011200212210111122110202102020111122020221110110000220021101021102121202121102110110112222221112012010201120222200220222211122001220222101100", "11001120202002010111001022012120120202202021122001212110021112102010211010102120110222210022220000012200110021001120122120220200122002201102202201102101211022222120121220122201", "10021201000001201111211002020120001200012012201220120011111110012121110021022201122212000220012211000100221201020102202022002001022211201101011200101101101220221102102020000011", "00000201211211110010201202111121000222211002221001212202011102101111122010222101110100111111002000000111200121221121120021100200210010121120100200101112000222201220100220101011", "12100111000112112121120012021021000001120221120020001220010212001212210021120001002201010111112121012011120221112010202121210122201011100222110002101100220022111120000212022221", "12122022002220200121001111200102112021021212012222220211002011002100001100110111212011011111010121001112101221111211002000022111121122102000220112211011222220101002002221002001", "22201120202012222022021021020111000000120202201201222102111210021111011122000210001210001002101222011211121010022212210021210010022002102102010002002012211121210010210022022220", "22120212020002002010221120101202201202202212102201121222212122211200110202122001201212200200200222020211002221221211220121202110210102000110001222000012022200101220020112120221", "00000100202222222011002210101021100202120120212021020211110212212122222220000220212210000212122110200011020221200220211210102002210120010202102201112020201101112001202102012022", "00112022022121101200001222111200220200022222202210212222021002211210001211111021101101200102011200110211002202211222102010101210011002201021012222020120022002112010210001210101", "20121100122212200100011120100121200110112020212222212001111020011120202022000122120020222110201201100002001212102120000200121110001222101021121022010120002000000020000201001102", "20210201022020001111110211201110201211201220000120221001012220121101112212022000202110122200220102021022221021021010212000102112011220210022000121110011111102110200111101021012", "21010100120021000110222111202222202122200200021221012011122100020002010101021200200202220200002120112210000220021010112212202222022122010010012201102221210121100212112012100012", "22101100202112202202211022220022020112201012112212112001112001022000111012212210210021001102220120012002201221220101102121000222002110212012000010020121110222110111012101121102", "02202210012112001210010212202021000212202001000202122000112110011122110121010021020020210101200112110212001020002010120222120012022220020020000122011112021200000112121112200021", "12200211000200002210220110110200020221120100220212112201022122101001212101122002012112122220001000022212212202112112022121022110022211020022200202002000010100021110122100022212", "00022111010112110012001210200021211212121201012101210221010002021122220100212120211021222202211021011012102121021100211220212012210011220021111022110010120220102012012000000200", "02220210122102110222020010012201010111102221122000201002212122010202000002112000002200201020100220201210022200102222022011111100212001202220222201010221210120010221221202201222", "22201102021201111001120121211010002111120002011200020020010201120222021002120021101200102212100211120200210002211022121101012022211210122121010210221102121221102100010110011122", "00110120200222110011020222021002221020012120002000021222221211000101112202201102111012110212011210102000012122221212221121102010020022000210000222002002100200211210122021201122", "01020010121101221202110110202211001020000210220201110021020012200122012120200010111112111121210222120211120102222021101121212012221011212202112112222112010211202200021000001020", "02120101012011202021202010202201010100121202200101200112002011121020200010100010210201002121100012110020202200222022121021101112120212222010001002122110222101121211101100001022", "20102121011010110000220021221210102202101200202022112112002211021210000211220201202121220210002122110101100000002111200022222102120101010000012210012220200200110111111220102112", "00001120020122001020222111122101010102010222021110021010202101110202012222022111001111020121101020021121111121110101022201202022002010021100120100220220212112210120121010122121", "00210110210110020202221201111221212010012110022210201200222211022111002100001021212012112012201112212000012021102220112012122222112121221000221222022102122202222221102010220211", "01212122011202020220222122012222002211001001102102201202220111200001111111001120002020221112210212222011010220201201001212202012201212000100202012012112200020220210202220201112", "11101201000200112111102211000002210200022120200201220122021020000220022112010222022201111101100201010221011221112002021021220111120100002221010101002112100022110201001000212100", "22001010002200111012220102011000001111102022012102120002101212010110101021202201222021210120112201122201211010222022122021101102201200100211102221101112110001102000212220020002", "20100212012020200120000222122120200100122221011022100122020221120210100110002000221010021011110110121221121000011221020111101210222002112022200102212100202121202121011121000200", "00111110102021001220200121101002212112102120222212221020022012101000222121021010120022010102210121220211202201220120101121210210221201100112012110022201022222222100110210122111", "11102211202111101202102212201211222102200211220101200221120202111101220111121022202002210002212200120201200021221011201002001022200220002020101021112010112000201122000021010011", "20021021000022011212210002120120211212210120220110002001002002010010000100002222210000100001102221122211212021022110101101221110210022221020111020112112111012121110021002111022", "20222200120102202022010021020202202101111021021122211122002212002021100201022202212210200120201212000120012122002010100211111112110002120111021020202121012111211000212010011221", "11201202200121111122212112200200001002222210221000002000210102110120002210001211020010221111201110120110122001111102112100202000022001020000201221022001201202102121201210121110", "12120022012121011202101120122202210012110000112002010012220110210000211100001210102220201220222021200112121202120211210101121000212121010020220101011210212212121120102200222111", "20220111202010112102112002120110111220022002020222222112102022010120211021200201200211221001212110221212211001201212212111012020220000012210111201012012020110002212000211021100", "12210122011101211120221012102000012002211111201201120102002211001020001011012202100022120012222122121211121020120002120021120222002000201101002222102222100121200020221211212002", "20102102021210010211021002010020210112120212020011102012121102102101121222100102121220012011202110010112012210101022002121021110011022111220210100202120010112010122211110022120", "11111100122002020220000000022212101100220200201211020121101220000222102222112021012210120121121020021120010200102002122020112202001021112021101000010010222001002012100000220212", "01112200221022101011010212112211111022221201210021000011210102021222022022010122102201002211122211120020110201121202102201101121101111002100212201220102020011012122112222021221", "12002020101121211202211110021121101010011020122022020211201122101021100101212021211112222112112001112021202122022021222021001222010020012002022210010012111002110021002220102021", "22121201200120022220011221112111101221220101120200210102221011110111100221102210102222221110110202020001210022011022011222112001001211011112011020222121212112222110111022120212", "00222112210210210222011002211102011022212111010000111201102201022101211001000000222222120010201022210020010100212202120022022021212200022000021001021010001000121010121102212100", "10220012101102112122220021222000101201110120102202121222012111020011021120111120220011021010110122121012102212120222111121001021111222111100111200112100210220011020212201211212", "22112100022200211000201211122222021012100122112120102120221102000110111021201202011220010020210121110000211222222122110021221102210221200002120020120201221112110201122012221012", "11200201202221110021020000212220102122000022221112022121012202010112211101120202210021200110112000101211111120000210111120220122001021110000110112211211212110122101220101100122", "22000002200212201112221110011122112212110010110211222221020111222000200201100011202211101100201221120002012210122111010220020110120120001121101202020220112211102111010000010100", "02010212021210110111221021111101122101120011110222012021111202012010012210210010022220102011012021012121212110122210022112122222010210001011110201211000011002120002212212000010", "12122200111222000021211200010220122200111101022210010201012212121002021222222122101110100002120220121121021111211000121210122001201221101000222101202011211121212021121102010101", "00202112010000211200210102112012211201112010212222220220100002100200202000021100121201000102020112100021022102102010012201101120011001000020210000012122202010102112102110201111", "20211202211111110201222100111102120210101102210201010102201221010021012122102120000120022220102112001212201012122102212120200222112011220221100111210212210211110121010022002201"]); y:=CambridgeMatrix(1,F,176,[ "10021210111012121102120202200012011111011000010200002122022212112001101020111001210112210212121102121210110010012120011020200112012221000101122101210101111022000002220021200100", "21102221102002010100022202122021011001021211211102020112102221110010002212112000212110221010120110221100102102102110110010220211100110112012110110202202022111002200010121220101", "21021111001021010022210222122210020210221002211102211112001002201222101220122200210122111110001102001002110110002010202002111200121112110001021102110211020212012100100020100111", "00011111010020022000100021011100012121202012111212002121210211102221201012110121020020112220022120021122012020221210001211210121211111120222211202101011100200200022210012002222", "01202012210122211202102222121221022111200101101210100210021110020210211211101022100110012221020022212200010222000110102202022101221221200102022012111111212001010101020022221020", "11012021110101200021001012211100121102002220102000100210222021000021100202002002122111220220100220011010122011210010021111000101112220020010110201020202012001011220112122200111", "10212201010112020212021012201202221220212011220012112211020020120021001211001000122211100100011110000222110220102210011002200121002220102201202202021020120001222201222211220210", "22112211012102202202210111220211110222100220211111002001012102220212200111020011222002110221001121112022000100110202100122010010122002202202100122020022001102222211211220200000", "10211120012002222220011120121010210221000101012020011102020121010210022020100110011200121222121122212121112000210201000100010120100221221010202022010101022122101212221211212122", "02210100210121100200001201222210012012022102110212010012001222121221122122120001202011221101120111222222211000211220110000020221020100021100100202002010120212220011220022102102", "12200110100210100221000221000122022211002020220001211012001100122110112000202112002010122212120110012000210010021122000122020001011210111022012112220201211112111201211102011210", "10112111111000102012220212202010110101000200120001001201210112000102001200021112002121101201012222101100001022000022010012101022100222101122202222200000002000111111021122022220", "21122200122111120121010210222111122221011101201112010010202211120010010221011010010102200222102212110222120220212210211210111220112001010021020220220022221002221010100202220200", "10000000010002222102200210221012210012021201120120021001011120000102211120101102220120121120212010121022000012220102110021202210101020011000000020120202200202120122022000202222", "00220202210121201220020021201122001212221000012112100212222121202111011110021021101222120211010201211010022021222221022121110200120202222210000100221122020222201210110100222011", "12111212120001102220100211002022222221112121121212102102011021002110002010020101020202210200110000111121011000100101200000000001201202001012121120021222112210212021122221101120", "22012002112022011000212112212200210120100201002111012120111122101022212102022111120012202022001202020212000211102211020210210222210120122222221011201121212210100202100022000112", "02021002100202121102202121201011121202212212202211200002021120211202200011221101222002110202120001110221120111211110221110012100211120012021020021011000001000120001101211222222", "21101201120120211100112222120020110000111220222021111102001010211220111120111211020112102111122120121122010010210221120220020120010210000211212102102112211101220122121100121022", "11012100002221011201210210200102221201002020022111000120202021121110122101100012201112000020211001101110122210212101220002002120122222002121010100000002112201211001121120121021", "22012021012222101022111001210122122121011022102102222021011011202211211111011221110001211110021000011002011221100102120010101000002102222210001211011002112011021102221012010000", "21220102212111022101110002120200112111001002121100000010222110201001100202110012222022022011122102001110212022000211222021110201122220110102001102001001212121202111111011011211", "20100112000111210022002022002102112000200212002200201202122022012222120022011121022212010220111000200211110202111220101210111022211112110000020010111022002201001100000110100101", "12002120100000121120111000221112200010210101121221211001220111110112110200000112001000102012112011212202012101120111001122101210100211221122100120122110022102221111112110121102", "21111100121121122221120012220021002010102201122222021010002100201100020201000022020101210000010012101122111000111120221121111010010011001101101220000200000012121202000000100112", "22010110201120022200011112012121120111111100210202122101221001210002022212200011020001220212101110221001202102112002100222211221121101010202020011101201122111221120222100011000", "02011001212100201112011220012101101021212200110210200002222110112221122002200001212121012221202201220202012212012111212102211022001122100120011000021200012221011211012121020121", "12000111201202222221120122101121111211021112001102210102010022120222000111220222212120102200121101200101021112202001220000111022020111001012010222112002022020112110211001012221", "10001121221222102011202002101012110120100200101120020022211200201202201021001022201022000020100200120002021202120022011022121111021220012121012100211001111100210021020220012100", "01100221202200201012220002011000212001211122212002220011210222001000120022111211102011200012201001221012120010021011102200011202011112110111202020002011202212220000100021100202", "21012102121212120100110220010011210121220110201000221002002001001112222012210001122011222101222010122122021011101011201211202022212002202122122222112222212202121121000200212020", "02002011101122110012020202202000011121211102201100111010122100201112222220120202022001121201210101210202121121110221021001020001111012022111020120112202012020220112021221112200", "20001021201102220021012122121110000102210000111012011211111222021022022001220021020121200010100022112111122221121220212212102221102122012101200201002101002002001010110201112010", "11112111002022100212112020201011100220102112020201122021212221101022200220200220202110211000122122111020000121112210211121011022222201010122212220110210220002111022002010211201", "00112202001001122101001222120001101011202220000201012112010121220202111210212012122200000211202002021220010201220210020102000221000220002011111200112012112000011021101202212022", "22211021200202222000201200022122020100201001011122000100120012101121120201020120021000020101222110212101120020212120222000200221212010021111221211200020100001100202100211120121", "11111121201222022002211111220112011120101201210211202210212210021221022120220101212120101021112211012001210012220000021012220121001102012012201121111202012121101020000111022100", "12201021221022111010210002112220212022211111121021012121222201122010001122101110111200111020001210200101020121202110011212211212101210000102200220221100202120022001200210220202", "02201220020210021022011012121102210000022012211201200021111111210122212022001102022101210220100121011122112221010210000112222202210201222112111102020011021001012220111122000112", "11110210221122220100120200122120212012101121220200100111111120112112012210111021011100002110120022020201000200111012201212120112110011022121020020111122001101110002002021122012", "12210222200221111010221221220111001122120212102000200121122020011011220210102101221222211101001002212112001111101122101221021012212122220001201222100002201200021010120200222121", "21000200122222220222111022221000102122222221221100220111222002222220111121102120102200211201202021212100120222200121220201122102201012220001100201001101212210211200111001111200", "22201120221220202210110002001102200221100222010021011202112220012201222202110102002012102012202201120120010112010201122222112210210021011210021001002000110102220120001002000202", "22120012200220000201220212021221010120222002121202122200100002000220112101010001021221021200121012202121001202102001001121110221110001121000212010222210201011112020222002111100", "11222001221011202222111010212221021211111002002020002121011210121221202122112021221022012020012120000021120111021012222212001001201201012010101201000102100221202020021122201221", "21200222112121011002011012022202010201210100122200121102110211010121111012022122211201100202201200221112011202022222022210121110120201212210200021121122201202210001021001100220", "02201010220011220110211220021201220000102000220111112202120012201220002122111112202100100211120000222011200022001102212200201220122002220011222211120122211110212012000022000222", "00221222011001212010112010021210122001212222020111222220210111110010201100100021002121201120222212121112021021202101211222011012120021201101212101200011000020001122000010122221", "12010112212101101002002100002101200111000011102121012210211211222200101112202021111121022011021002220000000121112200202220010200100001121122121110112122111200200211001220122020", "00211102110202121002110100211222121001220222001002221110100221102202011102000111110221001022210200202201022200000210100121111001201011002210020200202212010020212022012222111122", "22000210001201000011120011010010100222200121002010100210112001011200012201201021100222202010222102210112201200002111211210101110222001110120200010002201010001200111222212222100", "21010210122000002210212201120101022211210012210020222021010211101020001212211121200000111211101210000021201200012221222002120112111222211020212100120222001100221020010101100100", "20020112000121111220112021021012021111010011222210101220102220120000112211010122020212001111211102210200012122210200122100100100200010120000220002022010000012020021002201002012", "11202202122112102210121221120112001120202001121000112110011220002222210022022202102111011020111022201101120220211110011221010011101220212100220001122000111201000010210022210222", "02211022120202100120121201211200111101220111002120000211202011202211101120121020220010020221212100202212210002020102001211011221112022012102121002212122022120201000112210010220", "02201110101010021000012012112112200122211010001210201011211100110222221012200012020102010002022020220221112122101201120121111022022221001202102222100010202000121200002201100010", "20001101222000112101120020121212002112211220010021002001211222021201021011010210210020210121210222200001112001102002210012011200200222201000102221202110011012022022111011020020", "12000112222000221210212100102022011002111202111010002001111020000212112121210102011021101101202212122102021202211210210010122212112200022122102000011100121001001201110112012020", "22201010012202022020021220111122120110110010210001102111010000021211211022120110020220112200100120120020222012202100212220002022022011102100111221011222020120022202212102211201", "21121201211100002002001011022001120121102222212121210102011222110022200011100012211012021111220021010211012201210000111011121202211102221022122221101202212110011211221202220200", "12101121121020012001000012101220212121202111110102001001112201200102222211211111200122101211211211122122210100012212121211112210122211221112111120021102110100221021002012222211", "22121120210120200220100012102020111200220010121100212111010212101110201022202012210100010020001120010110202102101202212221222020200220210021110100200211012010212001110000210122", "02122202102201021011001011210001211201200012110200111122220201211122102121210010201110220112112212012120112221100002202212002200201211022010022100120210011200112111211120120012", "10200220101102011010211102001122020202121010002110021012120120011222010120200012222011201121202112122222122021212212110112112212222212120210101222220210121120101120002122202100", "20100020222000220102010112110210100121210002002011210222020120100212020011002022021002010122211121111011021012202020110020122101002202200110010111202001020021010102211022221200", "01011220221022112022121000121201020201101000212020002012222220102122111020110002222112210002121102102211120212221002210100112021202101211122012011022010210101001102210012201221", "22221101021010200211111002210210000210112200002021101112120120211200112010112102002021222020211110110220020021002110000021201200112010210220021002012110002211121021120011101112", "01011120110002002220122221201101122222011022210001222210112202012210212112010010211211102211111102221202120120002112012110221122111222021100101021220212000202011220112002102110", "00022202022000211212000021021221201221121001101210112122011020222002101011021221121121010011120022020122120022002222012210021220202201001002002120121002110022112211002111201022", "11111020122120212000102010102211110120210221021101102212000002021102000121020011012022211120021210100111102002210222101201210101202122001210221112202012120122202012210100122101", "22002220220220120112210120011002002100202110112210211122012221112100201200201010020011022210121020220221211212110210012121102020010001122022100121120022111221222111021211101110", "21102020101000000022120201121111001221121010120220202201002202011110100011022222100000100201021121212212222212110001012012021102101220002010121012101010010100112220111110010202", "02112000000220112121112101221220202011221212000010222020202210011211122001102021020002201200212010221101222100010000121010211010012121021210210202220012000111222221122210000012", "11000101202012020210102022220000010000220111101120120221011222102010100011122012022100100220211101020221210102210012011020112122102111010220210221220201201021122002000212001122", "10201002102011210020222102120000202100202212010012222021212022202210222212202102222012011001202002121001002102021211200002210120100011220221002221022201100102012020221201002220", "10022022200020002020111011212111111021220110200102110100101122120121011210021001212210011220202211102222100210220012202010212221000101100221010110210001011021002001022221012221", "20001210110121120112011102120000121102202021112220210020221110200100122210202220212121220000002111111111221012011111210012102000122221020111212022120212012201100010120210020210", "12210011221102012110021002022012120112012020122220210220201221112121210201011220201102222201122002021120110210201001020000022201020001221202201100121120112201102121200100222220", "11020210212011020001121000000020222010111010200210220011002211110210210201102121200102101010011202211100122202121220211110010000012221220021102102212122022102000011200120201012", "20211111022102001000220000022212111122211200110010000110210211022110102010011110022002120210100121002010001212000220200121110001012010110210211221120121221220110202112200200021", "11202200202022200210202122000102011100122012101122220121220120220111202111200011000120222211200211222220001121100222211010201002121000201100222021120122021111220101101001212201", "11020022020120210112012002002210202221220201211220202100120120220200101020002211000102211012012001120111102010002110112020011000110121122022100121211020122202111221110222220201", "20022120022020011022012202222101222101200101200200201122000202200221121210211101100201212221111211001012022221001121002121020212212120101111011010011201200220101000020012102000", "02202022221101210002112111020210120021012202102112120111202002222212220002222012220022100110221121202002212120112221122210020120211111022101201002200211002010021122111122021222", "11200220121200222220121020102220102121222000220221220201022210100101020010020211221211122110112012111110012200220121222002210012110202200011110000201010211010200122222220022202", "21012010022202110202221011120021212012001122110020100102012200210012022200100020102102021211210212022000101102011201111222212002012202000210222200010111010011222121221102210012", "20111021001112001211201020002110002221012022110002111000121210201121101222012202121102112011121100201201121100010221121112001120211102210001200120110111101221212221220100011001", "21111001020111210020012102020002212020120022122212012002000200100210010012120020211012122210120122012211000220121020201220112010102112221012211221011020212101101021022212001022", "10210010002112112120210021221222022201010221010021221111021120111110020102220212210021120122202002000111011200221012121122210010200101102201012100112212101101121010221110121121", "02222211102012002221222222102102102122012020020120110000211111120210101121022202010110001021102002110101012202022101121110100221220120020001101121122121021011021002200212110212", "11100101220020001201212122001101101011222120000212012221102122220001121020121201220122100101102201210000001222212200112211012100120002011101010022222221221210200102101200001021", "20111222020100211220112112212011002211101212121220021012001112201221112001222200121001011122011001002220022102222210202211222220120221011110111022221002111200001210122220122102", "10011001101020212202110021211221012211212011100121110210110101021100101020121221221011200121202100001001111110020111020221211110100110011111210202110121111112022012110101011120", "01122112211201011110221102102112102220020100120121001100110111212201210010022202001122212112200122102012021001002101101011200201022201122001212021220211100002001022002200010112", "11110110202021100010012110101111111020022222002012101020202020012220201012010021100221001111000220120201121111212122221112001202002220012200020212112122221020100100201002010101", "22221221021000021100021111021222220002122020200112011020011000101211221102102222221211102121002211010211121121211120200011001001112112222011102102000000222202102000202101001222", "01200202220002210222021222101221021021000222121012201201210100221201010010022102200001222210122110220122201012120010010011211110102120112211220221212000010212011121210001022101", "22200111000100002020220201020200101111012120222120022011001011022121201110002221211102201212210202110002121202210022122211120220000002000011202122121110001122120110202100022102", "12000100211110102200222120201212201021000000112122120002102101212120101210222120201112000122102210021202020001011222101010210010011201111202002022001000010220022221020200112120", "01222002021100100101222122012201012221222102122020020221212121001201021011220220000122111010012210111100221000112211012102110210112011122010120202002011211121021211202211212002", "22120211112222112000020100222210101022100102120020210002001202111122121200210101111211211111021000111010210100220100011111120202110112110001002110001200022201120001010021202122", "10201211200121112210020011101120000202210122022021221011000212011222221220202222021202200020121112121021100220202221211120121120010122101222111121211212111000210020020202222101", "21012022120002111200010220220000221201221010112002120121110101221112202220211211100212112011121001211022100111011011221212010121001201012100021022210212012011210020020221211211", "12120122222212120210221201210212111100120101111220001021212001002101201200110010222021110020101212101220002202020000111010221112112121011110021000221102022201112020020002212121", "21211012002001102112000221012122022211122120000111200022122112010222200011200202220200221001011200120102210011122011220122221000100122201210111120210001222100201000121202102122", "12120220112102012021112210221112111012020122000221020101121112222210212112012102211120201112001010110021210100122101212200220211002102200121011000112120222201210120112112001111", "12212221102112220211010220211201221201210112011200111200220001011112212012101112222021010112200010221021001110012100222201001212212022021020121111112021022110212202111111200112", "21122012110011020102010211200000122121011200001201221221011020210112112020211210012101010212221222220012001012221000121012020021110210200102102011221110012021221110110211000011", "02011122020200220110101212210200101222111200211211001020110121012011100201000101010222112000010010210202101220110120010220010012021220111012000202200112222121211102010120200020", "10120110122022110021011210112222201112020012212121110012212100000000200012020211121110022110102221221010012112020201022022220020001001011101111112221100102100012220100021000011", "20210012102010210012001000221020211022112222100212002020201102220210010222001120100111202020102201122112102000110222212000021012110101002020012220222102111110100200222100202112", "01102202102210120222221202211012022121001211202212020020222012111202200102112222221000220210121110211022220222010001222211121012221202122021201220100120221001010022021220122101", "22010000110212012122202202010201000121122102212122211011112020201002112011201221220112200222110220202021102002020000110212221001002001222120212012101021211022010202120111102201", "20202011210210200220221101011111010111001212022102202211120201201112221000122001210210002210110221112022200102121222012022121211100200110022220022111021100220001011201121020100", "22111212000012102201210212102111111021122200021200101001000211022002021221001100212200110200210101212220002111200021200021022212011212011102211001012002101211120021021202112010", "22200200211200120022100012022200200002011121020212220210201020021212202200102221102222011202201022121010110222010110110000102001020212020112021001000212111221021122011222200210", "12010200102222010222200001111021001210100021102122211102000000100211002122221120200221101201221200000120022212021200220110222210212120201200200010212112200000011001002000210201", "10022202110102010122101110121012002220012111011110021022112002022121002102201001002202222000012022212212020110121000111112201111112021211202012212212120101120012101220101111222", "22100020100121012200021011121212101001200100201221220100121020212201022112002201102112222210010221011000011021011101220022120200220202221120022210021121001020202211222120021211", "21000222020200001222111020111000012002202122120100112200201220002102110122122110002122001102222011011020122201212002201112020212222001022120122201210101111011010121121221200201", "00100211001222221211100022101120211121211221210102002010010112201211011100002002100200011021100200101102211210212120210210101222012002001112022210120011010201201010012110100020", "22211221120120110001211021001020000212202012200001010101210211011020010001022211112122111100101111000100221221110200200001122222100011110002111221022000000210202020201120022100", "10210022112200022120112001000010011222110101111211000020022200122000101022110000002222010200101121210120112110220210122021202121111002221212200122101211212001011001010000021210", "11100200010122220011001121001012100011001021201202001011021212112000111110011201210211222201121111102100102201022000110120222112000111212021002201111220202120010020121010020011", "22211212121000020211010012121011121021000102210110020211112000122121111112002112212022221111220122221212022102211202010011000020110010020022100122022111112200120020000120212021", "10020221120210102112200201020022220220220012122200201210211201200020210201120111121110100100211110201011022221110102222222201210012011120102012020111002221200001000110021110010", "22202021002212100002210012000010001001122102112121100211012100111110122011121111220112220120000021002202121110220211000021210120001100200212010202210021000221212022122000010112", "01222212110211111222220100111201012022001110120101222011201022110220201220221202021120110001001201011211010101002020121111101022021100202200011110010122221101020001210111010122", "02022110221012001200122222010211001011210021120120010220111122020000002010222022111222222200121210200220101121011001222201101120211120102012200200022211100211220000121021121000", "20220022200100102122102210200002112120212220202221001202111011200120112010021120021210221210000100221202220112010111100211111222110122202220000011210101000110210102202001011012", "21121210001202222021220121022022102102222120022200012110021110110111121010201122121121111221212122220210121020111001022212020122200020202111101011220021121220200011010212021020", "10201220100020201100201222010100121220010200221222110220001112000120100111020122011001202002110111002121100112211202021112202002100000012211212102110012112200012011210001011002", "21002201201011111220001100200120201010221020100020011101211102002200200010022102122201102120000012202000210111202110012011022011121202112002110211000210212100101020011002120110", "20201211002102211111020210012022112122101020202012002210120111221100212220121211102012202211002222001200210202221021021222222201101000011212020001122011201122010001112002202100", "22222202122211122110200010201202010210211211222222101000212111012102110200012011220120212022121011111100200211220110012011201022100100211002202012212021122102011010212102122212", "21120020002012021011102211201101211102012011211211110222121001211210002122222001002022000112220202111002221211101010002201211112012201020001022012201011210112210110020012120121", "10012001002112211010121001110110101200200100022212012221121211200221012210002001111202202202222020012112221102120201120110102202022100100002110122002111222200212001101211202212", "01000022221212010101100120020101211020022210020210122011022101022221200122200211000011122101222012002022201221120221002202121002101001112010021221221202200112022212221200011102", "22212122011101001020021000000210101200001201211021011100220202102121212202211022011221122222102221002200110200202110112120101102112010110210221002202121211102100012112201221001", "02102211101120120012210021010100022021000011220111221002211020002211001021110011111211110211010020122002100200101001102011221100200211012010202222200202111121021200211000001120", "12111022021000012020021010010100021021200001201221110020010111120210012021000101112122020211211200011200111122122001210011200002000112102111201010101110210121012201111222202010", "02202022211102211220001112001011222102201102122111200101001221002100020100220222222101211122112010221002201202010201120022211002111100120111211202121222022012120000112111002021", "00220022000220121001122202021101020121100110111110021210120111111210021122221212201002111000121122001212212121111022111012020121000101100102120200220102210222122211100020012101", "01210121000202211012120001122001110122202000202020222211000011210102212100111201010222012101201201201021021101012200001010220010121002020212012122001212100222021010112202110010", "21111212020212022022112222002121101211012010020221022212220220012020101202022001011001010002221101200212011100210022220112012211211010000210101200111000201010101110021111222022", "02021211110102022201100022202201020100000212220101101001020011201100211000211010210210120021001221002210122111011122020211212001122010212220002211122012220221222020022112200012", "10220200201002100211222121112011220121220020200112102212220210102200112101110210111011111112022122210210022001000000111000021011011000121220122120211012122110121212011202122122", "02022100002120010010012010112000010210112010122220201212111212220201211201100211210201012011112122111001210112120121111221202001212222010202022101001112211222021121222221100120", "20121120200011010110011222121000011112012022012102012220121121000022210201110022201001021001122002201122221122221001210221101201122200020002221211112210000011110010102221100002", "20012101200100212100210201110200000010110100212201111111102022001001122212000101022210102022200201000112011020001111110200211022012110122002012201110120022100001211121202221120", "22201000000022222002111211022010020100001220211211200200022110111102001110122020022121011220122001200210012002101122110200210222101020121200011021011202022212102222010110010100", "21122020102012120111222010102010221021020120210111000222102122201102200102221222020121101222211122112012111011220010011010221201111122111110022020200021001022221112211102010022", "10011001102011022211002001021020012010012001020020201222111111220220201002002112202021202121200201012121020012011221100201111010121201021021012100110211200001220121212101202010", "11002002010020020100000012210111110201222100121110212100200222101010011121002112011000111112102021012000000120210122212212111102121100220220011110122002110212220012021111111200", "21100022121001102220112102002212020110222221121211101101202122202002020001112022221220012112010122021110101102220212212001020010012011010221120121011002120121021212220001001120", "20021001022020202122201100002020111021112221111210111002020102200011100011122010102201210102100120101111222221120011012021011020122212210222211222011012111001010000200120211202", "12011210111012112200001010112221212111122111021212110020111002222200220020200111020021020101122200020112011111122220100100011000200122000211111200212120012022020210021011212221", "00012002110221000020020201102202022200201010010011021202100020212120221110111102210200200012002222112200220001200122000101212022100021110020202210102011001201121121202201101201", "00002012012201202222201122012211211110101212011201101202201120111102220101000120012100200021021100001111110111111001200220102122201201122011221122012111202012010101200121222010", "10020221002101112011201200002201012211100020200100221002001010122211000122100011100011202021010110202012002211101100112120200120020010021102101120110101022111221201000202121010", "22222110202001020212022120221111020211201000202102111200021200221202211220222001120001111212020011021202020201201022120101222020001200011221001201201121022112011202010022110210", "20112000021220001002100220002221022001001010110202112011200122210220022122121020112120222120212101021212012002110122201120100002110000221202020001210212120100212001201001220210", "21022012201002002100011111011112210021121000120221000112221221011102222122220100001211010002021022201222222210122120200222111222022001122000200110220001121102022221201210022101", "01200102100102220222021101020002200111201211020200021011202012020121211102202202101202111210111101102200101012011020221212122020002101010001110122110122100002212211021101010210", "10100220122011212121221110121122110010210212111221222200022002202020111200211102121221010111001121002202000212002000200111200111200121020102000022111202201221202002020110200102", "21102221202200220101022111101210222110111111001010212201011011110212021020000101222001201021202110110000221212101000121102202020021020002102020111020000112000201012211022020120", "12112220222112010212200111002102211212220222002122210102020212110122002010010201020211102020200012100112100211102222010102220222220021002011121002222112211011111010010200010201", "01202202201221201111111211222101212112012211020022020012111222212202002100122101111200220212111112212221210101210112201222221020121011121020000201110222011110210210121010010201", "22102201212021200101020002122102000202211111221222102211112221002001102210102002212121101112022200222211011020211021102201111122112220211120012122222010021121100121021201021222", "10211012212102000111101010001122001100100012210000022112002000202210220112210001212021211001221222100200000211110212010111212022222022112112111222211122011222101110202201222102", "11101111201002120020222012100222001200210212012200022121221012112021021211021210012022000210000110202100010120010010202111021222122112102001102111221001102020011111021020101001", "12101120001100122021010201202102211201201121120111001012001100011211021222200212110020001102020210122111120112000100211201002211101202000112011002221101200011201200122100011212", "21220102000011221010122202112111201222222212000100222200002022221201222112101221120112120221020112122112011010122022122211220020000020110021101120201121022220010211121010021100", "11222121010020221110012122120202021010201011110001001020221220110021112101110112122102021011201120010001221100021210121121221001020221202221111001011212001212111120222001101121", "12012020211211000101011120020121211200112202020010011200111200010100021122202000220001211020220100101212021202022212100220100021100101120201211120120210000022101212020121011201", "22111221122110220021100210012112021100020110211202112100211020120010022212210120010011100120111201011221000120110221010021122100110120012122112200002201002201110100201010121002"]); G:=MatrixGroup<176,F|x,y>; print "Group G is 2.Fi22 < GL(176,GF(3))";