# n 260 # seed 0 # k 95 # w 257 # H^transpose (each line corresponds to a column of H, the identity part is omitted) 110121111120201002122201020211201112202112102002122202110212002000210012101212021202221102112010000221100200002221221200221211122210120122100021020101100020022222000 202201010020002010202021201000211100210202101121202200200121021200121221211210220120120210011212122202112120020210002112221012212200101201212200111101022020012110002 022200022011200112001101022221001000021211202222122121120012100011112012001002111201012001022011111002111101021101122002212000020010012211122201010120101002021200111 020020001112002102122121211122022001221102012012122100200000101100211212202022202101221112200202012211011111100200121001101220220110211100100022021022210110022122120 222101122020011101120001102222000222212100121001001020112101121010012011000102000022202011202000101121000111112210200221010001200011120020102001121202112100121220110 121101110001022202110110011201122010102121001021220121021021120012001122211021112020001121020001112022202012212111122000201121022112121011221120110210200111020202221 010020122120021001121101122101202100011111120010220100200102220021202211110222222212111210110000101200012021201012020112111020010021001222112111120012001121011110000 001012012100010011110212202112212211000220021001220222100121022102222210200212101211200022112200100200012200200112202102022111100220212121201021201110001220112222011 201012202201012000000210012100110110212211011222221020110020222220010000022202012022120220112210201011201021021111101212102221201120111001201222212022111002102222210 012020201112111121000201010212212200211020022020222211111012112221102100202221110212200120202122102202010102102212200010121111121010101011122212021120221101120002110 002022101011021120201120000122220220222221012002010112211210120022022010021201202120120202100012121112120010020012001202110220101011221212110011010100010012220112221 100211022001101002210011022000022021012210002110010011120120020212000012000022002101122120012021001221011011010211201121202210102112020021012110212100111021201102112 200102211120121021112010002100121102222012220000000201122121201101221220122210111121110200022222022202222012220100001211021122121002202002021220122110201012010221102 101201212211100210120100112120110010100202022000122212201211020001110011210012102110010212111200112102212111112101101010201100211121220212110122001110102010102100021 000012000220021002210200011101010210212112120220102010202201022101220202102110121011102210101110120211010111001112120220012220001012011201100101220210222221022212202 100121220000001220220212212112001212111211000001122012001001221202020221112200221001211020020221011021101122102100012221021111200122000021002111011122022201220010211 010221012020201020102200220102221101212001101220021121002010021022110122100211010212210002102112210202201201112011211201102002110001000101210201111112002210000100212 000212002022020212202100101210122100020002021121112112002020002021012202221020121112221001202111110112112211212212200101202022222111111220201120002010002021210220020 101121102102000221120101001202221220001202220201112220201012211121120100212212112021022020021122021110212200020001110120021222000100210222111202120202020021111012020 200210020010210120010111211220011112121200021210000012202021211221121222121020211120020101120202200210101111102022122122002122012122100212220211211220211011100102211 021220100120222201102021202021011120111200002021012121112222100010122211211102020202022212202000021021202220110020000111022100021002012212021022221220000222010012021 020112102221220011112210121001022020210112200201111201122120222202012122101010021022122000000211020200100020202222212121212220110220010220000110212111222212020112220 001001102212200211220100122122211001012202021102021120000121001120212001020022201122122100202222012200002220202200010121212102001011121101200022002011011222021222210 101221021101010121021221122220001012101112102110200112202011122011020012110211111200210002212101220102120112022210000111001221120110000120120210022120002010011201220 210001021012101222210120212011211221221110001120112212000122001221200111110020010202222212100102122120021112221000112112220111202121210121122221121112201011110201010 210010002002002221210111120010020121211102111002210121201010001011000200201202002200020220001100121220200121200220220021121222211022002112112100001222020001212011000 212102021021102022201101121021010121010212012102102201122001022201122010020101022002201221221110011010222222212020221110021112222010202012000101122112211101211121122 012220112212001201200121212121222212020210110000212011120111122200121122201020001000110220021202101101101002201212100211120011112110101201001111110010210100222121002 101122001111100221200201002212001201112020000201201022002110212112021100200221221201211100101000011010010002212112212211022201022201100012222222211121011022202100020 000112002002011222211012022020120100022011111211112112112111200211112220010020012202021010100020220220200202110011012202022121001020200211210121200100011011201012110 120110021102200222122120111101010011120110210101020012122011022120000001220011112112201110221022212102110022100121011220102001100220200121222000222011020100202001202 122200120212120210211011101201020221010121100221202020001120202200011101021212021202011220011202000001112100221101021010110221221022200211022020001010022220211010020 212211002101202111101201101000021021201102202120120212002122100012210110222001011110012120011112110101201200010120122120201212100022002201112010220102010021200222022 122211120002112210211222010020121111012120121121001222112020101000022102102002112222100112100210000220010200111212221221220002000000220222112110222221220021212122012 201122120122122111021120211200212020222000121022012012110212111102221012001111122202021111002020111101210110221112210101201212110100100201112201020110201022120100001 122210112111002201220211020220200221020212110110012121210100200212000202000020110111200201110222110101210020202012222202011111011101010110111210100021212220010011200 112201022012112111010010221021020101111201201201010121200021012222001222112122002212111011112201020110221021210110001001022000012110012101112222210220012121122001120 212120000110112221220022001221000021012220101002010220011000211202021211201202022011200011021001200110100000220112201002010210110211101202021111100222100212210110101 210101202220200121112021011201001222022202220220022110000020012110022100012210000012111202022210212200112121221122001220121021111121001100012010110121102112002021101 100200111121011222000022002110211020102000020111220112200020211010212201101110020220202222111022012102220010111100220012222012220000221112211211002120200011021212112 202021202211020212012012011110022121202222001222210220201201021221100021011001122020201101121202010201111022022201001001000011120021212020111022210211022001210112000 221010122212100021012212002211202121001121212021011212211202101111202110122020221200202222221211002111102000120011200100120001010002022001110200220020110110200121222 022220221200010011121200110001202122221000000102222011100101122222002011110011110011000112200022020122102101220120101211222201220111100111221222000100001120022201001 111111120120210122110020211200211200212222001100000220110121201201010221220211222101001120020201010122121020200201010020211112112222200222220111110002211102202202102 012220120211002110212101111111210011001011021022222211000210010000221211002210012200112102202211001121111102101121101112011122100221212112210121212012120102122102201 220220202102011101220220222211112222010001200110221001002201012120202100010111111022122021110202122121120200001022022121212022222210021012122200011212011022222122110 201110210010121220020202220100211110012122220222211012102222102102012011011222011210112221111001000100002022020102001001120210000200220200011220121222011022101200022 111020201001000102002111210122021111202002211021201000122101120001022000012202112001110202202012002121100020201100021120000220001012101120012220220211222020102120122 102101001102211220020102201121102211200201000011200002202112210222212112001110101001220102021100020212002211212202101101212102112111102010202201122121221021102021120 000222021212001121101222112102202012002020101111021101000112102112022100211001021210120000120110102202111110200200202202212002102121202221000001211110100110201110121 120211112020122202120122000210001102110112102002111122020211200120221212101100002110001122002022021101110121210022112211000201200102210000020111112110121021221211020 200221000202111111001211100001202012122022120002112001222112112112020210100020112012120221022012121200012120002212200202002002002000001121012012102100011200011101210 220001012212220020010012002210111021202122112112100120020010022020211112122210020201201002112100100010020200200012101002222200002111220221100020100201001111012221111 022101100212222022022002110201100211111211202000001212110101221221221212202010222222110220111120102100222101212112221010002222210112011211011011221210121020011201010 001122021201010010011111212200001102221202110111101001111120202001021100021112212210202100110122210012210102110212121111121000002110212020021221021001100101020102011 102201122012120112211101201100000110100011120111111221211022021100200111010000221201221100122002100000022010102122100222220110022212210122220020120211221211011212202 100222120111122212200021012020020011102200202001022221000120202101210001122201011201020202210002002201100102020121110221121100201220110001212220101020202011102002122 020201000221010122011011010202211120002222001100101121200101101000012200121100000120001110222221222212021101020110121002022201211001020200011112000120001020111202211 111111021221200011022211100021011221021021212212202220102012220211011211121110222010110212010001120120011020120100212221102202101221101000120021012010000000210202212 020100222100210212000222122222120120212201001112211020211002220121122100201111221010021011101201211102000101011012022210120112212222200002111122102100122020102212202 221102221201111122211100111002020222102202221002112002211200111021102112212211212000000122122021002001001110022120101221211122001120212111221010221100221010201200202 111022100002102210122202012112121120201120101121102200121100220101121221120101021111001022001100121210211022112211222221201002012212022012210000211002222210110111211 212011210011212211212120112102010101001221202202212010221022110200210122100201202022212012011001111010200200002211210020102002021222012202211211020210112200100012012 020102000111221111200102101101120111012202202000201102122200120002220210010200022000020012222222122021211012201000101102101222211012122012201202112121211122001001111 110000210222110222100222020202001222210220122111021022100202012101020222011200111121122112121210201201121121200012000011122101020021122010211011010101022100122121200 001000200212010012020211001200120021121002002001222200010000101022212212212000121112012121000010011010211210122100221120011201221111111211002222212010122221021220000 100000222012211021201201021100102220212121001121212111112022001122210220122202211012122202001112112001000222100110100000111011022011222001221101221021102212100212200 021202110102221021001021202020100221202022111002010201221010102100001222010012020100002011020222102211212122020011020200122111020111010002010012220100201000000220201 121212222011121110000110211222201100110020211211002010122220210021112121210100121001222011220010111020202002020021200020101212210220101011110201011001020011200221001 000112111022222202111121012101011101202100020001111122011112212011002200122200102200120212210100101100110002101001120012021220120122021011220211000001012102011202011 202001100110212022000221001112112222211010120220010121210110120112220000211121120011210010102222120111121000100222200100122200002201112100001022202122021022011122222 122102022022001211001012201202012102102022012021202011101101001220102011100012012202201211200201021011201001001200111212002112210010012201002021010021201222022000021 222220112212012111201011002102020201100200001222011000102011122122211212112220220100110121210121202120101220220121022212022101000111000221211012022122101022222210211 121222210110110211000022102212121121000121122010220202120112110112220221111020100012002201202100022112022100100111211222002102222022212020000211120102221011001011200 120020210220001110111200000101120220202221002202020020022101010102022210202221102012100202111012112120221102100112100120222010210010102022111102020111111111100011201 111022002201001010211102001200222100001000100101112110222001020120211212010010011120020022220100012212120120212122000121102110001201202010020100011220021011112222001 220100222102202021010221101021000020212100110112210222211200021012200102001112201212202210021021101001200222202102010222222122121001000210120222222220210102202112122 210011200021220211111121201221200002121211110111201020001102001211210122022200010020212111211200112000112100022222200111012211000211220221121211122010121212000201012 221201100212002211212121110020102001212102102101210111101101121202020011001111220100222212021110120221010000001102011221001202020212001112111001001121122120101010220 020112221122222211210202210011022112202010011102121021222212222020120211121101000000100120020122220221202020212012001221121000202001100201000100022012112110102200220 022100122000201221120000021021010222011000210021121220211210112110121211001000100121021021200002122000011201010022212220100211000221021111111020102112121220122020211 100120222001210110020201220102100220102200211122102200021002221202211222112121120210112102222002122112120002121010120002001120220102020000001002202011122222022212101 210010221110011220102202010010102220002220201021200222121212101002001221202102002002021000102020200200000102221110001122121000001012220011100100210121210110100220001 210021122122222211212220201002212001010102022020021222001111010222102000211022101122102020022222101221001221221012210111101020212202100200100012200100120220012022210 011212201212002220121220001112121200220202010121100010212122212200010002210122212200010020101122122200221101210210000012101111021110001100120010122012001012012201201 220220111001121001200021200221020112000100011002110020221011102110101222220000120010201201211122212020021211220111121012101111122102111002210102010020112210210202112 210110201020210112020220121011010112101012100010121121211011102222020010100122100200000111020120111022210001110101221002221121212012110120221002120222102220002111002 210021011012121202102212110110001000011222012222222101020212101210211020221220111101100110222222221221000101200100222121021112102001211010222012202101010022122201100 010001121111100011221120210201111210112010211212111122122110220010022000121121111112101002102222011012210000201222200111210002220111210010020000101220102001001121122 212122122022200100100211102011101011201002200201020020101002012212012221000101201110212211001221000102210011002212200020002012000210202222120022011100121212000201020 010020012101221100102100021022121221110020011202111002021011112211000122122222200021020201111111110201102121122221212001201100112121200210002002200012120201002221122 122220020210102010020212022022202121012201000220220112121200022121211022211000012210220021211002011011000222120110000202221211100211121212011212212210202010000120100 111022120200200021200102212222012022122121010102120122101101122200001022012210011011210210122222202102121212222122121210222020210120221111021210211001212212101022110 211022012022102200112000111122201000111201100220220210010011221000112122210101201120002112220011210200002112010100221200101210201121122212020212220021220101022021122 222102020222111212221120110012022112020102221011011122102021022120011122001210100221201121201022021012212202120221222122221002001121111101111200211202101112011002022 # s^transpose 222020112210002220210212112200121110112211222021210102212220001010111101010021122002112001111110221112102002100012002102101021020020220101211112112012010220220022011