# n 580 # seed 0 # k 214 # w 574 # H^transpose (each line corresponds to a column of H, the identity part is omitted) 110121111120201002122201020211201112202112102002122202110212002000210012101212021202221102112010000221100200002221221200221211122210120122100021020101100020022222000202201010020002010202021201000211100210202101121202200200121021200121221211210220120120210011212122202112120020210002112221012212200101201212200111101022020012110002022200022011200112001101022221001000 021211202222122121120012100011112012001002111201012001022011111002111101021101122002212000020010012211122201010120101002021200111020020001112002102122121211122022001221102012012122100200000101100211212202022202101221112200202012211011111100200121001101220220110211100100022021022210110022122120222101122020011101120001102222000222212100121001001020112101121010012011 000102000022202011202000101121000111112210200221010001200011120020102001121202112100121220110121101110001022202110110011201122010102121001021220121021021120012001122211021112020001121020001112022202012212111122000201121022112121011221120110210200111020202221010020122120021001121101122101202100011111120010220100200102220021202211110222222212111210110000101200012021 201012020112111020010021001222112111120012001121011110000001012012100010011110212202112212211000220021001220222100121022102222210200212101211200022112200100200012200200112202102022111100220212121201021201110001220112222011201012202201012000000210012100110110212211011222221020110020222220010000022202012022120220112210201011201021021111101212102221201120111001201222 212022111002102222210012020201112111121000201010212212200211020022020222211111012112221102100202221110212200120202122102202010102102212200010121111121010101011122212021120221101120002110002022101011021120201120000122220220222221012002010112211210120022022010021201202120120202100012121112120010020012001202110220101011221212110011010100010012220112221100211022001101 002210011022000022021012210002110010011120120020212000012000022002101122120012021001221011011010211201121202210102112020021012110212100111021201102112200102211120121021112010002100121102222012220000000201122121201101221220122210111121110200022222022202222012220100001211021122121002202002021220122110201012010221102101201212211100210120100112120110010100202022000122 212201211020001110011210012102110010212111200112102212111112101101010201100211121220212110122001110102010102100021000012000220021002210200011101010210212112120220102010202201022101220202102110121011102210101110120211010111001112120220012220001012011201100101220210222221022212202100121220000001220220212212112001212111211000001122012001001221202020221112200221001211 020020221011021101122102100012221021111200122000021002111011122022201220010211010221012020201020102200220102221101212001101220021121002010021022110122100211010212210002102112210202201201112011211201102002110001000101210201111112002210000100212000212002022020212202100101210122100020002021121112112002020002021012202221020121112221001202111110112112211212212200101202 022222111111220201120002010002021210220020101121102102000221120101001202221220001202220201112220201012211121120100212212112021022020021122021110212200020001110120021222000100210222111202120202020021111012020200210020010210120010111211220011112121200021210000012202021211221121222121020211120020101120202200210101111102022122122002122012122100212220211211220211011100 102211021220100120222201102021202021011120111200002021012121112222100010122211211102020202022212202000021021202220110020000111022100021002012212021022221220000222010012021020112102221220011112210121001022020210112200201111201122120222202012122101010021022122000000211020200100020202222212121212220110220010220000110212111222212020112220001001102212200211220100122122 211001012202021102021120000121001120212001020022201122122100202222012200002220202200010121212102001011121101200022002011011222021222210101221021101010121021221122220001012101112102110200112202011122011020012110211111200210002212101220102120112022210000111001221120110000120120210022120002010011201220210001021012101222210120212011211221221110001120112212000122001221 200111110020010202222212100102122120021112221000112112220111202121210121122221121112201011110201010210010002002002221210111120010020121211102111002210121201010001011000200201202002200020220001100121220200121200220220021121222211022002112112100001222020001212011000212102021021102022201101121021010121010212012102102201122001022201122010020101022002201221221110011010 222222212020221110021112222010202012000101122112211101211121122012220112212001201200121212121222212020210110000212011120111122200121122201020001000110220021202101101101002201212100211120011112110101201001111110010210100222121002101122001111100221200201002212001201112020000201201022002110212112021100200221221201211100101000011010010002212112212211022201022201100012 222222211121011022202100020000112002002011222211012022020120100022011111211112112112111200211112220010020012202021010100020220220200202110011012202022121001020200211210121200100011011201012110120110021102200222122120111101010011120110210101020012122011022120000001220011112112201110221022212102110022100121011220102001100220200121222000222011020100202001202122200120 212120210211011101201020221010121100221202020001120202200011101021212021202011220011202000001112100221101021010110221221022200211022020001010022220211010020212211002101202111101201101000021021201102202120120212002122100012210110222001011110012120011112110101201200010120122120201212100022002201112010220102010021200222022122211120002112210211222010020121111012120121 121001222112020101000022102102002112222100112100210000220010200111212221221220002000000220222112110222221220021212122012201122120122122111021120211200212020222000121022012012110212111102221012001111122202021111002020111101210110221112210101201212110100100201112201020110201022120100001122210112111002201220211020220200221020212110110012121210100200212000202000020110 111200201110222110101210020202012222202011111011101010110111210100021212220010011200112201022012112111010010221021020101111201201201010121200021012222001222112122002212111011112201020110221021210110001001022000012110012101112222210220012121122001120212120000110112221220022001221000021012220101002010220011000211202021211201202022011200011021001200110100000220112201 002010210110211101202021111100222100212210110101210101202220200121112021011201001222022202220220022110000020012110022100012210000012111202022210212200112121221122001220121021111121001100012010110121102112002021101100200111121011222000022002110211020102000020111220112200020211010212201101110020220202222111022012102220010111100220012222012220000221112211211002120200 011021212112202021202211020212012012011110022121202222001222210220201201021221100021011001122020201101121202010201111022022201001001000011120021212020111022210211022001210112000221010122212100021012212002211202121001121212021011212211202101111202110122020221200202222221211002111102000120011200100120001010002022001110200220020110110200121222022220221200010011121200 110001202122221000000102222011100101122222002011110011110011000112200022020122102101220120101211222201220111100111221222000100001120022201001111111120120210122110020211200211200212222001100000220110121201201010221220211222101001120020201010122121020200201010020211112112222200222220111110002211102202202102012220120211002110212101111111210011001011021022222211000210 010000221211002210012200112102202211001121111102101121101112011122100221212112210121212012120102122102201220220202102011101220220222211112222010001200110221001002201012120202100010111111022122021110202122121120200001022022121212022222210021012122200011212011022222122110201110210010121220020202220100211110012122220222211012102222102102012011011222011210112221111001 000100002022020102001001120210000200220200011220121222011022101200022111020201001000102002111210122021111202002211021201000122101120001022000012202112001110202202012002121100020201100021120000220001012101120012220220211222020102120122102101001102211220020102201121102211200201000011200002202112210222212112001110101001220102021100020212002211212202101101212102112111 102010202201122121221021102021120000222021212001121101222112102202012002020101111021101000112102112022100211001021210120000120110102202111110200200202202212002102121202221000001211110100110201110121120211112020122202120122000210001102110112102002111122020211200120221212101100002110001122002022021101110121210022112211000201200102210000020111112110121021221211020200 221000202111111001211100001202012122022120002112001222112112112020210100020112012120221022012121200012120002212200202002002002000001121012012102100011200011101210220001012212220020010012002210111021202122112112100120020010022020211112122210020201201002112100100010020200200012101002222200002111220221100020100201001111012221111022101100212222022022002110201100211111 211202000001212110101221221221212202010222222110220111120102100222101212112221010002222210112011211011011221210121020011201010001122021201010010011111212200001102221202110111101001111120202001021100021112212210202100110122210012210102110212121111121000002110212020021221021001100101020102011102201122012120112211101201100000110100011120111111221211022021100200111010 000221201221100122002100000022010102122100222220110022212210122220020120211221211011212202100222120111122212200021012020020011102200202001022221000120202101210001122201011201020202210002002201100102020121110221121100201220110001212220101020202011102002122020201000221010122011011010202211120002222001100101121200101101000012200121100000120001110222221222212021101020 110121002022201211001020200011112000120001020111202211111111021221200011022211100021011221021021212212202220102012220211011211121110222010110212010001120120011020120100212221102202101221101000120021012010000000210202212020100222100210212000222122222120120212201001112211020211002220121122100201111221010021011101201211102000101011012022210120112212222200002111122102 100122020102212202221102221201111122211100111002020222102202221002112002211200111021102112212211212000000122122021002001001110022120101221211122001120212111221010221100221010201200202111022100002102210122202012112121120201120101121102200121100220101121221120101021111001022001100121210211022112211222221201002012212022012210000211002222210110111211212011210011212211 212120112102010101001221202202212010221022110200210122100201202022212012011001111010200200002211210020102002021222012202211211020210112200100012012020102000111221111200102101101120111012202202000201102122200120002220210010200022000020012222222122021211012201000101102101222211012122012201202112121211122001001111110000210222110222100222020202001222210220122111021022 100202012101020222011200111121122112121210201201121121200012000011122101020021122010211011010101022100122121200001000200212010012020211001200120021121002002001222200010000101022212212212000121112012121000010011010211210122100221120011201221111111211002222212010122221021220000100000222012211021201201021100102220212121001121212111112022001122210220122202211012122202 001112112001000222100110100000111011022011222001221101221021102212100212200021202110102221021001021202020100221202022111002010201221010102100001222010012020100002011020222102211212122020011020200122111020111010002010012220100201000000220201121212222011121110000110211222201100110020211211002010122220210021112121210100121001222011220010111020202002020021200020101212 210220101011110201011001020011200221001000112111022222202111121012101011101202100020001111122011112212011002200122200102200120212210100101100110002101001120012021220120122021011220211000001012102011202011202001100110212022000221001112112222211010120220010121210110120112220000211121120011210010102222120111121000100222200100122200002201112100001022202122021022011122 222122102022022001211001012201202012102102022012021202011101101001220102011100012012202201211200201021011201001001200111212002112210010012201002021010021201222022000021222220112212012111201011002102020201100200001222011000102011122122211212112220220100110121210121202120101220220121022212022101000111000221211012022122101022222210211121222210110110211000022102212121 121000121122010220202120112110112220221111020100012002201202100022112022100100111211222002102222022212020000211120102221011001011200120020210220001110111200000101120220202221002202020020022101010102022210202221102012100202111012112120221102100112100120222010210010102022111102020111111111100011201111022002201001010211102001200222100001000100101112110222001020120211 212010010011120020022220100012212120120212122000121102110001201202010020100011220021011112222001220100222102202021010221101021000020212100110112210222211200021012200102001112201212202210021021101001200222202102010222222122121001000210120222222220210102202112122210011200021220211111121201221200002121211110111201020001102001211210122022200010020212111211200112000112 100022222200111012211000211220221121211122010121212000201012221201100212002211212121110020102001212102102101210111101101121202020011001111220100222212021110120221010000001102011221001202020212001112111001001121122120101010220020112221122222211210202210011022112202010011102121021222212222020120211121101000000100120020122220221202020212012001221121000202001100201000 100022012112110102200220022100122000201221120000021021010222011000210021121220211210112110121211001000100121021021200002122000011201010022212220100211000221021111111020102112121220122020211100120222001210110020201220102100220102200211122102200021002221202211222112121120210112102222002122112120002121010120002001120220102020000001002202011122222022212101210010221110 011220102202010010102220002220201021200222121212101002001221202102002002021000102020200200000102221110001122121000001012220011100100210121210110100220001210021122122222211212220201002212001010102022020021222001111010222102000211022101122102020022222101221001221221012210111101020212202100200100012200100120220012022210011212201212002220121220001112121200220202010121 100010212122212200010002210122212200010020101122122200221101210210000012101111021110001100120010122012001012012201201220220111001121001200021200221020112000100011002110020221011102110101222220000120010201201211122212020021211220111121012101111122102111002210102010020112210210202112210110201020210112020220121011010112101012100010121121211011102222020010100122100200 000111020120111022210001110101221002221121212012110120221002120222102220002111002210021011012121202102212110110001000011222012222222101020212101210211020221220111101100110222222221221000101200100222121021112102001211010222012202101010022122201100010001121111100011221120210201111210112010211212111122122110220010022000121121111112101002102222011012210000201222200111 210002220111210010020000101220102001001121122212122122022200100100211102011101011201002200201020020101002012212012221000101201110212211001221000102210011002212200020002012000210202222120022011100121212000201020010020012101221100102100021022121221110020011202111002021011112211000122122222200021020201111111110201102121122221212001201100112121200210002002200012120201 002221122122220020210102010020212022022202121012201000220220112121200022121211022211000012210220021211002011011000222120110000202221211100211121212011212212210202010000120100111022120200200021200102212222012022122121010102120122101101122200001022012210011011210210122222202102121212222122121210222020210120221111021210211001212212101022110211022012022102200112000111 122201000111201100220220210010011221000112122210101201120002112220011210200002112010100221200101210201121122212020212220021220101022021122222102020222111212221120110012022112020102221011011122102021022120011122001210100221201121201022021012212202120221222122221002001121111101111200211202101112011002022222020112210002220210212112200121110112211222021210102212220001 010111101010021122002112001111110221112102002100012002102101021020020220101211112112012010220220022011122111121011002122012210111222110220222211020121001220122021022111110011020100110222200221111212000221102112121220011010112210122111221122212220020212211000021002110202211202210022212002100010021100000002121102220221200200021101201220002121221012121102120110200000 201002022012011102211211020201001201212112102222202020210120021101001202201100202221021122221122001111012001221122112220221012012021001012001001220122210102022200112022022101021210021020021001210011020211122101201112201201022020022200202111201001100021211022011101022212220021010211022210021000211021222212201011220001101100120201101001211102020211121122012110012001 000121221020100210102002122100100101221111011022112020011000211002022202122220102222212102021210202100002212111220012212102022121212111221011201202200200022221210021211021200112221200011112011120012201202122100010012120122210012210102220110222011122100111002200122111002101002001200220202000120011012021012001111002211200111011011110002101011011200101100011012012121 110022210112020220012212222011202010022020211021220120222022221220221221221001101122022200210221021010020210120020201020120221202011000011211100222222202201112011100100202211211102022221121121011121021202000112020221000022000112200020112211110210120210021022020011212010202110212202100122212010121001221121021201001021100211012220101020011011200000212002111210101000 110020011102100220010221102010112012102210001011201122010020211211002122201110200101210000210011020100200202102010001022100020122012100122011121022111200122220012120120001002101111201022200212012010200000021222110122022201120002220010220020121001112202211110200101202000220201102121201111002220120002220122100200110022221200212102220222200001002102220120110100221111 111000112102000011200211222210202022022200020222212110002011221102220211021000011020001010101202001221212112001101211000102222010122222201220201021102110012001211100210122210110112020120010010220111021010001021100220012112202101022212222020102122221221200202102100001022112211201211211112201111202210002010122221122111022202102221111002101110202200222120222211222220 012212001020021210222021211111221022211101200122110200112020022202012101200101122112112020110112002200020002000000002122212022100021222011011102000212002120200001001210001001212212200022220122111221012221120202122111102021202222201110202022120221022100222110221021000020202221112202112210110012211202010211202121122210010220000022222112010101000212011010221202202002 011210122012101220020211010011001222100110011220012201112022020200012111000220001002100020010021101120111112111121022220222120001011012010211222002100102122120220222111010112000112112210022001102011202100120012211100102110200201212111001100112021020121200021221221010102100222201011002222020102202201112210222100100210010001222001112221202021010111200112202010122210 200120120012110010102022101220111222002021102121122120010120000120210110022102211202102220110010110211020012021001200202022210200122121212101112112012101101002111210001221001021122021010011010101112110100222120011120101021021200010120200200002020221020111010120221111202121102202011010112002020120112002220020220000201212100101201022022212020200022111000001122211000 112220122001202020220010101210101211102211111220202211111221200002022112102011120121100100012220200200200110011210022110210100111221010122101210102100010121102200222210122020002210111122010102022010121022022110001022021202120012211102201002122000000200211220220211220200221200221111221002010012110022102221201021122222202000002010111020202110011210000200000000120112 010012100102121122000201121121011221222001112211212001021111020201210022001100102202012121120002121021121202122200221200212211121100012102212212212201022012000211122110100022010002100010021212020200020011212110211112012222220200101121122220112010201210212212211221210020200222210011021001200112021121120001002221010110012102010011201012101212002012202221011222100122 202110020122120121012022210110012110110000201220101202120222201201221011212122011000011002212202110220111212102022211000022011101111112112010221110200201102022221022120010202021220102200122102200200102101002212221001222002221201012221220001202102221112000022010101111202122121102002110110211021202110201222212100021000202222002112020201220212010202020001002002200212 102020010220100202220200012122202201211111110002000222001101121210220221101122110100122021111011011111010110110220102101011210110020211021000002110122022102101222222012201120221012012110121121222020111111010110021021100112110212220001012022202121022001020020222122012101002220121222020021010221112220110020212220112200221001110010022021002210102022201202102110211211 210202212202102221202111202200010001100201001222200122212200220201001010122201200101020011100012212210102121201201100120022111222102222001010210220210201222201112112012100022020110112001100212200220020211210012000222110212111111010212222110002002202210202201021000122220011211122210221022021211020101220200210122112222121021110020020101220101002221112010012112210111 210222211222110002102211012001102120202120102021022011020002001222100022200110022002001201212011110022210022122010222122010100000101200022012112022110020020101100001121120211100201222111101101020120122101121002101100201220201112001101220010220220110220121112221121112201221102220212002121212210201021010020010220021122021000101201002000001121010022011110201022222110 110210000001220201012010222201221021021100121002100202001002211022022101102120221011000202110012101201120112200112211202221221121221110101121200121222110000112100011000201120001200000202110012102010020122112102221112201102022220000222022010202001102111110022000220000202211100100202002121102210222211200202220221120110220020111102011022102020110100220012100211222002 100011222002211212012020220020011102011022111000021210122202000220012212000020101122000020122202122120021000001112202102201220120011201101222212201002102012210011222120210122211020212101200111120002220022012102201012001200021002210112010222102000022000112102201112100220212022202200102201222121001020021210210101201200101112222100220102021012120110001202000100111112 121201120120110002020021011111002002021012112102220110002011221000112102200210001212221020110020000112122111200011011011122022012121122012001000102202020121111112210200201110000121022001011112001200010111220100201112111012000001200222010102220012100100210222211112222120112200102020220210002101001222011221200222201122210200010121120102022011212120121111110111121201 001220010011121100111111202200100200220112112212000110101121001101021020211121222120121202222120022111120120202020022212221020201220112012112201111122012101002000011101012122020201100220200002020212100211212120011001020110211112021100202101022121001102221100021021111200002002210002102111100121222122222202122202112211100212220110011222122100000010111222022010020000 012002122020222102021202121202002001111212000000122111222001102010200202022021010210222201012221010110012202212200101012210100110012100222020120202102000101222201002011201002110021001002211110110002210201010112121021220001001000201022111120102101212022100011222221000220210220222101110012100200201111022221000201002000101222212100111220000210110000101020000201022000 211200202122112210001001101001202221210001222021102001022101212100100012010212001211211022020121112002010220101121020002221202010011101100100021101222021012210012002122201220101121221100202210102021102100111212121102102001202121002220212020120110202010202012100201212122221022122000022011200102121110211112212122101112021001220210201011202022111010121221020110021012 100000201110220121220102221211110201102000200200022021002220020001202010112122022122012011111022120120000122112112001121222210010002210110010122011101002020011101002211222010111112020110200000202122221021200101110010211220021211220212021010021021120122220211222000010021121112200120112220221110201021100201112210102002022010122112222000122200021120020121211202111202 100221212001221001020212202221020022002201220101121221212112022202000202201222222011212202110011102120112011002122012100000110201001000002000212221001201212210002210022112212121020020202222120200101222211011020202210100012120221000201220021022101212201211010112012112001010102220120001121111210212111221102000102221211120201210002101011101101201211022012012121021122 022021220121001002120020112101011221220120010222021221202011212002210121021012220011021102011210101021222002121001120002221022001201000221202011121211200211121201100110121021212002102210221001202112220221020122022000111021002221210012201110211001020000120120212010001220000000101201222000220022121020111120222012121122102200011022001101011212010021221200220102022021 102010000212112201221210100001212002002210001220022100220211011200102000210212012220002210021002212020021111101011201210122210121001201012012101220020120111022010021001001010012002001202221222120221210111110101201021100102001211221201120011102211120112210121110011012120201122210202220200021022120001212220002220022110002210020021120221222102211122221121021110221012 002222002000100112100200200200110210122101121202202122210112201222022121101202102122122121210011112220111101102002111201120121100110022121212220010010001220112111212011120121110102100020200221200202102121122012002111011010112121212221022002010021222102220201000111102002000021120101001002012112021100222102002211020221111012022022201200011122120022011222102111120011 022012101110210202111001111021212020021100221012112110100012021120010001201112202201221020211111112212211211111002122210010222200101022012101202020221101200010120022201021120101222121020011111101212212210102002112111221010001001110112100000211120012020022200001121201022020222022222121001120110121200122112120102001020110111111201010011011200020010000022012211022012 022022101201020200020010020110221220021221012002021110022110000111220222022221220202112212212121110020221011012110121001021200211212112112121000021020202112101011201200102202001020101201100002220011220111110100200202012010202101202112220202210211022111222121111000220100210020021120102001221000011110211001002002111010000001111121110021021211220111021111202000211201 002201122222100000120212102021210112212211212222201202012202110200001202020011221210101201110200122000201220022122012101120012112122021201110121112012100101212001212020121102220102001021011000100020221020012011000100000021221200020002112212121220001102121100020202002112000101122022121100220220020021020120011101211121221112002100222020021200110101121121122112022120 201212220102022111120121110112200101122120102022122020211012111110021222001211022100111120201001021112012001012100101001011020020002011021101221202210101012020200210112112010000120011221210022220022000021101212110122020021012021012201201210222221221002211000202000000011021020221100112221011220220200101120111121012220120012121102202222010220111010110002221000012200 100100201122121112222002201120111221212110222021021111022020210011212200021201021101101222022022200112222100200221112210212220110021110201010220020010210221020212211010110120022210011022022121220020211101122222102222220011011221102102210112121100021022010010101110200220111011112012221101221211202111022011012111212000102000111222211202212020001011020102120022110102 200000112211102212112022121221101201201100211121212211222201001000211100102221112022020202211120102201002210200221111001210201111020012000220101012202001001122011212000121100200020102210221002112010220022200001212122112100110110112222101111201200120112000110221211121112222022202201201212000002120011210201122002111001102021210210101022000220010122201121120011002212 012001110211211002211111100010200022101122121222122011202000221212220010002000021222112202220000212120011222221010111112122012212200100101012011101201011020022201200201010210210020211222221211120022021020110110022221121210112222222211022121210221002000211220220020100222000000101101221000022200111211012202012200111121011011010212202110122000210001021012122220022102 010020012011202122002212110220112212122121202022220111121110112112221112010120222120121201020121021222100110121001001002101122102020222102122221202120002100122211120101022011122021202111210201011222001011021022201202111220222021201112012202001120101022001011221222111022100212211222220112121211122102001111221001100011011021022122012102202112022102112000001122220201 122120212221212101022212200111020022012010122122121221221000221012021120120020200211112202122221022020112211202002120111221101221120100120201210000121212102122111102210220201222222111100022211112110220201000122212002011210220221020021020201022210010221200200200122021022120121020221012212122010222210201212001212020110212000210202100202200022011102200202021112100002 212002210222212212201100201212022112222111221002001112110110022101211020011200201110021022111212022211200110110020101011110012202202102200012000221110212002001120102020201200222012201220211202222102111212000212012100201010120220211122202212222222012010110011112002112020021021222210112012002101111012202001001202201111122100120202002010101210100001011200200101002021 101001110012002010021102221021111211011011102001122112212111220112002102112112202201212001201221101111200100012022202211210121202012221120200000201011222200122120222222102212020100222221021012110222121122020002111212110220220221100101212220010210211021120011222112120010202202020111021200120021211100222011000021221102022210102020022020122010210110211221222021011211 110120212212112210220210012101120000020212202102211102120120202122120021000102211000010101102000011021200001022202211222012101202001021200201010202010212201211221121012210200221221222000020010202111100010012100012210200101021100020002102121112211211221110000021001200120200212211110012001200212001111121101210022210100101001100121210110121220112222110021212010221202 212010020002110102020112100021210120110212020010120110110102020001100212222020201210122000002012211212110111001120020210220111220002222110012022202200101220201220112002200020122121202101010012101201000121102001100211211011201121020112222210002001101012022212101211210002110202222222020222010210012202012210221001202211010011101012011021120011011221211221210101001022 010102202110010212020200021120120122102111212101020112201010112122101112201121211022211200112120100122111022201010111102121212121100202111100021112022100211010012201001011110210102111120101202112010001102122002221201202120022211202020201010110202011200101220112220122021122210010102020112202121202012020201111101221201200010012110200120211201020200002020201010102210 222012100011212002200110002022102121102112220012100000221110022110200120201011210110211100222011120110002101101120222212202001222110222020202111122220010022000201200122100210022100012102120001122122200002010120100211022222221111010011212011100200010022210012202022122011100222021110021211020201120000000122010120200011121001120010122220020011101221111001201211122200 112211100221102101102202212021101220201011102202110221211001111112012021220020202120002222121121102220222100222000102120001110012200120001120102202121022221011001020121210001201220000022122020012201101111112100010110220112100122001201110021100020001012212121210200212200110111211212100011201120111201000021122010111212120221110202012100220220221022012120202022000221 012111012000001212112011020222012002221202001120200211210000212021111020202110222002220222102002000010122200111220001010121101210111101211202122100100020121211221212110021102122002210001201201021020101020000000002220120010020111100222001100201001201222201100200222210201001201100000221120022110202121022202112002002021010021201121020021002111022101011002121002102000 211101120011022002212020202000011101122122011222010120122100002110001202202120212211002202220012220120122210220200221022102002211100012002122222010111222200010202020002000002202221202102110210021001100210220022211210020211120122010020121022020111120020210201010101101121212212112002220222212001022122111102111112001012120201201111010212000201100200021012111002001122 211111000120102102102021201201222021210222021220100210012020201112110121001021011220202110222102222201011001001220001012220110212021010222212200022112110202200011112010200102002111200120211200012100001120112102110101202002000111022100021120201202012212110102211022221201022212100221111020210201120100002001021101111100001012102122210121000200012220020201210120022010 222111012102121001121121212120100010121002000002110211220222111000222211100211222211220022001101102022022101102222110212010200120101002212020200012220020200002100112011112210002011201000022202100201121110200000200022122102000002200110222002112200101002121211110221002021121100000110022200202201211112211201101120122111202202020012100101212221221112100211012001101221 201100020202210121002121102200012111112012010000212012001102021202222202022222000201202020000112110021111111102122010000221112120222111102010022210112000021112120201200222221120222002211212202110201220211010200121211202211000220102121200122202212010122012100211120220200112011021001110010210000111201102001202021020101001101121000221102122211202100221011211011122000 022220201002111011211000110220010220102112002112202101010110210120220020012211021110101101201221120220222121001102201011001201002200202202001222202111221110202210110012222012020011121220212212102212112020001210202122211000101012200100222022110011201102222200210210101122121211222102021122221022010100012221101221120120101021221110212002120222210020111210212212112221 012012000210211102210211212122002122200120022201102220102221011002012110120201201202001201102012211120122201021100202001210000002001111210110021111121110100212121012010121020022011120102021021010002101112111121010002012002001002221222202020020022001001121102101011101212000002002102002011021121211002022021010002012210011021010022011222022221101101211101002101002012 220100012200011101012122101100120010112002200111201010012020220202012101220111022000111111220112011221102201202011000020100122120210020211220002121112100020021202020201122200100112220220201010000121222111221101000220011100210002002112212110011222211222110012200202210110100221101110001212010102012001010202200102120011002002111002201101111220200110122011021220220000 101001021102100201100120100102011122112211120211211110210111110012121210211020011112210111221211122111120112010020221101111210202222201121221110002021202210101121011022221220111200201121200112022221120100110112010002111010020020102222010111211110111221121000211002001020201022112021012101210022222121220002102112110101001012021111201011000222102020120012010020011110 022110111220202022011122220111221201001021121202011020201102220001011212120100002211112220022112212220212101020021022202020220001011000222000201212200121011021210202200011122011220110221202202100200200122221111100212111002221012212110110120200111111012000211012201120011111020211101001121011212211021221202201220121210021110112001120010201022010011201001010101002122 022221012120012001211022021010110001102001021222202120220121121122011101101022101002102010122211021220120111212201202021020121021202102012021121101022011021110122121112001211102222112020210011202111100020002102210100221021110120220102200110101221221111101012110011110221011122220220020110002122122100112021000002110002001121010121020100022101100102200102012210011200 111101002120011220122101201122021120220022122011110012221010101222220210010110101112110201201121211002112022120001120200212211111010002222000020202202101221222111112012221210202001102221020200201001111211220122210010220021020202120210020001121021110111111021121111122020121122202012200100110222011120022121201112210000122220111002010221102201210112102101021211210210 010211000022110020210221001000102010022201222020210221100002112101022022211101011012021111202001011121010110022222202222121120001010101010201121221200122010211010001101110120210021000220020011022110222202001201110200122200201001210211020110211111021222222221210212120001001201100122111112000222110002210101211102100210100120000210212200220202220212010210121220002212 102221111112012000222100201001201100020201111020012221000122221200222010212222210011000221002211010200110111010010020220002120000112110200112001100112010110022022001111112111111122011202022011211112001010011100201220120122010122002000001202200112020011001200221221110112201112102110212110100000100101001200211111010222001022200201112121012000220002202221200010122012 112120221222121222002111201111202002010211200202100221111111200120102212022211200102002222010100100200021002100210202021112120112110200020221020112012100122202000201202001212212211121110220111010011020010100020012110100100222001012201011100110010022202000211202122211110202001111102102002100021101212121102022120011120200200010021211010000010120000222020121002122120 111211110102122111001002202222012101200001211002102000101001012110210102100101222012212200202222221111222022211100112220210001111112112110022021001212120102221110120210000001211220101221122220121002120022201221210222111002201100110222000020111102222000210012200120211202111112212120200001201101211002110020011121222000120201220112112021110210201111121221002211122102 012020200221121010002102122020111212112202120112002212012120210222220211201122022202101100201112202020122012000120010022121112202201001121101200020101122122110222111111011011220022220210210001211220212211022012002212221212221120121121111111210022200202012012000202220022020100120020111210211200112122120100112122220102212021110012001201102011121220221002000220122202 102011212121210000011001220020112000000000210002211121201012010001201212220000111011022010212221101010120201010221102200021222102101200002211112102002001102012100210121220211012011212122202111111111202112102100001102211000010120201102011222002121222202212210112201210010211012112220020202011021002020010222220201100220101112220201010200020021202212222022201122012010 222000000200201111120020210021222002220120021002000122010202220202220110200120120122120021222120220111220201022012210220001010101200012011110222221102202012100022002211121211122021122122122021112100021022100002211002220201211121011220202100212122010022110000221112202012000212200100222001222201112220021120122111020200100022012210110120001222020202010120221212122002 021100102200022011121211002212122120101100011100222011122011201210121222010211121222020010102102112201200100002021000102022102210201211202022002201120012120210111012001121100001211202021212102101021200002000101121102101102210201212011220222020000120211221000010220222210220021200112000201100021000210210200022111100002211122201021111011121110202111012101021121210000 221020112221202202211202210122201220202021200020022002200100101111012110021000011121011210211202011011200212211210012201220200112002201100211210010021211210001112012000222101111102011201001120012120111101201212001011012210111111020110220101222001201100201112101002122001011021012210011101010001111001000220222101020221101201211101010211120202121020202202000010122221 000111022011221012201221012212112000201000011001111211122021111002201100012210211112200122021120221011011211110211020211012210200201011021202120200120102201210121222212201212122100021220021022012022222101111122112201222002011111212100000120110221122020102101111210101022220011120001011202120010000100020011202122221221010221010201102201122212111101222202012211210122 112200011020212210210220012201210120110012022101212112210112121002000202211221100101111122120200222102211210101021120201122201000111221202211120221020210122011202012121201212020010001002222101222110101022122101121221122101002010121211122011012122120202201001021110101011121201201011210102201000020102102002010220222021100012010021012022002000210110022011011022211200 201110012121102002020020121200012102201122110002220021100211221010100102101010002012020211021021121021120010212100020111112110001211001212022102221101011211222212000021101221212002202212011011121000112011122002221001002122010002100011011200011110122020211222011100111021110022202022110202210010221222212222000001000220101220222121020022010202000021011222020011210200 122210000110211002002110010210110111022020200212000101001211020011211011022121000200210222211012210222200020201112000020122010012002210020120000121112212002000111010022211201112222020111110201011021200201220020212110121110200010022112010211211220222202021111120100011210001200112012020002201220221102000220111021022021121222121202102112121010221011012100222110211220 012202102120020102111122021112100002112111221220121221210212101012101011021220101112221202000122212001200021021112100110011112120212110101110020110120102112011020210101111211121022002011212210001212212212020012222222202212200102202020111200211122222101210122101210002012111122222102002221120021120211122121002120022220201000000111101120120011001001101021211120001010 221021011000202000012211211210021210002210020002212020201211000021210011021011001222012121022120221111111111112012112210202120122002110021000012220100002101101112122001200101020010210220100112222012210000221212002000202012012002011201001201021020102000201012112120121111101212220201011201001002022111011111022221221020012100211011011010020102001212011112010022110101 222212220012102021110200012102202221202211002220000012222011012211100121022121122010201021222211121202022201202000122220012022100202210022120001111122222111222202212220110211021122012021102100211111202201122001201021011210110112210222022210220212020002022222121011210200022100221011222110021022110211111201120120020222202201102020220212111110011100212220111002202221 201121221022121220222120001211202101112010122222222200210012102120111221010012200212202021210222021022121020111200101110210001120012010100001100201002212012122010111101202222221110100220020111202001102212212220220102002002101001022011021222122010212001122220201021120221020201121221120000120210002000120212200211212002200211121000121221222101022100122022022020002121 201211212222112212211201122102120100110220102220202002001221001212222211210120102010222220112011112001021001002212202212010101010210220212112121221120220021001220120210011222120122020100001100221002111120111212101022021021010202211022211210212202222001020222220222001022020110111121210012101101121000202022101202022002022122100000111011102201112110102202212022012221 011212120121110011021012020001120221202201110222011100110110222020020200221022020021010122010122222121211222111100120201021100120202022022210122121011211020200220221201221120102110200100012211111102200101202210111022112201022021011202121011000011001122001221002222122120210122202021211221111202121201001121011102120111011110021021221011111122210112021112002112212111 010120212221121210002100112201202121101102011221212110112002001202221212002111102110012010212220102120022000202102120100202211201110202211200012221101101200022121222201102011122011101220222212120001021211012011010112220102221100220100122201100020212222100222121122002122020112212001120220202101221011202021000020000122121011001200221220101022210111112220112011200101 002120002002200001120202012222000202010020211022022202101212001112022211100100210200202111120021220101012102010212200100221011100100202222001202222102220112120020201001212012201010100020112221020222011120212100120210022120111202000001220110211110102110020101120202101210220001120222210020122220212102010201112202021012021121002020010102002010021000121222102212022200 021111122002002222101221211101012010210100020101201210000022001100202121100120100011221201001111010010111011211122202220202211011100201120211111002210020001202212020122112211021100222120012020102011111220012010101111001020002101012210100010002022101211020020122021202210020122121212010121221111010010021222012012020001211020120021000120210200210200112002121001121211 022022221122111212201101111210120111012102122001012201012000222221021202202120012212000110220202211121210112110102100112002111211122021121221000011122200001022220201110202020200112222011122022001000112200000102220100000121100202212020220222100122002002210002200011020200002202012221022121000201000010112201220020002200001212021010022102022011212020021200122021121120 110010100100012211101022012111021201201101111210011211011011122100210021122122200211011112010212011022122220212001002220222211022220212012111102122210110001121010201122112210020011121222000112012211200011200210122112110010011002011202122201112212101000202222220202112000101020101211100121021211022000010200102112100122112002120101110201200020101222111010120212010222 102212001011120211121210100121012202121220222210220112221020102101012211100021021211100201120101222121221200211200020122101111112022221112101200012112122221220121120200012120212212120021211200011120221121121120120122210212111110210122222222212201001202102001120210011210002222100012200022212222021122120222112100220122220102121011021222200102111220120220000001120012 121102111222122120002101110202010111121010110002212211022211022001121022210220021111021112110101002210012212201220211202221020010211021201221112121200002210222202112020012101222220000100012200010012100211000212000002120112102020201122001100112221221211212221002210121022010021220111121010200000100220212212200102020012201222101210001210021012100101201202212102201120 020100010010012010202222221021011202000001022200220100222021012210222201102022200101211202010012011012201110002101100200110010001121012010010000200022211210100112111002202211120012012201202221222200101021210020022021002210121202220022200021120211210222222212121022121210120210111110122202210000110101202210221200020212102212021021111022120202011211222100000101021002 100112002012110002001010101212122020121200222102102122201202011011210010122212012101210101211012000011102021112201121122000101021202111220101022000122020110211022011110020222012201200102202001220012012002002210201020120120200121010112011001202112100121012012001211102102110102021100011120002000110202212202202000222111002220101121112022020211212020011012120000101111 100121001002200101200020100200111212210112102000101001011000120100221110020110022202111212102001111022101020220122002200002101002220220022210011210021102101201012020211021200212122220012010010022020112111121100000000020212121111211100011120000100120002211221101022110010210212000211111120111101020000021020022011210010110022022002220110211120020011012102100011022201 021022120210202202201100020120012122002000200001100021201110112002201100222110211202112200112121100221010102001212112112101201100221210202101021112202121110201220012211200112000211001221202221210210100012201112211211122211101102220022001101022202002212002220120012210200122201010201002122221010221011010222010221020220220112022112101021102222000010012021011210211220 110110221211111021111222102122012210000022202112120020010100111002120112012010002212011110122021000020211010022101210221210211100000210221211021212101111110201001101011122022022020122122111002012122021010101012001101121222202101110201212000200100210110012202122021002220102121110112220020111200022202222220211012120222201220201102010220022011011000202010021012102211 220102000002011011011022110222120120020011120122210112022212112220210002220000122112212100222120120222002121121121221112200002122011012021211012122200021200221221112020120011020010212020001122211020121222102102220120020001110000121210122012021122212010211100012010121101111010220122012201120101200020010002201121200002022022000201211212012211220211202220001020112001 000112101110012112112202100001020022022020122112001001102100210211221100222122020000211012111101120002120112100002011120210220220220220221211200022122201211200022202220101000000101220121202221001111011011211120222212120020102101000211122120102112121102112022100122121102002122221220010102020000122011200211112111221012102101220100001012121212200210002120001100200002 112120200000121020111222011210212102122222012202101011101021110202022020001220010100001221111221222210211102210100020200002010102200201010002002110112210212202210012222022201220010111102121212012001212100201020202122100022001001222012112201000021010212101011011022100000222210102101200211011001122002021212101210020100201220212220001011102101221220202102012100002002 221000021201200011002011120201202202001210112202002102002220021112121220001102220111202022012011012121021212221012020112220110121010000012100022120222121202202220121001210021200200200220120210101111010101012011222210211202020022022000002010001202021201002011102112020220012222110020112002022011201100102022222200211011101202121220200010121010120220200020112212100222 122122220001112111200011220111221012110010111121120210021122020102010202101001001121021211122121011000220111212021002101022112201021022002211121102210201010221111120021020222210212220110120202020001210012012001022122020200112202022202202111211110222020212012112100211121021021211200020121211102010222221212222201020002220111211211022201112010012020011220102021101112 110112221020202012221021110212122102201200201010112222221220110011102212002111022202022210211022122212202220220112110021202112010122020221111110022120200212110000101211120000010011202200111210110200021200102011221121122200120220201110210101100222112112201220110121112102010121202111221122010002011121200212101012201210000122001011111020002212120000222002201110120111 000111221210221122202122201220000120221121022012010000120200010000221212202212102202211112221202200111221210211012212021121102202022010121101102222211220011110021221121101122201022122012222221210211100020102110011000202111201020202000011121010121011200202010011001000211111202120221120201022201120110111002011122212102012201122212111011100100200212120200100221101200 012101020002110000011120022210100221202212120220121012111022000020212222020121101002000111021010122001221002111102122020221012022020220101201121000022011002200201020111100122221011020110002222020121020222020210202020022210021010220212021220001011021200000220212022102122021011210122210221221010001220000020010202110111120022022002101212121211210220121120112010121110 110001012001022001220122102121201200220002022011001120121111222121121101010201001012000110210002222112012010012000101012220111221100120100002112110201120010000020202002102101102002222022211220100210212000002012220002210100021200221002012212221122221012001010222101212001002211211211200120200112012220121122122012200200002122222100101212012012112211120220102000120111 000112012022110212202001101111010012200002002100010000202210202120110010021012022020222010211021020102120000222200121202202010122022020002010010201021221020020202220212012100220112222010211001210102201002021220101211200021221002012202202121201100112221200112012212000000100000120202020200102112000221001201000201100002110212121101211102002012220012000112022011201110 110101020120112121222000021112210220122011201112100021201000202110122020100221002021112222001111101210000012201022001002210021221001211202211011110201121021110211002000200121200202120221102220010210002101020002120010100021200110221121022121110120222210201111202000000112001010120000120020211101100112001112201200212000102011210022200120011200020112110002111120220122 020210100112102222001010111221012100022012220201201220001022000001021010220210112111010200211020011201011002211100201002110212021210010012011011002100122022000122122112211100011110000201201012000121011112021221100211100102112112110110012200012002120200201200011102111122000211202122202001211202210002001100001212011102112010022100200202222022122210220001211102210100 100002012120202100002212020102222100112022222000212111010001020222102000221020120120021000001022202220111000022212110211120200222111200012210120122102001020021110021002101102012201100210212101002222022122012000002222210122222011221220220120002022102021202222122220022021111002112121021211011201001211101202221101201002102102001112120222000120100100212120222102221001 110010210220121212000110100202010022101010212221001212220021201220210022102211021200000021112112021001212212021002211010120010112211011002220101100221121111111002000220012010021110210110112001201210111210112001202220120201110122210212111002112001100001020210002220120021222101100101011001112012002022120022100012000000011022111100120100102010100001011002212210110101 100000122221100111210110110112021221001000111200202022120020001111022120112020122021210202021102022001110211020211122220021211002001021010200202102220010202020200122210121222002022102112100101221220100211121201111102121202121121101202221201010212012220111222012200210202201222012222112100120211221022221002101201021212102111210100011121201102122101100010202201101111 011200011021121212121210020001101102202201011102200010112112211221100101201221210000100101102012020101000221212120022002111212110200101001012101111001021120210120122000120221210111112111210121122122011011200122121221120220210012202210010020111001102202122102112022220122210220221221112022012200221112002102122202211221211120122122021110220002122122001101121012212100 002111102122111210122212100221120220102211111012020021101010221212211022002002111121100101112001221110020111120202111120102212111200110101012121121102202120222202201202202022120122010020111001110102221100001020122211200000211220102101212100000202202002220012101211001000112222111011200121110000000222122220221202021110001000002212010011010001210121001012012201022202 100011001111000120220210002210120011221122111012112021211211200222020120121010010201221102000202020222210100212110001001012212210001012001200101120122121201000020210101011210010222222011100000210101211012111122001001120211002001221002002210202100011110222111210100010212110001211102220021112201002210022221210020211022012200110210000220000102101001001211021100020102 000212222012110020201211100001112120010011121000112101101010021002021010112221110002211101111222102111100011121002200122200022221212202102210000202011011202002110000211102020220212100200002202000000210121111120000201201221122220001011001011021022200021000011021011221011002102120202202002202001102122101102220112020100221112012120210112121222200000211112220221111201 000121122201110110110011120000120202212011101121220022101011120111221122201102002120200122220002122010012221111220101011022121200102000022122011021220122220121010022211212211111000110111222020020121002022200020220210110002020200012100100200121122201120221012211001200100210010111221010111212021011111210121201020202100001220110212222102222121002000022200202102222110 122111222120202211012002000102021100001221110002201202022211010000201102020102102021022121200122222220222221111122202021121121201212022101002002010200021200210002111120100100210111100111221010210100220100201211112012220200100020002210212120120021000221100011212120121110012200122011110122012210102010202102200001000120200202021000011002102210100021020221020102112122 020120112212201112121212202210120210201120010011020102222211211221122121120122101021210022101102021120002000002200122022112010002010000021001102201000100121211002021021000200112021202011001112101212022021011212011012221001122100111121010221111102220100012210102100222202022211200201111211200002201221202010220221120201021011200212000021000011210020001120220021221102 112202010000000222001210010122110001020210221220101120010001002200202012122021001202022000012101001011022021012122122202222112100120020202021110020122101110111012211102220201012011110222112202000101011112102022002210210022102111210100011020102211102200022211222011002020100100211120020202000220011101221012212121122102121221120001210100210120220110020220122011201201 112212220020021211210022021001211211110022012111200220020222012112101011102110011201110022221002112011021011011012220011102122012101001001101202220110022202202110111200111102000121120021120210001022112202200121111011012012110111100102222101220112002211101202111000221112010121202210121200121111201111020011011001120211200201001100102110011121002220200000022100222100 200100022120122200122122100201221100200021102211111220010201022121221211222122222121221010101021002022000212001202100000020121002110102202102210002201121210200012220112221021202221211122110211120211121021020212212010021102012002202012212002212002000022021002122200100102121012022102212002000221220101200220122112101112011211101101102210020211111212021101222020221210 112111102220122012000102101121121212102110020101202211102202020121111220102101101100110022220010202200100101110111210010021112202211201122121002111022200121011112002120000222010001112210210110120201200010202001012221000001111001212210011001011022201121201110121110121002020102011011100120100212111012210212212001010110101211121000110211112020100101001020121210100221 210212011012122010120100220010202121221002112102111022200212021221020210021211121202021122210012000100021012100001001011212112201021011022111210000121021001212021020010110101002110022020220012202111002001221211111210200202112202201222122121111020221222210000101112100101012000220020001212111111000121011221202012222221211000010110000200211010111201001001221100011200 010022000002210100222002110202021022021202011211222200101202122121012000020110011212100122120000201001012221221201011210120220202200112020200111222112001221001022112202121220220010221210000022102201010202022001222011201222112011022012212222212111000101222211220012011000110222220012002212001221222011000211220102200121220112102222012110112000001200222100120022222100 200001212012201211011221121101100020111002101212221220120221202010100121010100100202201111201101010020112111010111222210210211022000211212201112212011102000210212112202022020120220021200222022020121111210101100010102212012101211222022211112220010212020120211121101201202002221011112102022002000110201011100221002021222121022212010221012000100202222222211022111020211 012021110201120202122111001022101221110110100220212010122022010111112121102212222002020212012202020011220222001111100122202011001102111101200020001021000212222210112120021012110100221012122120121100120000220112221021211221211012002110010112200201201121222100020012120021112101020212222002201201211021022222002001121110212110111011011101121220102020021201011201111122 110200211221200101122001102122102000222022020020011000002100102022001200000011210010022100201122211011212020020020110200221122102002220111212100221100201022212211221112001211221210001221112102010021212100001012022121121102110120220011200100210202210120220011110120220221211002221221112122022102220220020111221020101211122112210112221102112101222011020001010201120210 100110001112000100011022220102102002200221200220022001201110100200000111020111011221010111002012222011021120212020201221110110100212201200020010100211010201020011110201020102210021102000200010210021211120002212210121222000102121220120010100120212010102100011112002200102211002002202210112002000111011200010001220100120211200101112102100001202221022110012202222100122 111102112012121110111022000220200110112102021012022102120011021120111222022210022212222222101211002220101120020201220200110120201020021110002000222012221102222121000110012100102112110220110220201011122110200020122020012200110110211000022122122010012211002111121102010020121001012110102012201001220212201201202220101000211022101222112221101201211112211011112012122200 202212221202001121210211010120020212002201020022211121121100112010002201121020000001022022020021112122202010220000202102200022200112010012220021112201212200222111022122000220202222121211011100100102121220002012112112020020021000112220011212000102220012110212021001022212202202020211221022012101201211101011120120020201201202221012110101201200012112220021022101010112 111112111012012220022101020011122012020221222201122010012202221022010200121200202021221200002112000011211222021221102202121200022112012201120200120001010002012211022110120100020000110210112211220012122101120220110121212021012222220120212221012111212010000112012220101010122122011022100121011121222001210012002221200122202200212000222100201021222022221000012112102211 110001211202001121112222021210220111221100102021200102001012212111010000210021202010112111220102210121201222121122000111121220000210020022120020000112002112201121100120122101222201201202010012202020010220221220200202211202012021101100211202222020222120010201111011001220020120020112112010210022020210112221012122111220222011011111111112202121110221001010210202022111 021021011002021111211000121110010100010210200220200002110101112122211202112020211201021001101222000002211110010010022012220202102212021212220100210112000011120101022110220201110020021200020200000110000111202212212121220010101201121020110222100200122000012112012201122101201202202212000112101120011110010221111000122022100200020012102110000212221210122112120110102111 011101010001112110002002121212002001210201210012201201201011210201122112222121012000101211101121002122112011100020012010010101000021222110002210012102101201000112002102111221122221211221222202102020002010211020111210220022021120212202110210112111111200212201012120002120102020012000011012021201211110022021020020222221021200020111012202221112011001222020200211122210 212001120012011121202200212011001001020010110221121000122211121120122101001011202210221122120221002200112202020120021001121212000011121101020201110210010022101120200122010221200121121201110221220202002102000121221222100001101001012020222100002021122211211220211012011001220222110221220212011202012200220122222101100112010112210001101000102121100201000122201212200202 110012122202201021022212202222012201121000222010212101222201022110101000121111202211212102110021020112202012200112202101012201000111100122010102000112200002222221002000110220111020011011101121012000021211111022100110111111021011012201012020220020202011201202210220212022001012112000200100022010221210001210120002100112111202210200112020120102220112021021211101100201 001111021012222011222122222112202121222000210021212121101021020201102221202212111010012111211100202021212211010120201112102022202020001022111002011020101112011010110222110021221022121121211200221210210112211211210100120022110202201222210101222022002012211102122122120120002211110222000201010011002212111122010210211001200012121120100001102221011120100120021102010210 000100122002221000212102221221221000121022120021210221011201211220010002121112111001201222120011022211220210120221120020121102102020222012020121121220011220120011001212121122200201202220101111202210200120002011212221121022010101102210112221101012100112221111122012221002111210001010020221011220002210011101002002222210010100102212021201120220100202001002202111101120 202010202020002220012200211001001210221110112212221100212221210122001002100221021122202101100202010112112001110120011010012001101010101012110200112201102202212100212221100211201012100122211022112021011012012122020202021112102111011020210022020021100122020012221210200221021021112200200112211202010000222201121201122022002210011010121000200201220112212000121022000020 000200210112011011211110001212010212221220110101202202001020201100121122002100202012111120112010000022102101201112011210122120110002121200201121122011200011112011000212201101111110222110121000100201010022111222100010201101212221002011000111102012010011012211111222222020022200221100112111112200211022122000220002120222120221102011220110200201222112122200121200202111 222001122202202010001112120220210000120202222212022010012000122020110120001101102020112001110121110210101002211012112120020012001120210021121111011220200110221020000111222022100201011200012110020201220221120200122001100022010120011011000110000010012021021010222020200012211212112010000001100011111210220010120010210102120110020201202020112001002022222201200020122102 121120112001120121210122112000002202200122222211111220020002012110120021122201220010101100202221122202112020002010112210121122010210011020012212010011211112120222021112211221121200102001110212122222211001022021210111012120010202111022211012012220000101011010100201010120102110220122201001010110221220000102110120202210012202110121220010020212001020110110001121200100 220201201221221021112201201002120110121221201011101022211112120101001120011200012000000122212121220201012110100111110012212111022222020101122221100011011112101110001020100200221000111110022120101222111121200011120000021000111022122001210221201021022221210010212001210102021121111100210200021011012011022121001111111001022000012010220012022021221020222211011012101110 210222000210020200112211020020210201001011021212202110120120202111200011000001201020120210011002220212001212220022221220002121011222120022122112001212001010201101010222011121222021020011222202200021000210220001202021120111112201010011120010012111101220200102011110012202222001100110102220211212010222112122201221012001112012002102221220200011222012121122200201211122 011102210020121222101211200022020022110002011000222211200000201210001100122110221112020210111200120120202022110211200220221111202200121210022201120010011100212020000122101101012222222100121111121201212121121020020221100222001120102210122121221212110021221001202020202101021211101222001012002002021011200100102002020112121221100100100000100010201111221022020022200210 111111021222221000022221020012220212101212120111210221202110011010102122111021010101121121010001210010200021211110100100000020120012120211012020121210020000212020100221200220222012211111020000201110202220101020101111220101010022111020102000011111222101001020102112010221010002210111221211001220000220022111220012100120211210211211112001011221112110202011002021112120 001020112201012202210212100121201002020100112000110012110002121021111100211202020100200210101020200112121002212022122112100102200120201210101102022211122011000101000000000120100121222000220111101202122002022102020001110122010102220021021200122102102221211102010220102221001220022222102020012002201002101010011021021202221111022020121001022221100201212021102222201200 202022221001012100221020121021022011000211101201002110112211120100010222211000000102112111012211221220020221222202000101011111102011210121201020122101011102221212112202011200211120201021011020120020001110102000000120111222221102011221221110122002002201100000201020002102110220112200122210212001210200102022210021202102200121120202112121122121211011022011121021022021 110002102102200200012200120002112121222210011121001101201200110110021201200101220211221012022202102122122100101201120001020222100122120101200110112000011010022121122111010202221201220112100212002102100022122112001011010222202221020202021122120110121110021112210122020210100220210012122220100110120022000222202111120122001201101201011121001111001201011012220112211011 100112210020011222210222202211010111221111111110120002002111212022212110220111122122010022120020202110021201120202220020102112110020201022111001220121022021121101001212121020200220201121111101002111111201110210000102221201222021222111100211222212211001100202110122122002002212000201001120200200120211202212020202002221222221210121021221012201222010220202102101111110 221022000000122020221101020010120000002122212121110121000211120212120021100201010211001020111202211102100121010111210001202122122012201102101222000011201222110001102120122222120212220021101012122122222202001110111222021112222200222012120120220112011102020022110202211001102000212212111021201222200010101222111020020002101220121222010210101200212122201100202212002020 122022020102200112000101020000012110022001111022111222100111221120201022102000101220202010102201111022021221021011121222021110122010002120102020202012212100120102120102222112110202102100212101022222210021022022120222020212202220112101021111011100102000201001212012210211210222112200100100112002011100021121001101022020112201022010212012222211011222212220211120222201 001121021011021212202001120210102121000212110012111201012210220212120111110021122212002102022001001010221101100121120020202222112101200102220222112012222120210101220201122121110120010001121100222111010112120122110100122021122102222200202021202202102200101020022222012101220021200221021211012020120221120001121012111120021211021201110211020220100222022120010200110200 100021012002210101001101011112100110222112021022102212021111110211001002100001210202012212100121210012022002002002222020211121000200100122220202212222101220221110202110210202102010001022122101001111202102012022122120212011201211022121002222020202202112101021220222000012100012202012021001011102212100000010010120210100121100120120020111202202122101212212100111211200 212011001222110221220221111222022021200211001122000001112120120210020101121022212221210221111200002212201222202122212212212220001221020110120102220111201221100202201200101120200011001121210112100122102202010111020120002212220122122212120221102120102000111210000200211222101001000012100002022001001020120012222100111022101001011112121100001210000122110102101011011110 010210011002122221222011211011202021000111121201001200220112221212001200221111211001011102110120101202012220000010011001121121001021011201120212121101120100210211101012201001222002201220100222201222110200112211220110100001010122022121020221122110101001121011102212102110111020002010111210001201001220200201100022022002220202012111210001112110120221010200222121020222 112012220120022022022100021210220210020020011100001100010012100222100210021001202211102112010012220200021122000101100122101110211012021011012212220020000101122211002221212011212020222012210012121202221011111011201210120111212010001111211210121102110111121200010120021200111120120012012021101112110001012021001001001211122210001011222110102202100020111121221012001201 011220222002001101101102012221020001001000012110200120221210011011221012012020002001222012200222000022102220200211112222110010101000211101202022021200201202220021200002001111200202101221010001201211000110111211010011000121221121012000200201021012100010212022021021211202212010221022101111101112112111100222100212202111210222220002100210001121111102212101020002100110 011202120000212110102010002200012200202221022110122000012212200201122020200201020021100220102111101020120110202121110020100100202212021120220211222020102222102020122001102111012020110010101020022002221110110200200222011110112012021021021120020012102122120121121210010101022011201212102010001222222100020000121201000200120022202001112212100210211011102012220210221111 112210011010021012221220001121211112211121012012200200022010202012112012010120100001121111010102112102002200011212210222101012200111211110000110021212220212220100022210021200001200210211010001000122200210011010010111011100110001221201212211212212000111200021110212101220121221001111002101200122022000210110012120102120001021202020102020121000101110010001120220200201 110002022000211221111222211112201200210012220010220111220102211212210222012101010020020100102111202100200201022210001102022211101222110021020101112202010110211001112100021012202120202012201100120220222212021221122210000220000102110201122122221010120011000211210210000220000011121120201012102112200020001002120022011010010101201102220000011202200012020121220210001120 001221022012111122021210010010020210121101202120200120020100101112222102210020211111002020100221122121000000222021100012100210111122000021011122221202021012200212101200100020100021111220100002010100210000120022101111001012101021110210002110002000100220210000010000110102110100121010001201112021012022020111201111021002002120022221200212202002001220112202122220220022 021211211222210112012020000201110012222221201101112020001120212021010112110000102020012022021220222001220102120210010002002121222221021200201111100222002121211121121102000212120000011101000020000102202202022000200112211020011021002022211010012212202211022201110122111122121210211022102101021001211202002202011122222000100022211011022212012010211210022020110112020122 210122202121010200012022201202210212010020002211112021200100122220210010000111011102012220201022111202020010101101100220120022001012101212110110111220222210001020200000010111200112201120000122000121201221202022102212011022012221000000121012122121012111021101102000010211122211212221212210021011022120110111110022021002212202212112202202221100110021121201201021110020 221000220211021010112011202022021100122212100001112102200012201112210210111102220122101000020220112010220102000010202212111011110112112020212110011220222000212200012020012210020002122011200221122212100010021201102022202001200201002110122101201021012121212010010112012101222112100012022101221121021202212102211210121210122222202201022122120220002202021110022012021121 201001021011120210020012021011111221220100222211010122022101201200220000002122212022002211010222020222022022102001100201010022120210122100010022200102221020221021110012102111100101112220100020112011120110022010110122021011202212201222202200020022201212022022201012011022122022012212201110201101002000212110100111100011102222102211212222002111111002110002212010222012 201121112022010211121220112212011001111002001200001121222011121112201202021111001101212100221211221110000022000221000111112111122222211100100120201120022100211102000201111022221102121122121120202010002101001110210100001220002212002211000112120122020212012021001211110110121012022211001211100000011200111110222202210101100012210210100020021112012110012200000001222202 020112111002122201020101002210210222102222020201002001112212022211111100111210021202000002010110202021112001101210101121022212001100101112102000121211101011002102221012110001012101211111110212201001112010202220122001201111221220002020001111211112202020022201102000001012121200111212201220222101101222200201011222110110122010121111221121022200110011121201211022000120 221210110221021211001220002002202002211110211220222000222111202210021212000100200022102200100121210211211202111000212200001000021122000112020001100022111021222101100100012121001120111022201121220101010101102201111200121002120220021112021122202021222200122110011200000021100001001100120102120220020010020212111201211011100200122010120222211022112112101011021100121000 020021222211012112121021012100102201202001120120100011200011112021221102111100020211222210211111102111102122112221121120200002220102211100000222121202210121201011120102200100121102121121122102211110101221212100210000012221221120211110122100001020020110121200202221012020121200120210002112200111200101020012110122110010111021012020120100212220122200002001112100020102 200012001221111102222221102221121122121202022101002022022000211010201222101202211102102010022200212012201022022212000222110220121111011012010100220101102121101000121201220101001120220221012112212212210220221121120211022011000100110112112012021200200222210002112110210100021120001120221212201001121001121201101011100200121102100110011200220121021202121102120022110012 122112200011202112122212201200010121000020001000110201010122120021020001011022101111102202011102112202010001201200202202210122020002021120100202122120101010001111220021210120221002000001101000102220101211221012010012110101221011022222212102020012220022101222201020000200100202010120002021011202110002010001010020211210110212001210212200202010201120100212110200200002 020110021101110101210121011222012110020211220210212100012101100121101010101110020120020002021212102000202012001002102011212102002221012122212110201120202201001000022221211000222112212021011122012210210120201022020010210010120202022010111221110012020010202020020212221220122000212202201111001221201210001220202121201212020211112120000001000210201120020122020222210022 010120111022201002022021200222110000110001111021010222112100212011022112221000121101000222002110100211100221121110100221001000011110000100121110222002022222021002222121012201011002102021221121220110122211211202001021200221012201010212121022020010000122011200212201120022021221020212020201000100020022121212110110200111201101000021202120012120110100220011100222121220 021202121101001002022121111201202212101002020021112101020001211020212000010201111101212221221112110001212002101121210101022102000102222010020020221121210121022011011210022210021002121021022200101111002022111200222212202000201001200101102021220101021111102122010200012200212200111201112100122022022022220021101222112012012222102002020002221122222022002202102002010210 122002120102222202012002101212011210121112022022202021012000112110211022021212020020211202111020222011201110002212101010112202211011221120111011112002200210100122102102021122012101201111120110001101211210121101102121101001212120221200221222001201110101202111010210111212020012120102101001011011220102211220122200121001111001201212211221212021020020201100002210021110 010121111201100010021020001022212212001011110112010022100222200111011200221122010202100120022012001210211012201001111121201000022210021201001011112202021002100210220022222221210011102211002011021201010020220110202101100112210120001201210100120101010011220002202020122201012111122001112100000201122112202010100022002210010012202221220112011222111112102012110220000011 012211221011200201222011222011200022221200101101121200021210201112022212201210011222222000201011121011200022122002202220102121122110101112122122211202122201022000001211020222212001110221101120122221121122200002110122111212110220211101002101220211002022110210120000221001000012002120100201101002010221100102012001010000101212002122211101202100111021202120211121202022 101002202201101120210021201002211210001212021201210211100222220102020100111111101112011122020100000211102012112101121021001111221212102112222120212102120102221102002102001221110122100010111000010000211002020021201021001222002212120111220211210101121020111002120122112021122201120010200100110010210210222210002112120011022102110102202111122101000012110100110212110120 112110012010022212110101120201102200201202112121210122101200221210010210002201111010011021201021101021010121101011211012020112010010110210210112021222200121110101201210201201000201011001122200112112002220010000020211120111110102100200020210122211020102212221022100202221210201000022201020020120110221021200201220110211102112021011212211110121210010122002011122022021 202020020001100110010201220210001001211111111000022010112220102111202020121102221002101021122020011111122011201201101220202200100222221220012222010222210200212002210102001000110002111022112022012121021011111221220122012012011000002222121122020012020200202121222120112101220022101110110120200210010010211022112011221002000102012022102110111102021112010201122002022122 102012001120222022200022110220200100101120112001112112202100121020002210221112021121100101010002010120020221000102112200012220200200100101112121001122011200200012001122002111011220112010210222200202211122121122020111010222102010021220101011201111101220212022220100002121120201101112221110020002112020010021021021001010120101121111111101120010001011002200121221211021 # s^transpose 012200002220012202102212122002000222020120210221201011001222000212122122020021211100021101110000202200101101120120102100202120120222122122211112201220112121020020110020010012220001101111001120120020101202012212211000221102110102221020102022101010212200022122211011011022102012111202012021210210020012012120211012111111211211120102120122120021101222212202212022112121