YES 000001221210010102110220211201x1100210202220012002012020211011x1000012122002201112120100112101x1220102201011010001021100111101x1000100221021002111220022112110x1022002112000222121022020102112x1000112100022201010102212122110x1200021101221201021020122100120x1001000202210020211221212220112x1212022222212120002021020220220x1001211101010221011222001210212x1212211200101222221101221020002x1002010221122202000121101201200x1001122102202001000101122021010x1002021022211112011000121100122x1010002102201221222220012222212x1002101101122121122112201021020x1202110120110222100012111121010x1002111012102020021021110010111x1001022110012001111100201221011x1002121211121002002100110200012x1201121221101000222000211020010x1002122022002002022012012220100x1100100220202200000111000210110x1002201012202211122212021011221x1200100101222200111212212211022x1002202010211121120110010120120x1000011012100011002121200111201x1002210111220100112022202102010x1121000100012221002112021201010x1010002002102112111211210200202x1112012202002101202200122010110x1010010022022120112002112100211x1211210002122100012100110220020x1010201120210021020111100100211x1012120100001210102012202012222x1011100202011102120201102100102x1100101201022220000201010122221x1011112101112101112202222011120x1121102001011221011120202212211x1011221200012121220211001221100x1101112010112200222102100202110x1012001020222221221220011210100x1210020221222201210000202102122x1012012202102101021110102112222x1222202200120220110211201211110x1012220200102212112211221021210x1001022011101211121112120201200x1012221100012010122122010102220x1020100120020122202011202212021x1021021012022012111100000102101x1110022100212202221000210120002x1021201022020001111202212100211x1102221202022110200101220101021x1021201110100111110022111220211x1210101211201112000121220011111x1022100101100102210012112011122x1202002112020011212202001221011x1022112022021201012211000110202x1002102022200010201111110110122x1022202020012022200102222211001x1010220200202022100120021001112x1100001011221010221202211001212x1202111012010102200012102001221x1100001221120222101201101021100x1220220202010122002110222020101x1100111221012110101200200202220x1020210011102120222120021120200x1100210012212202210210000211121x1201201010020022122021210202122x1100210211122011010001122100122x1112221000002211200210122211202x1101020011201101122222201012001x1222101102202200120210002222211x1101200111110221220201222220200x1121000220202110212211021100210x1101201012201222211001021210102x1112100120102011001020211210112x1101212102212200021211222221110x1021112210122020011111012011001x1101221000120022111010212200120x1211101002202200212222100120002x1102012022022201221101222122210x1110100022001001122202211101211x1102110100021001112202110210111x1012122100110121202001202220111x1102122100011101201111220212212x1221202121112122000210210011011x1102210020001222221200222212010x1020220120102120100122102202001x1102221220000020101201211011002x1200222221012102002001101001102x1110011212212120121001211102121x1110011021102111201221101012122x1110021100220010122112021110202x1221010010012001212120021010121x1110100212111002220121200212000x1010111102100201222001012222200x1110121100112021000211100000010x1010201000100222012210102001101x1110212220111021121121021010010x1201000000112122221221012212002x1111001221010211010201121120000x1200211001211011020001002221021x1111200002122000220022111112002x1002021102210100112010111201002x1111210110221220012002200220222x1121120022220212020020010121122x1111221102211211101000100120012x1110112110001100220021010112211x1112010220111211002212002102210x1210002122100012111112010010021x1112021200220112112011100010010x1200222110212110122212002000001x1112022021101100220220011102100x1220210120000200010201201111101x1112112100110222111200121001100x1221111220102222100012201221002x1112202110002122000101110102221x1102012020122211120202020110012x1120100022200211002002102011122x1211222001000010101011010220012x1120201202022101220102220102121x1011002111002210201111202020020x1121001201210022211012121202011x1012220112212010220101221102011x1121011000200102202120010022012x1202021000002212211102210200002x1121210111000110020110102021100x1202002220110122021002012100112x1121222102012102011210100221022x1121210122121010020022212012012x1122000012221201120210222112012x1201012020211211112001200202212x1122001221201122120100121220022x1210112002021101100211100211202x1122022000222021222021220221200x1011100201000112020102102212120x1122101120100222212211011120200x1111111202101120120221200011200x1122212110222001200211110221200x1211211202000101022210111202120x1122212210002020122111022210001x1222121100101211100120022020200x1200001020010020200121121122000x1212100210000021020102120020020x1200012001021111222021001222110x1201102100222212102200111120010x1201012010222201220200210211210x1100012100200012102011210002111x1201101110001112221000210001102x1210012211022002200001010112101x1201102102120210012121211210002x1012121100120001021221122110100x1201112022222221100211122100021x1120000201201221210111210011212x1201210120121222020020001010110x1201022122000002110021010220011x1202021120121210211000021110112x1001122201201111001010202202111x1202111011120220200012010210222x1000100120212220111101120021220x1202121221201011012212021102000x1202221121020102020120212002101x1202222010221210122211111201001x1021022101011200211012112021121x1210021222102002100112101212220x1122100221002210010211120201120x1210100021100212100021110221010x1001101020011210211011102021000x1210111200121001000201120002112x1210101120000222202102001010121x1210120200021222122102122201100x1200010111101002122202001111120x1210221000222022220112102220200x1201220002110121010221002010202x1210221021201120221212120020210x1101021102121110200100202110021x1211111002222222201012110020211x1201112220121100101211100120121x1211202201210010001120000211010x1112010000210201110010201120200x1212100020202201110222212102002x1021010010110001011202202100111x1220202012122222120221120012110x1020200102101120211001022111211x1220222200002111122202000012012x1011001122020221201210110000100x1221001121101202221221200011012x1101120010101222221121021020110x1221021202000101122021122011120x1112011011100102201022100102110x1221101001220010211221110211001x1101211112012000010110100211210x1221202011001012200011102011222x1000210101210212102110010222201x1222122122010220022101122110002x1121101121011001212010200200201x12.1012000100221021002111220022112110x1022002112000222121022020102112x1002010221122202000121101201200x1001122102202001000101122021010x1002021022211112011000121100122x1010002102201221222220012222212x1002111012102020021021110010111x1001022110012001111100201221011x1002202010211121120110010120120x1000011012100011002121200111201x1010201120210021020111100100211x1012120100001210102012202012222x1012220200102212112211221021210x1001022011101211121112120201200x1012221100012010122122010102220x1020100120020122202011202212021x1022112022021201012211000110202x1002102022200010201111110110122x1022202020012022200102222211001x1010220200202022100120021001112x1100210211122011010001122100122x1112221000002211200210122211202x1101200111110221220201222220200x1121000220202110212211021100210x1101201012201222211001021210102x1112100120102011001020211210112x1102012022022201221101222122210x1110100022001001122202211101211x1110011212212120121001211102121x1110011021102111201221101012122x1111210110221220012002200220222x1121120022220212020020010121122x1111221102211211101000100120012x1110112110001100220021010112211x1112202110002122000101110102221x1102012020122211120202020110012x1121222102012102011210100221022x1121210122121010020022212012012x1122101120100222212211011120200x1111111202101120120221200011200x1200001020010020200121121122000x1212100210000021020102120020020x1200012001021111222021001222110x1201102100222212102200111120010x1201101110001112221000210001102x1210012211022002200001010112101x1201210120121222020020001010110x1201022122000002110021010220011x1202121221201011012212021102000x1202221121020102020120212002101x1210111200121001000201120002112x1210101120000222202102001010121x1210120200021222122102122201100x1200010111101002122202001111120x1210221000222022220112102220200x1201220002110121010221002010202x1211111002222222201012110020211x1201112220121100101211100120121x10000001221210010102110220211201x10100210202220012002012020211011x11000001221210010102110220211201x11100210202220012002012020211011x12000001221210010102110220211201x12100210202220012002012020211011x10000012122002201112120100112101x10220102201011010001021100111101x11000012122002201112120100112101x11220102201011010001021100111101x12000012122002201112120100112101x12220102201011010001021100111101x10000112100022201010102212122110x10200021101221201021020122100120x11000112100022201010102212122110x11200021101221201021020122100120x12000112100022201010102212122110x12200021101221201021020122100120x10001000202210020211221212220112x10212022222212120002021020220220x11001000202210020211221212220112x11212022222212120002021020220220x12001000202210020211221212220112x12212022222212120002021020220220x10001211101010221011222001210212x10212211200101222221101221020002x11001211101010221011222001210212x11212211200101222221101221020002x12001211101010221011222001210212x12212211200101222221101221020002x10002101101122121122112201021020x10202110120110222100012111121010x11002101101122121122112201021020x11202110120110222100012111121010x12002101101122121122112201021020x12202110120110222100012111121010x10002121211121002002100110200012x10201121221101000222000211020010x11002121211121002002100110200012x11201121221101000222000211020010x12002121211121002002100110200012x12201121221101000222000211020010x10002122022002002022012012220100x10100100220202200000111000210110x11002122022002002022012012220100x11100100220202200000111000210110x12002122022002002022012012220100x12100100220202200000111000210110x10002201012202211122212021011221x10200100101222200111212212211022x11002201012202211122212021011221x11200100101222200111212212211022x12002201012202211122212021011221x12200100101222200111212212211022x10002210111220100112022202102010x10121000100012221002112021201010x11002210111220100112022202102010x11121000100012221002112021201010x12002210111220100112022202102010x12121000100012221002112021201010x10010002002102112111211210200202x10112012202002101202200122010110x11010002002102112111211210200202x11112012202002101202200122010110x12010002002102112111211210200202x12112012202002101202200122010110x10010010022022120112002112100211x10211210002122100012100110220020x11010010022022120112002112100211x11211210002122100012100110220020x12010010022022120112002112100211x12211210002122100012100110220020x10011100202011102120201102100102x10100101201022220000201010122221x11011100202011102120201102100102x11100101201022220000201010122221x12011100202011102120201102100102x12100101201022220000201010122221x10011112101112101112202222011120x10121102001011221011120202212211x11011112101112101112202222011120x11121102001011221011120202212211x12011112101112101112202222011120x12121102001011221011120202212211x10011221200012121220211001221100x10101112010112200222102100202110x11011221200012121220211001221100x11101112010112200222102100202110x12011221200012121220211001221100x12101112010112200222102100202110x10012001020222221221220011210100x10210020221222201210000202102122x11012001020222221221220011210100x11210020221222201210000202102122x12012001020222221221220011210100x12210020221222201210000202102122x10012012202102101021110102112222x10222202200120220110211201211110x11012012202102101021110102112222x11222202200120220110211201211110x12012012202102101021110102112222x12222202200120220110211201211110x10021021012022012111100000102101x10110022100212202221000210120002x11021021012022012111100000102101x11110022100212202221000210120002x12021021012022012111100000102101x12110022100212202221000210120002x10021201022020001111202212100211x10102221202022110200101220101021x11021201022020001111202212100211x11102221202022110200101220101021x12021201022020001111202212100211x12102221202022110200101220101021x10021201110100111110022111220211x10210101211201112000121220011111x11021201110100111110022111220211x11210101211201112000121220011111x12021201110100111110022111220211x12210101211201112000121220011111x10022100101100102210012112011122x10202002112020011212202001221011x11022100101100102210012112011122x11202002112020011212202001221011x12022100101100102210012112011122x12202002112020011212202001221011x10100001011221010221202211001212x10202111012010102200012102001221x11100001011221010221202211001212x11202111012010102200012102001221x12100001011221010221202211001212x12202111012010102200012102001221x10100001221120222101201101021100x10220220202010122002110222020101x11100001221120222101201101021100x11220220202010122002110222020101x12100001221120222101201101021100x12220220202010122002110222020101x10100111221012110101200200202220x10020210011102120222120021120200x11100111221012110101200200202220x11020210011102120222120021120200x12100111221012110101200200202220x12020210011102120222120021120200x10100210012212202210210000211121x10201201010020022122021210202122x11100210012212202210210000211121x11201201010020022122021210202122x12100210012212202210210000211121x12201201010020022122021210202122x10101020011201101122222201012001x10222101102202200120210002222211x11101020011201101122222201012001x11222101102202200120210002222211x12101020011201101122222201012001x12222101102202200120210002222211x10101212102212200021211222221110x10021112210122020011111012011001x11101212102212200021211222221110x11021112210122020011111012011001x12101212102212200021211222221110x12021112210122020011111012011001x10101221000120022111010212200120x10211101002202200212222100120002x11101221000120022111010212200120x11211101002202200212222100120002x12101221000120022111010212200120x12211101002202200212222100120002x10102110100021001112202110210111x10012122100110121202001202220111x11102110100021001112202110210111x11012122100110121202001202220111x12102110100021001112202110210111x12012122100110121202001202220111x10102122100011101201111220212212x10221202121112122000210210011011x11102122100011101201111220212212x11221202121112122000210210011011x12102122100011101201111220212212x12221202121112122000210210011011x10102210020001222221200222212010x10020220120102120100122102202001x11102210020001222221200222212010x11020220120102120100122102202001x12102210020001222221200222212010x12020220120102120100122102202001x10102221220000020101201211011002x10200222221012102002001101001102x11102221220000020101201211011002x11200222221012102002001101001102x12102221220000020101201211011002x12200222221012102002001101001102x10110021100220010122112021110202x10221010010012001212120021010121x11110021100220010122112021110202x11221010010012001212120021010121x12110021100220010122112021110202x12221010010012001212120021010121x10110100212111002220121200212000x10010111102100201222001012222200x11110100212111002220121200212000x11010111102100201222001012222200x12110100212111002220121200212000x12010111102100201222001012222200x10110121100112021000211100000010x10010201000100222012210102001101x11110121100112021000211100000010x11010201000100222012210102001101x12110121100112021000211100000010x12010201000100222012210102001101x10110212220111021121121021010010x10201000000112122221221012212002x11110212220111021121121021010010x11201000000112122221221012212002x12110212220111021121121021010010x12201000000112122221221012212002x10111001221010211010201121120000x10200211001211011020001002221021x11111001221010211010201121120000x11200211001211011020001002221021x12111001221010211010201121120000x12200211001211011020001002221021x10111200002122000220022111112002x10002021102210100112010111201002x11111200002122000220022111112002x11002021102210100112010111201002x12111200002122000220022111112002x12002021102210100112010111201002x10112010220111211002212002102210x10210002122100012111112010010021x11112010220111211002212002102210x11210002122100012111112010010021x12112010220111211002212002102210x12210002122100012111112010010021x10112021200220112112011100010010x10200222110212110122212002000001x11112021200220112112011100010010x11200222110212110122212002000001x12112021200220112112011100010010x12200222110212110122212002000001x10112022021101100220220011102100x10220210120000200010201201111101x11112022021101100220220011102100x11220210120000200010201201111101x12112022021101100220220011102100x12220210120000200010201201111101x10112112100110222111200121001100x10221111220102222100012201221002x11112112100110222111200121001100x11221111220102222100012201221002x12112112100110222111200121001100x12221111220102222100012201221002x10120100022200211002002102011122x10211222001000010101011010220012x11120100022200211002002102011122x11211222001000010101011010220012x12120100022200211002002102011122x12211222001000010101011010220012x10120201202022101220102220102121x10011002111002210201111202020020x11120201202022101220102220102121x11011002111002210201111202020020x12120201202022101220102220102121x12011002111002210201111202020020x10121001201210022211012121202011x10012220112212010220101221102011x11121001201210022211012121202011x11012220112212010220101221102011x12121001201210022211012121202011x12012220112212010220101221102011x10121011000200102202120010022012x10202021000002212211102210200002x11121011000200102202120010022012x11202021000002212211102210200002x12121011000200102202120010022012x12202021000002212211102210200002x10121210111000110020110102021100x10202002220110122021002012100112x11121210111000110020110102021100x11202002220110122021002012100112x12121210111000110020110102021100x12202002220110122021002012100112x10122000012221201120210222112012x10201012020211211112001200202212x11122000012221201120210222112012x11201012020211211112001200202212x12122000012221201120210222112012x12201012020211211112001200202212x10122001221201122120100121220022x10210112002021101100211100211202x11122001221201122120100121220022x11210112002021101100211100211202x12122001221201122120100121220022x12210112002021101100211100211202x10122022000222021222021220221200x10011100201000112020102102212120x11122022000222021222021220221200x11011100201000112020102102212120x12122022000222021222021220221200x12011100201000112020102102212120x10122212110222001200211110221200x10211211202000101022210111202120x11122212110222001200211110221200x11211211202000101022210111202120x12122212110222001200211110221200x12211211202000101022210111202120x10122212210002020122111022210001x10222121100101211100120022020200x11122212210002020122111022210001x11222121100101211100120022020200x12122212210002020122111022210001x12222121100101211100120022020200x10201012010222201220200210211210x10100012100200012102011210002111x11201012010222201220200210211210x11100012100200012102011210002111x12201012010222201220200210211210x12100012100200012102011210002111x10201102102120210012121211210002x10012121100120001021221122110100x11201102102120210012121211210002x11012121100120001021221122110100x12201102102120210012121211210002x12012121100120001021221122110100x10201112022222221100211122100021x10120000201201221210111210011212x11201112022222221100211122100021x11120000201201221210111210011212x12201112022222221100211122100021x12120000201201221210111210011212x10202021120121210211000021110112x10001122201201111001010202202111x11202021120121210211000021110112x11001122201201111001010202202111x12202021120121210211000021110112x12001122201201111001010202202111x10202111011120220200012010210222x10000100120212220111101120021220x11202111011120220200012010210222x11000100120212220111101120021220x12202111011120220200012010210222x12000100120212220111101120021220x10202222010221210122211111201001x10021022101011200211012112021121x11202222010221210122211111201001x11021022101011200211012112021121x12202222010221210122211111201001x12021022101011200211012112021121x10210021222102002100112101212220x10122100221002210010211120201120x11210021222102002100112101212220x11122100221002210010211120201120x12210021222102002100112101212220x12122100221002210010211120201120x10210100021100212100021110221010x10001101020011210211011102021000x11210100021100212100021110221010x11001101020011210211011102021000x12210100021100212100021110221010x12001101020011210211011102021000x10210221021201120221212120020210x10101021102121110200100202110021x11210221021201120221212120020210x11101021102121110200100202110021x12210221021201120221212120020210x12101021102121110200100202110021x10211202201210010001120000211010x10112010000210201110010201120200x11211202201210010001120000211010x11112010000210201110010201120200x12211202201210010001120000211010x12112010000210201110010201120200x10212100020202201110222212102002x10021010010110001011202202100111x11212100020202201110222212102002x11021010010110001011202202100111x12212100020202201110222212102002x12021010010110001011202202100111x10220202012122222120221120012110x10020200102101120211001022111211x11220202012122222120221120012110x11020200102101120211001022111211x12220202012122222120221120012110x12020200102101120211001022111211x10220222200002111122202000012012x10011001122020221201210110000100x11220222200002111122202000012012x11011001122020221201210110000100x12220222200002111122202000012012x12011001122020221201210110000100x10221001121101202221221200011012x10101120010101222221121021020110x11221001121101202221221200011012x11101120010101222221121021020110x12221001121101202221221200011012x12101120010101222221121021020110x10221021202000101122021122011120x10112011011100102201022100102110x11221021202000101122021122011120x11112011011100102201022100102110x12221021202000101122021122011120x12112011011100102201022100102110x10221101001220010211221110211001x10101211112012000010110100211210x11221101001220010211221110211001x11101211112012000010110100211210x12221101001220010211221110211001x12101211112012000010110100211210x10221202011001012200011102011222x10000210101210212102110010222201x11221202011001012200011102011222x11000210101210212102110010222201x12221202011001012200011102011222x12000210101210212102110010222201x10222122122010220022101122110002x10121101121011001212010200200201x11222122122010220022101122110002x11121101121011001212010200200201x12222122122010220022101122110002x12121101121011001212010200200201x1000001100002222110022110000221111112222000022221111221111000x1022220000221111220000002222221122110022220022001100221111220x1000001100002222110022110000221111112222000022221111221111001x1022220000221111220000002222221122110022220022001100221111221x1000001100002222110022110000221111112222000022221111221111002x1022220000221111220000002222221122110022220022001100221111222x1000220011002222111122222200220000001122111100112200112200000x1000111122221100222200220000110000001100111122220022110011000x1000220011002222111122222200220000001122111100112200112200001x1000111122221100222200220000110000001100111122220022110011001x1000220011002222111122222200220000001122111100112200112200002x1000111122221100222200220000110000001100111122220022110011002x1000220022110022222211111111220011110000001122111100001122220x1011000000221100222200112222112222222222000011222222222211220x1000220022110022222211111111220011110000001122111100001122221x1011000000221100222200112222112222222222000011222222222211221x1000220022110022222211111111220011110000001122111100001122222x1011000000221100222200112222112222222222000011222222222211222x1000221111110011221100220022000022110022111111000011001111110x1000110022221111000011220000111111111100002200112222110011110x1000221111110011221100220022000022110022111111000011001111111x1000110022221111000011220000111111111100002200112222110011111x1000221111110011221100220022000022110022111111000011001111112x1000110022221111000011220000111111111100002200112222110011112x1000222200220011002211111122111122001111000011001122001122000x1000000011110011221100000011110000221122112200001111112200110x1000222200220011002211111122111122001111000011001122001122001x1000000011110011221100000011110000221122112200001111112200111x1000222200220011002211111122111122001111000011001122001122002x1000000011110011221100000011110000221122112200001111112200112x1011002200111122002211000022110022001111111100001100002211110x1011221122001100000000112211001100220011222200220011222222220x1011002200111122002211000022110022001111111100001100002211111x1011221122001100000000112211001100220011222200220011222222221x1011002200111122002211000022110022001111111100001100002211112x1011221122001100000000112211001100220011222200220011222222222x1011222222002200001100222211221111222211112222110022112211000x1000110022220011111100112211111122111111221122002200112200000x1011222222002200001100222211221111222211112222110022112211001x1000110022220011111100112211111122111111221122002200112200001x1011222222002200001100222211221111222211112222110022112211002x1000110022220011111100112211111122111111221122002200112200002x1011222222111100000011220011001122221122220011001100222222000x1022001100001122000022001122222200220011112200222211220022110x1011222222111100000011220011001122221122220011001100222222001x1022001100001122000022001122222200220011112200222211220022111x1011222222111100000011220011001122221122220011001100222222002x1022001100001122000022001122222200220011112200222211220022112x1022221111220022220022112200110011222211110000001111002200220x1000221100220022222200000011002200111111111111001111001122220x1022221111220022220022112200110011222211110000001111002200221x1000221100220022222200000011002200111111111111001111001122221x1022221111220022220022112200110011222211110000001111002200222x1000221100220022222200000011002200111111111111001111001122222x1022222200220022000011220022222200001100222222222211110000110x1011002222002200002200220022221100001122000022110000111111220x1022222200220022000011220022222200001100222222222211110000111x1011002222002200002200220022221100001122000022110000111111221x1022222200220022000011220022222200001100222222222211110000112x1011002222002200002200220022221100001122000022110000111111222x1100002211002211111122220011110011000000111122221100001122220x1111222222110000000000222211112200002211001122222211112200220x1100002211002211111122220011110011000000111122221100001122221x1111222222110000000000222211112200002211001122222211112200221x1100002211002211111122220011110011000000111122221100001122222x1111222222110000000000222211112200002211001122222211112200222x1100112200001111111111002222112222002200112222222222002200000x1122110000002222002200221111002211222211110022111100002211000x1100112200001111111111002222112222002200112222222222002200001x1122110000002222002200221111002211222211110022111100002211001x1100112200001111111111002222112222002200112222222222002200002x1122110000002222002200221111002211222211110022111100002211002x1100112200110011222200112222222211110000110022112211001100220x1111221100001122001100220011110000110022002211112211001111220x1100112200110011222200112222222211110000110022112211001100221x1111221100001122001100220011110000110022002211112211001111221x1100112200110011222200112222222211110000110022112211001100222x1111221100001122001100220011110000110022002211112211001111222x1100220011220022220022222200112222111100112222221122222211000x1111001100000022220000110000111122222200222211111100112211110x1100220011220022220022222200112222111100112222221122222211001x1111001100000022220000110000111122222200222211111100112211111x1100220011220022220022222200112222111100112222221122222211002x1111001100000022220000110000111122222200222211111100112211112x1111000011112211222211221122001122110000112211111100221122110x1111000011110022111100221111112200112222111100110011221122220x1111000011112211222211221122001122110000112211111100221122111x1111000011110022111100221111112200112222111100110011221122221x1111000011112211222211221122001122110000112211111100221122112x1111000011110022111100221111112200112222111100110011221122222x1111112211001111002222112222000011220000222200002222002222220x1122111122000022222222002211220022000022000011001122111122220x1111112211001111002222112222000011220000222200002222002222221x1122111122000022222222002211220022000022000011001122111122221x1111112211001111002222112222000011220000222200002222002222222x1122111122000022222222002211220022000022000011001122111122222x1111112222111100222211112211111100110000001100001122000011220x1111001111221111000000111100002222000022110011001111222211110x1111112222111100222211112211111100110000001100001122000011221x1111001111221111000000111100002222000022110011001111222211111x1111112222111100222211112211111100110000001100001122000011222x1111001111221111000000111100002222000022110011001111222211112x1111222200221111000000221122220000001100111111001100222222110x1100220011220022001122222211111122002200220022001111000011220x1111222200221111000000221122220000001100111111001100222222111x1100220011220022001122222211111122002200220022001111000011221x1111222200221111000000221122220000001100111111001100222222112x1100220011220022001122222211111122002200220022001111000011222x1122112222221100220011221100220011112211001100002222110022220x1122112211001122221122110011000022000022222211220011220011220x1122112222221100220011221100220011112211001100002222110022221x1122112211001122221122110011000022000022222211220011220011221x1122112222221100220011221100220011112211001100002222110022222x1122112211001122221122110011000022000022222211220011220011222x1122221100111122001100002222222211222211110011111122002200000x1111111111112200221100111122001122002222112200000011112200000x1122221100111122001100002222222211222211110011111122002200001x1111111111112200221100111122001122002222112200000011112200001x1122221100111122001100002222222211222211110011111122002200002x1111111111112200221100111122001122002222112200000011112200002x1200000000110022000011000022002200001122111122111122220000000x1211221100002211000000000022110022001100221122000022000022000x1200000000110022000011000022002200001122111122111122220000001x1211221100002211000000000022110022001100221122000022000022001x1200000000110022000011000022002200001122111122111122220000002x1211221100002211000000000022110022001100221122000022000022002x1200000011220000110022111111112222220022110000112222221111000x1200111100221100002222222211221100222200001111111122000011000x1200000011220000110022111111112222220022110000112222221111001x1200111100221100002222222211221100222200001111111122000011001x1200000011220000110022111111112222220022110000112222221111002x1200111100221100002222222211221100222200001111111122000011002x1200111100111111000000111111222222110000002211000000111100220x1211000011222211110022220000222200000000110011001111221100110x1200111100111111000000111111222222110000002211000000111100221x1211000011222211110022220000222200000000110011001111221100111x1200111100111111000000111111222222110000002211000000111100222x1211000011222211110022220000222200000000110011001111221100112x1200112211001122001122112222220022000022000000110011001111000x1200110022221122220000000000221111000022110011002222000011110x1200112211001122001122112222220022000022000000110011001111001x1200110022221122220000000000221111000022110011002222000011111x1200112211001122001122112222220022000022000000110011001111002x1200110022221122220000000000221111000022110011002222000011112x1200221122112222112200110011110011222211220022111100220000000x1200222222111122110022001100220022001122002211220000221100110x1200221122112222112200110011110011222211220022111100220000001x1200222222111122110022001100220022001122002211220000221100111x1200221122112222112200110011110011222211220022111100220000002x1200222222111122110022001100220022001122002211220000221100112x1211001111112200001122110000110000002200111122000000221111220x1211001100111122000000002222222200221100220000110011001122110x1211001111112200001122110000110000002200111122000000221111221x1211001100111122000000002222222200221100220000110011001122111x1211001111112200001122110000110000002200111122000000221111222x1211001100111122000000002222222200221100220000110011001122112x1211001122002200000022112222221122221100221122222200111100000x1200000011001111111100110000221122222200220000111111111122000x1211001122002200000022112222221122221100221122222200111100001x1200000011001111111100110000221122222200220000111111111122001x1211001122002200000022112222221122221100221122222200111100002x1200000011001111111100110000221122222200220000111111111122002x1211002222110000002222220022222222001111221100222222002200000x1200112222000000221111001122110011002222110000220011002200220x1211002222110000002222220022222222001111221100222222002200001x1200112222000000221111001122110011002222110000220011002200221x1211002222110000002222220022222222001111221100222222002200002x1200112222000000221111001122110011002222110000220011002200222x1211111111110000222222222222222200110011221111000022002211110x1200111111222222001122111100001100112211111100001122001122110x1211111111110000222222222222222200110011221111000022002211111x1200111111222222001122111100001100112211111100001122001122111x1211111111110000222222222222222200110011221111000022002211112x1200111111222222001122111100001100112211111100001122001122112x100000000000112222112211000011001100221111002222002211112200110x101100002211002200222222000011220000220011220022002211110011110x100000000000112222112211000011001100221111002222002211112200111x101100002211002200222222000011220000220011220022002211110011111x100000000000112222112211000011001100221111002222002211112200112x101100002211002200222222000011220000220011220022002211110011112x110000000000112222112211000011001100221111002222002211112200110x111100002211002200222222000011220000220011220022002211110011110x110000000000112222112211000011001100221111002222002211112200111x111100002211002200222222000011220000220011220022002211110011111x110000000000112222112211000011001100221111002222002211112200112x111100002211002200222222000011220000220011220022002211110011112x120000000000112222112211000011001100221111002222002211112200110x121100002211002200222222000011220000220011220022002211110011110x120000000000112222112211000011001100221111002222002211112200111x121100002211002200222222000011220000220011220022002211110011111x120000000000112222112211000011001100221111002222002211112200112x121100002211002200222222000011220000220011220022002211110011112x100000000011221122220000222200111111221122001100001111221100110x102222001100222200110011110011000000110022111100001111111100110x100000000011221122220000222200111111221122001100001111221100111x102222001100222200110011110011000000110022111100001111111100111x100000000011221122220000222200111111221122001100001111221100112x102222001100222200110011110011000000110022111100001111111100112x110000000011221122220000222200111111221122001100001111221100110x112222001100222200110011110011000000110022111100001111111100110x110000000011221122220000222200111111221122001100001111221100111x112222001100222200110011110011000000110022111100001111111100111x110000000011221122220000222200111111221122001100001111221100112x112222001100222200110011110011000000110022111100001111111100112x120000000011221122220000222200111111221122001100001111221100110x122222001100222200110011110011000000110022111100001111111100110x120000000011221122220000222200111111221122001100001111221100111x122222001100222200110011110011000000110022111100001111111100111x120000000011221122220000222200111111221122001100001111221100112x122222001100222200110011110011000000110022111100001111111100112x100000001111221100000022222200110011001100222211221122221111000x102200000022111100112222112200110022110022001122221100001122000x100000001111221100000022222200110011001100222211221122221111001x102200000022111100112222112200110022110022001122221100001122001x100000001111221100000022222200110011001100222211221122221111002x102200000022111100112222112200110022110022001122221100001122002x110000001111221100000022222200110011001100222211221122221111000x112200000022111100112222112200110022110022001122221100001122000x110000001111221100000022222200110011001100222211221122221111001x112200000022111100112222112200110022110022001122221100001122001x110000001111221100000022222200110011001100222211221122221111002x112200000022111100112222112200110022110022001122221100001122002x120000001111221100000022222200110011001100222211221122221111000x122200000022111100112222112200110022110022001122221100001122000x120000001111221100000022222200110011001100222211221122221111001x122200000022111100112222112200110022110022001122221100001122001x120000001111221100000022222200110011001100222211221122221111002x122200000022111100112222112200110022110022001122221100001122002x100000110000002200222211000022002211112222112211222222001111220x102211220022222222222211221122000000220022110022002222002222000x100000110000002200222211000022002211112222112211222222001111221x102211220022222222222211221122000000220022110022002222002222001x100000110000002200222211000022002211112222112211222222001111222x102211220022222222222211221122000000220022110022002222002222002x110000110000002200222211000022002211112222112211222222001111220x112211220022222222222211221122000000220022110022002222002222000x110000110000002200222211000022002211112222112211222222001111221x112211220022222222222211221122000000220022110022002222002222001x110000110000002200222211000022002211112222112211222222001111222x112211220022222222222211221122000000220022110022002222002222002x120000110000002200222211000022002211112222112211222222001111220x122211220022222222222211221122000000220022110022002222002222000x120000110000002200222211000022002211112222112211222222001111221x122211220022222222222211221122000000220022110022002222002222001x120000110000002200222211000022002211112222112211222222001111222x122211220022222222222211221122000000220022110022002222002222002x100000112211111100110011002222110011112222220000112211002211220x102211222211112200001100112222222222111100112222110022000000220x100000112211111100110011002222110011112222220000112211002211221x102211222211112200001100112222222222111100112222110022000000221x100000112211111100110011002222110011112222220000112211002211222x102211222211112200001100112222222222111100112222110022000000222x110000112211111100110011002222110011112222220000112211002211220x112211222211112200001100112222222222111100112222110022000000220x110000112211111100110011002222110011112222220000112211002211221x112211222211112200001100112222222222111100112222110022000000221x110000112211111100110011002222110011112222220000112211002211222x112211222211112200001100112222222222111100112222110022000000222x120000112211111100110011002222110011112222220000112211002211220x122211222211112200001100112222222222111100112222110022000000220x120000112211111100110011002222110011112222220000112211002211221x122211222211112200001100112222222222111100112222110022000000221x120000112211111100110011002222110011112222220000112211002211222x122211222211112200001100112222222222111100112222110022000000222x100000221100111100111122221122111122221111222200110022110022000x102200221111001122001111002222221100000011221111111122110011000x100000221100111100111122221122111122221111222200110022110022001x102200221111001122001111002222221100000011221111111122110011001x100000221100111100111122221122111122221111222200110022110022002x102200221111001122001111002222221100000011221111111122110011002x110000221100111100111122221122111122221111222200110022110022000x112200221111001122001111002222221100000011221111111122110011000x110000221100111100111122221122111122221111222200110022110022001x112200221111001122001111002222221100000011221111111122110011001x110000221100111100111122221122111122221111222200110022110022002x112200221111001122001111002222221100000011221111111122110011002x120000221100111100111122221122111122221111222200110022110022000x122200221111001122001111002222221100000011221111111122110011000x120000221100111100111122221122111122221111222200110022110022001x122200221111001122001111002222221100000011221111111122110011001x120000221100111100111122221122111122221111222200110022110022002x122200221111001122001111002222221100000011221111111122110011002x100000221122112211111122110000220000221100001111002200000011220x102200111122112222111100110000002222220000002211110022000011000x100000221122112211111122110000220000221100001111002200000011221x102200111122112222111100110000002222220000002211110022000011001x100000221122112211111122110000220000221100001111002200000011222x102200111122112222111100110000002222220000002211110022000011002x110000221122112211111122110000220000221100001111002200000011220x112200111122112222111100110000002222220000002211110022000011000x110000221122112211111122110000220000221100001111002200000011221x112200111122112222111100110000002222220000002211110022000011001x110000221122112211111122110000220000221100001111002200000011222x112200111122112222111100110000002222220000002211110022000011002x120000221122112211111122110000220000221100001111002200000011220x122200111122112222111100110000002222220000002211110022000011000x120000221122112211111122110000220000221100001111002200000011221x122200111122112222111100110000002222220000002211110022000011001x120000221122112211111122110000220000221100001111002200000011222x122200111122112222111100110000002222220000002211110022000011002x100000221122220022220000220000220022220011220011222222001100000x101100001100002222002200222200000000001111110000002211001111000x100000221122220022220000220000220022220011220011222222001100001x101100001100002222002200222200000000001111110000002211001111001x100000221122220022220000220000220022220011220011222222001100002x101100001100002222002200222200000000001111110000002211001111002x110000221122220022220000220000220022220011220011222222001100000x111100001100002222002200222200000000001111110000002211001111000x110000221122220022220000220000220022220011220011222222001100001x111100001100002222002200222200000000001111110000002211001111001x110000221122220022220000220000220022220011220011222222001100002x111100001100002222002200222200000000001111110000002211001111002x120000221122220022220000220000220022220011220011222222001100000x121100001100002222002200222200000000001111110000002211001111000x120000221122220022220000220000220022220011220011222222001100001x121100001100002222002200222200000000001111110000002211001111001x120000221122220022220000220000220022220011220011222222001100002x121100001100002222002200222200000000001111110000002211001111002x100000222200110011222200222211111122222211220022110011112222110x102200001100001100112222222200001111112211222211222211110022220x100000222200110011222200222211111122222211220022110011112222111x102200001100001100112222222200001111112211222211222211110022221x100000222200110011222200222211111122222211220022110011112222112x102200001100001100112222222200001111112211222211222211110022222x110000222200110011222200222211111122222211220022110011112222110x112200001100001100112222222200001111112211222211222211110022220x110000222200110011222200222211111122222211220022110011112222111x112200001100001100112222222200001111112211222211222211110022221x110000222200110011222200222211111122222211220022110011112222112x112200001100001100112222222200001111112211222211222211110022222x120000222200110011222200222211111122222211220022110011112222110x122200001100001100112222222200001111112211222211222211110022220x120000222200110011222200222211111122222211220022110011112222111x122200001100001100112222222200001111112211222211222211110022221x120000222200110011222200222211111122222211220022110011112222112x122200001100001100112222222200001111112211222211222211110022222x100000222211001111112222001100001111220022222200221100220011000x101122110000001100000011222222110000221111220022112200110011000x100000222211001111112222001100001111220022222200221100220011001x101122110000001100000011222222110000221111220022112200110011001x100000222211001111112222001100001111220022222200221100220011002x101122110000001100000011222222110000221111220022112200110011002x110000222211001111112222001100001111220022222200221100220011000x111122110000001100000011222222110000221111220022112200110011000x110000222211001111112222001100001111220022222200221100220011001x111122110000001100000011222222110000221111220022112200110011001x110000222211001111112222001100001111220022222200221100220011002x111122110000001100000011222222110000221111220022112200110011002x120000222211001111112222001100001111220022222200221100220011000x121122110000001100000011222222110000221111220022112200110011000x120000222211001111112222001100001111220022222200221100220011001x121122110000001100000011222222110000221111220022112200110011001x120000222211001111112222001100001111220022222200221100220011002x121122110000001100000011222222110000221111220022112200110011002x100011000000220000221100221111221111112211112211002200002200220x101111220011222200220000221100112200222200001122220011001111000x100011000000220000221100221111221111112211112211002200002200221x101111220011222200220000221100112200222200001122220011001111001x100011000000220000221100221111221111112211112211002200002200222x101111220011222200220000221100112200222200001122220011001111002x110011000000220000221100221111221111112211112211002200002200220x111111220011222200220000221100112200222200001122220011001111000x110011000000220000221100221111221111112211112211002200002200221x111111220011222200220000221100112200222200001122220011001111001x110011000000220000221100221111221111112211112211002200002200222x111111220011222200220000221100112200222200001122220011001111002x120011000000220000221100221111221111112211112211002200002200220x121111220011222200220000221100112200222200001122220011001111000x120011000000220000221100221111221111112211112211002200002200221x121111220011222200220000221100112200222200001122220011001111001x120011000000220000221100221111221111112211112211002200002200222x121111220011222200220000221100112200222200001122220011001111002x100011000011000022220022221122001111220000221111221100002211110x102211112211000000221122221100000011221100001111002222000022000x100011000011000022220022221122001111220000221111221100002211111x102211112211000000221122221100000011221100001111002222000022001x100011000011000022220022221122001111220000221111221100002211112x102211112211000000221122221100000011221100001111002222000022002x110011000011000022220022221122001111220000221111221100002211110x112211112211000000221122221100000011221100001111002222000022000x110011000011000022220022221122001111220000221111221100002211111x112211112211000000221122221100000011221100001111002222000022001x110011000011000022220022221122001111220000221111221100002211112x112211112211000000221122221100000011221100001111002222000022002x120011000011000022220022221122001111220000221111221100002211110x122211112211000000221122221100000011221100001111002222000022000x120011000011000022220022221122001111220000221111221100002211111x122211112211000000221122221100000011221100001111002222000022001x120011000011000022220022221122001111220000221111221100002211112x122211112211000000221122221100000011221100001111002222000022002x100011111100002200220011111100221122002200111100221100001100220x101100001100112200110022222222000000002200110011001122222222110x100011111100002200220011111100221122002200111100221100001100221x101100001100112200110022222222000000002200110011001122222222111x100011111100002200220011111100221122002200111100221100001100222x101100001100112200110022222222000000002200110011001122222222112x110011111100002200220011111100221122002200111100221100001100220x111100001100112200110022222222000000002200110011001122222222110x110011111100002200220011111100221122002200111100221100001100221x111100001100112200110022222222000000002200110011001122222222111x110011111100002200220011111100221122002200111100221100001100222x111100001100112200110022222222000000002200110011001122222222112x120011111100002200220011111100221122002200111100221100001100220x121100001100112200110022222222000000002200110011001122222222110x120011111100002200220011111100221122002200111100221100001100221x121100001100112200110022222222000000002200110011001122222222111x120011111100002200220011111100221122002200111100221100001100222x121100001100112200110022222222000000002200110011001122222222112x100011111111221100111111221100111111222200222222220011111122000x101122111100220000110011112222110011111122002200222211222211110x100011111111221100111111221100111111222200222222220011111122001x101122111100220000110011112222110011111122002200222211222211111x100011111111221100111111221100111111222200222222220011111122002x101122111100220000110011112222110011111122002200222211222211112x110011111111221100111111221100111111222200222222220011111122000x111122111100220000110011112222110011111122002200222211222211110x110011111111221100111111221100111111222200222222220011111122001x111122111100220000110011112222110011111122002200222211222211111x110011111111221100111111221100111111222200222222220011111122002x111122111100220000110011112222110011111122002200222211222211112x120011111111221100111111221100111111222200222222220011111122000x121122111100220000110011112222110011111122002200222211222211110x120011111111221100111111221100111111222200222222220011111122001x121122111100220000110011112222110011111122002200222211222211111x120011111111221100111111221100111111222200222222220011111122002x121122111100220000110011112222110011111122002200222211222211112x100011112222112200000011221122112222002211110000112222111100000x101100111111220011001111222200002222221100221100002200221111000x100011112222112200000011221122112222002211110000112222111100001x101100111111220011001111222200002222221100221100002200221111001x100011112222112200000011221122112222002211110000112222111100002x101100111111220011001111222200002222221100221100002200221111002x110011112222112200000011221122112222002211110000112222111100000x111100111111220011001111222200002222221100221100002200221111000x110011112222112200000011221122112222002211110000112222111100001x111100111111220011001111222200002222221100221100002200221111001x110011112222112200000011221122112222002211110000112222111100002x111100111111220011001111222200002222221100221100002200221111002x120011112222112200000011221122112222002211110000112222111100000x121100111111220011001111222200002222221100221100002200221111000x120011112222112200000011221122112222002211110000112222111100001x121100111111220011001111222200002222221100221100002200221111001x120011112222112200000011221122112222002211110000112222111100002x121100111111220011001111222200002222221100221100002200221111002x100011220000110022002222222222112222112222000011112211001100000x102211000022002222112222222200112211000000002200221100221122220x100011220000110022002222222222112222112222000011112211001100001x102211000022002222112222222200112211000000002200221100221122221x100011220000110022002222222222112222112222000011112211001100002x102211000022002222112222222200112211000000002200221100221122222x110011220000110022002222222222112222112222000011112211001100000x112211000022002222112222222200112211000000002200221100221122220x110011220000110022002222222222112222112222000011112211001100001x112211000022002222112222222200112211000000002200221100221122221x110011220000110022002222222222112222112222000011112211001100002x112211000022002222112222222200112211000000002200221100221122222x120011220000110022002222222222112222112222000011112211001100000x122211000022002222112222222200112211000000002200221100221122220x120011220000110022002222222222112222112222000011112211001100001x122211000022002222112222222200112211000000002200221100221122221x120011220000110022002222222222112222112222000011112211001100002x122211000022002222112222222200112211000000002200221100221122222x100011220011222200221100221100110022111111001100221111222222220x102222222200222200001122002222001111002211112200112211111111000x100011220011222200221100221100110022111111001100221111222222221x102222222200222200001122002222001111002211112200112211111111001x100011220011222200221100221100110022111111001100221111222222222x102222222200222200001122002222001111002211112200112211111111002x110011220011222200221100221100110022111111001100221111222222220x112222222200222200001122002222001111002211112200112211111111000x110011220011222200221100221100110022111111001100221111222222221x112222222200222200001122002222001111002211112200112211111111001x110011220011222200221100221100110022111111001100221111222222222x112222222200222200001122002222001111002211112200112211111111002x120011220011222200221100221100110022111111001100221111222222220x122222222200222200001122002222001111002211112200112211111111000x120011220011222200221100221100110022111111001100221111222222221x122222222200222200001122002222001111002211112200112211111111001x120011220011222200221100221100110022111111001100221111222222222x122222222200222200001122002222001111002211112200112211111111002x100022110022110011220022220011221111111100000000001100221100110x101111000022221100002211222200222222110000002211001122000000220x100022110022110011220022220011221111111100000000001100221100111x101111000022221100002211222200222222110000002211001122000000221x100022110022110011220022220011221111111100000000001100221100112x101111000022221100002211222200222222110000002211001122000000222x110022110022110011220022220011221111111100000000001100221100110x111111000022221100002211222200222222110000002211001122000000220x110022110022110011220022220011221111111100000000001100221100111x111111000022221100002211222200222222110000002211001122000000221x110022110022110011220022220011221111111100000000001100221100112x111111000022221100002211222200222222110000002211001122000000222x120022110022110011220022220011221111111100000000001100221100110x121111000022221100002211222200222222110000002211001122000000220x120022110022110011220022220011221111111100000000001100221100111x121111000022221100002211222200222222110000002211001122000000221x120022110022110011220022220011221111111100000000001100221100112x121111000022221100002211222200222222110000002211001122000000222x100022112200110022220022000000111111112200222211221100002211110x101100222222112200220022221111002200001100112222001100110022110x100022112200110022220022000000111111112200222211221100002211111x101100222222112200220022221111002200001100112222001100110022111x100022112200110022220022000000111111112200222211221100002211112x101100222222112200220022221111002200001100112222001100110022112x110022112200110022220022000000111111112200222211221100002211110x111100222222112200220022221111002200001100112222001100110022110x110022112200110022220022000000111111112200222211221100002211111x111100222222112200220022221111002200001100112222001100110022111x110022112200110022220022000000111111112200222211221100002211112x111100222222112200220022221111002200001100112222001100110022112x120022112200110022220022000000111111112200222211221100002211110x121100222222112200220022221111002200001100112222001100110022110x120022112200110022220022000000111111112200222211221100002211111x121100222222112200220022221111002200001100112222001100110022111x120022112200110022220022000000111111112200222211221100002211112x121100222222112200220022221111002200001100112222001100110022112x100022112200111111001100001111111111000022221111112222002211110x102211001100112211112200111111220000001122112222000011111111110x100022112200111111001100001111111111000022221111112222002211111x102211001100112211112200111111220000001122112222000011111111111x100022112200111111001100001111111111000022221111112222002211112x102211001100112211112200111111220000001122112222000011111111112x110022112200111111001100001111111111000022221111112222002211110x112211001100112211112200111111220000001122112222000011111111110x110022112200111111001100001111111111000022221111112222002211111x112211001100112211112200111111220000001122112222000011111111111x110022112200111111001100001111111111000022221111112222002211112x112211001100112211112200111111220000001122112222000011111111112x120022112200111111001100001111111111000022221111112222002211110x122211001100112211112200111111220000001122112222000011111111110x120022112200111111001100001111111111000022221111112222002211111x122211001100112211112200111111220000001122112222000011111111111x120022112200111111001100001111111111000022221111112222002211112x122211001100112211112200111111220000001122112222000011111111112x100022221100001100111100001100222211000011221111220011111122220x102200220000221111220022000011112211222200220000112222110011110x100022221100001100111100001100222211000011221111220011111122221x102200220000221111220022000011112211222200220000112222110011111x100022221100001100111100001100222211000011221111220011111122222x102200220000221111220022000011112211222200220000112222110011112x110022221100001100111100001100222211000011221111220011111122220x112200220000221111220022000011112211222200220000112222110011110x110022221100001100111100001100222211000011221111220011111122221x112200220000221111220022000011112211222200220000112222110011111x110022221100001100111100001100222211000011221111220011111122222x112200220000221111220022000011112211222200220000112222110011112x120022221100001100111100001100222211000011221111220011111122220x122200220000221111220022000011112211222200220000112222110011110x120022221100001100111100001100222211000011221111220011111122221x122200220000221111220022000011112211222200220000112222110011111x120022221100001100111100001100222211000011221111220011111122222x122200220000221111220022000011112211222200220000112222110011112x101100000000110011112222110011002222112200222211110000112211220x102200221111110011220011001100222200000011221100220000112222110x101100000000110011112222110011002222112200222211110000112211221x102200221111110011220011001100222200000011221100220000112222111x101100000000110011112222110011002222112200222211110000112211222x102200221111110011220011001100222200000011221100220000112222112x111100000000110011112222110011002222112200222211110000112211220x112200221111110011220011001100222200000011221100220000112222110x111100000000110011112222110011002222112200222211110000112211221x112200221111110011220011001100222200000011221100220000112222111x111100000000110011112222110011002222112200222211110000112211222x112200221111110011220011001100222200000011221100220000112222112x121100000000110011112222110011002222112200222211110000112211220x122200221111110011220011001100222200000011221100220000112222110x121100000000110011112222110011002222112200222211110000112211221x122200221111110011220011001100222200000011221100220000112222111x121100000000110011112222110011002222112200222211110000112211222x122200221111110011220011001100222200000011221100220000112222112x101100000000112222111122002222221100112200111100110022111100000x102222002222002200220011001122220000221111002222220022001100110x101100000000112222111122002222221100112200111100110022111100001x102222002222002200220011001122220000221111002222220022001100111x101100000000112222111122002222221100112200111100110022111100002x102222002222002200220011001122220000221111002222220022001100112x111100000000112222111122002222221100112200111100110022111100000x112222002222002200220011001122220000221111002222220022001100110x111100000000112222111122002222221100112200111100110022111100001x112222002222002200220011001122220000221111002222220022001100111x111100000000112222111122002222221100112200111100110022111100002x112222002222002200220011001122220000221111002222220022001100112x121100000000112222111122002222221100112200111100110022111100000x122222002222002200220011001122220000221111002222220022001100110x121100000000112222111122002222221100112200111100110022111100001x122222002222002200220011001122220000221111002222220022001100111x121100000000112222111122002222221100112200111100110022111100002x122222002222002200220011001122220000221111002222220022001100112x101100001111112222110011221111001100112200002200002200222222000x100022002211000011111100221122002222221122000022111122002200000x101100001111112222110011221111001100112200002200002200222222001x100022002211000011111100221122002222221122000022111122002200001x101100001111112222110011221111001100112200002200002200222222002x100022002211000011111100221122002222221122000022111122002200002x111100001111112222110011221111001100112200002200002200222222000x110022002211000011111100221122002222221122000022111122002200000x111100001111112222110011221111001100112200002200002200222222001x110022002211000011111100221122002222221122000022111122002200001x111100001111112222110011221111001100112200002200002200222222002x110022002211000011111100221122002222221122000022111122002200002x121100001111112222110011221111001100112200002200002200222222000x120022002211000011111100221122002222221122000022111122002200000x121100001111112222110011221111001100112200002200002200222222001x120022002211000011111100221122002222221122000022111122002200001x121100001111112222110011221111001100112200002200002200222222002x120022002211000011111100221122002222221122000022111122002200002x101100002211000011222211222200222211002211000000002211111122110x102200112200110011000022000022221122220022112211002200221122220x101100002211000011222211222200222211002211000000002211111122111x102200112200110011000022000022221122220022112211002200221122221x101100002211000011222211222200222211002211000000002211111122112x102200112200110011000022000022221122220022112211002200221122222x111100002211000011222211222200222211002211000000002211111122110x112200112200110011000022000022221122220022112211002200221122220x111100002211000011222211222200222211002211000000002211111122111x112200112200110011000022000022221122220022112211002200221122221x111100002211000011222211222200222211002211000000002211111122112x112200112200110011000022000022221122220022112211002200221122222x121100002211000011222211222200222211002211000000002211111122110x122200112200110011000022000022221122220022112211002200221122220x121100002211000011222211222200222211002211000000002211111122111x122200112200110011000022000022221122220022112211002200221122221x121100002211000011222211222200222211002211000000002211111122112x122200112200110011000022000022221122220022112211002200221122222x101100110022000011112200111100111122222222222200110011220000110x102222221100111100222200222200001122002211000000222222222211110x101100110022000011112200111100111122222222222200110011220000111x102222221100111100222200222200001122002211000000222222222211111x101100110022000011112200111100111122222222222200110011220000112x102222221100111100222200222200001122002211000000222222222211112x111100110022000011112200111100111122222222222200110011220000110x112222221100111100222200222200001122002211000000222222222211110x111100110022000011112200111100111122222222222200110011220000111x112222221100111100222200222200001122002211000000222222222211111x111100110022000011112200111100111122222222222200110011220000112x112222221100111100222200222200001122002211000000222222222211112x121100110022000011112200111100111122222222222200110011220000110x122222221100111100222200222200001122002211000000222222222211110x121100110022000011112200111100111122222222222200110011220000111x122222221100111100222200222200001122002211000000222222222211111x121100110022000011112200111100111122222222222200110011220000112x122222221100111100222200222200001122002211000000222222222211112x101100112211221100222211222200000022112211112222222222111111000x100022111111222211001122220022000011111111110011220011110000110x101100112211221100222211222200000022112211112222222222111111001x100022111111222211001122220022000011111111110011220011110000111x101100112211221100222211222200000022112211112222222222111111002x100022111111222211001122220022000011111111110011220011110000112x111100112211221100222211222200000022112211112222222222111111000x110022111111222211001122220022000011111111110011220011110000110x111100112211221100222211222200000022112211112222222222111111001x110022111111222211001122220022000011111111110011220011110000111x111100112211221100222211222200000022112211112222222222111111002x110022111111222211001122220022000011111111110011220011110000112x121100112211221100222211222200000022112211112222222222111111000x120022111111222211001122220022000011111111110011220011110000110x121100112211221100222211222200000022112211112222222222111111001x120022111111222211001122220022000011111111110011220011110000111x121100112211221100222211222200000022112211112222222222111111002x120022111111222211001122220022000011111111110011220011110000112x101100112222110000001122000022221111110011002211222200001122000x102211111100110000222200222200002211222222221100001122000000220x101100112222110000001122000022221111110011002211222200001122001x102211111100110000222200222200002211222222221100001122000000221x101100112222110000001122000022221111110011002211222200001122002x102211111100110000222200222200002211222222221100001122000000222x111100112222110000001122000022221111110011002211222200001122000x112211111100110000222200222200002211222222221100001122000000220x111100112222110000001122000022221111110011002211222200001122001x112211111100110000222200222200002211222222221100001122000000221x111100112222110000001122000022221111110011002211222200001122002x112211111100110000222200222200002211222222221100001122000000222x121100112222110000001122000022221111110011002211222200001122000x122211111100110000222200222200002211222222221100001122000000220x121100112222110000001122000022221111110011002211222200001122001x122211111100110000222200222200002211222222221100001122000000221x121100112222110000001122000022221111110011002211222200001122002x122211111100110000222200222200002211222222221100001122000000222x101100221111001100000022110000111111222200221111002211001111110x100011221122221100001111001122112200220000112200222222001111110x101100221111001100000022110000111111222200221111002211001111111x100011221122221100001111001122112200220000112200222222001111111x101100221111001100000022110000111111222200221111002211001111112x100011221122221100001111001122112200220000112200222222001111112x111100221111001100000022110000111111222200221111002211001111110x110011221122221100001111001122112200220000112200222222001111110x111100221111001100000022110000111111222200221111002211001111111x110011221122221100001111001122112200220000112200222222001111111x111100221111001100000022110000111111222200221111002211001111112x110011221122221100001111001122112200220000112200222222001111112x121100221111001100000022110000111111222200221111002211001111110x120011221122221100001111001122112200220000112200222222001111110x121100221111001100000022110000111111222200221111002211001111111x120011221122221100001111001122112200220000112200222222001111111x121100221111001100000022110000111111222200221111002211001111112x120011221122221100001111001122112200220000112200222222001111112x101100221122221100000011111100112200111111112222002211222211220x102222112200221122111111221122220000002211002211000011110011110x101100221122221100000011111100112200111111112222002211222211221x102222112200221122111111221122220000002211002211000011110011111x101100221122221100000011111100112200111111112222002211222211222x102222112200221122111111221122220000002211002211000011110011112x111100221122221100000011111100112200111111112222002211222211220x112222112200221122111111221122220000002211002211000011110011110x111100221122221100000011111100112200111111112222002211222211221x112222112200221122111111221122220000002211002211000011110011111x111100221122221100000011111100112200111111112222002211222211222x112222112200221122111111221122220000002211002211000011110011112x121100221122221100000011111100112200111111112222002211222211220x122222112200221122111111221122220000002211002211000011110011110x121100221122221100000011111100112200111111112222002211222211221x122222112200221122111111221122220000002211002211000011110011111x121100221122221100000011111100112200111111112222002211222211222x122222112200221122111111221122220000002211002211000011110011112x101100222211000022000000112222222222112200002222222211220011000x100022002222001122001100221122001100001122221100222200220000110x101100222211000022000000112222222222112200002222222211220011001x100022002222001122001100221122001100001122221100222200220000111x101100222211000022000000112222222222112200002222222211220011002x100022002222001122001100221122001100001122221100222200220000112x111100222211000022000000112222222222112200002222222211220011000x110022002222001122001100221122001100001122221100222200220000110x111100222211000022000000112222222222112200002222222211220011001x110022002222001122001100221122001100001122221100222200220000111x111100222211000022000000112222222222112200002222222211220011002x110022002222001122001100221122001100001122221100222200220000112x121100222211000022000000112222222222112200002222222211220011000x120022002222001122001100221122001100001122221100222200220000110x121100222211000022000000112222222222112200002222222211220011001x120022002222001122001100221122001100001122221100222200220000111x121100222211000022000000112222222222112200002222222211220011002x120022002222001122001100221122001100001122221100222200220000112x101100222222112222000000000022001100112200112211110011110000220x102200002222222222110011221100220000220000111100110000111100220x101100222222112222000000000022001100112200112211110011110000221x102200002222222222110011221100220000220000111100110000111100221x101100222222112222000000000022001100112200112211110011110000222x102200002222222222110011221100220000220000111100110000111100222x111100222222112222000000000022001100112200112211110011110000220x112200002222222222110011221100220000220000111100110000111100220x111100222222112222000000000022001100112200112211110011110000221x112200002222222222110011221100220000220000111100110000111100221x111100222222112222000000000022001100112200112211110011110000222x112200002222222222110011221100220000220000111100110000111100222x121100222222112222000000000022001100112200112211110011110000220x122200002222222222110011221100220000220000111100110000111100220x121100222222112222000000000022001100112200112211110011110000221x122200002222222222110011221100220000220000111100110000111100221x121100222222112222000000000022001100112200112211110011110000222x122200002222222222110011221100220000220000111100110000111100222x101111000022111100002222000011001122221111220022111111002200220x102222110011000011000011220000112211221122000022110011001122110x101111000022111100002222000011001122221111220022111111002200221x102222110011000011000011220000112211221122000022110011001122111x101111000022111100002222000011001122221111220022111111002200222x102222110011000011000011220000112211221122000022110011001122112x111111000022111100002222000011001122221111220022111111002200220x112222110011000011000011220000112211221122000022110011001122110x111111000022111100002222000011001122221111220022111111002200221x112222110011000011000011220000112211221122000022110011001122111x111111000022111100002222000011001122221111220022111111002200222x112222110011000011000011220000112211221122000022110011001122112x121111000022111100002222000011001122221111220022111111002200220x122222110011000011000011220000112211221122000022110011001122110x121111000022111100002222000011001122221111220022111111002200221x122222110011000011000011220000112211221122000022110011001122111x121111000022111100002222000011001122221111220022111111002200222x122222110011000011000011220000112211221122000022110011001122112x101111001100002211221111110000222222001122112200002211220000000x100011001111111100221100002200112222220000110011222222222200000x101111001100002211221111110000222222001122112200002211220000001x100011001111111100221100002200112222220000110011222222222200001x101111001100002211221111110000222222001122112200002211220000002x100011001111111100221100002200112222220000110011222222222200002x111111001100002211221111110000222222001122112200002211220000000x110011001111111100221100002200112222220000110011222222222200000x111111001100002211221111110000222222001122112200002211220000001x110011001111111100221100002200112222220000110011222222222200001x111111001100002211221111110000222222001122112200002211220000002x110011001111111100221100002200112222220000110011222222222200002x121111001100002211221111110000222222001122112200002211220000000x120011001111111100221100002200112222220000110011222222222200000x121111001100002211221111110000222222001122112200002211220000001x120011001111111100221100002200112222220000110011222222222200001x121111001100002211221111110000222222001122112200002211220000002x120011001111111100221100002200112222220000110011222222222200002x101111001122111100001111220022110000002211111100000000000011000x100011002200110000001100002222220011222211001100220000111100110x101111001122111100001111220022110000002211111100000000000011001x100011002200110000001100002222220011222211001100220000111100111x101111001122111100001111220022110000002211111100000000000011002x100011002200110000001100002222220011222211001100220000111100112x111111001122111100001111220022110000002211111100000000000011000x110011002200110000001100002222220011222211001100220000111100110x111111001122111100001111220022110000002211111100000000000011001x110011002200110000001100002222220011222211001100220000111100111x111111001122111100001111220022110000002211111100000000000011002x110011002200110000001100002222220011222211001100220000111100112x121111001122111100001111220022110000002211111100000000000011000x120011002200110000001100002222220011222211001100220000111100110x121111001122111100001111220022110000002211111100000000000011001x120011002200110000001100002222220011222211001100220000111100111x121111001122111100001111220022110000002211111100000000000011002x120011002200110000001100002222220011222211001100220000111100112x101111002211222222001111110022111122111122110022110011000011000x102200110000000000001111221122222222112222110011222211220000220x101111002211222222001111110022111122111122110022110011000011001x102200110000000000001111221122222222112222110011222211220000221x101111002211222222001111110022111122111122110022110011000011002x102200110000000000001111221122222222112222110011222211220000222x111111002211222222001111110022111122111122110022110011000011000x112200110000000000001111221122222222112222110011222211220000220x111111002211222222001111110022111122111122110022110011000011001x112200110000000000001111221122222222112222110011222211220000221x111111002211222222001111110022111122111122110022110011000011002x112200110000000000001111221122222222112222110011222211220000222x121111002211222222001111110022111122111122110022110011000011000x122200110000000000001111221122222222112222110011222211220000220x121111002211222222001111110022111122111122110022110011000011001x122200110000000000001111221122222222112222110011222211220000221x121111002211222222001111110022111122111122110022110011000011002x122200110000000000001111221122222222112222110011222211220000222x101111110000112222110011002211110011002200111122111122000000000x102200002211110000112211110011110022000000110000222222110022110x101111110000112222110011002211110011002200111122111122000000001x102200002211110000112211110011110022000000110000222222110022111x101111110000112222110011002211110011002200111122111122000000002x102200002211110000112211110011110022000000110000222222110022112x111111110000112222110011002211110011002200111122111122000000000x112200002211110000112211110011110022000000110000222222110022110x111111110000112222110011002211110011002200111122111122000000001x112200002211110000112211110011110022000000110000222222110022111x111111110000112222110011002211110011002200111122111122000000002x112200002211110000112211110011110022000000110000222222110022112x121111110000112222110011002211110011002200111122111122000000000x122200002211110000112211110011110022000000110000222222110022110x121111110000112222110011002211110011002200111122111122000000001x122200002211110000112211110011110022000000110000222222110022111x121111110000112222110011002211110011002200111122111122000000002x122200002211110000112211110011110022000000110000222222110022112x101111112200000000221122220000002222000022221111111111220000220x100000220022111100222211001100001111220011001111112200110000220x101111112200000000221122220000002222000022221111111111220000221x100000220022111100222211001100001111220011001111112200110000221x101111112200000000221122220000002222000022221111111111220000222x100000220022111100222211001100001111220011001111112200110000222x111111112200000000221122220000002222000022221111111111220000220x110000220022111100222211001100001111220011001111112200110000220x111111112200000000221122220000002222000022221111111111220000221x110000220022111100222211001100001111220011001111112200110000221x111111112200000000221122220000002222000022221111111111220000222x110000220022111100222211001100001111220011001111112200110000222x121111112200000000221122220000002222000022221111111111220000220x120000220022111100222211001100001111220011001111112200110000220x121111112200000000221122220000002222000022221111111111220000221x120000220022111100222211001100001111220011001111112200110000221x121111112200000000221122220000002222000022221111111111220000222x120000220022111100222211001100001111220011001111112200110000222x101111220011002222001111112211110000222211220000221100222211000x102211000000221122221100000011221111111111220011000011000022110x101111220011002222001111112211110000222211220000221100222211001x102211000000221122221100000011221111111111220011000011000022111x101111220011002222001111112211110000222211220000221100222211002x102211000000221122221100000011221111111111220011000011000022112x111111220011002222001111112211110000222211220000221100222211000x112211000000221122221100000011221111111111220011000011000022110x111111220011002222001111112211110000222211220000221100222211001x112211000000221122221100000011221111111111220011000011000022111x111111220011002222001111112211110000222211220000221100222211002x112211000000221122221100000011221111111111220011000011000022112x121111220011002222001111112211110000222211220000221100222211000x122211000000221122221100000011221111111111220011000011000022110x121111220011002222001111112211110000222211220000221100222211001x122211000000221122221100000011221111111111220011000011000022111x121111220011002222001111112211110000222211220000221100222211002x122211000000221122221100000011221111111111220011000011000022112x101111220022112200002222001111221111220011111100000011000011000x102200002222221111002211221111001122222211220000220000000000110x101111220022112200002222001111221111220011111100000011000011001x102200002222221111002211221111001122222211220000220000000000111x101111220022112200002222001111221111220011111100000011000011002x102200002222221111002211221111001122222211220000220000000000112x111111220022112200002222001111221111220011111100000011000011000x112200002222221111002211221111001122222211220000220000000000110x111111220022112200002222001111221111220011111100000011000011001x112200002222221111002211221111001122222211220000220000000000111x111111220022112200002222001111221111220011111100000011000011002x112200002222221111002211221111001122222211220000220000000000112x121111220022112200002222001111221111220011111100000011000011000x122200002222221111002211221111001122222211220000220000000000110x121111220022112200002222001111221111220011111100000011000011001x122200002222221111002211221111001122222211220000220000000000111x121111220022112200002222001111221111220011111100000011000011002x122200002222221111002211221111001122222211220000220000000000112x101111220022220022111100111100002222002222000011111100221100000x102222002211001122000000002200000011002200112200111111111100110x101111220022220022111100111100002222002222000011111100221100001x102222002211001122000000002200000011002200112200111111111100111x101111220022220022111100111100002222002222000011111100221100002x102222002211001122000000002200000011002200112200111111111100112x111111220022220022111100111100002222002222000011111100221100000x112222002211001122000000002200000011002200112200111111111100110x111111220022220022111100111100002222002222000011111100221100001x112222002211001122000000002200000011002200112200111111111100111x111111220022220022111100111100002222002222000011111100221100002x112222002211001122000000002200000011002200112200111111111100112x121111220022220022111100111100002222002222000011111100221100000x122222002211001122000000002200000011002200112200111111111100110x121111220022220022111100111100002222002222000011111100221100001x122222002211001122000000002200000011002200112200111111111100111x121111220022220022111100111100002222002222000011111100221100002x122222002211001122000000002200000011002200112200111111111100112x101111221111221100001111002222221111112200001122110000111100000x102222111111112222001100222222221100000011222200112222110000220x101111221111221100001111002222221111112200001122110000111100001x102222111111112222001100222222221100000011222200112222110000221x101111221111221100001111002222221111112200001122110000111100002x102222111111112222001100222222221100000011222200112222110000222x111111221111221100001111002222221111112200001122110000111100000x112222111111112222001100222222221100000011222200112222110000220x111111221111221100001111002222221111112200001122110000111100001x112222111111112222001100222222221100000011222200112222110000221x111111221111221100001111002222221111112200001122110000111100002x112222111111112222001100222222221100000011222200112222110000222x121111221111221100001111002222221111112200001122110000111100000x122222111111112222001100222222221100000011222200112222110000220x121111221111221100001111002222221111112200001122110000111100001x122222111111112222001100222222221100000011222200112222110000221x121111221111221100001111002222221111112200001122110000111100002x122222111111112222001100222222221100000011222200112222110000222x101122001100000022222200002211110000220000221100220011111122220x102211112222220000110000000011001100110011110011002222000011220x101122001100000022222200002211110000220000221100220011111122221x102211112222220000110000000011001100110011110011002222000011221x101122001100000022222200002211110000220000221100220011111122222x102211112222220000110000000011001100110011110011002222000011222x111122001100000022222200002211110000220000221100220011111122220x112211112222220000110000000011001100110011110011002222000011220x111122001100000022222200002211110000220000221100220011111122221x112211112222220000110000000011001100110011110011002222000011221x111122001100000022222200002211110000220000221100220011111122222x112211112222220000110000000011001100110011110011002222000011222x121122001100000022222200002211110000220000221100220011111122220x122211112222220000110000000011001100110011110011002222000011220x121122001100000022222200002211110000220000221100220011111122221x122211112222220000110000000011001100110011110011002222000011221x121122001100000022222200002211110000220000221100220011111122222x122211112222220000110000000011001100110011110011002222000011222x101122002200112200220022221100112222001100222222001100221122110x100011110000221111110000222211002200111111112200220022000022000x101122002200112200220022221100112222001100222222001100221122111x100011110000221111110000222211002200111111112200220022000022001x101122002200112200220022221100112222001100222222001100221122112x100011110000221111110000222211002200111111112200220022000022002x111122002200112200220022221100112222001100222222001100221122110x110011110000221111110000222211002200111111112200220022000022000x111122002200112200220022221100112222001100222222001100221122111x110011110000221111110000222211002200111111112200220022000022001x111122002200112200220022221100112222001100222222001100221122112x110011110000221111110000222211002200111111112200220022000022002x121122002200112200220022221100112222001100222222001100221122110x120011110000221111110000222211002200111111112200220022000022000x121122002200112200220022221100112222001100222222001100221122111x120011110000221111110000222211002200111111112200220022000022001x121122002200112200220022221100112222001100222222001100221122112x120011110000221111110000222211002200111111112200220022000022002x101122110000112200112211000022222211110011221122112200220011110x100011222222001111222211220011002222001100112222111100220011110x101122110000112200112211000022222211110011221122112200220011111x100011222222001111222211220011002222001100112222111100220011111x101122110000112200112211000022222211110011221122112200220011112x100011222222001111222211220011002222001100112222111100220011112x111122110000112200112211000022222211110011221122112200220011110x110011222222001111222211220011002222001100112222111100220011110x111122110000112200112211000022222211110011221122112200220011111x110011222222001111222211220011002222001100112222111100220011111x111122110000112200112211000022222211110011221122112200220011112x110011222222001111222211220011002222001100112222111100220011112x121122110000112200112211000022222211110011221122112200220011110x120011222222001111222211220011002222001100112222111100220011110x121122110000112200112211000022222211110011221122112200220011111x120011222222001111222211220011002222001100112222111100220011111x121122110000112200112211000022222211110011221122112200220011112x120011222222001111222211220011002222001100112222111100220011112x101122110011110000002200001100222200221122000011000022220011220x102200220022110000000000222211222211111100222211002200000000220x101122110011110000002200001100222200221122000011000022220011221x102200220022110000000000222211222211111100222211002200000000221x101122110011110000002200001100222200221122000011000022220011222x102200220022110000000000222211222211111100222211002200000000222x111122110011110000002200001100222200221122000011000022220011220x112200220022110000000000222211222211111100222211002200000000220x111122110011110000002200001100222200221122000011000022220011221x112200220022110000000000222211222211111100222211002200000000221x111122110011110000002200001100222200221122000011000022220011222x112200220022110000000000222211222211111100222211002200000000222x121122110011110000002200001100222200221122000011000022220011220x122200220022110000000000222211222211111100222211002200000000220x121122110011110000002200001100222200221122000011000022220011221x122200220022110000000000222211222211111100222211002200000000221x121122110011110000002200001100222200221122000011000022220011222x122200220022110000000000222211222211111100222211002200000000222x101122112211001111110000001111000022001111001100220022111100000x102200220000222222001111001122220022110000220011221100001111220x101122112211001111110000001111000022001111001100220022111100001x102200220000222222001111001122220022110000220011221100001111221x101122112211001111110000001111000022001111001100220022111100002x102200220000222222001111001122220022110000220011221100001111222x111122112211001111110000001111000022001111001100220022111100000x112200220000222222001111001122220022110000220011221100001111220x111122112211001111110000001111000022001111001100220022111100001x112200220000222222001111001122220022110000220011221100001111221x111122112211001111110000001111000022001111001100220022111100002x112200220000222222001111001122220022110000220011221100001111222x121122112211001111110000001111000022001111001100220022111100000x122200220000222222001111001122220022110000220011221100001111220x121122112211001111110000001111000022001111001100220022111100001x122200220000222222001111001122220022110000220011221100001111221x121122112211001111110000001111000022001111001100220022111100002x122200220000222222001111001122220022110000220011221100001111222x101122220000000011222222112200111122002211002222221111220011220x102200110011220022002211112211111111220000112200002200222211220x101122220000000011222222112200111122002211002222221111220011221x102200110011220022002211112211111111220000112200002200222211221x101122220000000011222222112200111122002211002222221111220011222x102200110011220022002211112211111111220000112200002200222211222x111122220000000011222222112200111122002211002222221111220011220x112200110011220022002211112211111111220000112200002200222211220x111122220000000011222222112200111122002211002222221111220011221x112200110011220022002211112211111111220000112200002200222211221x111122220000000011222222112200111122002211002222221111220011222x112200110011220022002211112211111111220000112200002200222211222x121122220000000011222222112200111122002211002222221111220011220x122200110011220022002211112211111111220000112200002200222211220x121122220000000011222222112200111122002211002222221111220011221x122200110011220022002211112211111111220000112200002200222211221x121122220000000011222222112200111122002211002222221111220011222x122200110011220022002211112211111111220000112200002200222211222x101122220000112222112200111122221122001100001122112222000022220x102211001111220000220022111100111100002211111100002211112200220x101122220000112222112200111122221122001100001122112222000022221x102211001111220000220022111100111100002211111100002211112200221x101122220000112222112200111122221122001100001122112222000022222x102211001111220000220022111100111100002211111100002211112200222x111122220000112222112200111122221122001100001122112222000022220x112211001111220000220022111100111100002211111100002211112200220x111122220000112222112200111122221122001100001122112222000022221x112211001111220000220022111100111100002211111100002211112200221x111122220000112222112200111122221122001100001122112222000022222x112211001111220000220022111100111100002211111100002211112200222x121122220000112222112200111122221122001100001122112222000022220x122211001111220000220022111100111100002211111100002211112200220x121122220000112222112200111122221122001100001122112222000022221x122211001111220000220022111100111100002211111100002211112200221x121122220000112222112200111122221122001100001122112222000022222x122211001111220000220022111100111100002211111100002211112200222x101122220022220000002222220022112222220022112222002222112200000x100011111100002200110000001111220022001100221100222211221122000x101122220022220000002222220022112222220022112222002222112200001x100011111100002200110000001111220022001100221100222211221122001x101122220022220000002222220022112222220022112222002222112200002x100011111100002200110000001111220022001100221100222211221122002x111122220022220000002222220022112222220022112222002222112200000x110011111100002200110000001111220022001100221100222211221122000x111122220022220000002222220022112222220022112222002222112200001x110011111100002200110000001111220022001100221100222211221122001x111122220022220000002222220022112222220022112222002222112200002x110011111100002200110000001111220022001100221100222211221122002x121122220022220000002222220022112222220022112222002222112200000x120011111100002200110000001111220022001100221100222211221122000x121122220022220000002222220022112222220022112222002222112200001x120011111100002200110000001111220022001100221100222211221122001x121122220022220000002222220022112222220022112222002222112200002x120011111100002200110000001111220022001100221100222211221122002x101122222211221111002222220000112200002211111111002222112200000x102211112211112200220000001100110022222211001111112200221122000x101122222211221111002222220000112200002211111111002222112200001x102211112211112200220000001100110022222211001111112200221122001x101122222211221111002222220000112200002211111111002222112200002x102211112211112200220000001100110022222211001111112200221122002x111122222211221111002222220000112200002211111111002222112200000x112211112211112200220000001100110022222211001111112200221122000x111122222211221111002222220000112200002211111111002222112200001x112211112211112200220000001100110022222211001111112200221122001x111122222211221111002222220000112200002211111111002222112200002x112211112211112200220000001100110022222211001111112200221122002x121122222211221111002222220000112200002211111111002222112200000x122211112211112200220000001100110022222211001111112200221122000x121122222211221111002222220000112200002211111111002222112200001x122211112211112200220000001100110022222211001111112200221122001x121122222211221111002222220000112200002211111111002222112200002x122211112211112200220000001100110022222211001111112200221122002x101122222211222211000000220022001122221111110022222211000000110x102222221122111100001100112211111100001122000022220022002200000x101122222211222211000000220022001122221111110022222211000000111x102222221122111100001100112211111100001122000022220022002200001x101122222211222211000000220022001122221111110022222211000000112x102222221122111100001100112211111100001122000022220022002200002x111122222211222211000000220022001122221111110022222211000000110x112222221122111100001100112211111100001122000022220022002200000x111122222211222211000000220022001122221111110022222211000000111x112222221122111100001100112211111100001122000022220022002200001x111122222211222211000000220022001122221111110022222211000000112x112222221122111100001100112211111100001122000022220022002200002x121122222211222211000000220022001122221111110022222211000000110x122222221122111100001100112211111100001122000022220022002200000x121122222211222211000000220022001122221111110022222211000000111x122222221122111100001100112211111100001122000022220022002200001x121122222211222211000000220022001122221111110022222211000000112x122222221122111100001100112211111100001122000022220022002200002x102200110011220011002222222200112222002200002211002211112211000x101100000011221100002200000011221100220011112211000000221111110x102200110011220011002222222200112222002200002211002211112211001x101100000011221100002200000011221100220011112211000000221111111x102200110011220011002222222200112222002200002211002211112211002x101100000011221100002200000011221100220011112211000000221111112x112200110011220011002222222200112222002200002211002211112211000x111100000011221100002200000011221100220011112211000000221111110x112200110011220011002222222200112222002200002211002211112211001x111100000011221100002200000011221100220011112211000000221111111x112200110011220011002222222200112222002200002211002211112211002x111100000011221100002200000011221100220011112211000000221111112x122200110011220011002222222200112222002200002211002211112211000x121100000011221100002200000011221100220011112211000000221111110x122200110011220011002222222200112222002200002211002211112211001x121100000011221100002200000011221100220011112211000000221111111x122200110011220011002222222200112222002200002211002211112211002x121100000011221100002200000011221100220011112211000000221111112x102200111100221100221122002211000011221122112211112211000000220x100011221122111100001122000000110022112222111122221111001100000x102200111100221100221122002211000011221122112211112211000000221x100011221122111100001122000000110022112222111122221111001100001x102200111100221100221122002211000011221122112211112211000000222x100011221122111100001122000000110022112222111122221111001100002x112200111100221100221122002211000011221122112211112211000000220x110011221122111100001122000000110022112222111122221111001100000x112200111100221100221122002211000011221122112211112211000000221x110011221122111100001122000000110022112222111122221111001100001x112200111100221100221122002211000011221122112211112211000000222x110011221122111100001122000000110022112222111122221111001100002x122200111100221100221122002211000011221122112211112211000000220x120011221122111100001122000000110022112222111122221111001100000x122200111100221100221122002211000011221122112211112211000000221x120011221122111100001122000000110022112222111122221111001100001x122200111100221100221122002211000011221122112211112211000000222x120011221122111100001122000000110022112222111122221111001100002x102200111111220022222222222222111100002211111122221100000022110x101122000000002200112200112222112211001111112211000011112211220x102200111111220022222222222222111100002211111122221100000022111x101122000000002200112200112222112211001111112211000011112211221x102200111111220022222222222222111100002211111122221100000022112x101122000000002200112200112222112211001111112211000011112211222x112200111111220022222222222222111100002211111122221100000022110x111122000000002200112200112222112211001111112211000011112211220x112200111111220022222222222222111100002211111122221100000022111x111122000000002200112200112222112211001111112211000011112211221x112200111111220022222222222222111100002211111122221100000022112x111122000000002200112200112222112211001111112211000011112211222x122200111111220022222222222222111100002211111122221100000022110x121122000000002200112200112222112211001111112211000011112211220x122200111111220022222222222222111100002211111122221100000022111x121122000000002200112200112222112211001111112211000011112211221x122200111111220022222222222222111100002211111122221100000022112x121122000000002200112200112222112211001111112211000011112211222x102200220022111122001122112211002211110000000022111111001111220x100000111122222200112200111111110000110011002200222200221111110x102200220022111122001122112211002211110000000022111111001111221x100000111122222200112200111111110000110011002200222200221111111x102200220022111122001122112211002211110000000022111111001111222x100000111122222200112200111111110000110011002200222200221111112x112200220022111122001122112211002211110000000022111111001111220x110000111122222200112200111111110000110011002200222200221111110x112200220022111122001122112211002211110000000022111111001111221x110000111122222200112200111111110000110011002200222200221111111x112200220022111122001122112211002211110000000022111111001111222x110000111122222200112200111111110000110011002200222200221111112x122200220022111122001122112211002211110000000022111111001111220x120000111122222200112200111111110000110011002200222200221111110x122200220022111122001122112211002211110000000022111111001111221x120000111122222200112200111111110000110011002200222200221111111x122200220022111122001122112211002211110000000022111111001111222x120000111122222200112200111111110000110011002200222200221111112x102200221111110011111122002222002200000011220011002211002222220x100000001100001122002211222222001111111100111122000022112222000x102200221111110011111122002222002200000011220011002211002222221x100000001100001122002211222222001111111100111122000022112222001x102200221111110011111122002222002200000011220011002211002222222x100000001100001122002211222222001111111100111122000022112222002x112200221111110011111122002222002200000011220011002211002222220x110000001100001122002211222222001111111100111122000022112222000x112200221111110011111122002222002200000011220011002211002222221x110000001100001122002211222222001111111100111122000022112222001x112200221111110011111122002222002200000011220011002211002222222x110000001100001122002211222222001111111100111122000022112222002x122200221111110011111122002222002200000011220011002211002222220x120000001100001122002211222222001111111100111122000022112222000x122200221111110011111122002222002200000011220011002211002222221x120000001100001122002211222222001111111100111122000022112222001x122200221111110011111122002222002200000011220011002211002222222x120000001100001122002211222222001111111100111122000022112222002x102200222222220011002222112211001122222211111111112200110000110x100022110022221100110011112200002211110011221111220022111122110x102200222222220011002222112211001122222211111111112200110000111x100022110022221100110011112200002211110011221111220022111122111x102200222222220011002222112211001122222211111111112200110000112x100022110022221100110011112200002211110011221111220022111122112x112200222222220011002222112211001122222211111111112200110000110x110022110022221100110011112200002211110011221111220022111122110x112200222222220011002222112211001122222211111111112200110000111x110022110022221100110011112200002211110011221111220022111122111x112200222222220011002222112211001122222211111111112200110000112x110022110022221100110011112200002211110011221111220022111122112x122200222222220011002222112211001122222211111111112200110000110x120022110022221100110011112200002211110011221111220022111122110x122200222222220011002222112211001122222211111111112200110000111x120022110022221100110011112200002211110011221111220022111122111x122200222222220011002222112211001122222211111111112200110000112x120022110022221100110011112200002211110011221111220022111122112x102211000022112222221100220000221100001111221100112211222222000x101122221100002222110000222211000011002211111122002200111122000x102211000022112222221100220000221100001111221100112211222222001x101122221100002222110000222211000011002211111122002200111122001x102211000022112222221100220000221100001111221100112211222222002x101122221100002222110000222211000011002211111122002200111122002x112211000022112222221100220000221100001111221100112211222222000x111122221100002222110000222211000011002211111122002200111122000x112211000022112222221100220000221100001111221100112211222222001x111122221100002222110000222211000011002211111122002200111122001x112211000022112222221100220000221100001111221100112211222222002x111122221100002222110000222211000011002211111122002200111122002x122211000022112222221100220000221100001111221100112211222222000x121122221100002222110000222211000011002211111122002200111122000x122211000022112222221100220000221100001111221100112211222222001x121122221100002222110000222211000011002211111122002200111122001x122211000022112222221100220000221100001111221100112211222222002x121122221100002222110000222211000011002211111122002200111122002x102211001100000022111100002211221100000022111111002222110011000x100000111100110022000011112211002211110011111100220022110000000x102211001100000022111100002211221100000022111111002222110011001x100000111100110022000011112211002211110011111100220022110000001x102211001100000022111100002211221100000022111111002222110011002x100000111100110022000011112211002211110011111100220022110000002x112211001100000022111100002211221100000022111111002222110011000x110000111100110022000011112211002211110011111100220022110000000x112211001100000022111100002211221100000022111111002222110011001x110000111100110022000011112211002211110011111100220022110000001x112211001100000022111100002211221100000022111111002222110011002x110000111100110022000011112211002211110011111100220022110000002x122211001100000022111100002211221100000022111111002222110011000x120000111100110022000011112211002211110011111100220022110000000x122211001100000022111100002211221100000022111111002222110011001x120000111100110022000011112211002211110011111100220022110000001x122211001100000022111100002211221100000022111111002222110011002x120000111100110022000011112211002211110011111100220022110000002x102211002222110022112200111122002222112211221122000022002211000x101100110022111100221122111111002200001100002200221111000022110x102211002222110022112200111122002222112211221122000022002211001x101100110022111100221122111111002200001100002200221111000022111x102211002222110022112200111122002222112211221122000022002211002x101100110022111100221122111111002200001100002200221111000022112x112211002222110022112200111122002222112211221122000022002211000x111100110022111100221122111111002200001100002200221111000022110x112211002222110022112200111122002222112211221122000022002211001x111100110022111100221122111111002200001100002200221111000022111x112211002222110022112200111122002222112211221122000022002211002x111100110022111100221122111111002200001100002200221111000022112x122211002222110022112200111122002222112211221122000022002211000x121100110022111100221122111111002200001100002200221111000022110x122211002222110022112200111122002222112211221122000022002211001x121100110022111100221122111111002200001100002200221111000022111x122211002222110022112200111122002222112211221122000022002211002x121100110022111100221122111111002200001100002200221111000022112x102211112200222200112211000011000000111122000000002211110011000x101111220011000000002211002200111111000011002200111122002200000x102211112200222200112211000011000000111122000000002211110011001x101111220011000000002211002200111111000011002200111122002200001x102211112200222200112211000011000000111122000000002211110011002x101111220011000000002211002200111111000011002200111122002200002x112211112200222200112211000011000000111122000000002211110011000x111111220011000000002211002200111111000011002200111122002200000x112211112200222200112211000011000000111122000000002211110011001x111111220011000000002211002200111111000011002200111122002200001x112211112200222200112211000011000000111122000000002211110011002x111111220011000000002211002200111111000011002200111122002200002x122211112200222200112211000011000000111122000000002211110011000x121111220011000000002211002200111111000011002200111122002200000x122211112200222200112211000011000000111122000000002211110011001x121111220011000000002211002200111111000011002200111122002200001x122211112200222200112211000011000000111122000000002211110011002x121111220011000000002211002200111111000011002200111122002200002x102211221100000022002200222200111111002222222211221100220000220x100022110011000011001111000000110011112200222200221100001111110x102211221100000022002200222200111111002222222211221100220000221x100022110011000011001111000000110011112200222200221100001111111x102211221100000022002200222200111111002222222211221100220000222x100022110011000011001111000000110011112200222200221100001111112x112211221100000022002200222200111111002222222211221100220000220x110022110011000011001111000000110011112200222200221100001111110x112211221100000022002200222200111111002222222211221100220000221x110022110011000011001111000000110011112200222200221100001111111x112211221100000022002200222200111111002222222211221100220000222x110022110011000011001111000000110011112200222200221100001111112x122211221100000022002200222200111111002222222211221100220000220x120022110011000011001111000000110011112200222200221100001111110x122211221100000022002200222200111111002222222211221100220000221x120022110011000011001111000000110011112200222200221100001111111x122211221100000022002200222200111111002222222211221100220000222x120022110011000011001111000000110011112200222200221100001111112x102222002200220011221122222222221122002222111122000011221111000x100022002200001100221100111122002211110000110022221111112211110x102222002200220011221122222222221122002222111122000011221111001x100022002200001100221100111122002211110000110022221111112211111x102222002200220011221122222222221122002222111122000011221111002x100022002200001100221100111122002211110000110022221111112211112x112222002200220011221122222222221122002222111122000011221111000x110022002200001100221100111122002211110000110022221111112211110x112222002200220011221122222222221122002222111122000011221111001x110022002200001100221100111122002211110000110022221111112211111x112222002200220011221122222222221122002222111122000011221111002x110022002200001100221100111122002211110000110022221111112211112x122222002200220011221122222222221122002222111122000011221111000x120022002200001100221100111122002211110000110022221111112211110x122222002200220011221122222222221122002222111122000011221111001x120022002200001100221100111122002211110000110022221111112211111x122222002200220011221122222222221122002222111122000011221111002x120022002200001100221100111122002211110000110022221111112211112x102222002222222200000000221111111122222200220000000011220011220x100011110000111122220022002222112200112211001111000000001100000x102222002222222200000000221111111122222200220000000011220011221x100011110000111122220022002222112200112211001111000000001100001x102222002222222200000000221111111122222200220000000011220011222x100011110000111122220022002222112200112211001111000000001100002x112222002222222200000000221111111122222200220000000011220011220x110011110000111122220022002222112200112211001111000000001100000x112222002222222200000000221111111122222200220000000011220011221x110011110000111122220022002222112200112211001111000000001100001x112222002222222200000000221111111122222200220000000011220011222x110011110000111122220022002222112200112211001111000000001100002x122222002222222200000000221111111122222200220000000011220011220x120011110000111122220022002222112200112211001111000000001100000x122222002222222200000000221111111122222200220000000011220011221x120011110000111122220022002222112200112211001111000000001100001x122222002222222200000000221111111122222200220000000011220011222x120011110000111122220022002222112200112211001111000000001100002x102222110000111122111100112200222222112222112200000011110011220x101100111122000011001100112222222222111122110022110022001111000x102222110000111122111100112200222222112222112200000011110011221x101100111122000011001100112222222222111122110022110022001111001x102222110000111122111100112200222222112222112200000011110011222x101100111122000011001100112222222222111122110022110022001111002x112222110000111122111100112200222222112222112200000011110011220x111100111122000011001100112222222222111122110022110022001111000x112222110000111122111100112200222222112222112200000011110011221x111100111122000011001100112222222222111122110022110022001111001x112222110000111122111100112200222222112222112200000011110011222x111100111122000011001100112222222222111122110022110022001111002x122222110000111122111100112200222222112222112200000011110011220x121100111122000011001100112222222222111122110022110022001111000x122222110000111122111100112200222222112222112200000011110011221x121100111122000011001100112222222222111122110022110022001111001x122222110000111122111100112200222222112222112200000011110011222x121100111122000011001100112222222222111122110022110022001111002x102222110022112200220000001100111122220022111122220011111122000x101111220011110011111100001100222200110022221100001100221111000x102222110022112200220000001100111122220022111122220011111122001x101111220011110011111100001100222200110022221100001100221111001x102222110022112200220000001100111122220022111122220011111122002x101111220011110011111100001100222200110022221100001100221111002x112222110022112200220000001100111122220022111122220011111122000x111111220011110011111100001100222200110022221100001100221111000x112222110022112200220000001100111122220022111122220011111122001x111111220011110011111100001100222200110022221100001100221111001x112222110022112200220000001100111122220022111122220011111122002x111111220011110011111100001100222200110022221100001100221111002x122222110022112200220000001100111122220022111122220011111122000x121111220011110011111100001100222200110022221100001100221111000x122222110022112200220000001100111122220022111122220011111122001x121111220011110011111100001100222200110022221100001100221111001x122222110022112200220000001100111122220022111122220011111122002x121111220011110011111100001100222200110022221100001100221111002x102222111100110000112222000011002211112222111111002211110000110x101100112211111111220011220000000011001111001100002211112211000x102222111100110000112222000011002211112222111111002211110000111x101100112211111111220011220000000011001111001100002211112211001x102222111100110000112222000011002211112222111111002211110000112x101100112211111111220011220000000011001111001100002211112211002x112222111100110000112222000011002211112222111111002211110000110x111100112211111111220011220000000011001111001100002211112211000x112222111100110000112222000011002211112222111111002211110000111x111100112211111111220011220000000011001111001100002211112211001x112222111100110000112222000011002211112222111111002211110000112x111100112211111111220011220000000011001111001100002211112211002x122222111100110000112222000011002211112222111111002211110000110x121100112211111111220011220000000011001111001100002211112211000x122222111100110000112222000011002211112222111111002211110000111x121100112211111111220011220000000011001111001100002211112211001x122222111100110000112222000011002211112222111111002211110000112x121100112211111111220011220000000011001111001100002211112211002x102222112200220011110000110011222200000011111100220011112222220x100000002211001100112211002211221100221111000011002222222200110x102222112200220011110000110011222200000011111100220011112222221x100000002211001100112211002211221100221111000011002222222200111x102222112200220011110000110011222200000011111100220011112222222x100000002211001100112211002211221100221111000011002222222200112x112222112200220011110000110011222200000011111100220011112222220x110000002211001100112211002211221100221111000011002222222200110x112222112200220011110000110011222200000011111100220011112222221x110000002211001100112211002211221100221111000011002222222200111x112222112200220011110000110011222200000011111100220011112222222x110000002211001100112211002211221100221111000011002222222200112x122222112200220011110000110011222200000011111100220011112222220x120000002211001100112211002211221100221111000011002222222200110x122222112200220011110000110011222200000011111100220011112222221x120000002211001100112211002211221100221111000011002222222200111x122222112200220011110000110011222200000011111100220011112222222x120000002211001100112211002211221100221111000011002222222200112x102222221122221122220011002222000022221100111122221111000000220x101122111100111122110011110000112211220011002200002200002200110x102222221122221122220011002222000022221100111122221111000000221x101122111100111122110011110000112211220011002200002200002200111x102222221122221122220011002222000022221100111122221111000000222x101122111100111122110011110000112211220011002200002200002200112x112222221122221122220011002222000022221100111122221111000000220x111122111100111122110011110000112211220011002200002200002200110x112222221122221122220011002222000022221100111122221111000000221x111122111100111122110011110000112211220011002200002200002200111x112222221122221122220011002222000022221100111122221111000000222x111122111100111122110011110000112211220011002200002200002200112x122222221122221122220011002222000022221100111122221111000000220x121122111100111122110011110000112211220011002200002200002200110x122222221122221122220011002222000022221100111122221111000000221x121122111100111122110011110000112211220011002200002200002200111x122222221122221122220011002222000022221100111122221111000000222x121122111100111122110011110000112211220011002200002200002200112x110011101111151011102111221111121111271111116121112011111100112200110011222200112222222211110000110022112211001100220x1111221100001122001100220011110000110022002211112211001111220x1100112200110011222200112222222211110000110022112211001100221x1111221100001122001100220011110000110022002211112211001111221x1100112200110011222200112222222211110000110022112211001100222x1111221100001122001100220011110000110022002211112211001111222x1111112211001111002222112222000011220000222200002222002222220x1122111122000022222222002211220022000022000011001122111122220x1111112211001111002222112222000011220000222200002222002222221x1122111122000022222222002211220022000022000011001122111122221x1111112211001111002222112222000011220000222200002222002222222x1122111122000022222222002211220022000022000011001122111122222x1200000011220000110022111111112222220022110000112222221111000x1200111100221100002222222211221100222200001111111122000011000x1200000011220000110022111111112222220022110000112222221111001x1200111100221100002222222211221100222200001111111122000011001x1200000011220000110022111111112222220022110000112222221111002x1200111100221100002222222211221100222200001111111122000011002x1211111111110000222222222222222200110011221111000022002211110x1200111111222222001122111100001100112211111100001122001122110x1211111111110000222222222222222200110011221111000022002211111x1200111111222222001122111100001100112211111100001122001122111x1211111111110000222222222222222200110011221111000022002211112x1200111111222222001122111100001100112211111100001122001122112x102200222222220011002222112211001122222211111111112200110000110x100022110022221100110011112200002211110011221111220022111122110x102200222222220011002222112211001122222211111111112200110000111x100022110022221100110011112200002211110011221111220022111122111x102200222222220011002222112211001122222211111111112200110000112x100022110022221100110011112200002211110011221111220022111122112x112200222222220011002222112211001122222211111111112200110000110x110022110022221100110011112200002211110011221111220022111122110x112200222222220011002222112211001122222211111111112200110000111x110022110022221100110011112200002211110011221111220022111122111x112200222222220011002222112211001122222211111111112200110000112x110022110022221100110011112200002211110011221111220022111122112x122200222222220011002222112211001122222211111111112200110000110x120022110022221100110011112200002211110011221111220022111122110x122200222222220011002222112211001122222211111111112200110000111x120022110022221100110011112200002211110011221111220022111122111x122200222222220011002222112211001122222211111111112200110000112x120022110022221100110011112200002211110011221111220022111122112x1110111011111211112011122111121111111111100111021111100112200110011222200112222222211110000110022112211001100220x1111221100001122001100220011110000110022002211112211001111220x1100112200110011222200112222222211110000110022112211001100221x1111221100001122001100220011110000110022002211112211001111221x1100112200110011222200112222222211110000110022112211001100222x1111221100001122001100220011110000110022002211112211001111222x1111112211001111002222112222000011220000222200002222002222220x1122111122000022222222002211220022000022000011001122111122220x1111112211001111002222112222000011220000222200002222002222221x1122111122000022222222002211220022000022000011001122111122221x1111112211001111002222112222000011220000222200002222002222222x1122111122000022222222002211220022000022000011001122111122222x1200000011220000110022111111112222220022110000112222221111000x1200111100221100002222222211221100222200001111111122000011000x1200000011220000110022111111112222220022110000112222221111001x1200111100221100002222222211221100222200001111111122000011001x1200000011220000110022111111112222220022110000112222221111002x1200111100221100002222222211221100222200001111111122000011002x102200222222220011002222112211001122222211111111112200110000110x100022110022221100110011112200002211110011221111220022111122110x102200222222220011002222112211001122222211111111112200110000111x100022110022221100110011112200002211110011221111220022111122111x102200222222220011002222112211001122222211111111112200110000112x100022110022221100110011112200002211110011221111220022111122112x112200222222220011002222112211001122222211111111112200110000110x110022110022221100110011112200002211110011221111220022111122110x112200222222220011002222112211001122222211111111112200110000111x110022110022221100110011112200002211110011221111220022111122111x112200222222220011002222112211001122222211111111112200110000112x110022110022221100110011112200002211110011221111220022111122112x122200222222220011002222112211001122222211111111112200110000110x120022110022221100110011112200002211110011221111220022111122110x122200222222220011002222112211001122222211111111112200110000111x120022110022221100110011112200002211110011221111220022111122111x122200222222220011002222112211001122222211111111112200110000112x120022110022221100110011112200002211110011221111220022111122112x11101110111111211120111221111211112111110011102111111112211001111002222112222000011220000222200002222002222220x1122111122000022222222002211220022000022000011001122111122220x1111112211001111002222112222000011220000222200002222002222221x1122111122000022222222002211220022000022000011001122111122221x1111112211001111002222112222000011220000222200002222002222222x1122111122000022222222002211220022000022000011001122111122222x1200000011220000110022111111112222220022110000112222221111000x1200111100221100002222222211221100222200001111111122000011000x1200000011220000110022111111112222220022110000112222221111001x1200111100221100002222222211221100222200001111111122000011001x1200000011220000110022111111112222220022110000112222221111002x1200111100221100002222222211221100222200001111111122000011002x102200222222220011002222112211001122222211111111112200110000110x100022110022221100110011112200002211110011221111220022111122110x102200222222220011002222112211001122222211111111112200110000111x100022110022221100110011112200002211110011221111220022111122111x102200222222220011002222112211001122222211111111112200110000112x100022110022221100110011112200002211110011221111220022111122112x112200222222220011002222112211001122222211111111112200110000110x110022110022221100110011112200002211110011221111220022111122110x112200222222220011002222112211001122222211111111112200110000111x110022110022221100110011112200002211110011221111220022111122111x112200222222220011002222112211001122222211111111112200110000112x110022110022221100110011112200002211110011221111220022111122112x111111111211121111101110111102111221112011100111200000011220000110022111111112222220022110000112222221111000x1200111100221100002222222211221100222200001111111122000011000x1200000011220000110022111111112222220022110000112222221111001x1200111100221100002222222211221100222200001111111122000011001x1200000011220000110022111111112222220022110000112222221111002x1200111100221100002222222211221100222200001111111122000011002x102200222222220011002222112211001122222211111111112200110000110x100022110022221100110011112200002211110011221111220022111122110x102200222222220011002222112211001122222211111111112200110000111x100022110022221100110011112200002211110011221111220022111122111x102200222222220011002222112211001122222211111111112200110000112x100022110022221100110011112200002211110011221111220022111122112x112200222222220011002222112211001122222211111111112200110000110x110022110022221100110011112200002211110011221111220022111122110x112200222222220011002222112211001122222211111111112200110000111x110022110022221100110011112200002211110011221111220022111122111x112200222222220011002222112211001122222211111111112200110000112x110022110022221100110011112200002211110011221111220022111122112x112011110011101111121111101110211121111111112211102200222222220011002222112211001122222211111111112200110000110x100022110022221100110011112200002211110011221111220022111122110x102200222222220011002222112211001122222211111111112200110000111x100022110022221100110011112200002211110011221111220022111122111x102200222222220011002222112211001122222211111111112200110000112x100022110022221100110011112200002211110011221111220022111122112x110211120111122111011111011121111121111111100111AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (9 real / 0 unknown / 0 assumptions / 9 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe