# n 400 # seed 0 # k 147 # w 396 # H^transpose (each line corresponds to a column of H, the identity part is omitted) 1101211111202010021222010202112011122021121020021222021102120020002100121012120212022211021120100002211002000022212212002212111222101201221000210201011000200222220002022010100200020102020212010002111002102021011212022002001210212001212212112102201201202 1001121212220211212002021000211222101221220010120121220011110102202001211000202220002201120011200110102222100100002121120222212212112001210001111201200100211120101200102201111100211110102110112200221200002001001221112220101012010100202120011102002000111 2002102122121211122022001221102012012122100200000101100211212202022202101221112200202012211011111100200121001101220220110211100100022021022210110022122120222101122020011101120001102222000222212100121001001020112101121010012011000102000022202011202000101 1210001111122102002210100012000111200201020011212021121001212201101211011100010222021101100112011220101021210010212201210210211200120011222110211120200011210200011120222020122121111220002011210221121210112211201102102001110202022210100201221200210011211 0112210120210001111112001022010020010222002120221111022222221211121011000010120001202120101202011211102001002100122211211112001200112101111000000101201210001001111021220211221221100022002100122022210012102210222221020021210121120002211220010020001220020 0112202102022111100220212121201021201110001220112222011201012202201012000000210012100110110212211011222221020110020222220010000022202012022120220112210201011201021021111101212102221201120111001201222212022111002102222210012020201112111121000201010212212 2002110200220202222111110121122211021002022211102122001202021221022020101021022122000101211111210101010111222120211202211011200021100020221010110211202011200001222202202222210120020101122112101200220220100212012021201202021000121211121200100200120012021 1022010101122121211001101010001001222011222110021102200110100221001102200002202101221000211001001112012002021200001200002200210112212001202100122101101101021120112120221010211202002101211021210011102120110211220010221112012102111201000210012110222201222 0000000201122121201101221220122210111121110200022222022202222012220100001211021122121002202002021220122110201012010221102101201212211100210120100112120110010100202022000122212201211020001110011210012102110010212111200112102212111112101101010201100211121 2202121101220011101020101021000210000120002200210022102000111010102102121121202201020102022010221012202021021101210111022101011101202110101110011121202200122200010120112011001012202102222210222122021001212200000012202202122121120012121112110000011220120 0100122120202022111220022100121102002022101102110112210210001222102111120012200002100211101112202220122001021101022101202020102010220022010222110121200110122002112100201002102211012210021101021221000210211221020220120111201121120110200211000100010121020 1111112002210000100212000212002022020212202100101210122100020002021121112112002020002021012202221020121112221001202111110112112211212212200101202022222111111220201120002010002021210220020101121102102000221120101001202221220001202220201112220201012211121 1201002122121120210220200211220211102122000200011101200212220001002102221112021202020200211110120202002100200102101200101112112200111121212000212100000122020212112211212221210202111200201011202022002101011111020221221220021220121221002122202112112202110 1110010221102122010012022220110202120202101112011120000202101212111222210001012221121110202020202221220200002102120222011002000011102210002100201221202102222122000022201001202102011210222122001111221012100102202021011220020111120112212022220201212210101 0021022122000000211020200100020202222212121212220110220010220000110212111222212020112220001001102212200211220100122122211001012202021102021120000121001120212001020022201122122100202222012200002220202200010121212102001011121101200022002011011222021222210 1012210211010101210212211222200010121011121021102001122020111220110200121102111112002100022121012201021201120222100001110012211201100001201202100221200020100112012202100010210121012222101202120112112212211100011201122120001220012212001111100200102022222 1210010212212002111222100011211222011120212121012112222112111220101111020101021001000200200222121011112001002012121110211100221012120101000101100020020120200220002022000110012122020012120022022002112122221102200211211210000122202000121201100021210202102 1102022201101121021010121010212012102102201122001022201122010020101022002201221221110011010222222212020221110021112222010202012000101122112211101211121122012220112212001201200121212121222212020210110000212011120111122200121122201020001000110220021202101 1011010022012121002111200111121101012010011111100102101002221210021011220011111002212002010022120012011120200002012010220021102121120211002002212212012111001010000110100100022121122122110222010222011000122222222111210110222021000200001120020020112222110 1202202012010002201111121111211211211120021111222001002001220202101010002022022020020211001101220202212100102020021121012120010001101120101211012011002110220022212212011110101001112011021010102001212201102212000000122001111211220111022102221210211002210 0121011220102001100220200121222000222011020100202001202122200120212120210211011101201020221010121100221202020001120202200011101021212021202011220011202000001112100221101021010110221221022200211022020001010022220211010020212211002101202111101201101000021 0212011022021201202120021221000122101102220010111100121200111121101012012000101201221202012121000220022011120102201020100212002220221222111200021122102112220100201211110121201211210012221120201010000221021020021122221001121002100002200102001112122212212 2000200000022022211211022222122002121212201220112212012212211102112021120021202022200012102201201211021211110222101200111112220202111100202011110121011022111221010120121211010010020111220102011020102212010000112221011211100220122021102022020022102021211 0110012121210100200212000202000020110111200201110222110101210020202012222202011111011101010110111210100021212220010011200112201022012112111010010221021020101111201201201010121200021012222001222112122002212111011112201020110221021210110001001022000012110 0121011122222102200121211220011202121200001101122212200220012210000210122201010020102200110002112020212112012020220112000110210012001101000002201122010020102101102111012020211111002221002122101101012101012022202001211120210112010012220222022202200221100 0002001211002210001221000001211120202221021220011212122112200122012102111112100110001201011012110211200202110110020011112101122200002200211021102010200002011122011220002021101021220110111002022020222211102201210222001011110022001222201222000022111221121 1002120200011021212112202021202211020212012012011110022121202222001222210220201201021221100021011001122020201101121202010201111022022201001001000011120021212020111022210211022001210112000221010122212100021012212002211202121001121212021011212211202101111 2021101220202212002022222212110021111020001200112001001200010100020220011102002200201101102001212220222202212000100111212001100012021222210000001022220111001011222220020111100111100110001122000220201221021012201201012112222012201111001112212220001000011 2002220100111111112012021012211002021120021120021222200110000022011012120120101022122021122210100112002020101012212102020020101002021111211222220022222011111000221110220220210201222012021100211021210111111121001100101102102222221100021001000022121100221 0012200112102202211001121111102101121101112011122100221212112210121212012120102122102201220220202102011101220220222211112222010001200110221001002201012120202100010111111022122021110202122121120200001022022121212022222210021012122200011212011022222122110 2011102100101212200202022201002111100121222202222110121022221021020120110112220112101122211110010001000020220201020010011202100002002202000112201212220110221012000221110202010010001020021112101220211112020022110212010001221011200010220000122021120011102 0220201200212110002020110002112000022000101210112001222022021122202010212012210210100110221122002010220112110221120020100001120000220211221022221211200111010100122010202110002021200221121220210110121210211211110201020220112212122102110202112000022202121 2001121101222112102202012002020101111021101000112102112022100211001021210120000120110102202111110200200202202212002102121202221000001211110100110201110121120211112020122202120122000210001102110112102002111122020211200120221212101100002110001122002022021 1011101212100221122110002012001022100000201111121101210212212110202002210002021111110012111000012020121220221200021120012221121121120202101000201120121202210220121212000121200022122002020020020020000011210120121021000112000111012102200010122122200200100 1200221011102120212211211210012002001002202021111212221002020120100211210010001002020020001210100222220000211122022110002010020100111101222111102210110021222202202200211020110021111121120200000121211010122122122121220201022222211022011112010210022210121 2112221010002222210112011211011011221210121020011201010001122021201010010011111212200001102221202110111101001111120202001021100021112212210202100110122210012210102110212121111121000002110212020021221021001100101020102011102201122012120112211101201100000 1101000111201111112212110220211002001110100002212012211001220021000000220101021221002222201100222122101222200201202112212110112122021002221201111222122000210120200200111022002020010222210001202021012100011222010112010202022100020022011001020201211102211 2110020122011000121222010102020201110200212202020100022101012201101101020221112000222200110010112120010110100001220012110000012000111022222122221202110102011012100202220121100102020001111200012000102011120221111111102122120001102221110002101122102102121 2212202220102012220211011211121110222010110212010001120120011020120100212221102202101221101000120021012010000000210202212020100222100210212000222122222120120212201001112211020211002220121122100201111221010021011101201211102000101011012022210120112212222 2000021111221021001220201022122022211022212011111222111001110020202221022022210021120022112001110211021122122112120000001221220210020010011100221201012212111220011202121112210102211002210102012002021110221000021022101222020121121211202011201011211022001 2110022010112122112010102111100102200110012121021102211221122222120100201221202201221000021100222221011011121121201121001121221121212011210201010100122120220221201022102211020021012210020120202221201201100111101020020000221121002010200202122201220221121 1020210112200100012012020102000111221111200102101101120111012202202000201102122200120002220210010200022000020012222222122021211012201000101102101222211012122012201202112121211122001001111110000210222110222100222020202001222210220122111021022100202012101 0202220112001111211221121212102012011211212000120000111221010200211220102110110101010221001221212000010002002120100120202110012001200211210020020012222000100001010222122122120001211120121210000100110102112101221002211200112012211111112110022222120101222 2102122000010000022201221102120120102110010222021212100112121211111202200112221022012220221101212220200111211200100022210011010000011101102201122200122110122102110221210021220002120211010222102100102120202010022120202211100201020122101010210000122201001 2020100002011020222102211212122020011020200122111020111010002010012220100201000000220201121212222011121110000110211222201100110020211211002010122220210021112121210100121001222011220010111020202002020021200020101212210220101011110201011001020011200221001 0001121110222222021111210121010111012021000200011111220111122120110022001222001022001202122101001011001100021010011200120212201201220210112202110000010121020112020112020011001102120220002210011121122222110101202200101212101101201122200002111211200112100 1010222212011112100010022220010012220000220111210000102220212202102201112222212210202202200121100101220120201210210202201202120201110110100122010201110001201220220121120020102101120100100120011121200211221001001220100202101002120122202200002122222011221 2012111201011002102020201100200001222011000102011122122211212112220220100110121210121202120101220220121022212022101000111000221211012022122101022222210211121222210110110211000022102212121121000121122010220202120112110112220221111020100012002201202100022 1120221001001112112220021022220222120200002111201022210110010112001200202102200011101112000001011202202022210022020200200221010101020222102022211020121002021110121121202211021001121001202220102100101020221111020201111111111000112011110220022010010102111 0200120022210000100010010111211022200102012021121201001001112002002222010001221212012021212200012110211000120120201002010001122002101111222200122010022210220202101022110102100002021210011011221022221120002101220010200111220121220221002102110100120022220 2102010222222122121001000210120222222220210102202112122210011200021220211111121201221200002121211110111201020001102001211210122022200010020212111211200112000112100022222200111012211000211220221121211122010121212000201012221201100212002211212121110020102 0012121021021012101111011011212020200110011112201002222120211101202210100000011020112210012020202120011121110010011211221201010102200201122211222222112102022100110221122020100111021210212222122220201202111211010000001001200201222202212020202120120012211 2100020200110020100010002201211211010220022002210012200020122112000002102101022201100021002112122021121011211012121100100010012102102120000212200001120101002221222010021100022102111111102010211212122012202021110012022200121011002020122010210022010220021 1122102200021002221202211222112121120210112102222002122112120002121010120002001120220102020000001002202011122222022212101210010221110011220102202010010102220002220201021200222121212101002001221202102002002021000102020200200000102221110001122121000001012 2200111001002101212101101002200012100211221222222112122202010022120010101020220200212220011110102221020002110221011221020200222221012210012212210122101111010202122021002001000122001001202200120222100112122012120022201212200011121212002202020101211000102 1212221220001000221012221220001002010112212220022110121021000001210111102111000110012001012201200101201220120122022011100112100120002120022102011200010001100211002022101110211010122222000012001020120121112221202002121122011112101210111112210211100221010 2010020112210210202112210110201020210112020220121011010112101012100010121121211011102222020010100122100200000111020120111022210001110101221002221121212012110120221002120222102220002111002210021011012121202102212110110001000011222012222222101020212101210 2110202212201111011001102222222212210001012001002221210211121020012110102220122021010100221222011000100011211111000112211202102011112101120102112121111221221102200100220001211211111121010021022220110122100002012222001112100022201112100100200001012201020 0100112112221212212202220010010021110201110101120100220020102002010100201221201222100010120111021221100122100010221001100221220002000201200021020222212002201110012121200020102001002001210122110010210002102212122111002001120211100202101111221100012212222 2200021020201111111110201102121122221212001201100112121200210002002200012120201002221122122220020210102010020212022022202121012201000220220112121200022121211022211000012210220021211002011011000222120110000202221211100211121212011212212210202010000120100 1110221202002000212001022122220120221221210101021201221011011222000010220122100110112102101222222021021212122221221212102220202101202211110212102110012122121010221102110220120221022001120001111222010001112011002202202100100112210001121222101012011200021 1222001121020000211201010022120010121020112112221202021222002122010102202112222210202022211121222112011001202211202010222101101112210202102212001112200121010022120112120102202101221220212022122212222100200112111110111120021120210111201100202222202011221 0002220210212112200121110112211222021210102212220001010111101010021122002112001111110221112102002100012002102101021020020220101211112112012010220220022011122111121011002122012210111222110220222211020121001220122021022111110011020100110222200221111212000 2211021121212200110101122101221112211222122200202122110000210021102022112022100222120021000100211000000021211022202212002000211012012200021212210121211021201102000002010020220120111022112110202010012012121121022222020202101200211010012022011002022210211 2222112200111101200122112211222022101201202100101200100122012221010202220011202202210102121002102002100121001102021112210120111220120102202002220020211120100110002121102201110102221222002101021102221002100021102122221220101122000110110012020110100121110 2020211121122012110012001000121221020100210102002122100100101221111011022112020011000211002022202122220102222212102021210202100002212111220012212102022121212111221011201202200200022221210021211021200112221200011112011120012201202122100010012120122210012 2101022201102220111221001110022001221110021010020012002202020001200110120210120011110022112001110110111100021010110112001011000110120121211100222101120202200122122220112020100220202110212201202220222212202212212210011011220222002102210210100202101200202 0102012022120201100001121110022222220220111201110010020221121110202222112112101112102120200011202022100002200011220002011221111021012021002102202001121201020211021220210012221201012100122112102120100102110021101222010102001101120000021200211121010100011 0020011102100220010221102010112012102210001011201122010020211211002122201110200101210000210011020100200202102010001022100020122012100122011121022111200122220012120120001002101111201022200212012010200000021222110122022201120002220010220020121001112202211 1102001012020002202011021212011110022201200022201221002001100222212002121022202222000010021022201201101002211111110001121020000112002112222102020220222000202222121100020112211022202110210000110200010101012020012212121120011012110001022220101222222012202 0102110211001200121110021012221011011202012001001022011102101000102110022001211220210102221222202010212222122120020210210000102211221120121121111220111120221000201012222112211102220210222111100210111020220022212022221122222001221200102002121022202121111 1221022211101200122110200112020022202012101200101122112112020110112002200020002000000002122212022100021222011011102000212002120200001001210001001212212200022220122111221012221120202122111102021202222201110202022120221022100222110221021000020202221112202 1122101100122112020102112021211222100102200000222221120101010002120110102212022020020112101220121012200202110100110012221001100112200122011120220202000121110002200010021000200100211011201111121111210222202221200010110120102112220021001021221202202221110 1011200011211221002200110201120210012001221110010211020020121211100110011202102012120002122122101010210022220101100222202010220220111221022210010021001000122200111222120202101011120011220201012221020012012001211001010202210122011122200202110212112212001 0120000120210110022102211202102220110010110211020012021001200202022210200122121212101112112012101101002111210001221001021122021010011010101112110100222120011120101021021200010120200200002020221020111010120221111202121102202011010112002020120112002220020 2200002012121001012010220222120202000221110000011222110001122201220012020202200101012101012111022111112202022111112212000020221121020111201211001000122202002002001100112100221102101001112210101221012101021000101211022002222101220200022101111220101020220 1012102202211000102202120212001221110220100212200000020021122022021122020022120022111122100201001211002210222120102112222220200000201011102020211001121000020000000012011201001210010212112200020112112101122122200111221121200102111102020121002200110010220 2012121120002121021121202122200221200212211121100012102212212212201022012000211122110100022010002100010021212020200020011212110211112012222220200101121122220112010201210212212211221210020200222210011021001200112021121120001002221010110012102010011201012 1012120020122022210112221001222021100201221201210120222101100121101100002012201012021202222012012210112121220110000110022122021102201112121020222110000220111011111121120102211102002011020222210221200102020212201022001221022002001021010022122210012220022 2120101222122000120210222111200002201010111120212212110200211011021102120211020122221210002100020222200211202020122021201020202000100200220021210202001022010020222020001212220220121111111000200022200110112121022022110112211010012202111101101111101011011 0220102101011210110020211021000002110122022102101222222012201120221012012110121121222020111111010110021021100112110212220001012022202121022001020020222122012101002220121222020021010221112220110020212220112200221001110010022021002210102022201202102110211 2112102022122021022212021112022000100011002010012222001222122002202010010101222012001010200111000122122101021212012011001200221112221022220010102102202102012222011121120121000220201101120011002122002200202112100120002221102121111110102122221100020022022 1020220102100012222001121112221022102202121102010122020021012211222212102111002002010122010100222111201001211221011121022221122211000210221101200110212020212010202102201102000200122210002220011002200200120121201111002221002212201022212201010000010120002 2012112022110020020101100001121120211100201222111101101020120122101121002101100201220201112001101220010220220110220121112221121112201221102220212002121212210201021010020010220021122021000101201002000001121010022011110201022222110110210000001220201012010 2222012210210211001210021002020010022110220221011021202210110002021100121012011201122001122112022212211212211101011212001212221100001121000110002011200012000002021100121020100201221121022211122011020222200002220220102020011021111100220002200002022111001 0020200212110221022221120020222022112011022002011110201102210202011010022001210021122200210001122200221121201202022002001110201102211100002121012220200022001221200002010112200002012220212212002100000111220210220122012001120110122221220100210201221001122 2120210122211020212101200111120002220022012102201012001200021002210112010222102000022000112102201112100220212022202200102201222121001020021210210101201200101112222100220102021012120110001202000100111112121201120120110002020021011111002002021012112102220 1100020112210001121022002100012122210201100200001121221112000110110111220220121211220120010001022020201211111122102002011100001210220010111120012000101112201002011121110120000012002220101022200121001002102222111122221201122001020202202100021010012220112 2120022220112221020001012112010202201121212012111111011112120100122001001112110011111120220010020022011211221200011010112100110102102021112122212012120222212002211112012020202002221222102020122011201211220111112201210100200001110101212202020110022020000 2020212100211212120011001020110211112021100202101022121001102221100021021111200002002210002102111100121222122222202122202112211100212220110011222122100000010111222022010020000012002122020222102021202121202002001111212000000122111222001102010200202022021 0102102222010122210101100122022122001010122101001100121002220201202021020001012222010020112010021100210010022111101100022102010101121210212200010010002010221111201021012120221000112222210002202102202221011100121002002011110222210002010020001012222121001 1122000021011000010102000020102200021120020212211221000100110100120222121000122202110200102210121210010001201021200121121102202012111200201022010112102000222120201001110110010002110122202101221001200212220122010112122110020221010202110210011121212110210 2001202121002220212020120110202010202012100201212122221022122000022011200102121110211112212122101112021001220210201011202022111010121221020110021012100000201110220121220102221211110201102000200200022021002220020001202010112122022122012011111022120120000 1221121120011212222100100022101100101220111010020200111010022112220101111120201102000002021222210212001011100102112200212112202120210100210211201222202112220000100211211122001201122202211102010211002011122101020020220101221122220001222000211200201212112 0211120210022121200122100102021220222102002200220122010112122121211202220200020220122222201121220211001110212011201100212201210000011020100100000200021222100120121221000221002211221212102002020222212020010122221101102020221010001212022100020122002102210 1212201211010112012112001010102220120001121111210212111221102000102221211120201210002101011101101201211022012012121021122022021220121001002120020112101011221220120010222021221202011212002210121021012220011021102011210101021222002121001120002221022001201 0002212020111212112002111212011001101210212120021022102210012021122202210201220220001110210022212100122011102110010200001201202120100012200000001012012220002200221210201111202220121211221022000110220011010112120100212212002201020220211020100002121122012 2121010000121200200221000122002210022021101120010200021021201222000221002100221202002111110101120121012221012100120101201210122002012011102201002100100101001200200120222122212022121011111010120102110010200121122120112001110221112011221012111001101212020 1122210202220200021022120001212220002220022110002210020021120221222102211122221121021110221012002222002000100112100200200200110210122101121202202122210112201222022121101202102122122121210011112220111101102002111201120121100110022121212220010010001220112 1112120111201211101021000202002212002021021211220120021110110101121212122210220020100212221022202010001111020020000211201010010020121120211002221020022110202211110120220222012000111221200220112221021111200110220121011102102021110011110212120200211002210 1211211010001202112001000120111220220122102021111111221221121111100212221001022220010102201210120202022110120001012002220102112010122212102001111110121221221010200211211122101000100111011210000021112001202002220000112120102202022202222212100112011012120 0122112120102001020110111111201010011011200020010000022012211022012022022101201020200020010020110221220021221012002021110022110000111220222022221220202112212212121110020221011012110121001021200211212112112121000021020202112101011201200102202001020101201 1000022200112201111101002002020120102021012021122202022102110221112221211110002201002100200211201020012210000111102110010020021110100000011111211100210212112201110211112020002112010022011222221000001202121020212101122122112122222012020122021102000012020 2001122121010120111020012200020122002212201210112001211212202120111012111201210010121200121202012110222010200102101100010002022102001201100010000002122120002000211221212122000110212110002020200211200010112202212110022022002002102012001110121112122111200 2100222020021200110101121121122112022120201212220102022111120121110112200101122120102022122020211012111110021222001211022100111120201001021112012001012100101001011020020002011021101221202210101012020200210112112010000120011221210022220022000021101212110 1220200210120210122012012102222212210022110002020000000110210202211001122210112202202001011201111210122201200121211022022220102201110101100022210000122001001002011221211122220022011201112212121102220210211110220202100112122000212010211011012220220222001 1222210020022111221021222011002111020101022002001021022102021221101011012002221001102202212122002021110112222210222222001101122110210221011212110002102201001010111020022011101111201222110122121120211102201101211121200010200011122221120221202000101102010 2120022110102200000112211102212112022121221101201201100211121212211222201001000211100102221112022020202211120102201002210200221111001210201111020012000220101012202001001122011212000121100200020102210221002112010220022200001212122112100110110112222101111 2012001201120001102212111211122220222022012012120000021200112102011220021110011020212102101010220002200101222011211200110022120120011102112110022111111000102000221011221212221220112020002212122200100020000212221122022200002121200112222210101111121220122 1220010010101201110120101102002220120020101021021002021122222121112002202102011011002222112121011222222221102212121022100200021122022002010022200000010110122100002220011121101220201220011112101101101021220211012200021000102101212222002210201002001201120 2122002212110220112212122121202022220111121110112112221112010120222120121201020121021222100110121001001002101122102020222102122221202120002100122211120101022011122021202111210201011222001011021022201202111220222021201112012202001120101022001011221222111 0221002122112222201121212111221020011112210011000110110210221220121022021120221021120000011222202011221202122212121010222122001110200220120101221221212212210002210120211201200202002111122021222210220201122112020021201112211012211201001202012100001212121 0212211110221022020122222211110002221111211022020100012221200201121022022102002102020102221001022120020020012202102212012102022101221212201022221020121200121202011021200021020210020220002201110220020202111210000221200221022221221220110020121202211222211 1221002001112110110022101211020011200201110021022111212022211200110110020101011110012202202102200012000221110212002001120102020201200222012201220211202222102111212000212012100201010120220211122202212222222012010110011112002112020021021222210112012002101 1110122020010012022011111221001202020020101012101000010112002001010020211010011100120020100211022210211112110110111020011221122121112201120021021121122022012120012012211011112001000120222022112101212020122211202000002010112222001221202222221022120201002 2222102101211022212112202000211121211022022022110010121222001021021102112001122211212001020220202011102120012002121110022201100002122110202221010202002202012201021011021122122202101121111012021221211221022021001210112000002021220210221110212012020212212 0021000102211000010101102000011021200001022202211222012101202001021200201010202010212201211221121012210200221221222000020010202111100010012100012210200101021100020002102121112211211221110000021001200120200212211110012001200212001111121101210022210100101 0011001212101101212201122221100212120102212022120100200021101020201121000212101201102120200101201101101020200011002122220202012101220000020122112121101110011200202102201112200022221100120222022001012202012201120022000201221212021010100121012010001211020 0110021121101120112102011222221000200110101202221210121121000211020222222202022201021001220201221022100120221101001110101201102112001101122121122121010100102201010220211001021202020002112012012210211121210102011220101011212210111220112121102221120011212 0100122111022201010111102121212121100202111100021112022100211010012201001011110210102111120101202112010001102122002221201202120022211202020201010110202011200101220112220122021122210010102020112202121202012020201111101221201200010012110200120211201020200 0020202010101022102220121000112120022001100020221021211021122200121000002211100221102001202010112101102111002220111201100021011011202222122020012221102220202021111222200100220002012001221002100221000121021200011221222000020101201002110222222211110100112 1201110020001002221001220202212201110022202111002121102020112000000012201012020001112100112001012222002001110122111100120121112220011221110022110210110220221202110122020101110220211022121100111111201202122002020212000222212112110222022210022200010212000 1110012200120001120102202121022221011001020121210001201220000022122020012201101111112100010110220112100122001201110021100020001012212121210200212200110111211212100011201120111201000021122010111212120221110202012100220220221022012120202022000221012111012 0000012121120110202220120022212020011202002112100002120211110202021102220022202221020020000101222001112200010101211012101111012112021221001000201212112212121100211021220022100012012010210201010200000000022201200100201111002220011002010012012222011002002 2221020100120110000022112002211020212102220211200200202101002120112102002100211102210101100212100210200021110112001102200221202020200001110112212201122201012012210000211000120220212021221100220222001222012012221022020022102210200221110001200212222201011 1222200010202020002000002202221202102110210021001100210220022211210020211120122010020121022020111120020210201010101101121212212112002220222212001022122111102111112001012120201201111010212000201100200021012111002001122211111000120102102102021201201222021 2102220212201002100120202011121101210010210112202021102221022222010110010012200010122201102120210102222122000221121102022000111120102001020021112001202112000121000011201121021101012020020001110221000211202012020122121101022110222212010222121002211110202 1020112010000200102110111110000101210212221012100020001222002020121012002201022211101210212100112112121212010001012100200000211021122022211100022221110021122221122002200110110202202210110222211021201020012010100221202020001222002020000210011201111221000 2011201000022202100201121110200000200022122102000002200110222002112200101002121211110221002021121100000110022200202201211112211201101120122111202202020012100101212221221112100211012001101221201100020202210121002121102200012111112012010000212012001102021 2022222020222220002012020200001121100211111111021220100002211121202221111020100222101120000211121202012002222211202220022112122021102012202110102001212112022110002201021212001222022120101220121002111202202001120110210011100102100001112011020012020210201 0100110112100022110212221120210022101121101112200002222020100211101121100011022001022010211200211220210101011021012022002001221102111010110120122112022022212100110220101100120100220020220200122220211122111020221011001222201202001112122021221210221211202 0001210202122211000101012200100222022110011201102222200210210101122121211222102021122221022010100012221101221120120101021221110212002120222210020111210212212112221012012000210211102210211212122002122200120022201102220102221011002012110120201201202001201 1020122111201222010211002020012100000020011112101100211111211101002121210120101210200220111201020210210100021011121111210100020120020010022212222020200200220010011211021010111012120000020021020020110211212110020220210100020122100110210100220112220222211 0110121110100210100201222010001220001110101212210110012001011200220011120101001202022020201210122011102200011111122011201122110220120201100002010012212021002021122000212111210002002120202020112220010011222022020101000012122211122110100022001110021000200 2112212110011222211222110012200202210110100221101110001212010102012001010202200102120011002002111002201101111220200110122011021220220000101001021102100201100120100102011122112211120211211110210111110012121210211020011112210111221211122111120112010020221 1011112102022222011212211100020212022101011210110222212201112002011212001120222211201001101120100021110100200201022220101112111101112211210002110020010202010221120210121012100222221212200021021121101010010120211112010110002221020201200120100200111100221 1011122020202201112222011122120100102112120201102020110222000101121212010000221111222002211221222021210102002102220202022000101100022200020121220012101102121020220001112201122011022120220210020020012222111110021211100222101221211011012020011111101200021 1012201120011111020211101001121011212211021221202201220121210021110112001120010201022010011201001010101002122022221012120012001211022021010110001102001021222202120220121121122011101101022101002102010122211021220120111212201202021020121021202102012021121 1010220110211101221211120012111022221120202100112021111000200021022101002210211101202201022001101012212211111010121100111102210111222202200201100021221221001120210000021100020011210101210201000221011001022001020122100112001111010021200112201221012011220 2112022002212201111001222101010122222021001011010111211020120112121100211202212000112020021221111101000222200002020220210122122211111201222121020200110222102020020100111121122012221001022002102020212021002000112102111011111102112111112202012112220201220 0100110222011120022121201112210000122220111002010221102201210112102101021211210210010211000022110020210221001000102010022201222020210221100002112101022022211101011012021111202001011121010110022222202222121120001010101010201121221200122010211010001101110 1202100210002200200110221102222020012011102001222002010012102110201102111110212222222212102121200010012011001221111120002221100022101012111021002101001200002102122002202022202120102101212200022121022211111120120002221002010012011000202011110200122210001 2222120022201021222221001100022100221101020011011101001002022000212000011211020011200110011201011002202200111111211111112201120202201121111200101001110020122012012201012200200000120220011202001100120022122111011220111210211021211010000010010100120021111 1010222001022200201112121012000220002202221200010122012112120221222121222002111201111202002010211200202100221111111200120102212022211200102002222010100100200021002100210202021112120112110200020221020112012100122202000201202001212212211121110220111010011 0200101000200121101001002220010122010111001100100222020002112021222111102020011111021020021000211012121211020221200111202002000100212110100000101200002220201210021221201112111101021221110010022022220121012000012110021020001010010121102101021001012220122 1220020222222111122202221110011222021000111111211211002202100121212010222111012021000000121122010122112222012100212002220122121022211100220110011022200002011110222200021001220012021120211111221212020000120110121100211002001112122200012020122011211202111 0210201111121221002211122102012020200221121010002102122020111212112202120112002212012120210222220211201122022202101100201112202020122012000120010022121112202201001121101200020101122122110222111111011011220022220210210001211220212211022012002212221212221 # s^transpose 1201211211111112100222002020120120002022200220201001200201112102112001121221201001121222201022120211100120012011020111212202210020002201222021020112121212100000110012200201120000000002100022111212010120100012012122200001110110220102122211010101202010102