# n 290 # seed 0 # k 107 # w 287 # H^transpose (each line corresponds to a column of H, the identity part is omitted) 110121111120201002122201020211201112202112102002122202110212002000210012101212021202221102112010000221100200002221221200221211122210120122100021020101100020022222000202201010020002010 202021201000211100210202101121202200200121021200121221211210220120120210011212122202112120020210002112221012212200101201212200111101022020012110002022200022011200112001101022221001000 021211202222122121120012100011112012001002111201012001022011111002111101021101122002212000020010012211122201010120101002021200111020020001112002102122121211122022001221102012012122100 200000101100211212202022202101221112200202012211011111100200121001101220220110211100100022021022210110022122120222101122020011101120001102222000222212100121001001020112101121010012011 000102000022202011202000101121000111112210200221010001200011120020102001121202112100121220110121101110001022202110110011201122010102121001021220121021021120012001122211021112020001121 020001112022202012212111122000201121022112121011221120110210200111020202221010020122120021001121101122101202100011111120010220100200102220021202211110222222212111210110000101200012021 201012020112111020010021001222112111120012001121011110000001012012100010011110212202112212211000220021001220222100121022102222210200212101211200022112200100200012200200112202102022111 100220212121201021201110001220112222011201012202201012000000210012100110110212211011222221020110020222220010000022202012022120220112210201011201021021111101212102221201120111001201222 212022111002102222210012020201112111121000201010212212200211020022020222211111012112221102100202221110212200120202122102202010102102212200010121111121010101011122212021120221101120002 110002022101011021120201120000122220220222221012002010112211210120022022010021201202120120202100012121112120010020012001202110220101011221212110011010100010012220112221100211022001101 002210011022000022021012210002110010011120120020212000012000022002101122120012021001221011011010211201121202210102112020021012110212100111021201102112200102211120121021112010002100121 102222012220000000201122121201101221220122210111121110200022222022202222012220100001211021122121002202002021220122110201012010221102101201212211100210120100112120110010100202022000122 212201211020001110011210012102110010212111200112102212111112101101010201100211121220212110122001110102010102100021000012000220021002210200011101010210212112120220102010202201022101220 202102110121011102210101110120211010111001112120220012220001012011201100101220210222221022212202100121220000001220220212212112001212111211000001122012001001221202020221112200221001211 020020221011021101122102100012221021111200122000021002111011122022201220010211010221012020201020102200220102221101212001101220021121002010021022110122100211010212210002102112210202201 201112011211201102002110001000101210201111112002210000100212000212002022020212202100101210122100020002021121112112002020002021012202221020121112221001202111110112112211212212200101202 022222111111220201120002010002021210220020101121102102000221120101001202221220001202220201112220201012211121120100212212112021022020021122021110212200020001110120021222000100210222111 202120202020021111012020200210020010210120010111211220011112121200021210000012202021211221121222121020211120020101120202200210101111102022122122002122012122100212220211211220211011100 102211021220100120222201102021202021011120111200002021012121112222100010122211211102020202022212202000021021202220110020000111022100021002012212021022221220000222010012021020112102221 220011112210121001022020210112200201111201122120222202012122101010021022122000000211020200100020202222212121212220110220010220000110212111222212020112220001001102212200211220100122122 211001012202021102021120000121001120212001020022201122122100202222012200002220202200010121212102001011121101200022002011011222021222210101221021101010121021221122220001012101112102110 200112202011122011020012110211111200210002212101220102120112022210000111001221120110000120120210022120002010011201220210001021012101222210120212011211221221110001120112212000122001221 200111110020010202222212100102122120021112221000112112220111202121210121122221121112201011110201010210010002002002221210111120010020121211102111002210121201010001011000200201202002200 020220001100121220200121200220220021121222211022002112112100001222020001212011000212102021021102022201101121021010121010212012102102201122001022201122010020101022002201221221110011010 222222212020221110021112222010202012000101122112211101211121122012220112212001201200121212121222212020210110000212011120111122200121122201020001000110220021202101101101002201212100211 120011112110101201001111110010210100222121002101122001111100221200201002212001201112020000201201022002110212112021100200221221201211100101000011010010002212112212211022201022201100012 222222211121011022202100020000112002002011222211012022020120100022011111211112112112111200211112220010020012202021010100020220220200202110011012202022121001020200211210121200100011011 201012110120110021102200222122120111101010011120110210101020012122011022120000001220011112112201110221022212102110022100121011220102001100220200121222000222011020100202001202122200120 212120210211011101201020221010121100221202020001120202200011101021212021202011220011202000001112100221101021010110221221022200211022020001010022220211010020212211002101202111101201101 000021021201102202120120212002122100012210110222001011110012120011112110101201200010120122120201212100022002201112010220102010021200222022122211120002112210211222010020121111012120121 121001222112020101000022102102002112222100112100210000220010200111212221221220002000000220222112110222221220021212122012201122120122122111021120211200212020222000121022012012110212111 102221012001111122202021111002020111101210110221112210101201212110100100201112201020110201022120100001122210112111002201220211020220200221020212110110012121210100200212000202000020110 111200201110222110101210020202012222202011111011101010110111210100021212220010011200112201022012112111010010221021020101111201201201010121200021012222001222112122002212111011112201020 110221021210110001001022000012110012101112222210220012121122001120212120000110112221220022001221000021012220101002010220011000211202021211201202022011200011021001200110100000220112201 002010210110211101202021111100222100212210110101210101202220200121112021011201001222022202220220022110000020012110022100012210000012111202022210212200112121221122001220121021111121001 100012010110121102112002021101100200111121011222000022002110211020102000020111220112200020211010212201101110020220202222111022012102220010111100220012222012220000221112211211002120200 011021212112202021202211020212012012011110022121202222001222210220201201021221100021011001122020201101121202010201111022022201001001000011120021212020111022210211022001210112000221010 122212100021012212002211202121001121212021011212211202101111202110122020221200202222221211002111102000120011200100120001010002022001110200220020110110200121222022220221200010011121200 110001202122221000000102222011100101122222002011110011110011000112200022020122102101220120101211222201220111100111221222000100001120022201001111111120120210122110020211200211200212222 001100000220110121201201010221220211222101001120020201010122121020200201010020211112112222200222220111110002211102202202102012220120211002110212101111111210011001011021022222211000210 010000221211002210012200112102202211001121111102101121101112011122100221212112210121212012120102122102201220220202102011101220220222211112222010001200110221001002201012120202100010111 111022122021110202122121120200001022022121212022222210021012122200011212011022222122110201110210010121220020202220100211110012122220222211012102222102102012011011222011210112221111001 000100002022020102001001120210000200220200011220121222011022101200022111020201001000102002111210122021111202002211021201000122101120001022000012202112001110202202012002121100020201100 021120000220001012101120012220220211222020102120122102101001102211220020102201121102211200201000011200002202112210222212112001110101001220102021100020212002211212202101101212102112111 102010202201122121221021102021120000222021212001121101222112102202012002020101111021101000112102112022100211001021210120000120110102202111110200200202202212002102121202221000001211110 100110201110121120211112020122202120122000210001102110112102002111122020211200120221212101100002110001122002022021101110121210022112211000201200102210000020111112110121021221211020200 221000202111111001211100001202012122022120002112001222112112112020210100020112012120221022012121200012120002212200202002002002000001121012012102100011200011101210220001012212220020010 012002210111021202122112112100120020010022020211112122210020201201002112100100010020200200012101002222200002111220221100020100201001111012221111022101100212222022022002110201100211111 211202000001212110101221221221212202010222222110220111120102100222101212112221010002222210112011211011011221210121020011201010001122021201010010011111212200001102221202110111101001111 120202001021100021112212210202100110122210012210102110212121111121000002110212020021221021001100101020102011102201122012120112211101201100000110100011120111111221211022021100200111010 000221201221100122002100000022010102122100222220110022212210122220020120211221211011212202100222120111122212200021012020020011102200202001022221000120202101210001122201011201020202210 002002201100102020121110221121100201220110001212220101020202011102002122020201000221010122011011010202211120002222001100101121200101101000012200121100000120001110222221222212021101020 110121002022201211001020200011112000120001020111202211111111021221200011022211100021011221021021212212202220102012220211011211121110222010110212010001120120011020120100212221102202101 221101000120021012010000000210202212020100222100210212000222122222120120212201001112211020211002220121122100201111221010021011101201211102000101011012022210120112212222200002111122102 100122020102212202221102221201111122211100111002020222102202221002112002211200111021102112212211212000000122122021002001001110022120101221211122001120212111221010221100221010201200202 111022100002102210122202012112121120201120101121102200121100220101121221120101021111001022001100121210211022112211222221201002012212022012210000211002222210110111211212011210011212211 212120112102010101001221202202212010221022110200210122100201202022212012011001111010200200002211210020102002021222012202211211020210112200100012012020102000111221111200102101101120111 012202202000201102122200120002220210010200022000020012222222122021211012201000101102101222211012122012201202112121211122001001111110000210222110222100222020202001222210220122111021022 100202012101020222011200111121122112121210201201121121200012000011122101020021122010211011010101022100122121200001000200212010012020211001200120021121002002001222200010000101022212212 212000121112012121000010011010211210122100221120011201221111111211002222212010122221021220000100000222012211021201201021100102220212121001121212111112022001122210220122202211012122202 001112112001000222100110100000111011022011222001221101221021102212100212200021202110102221021001021202020100221202022111002010201221010102100001222010012020100002011020222102211212122 020011020200122111020111010002010012220100201000000220201121212222011121110000110211222201100110020211211002010122220210021112121210100121001222011220010111020202002020021200020101212 210220101011110201011001020011200221001000112111022222202111121012101011101202100020001111122011112212011002200122200102200120212210100101100110002101001120012021220120122021011220211 000001012102011202011202001100110212022000221001112112222211010120220010121210110120112220000211121120011210010102222120111121000100222200100122200002201112100001022202122021022011122 222122102022022001211001012201202012102102022012021202011101101001220102011100012012202201211200201021011201001001200111212002112210010012201002021010021201222022000021222220112212012 111201011002102020201100200001222011000102011122122211212112220220100110121210121202120101220220121022212022101000111000221211012022122101022222210211121222210110110211000022102212121 121000121122010220202120112110112220221111020100012002201202100022112022100100111211222002102222022212020000211120102221011001011200120020210220001110111200000101120220202221002202020 020022101010102022210202221102012100202111012112120221102100112100120222010210010102022111102020111111111100011201111022002201001010211102001200222100001000100101112110222001020120211 212010010011120020022220100012212120120212122000121102110001201202010020100011220021011112222001220100222102202021010221101021000020212100110112210222211200021012200102001112201212202 210021021101001200222202102010222222122121001000210120222222220210102202112122210011200021220211111121201221200002121211110111201020001102001211210122022200010020212111211200112000112 100022222200111012211000211220221121211122010121212000201012221201100212002211212121110020102001212102102101210111101101121202020011001111220100222212021110120221010000001102011221001 202020212001112111001001121122120101010220020112221122222211210202210011022112202010011102121021222212222020120211121101000000100120020122220221202020212012001221121000202001100201000 100022012112110102200220022100122000201221120000021021010222011000210021121220211210112110121211001000100121021021200002122000011201010022212220100211000221021111111020102112121220122 020211100120222001210110020201220102100220102200211122102200021002221202211222112121120210112102222002122112120002121010120002001120220102020000001002202011122222022212101210010221110 011220102202010010102220002220201021200222121212101002001221202102002002021000102020200200000102221110001122121000001012220011100100210121210110100220001210021122122222211212220201002 212001010102022020021222001111010222102000211022101122102020022222101221001221221012210111101020212202100200100012200100120220012022210011212201212002220121220001112121200220202010121 100010212122212200010002210122212200010020101122122200221101210210000012101111021110001100120010122012001012012201201220220111001121001200021200221020112000100011002110020221011102110 101222220000120010201201211122212020021211220111121012101111122102111002210102010020112210210202112210110201020210112020220121011010112101012100010121121211011102222020010100122100200 000111020120111022210001110101221002221121212012110120221002120222102220002111002210021011012121202102212110110001000011222012222222101020212101210211020221220111101100110222222221221 000101200100222121021112102001211010222012202101010022122201100010001121111100011221120210201111210112010211212111122122110220010022000121121111112101002102222011012210000201222200111 210002220111210010020000101220102001001121122212122122022200100100211102011101011201002200201020020101002012212012221000101201110212211001221000102210011002212200020002012000210202222 120022011100121212000201020010020012101221100102100021022121221110020011202111002021011112211000122122222200021020201111111110201102121122221212001201100112121200210002002200012120201 002221122122220020210102010020212022022202121012201000220220112121200022121211022211000012210220021211002011011000222120110000202221211100211121212011212212210202010000120100111022120 200200021200102212222012022122121010102120122101101122200001022012210011011210210122222202102121212222122121210222020210120221111021210211001212212101022110211022012022102200112000111 122201000111201100220220210010011221000112122210101201120002112220011210200002112010100221200101210201121122212020212220021220101022021122222102020222111212221120110012022112020102221 011011122102021022120011122001210100221201121201022021012212202120221222122221002001121111101111200211202101112011002022222020112210002220210212112200121110112211222021210102212220001 010111101010021122002112001111110221112102002100012002102101021020020220101211112112012010220220022011122111121011002122012210111222110220222211020121001220122021022111110011020100110 222200221111212000221102112121220011010112210122111221122212220020212211000021002110202211202210022212002100010021100000002121102220221200200021101201220002121221012121102120110200000 201002022012011102211211020201001201212112102222202020210120021101001202201100202221021122221122001111012001221122112220221012012021001012001001220122210102022200112022022101021210021 020021001210011020211122101201112201201022020022200202111201001100021211022011101022212220021010211022210021000211021222212201011220001101100120201101001211102020211121122012110012001 000121221020100210102002122100100101221111011022112020011000211002022202122220102222212102021210202100002212111220012212102022121212111221011201202200200022221210021211021200112221200 011112011120012201202122100010012120122210012210102220110222011122100111002200122111002101002001200220202000120011012021012001111002211200111011011110002101011011200101100011012012121 110022210112020220012212222011202010022020211021220120222022221220221221221001101122022200210221021010020210120020201020120221202011000011211100222222202201112011100100202211211102022 221121121011121021202000112020221000022000112200020112211110210120210021022020011212010202110212202100122212010121001221121021201001021100211012220101020011011200000212002111210101000 110020011102100220010221102010112012102210001011201122010020211211002122201110200101210000210011020100200202102010001022100020122012100122011121022111200122220012120120001002101111201 022200212012010200000021222110122022201120002220010220020121001112202211110200101202000220201102121201111002220120002220122100200110022221200212102220222200001002102220120110100221111 111000112102000011200211222210202022022200020222212110002011221102220211021000011020001010101202001221212112001101211000102222010122222201220201021102110012001211100210122210110112020 120010010220111021010001021100220012112202101022212222020102122221221200202102100001022112211201211211112201111202210002010122221122111022202102221111002101110202200222120222211222220 012212001020021210222021211111221022211101200122110200112020022202012101200101122112112020110112002200020002000000002122212022100021222011011102000212002120200001001210001001212212200 022220122111221012221120202122111102021202222201110202022120221022100222110221021000020202221112202112210110012211202010211202121122210010220000022222112010101000212011010221202202002 011210122012101220020211010011001222100110011220012201112022020200012111000220001002100020010021101120111112111121022220222120001011012010211222002100102122120220222111010112000112112 210022001102011202100120012211100102110200201212111001100112021020121200021221221010102100222201011002222020102202201112210222100100210010001222001112221202021010111200112202010122210 200120120012110010102022101220111222002021102121122120010120000120210110022102211202102220110010110211020012021001200202022210200122121212101112112012101101002111210001221001021122021 010011010101112110100222120011120101021021200010120200200002020221020111010120221111202121102202011010112002020120112002220020220000201212100101201022022212020200022111000001122211000 112220122001202020220010101210101211102211111220202211111221200002022112102011120121100100012220200200200110011210022110210100111221010122101210102100010121102200222210122020002210111 122010102022010121022022110001022021202120012211102201002122000000200211220220211220200221200221111221002010012110022102221201021122222202000002010111020202110011210000200000000120112 010012100102121122000201121121011221222001112211212001021111020201210022001100102202012121120002121021121202122200221200212211121100012102212212212201022012000211122110100022010002100 # s^transpose 010021212020200020011212110211112012222220200101121122220112010201210212212211221210020200222210011021001200112021121120001002221010110012102010011201012101212002012202221011222100122