000001221210010102110220211201x1100210202220012002012020211011x1000012122002201112120100112101x1220102201011010001021100111101x1000100221021002111220022112110x1022002112000222121022020102112x1000112100022201010102212122110x1200021101221201021020122100120x1001000202210020211221212220112x1212022222212120002021020220220x1001211101010221011222001210212x1212211200101222221101221020002x1002010221122202000121101201200x1001122102202001000101122021010x1002021022211112011000121100122x1010002102201221222220012222212x1002101101122121122112201021020x1202110120110222100012111121010x1002111012102020021021110010111x1001022110012001111100201221011x1002121211121002002100110200012x1201121221101000222000211020010x1002122022002002022012012220100x1100100220202200000111000210110x1002201012202211122212021011221x1200100101222200111212212211022x1002202010211121120110010120120x1000011012100011002121200111201x1002210111220100112022202102010x1121000100012221002112021201010x1010002002102112111211210200202x1112012202002101202200122010110x1010010022022120112002112100211x1211210002122100012100110220020x1010201120210021020111100100211x1012120100001210102012202012222x1011100202011102120201102100102x1100101201022220000201010122221x1011112101112101112202222011120x1121102001011221011120202212211x1011221200012121220211001221100x1101112010112200222102100202110x1012001020222221221220011210100x1210020221222201210000202102122x1012012202102101021110102112222x1222202200120220110211201211110x1012220200102212112211221021210x1001022011101211121112120201200x1012221100012010122122010102220x1020100120020122202011202212021x1021021012022012111100000102101x1110022100212202221000210120002x1021201022020001111202212100211x1102221202022110200101220101021x1021201110100111110022111220211x1210101211201112000121220011111x1022100101100102210012112011122x1202002112020011212202001221011x1022112022021201012211000110202x1002102022200010201111110110122x1022202020012022200102222211001x1010220200202022100120021001112x1100001011221010221202211001212x1202111012010102200012102001221x1100001221120222101201101021100x1220220202010122002110222020101x1100111221012110101200200202220x1020210011102120222120021120200x1100210012212202210210000211121x1201201010020022122021210202122x1100210211122011010001122100122x1112221000002211200210122211202x1101020011201101122222201012001x1222101102202200120210002222211x1101200111110221220201222220200x1121000220202110212211021100210x1101201012201222211001021210102x1112100120102011001020211210112x1101212102212200021211222221110x1021112210122020011111012011001x1101221000120022111010212200120x1211101002202200212222100120002x1102012022022201221101222122210x1110100022001001122202211101211x1102110100021001112202110210111x1012122100110121202001202220111x1102122100011101201111220212212x1221202121112122000210210011011x1102210020001222221200222212010x1020220120102120100122102202001x1102221220000020101201211011002x1200222221012102002001101001102x1110011212212120121001211102121x1110011021102111201221101012122x1110021100220010122112021110202x1221010010012001212120021010121x1110100212111002220121200212000x1010111102100201222001012222200x1110121100112021000211100000010x1010201000100222012210102001101x1110212220111021121121021010010x1201000000112122221221012212002x1111001221010211010201121120000x1200211001211011020001002221021x1111200002122000220022111112002x1002021102210100112010111201002x1111210110221220012002200220222x1121120022220212020020010121122x1111221102211211101000100120012x1110112110001100220021010112211x1112010220111211002212002102210x1210002122100012111112010010021x1112021200220112112011100010010x1200222110212110122212002000001x1112022021101100220220011102100x1220210120000200010201201111101x1112112100110222111200121001100x1221111220102222100012201221002x1112202110002122000101110102221x1102012020122211120202020110012x1120100022200211002002102011122x1211222001000010101011010220012x1120201202022101220102220102121x1011002111002210201111202020020x1121001201210022211012121202011x1012220112212010220101221102011x1121011000200102202120010022012x1202021000002212211102210200002x1121210111000110020110102021100x1202002220110122021002012100112x1121222102012102011210100221022x1121210122121010020022212012012x1122000012221201120210222112012x1201012020211211112001200202212x1122001221201122120100121220022x1210112002021101100211100211202x1122022000222021222021220221200x1011100201000112020102102212120x1122101120100222212211011120200x1111111202101120120221200011200x1122212110222001200211110221200x1211211202000101022210111202120x1122212210002020122111022210001x1222121100101211100120022020200x1200001020010020200121121122000x1212100210000021020102120020020x1200012001021111222021001222110x1201102100222212102200111120010x1201012010222201220200210211210x1100012100200012102011210002111x1201101110001112221000210001102x1210012211022002200001010112101x1201102102120210012121211210002x1012121100120001021221122110100x1201112022222221100211122100021x1120000201201221210111210011212x1201210120121222020020001010110x1201022122000002110021010220011x1202021120121210211000021110112x1001122201201111001010202202111x1202111011120220200012010210222x1000100120212220111101120021220x1202121221201011012212021102000x1202221121020102020120212002101x1202222010221210122211111201001x1021022101011200211012112021121x1210021222102002100112101212220x1122100221002210010211120201120x1210100021100212100021110221010x1001101020011210211011102021000x1210111200121001000201120002112x1210101120000222202102001010121x1210120200021222122102122201100x1200010111101002122202001111120x1210221000222022220112102220200x1201220002110121010221002010202x1210221021201120221212120020210x1101021102121110200100202110021x1211111002222222201012110020211x1201112220121100101211100120121x1211202201210010001120000211010x1112010000210201110010201120200x1212100020202201110222212102002x1021010010110001011202202100111x1220202012122222120221120012110x1020200102101120211001022111211x1220222200002111122202000012012x1011001122020221201210110000100x1221001121101202221221200011012x1101120010101222221121021020110x1221021202000101122021122011120x1112011011100102201022100102110x1221101001220010211221110211001x1101211112012000010110100211210x1221202011001012200011102011222x1000210101210212102110010222201x1222122122010220022101122110002x1121101121011001212010200200201x12.1102112022011201010012122100000x1110112020210200210022202012001x1101211001021211102200221210000x1101111001120100010110102201022x1011211220022111200120122001000x1211201020220121222000211200220x1011221212201010102220001211000x1021001221020120102122101120002x1211022212122112020012202000100x1022022020120200021212222220212x1212012100222110122010101112100x1200020122101122222101002112212x1002102101121000202221122010200x1010120221101000100202201221100x1221001121000110211112220120200x1212222210022222122102201200010x1020120102211221121221101101200x1010121111210001222011021011202x1111010011120120020201210111200x1110122102001111100210011220100x1210002011001200200121112121200x1010020112000222000101122121102x1001022210210220200200220221200x1011012000111000002202022001001x1122110120212221112202210102200x1220112212212111002222101001002x1021021010011021121112010202200x1102111002121200110001210110000x1010201202220211001022111012200x1010102120211200122210001000121x1202002012112111211201200200010x1011010221002202101200202210211x1112001211200211021220220010010x1020022011001210001221200012112x1112001001111020120012021102010x1222210202210201012100001021210x1201001201102021201110202001110x1122221010102000022220102101001x1021110222202211101211101211110x1112212202021110122110100201121x1001122100112022121210002122110x1011202001201222002211010211101x1001012110022122122222020100210x1221201202000012102222122020012x1222211201011120101201202210210x1011112102112011022021002202222x1012120122112211212201002022210x1002102021211121112101110220100x1022201010221221010210001122210x1120212202110202221020021001020x1101201000001111210220210120120x1200021012000122202212001220011x1112001212202111100020220102120x1120101022101002011220202122201x1112022111220011111001011102120x1111110022121000211102112101012x1221110211210012201001101001220x1110122100202212110020211200202x1202011000112210102120220211220x1221011011111102010002220201200x1100112222201002220210020202220x1211100120021001220202002022010x1212100112202122010122110100001x1122100201210002201010210111202x1001120101102101222021122100001x1101020222011200221010202022022x1022202002002101011210122111001x1002021120021222021201110012020x1121112000012012202212210012001x1221202012120221220020010102102x1221001221100010110221112012001x1202112221012002112200000122211x1100210102222221101102110020101x1112222200012021002202201101222x1002022222102022122011111002101x1012001120112212011202022000121x1201012120100112222102210102101x1211012112020100110201021001211x1011122222112120002212201212101x1100110210111110020221012211120x1021002212010111220021000122101x1200021001222212002202200101112x1012221222101122102220220210201x1112101112202221100100220001011x1111012011202211100120001011201x1111022202100202121011001221210x1212212022111102101110001221201x1110110012012000221211121202122x1010212222002122222100020012201x1100202201221001021201021022020x1200110112102101020000022122201x1201100101100200201210122222002x1121201112100121021212212110011x1221210101122102111201120110011x1202011120211221010022001120011x1121010120021212100210010010122x1000212002121022200111212001011x1002222210100222102001201111010x1010000001112000120211001121011x1101100201012210222001000102010x1010010120121121120111022212011x1200212210122122221211000000102x1000021121102010112010122100111x1120122200100020110112100112002x1200211111220022000221200002111x1200102111010211001012201120200x1222022002200210022122011012111x1221121010020020212022220021121x1210021001000101112112201122111x1112211010120022001100011211011x1012201200212200112111022010211x1120010010211111210001221200012x1010010001110211211022002120211x1100000200212221011212011222002x1001201110022022001101120220211x1101111102102010002000021012022x1001100121002111222011001211211x1200122102210001222201022111122x1122201011101000221200011202211x1210011020202021112221020210201x1221110201200200112002220001021x1210022010110101010000100222112x1121201022201022101220202102021x1020020202111102012200111200110x1110202121210112220012102100121x1110201122101022010212211022210x1210220010021202201002000110121x1200002012201112212200000120202x1001120201011020011000111012121x1211001210200120221011022200202x1220122001012110201210201222121x1210210212220020010121221012121x1210211222012021102122210000221x1212202002100211112112020210102x1220022121001021221102122100221x1202112001112001101120200211012x1002122022120222120222000220221x1021212201201020211000102001110x1002021110112212222001021101221x1002110002122021021101202111111x1002122011112002100222011212221x1021202111012220101000202112112x1100012220111221020200012212221x1002020220021001112101001121222x1000221121121002020010020100002x1020020021201020120000012001212x1011222100120222111120100210002x1010021111002201212222001201102x1012112012002022102222010210102x1111200012110201210002001210001x1201100012000122211100011101102x1101211010100002200220112210012x1200012112121210012021201201102x1001011221122120100021001121210x1120001221112001122222220211102x1212110012111012122102102000021x1011010100020020222121021012102x1110022010120011200000221220102x1211011120000112012121021120202x1111202202010100111102102221100x1222012010210002022021110111202x1022120021101111022212021001000x1000201120212210110102122121202x1101200212021020201020121122202x1100102111112221012122010222202x1121120211210112002110101220120x1022212101211001200201222120012x1021102021112010012200122001221x1010122011120001212001120001012x1000120201110112012110020101100x1211200021102000100121002111012x1121010100201202222000021101012x1001102221201221222120002021012x1021111100202221200101111010002x1002022201211022220222000122012x1202010200122010121011200022102x1012020021212122021102120122012x1120011202001002011121201120101x1112020011210102222222200111112x1121021001112101001121022211102x1010112000021100010012102202112x1002021102010011102012000010211x1200201212222011102202020001212x1111001202202110100011010010120x1011210021122021222221210202022x1112111220100112021101201002020x1210210000202221111200002222022x1001000011012102122020221100110x1210110002122122202101121100122x1011020120121122222101010021101x1021110221120221101000202120122x1011201001220102201001110110211x1100112011122112010022100101122x1012112001011010000210211112101x1222110201110002210100110202122x1102222010011201212012101012000x1200011221101220022010221221222x1102002002010212100110121101121x1102102112022011201010012122100000x1110112020210200210022202012001x1101211001021211102200221210000x1101111001120100010110102201022x1011221212201010102220001211000x1021001221020120102122101120002x1212012100222110122010101112100x1200020122101122222101002112212x1002102101121000202221122010200x1010120221101000100202201221100x1221001121000110211112220120200x1212222210022222122102201200010x1020120102211221121221101101200x1010121111210001222011021011202x1111010011120120020201210111200x1110122102001111100210011220100x1001022210210220200200220221200x1011012000111000002202022001001x1010201202220211001022111012200x1010102120211200122210001000121x1001122100112022121210002122110x1011202001201222002211010211101x1012120122112211212201002022210x1002102021211121112101110220100x1112001212202111100020220102120x1120101022101002011220202122201x1112022111220011111001011102120x1111110022121000211102112101012x1202011000112210102120220211220x1221011011111102010002220201200x1022202002002101011210122111001x1002021120021222021201110012020x1221001221100010110221112012001x1202112221012002112200000122211x1100210102222221101102110020101x1112222200012021002202201101222x1002022222102022122011111002101x1012001120112212011202022000121x1201012120100112222102210102101x1211012112020100110201021001211x1111012011202211100120001011201x1111022202100202121011001221210x1200110112102101020000022122201x1201100101100200201210122222002x1000212002121022200111212001011x1002222210100222102001201111010x1200211111220022000221200002111x1200102111010211001012201120200x1222022002200210022122011012111x1221121010020020212022220021121x1221110201200200112002220001021x1210022010110101010000100222112x1110202121210112220012102100121x1110201122101022010212211022210x1210220010021202201002000110121x1200002012201112212200000120202x1220122001012110201210201222121x1210210212220020010121221012121x1210211222012021102122210000221x1212202002100211112112020210102x1220022121001021221102122100221x1202112001112001101120200211012x1002122022120222120222000220221x1021212201201020211000102001110x1002021110112212222001021101221x1002110002122021021101202111111x1002122011112002100222011212221x1021202111012220101000202112112x1000221121121002020010020100002x1020020021201020120000012001212x1011222100120222111120100210002x1010021111002201212222001201102x1100102111112221012122010222202x1121120211210112002110101220120x1022212101211001200201222120012x1021102021112010012200122001221x1010122011120001212001120001012x1000120201110112012110020101100x1001102221201221222120002021012x1021111100202221200101111010002x1112020011210102222222200111112x1121021001112101001121022211102x1010112000021100010012102202112x1002021102010011102012000010211x1021110221120221101000202120122x1011201001220102201001110110211x11011211220022111200120122001000x11211201020220121222000211200220x10011211220022111200120122001000x10211201020220121222000211200220x12011211220022111200120122001000x12211201020220121222000211200220x11211022212122112020012202000100x11022022020120200021212222220212x10211022212122112020012202000100x10022022020120200021212222220212x12211022212122112020012202000100x12022022020120200021212222220212x11210002011001200200121112121200x11010020112000222000101122121102x10210002011001200200121112121200x10010020112000222000101122121102x12210002011001200200121112121200x12010020112000222000101122121102x11122110120212221112202210102200x11220112212212111002222101001002x10122110120212221112202210102200x10220112212212111002222101001002x12122110120212221112202210102200x12220112212212111002222101001002x11021021010011021121112010202200x11102111002121200110001210110000x10021021010011021121112010202200x10102111002121200110001210110000x12021021010011021121112010202200x12102111002121200110001210110000x11202002012112111211201200200010x11011010221002202101200202210211x10202002012112111211201200200010x10011010221002202101200202210211x12202002012112111211201200200010x12011010221002202101200202210211x11112001211200211021220220010010x11020022011001210001221200012112x10112001211200211021220220010010x10020022011001210001221200012112x12112001211200211021220220010010x12020022011001210001221200012112x11112001001111020120012021102010x11222210202210201012100001021210x10112001001111020120012021102010x10222210202210201012100001021210x12112001001111020120012021102010x12222210202210201012100001021210x11201001201102021201110202001110x11122221010102000022220102101001x10201001201102021201110202001110x10122221010102000022220102101001x12201001201102021201110202001110x12122221010102000022220102101001x11021110222202211101211101211110x11112212202021110122110100201121x10021110222202211101211101211110x10112212202021110122110100201121x12021110222202211101211101211110x12112212202021110122110100201121x11001012110022122122222020100210x11221201202000012102222122020012x10001012110022122122222020100210x10221201202000012102222122020012x12001012110022122122222020100210x12221201202000012102222122020012x11222211201011120101201202210210x11011112102112011022021002202222x10222211201011120101201202210210x10011112102112011022021002202222x12222211201011120101201202210210x12011112102112011022021002202222x11022201010221221010210001122210x11120212202110202221020021001020x10022201010221221010210001122210x10120212202110202221020021001020x12022201010221221010210001122210x12120212202110202221020021001020x11101201000001111210220210120120x11200021012000122202212001220011x10101201000001111210220210120120x10200021012000122202212001220011x12101201000001111210220210120120x12200021012000122202212001220011x11221110211210012201001101001220x11110122100202212110020211200202x10221110211210012201001101001220x10110122100202212110020211200202x12221110211210012201001101001220x12110122100202212110020211200202x11100112222201002220210020202220x11211100120021001220202002022010x10100112222201002220210020202220x10211100120021001220202002022010x12100112222201002220210020202220x12211100120021001220202002022010x11212100112202122010122110100001x11122100201210002201010210111202x10212100112202122010122110100001x10122100201210002201010210111202x12212100112202122010122110100001x12122100201210002201010210111202x11001120101102101222021122100001x11101020222011200221010202022022x10001120101102101222021122100001x10101020222011200221010202022022x12001120101102101222021122100001x12101020222011200221010202022022x11121112000012012202212210012001x11221202012120221220020010102102x10121112000012012202212210012001x10221202012120221220020010102102x12121112000012012202212210012001x12221202012120221220020010102102x11011122222112120002212201212101x11100110210111110020221012211120x10011122222112120002212201212101x10100110210111110020221012211120x12011122222112120002212201212101x12100110210111110020221012211120x11021002212010111220021000122101x11200021001222212002202200101112x10021002212010111220021000122101x10200021001222212002202200101112x12021002212010111220021000122101x12200021001222212002202200101112x11012221222101122102220220210201x11112101112202221100100220001011x10012221222101122102220220210201x10112101112202221100100220001011x12012221222101122102220220210201x12112101112202221100100220001011x11212212022111102101110001221201x11110110012012000221211121202122x10212212022111102101110001221201x10110110012012000221211121202122x12212212022111102101110001221201x12110110012012000221211121202122x11010212222002122222100020012201x11100202201221001021201021022020x10010212222002122222100020012201x10100202201221001021201021022020x12010212222002122222100020012201x12100202201221001021201021022020x11121201112100121021212212110011x11221210101122102111201120110011x10121201112100121021212212110011x10221210101122102111201120110011x12121201112100121021212212110011x12221210101122102111201120110011x11202011120211221010022001120011x11121010120021212100210010010122x10202011120211221010022001120011x10121010120021212100210010010122x12202011120211221010022001120011x12121010120021212100210010010122x11010000001112000120211001121011x11101100201012210222001000102010x10010000001112000120211001121011x10101100201012210222001000102010x12010000001112000120211001121011x12101100201012210222001000102010x11010010120121121120111022212011x11200212210122122221211000000102x10010010120121121120111022212011x10200212210122122221211000000102x12010010120121121120111022212011x12200212210122122221211000000102x11000021121102010112010122100111x11120122200100020110112100112002x10000021121102010112010122100111x10120122200100020110112100112002x12000021121102010112010122100111x12120122200100020110112100112002x11210021001000101112112201122111x11112211010120022001100011211011x10210021001000101112112201122111x10112211010120022001100011211011x12210021001000101112112201122111x12112211010120022001100011211011x11012201200212200112111022010211x11120010010211111210001221200012x10012201200212200112111022010211x10120010010211111210001221200012x12012201200212200112111022010211x12120010010211111210001221200012x11010010001110211211022002120211x11100000200212221011212011222002x10010010001110211211022002120211x10100000200212221011212011222002x12010010001110211211022002120211x12100000200212221011212011222002x11001201110022022001101120220211x11101111102102010002000021012022x10001201110022022001101120220211x10101111102102010002000021012022x12001201110022022001101120220211x12101111102102010002000021012022x11001100121002111222011001211211x11200122102210001222201022111122x10001100121002111222011001211211x10200122102210001222201022111122x12001100121002111222011001211211x12200122102210001222201022111122x11122201011101000221200011202211x11210011020202021112221020210201x10122201011101000221200011202211x10210011020202021112221020210201x12122201011101000221200011202211x12210011020202021112221020210201x11121201022201022101220202102021x11020020202111102012200111200110x10121201022201022101220202102021x10020020202111102012200111200110x12121201022201022101220202102021x12020020202111102012200111200110x11001120201011020011000111012121x11211001210200120221011022200202x10001120201011020011000111012121x10211001210200120221011022200202x12001120201011020011000111012121x12211001210200120221011022200202x11100012220111221020200012212221x11002020220021001112101001121222x10100012220111221020200012212221x10002020220021001112101001121222x12100012220111221020200012212221x12002020220021001112101001121222x11012112012002022102222010210102x11111200012110201210002001210001x10012112012002022102222010210102x10111200012110201210002001210001x12012112012002022102222010210102x12111200012110201210002001210001x11201100012000122211100011101102x11101211010100002200220112210012x10201100012000122211100011101102x10101211010100002200220112210012x12201100012000122211100011101102x12101211010100002200220112210012x11200012112121210012021201201102x11001011221122120100021001121210x10200012112121210012021201201102x10001011221122120100021001121210x12200012112121210012021201201102x12001011221122120100021001121210x11120001221112001122222220211102x11212110012111012122102102000021x10120001221112001122222220211102x10212110012111012122102102000021x12120001221112001122222220211102x12212110012111012122102102000021x11011010100020020222121021012102x11110022010120011200000221220102x10011010100020020222121021012102x10110022010120011200000221220102x12011010100020020222121021012102x12110022010120011200000221220102x11211011120000112012121021120202x11111202202010100111102102221100x10211011120000112012121021120202x10111202202010100111102102221100x12211011120000112012121021120202x12111202202010100111102102221100x11222012010210002022021110111202x11022120021101111022212021001000x10222012010210002022021110111202x10022120021101111022212021001000x12222012010210002022021110111202x12022120021101111022212021001000x11000201120212210110102122121202x11101200212021020201020121122202x10000201120212210110102122121202x10101200212021020201020121122202x12000201120212210110102122121202x12101200212021020201020121122202x11211200021102000100121002111012x11121010100201202222000021101012x10211200021102000100121002111012x10121010100201202222000021101012x12211200021102000100121002111012x12121010100201202222000021101012x11002022201211022220222000122012x11202010200122010121011200022102x10002022201211022220222000122012x10202010200122010121011200022102x12002022201211022220222000122012x12202010200122010121011200022102x11012020021212122021102120122012x11120011202001002011121201120101x10012020021212122021102120122012x10120011202001002011121201120101x12012020021212122021102120122012x12120011202001002011121201120101x11200201212222011102202020001212x11111001202202110100011010010120x10200201212222011102202020001212x10111001202202110100011010010120x12200201212222011102202020001212x12111001202202110100011010010120x11011210021122021222221210202022x11112111220100112021101201002020x10011210021122021222221210202022x10112111220100112021101201002020x12011210021122021222221210202022x12112111220100112021101201002020x11210210000202221111200002222022x11001000011012102122020221100110x10210210000202221111200002222022x10001000011012102122020221100110x12210210000202221111200002222022x12001000011012102122020221100110x11210110002122122202101121100122x11011020120121122222101010021101x10210110002122122202101121100122x10011020120121122222101010021101x12210110002122122202101121100122x12011020120121122222101010021101x11100112011122112010022100101122x11012112001011010000210211112101x10100112011122112010022100101122x10012112001011010000210211112101x12100112011122112010022100101122x12012112001011010000210211112101x11222110201110002210100110202122x11102222010011201212012101012000x10222110201110002210100110202122x10102222010011201212012101012000x12222110201110002210100110202122x12102222010011201212012101012000x11200011221101220022010221221222x11102002002010212100110121101121x10200011221101220022010221221222x10102002002010212100110121101121x12200011221101220022010221221222x12102002002010212100110121101121x1100221111220022220011112200110011000011221122221100000000001x1111001111220022002211002200002211000022222200220011220000111x1100221111220022220011112200110011000011221122221100000000000x1111001111220022002211002200002211000022222200220011220000110x1100221111220022220011112200110011000011221122221100000000002x1111001111220022002211002200002211000022222200220011220000112x1100112211110000110022112211111100222200002222112211000000001x1100111111110000111122001100000011001111001100222200110022221x1100112211110000110022112211111100222200002222112211000000000x1100111111110000111122001100000011001111001100222200110022220x1100112211110000110022112211111100222200002222112211000000002x1100111111110000111122001100000011001111001100222200110022222x1011112222112211222200110011001100222222000000112211110000001x1022110000112222110022001122001100221122221100111122000000221x1011112222112211222200110011001100222222000000112211110000000x1022110000112222110022001122001100221122221100111122000000220x1011112222112211222200110011001100222222000000112211110000002x1022110000112222110022001122001100221122221100111122000000222x1211220011221100002222221111001122220011001100111111221100001x1200000022001122221100111122222222221100110000221111222211221x1211220011221100002222221111001122220011001100111111221100000x1200000022001122221100111122222222221100110000221111222211220x1211220011221100002222221111001122220011001100111111221100002x1200000022001122221100111122222222221100110000221111222211222x1000221100221100111122110000002200222222111122220011002200001x1011001122002222111100110000001100002200222200112222111100001x1000221100221100111122110000002200222222111122220011002200000x1011001122002222111100110000001100002200222200112222111100000x1000221100221100111122110000002200222222111122220011002200002x1011001122002222111100110000001100002200222200112222111100002x1222110000111122110000001111002211111111222222001122002200001x1211222222222211000022222222221122221100222200112200000011001x1222110000111122110000001111002211111111222222001122002200000x1211222222222211000022222222221122221100222200112200000011000x1222110000111122110000001111002211111111222222001122002200002x1211222222222211000022222222221122221100222200112200000011002x1022001122001100222211112222111122112222111100111100112200001x1011001122111111112211000000112222220011110022110011112200221x1022001122001100222211112222111122112222111100111100112200000x1011001122111111112211000000112222220011110022110011112200220x1022001122001100222211112222111122112222111100111100112200002x1011001122111111112211000000112222220011110022110011112200222x1111110011000011111122001122000022002200112211001111112200001x1111001122221100220000111111111100002211000011112222001100001x1111110011000011111122001122000022002200112211001111112200000x1111001122221100220000111111111100002211000011112222001100000x1111110011000011111122001122000022002200112211001111112200002x1111001122221100220000111111111100002211000011112222001100002x1000110022222211002211002222002200002200002222002222112200001x1011110011220000001111110000000000222200220022220000110000111x1000110022222211002211002222002200002200002222002222112200000x1011110011220000001111110000000000222200220022220000110000110x1000110022222211002211002222002200002200002222002222112200002x1011110011220000001111110000000000222200220022220000110000112x1011002200112200222222002211110000110022221111110011222200001x1011001100221122002211112200001122222211000000110000001122111x1011002200112200222222002211110000110022221111110011222200000x1011001100221122002211112200001122222211000000110000001122110x1011002200112200222222002211110000110022221111110011222200002x1011001100221122002211112200001122222211000000110000001122112x1000111122221100001111220022221122112211000000221122221111001x1011112200220000112200112222220000222211110011002211111100111x1000111122221100001111220022221122112211000000221122221111000x1011112200220000112200112222220000222211110011002211111100110x1000111122221100001111220022221122112211000000221122221111002x1011112200220000112200112222220000222211110011002211111100112x1011221122001122221111222211112211222200110000220022222211001x1000221100220022112211111122111111221100111111002222001100001x1011221122001122221111222211112211222200110000220022222211000x1000221100220022112211111122111111221100111111002222001100000x1011221122001122221111222211112211222200110000220022222211002x1000221100220022112211111122111111221100111111002222001100002x1111220000112211222200221111111100000022002222001100221122001x1122001100110022221100110000220011112222002200221122222200111x1111220000112211222200221111111100000022002222001100221122000x1122001100110022221100110000220011112222002200221122222200110x1111220000112211222200221111111100000022002222001100221122002x1122001100110022221100110000220011112222002200221122222200112x1111220022221111112222000011111111110000110011111100221122001x1111111111000022221122110000002211111100221111221100110011221x1111220022221111112222000011111111110000110011111100221122000x1111111111000022221122110000002211111100221111221100110011220x1111220022221111112222000011111111110000110011111100221122002x1111111111000022221122110000002211111100221111221100110011222x1200220011110000001111222211001100221122002222002211112222001x1222110011110011111111111100220011000000222222002200112200001x1200220011110000001111222211001100221122002222002211112222000x1222110011110011111111111100220011000000222222002200112200000x1200220011110000001111222211001100221122002222002211112222002x1222110011110011111111111100220011000000222222002200112200002x1022222200220000220000221100110011112211001122221111110000111x1000220022111122000022112222220022112200111111000011220022001x1022222200220000220000221100110011112211001122221111110000110x1000220022111122000022112222220022112200111111000011220022000x1022222200220000220000221100110011112211001122221111110000112x1000220022111122000022112222220022112200111111000011220022002x1222110000112222111100000011001111002222111111220011220000111x1200221111222222110011220000221111222200000000001122222211111x1222110000112222111100000011001111002222111111220011220000110x1200221111222222110011220000221111222200000000001122222211110x1222110000112222111100000011001111002222111111220011220000112x1200221111222222110011220000221111222200000000001122222211112x1100002211001100222222222222111100111100221111000022001100111x1111222222222200000011220022110000222200222200111100112222221x1100002211001100222222222222111100111100221111000022001100110x1111222222222200000011220022110000222200222200111100112222220x1100002211001100222222222222111100111100221111000022001100112x1111222222222200000011220022110000222200222200111100112222222x1000220022222222221100220022221122220011111111110000221100111x1011220000111122001111222211220011112200220022220000001122111x1000220022222222221100220022221122220011111111110000221100110x1011220000111122001111222211220011112200220022220000001122110x1000220022222222221100220022221122220011111111110000221100112x1011220000111122001111222211220011112200220022220000001122112x1200110011221122001100001111222222221100222211001100221100111x1211110011221111220022001100001111002200110022110000112211111x1200110011221122001100001111222222221100222211001100221100110x1211110011221111220022001100001111002200110022110000112211110x1200110011221122001100001111222222221100222211001100221100112x1211110011221111220022001100001111002200110022110000112211112x1111110011220011112200222211111100001122000000110011112200111x1111110022222200221100002200221122110011110000112222112211001x1111110011220011112200222211111100001122000000110011112200110x1111110022222200221100002200221122110011110000112222112211000x1111110011220011112200222211111100001122000000110011112200112x1111110022222200221100002200221122110011110000112222112211002x1200001111001111221100221100110022000000000022221122222200111x1200111100001100111100002200002200112211001122222222220000221x1200001111001111221100221100110022000000000022221122222200110x1200111100001100111100002200002200112211001122222222220000220x1200001111001111221100221100110022000000000022221122222200112x1200111100001100111100002200002200112211001122222222220000222x1000002211220000221122110022222200001111112211220000110011111x1000222222222211001100002222221100220000112200111111110011001x1000002211220000221122110022222200001111112211220000110011110x1000222222222211001100002222221100220000112200111111110011000x1000002211220000221122110022222200001111112211220000110011112x1000222222222211001100002222221100220000112200111111110011002x1200002211111111112222000022220000002222112200000000221111111x1200001100221111110011002211110000110011222200111122002200001x1200002211111111112222000022220000002222112200000000221111110x1200001100221111110011002211110000110011222200111122002200000x1200002211111111112222000022220000002222112200000000221111112x1200001100221111110011002211110000110011222200111122002200002x1222220022220000222200002211000022221122220011110011221111111x1222111122110011000022000022002211220022222222000022111122111x1222220022220000222200002211000022221122220011110011221111110x1222111122110011000022000022002211220022222222000022111122110x1222220022220000222200002211000022221122220011110011221111112x1222111122110011000022000022002211220022222222000022111122112x1222111111002200112200002200001111220000222222000000110022111x1211000022220011001111001100110011000000001100002222221111221x1222111111002200112200002200001111220000222222000000110022110x1211000022220011001111001100110011000000001100002222221111220x1222111111002200112200002200001111220000222222000000110022112x1211000022220011001111001100110011000000001100002222221111222x1111002200221122112211001111222222000011221100221100001122111x1111002200111122221100110022220011002211222211110022222211001x1111002200221122112211001111222222000011221100221100001122110x1111002200111122221100110022220011002211222211110022222211000x1111002200221122112211001111222222000011221100221100001122112x1111002200111122221100110022220011002211222211110022222211002x1211002222000011000022112200222200110000220000001111001122111x1200000000220011222200111111222211222200000000001122002200221x1211002222000011000022112200222200110000220000001111001122110x1200000000220011222200111111222211222200000000001122002200220x1211002222000011000022112200222200110000220000001111001122112x1200000000220011222200111111222211222200000000001122002200222x1222001122220000110011221111002200112211002200112222221122111x1211002211002211222222000022000011001122112222110011221122111x1222001122220000110011221111002200112211002200112222221122110x1211002211002211222222000022000011001122112222110011221122110x1222001122220000110011221111002200112211002200112222221122112x1211002211002211222222000022000011001122112222110011221122112x1211002211112222220011220022111100221122222211000000002222111x1211222200220000221100002211111111221111220022002211001100221x1211002211112222220011220022111100221122222211000000002222110x1211222200220000221100002211111111221111220022002211001100220x1211002211112222220011220022111100221122222211000000002222112x1211222200220000221100002211111111221111220022002211001100222x1222000022221122110000110022112222111100221122221100002222111x1200221111220000111111220000111100111122002200002211110011221x1222000022221122110000110022112222111100221122221100002222110x1200221111220000111111220000111100111122002200002211110011220x1222000022221122110000110022112222111100221122221100002222112x1200221111220000111111220000111100111122002200002211110011222x1000221122220022221122002222221122002222220000002222002222111x1022112211222200112200110022002211110000001100220000111111001x1000221122220022221122002222221122002222220000002222002222110x1022112211222200112200110022002211110000001100220000111111000x1000221122220022221122002222221122002222220000002222002222112x1022112211222200112200110022002211110000001100220000111111002x1000220022111111001111222211222222220000110022111100112222111x1000221111000000221122220022110022111100112200221111111111111x1000220022111111001111222211222222220000110022111100112222110x1000221111000000221122220022110022111100112200221111111111110x1000220022111111001111222211222222220000110022111100112222112x1000221111000000221122220022110022111100112200221111111111112x1000221122220011111111220000221100002222220011112211222222111x1022112200221111110011222222001100110000002200221111221111221x1000221122220011111111220000221100002222220011112211222222110x1022112200221111110011222222001100110000002200221111221111220x1000221122220011111111220000221100002222220011112211222222112x1022112200221111110011222222001100110000002200221111221111222x1000002222111122111122110000220022000011000022001100000000221x1022000022000022112200110022001122000000000011220000112211221x1000002222111122111122110000220022000011000022001100000000220x1022000022000022112200110022001122000000000011220000112211220x1000002222111122111122110000220022000011000022001100000000222x1022000022000022112200110022001122000000000011220000112211222x1011112222221100001122002222221111111122001100002211000000221x1011000022111111110000222200112211222222220000112200111100221x1011112222221100001122002222221111111122001100002211000000220x1011000022111111110000222200112211222222220000112200111100220x1011112222221100001122002222221111111122001100002211000000222x1011000022111111110000222200112211222222220000112200111100222x1100001100221111111111222222110011221122220011002222222200221x1122111122002211112211001111220000221111001100112222001122001x1100001100221111111111222222110011221122220011002222222200220x1122111122002211112211001111220000221111001100112222001122000x1100001100221111111111222222110011221122220011002222222200222x1122111122002211112211001111220000221111001100112222001122002x1022222211221100112211110000112200002200112222221122000011221x1022111100220022111111220011000011222200001122220000112222111x1022222211221100112211110000112200002200112222221122000011220x1022111100220022111111220011000011222200001122220000112222110x1022222211221100112211110000112200002200112222221122000011222x1022111100220022111111220011000011222200001122220000112222112x1011001122220011111122000000112211220000111122000000110011221x1000001122002200111111001111220011221111000022001100111100001x1011001122220011111122000000112211220000111122000000110011220x1000001122002200111111001111220011221111000022001100111100000x1011001122220011111122000000112211220000111122000000110011222x1000001122002200111111001111220011221111000022001100111100002x1000111100222222112200112222112222221122000000220022110011221x1022111111111100002200222222112200001100111111110011000000221x1000111100222222112200112222112222221122000000220022110011220x1022111111111100002200222222112200001100111111110011000000220x1000111100222222112200112222112222221122000000220022110011222x1022111111111100002200222222112200001100111111110011000000222x1111220022000011112211001100222222222222222200001111111111221x1122110022110000111111221100110000111122110022222211111100221x1111220022000011112211001100222222222222222200001111111111220x1122110022110000111111221100110000111122110022222211111100220x1111220022000011112211001100222222222222222200001111111111222x1122110022110000111111221100110000111122110022222211111100222x1011001111220000000022111100000011000011221100222200221111221x1000220022111100220011000011111100220011220000000011002211111x1011001111220000000022111100000011000011221100222200221111220x1000220022111100220011000011111100220011220000000011002211110x1011001111220000000022111100000011000011221100222200221111222x1000220022111100220011000011111100220011220000000011002211112x1022111111002222111122002222111100110000002200221122001122221x1011112200110000112222001100222200110000111111001111002211111x1022111111002222111122002222111100110000002200221122001122220x1011112200110000112222001100222200110000111111001111002211110x1022111111002222111122002222111100110000002200221122001122222x1011112200110000112222001100222200110000111111001111002211112x110011112211112222000022221111112200001122001122220000110000001x112211112200110022002222001122112222220000002211112200002222001x110011112211112222000022221111112200001122001122220000110000000x112211112200110022002222001122112222220000002211112200002222000x110011112211112222000022221111112200001122001122220000110000002x112211112200110022002222001122112222220000002211112200002222002x100011112211112222000022221111112200001122001122220000110000001x102211112200110022002222001122112222220000002211112200002222001x100011112211112222000022221111112200001122001122220000110000000x102211112200110022002222001122112222220000002211112200002222000x100011112211112222000022221111112200001122001122220000110000002x102211112200110022002222001122112222220000002211112200002222002x120011112211112222000022221111112200001122001122220000110000001x122211112200110022002222001122112222220000002211112200002222001x120011112211112222000022221111112200001122001122220000110000000x122211112200110022002222001122112222220000002211112200002222000x120011112211112222000022221111112200001122001122220000110000002x122211112200110022002222001122112222220000002211112200002222002x112211110022222211221122221111220022000011222200220000001100001x110022220022220022001122002200000022112211222222222222002211221x112211110022222211221122221111220022000011222200220000001100000x110022220022220022001122002200000022112211222222222222002211220x112211110022222211221122221111220022000011222200220000001100002x110022220022220022001122002200000022112211222222222222002211222x102211110022222211221122221111220022000011222200220000001100001x100022220022220022001122002200000022112211222222222222002211221x102211110022222211221122221111220022000011222200220000001100000x100022220022220022001122002200000022112211222222222222002211220x102211110022222211221122221111220022000011222200220000001100002x100022220022220022001122002200000022112211222222222222002211222x122211110022222211221122221111220022000011222200220000001100001x120022220022220022001122002200000022112211222222222222002211221x122211110022222211221122221111220022000011222200220000001100000x120022220022220022001122002200000022112211222222222222002211220x122211110022222211221122221111220022000011222200220000001100002x120022220022220022001122002200000022112211222222222222002211222x112211000000220011110000112200002200001122111111221122112200001x110011000022001111220000002222220000001100111122221122111100221x112211000000220011110000112200002200001122111111221122112200000x110011000022001111220000002222220000001100111122221122111100220x112211000000220011110000112200002200001122111111221122112200002x110011000022001111220000002222220000001100111122221122111100222x102211000000220011110000112200002200001122111111221122112200001x100011000022001111220000002222220000001100111122221122111100221x102211000000220011110000112200002200001122111111221122112200000x100011000022001111220000002222220000001100111122221122111100220x102211000000220011110000112200002200001122111111221122112200002x100011000022001111220000002222220000001100111122221122111100222x122211000000220011110000112200002200001122111111221122112200001x120011000022001111220000002222220000001100111122221122111100221x122211000000220011110000112200002200001122111111221122112200000x120011000022001111220000002222220000001100111122221122111100220x122211000000220011110000112200002200001122111111221122112200002x120011000022001111220000002222220000001100111122221122111100222x111122221111001122002211222222111111222200222211001100222200001x112222001111222211222211221111110000222222221100110000110000221x111122221111001122002211222222111111222200222211001100222200000x112222001111222211222211221111110000222222221100110000110000220x111122221111001122002211222222111111222200222211001100222200002x112222001111222211222211221111110000222222221100110000110000222x101122221111001122002211222222111111222200222211001100222200001x102222001111222211222211221111110000222222221100110000110000221x101122221111001122002211222222111111222200222211001100222200000x102222001111222211222211221111110000222222221100110000110000220x101122221111001122002211222222111111222200222211001100222200002x102222001111222211222211221111110000222222221100110000110000222x121122221111001122002211222222111111222200222211001100222200001x122222001111222211222211221111110000222222221100110000110000221x121122221111001122002211222222111111222200222211001100222200000x122222001111222211222211221111110000222222221100110000110000220x121122221111001122002211222222111111222200222211001100222200002x122222001111222211222211221111110000222222221100110000110000222x110022110022110011000011110022111122111111220011002200222200001x111100221111110000221122112200001111000000112211001111000000001x110022110022110011000011110022111122111111220011002200222200000x111100221111110000221122112200001111000000112211001111000000000x110022110022110011000011110022111122111111220011002200222200002x111100221111110000221122112200001111000000112211001111000000002x100022110022110011000011110022111122111111220011002200222200001x101100221111110000221122112200001111000000112211001111000000001x100022110022110011000011110022111122111111220011002200222200000x101100221111110000221122112200001111000000112211001111000000000x100022110022110011000011110022111122111111220011002200222200002x101100221111110000221122112200001111000000112211001111000000002x120022110022110011000011110022111122111111220011002200222200001x121100221111110000221122112200001111000000112211001111000000001x120022110022110011000011110022111122111111220011002200222200000x121100221111110000221122112200001111000000112211001111000000000x120022110022110011000011110022111122111111220011002200222200002x121100221111110000221122112200001111000000112211001111000000002x112200220000220011221111221111112211112200112200002200000011001x110011110011002222110000222200221100112200002200222211002211111x112200220000220011221111221111112211112200112200002200000011000x110011110011002222110000222200221100112200002200222211002211110x112200220000220011221111221111112211112200112200002200000011002x110011110011002222110000222200221100112200002200222211002211112x102200220000220011221111221111112211112200112200002200000011001x100011110011002222110000222200221100112200002200222211002211111x102200220000220011221111221111112211112200112200002200000011000x100011110011002222110000222200221100112200002200222211002211110x102200220000220011221111221111112211112200112200002200000011002x100011110011002222110000222200221100112200002200222211002211112x122200220000220011221111221111112211112200112200002200000011001x120011110011002222110000222200221100112200002200222211002211111x122200220000220011221111221111112211112200112200002200000011000x120011110011002222110000222200221100112200002200222211002211110x122200220000220011221111221111112211112200112200002200000011002x120011110011002222110000222200221100112200002200222211002211112x111111220000112211112200002211110022112222002222000011000011001x110022000022220011110000112211000000112222112200000011221111221x111111220000112211112200002211110022112222002222000011000011000x110022000022220011110000112211000000112222112200000011221111220x111111220000112211112200002211110022112222002222000011000011002x110022000022220011110000112211000000112222112200000011221111222x101111220000112211112200002211110022112222002222000011000011001x100022000022220011110000112211000000112222112200000011221111221x101111220000112211112200002211110022112222002222000011000011000x100022000022220011110000112211000000112222112200000011221111220x101111220000112211112200002211110022112222002222000011000011002x100022000022220011110000112211000000112222112200000011221111222x121111220000112211112200002211110022112222002222000011000011001x120022000022220011110000112211000000112222112200000011221111221x121111220000112211112200002211110022112222002222000011000011000x120022000022220011110000112211000000112222112200000011221111220x121111220000112211112200002211110022112222002222000011000011002x120022000022220011110000112211000000112222112200000011221111222x111111220000110000111111110022001122000011220022111100220011001x112222222211002200222211002200110011221100000000110022112211001x111111220000110000111111110022001122000011220022111100220011000x112222222211002200222211002200110011221100000000110022112211000x111111220000110000111111110022001122000011220022111100220011002x112222222211002200222211002200110011221100000000110022112211002x101111220000110000111111110022001122000011220022111100220011001x102222222211002200222211002200110011221100000000110022112211001x101111220000110000111111110022001122000011220022111100220011000x102222222211002200222211002200110011221100000000110022112211000x101111220000110000111111110022001122000011220022111100220011002x102222222211002200222211002200110011221100000000110022112211002x121111220000110000111111110022001122000011220022111100220011001x122222222211002200222211002200110011221100000000110022112211001x121111220000110000111111110022001122000011220022111100220011000x122222222211002200222211002200110011221100000000110022112211000x121111220000110000111111110022001122000011220022111100220011002x122222222211002200222211002200110011221100000000110022112211002x112200110000112200111100220022112200111111002200220000111111001x111122222222110011001100220000000022222222001100221100110000111x112200110000112200111100220022112200111111002200220000111111000x111122222222110011001100220000000022222222001100221100110000110x112200110000112200111100220022112200111111002200220000111111002x111122222222110011001100220000000022222222001100221100110000112x102200110000112200111100220022112200111111002200220000111111001x101122222222110011001100220000000022222222001100221100110000111x102200110000112200111100220022112200111111002200220000111111000x101122222222110011001100220000000022222222001100221100110000110x102200110000112200111100220022112200111111002200220000111111002x101122222222110011001100220000000022222222001100221100110000112x122200110000112200111100220022112200111111002200220000111111001x121122222222110011001100220000000022222222001100221100110000111x122200110000112200111100220022112200111111002200220000111111000x121122222222110011001100220000000022222222001100221100110000110x122200110000112200111100220022112200111111002200220000111111002x121122222222110011001100220000000022222222001100221100110000112x110022111111002222222200222211111100112211111100112211111111001x111111222211222200220022111111001122221111001100002200111122111x110022111111002222222200222211111100112211111100112211111111000x111111222211222200220022111111001122221111001100002200111122110x110022111111002222222200222211111100112211111100112211111111002x111111222211222200220022111111001122221111001100002200111122112x100022111111002222222200222211111100112211111100112211111111001x101111222211222200220022111111001122221111001100002200111122111x100022111111002222222200222211111100112211111100112211111111000x101111222211222200220022111111001122221111001100002200111122110x100022111111002222222200222211111100112211111100112211111111002x101111222211222200220022111111001122221111001100002200111122112x120022111111002222222200222211111100112211111100112211111111001x121111222211222200220022111111001122221111001100002200111122111x120022111111002222222200222211111100112211111100112211111111000x121111222211222200220022111111001122221111001100002200111122110x120022111111002222222200222211111100112211111100112211111111002x121111222211222200220022111111001122221111001100002200111122112x110000110011221111000022221122221122222222220022001100002211001x112222112200112200220000000011221100222222221122220022000011221x110000110011221111000022221122221122222222220022001100002211000x112222112200112200220000000011221100222222221122220022000011220x110000110011221111000022221122221122222222220022001100002211002x112222112200112200220000000011221100222222221122220022000011222x100000110011221111000022221122221122222222220022001100002211001x102222112200112200220000000011221100222222221122220022000011221x100000110011221111000022221122221122222222220022001100002211000x102222112200112200220000000011221100222222221122220022000011220x100000110011221111000022221122221122222222220022001100002211002x102222112200112200220000000011221100222222221122220022000011222x120000110011221111000022221122221122222222220022001100002211001x122222112200112200220000000011221100222222221122220022000011221x120000110011221111000022221122221122222222220022001100002211000x122222112200112200220000000011221100222222221122220022000011220x120000110011221111000022221122221122222222220022001100002211002x122222112200112200220000000011221100222222221122220022000011222x112222222211112200110011111122001100112200112200222211002211001x110011111111221100221111220011110022220022110000222200222222221x112222222211112200110011111122001100112200112200222211002211000x110011111111221100221111220011110022220022110000222200222222220x112222222211112200110011111122001100112200112200222211002211002x110011111111221100221111220011110022220022110000222200222222222x102222222211112200110011111122001100112200112200222211002211001x100011111111221100221111220011110022220022110000222200222222221x102222222211112200110011111122001100112200112200222211002211000x100011111111221100221111220011110022220022110000222200222222220x102222222211112200110011111122001100112200112200222211002211002x100011111111221100221111220011110022220022110000222200222222222x122222222211112200110011111122001100112200112200222211002211001x120011111111221100221111220011110022220022110000222200222222221x122222222211112200110011111122001100112200112200222211002211000x120011111111221100221111220011110022220022110000222200222222220x122222222211112200110011111122001100112200112200222211002211002x120011111111221100221111220011110022220022110000222200222222222x110022222200110011002222112222110011002211000000111122222211001x111122002211222200221111002200222222110022000022110000110022001x110022222200110011002222112222110011002211000000111122222211000x111122002211222200221111002200222222110022000022110000110022000x110022222200110011002222112222110011002211000000111122222211002x111122002211222200221111002200222222110022000022110000110022002x100022222200110011002222112222110011002211000000111122222211001x101122002211222200221111002200222222110022000022110000110022001x100022222200110011002222112222110011002211000000111122222211000x101122002211222200221111002200222222110022000022110000110022000x100022222200110011002222112222110011002211000000111122222211002x101122002211222200221111002200222222110022000022110000110022002x120022222200110011002222112222110011002211000000111122222211001x121122002211222200221111002200222222110022000022110000110022001x120022222200110011002222112222110011002211000000111122222211000x121122002211222200221111002200222222110022000022110000110022000x120022222200110011002222112222110011002211000000111122222211002x121122002211222200221111002200222222110022000022110000110022002x111100112200110000000000111111112211002222002211001122001122001x112200000022110011220000001122222200222211220000112222000011111x111100112200110000000000111111112211002222002211001122001122000x112200000022110011220000001122222200222211220000112222000011110x111100112200110000000000111111112211002222002211001122001122002x112200000022110011220000001122222200222211220000112222000011112x101100112200110000000000111111112211002222002211001122001122001x102200000022110011220000001122222200222211220000112222000011111x101100112200110000000000111111112211002222002211001122001122000x102200000022110011220000001122222200222211220000112222000011110x101100112200110000000000111111112211002222002211001122001122002x102200000022110011220000001122222200222211220000112222000011112x121100112200110000000000111111112211002222002211001122001122001x122200000022110011220000001122222200222211220000112222000011111x121100112200110000000000111111112211002222002211001122001122000x122200000022110011220000001122222200222211220000112222000011110x121100112200110000000000111111112211002222002211001122001122002x122200000022110011220000001122222200222211220000112222000011112x112222111111002211112211000011222200110000111100110000112222001x111111001122221100002200222211221111000022002211112200002200221x112222111111002211112211000011222200110000111100110000112222000x111111001122221100002200222211221111000022002211112200002200220x112222111111002211112211000011222200110000111100110000112222002x111111001122221100002200222211221111000022002211112200002200222x102222111111002211112211000011222200110000111100110000112222001x101111001122221100002200222211221111000022002211112200002200221x102222111111002211112211000011222200110000111100110000112222000x101111001122221100002200222211221111000022002211112200002200220x102222111111002211112211000011222200110000111100110000112222002x101111001122221100002200222211221111000022002211112200002200222x122222111111002211112211000011222200110000111100110000112222001x121111001122221100002200222211221111000022002211112200002200221x122222111111002211112211000011222200110000111100110000112222000x121111001122221100002200222211221111000022002211112200002200220x122222111111002211112211000011222200110000111100110000112222002x121111001122221100002200222211221111000022002211112200002200222x111100001111222222222200110000222222002211000022002200222222001x112211111100001122000022110000112222002200220000220022220011001x111100001111222222222200110000222222002211000022002200222222000x112211111100001122000022110000112222002200220000220022220011000x111100001111222222222200110000222222002211000022002200222222002x112211111100001122000022110000112222002200220000220022220011002x101100001111222222222200110000222222002211000022002200222222001x102211111100001122000022110000112222002200220000220022220011001x101100001111222222222200110000222222002211000022002200222222000x102211111100001122000022110000112222002200220000220022220011000x101100001111222222222200110000222222002211000022002200222222002x102211111100001122000022110000112222002200220000220022220011002x121100001111222222222200110000222222002211000022002200222222001x122211111100001122000022110000112222002200220000220022220011001x121100001111222222222200110000222222002211000022002200222222000x122211111100001122000022110000112222002200220000220022220011000x121100001111222222222200110000222222002211000022002200222222002x122211111100001122000022110000112222002200220000220022220011002x112211221100001111222200221122220011001122221111001100000000111x111122221100002200112211000000222200110011002211001111112200221x112211221100001111222200221122220011001122221111001100000000110x111122221100002200112211000000222200110011002211001111112200220x112211221100001111222200221122220011001122221111001100000000112x111122221100002200112211000000222200110011002211001111112200222x102211221100001111222200221122220011001122221111001100000000111x101122221100002200112211000000222200110011002211001111112200221x102211221100001111222200221122220011001122221111001100000000110x101122221100002200112211000000222200110011002211001111112200220x102211221100001111222200221122220011001122221111001100000000112x101122221100002200112211000000222200110011002211001111112200222x122211221100001111222200221122220011001122221111001100000000111x121122221100002200112211000000222200110011002211001111112200221x122211221100001111222200221122220011001122221111001100000000110x121122221100002200112211000000222200110011002211001111112200220x122211221100001111222200221122220011001122221111001100000000112x121122221100002200112211000000222200110011002211001111112200222x110000111122001100111100221100112222220022111122221100000000111x111100110022002222220011112200002222110011002200220022220022221x110000111122001100111100221100112222220022111122221100000000110x111100110022002222220011112200002222110011002200220022220022220x110000111122001100111100221100112222220022111122221100000000112x111100110022002222220011112200002222110011002200220022220022222x100000111122001100111100221100112222220022111122221100000000111x101100110022002222220011112200002222110011002200220022220022221x100000111122001100111100221100112222220022111122221100000000110x101100110022002222220011112200002222110011002200220022220022220x100000111122001100111100221100112222220022111122221100000000112x101100110022002222220011112200002222110011002200220022220022222x120000111122001100111100221100112222220022111122221100000000111x121100110022002222220011112200002222110011002200220022220022221x120000111122001100111100221100112222220022111122221100000000110x121100110022002222220011112200002222110011002200220022220022220x120000111122001100111100221100112222220022111122221100000000112x121100110022002222220011112200002222110011002200220022220022222x111122111111220000000011220011222200222211222211000011220000111x112222112200220011221122002222112222000022000011001100221100221x111122111111220000000011220011222200222211222211000011220000110x112222112200220011221122002222112222000022000011001100221100220x111122111111220000000011220011222200222211222211000011220000112x112222112200220011221122002222112222000022000011001100221100222x101122111111220000000011220011222200222211222211000011220000111x102222112200220011221122002222112222000022000011001100221100221x101122111111220000000011220011222200222211222211000011220000110x102222112200220011221122002222112222000022000011001100221100220x101122111111220000000011220011222200222211222211000011220000112x102222112200220011221122002222112222000022000011001100221100222x121122111111220000000011220011222200222211222211000011220000111x122222112200220011221122002222112222000022000011001100221100221x121122111111220000000011220011222200222211222211000011220000110x122222112200220011221122002222112222000022000011001100221100220x121122111111220000000011220011222200222211222211000011220000112x122222112200220011221122002222112222000022000011001100221100222x110011111122222222221111221122000000222211222200112211221100111x111100001111002211001111111111000022002222110011222211111122001x110011111122222222221111221122000000222211222200112211221100110x111100001111002211001111111111000022002222110011222211111122000x110011111122222222221111221122000000222211222200112211221100112x111100001111002211001111111111000022002222110011222211111122002x100011111122222222221111221122000000222211222200112211221100111x101100001111002211001111111111000022002222110011222211111122001x100011111122222222221111221122000000222211222200112211221100110x101100001111002211001111111111000022002222110011222211111122000x100011111122222222221111221122000000222211222200112211221100112x101100001111002211001111111111000022002222110011222211111122002x120011111122222222221111221122000000222211222200112211221100111x121100001111002211001111111111000022002222110011222211111122001x120011111122222222221111221122000000222211222200112211221100110x121100001111002211001111111111000022002222110011222211111122000x120011111122222222221111221122000000222211222200112211221100112x121100001111002211001111111111000022002222110011222211111122002x110022110000222211220011001111112222000022110000001122221100111x112200000022110000112222222211220000222200222200001100111111221x110022110000222211220011001111112222000022110000001122221100110x112200000022110000112222222211220000222200222200001100111111220x110022110000222211220011001111112222000022110000001122221100112x112200000022110000112222222211220000222200222200001100111111222x100022110000222211220011001111112222000022110000001122221100111x102200000022110000112222222211220000222200222200001100111111221x100022110000222211220011001111112222000022110000001122221100110x102200000022110000112222222211220000222200222200001100111111220x100022110000222211220011001111112222000022110000001122221100112x102200000022110000112222222211220000222200222200001100111111222x120022110000222211220011001111112222000022110000001122221100111x122200000022110000112222222211220000222200222200001100111111221x120022110000222211220011001111112222000022110000001122221100110x122200000022110000112222222211220000222200222200001100111111220x120022110000222211220011001111112222000022110000001122221100112x122200000022110000112222222211220000222200222200001100111111222x110011222222112222221100111122221100222222002222002211002200111x111111221100111111222200222222111100001100002222000000110011111x110011222222112222221100111122221100222222002222002211002200110x111111221100111111222200222222111100001100002222000000110011110x110011222222112222221100111122221100222222002222002211002200112x111111221100111111222200222222111100001100002222000000110011112x100011222222112222221100111122221100222222002222002211002200111x101111221100111111222200222222111100001100002222000000110011111x100011222222112222221100111122221100222222002222002211002200110x101111221100111111222200222222111100001100002222000000110011110x100011222222112222221100111122221100222222002222002211002200112x101111221100111111222200222222111100001100002222000000110011112x120011222222112222221100111122221100222222002222002211002200111x121111221100111111222200222222111100001100002222000000110011111x120011222222112222221100111122221100222222002222002211002200110x121111221100111111222200222222111100001100002222000000110011110x120011222222112222221100111122221100222222002222002211002200112x121111221100111111222200222222111100001100002222000000110011112x112211222211220022221111111100221100111111000000112222112200111x111111001111000011220011220000002222112211111122112200221122221x112211222211220022221111111100221100111111000000112222112200110x111111001111000011220011220000002222112211111122112200221122220x112211222211220022221111111100221100111111000000112222112200112x111111001111000011220011220000002222112211111122112200221122222x102211222211220022221111111100221100111111000000112222112200111x101111001111000011220011220000002222112211111122112200221122221x102211222211220022221111111100221100111111000000112222112200110x101111001111000011220011220000002222112211111122112200221122220x102211222211220022221111111100221100111111000000112222112200112x101111001111000011220011220000002222112211111122112200221122222x122211222211220022221111111100221100111111000000112222112200111x121111001111000011220011220000002222112211111122112200221122221x122211222211220022221111111100221100111111000000112222112200110x121111001111000011220011220000002222112211111122112200221122220x122211222211220022221111111100221100111111000000112222112200112x121111001111000011220011220000002222112211111122112200221122222x110011002211222222220000221122222222221100000022000011222200111x111100002200222200112222110000110022112200110022110022220022001x110011002211222222220000221122222222221100000022000011222200110x111100002200222200112222110000110022112200110022110022220022000x110011002211222222220000221122222222221100000022000011222200112x111100002200222200112222110000110022112200110022110022220022002x100011002211222222220000221122222222221100000022000011222200111x101100002200222200112222110000110022112200110022110022220022001x100011002211222222220000221122222222221100000022000011222200110x101100002200222200112222110000110022112200110022110022220022000x100011002211222222220000221122222222221100000022000011222200112x101100002200222200112222110000110022112200110022110022220022002x120011002211222222220000221122222222221100000022000011222200111x121100002200222200112222110000110022112200110022110022220022001x120011002211222222220000221122222222221100000022000011222200110x121100002200222200112222110000110022112200110022110022220022000x120011002211222222220000221122222222221100000022000011222200112x121100002200222200112222110000110022112200110022110022220022002x111122112200111111221100001122110022112211222211221111000011111x112222112211001100111122221100221111112200111122001111000011111x111122112200111111221100001122110022112211222211221111000011110x112222112211001100111122221100221111112200111122001111000011110x111122112200111111221100001122110022112211222211221111000011112x112222112211001100111122221100221111112200111122001111000011112x101122112200111111221100001122110022112211222211221111000011111x102222112211001100111122221100221111112200111122001111000011111x101122112200111111221100001122110022112211222211221111000011110x102222112211001100111122221100221111112200111122001111000011110x101122112200111111221100001122110022112211222211221111000011112x102222112211001100111122221100221111112200111122001111000011112x121122112200111111221100001122110022112211222211221111000011111x122222112211001100111122221100221111112200111122001111000011111x121122112200111111221100001122110022112211222211221111000011110x122222112211001100111122221100221111112200111122001111000011110x121122112200111111221100001122110022112211222211221111000011112x122222112211001100111122221100221111112200111122001111000011112x112200220011111122002211112222110011000022220000111122000011111x111122110011001122000022112211221100002211000011000011001122221x112200220011111122002211112222110011000022220000111122000011110x111122110011001122000022112211221100002211000011000011001122220x112200220011111122002211112222110011000022220000111122000011112x111122110011001122000022112211221100002211000011000011001122222x102200220011111122002211112222110011000022220000111122000011111x101122110011001122000022112211221100002211000011000011001122221x102200220011111122002211112222110011000022220000111122000011110x101122110011001122000022112211221100002211000011000011001122220x102200220011111122002211112222110011000022220000111122000011112x101122110011001122000022112211221100002211000011000011001122222x122200220011111122002211112222110011000022220000111122000011111x121122110011001122000022112211221100002211000011000011001122221x122200220011111122002211112222110011000022220000111122000011110x121122110011001122000022112211221100002211000011000011001122220x122200220011111122002211112222110011000022220000111122000011112x121122110011001122000022112211221100002211000011000011001122222x110011000000000000111111220000001122002211110000111122110011111x111100111100002200110011222211002222220000110000001100220011001x110011000000000000111111220000001122002211110000111122110011110x111100111100002200110011222211002222220000110000001100220011000x110011000000000000111111220000001122002211110000111122110011112x111100111100002200110011222211002222220000110000001100220011002x100011000000000000111111220000001122002211110000111122110011111x101100111100002200110011222211002222220000110000001100220011001x100011000000000000111111220000001122002211110000111122110011110x101100111100002200110011222211002222220000110000001100220011000x100011000000000000111111220000001122002211110000111122110011112x101100111100002200110011222211002222220000110000001100220011002x120011000000000000111111220000001122002211110000111122110011111x121100111100002200110011222211002222220000110000001100220011001x120011000000000000111111220000001122002211110000111122110011110x121100111100002200110011222211002222220000110000001100220011000x120011000000000000111111220000001122002211110000111122110011112x121100111100002200110011222211002222220000110000001100220011002x110011000011001122001122111122111122001111110022222211220011111x112200002211222211001122221122222222112211110000000000001100221x110011000011001122001122111122111122001111110022222211220011110x112200002211222211001122221122222222112211110000000000001100220x110011000011001122001122111122111122001111110022222211220011112x112200002211222211001122221122222222112211110000000000001100222x100011000011001122001122111122111122001111110022222211220011111x102200002211222211001122221122222222112211110000000000001100221x100011000011001122001122111122111122001111110022222211220011110x102200002211222211001122221122222222112211110000000000001100220x100011000011001122001122111122111122001111110022222211220011112x102200002211222211001122221122222222112211110000000000001100222x120011000011001122001122111122111122001111110022222211220011111x122200002211222211001122221122222222112211110000000000001100221x120011000011001122001122111122111122001111110022222211220011110x122200002211222211001122221122222222112211110000000000001100220x120011000011001122001122111122111122001111110022222211220011112x122200002211222211001122221122222222112211110000000000001100222x110000000022111122111100220011001111220011001122221100001111111x111122001122222200001100000022001111001111221100001111220000221x110000000022111122111100220011001111220011001122221100001111110x111122001122222200001100000022001111001111221100001111220000220x110000000022111122111100220011001111220011001122221100001111112x111122001122222200001100000022001111001111221100001111220000222x100000000022111122111100220011001111220011001122221100001111111x101122001122222200001100000022001111001111221100001111220000221x100000000022111122111100220011001111220011001122221100001111110x101122001122222200001100000022001111001111221100001111220000220x100000000022111122111100220011001111220011001122221100001111112x101122001122222200001100000022001111001111221100001111220000222x120000000022111122111100220011001111220011001122221100001111111x121122001122222200001100000022001111001111221100001111220000221x120000000022111122111100220011001111220011001122221100001111110x121122001122222200001100000022001111001111221100001111220000220x120000000022111122111100220011001111220011001122221100001111112x121122001122222200001100000022001111001111221100001111220000222x112211000022110000110000001100111111221111222200111122221111111x111111222211110011001122000022220000111100000011112211110011111x112211000022110000110000001100111111221111222200111122221111110x111111222211110011001122000022220000111100000011112211110011110x112211000022110000110000001100111111221111222200111122221111112x111111222211110011001122000022220000111100000011112211110011112x102211000022110000110000001100111111221111222200111122221111111x101111222211110011001122000022220000111100000011112211110011111x102211000022110000110000001100111111221111222200111122221111110x101111222211110011001122000022220000111100000011112211110011110x102211000022110000110000001100111111221111222200111122221111112x101111222211110011001122000022220000111100000011112211110011112x122211000022110000110000001100111111221111222200111122221111111x121111222211110011001122000022220000111100000011112211110011111x122211000022110000110000001100111111221111222200111122221111110x121111222211110011001122000022220000111100000011112211110011110x122211000022110000110000001100111111221111222200111122221111112x121111222211110011001122000022220000111100000011112211110011112x110011222200112200002211222200001111221111110022220011002211111x111122000011000011002211111111112211000000112222112200000011221x110011222200112200002211222200001111221111110022220011002211110x111122000011000011002211111111112211000000112222112200000011220x110011222200112200002211222200001111221111110022220011002211112x111122000011000011002211111111112211000000112222112200000011222x100011222200112200002211222200001111221111110022220011002211111x101122000011000011002211111111112211000000112222112200000011221x100011222200112200002211222200001111221111110022220011002211110x101122000011000011002211111111112211000000112222112200000011220x100011222200112200002211222200001111221111110022220011002211112x101122000011000011002211111111112211000000112222112200000011222x120011222200112200002211222200001111221111110022220011002211111x121122000011000011002211111111112211000000112222112200000011221x120011222200112200002211222200001111221111110022220011002211110x121122000011000011002211111111112211000000112222112200000011220x120011222200112200002211222200001111221111110022220011002211112x121122000011000011002211111111112211000000112222112200000011222x110011000011000000111111002211112211110022220000221122002211111x111100000000002200002211222222110011112211220011112222220000221x110011000011000000111111002211112211110022220000221122002211110x111100000000002200002211222222110011112211220011112222220000220x110011000011000000111111002211112211110022220000221122002211112x111100000000002200002211222222110011112211220011112222220000222x100011000011000000111111002211112211110022220000221122002211111x101100000000002200002211222222110011112211220011112222220000221x100011000011000000111111002211112211110022220000221122002211110x101100000000002200002211222222110011112211220011112222220000220x100011000011000000111111002211112211110022220000221122002211112x101100000000002200002211222222110011112211220011112222220000222x120011000011000000111111002211112211110022220000221122002211111x121100000000002200002211222222110011112211220011112222220000221x120011000011000000111111002211112211110022220000221122002211110x121100000000002200002211222222110011112211220011112222220000220x120011000011000000111111002211112211110022220000221122002211112x121100000000002200002211222222110011112211220011112222220000222x110000112200111111000022220022220000111100111122002222002211111x111100111111111100221100220011000000220000000022110011220022221x110000112200111111000022220022220000111100111122002222002211110x111100111111111100221100220011000000220000000022110011220022220x110000112200111111000022220022220000111100111122002222002211112x111100111111111100221100220011000000220000000022110011220022222x100000112200111111000022220022220000111100111122002222002211111x101100111111111100221100220011000000220000000022110011220022221x100000112200111111000022220022220000111100111122002222002211110x101100111111111100221100220011000000220000000022110011220022220x100000112200111111000022220022220000111100111122002222002211112x101100111111111100221100220011000000220000000022110011220022222x120000112200111111000022220022220000111100111122002222002211111x121100111111111100221100220011000000220000000022110011220022221x120000112200111111000022220022220000111100111122002222002211110x121100111111111100221100220011000000220000000022110011220022220x120000112200111111000022220022220000111100111122002222002211112x121100111111111100221100220011000000220000000022110011220022222x110000111100001122110000221111112222220011110000112211112211111x112200001122221100222211000000112222222200110022221111111122221x110000111100001122110000221111112222220011110000112211112211110x112200001122221100222211000000112222222200110022221111111122220x110000111100001122110000221111112222220011110000112211112211112x112200001122221100222211000000112222222200110022221111111122222x100000111100001122110000221111112222220011110000112211112211111x102200001122221100222211000000112222222200110022221111111122221x100000111100001122110000221111112222220011110000112211112211110x102200001122221100222211000000112222222200110022221111111122220x100000111100001122110000221111112222220011110000112211112211112x102200001122221100222211000000112222222200110022221111111122222x120000111100001122110000221111112222220011110000112211112211111x122200001122221100222211000000112222222200110022221111111122221x120000111100001122110000221111112222220011110000112211112211110x122200001122221100222211000000112222222200110022221111111122220x120000111100001122110000221111112222220011110000112211112211112x122200001122221100222211000000112222222200110022221111111122222x111122222200110011111100110000002222112200000011112200222211111x112211000011110022002200220022111111222222110022002211002200111x111122222200110011111100110000002222112200000011112200222211110x112211000011110022002200220022111111222222110022002211002200110x111122222200110011111100110000002222112200000011112200222211112x112211000011110022002200220022111111222222110022002211002200112x101122222200110011111100110000002222112200000011112200222211111x102211000011110022002200220022111111222222110022002211002200111x101122222200110011111100110000002222112200000011112200222211110x102211000011110022002200220022111111222222110022002211002200110x101122222200110011111100110000002222112200000011112200222211112x102211000011110022002200220022111111222222110022002211002200112x121122222200110011111100110000002222112200000011112200222211111x122211000011110022002200220022111111222222110022002211002200111x121122222200110011111100110000002222112200000011112200222211110x122211000011110022002200220022111111222222110022002211002200110x121122222200110011111100110000002222112200000011112200222211112x122211000011110022002200220022111111222222110022002211002200112x111122112200110022222200110022221100112222002200221100220022111x110022000022002200221111111100220011222200001111112200001111001x111122112200110022222200110022221100112222002200221100220022110x110022000022002200221111111100220011222200001111112200001111000x111122112200110022222200110022221100112222002200221100220022112x110022000022002200221111111100220011222200001111112200001111002x101122112200110022222200110022221100112222002200221100220022111x100022000022002200221111111100220011222200001111112200001111001x101122112200110022222200110022221100112222002200221100220022110x100022000022002200221111111100220011222200001111112200001111000x101122112200110022222200110022221100112222002200221100220022112x100022000022002200221111111100220011222200001111112200001111002x121122112200110022222200110022221100112222002200221100220022111x120022000022002200221111111100220011222200001111112200001111001x121122112200110022222200110022221100112222002200221100220022110x120022000022002200221111111100220011222200001111112200001111000x121122112200110022222200110022221100112222002200221100220022112x120022000022002200221111111100220011222200001111112200001111002x110000111122002200110011110022000011110000001111110011221122111x112211110000112211002200001122002222110011110022222200002200221x110000111122002200110011110022000011110000001111110011221122110x112211110000112211002200001122002222110011110022222200002200220x110000111122002200110011110022000011110000001111110011221122112x112211110000112211002200001122002222110011110022222200002200222x100000111122002200110011110022000011110000001111110011221122111x102211110000112211002200001122002222110011110022222200002200221x100000111122002200110011110022000011110000001111110011221122110x102211110000112211002200001122002222110011110022222200002200220x100000111122002200110011110022000011110000001111110011221122112x102211110000112211002200001122002222110011110022222200002200222x120000111122002200110011110022000011110000001111110011221122111x122211110000112211002200001122002222110011110022222200002200221x120000111122002200110011110022000011110000001111110011221122110x122211110000112211002200001122002222110011110022222200002200220x120000111122002200110011110022000011110000001111110011221122112x122211110000112211002200001122002222110011110022222200002200222x111100000011222222001111112222110022002200000011222211222222111x110000220022002222000022110000111111221100110000111122112222221x111100000011222222001111112222110022002200000011222211222222110x110000220022002222000022110000111111221100110000111122112222220x111100000011222222001111112222110022002200000011222211222222112x110000220022002222000022110000111111221100110000111122112222222x101100000011222222001111112222110022002200000011222211222222111x100000220022002222000022110000111111221100110000111122112222221x101100000011222222001111112222110022002200000011222211222222110x100000220022002222000022110000111111221100110000111122112222220x101100000011222222001111112222110022002200000011222211222222112x100000220022002222000022110000111111221100110000111122112222222x121100000011222222001111112222110022002200000011222211222222111x120000220022002222000022110000111111221100110000111122112222221x121100000011222222001111112222110022002200000011222211222222110x120000220022002222000022110000111111221100110000111122112222220x121100000011222222001111112222110022002200000011222211222222112x120000220022002222000022110000111111221100110000111122112222222x110011221111220011220000220022221100222222220011002211001100221x111111112200000011221111002200112211000000220000112211000000111x110011221111220011220000220022221100222222220011002211001100220x111111112200000011221111002200112211000000220000112211000000110x110011221111220011220000220022221100222222220011002211001100222x111111112200000011221111002200112211000000220000112211000000112x100011221111220011220000220022221100222222220011002211001100221x101111112200000011221111002200112211000000220000112211000000111x100011221111220011220000220022221100222222220011002211001100220x101111112200000011221111002200112211000000220000112211000000110x100011221111220011220000220022221100222222220011002211001100222x101111112200000011221111002200112211000000220000112211000000112x120011221111220011220000220022221100222222220011002211001100221x121111112200000011221111002200112211000000220000112211000000111x120011221111220011220000220022221100222222220011002211001100220x121111112200000011221111002200112211000000220000112211000000110x120011221111220011220000220022221100222222220011002211001100222x121111112200000011221111002200112211000000220000112211000000112x112200111100000011220000001122222211111100000011111100111100221x111100112211110011001100000000222200002222001111222211000011221x112200111100000011220000001122222211111100000011111100111100220x111100112211110011001100000000222200002222001111222211000011220x112200111100000011220000001122222211111100000011111100111100222x111100112211110011001100000000222200002222001111222211000011222x102200111100000011220000001122222211111100000011111100111100221x101100112211110011001100000000222200002222001111222211000011221x102200111100000011220000001122222211111100000011111100111100220x101100112211110011001100000000222200002222001111222211000011220x102200111100000011220000001122222211111100000011111100111100222x101100112211110011001100000000222200002222001111222211000011222x122200111100000011220000001122222211111100000011111100111100221x121100112211110011001100000000222200002222001111222211000011221x122200111100000011220000001122222211111100000011111100111100220x121100112211110011001100000000222200002222001111222211000011220x122200111100000011220000001122222211111100000011111100111100222x121100112211110011001100000000222200002222001111222211000011222x112200000011221111221122112211000011220022112200112200111100221x110000110011112222111122221122001100000022110000111122112211001x112200000011221111221122112211000011220022112200112200111100220x110000110011112222111122221122001100000022110000111122112211000x112200000011221111221122112211000011220022112200112200111100222x110000110011112222111122221122001100000022110000111122112211002x102200000011221111221122112211000011220022112200112200111100221x100000110011112222111122221122001100000022110000111122112211001x102200000011221111221122112211000011220022112200112200111100220x100000110011112222111122221122001100000022110000111122112211000x102200000011221111221122112211000011220022112200112200111100222x100000110011112222111122221122001100000022110000111122112211002x122200000011221111221122112211000011220022112200112200111100221x120000110011112222111122221122001100000022110000111122112211001x122200000011221111221122112211000011220022112200112200111100220x120000110011112222111122221122001100000022110000111122112211000x122200000011221111221122112211000011220022112200112200111100222x120000110011112222111122221122001100000022110000111122112211002x111122000000112222111111220000111122222222222222002211111100221x112211221111000011221111110011221122221100221100220000000022111x111122000000112222111111220000111122222222222222002211111100220x112211221111000011221111110011221122221100221100220000000022110x111122000000112222111111220000111122222222222222002211111100222x112211221111000011221111110011221122221100221100220000000022112x101122000000112222111111220000111122222222222222002211111100221x102211221111000011221111110011221122221100221100220000000022111x101122000000112222111111220000111122222222222222002211111100220x102211221111000011221111110011221122221100221100220000000022110x101122000000112222111111220000111122222222222222002211111100222x102211221111000011221111110011221122221100221100220000000022112x121122000000112222111111220000111122222222222222002211111100221x122211221111000011221111110011221122221100221100220000000022111x121122000000112222111111220000111122222222222222002211111100220x122211221111000011221111110011221122221100221100220000000022110x121122000000112222111111220000111122222222222222002211111100222x122211221111000011221111110011221122221100221100220000000022112x110011110011001100000022000022002222221122110022110011221100221x111111000022220011001122000011112200000000002222112222001100221x110011110011001100000022000022002222221122110022110011221100220x111111000022220011001122000011112200000000002222112222001100220x110011110011001100000022000022002222221122110022110011221100222x111111000022220011001122000011112200000000002222112222001100222x100011110011001100000022000022002222221122110022110011221100221x101111000022220011001122000011112200000000002222112222001100221x100011110011001100000022000022002222221122110022110011221100220x101111000022220011001122000011112200000000002222112222001100220x100011110011001100000022000022002222221122110022110011221100222x101111000022220011001122000011112200000000002222112222001100222x120011110011001100000022000022002222221122110022110011221100221x121111000022220011001122000011112200000000002222112222001100221x120011110011001100000022000022002222221122110022110011221100220x121111000022220011001122000011112200000000002222112222001100220x120011110011001100000022000022002222221122110022110011221100222x121111000022220011001122000011112200000000002222112222001100222x112211110011111122000000001111220011221122110022111122002200221x111111112200222200220011001100001111111100221100222222111100001x112211110011111122000000001111220011221122110022111122002200220x111111112200222200220011001100001111111100221100222222111100000x112211110011111122000000001111220011221122110022111122002200222x111111112200222200220011001100001111111100221100222222111100002x102211110011111122000000001111220011221122110022111122002200221x101111112200222200220011001100001111111100221100222222111100001x102211110011111122000000001111220011221122110022111122002200220x101111112200222200220011001100001111111100221100222222111100000x102211110011111122000000001111220011221122110022111122002200222x101111112200222200220011001100001111111100221100222222111100002x122211110011111122000000001111220011221122110022111122002200221x121111112200222200220011001100001111111100221100222222111100001x122211110011111122000000001111220011221122110022111122002200220x121111112200222200220011001100001111111100221100222222111100000x122211110011111122000000001111220011221122110022111122002200222x121111112200222200220011001100001111111100221100222222111100002x112222220011220011002211000000220022220022111111001111112200221x110022221122000022111100111111110022222211220022110000110000001x112222220011220011002211000000220022220022111111001111112200220x110022221122000022111100111111110022222211220022110000110000000x112222220011220011002211000000220022220022111111001111112200222x110022221122000022111100111111110022222211220022110000110000002x102222220011220011002211000000220022220022111111001111112200221x100022221122000022111100111111110022222211220022110000110000001x102222220011220011002211000000220022220022111111001111112200220x100022221122000022111100111111110022222211220022110000110000000x102222220011220011002211000000220022220022111111001111112200222x100022221122000022111100111111110022222211220022110000110000002x122222220011220011002211000000220022220022111111001111112200221x120022221122000022111100111111110022222211220022110000110000001x122222220011220011002211000000220022220022111111001111112200220x120022221122000022111100111111110022222211220022110000110000000x122222220011220011002211000000220022220022111111001111112200222x120022221122000022111100111111110022222211220022110000110000002x110000002200111122002211222211001111001100221122221122112200221x111100112200002211220022110022002200110022001122111122222200221x110000002200111122002211222211001111001100221122221122112200220x111100112200002211220022110022002200110022001122111122222200220x110000002200111122002211222211001111001100221122221122112200222x111100112200002211220022110022002200110022001122111122222200222x100000002200111122002211222211001111001100221122221122112200221x101100112200002211220022110022002200110022001122111122222200221x100000002200111122002211222211001111001100221122221122112200220x101100112200002211220022110022002200110022001122111122222200220x100000002200111122002211222211001111001100221122221122112200222x101100112200002211220022110022002200110022001122111122222200222x120000002200111122002211222211001111001100221122221122112200221x121100112200002211220022110022002200110022001122111122222200221x120000002200111122002211222211001111001100221122221122112200220x121100112200002211220022110022002200110022001122111122222200220x120000002200111122002211222211001111001100221122221122112200222x121100112200002211220022110022002200110022001122111122222200222x112211112200000022111100220000001100001122110000221111110011221x111122110011001100002200112200222222220000000022111100110011221x112211112200000022111100220000001100001122110000221111110011220x111122110011001100002200112200222222220000000022111100110011220x112211112200000022111100220000001100001122110000221111110011222x111122110011001100002200112200222222220000000022111100110011222x102211112200000022111100220000001100001122110000221111110011221x101122110011001100002200112200222222220000000022111100110011221x102211112200000022111100220000001100001122110000221111110011220x101122110011001100002200112200222222220000000022111100110011220x102211112200000022111100220000001100001122110000221111110011222x101122110011001100002200112200222222220000000022111100110011222x122211112200000022111100220000001100001122110000221111110011221x121122110011001100002200112200222222220000000022111100110011221x122211112200000022111100220000001100001122110000221111110011220x121122110011001100002200112200222222220000000022111100110011220x122211112200000022111100220000001100001122110000221111110011222x121122110011001100002200112200222222220000000022111100110011222x110000220022222200112211110022222222002222220000001122220011221x112200220011002200001122220011001122110011112200000022221100221x110000220022222200112211110022222222002222220000001122220011220x112200220011002200001122220011001122110011112200000022221100220x110000220022222200112211110022222222002222220000001122220011222x112200220011002200001122220011001122110011112200000022221100222x100000220022222200112211110022222222002222220000001122220011221x102200220011002200001122220011001122110011112200000022221100221x100000220022222200112211110022222222002222220000001122220011220x102200220011002200001122220011001122110011112200000022221100220x100000220022222200112211110022222222002222220000001122220011222x102200220011002200001122220011001122110011112200000022221100222x120000220022222200112211110022222222002222220000001122220011221x122200220011002200001122220011001122110011112200000022221100221x120000220022222200112211110022222222002222220000001122220011220x122200220011002200001122220011001122110011112200000022221100220x120000220022222200112211110022222222002222220000001122220011222x122200220011002200001122220011001122110011112200000022221100222x110011220022000022112211221122220022111100221122001122220011221x111122000011112200220000110000220011111122112200111122001100111x110011220022000022112211221122220022111100221122001122220011220x111122000011112200220000110000220011111122112200111122001100110x110011220022000022112211221122220022111100221122001122220011222x111122000011112200220000110000220011111122112200111122001100112x100011220022000022112211221122220022111100221122001122220011221x101122000011112200220000110000220011111122112200111122001100111x100011220022000022112211221122220022111100221122001122220011220x101122000011112200220000110000220011111122112200111122001100110x100011220022000022112211221122220022111100221122001122220011222x101122000011112200220000110000220011111122112200111122001100112x120011220022000022112211221122220022111100221122001122220011221x121122000011112200220000110000220011111122112200111122001100111x120011220022000022112211221122220022111100221122001122220011220x121122000011112200220000110000220011111122112200111122001100110x120011220022000022112211221122220022111100221122001122220011222x121122000011112200220000110000220011111122112200111122001100112x112200002200112211222222220011111100222200220022000000112211221x111111110000112200222200221111001100000011110011000011001122001x112200002200112211222222220011111100222200220022000000112211220x111111110000112200222200221111001100000011110011000011001122000x112200002200112211222222220011111100222200220022000000112211222x111111110000112200222200221111001100000011110011000011001122002x102200002200112211222222220011111100222200220022000000112211221x101111110000112200222200221111001100000011110011000011001122001x102200002200112211222222220011111100222200220022000000112211220x101111110000112200222200221111001100000011110011000011001122000x102200002200112211222222220011111100222200220022000000112211222x101111110000112200222200221111001100000011110011000011001122002x122200002200112211222222220011111100222200220022000000112211221x121111110000112200222200221111001100000011110011000011001122001x122200002200112211222222220011111100222200220022000000112211220x121111110000112200222200221111001100000011110011000011001122000x122200002200112211222222220011111100222200220022000000112211222x121111110000112200222200221111001100000011110011000011001122002x110011112211000022111122220022112222222222112211002200220022221x111111221111112222001100001111220022111100112200110000220022001x110011112211000022111122220022112222222222112211002200220022220x111111221111112222001100001111220022111100112200110000220022000x110011112211000022111122220022112222222222112211002200220022222x111111221111112222001100001111220022111100112200110000220022002x100011112211000022111122220022112222222222112211002200220022221x101111221111112222001100001111220022111100112200110000220022001x100011112211000022111122220022112222222222112211002200220022220x101111221111112222001100001111220022111100112200110000220022000x100011112211000022111122220022112222222222112211002200220022222x101111221111112222001100001111220022111100112200110000220022002x120011112211000022111122220022112222222222112211002200220022221x121111221111112222001100001111220022111100112200110000220022001x120011112211000022111122220022112222222222112211002200220022220x121111221111112222001100001111220022111100112200110000220022000x120011112211000022111122220022112222222222112211002200220022222x121111221111112222001100001111220022111100112200110000220022002x112211002211000000002200222222111111112200000000222222220022221x110000110000000011110011221100221122220022002222111100001111001x112211002211000000002200222222111111112200000000222222220022220x110000110000000011110011221100221122220022002222111100001111000x112211002211000000002200222222111111112200000000222222220022222x110000110000000011110011221100221122220022002222111100001111002x102211002211000000002200222222111111112200000000222222220022221x100000110000000011110011221100221122220022002222111100001111001x102211002211000000002200222222111111112200000000222222220022220x100000110000000011110011221100221122220022002222111100001111000x102211002211000000002200222222111111112200000000222222220022222x100000110000000011110011221100221122220022002222111100001111002x122211002211000000002200222222111111112200000000222222220022221x120000110000000011110011221100221122220022002222111100001111001x122211002211000000002200222222111111112200000000222222220022220x120000110000000011110011221100221122220022002222111100001111000x122211002211000000002200222222111111112200000000222222220022222x120000110000000011110011221100221122220022002222111100001111002x112211001111000000221122221122222200221100111122111100001122221x110011110022001122001122111122222222221100110011000022111100111x112211001111000000221122221122222200221100111122111100001122220x110011110022001122001122111122222222221100110011000022111100110x112211001111000000221122221122222200221100111122111100001122222x110011110022001122001122111122222222221100110011000022111100112x102211001111000000221122221122222200221100111122111100001122221x100011110022001122001122111122222222221100110011000022111100111x102211001111000000221122221122222200221100111122111100001122220x100011110022001122001122111122222222221100110011000022111100110x102211001111000000221122221122222200221100111122111100001122222x100011110022001122001122111122222222221100110011000022111100112x122211001111000000221122221122222200221100111122111100001122221x120011110022001122001122111122222222221100110011000022111100111x122211001111000000221122221122222200221100111122111100001122220x120011110022001122001122111122222222221100110011000022111100110x122211001111000000221122221122222200221100111122111100001122222x120011110022001122001122111122222222221100110011000022111100112x111100001111220011111122221111220011000022221100001100111122221x110011221111220000110011110011000000002211002211111111221100111x111100001111220011111122221111220011000022221100001100111122220x110011221111220000110011110011000000002211002211111111221100110x111100001111220011111122221111220011000022221100001100111122222x110011221111220000110011110011000000002211002211111111221100112x101100001111220011111122221111220011000022221100001100111122221x100011221111220000110011110011000000002211002211111111221100111x101100001111220011111122221111220011000022221100001100111122220x100011221111220000110011110011000000002211002211111111221100110x101100001111220011111122221111220011000022221100001100111122222x100011221111220000110011110011000000002211002211111111221100112x121100001111220011111122221111220011000022221100001100111122221x120011221111220000110011110011000000002211002211111111221100111x121100001111220011111122221111220011000022221100001100111122220x120011221111220000110011110011000000002211002211111111221100110x121100001111220011111122221111220011000022221100001100111122222x120011221111220000110011110011000000002211002211111111221100112x112222221111002200111111000000222211001100001111002200221122221x111100222222220011000011112200112211220011221100110011220000001x112222221111002200111111000000222211001100001111002200221122220x111100222222220011000011112200112211220011221100110011220000000x112222221111002200111111000000222211001100001111002200221122222x111100222222220011000011112200112211220011221100110011220000002x102222221111002200111111000000222211001100001111002200221122221x101100222222220011000011112200112211220011221100110011220000001x102222221111002200111111000000222211001100001111002200221122220x101100222222220011000011112200112211220011221100110011220000000x102222221111002200111111000000222211001100001111002200221122222x101100222222220011000011112200112211220011221100110011220000002x122222221111002200111111000000222211001100001111002200221122221x121100222222220011000011112200112211220011221100110011220000001x122222221111002200111111000000222211001100001111002200221122220x121100222222220011000011112200112211220011221100110011220000000x122222221111002200111111000000222211001100001111002200221122222x121100222222220011000011112200112211220011221100110011220000002x112200000011112222111100112222000022220011002222112222112222221x111100220000220000220011002211221100001111001122111100111122111x112200000011112222111100112222000022220011002222112222112222220x111100220000220000220011002211221100001111001122111100111122110x112200000011112222111100112222000022220011002222112222112222222x111100220000220000220011002211221100001111001122111100111122112x102200000011112222111100112222000022220011002222112222112222221x101100220000220000220011002211221100001111001122111100111122111x102200000011112222111100112222000022220011002222112222112222220x101100220000220000220011002211221100001111001122111100111122110x102200000011112222111100112222000022220011002222112222112222222x101100220000220000220011002211221100001111001122111100111122112x122200000011112222111100112222000022220011002222112222112222221x121100220000220000220011002211221100001111001122111100111122111x122200000011112222111100112222000022220011002222112222112222220x121100220000220000220011002211221100001111001122111100111122110x122200000011112222111100112222000022220011002222112222112222222x121100220000220000220011002211221100001111001122111100111122112x1110111380211116211111211111411211159201111022111290111100111222110000111122110000001111002211111111222222001122002200001x1211222222222211000022222222221122221100222200112200000011001x1222110000111122110000001111002211111111222222001122002200000x1211222222222211000022222222221122221100222200112200000011000x1222110000111122110000001111002211111111222222001122002200002x1211222222222211000022222222221122221100222200112200000011002x1111220022221111112222000011111111110000110011111100221122002x1111111111000022221122110000002211111100221111221100110011222x1222110000112222111100000011001111002222111111220011220000111x1200221111222222110011220000221111222200000000001122222211111x1222110000112222111100000011001111002222111111220011220000110x1200221111222222110011220000221111222200000000001122222211110x1222110000112222111100000011001111002222111111220011220000112x1200221111222222110011220000221111222200000000001122222211112x1222220022220000222200002211000022221122220011110011221111111x1222111122110011000022000022002211220022222222000022111122111x1222220022220000222200002211000022221122220011110011221111110x1222111122110011000022000022002211220022222222000022111122110x1222220022220000222200002211000022221122220011110011221111112x1222111122110011000022000022002211220022222222000022111122112x1222001122220000110011221111002200112211002200112222221122111x1211002211002211222222000022000011001122112222110011221122111x1222001122220000110011221111002200112211002200112222221122110x1211002211002211222222000022000011001122112222110011221122110x1222001122220000110011221111002200112211002200112222221122112x1211002211002211222222000022000011001122112222110011221122112x1100001100221111111111222222110011221122220011002222222200220x1122111122002211112211001111220000221111001100112222001122000x1111220022000011112211001100222222222222222200001111111111221x1122110022110000111111221100110000111122110022222211111100221x1111220022000011112211001100222222222222222200001111111111220x1122110022110000111111221100110000111122110022222211111100220x1111220022000011112211001100222222222222222200001111111111222x1122110022110000111111221100110000111122110022222211111100222x112211122111110111400111101111111112121111021115201113222110000111122110000001111002211111111222222001122002200001x1211222222222211000022222222221122221100222200112200000011001x1222110000111122110000001111002211111111222222001122002200000x1211222222222211000022222222221122221100222200112200000011000x1222110000111122110000001111002211111111222222001122002200002x1211222222222211000022222222221122221100222200112200000011002x1222110000112222111100000011001111002222111111220011220000111x1200221111222222110011220000221111222200000000001122222211111x1222110000112222111100000011001111002222111111220011220000110x1200221111222222110011220000221111222200000000001122222211110x1222110000112222111100000011001111002222111111220011220000112x1200221111222222110011220000221111222200000000001122222211112x1222220022220000222200002211000022221122220011110011221111111x1222111122110011000022000022002211220022222222000022111122111x1222220022220000222200002211000022221122220011110011221111110x1222111122110011000022000022002211220022222222000022111122110x1222220022220000222200002211000022221122220011110011221111112x1222111122110011000022000022002211220022222222000022111122112x1222001122220000110011221111002200112211002200112222221122111x1211002211002211222222000022000011001122112222110011221122111x1222001122220000110011221111002200112211002200112222221122110x1211002211002211222222000022000011001122112222110011221122110x1222001122220000110011221111002200112211002200112222221122112x1211002211002211222222000022000011001122112222110011221122112x1111220022000011112211001100222222222222222200001111111111221x1122110022110000111111221100110000111122110022222211111100221x1111220022000011112211001100222222222222222200001111111111220x1122110022110000111111221100110000111122110022222211111100220x1111220022000011112211001100222222222222222200001111111111222x1122110022110000111111221100110000111122110022222211111100222x1122111121111410111001110111111111111211150211120111222110000112222111100000011001111002222111111220011220000111x1200221111222222110011220000221111222200000000001122222211111x1222110000112222111100000011001111002222111111220011220000110x1200221111222222110011220000221111222200000000001122222211110x1222110000112222111100000011001111002222111111220011220000112x1200221111222222110011220000221111222200000000001122222211112x1222220022220000222200002211000022221122220011110011221111111x1222111122110011000022000022002211220022222222000022111122111x1222220022220000222200002211000022221122220011110011221111110x1222111122110011000022000022002211220022222222000022111122110x1222220022220000222200002211000022221122220011110011221111112x1222111122110011000022000022002211220022222222000022111122112x1222001122220000110011221111002200112211002200112222221122111x1211002211002211222222000022000011001122112222110011221122111x1222001122220000110011221111002200112211002200112222221122110x1211002211002211222222000022000011001122112222110011221122110x1222001122220000110011221111002200112211002200112222221122112x1211002211002211222222000022000011001122112222110011221122112x1111220022000011112211001100222222222222222200001111111111221x1122110022110000111111221100110000111122110022222211111100221x1111220022000011112211001100222222222222222200001111111111220x1122110022110000111111221100110000111122110022222211111100220x1111220022000011112211001100222222222222222200001111111111222x1122110022110000111111221100110000111122110022222211111100222x1122111211111011100111201111112111111110211120111222001122220000110011221111002200112211002200112222221122111x1211002211002211222222000022000011001122112222110011221122111x1222001122220000110011221111002200112211002200112222221122110x1211002211002211222222000022000011001122112222110011221122110x1222001122220000110011221111002200112211002200112222221122112x1211002211002211222222000022000011001122112222110011221122112x1111220022000011112211001100222222222222222200001111111111221x1122110022110000111111221100110000111122110022222211111100221x1111220022000011112211001100222222222222222200001111111111220x1122110022110000111111221100110000111122110022222211111100220x1111220022000011112211001100222222222222222200001111111111222x1122110022110000111111221100110000111122110022222211111100222x1122111201110111112111001111011121111111111402111111220022000011112211001100222222222222222200001111111111221x1122110022110000111111221100110000111122110022222211111100221x1111220022000011112211001100222222222222222200001111111111220x1122110022110000111111221100110000111122110022222211111100220x1111220022000011112211001100222222222222222200001111111111222x1122110022110000111111221100110000111122110022222211111100222x111111111211120111021110011101111211111011122111AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (10 real / 0 unknown / 0 assumptions / 10 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe