YES 00010x1221110x1010122x1112002x1220022x12211120x101002221x1211120011x101201121x110221101x1022220122x11111010022x1200010200x110012011112x1221200112x10111112221x100000110101x1012101001111x100102000002x1100121210111x102010201012x11002111121120x110002021220x11010022211112x122120201012x1111102122210x1101022010000x110021200011112x1121201222001x111112111111110112x10122222200221x12202201011111221x10201102200120x121210211111101x10202010221100x11111022222111201x12020022221202x10020100211111212x12101101021202x11111110001022202x12110221202212x11110211111012220x12120001010000x122012001111110x100020112112011x1112020221201111x121201212121100x111202122121100x1120100122000002x111121011112211000x1211000010122121x12011112211221112x10101010102110002x10011112010100002x11022101011221200x11111111111212222202x12000220210102211x1211110001121202111x12121201202001020x111101221012221112x12202202212021022x11211122012211122111x102200212202100002x10102122121220111122x111200020011002122x11121111221121000110x122220102202000000x1012122010001111221x1022220200111022112x101021111110221112122x1122022001212010212x110022102112011110200x1212020022122020221x10200111202010202211x10022001001121010212x100220011200102101111111x10100110001002121201x120022111200201102101x10120210202212122022x102020111112220220222x10121220101020101010x11110120011000012022x100000212221020122012x10221111112222102000002x101012101002120102012x1212112010122000111222x110211220111202022202x1112121221111220210001x112112112101112012200x1111101000111100101212x120012022220011212222x11010001112221112222021x120020010001120011021x1011022111221020111121x122001121101201202200x112022200011101101111122x1010110121222121022000x110200010111002111101001x1201110102011210112201x1211120002012010211111x1202201010201022220120x11112100012122111121001111110x10022120100211202101000x1210222111111112010001100x10102112122011201202121x112110001210211201201111x10220200121202000102210x100111220120121111020101x11121011222220110220212x111110201010200122001121x12111220101020000120222x112120111100110212110001x12120112201101210222212x111111201112221011202100x12122021202020220010021x102100102121100022212111x12122102010211002001102x122202000120020202021111x100122121201102200210012x1201101220211201111022111x102001102110122100000202x101110222001021201000002x102212102120101112202021x12011111112022111020222110x110222121100100020222221x11112001021122111201001101x1002100212201200021021021x10121221122102012111002011x1010200121222000000120000x121002010122111221111222200x1010210201122121000111022x11111122002201200222010212x1012110112121000112010001x10122110221021201121111211x1021010010002002022102020x110220112212222111100221002x1120110000120022210002200x1101222121211111100011002101x1122001201202010122112122x11111120022021110001220011x1211212121200101012022020x12000021021120201020101111x10000000020010210021221011x111110010122111102020110000x10100212011022120100020220x1021102221121200111110012022x10221010220200010222022121x110002211112102002021100021x10222201020012212200002101x121112120211002110212202211x11000201010201001012201202x110221012122000111100211121x11120010120022000222020202x1111122110221200010210121000x11211001120001010100212202x111122220010112111001112001x11220022211001201212112120x11210202112221021020022111x12000020100100100002102021x1102012111010222010222211101x12122112201220201021100202x1101210111101222111110021022x100112101222001120021210002x10121102111001101122211100000x102100210200110120020022220x12111022002101012002111201222x102120002020112120122022012x1100112222221121100111200202x1002020221021210211021020010x111111010022201202120001112000x1010222202122000101120101002x111112022200001021212102212021x1011210201000121101221222212x10002111102211220121211112011x1021212220220202101111210120x10221010221220011211111121111x1102221011020120002112121121x11110121122201001222211100022x1121010000122212101122202011x11222011120112120002121021211x1121222002121100022102210001x111111220120202121111000210001x1211022210201002100021100111x11211120000202211122111111012x1220200110102020102120221002x122201101122222110011100111200x10221122012122022122222200210x1220100000011111101111211012022x12002200000020102202200022022x1120102212011112201120101011222x12012220120020112100012112020x102120110111100012221001001100x12102102000122212001121000000x110211111202101112211022121020x12110110121212201201000202220x11110220110112221020200102202x12121221212110220212120100210x1111221121212120112100220211112x12122012022221221000020102122x122112100011111022220111010201x12200020101210202210001020102x1101200120020020200022211110121x12210212120200102012100001120x1222122022020221021112100111111x100100020201220121010000220202x101020012201220100000002002122x101011010020222001220212110011x1012222112122111022211110102022x101101012020200021121110020100x121102000020201011111210012000x112011100020001222101121201202x112212200020010011111220002121x112110122101222102010102000100x1110001111000200220201012020122x120122100222101002021001001220x1200122022101002112200111210220x122101012120010022122200021002x1202111221102021002201122201120x1110112022001200021212200222011x1112112122110020020200020222011x12.1012220022x12211120x100000110101x1012101001111x110002021220x11010022211112x1101022010000x110021200011112x1121201222001x111112111111110112x12120001010000x122012001111110x1120100122000002x111121011112211000x1211000010122121x12011112211221112x10101010102110002x10011112010100002x11022101011221200x11111111111212222202x12000220210102211x1211110001121202111x102200212202100002x10102122121220111122x111200020011002122x11121111221121000110x1022220200111022112x101021111110221112122x1122022001212010212x110022102112011110200x10022001001121010212x100220011200102101111111x10120210202212122022x102020111112220220222x100000212221020122012x10221111112222102000002x110211220111202022202x1112121221111220210001x112112112101112012200x1111101000111100101212x1201110102011210112201x1211120002012010211111x10220200121202000102210x100111220120121111020101x11121011222220110220212x111110201010200122001121x12122102010211002001102x122202000120020202021111x102001102110122100000202x101110222001021201000002x110222121100100020222221x11112001021122111201001101x1002100212201200021021021x10121221122102012111002011x1012110112121000112010001x10122110221021201121111211x1120110000120022210002200x1101222121211111100011002101x1122001201202010122112122x11111120022021110001220011x1211212121200101012022020x12000021021120201020101111x10100212011022120100020220x1021102221121200111110012022x11000201010201001012201202x110221012122000111100211121x11120010120022000222020202x1111122110221200010210121000x11211001120001010100212202x111122220010112111001112001x11220022211001201212112120x11210202112221021020022111x100112101222001120021210002x10121102111001101122211100000x1011210201000121101221222212x10002111102211220121211112011x1021212220220202101111210120x10221010221220011211111121111x1102221011020120002112121121x11110121122201001222211100022x1121010000122212101122202011x11222011120112120002121021211x1121222002121100022102210001x111111220120202121111000210001x1220200110102020102120221002x122201101122222110011100111200x12122012022221221000020102122x122112100011111022220111010201x12210212120200102012100001120x1222122022020221021112100111111x100100020201220121010000220202x101020012201220100000002002122x101011010020222001220212110011x1012222112122111022211110102022x112011100020001222101121201202x112212200020010011111220002121x112110122101222102010102000100x1110001111000200220201012020122x120122100222101002021001001220x1200122022101002112200111210220x122101012120010022122200021002x1202111221102021002201122201120x1110112022001200021212200222011x1112112122110020020200020222011x1000010x10221110x1100010x11221110x1200010x12221110x10010122x10112002x11010122x11112002x12010122x12112002x1001002221x10211120011x1101002221x11211120011x1201002221x12211120011x1001201121x1010221101x1101201121x1110221101x1201201121x1210221101x10022220122x101111010022x11022220122x111111010022x12022220122x121111010022x10200010200x1010012011112x11200010200x1110012011112x12200010200x1210012011112x10221200112x100111112221x11221200112x110111112221x12221200112x120111112221x1000102000002x10100121210111x1100102000002x11100121210111x1200102000002x12100121210111x1002010201012x101002111121120x1102010201012x111002111121120x1202010201012x121002111121120x1022120201012x10111102122210x1122120201012x11111102122210x1222120201012x12111102122210x100122222200221x102202201011111221x110122222200221x112202201011111221x120122222200221x122202201011111221x100201102200120x1021210211111101x110201102200120x1121210211111101x120201102200120x1221210211111101x100202010221100x101111022222111201x110202010221100x111111022222111201x120202010221100x121111022222111201x102020022221202x100020100211111212x112020022221202x110020100211111212x122020022221202x120020100211111212x102101101021202x101111110001022202x112101101021202x111111110001022202x122101101021202x121111110001022202x102110221202212x101110211111012220x112110221202212x111110211111012220x122110221202212x121110211111012220x1000020112112011x10112020221201111x1100020112112011x11112020221201111x1200020112112011x12112020221201111x1021201212121100x1011202122121100x1121201212121100x1111202122121100x1221201212121100x1211202122121100x102121201202001020x1011101221012221112x112121201202001020x1111101221012221112x122121201202001020x1211101221012221112x102202202212021022x101211122012211122111x112202202212021022x111211122012211122111x122202202212021022x121211122012211122111x1022220102202000000x10012122010001111221x1122220102202000000x11012122010001111221x1222220102202000000x12012122010001111221x10212020022122020221x100200111202010202211x11212020022122020221x110200111202010202211x12212020022122020221x120200111202010202211x100100110001002121201x1020022111200201102101x110100110001002121201x1120022111200201102101x120100110001002121201x1220022111200201102101x100121220101020101010x101110120011000012022x110121220101020101010x111110120011000012022x120121220101020101010x121110120011000012022x1001012101002120102012x10212112010122000111222x1101012101002120102012x11212112010122000111222x1201012101002120102012x12212112010122000111222x1020012022220011212222x101010001112221112222021x1120012022220011212222x111010001112221112222021x1220012022220011212222x121010001112221112222021x1020020010001120011021x10011022111221020111121x1120020010001120011021x11011022111221020111121x1220020010001120011021x12011022111221020111121x1022001121101201202200x1012022200011101101111122x1122001121101201202200x1112022200011101101111122x1222001121101201202200x1212022200011101101111122x10010110121222121022000x1010200010111002111101001x11010110121222121022000x1110200010111002111101001x12010110121222121022000x1210200010111002111101001x10202201010201022220120x101112100012122111121001111110x11202201010201022220120x111112100012122111121001111110x12202201010201022220120x121112100012122111121001111110x100022120100211202101000x10210222111111112010001100x110022120100211202101000x11210222111111112010001100x120022120100211202101000x12210222111111112010001100x100102112122011201202121x1012110001210211201201111x110102112122011201202121x1112110001210211201201111x120102112122011201202121x1212110001210211201201111x102111220101020000120222x1012120111100110212110001x112111220101020000120222x1112120111100110212110001x122111220101020000120222x1212120111100110212110001x102120112201101210222212x1011111201112221011202100x112120112201101210222212x1111111201112221011202100x122120112201101210222212x1211111201112221011202100x102122021202020220010021x1002100102121100022212111x112122021202020220010021x1102100102121100022212111x122122021202020220010021x1202100102121100022212111x1000122121201102200210012x10201101220211201111022111x1100122121201102200210012x11201101220211201111022111x1200122121201102200210012x12201101220211201111022111x1002212102120101112202021x102011111112022111020222110x1102212102120101112202021x112011111112022111020222110x1202212102120101112202021x122011111112022111020222110x10010200121222000000120000x1021002010122111221111222200x11010200121222000000120000x1121002010122111221111222200x12010200121222000000120000x1221002010122111221111222200x10010210201122121000111022x101111122002201200222010212x11010210201122121000111022x111111122002201200222010212x12010210201122121000111022x121111122002201200222010212x10021010010002002022102020x1010220112212222111100221002x11021010010002002022102020x1110220112212222111100221002x12021010010002002022102020x1210220112212222111100221002x100000000020010210021221011x1011110010122111102020110000x110000000020010210021221011x1111110010122111102020110000x120000000020010210021221011x1211110010122111102020110000x100221010220200010222022121x1010002211112102002021100021x110221010220200010222022121x1110002211112102002021100021x120221010220200010222022121x1210002211112102002021100021x100222201020012212200002101x1021112120211002110212202211x110222201020012212200002101x1121112120211002110212202211x120222201020012212200002101x1221112120211002110212202211x102000020100100100002102021x10102012111010222010222211101x112000020100100100002102021x11102012111010222010222211101x122000020100100100002102021x12102012111010222010222211101x102122112201220201021100202x10101210111101222111110021022x112122112201220201021100202x11101210111101222111110021022x122122112201220201021100202x12101210111101222111110021022x1002100210200110120020022220x102111022002101012002111201222x1102100210200110120020022220x112111022002101012002111201222x1202100210200110120020022220x122111022002101012002111201222x1002120002020112120122022012x10100112222221121100111200202x1102120002020112120122022012x11100112222221121100111200202x1202120002020112120122022012x12100112222221121100111200202x10002020221021210211021020010x1011111010022201202120001112000x11002020221021210211021020010x1111111010022201202120001112000x12002020221021210211021020010x1211111010022201202120001112000x10010222202122000101120101002x1011112022200001021212102212021x11010222202122000101120101002x1111112022200001021212102212021x12010222202122000101120101002x1211112022200001021212102212021x10211022210201002100021100111x101211120000202211122111111012x11211022210201002100021100111x111211120000202211122111111012x12211022210201002100021100111x121211120000202211122111111012x100221122012122022122222200210x10220100000011111101111211012022x110221122012122022122222200210x11220100000011111101111211012022x120221122012122022122222200210x12220100000011111101111211012022x102002200000020102202200022022x10120102212011112201120101011222x112002200000020102202200022022x11120102212011112201120101011222x122002200000020102202200022022x12120102212011112201120101011222x102012220120020112100012112020x1002120110111100012221001001100x112012220120020112100012112020x1102120110111100012221001001100x122012220120020112100012112020x1202120110111100012221001001100x102102102000122212001121000000x1010211111202101112211022121020x112102102000122212001121000000x1110211111202101112211022121020x122102102000122212001121000000x1210211111202101112211022121020x102110110121212201201000202220x101110220110112221020200102202x112110110121212201201000202220x111110220110112221020200102202x122110110121212201201000202220x121110220110112221020200102202x102121221212110220212120100210x10111221121212120112100220211112x112121221212110220212120100210x11111221121212120112100220211112x122121221212110220212120100210x12111221121212120112100220211112x102200020101210202210001020102x10101200120020020200022211110121x112200020101210202210001020102x11101200120020020200022211110121x122200020101210202210001020102x12101200120020020200022211110121x1001101012020200021121110020100x1021102000020201011111210012000x1101101012020200021121110020100x1121102000020201011111210012000x1201101012020200021121110020100x1221102000020201011111210012000x1222000022222x122211111122002x1222000022220x122211111122000x1222000022221x122211111122001x10000000001111001100112x1011221100110000111111112x10000000001111001100110x1011221100110000111111110x10000000001111001100111x1011221100110000111111111x11000000220022112222002x110011000022222211111111222x11000000220022112222000x110011000022222211111111220x11000000220022112222001x110011000022222211111111221x1100110022220011000000002x11000022112200000011111111222x1100110022220011000000000x11000022112200000011111111220x1100110022220011000000001x11000022112200000011111111221x1122112200112222220000112x11111111221111111111111111001111222x1122112200112222220000110x11111111221111111111111111001111220x1122112200112222220000111x11111111221111111111111111001111221x121122000000110011000000002x12220011220000111111111111002x121122000000110011000000000x12220011220000111111111111000x121122000000110011000000001x12220011220000111111111111001x1122001100001122220000000000222x11111122110011111111222211110000002x1122001100001122220000000000220x11111122110011111111222211110000000x1122001100001122220000000000221x11111122110011111111222211110000001x1211110000000011001122221122112x120011111111222211112222111111222x1211110000000011001122221122110x120011111111222211112222111111220x1211110000000011001122221122111x120011111111222211112222111111221x101100110011001100221111000000222x100011111111220011001100000000222x101100110011001100221111000000220x100011111111220011001100000000220x101100110011001100221111000000221x100011111111220011001100000000221x110022221100110011112222112200002x111111111111111111112211222222222200222x110022221100110011112222112200000x111111111111111111112211222222222200220x110022221100110011112222112200001x111111111111111111112211222222222200221x120000002222002211001100222211112x1211111111000000111122112200221111112x120000002222002211001100222211110x1211111111000000111122112200221111110x120000002222002211001100222211111x1211111111000000111122112200221111111x10222200002211222200221100000000222x101100221122221122112222001111111122222x10222200002211222200221100000000220x101100221122221122112222001111111122220x10222200002211222200221100000000221x101100221122221122112222001111111122221x11112200000022000011110000221122222x111122111111112222111122110000001111002x11112200000022000011110000221122220x111122111111112222111122110000001111000x11112200000022000011110000221122221x111122111111112222111122110000001111001x1022222222002200001111110022221111222x10110022111111111111002222111111221122222x1022222222002200001111110022221111220x10110022111111111111002222111111221122220x1022222222002200001111110022221111221x10110022111111111111002222111111221122221x1122220022220000112211220011002211222x11000022221100221111220011111111002200002x1122220022220000112211220011002211220x11000022221100221111220011111111002200000x1122220022220000112211220011002211221x11000022221100221111220011111111002200001x100022220000110000111122110011002211222x10002222000011112200001100221100111111111111112x100022220000110000111122110011002211220x10002222000011112200001100221100111111111111110x100022220000110000111122110011002211221x10002222000011112200001100221100111111111111111x101122002211002200222211221122220022222x10220022001111111111222222002222002222222x101122002211002200222211221122220022220x10220022001111111111222222002222002222220x101122002211002200222211221122220022221x10220022001111111111222222002222002222221x10000000002211222222110022001122220011222x102222111111111111222222221100220000000000222x10000000002211222222110022001122220011220x102222111111111111222222221100220000000000220x10000000002211222222110022001122220011221x102222111111111111222222221100220000000000221x11002211112222001111112200220022222200222x1111221122112222111111112222002211000000112x11002211112222001111112200220022222200220x1111221122112222111111112222002211000000110x11002211112222001111112200220022222200221x1111221122112222111111112222002211000000111x11221111221111221100111111220011222200002x1111111100110000001111111100001100112211222x11221111221111221100111111220011222200000x1111111100110000001111111100001100112211220x11221111221111221100111111220011222200001x1111111100110000001111111100001100112211221x1200111111001100220011112211001111222200112x1211111122000000220011220011002211111111112x1200111111001100220011112211001111222200110x1211111122000000220011220011002211111111110x1200111111001100220011112211001111222200111x1211111122000000220011220011002211111111111x102222002200001122112200220000001100222211002x10001111112222001122001122111111110022001100112x102222002200001122112200220000001100222211000x10001111112222001122001122111111110022001100110x102222002200001122112200220000001100222211001x10001111112222001122001122111111110022001100111x111122110011112222222222001111002222002211222x11111111002200110011002200001122220000111122112x111122110011112222222222001111002222002211220x11111111002200110011002200001122220000111122110x111122110011112222222222001111002222002211221x11111111002200110011002200001122220000111122111x121122221100220011002211110000220000111100222x12222200220000001122000022002200220022111111112x121122221100220011002211110000220000111100220x12222200220000001122000022002200220022111111110x121122221100220011002211110000220000111100221x12222200220000001122000022002200220022111111111x10220000111100221111001122221100000000002200222x10111111002222220000110022112200110000000000222x10220000111100221111001122221100000000002200220x10111111002222220000110022112200110000000000220x10220000111100221111001122221100000000002200221x10111111002222220000110022112200110000000000221x11002222221122111100001100000022002222222222112x111111220000110022111122221111112200110000111100112x11002222221122111100001100000022002222222222110x111111220000110022111122221111112200110000111100110x11002222221122111100001100000022002222222222111x111111220000110022111122221111112200110000111100111x1000221100002211222200112200000022110022110022112x101122112222111122221100220011221111110000220011112x1000221100002211222200112200000022110022110022110x101122112222111122221100220011221111110000220011110x1000221100002211222200112200000022110022110022111x101122112222111122221100220011221111110000220011111x1011221111001111221122110000001111220011000000112x101122221111002222110022112200111122111111112211112x1011221111001111221122110000001111220011000000110x101122221111002222110022112200111122111111112211110x1011221111001111221122110000001111220011000000111x101122221111002222110022112200111122111111112211111x1122001111000000001122000022222211000000222200002x1100112222221122112211111111111100000011110000221100112x1122001111000000001122000022222211000000222200000x1100112222221122112211111111111100000011110000221100110x1122001111000000001122000022222211000000222200001x1100112222221122112211111111111100000011110000221100111x1122220000112200112200220011001122221111221122222x111111111122000022220022111111000000112222000011112x1122220000112200112200220011001122221111221122220x111111111122000022220022111111000000112222000011110x1122220000112200112200220011001122221111221122221x111111111122000022220022111111000000112222000011111x1211112211221122112200001100110011220022220022002x120000000022110022111122002200110022001100111111112x1211112211221122112200001100110011220022220022000x120000000022110022111122002200110022001100111111110x1211112211221122112200001100110011220022220022001x120000000022110022111122002200110022001100111111111x101100002211220011110022221122001100000022002222002x1022111100222222111122112200001111111111000011220022222x101100002211220011110022221122001100000022002222000x1022111100222222111122112200001111111111000011220022220x101100002211220011110022221122001100000022002222001x1022111100222222111122112200001111111111000011220022221x110000002200110011002200110000110011222200112200222x11002222110011221122220000001111111100002211111122112x110000002200110011002200110000110011222200112200220x11002222110011221122220000001111111100002211111122110x110000002200110011002200110000110011222200112200221x11002222110011221122220000001111111100002211111122111x111122000011001122000022220000002222220022002200222x1111111122221111002222112200000011002211001122110000002x111122000011001122000022220000002222220022002200220x1111111122221111002222112200000011002211001122110000000x111122000011001122000022220000002222220022002200221x1111111122221111002222112200000011002211001122110000001x112211110000111122000000110011001100002211222200222x11111122222222000011001111221111110000111111220000112x112211110000111122000000110011001100002211222200220x11111122222222000011001111221111110000111111220000110x112211110000111122000000110011001100002211222200221x11111122222222000011001111221111110000111111220000111x112222000022222211110000112200112211221111221122002x112211002200221111222222110022110022000022221111112x112222000022222211110000112200112211221111221122000x112211002200221111222222110022110022000022221111110x112222000022222211110000112200112211221111221122001x112211002200221111222222110022110022000022221111111x10001111221100112222220000111122000022112211000000222x101122111100221111110000111100111122222211111100000000002x10001111221100112222220000111122000022112211000000220x101122111100221111110000111100111122222211111100000000000x10001111221100112222220000111122000022112211000000221x101122111100221111110000111100111122222211111100000000001x1011112211002200110000001122111100112222112222222211222x100000221111111100222211112222001122112211111111220011112x1011112211002200110000001122111100112222112222222211220x100000221111111100222211112222001122112211111111220011110x1011112211002200110000001122111100112222112222222211221x100000221111111100222211112222001122112211111111220011111x1022112211222222002222002200221100111111112211001122002x102222110011002222112222000011112211111111111122111111112x1022112211222222002222002200221100111111112211001122000x102222110011002222112222000011112211111111111122111111110x1022112211222222002222002200221100111111112211001122001x102222110011002222112222000011112211111111111122111111111x1100222222110011110022001122000000221111221122111122112x111111001122111122222200110000112222222211111100000022222x1100222222110011110022001122000000221111221122111122110x111111001122111122222200110000112222222211111100000022220x1100222222110011110022001122000000221111221122111122111x111111001122111122222200110000112222222211111100000022221x1122110011000000001122222211221100111122222200220011112x112222220011111122001111221122000000221122110022112211112x1122110011000000001122222211221100111122222200220011110x112222220011111122001111221122000000221122110022112211110x1122110011000000001122222211221100111122222200220011111x112222220011111122001111221122000000221122110022112211111x1122112222220000221122111100000022221100222211000000112x11111111112222001122002200221122111111110000002211000000112x1122112222220000221122111100000022221100222211000000110x11111111112222001122002200221122111111110000002211000000110x1122112222220000221122111100000022221100222211000000111x11111111112222001122002200221122111111110000002211000000111x1222002200001111001100220022001100221122002222110000222x12222200111100111122222222221111000011111100001111112200002x1222002200001111001100220022001100221122002222110000220x12222200111100111122222222221111000011111100001111112200000x1222002200001111001100220022001100221122002222110000221x12222200111100111122222222221111000011111100001111112200001x121122220011220022222222112222110000000022001100221122222x12221111221100000011111111110022222222001111110011002200112x121122220011220022222222112222110000000022001100221122220x12221111221100000011111111110022222222001111110011002200110x121122220011220022222222112222110000000022001100221122221x12221111221100000011111111110022222222001111110011002200111x122211002211221122002200001100220011221100000000111122002x1222221122220022220022002222110022111111221100001111111111112x122211002211221122002200001100220011221100000000111122000x1222221122220022220022002222110022111111221100001111111111110x122211002211221122002200001100220011221100000000111122001x1222221122220022220022002222110022111111221100001111111111111x10001100000022002200112222001122110011000000002222002200222x10110022000011222200112222001100000000000000220000221122222x10001100000022002200112222001122110011000000002222002200220x10110022000011222200112222001100000000000000220000221122220x10001100000022002200112222001122110011000000002222002200221x10110022000011222200112222001100000000000000220000221122221x10110011110011000022002222220000112222002211221111000011112x1011222222221111221122221111110022222211111111001100220022222x10110011110011000022002222220000112222002211221111000011110x1011222222221111221122221111110022222211111111001100220022220x10110011110011000022002222220000112222002211221111000011111x1011222222221111221122221111110022222211111111001100220022221x11220011111100000022000000112222221100111122112200112200222x11222211222200000022000011000011111111112222000000221122112x11220011111100000022000000112222221100111122112200112200220x11222211222200000022000011000011111111112222000000221122110x11220011111100000022000000112222221100111122112200112200221x11222211222200000022000011000011111111112222000000221122111x11221111001122221100112222221100220011001100220000001100002x1111000000111111110000002200002222002200110011220022001122222x11221111001122221100112222221100220011001100220000001100000x1111000000111111110000002200002222002200110011220022001122220x11221111001122221100112222221100220011001100220000001100001x1111000000111111110000002200002222002200110011220022001122221x12001122221100002222221100110000220022110000110000112222002x1200001122220022221100110000221111222200001111112211002222002x12001122221100002222221100110000220022110000110000112222000x1200001122220022221100110000221111222200001111112211002222000x12001122221100002222221100110000220022110000110000112222001x1200001122220022221100110000221111222200001111112211002222001x12221100110011221122000011000022221122222200000022110000222x1200221111112222111100220022110000222200111122222200111122002x12221100110011221122000011000022221122222200000022110000220x1200221111112222111100220022110000222200111122222200111122000x12221100110011221122000011000022221122222200000022110000221x1200221111112222111100220022110000222200111122222200111122001x1111001111220022220000112200000022112211222200002222220011112x1111221111221122221111000022000022002200000022002222220011112x1111001111220022220000112200000022112211222200002222220011110x1111221111221122221111000022000022002200000022002222220011110x1111001111220022220000112200000022112211222200002222220011111x1111221111221122221111000022000022002200000022002222220011111x1000000011002x102222111111002x1000000011000x102222111111000x1000000011001x102222111111001x1100000011002x112222111111002x1100000011000x112222111111000x1100000011001x112222111111001x1200000011002x122222111111002x1200000011000x122222111111000x1200000011001x122222111111001x100011001122222x101111220000222x100011001122220x101111220000220x100011001122221x101111220000221x110011001122222x111111220000222x110011001122220x111111220000220x110011001122221x111111220000221x120011001122222x121111220000222x120011001122220x121111220000220x120011001122221x121111220000221x1000110000222222112x102211111122000011112x1000110000222222110x102211111122000011110x1000110000222222111x102211111122000011111x1100110000222222112x112211111122000011112x1100110000222222110x112211111122000011110x1100110000222222111x112211111122000011111x1200110000222222112x122211111122000011112x1200110000222222110x122211111122000011110x1200110000222222111x122211111122000011111x1000112200111122112x1011002222111100112x1000112200111122110x1011002222111100110x1000112200111122111x1011002222111100111x1100112200111122112x1111002222111100112x1100112200111122110x1111002222111100110x1100112200111122111x1111002222111100111x1200112200111122112x1211002222111100112x1200112200111122110x1211002222111100110x1200112200111122111x1211002222111100111x100022222222001122222x10111111110011000022222x100022222222001122220x10111111110011000022220x100022222222001122221x10111111110011000022221x110022222222001122222x11111111110011000022222x110022222222001122220x11111111110011000022220x110022222222001122221x11111111110011000022221x120022222222001122222x12111111110011000022222x120022222222001122220x12111111110011000022220x120022222222001122221x12111111110011000022221x102200000011002200002x1011000011220011111111222x102200000011002200000x1011000011220011111111220x102200000011002200001x1011000011220011111111221x112200000011002200002x1111000011220011111111222x112200000011002200000x1111000011220011111111220x112200000011002200001x1111000011220011111111221x122200000011002200002x1211000011220011111111222x122200000011002200000x1211000011220011111111220x122200000011002200001x1211000011220011111111221x102222112200001111222x10001111111111222222112x102222112200001111220x10001111111111222222110x102222112200001111221x10001111111111222222111x112222112200001111222x11001111111111222222112x112222112200001111220x11001111111111222222110x112222112200001111221x11001111111111222222111x122222112200001111222x12001111111111222222112x122222112200001111220x12001111111111222222110x122222112200001111221x12001111111111222222111x1000001100220000000000222x101100001122112211001111112x1000001100220000000000220x101100001122112211001111110x1000001100220000000000221x101100001122112211001111111x1100001100220000000000222x111100001122112211001111112x1100001100220000000000220x111100001122112211001111110x1100001100220000000000221x111100001122112211001111111x1200001100220000000000222x121100001122112211001111112x1200001100220000000000220x121100001122112211001111110x1200001100220000000000221x121100001122112211001111111x1000220011002200110011222x10110000221111111122111122002x1000220011002200110011220x10110000221111111122111122000x1000220011002200110011221x10110000221111111122111122001x1100220011002200110011222x11110000221111111122111122002x1100220011002200110011220x11110000221111111122111122000x1100220011002200110011221x11110000221111111122111122001x1200220011002200110011222x12110000221111111122111122002x1200220011002200110011220x12110000221111111122111122000x1200220011002200110011221x12110000221111111122111122001x1022221122002200110011222x101111111100221122222211002x1022221122002200110011220x101111111100221122222211000x1022221122002200110011221x101111111100221122222211001x1122221122002200110011222x111111111100221122222211002x1122221122002200110011220x111111111100221122222211000x1122221122002200110011221x111111111100221122222211001x1222221122002200110011222x121111111100221122222211002x1222221122002200110011220x121111111100221122222211000x1222221122002200110011221x121111111100221122222211001x10001122222222222200002222112x10222200222200110011111111112222112x10001122222222222200002222110x10222200222200110011111111112222110x10001122222222222200002222111x10222200222200110011111111112222111x11001122222222222200002222112x11222200222200110011111111112222112x11001122222222222200002222110x11222200222200110011111111112222110x11001122222222222200002222111x11222200222200110011111111112222111x12001122222222222200002222112x12222200222200110011111111112222112x12001122222222222200002222110x12222200222200110011111111112222110x12001122222222222200002222111x12222200222200110011111111112222111x10002200111100222200001122002x1022112211002211111111111100112x10002200111100222200001122000x1022112211002211111111111100110x10002200111100222200001122001x1022112211002211111111111100111x11002200111100222200001122002x1122112211002211111111111100112x11002200111100222200001122000x1122112211002211111111111100110x11002200111100222200001122001x1122112211002211111111111100111x12002200111100222200001122002x1222112211002211111111111100112x12002200111100222200001122000x1222112211002211111111111100110x12002200111100222200001122001x1222112211002211111111111100111x10002200220011002222111100002x10111111110022222222221111112200112x10002200220011002222111100000x10111111110022222222221111112200110x10002200220011002222111100001x10111111110022222222221111112200111x11002200220011002222111100002x11111111110022222222221111112200112x11002200220011002222111100000x11111111110022222222221111112200110x11002200220011002222111100001x11111111110022222222221111112200111x12002200220011002222111100002x12111111110022222222221111112200112x12002200220011002222111100000x12111111110022222222221111112200110x12002200220011002222111100001x12111111110022222222221111112200111x10220022000022222222112200222x10000022001100002211111111112211222x10220022000022222222112200220x10000022001100002211111111112211220x10220022000022222222112200221x10000022001100002211111111112211221x11220022000022222222112200222x11000022001100002211111111112211222x11220022000022222222112200220x11000022001100002211111111112211220x11220022000022222222112200221x11000022001100002211111111112211221x12220022000022222222112200222x12000022001100002211111111112211222x12220022000022222222112200220x12000022001100002211111111112211220x12220022000022222222112200221x12000022001100002211111111112211221x10221100111100110022112200222x10111111111111000000110022222200222x10221100111100110022112200220x10111111111111000000110022222200220x10221100111100110022112200221x10111111111111000000110022222200221x11221100111100110022112200222x11111111111111000000110022222200222x11221100111100110022112200220x11111111111111000000110022222200220x11221100111100110022112200221x11111111111111000000110022222200221x12221100111100110022112200222x12111111111111000000110022222200222x12221100111100110022112200220x12111111111111000000110022222200220x12221100111100110022112200221x12111111111111000000110022222200221x10221111002222112200222211222x10111111002211111111110011222222002x10221111002222112200222211220x10111111002211111111110011222222000x10221111002222112200222211221x10111111002211111111110011222222001x11221111002222112200222211222x11111111002211111111110011222222002x11221111002222112200222211220x11111111002211111111110011222222000x11221111002222112200222211221x11111111002211111111110011222222001x12221111002222112200222211222x12111111002211111111110011222222002x12221111002222112200222211220x12111111002211111111110011222222000x12221111002222112200222211221x12111111002211111111110011222222001x1000000022001111221111220011112x101111220022002222112200111111112x1000000022001111221111220011110x101111220022002222112200111111110x1000000022001111221111220011111x101111220022002222112200111111111x1100000022001111221111220011112x111111220022002222112200111111112x1100000022001111221111220011110x111111220022002222112200111111110x1100000022001111221111220011111x111111220022002222112200111111111x1200000022001111221111220011112x121111220022002222112200111111112x1200000022001111221111220011110x121111220022002222112200111111110x1200000022001111221111220011111x121111220022002222112200111111111x1022112200112211221122111100002x1011112200221122221122111100002x1022112200112211221122111100000x1011112200221122221122111100000x1022112200112211221122111100001x1011112200221122221122111100001x1122112200112211221122111100002x1111112200221122221122111100002x1122112200112211221122111100000x1111112200221122221122111100000x1122112200112211221122111100001x1111112200221122221122111100001x1222112200112211221122111100002x1211112200221122221122111100002x1222112200112211221122111100000x1211112200221122221122111100000x1222112200112211221122111100001x1211112200221122221122111100001x10221122112200112200220000110022002x1011111100112222110011222222111111222x10221122112200112200220000110022000x1011111100112222110011222222111111220x10221122112200112200220000110022001x1011111100112222110011222222111111221x11221122112200112200220000110022002x1111111100112222110011222222111111222x11221122112200112200220000110022000x1111111100112222110011222222111111220x11221122112200112200220000110022001x1111111100112222110011222222111111221x12221122112200112200220000110022002x1211111100112222110011222222111111222x12221122112200112200220000110022000x1211111100112222110011222222111111220x12221122112200112200220000110022001x1211111100112222110011222222111111221x10222200222200222211220022110022222x10112211111122220011222211111122221111112x10222200222200222211220022110022220x10112211111122220011222211111122221111110x10222200222200222211220022110022221x10112211111122220011222211111122221111111x11222200222200222211220022110022222x11112211111122220011222211111122221111112x11222200222200222211220022110022220x11112211111122220011222211111122221111110x11222200222200222211220022110022221x11112211111122220011222211111122221111111x12222200222200222211220022110022222x12112211111122220011222211111122221111112x12222200222200222211220022110022220x12112211111122220011222211111122221111110x12222200222200222211220022110022221x12112211111122220011222211111122221111111x1022222222001100222200220000000000002x100011221122220011000000111111112222112x1022222222001100222200220000000000000x100011221122220011000000111111112222110x1022222222001100222200220000000000001x100011221122220011000000111111112222111x1122222222001100222200220000000000002x110011221122220011000000111111112222112x1122222222001100222200220000000000000x110011221122220011000000111111112222110x1122222222001100222200220000000000001x110011221122220011000000111111112222111x1222222222001100222200220000000000002x120011221122220011000000111111112222112x1222222222001100222200220000000000000x120011221122220011000000111111112222110x1222222222001100222200220000000000001x120011221122220011000000111111112222111x102211220022000022221122220022002222112x10002200001111112200220011002200222211112x102211220022000022221122220022002222110x10002200001111112200220011002200222211110x102211220022000022221122220022002222111x10002200001111112200220011002200222211111x112211220022000022221122220022002222112x11002200001111112200220011002200222211112x112211220022000022221122220022002222110x11002200001111112200220011002200222211110x112211220022000022221122220022002222111x11002200001111112200220011002200222211111x122211220022000022221122220022002222112x12002200001111112200220011002200222211112x122211220022000022221122220022002222110x12002200001111112200220011002200222211110x122211220022000022221122220022002222111x12002200001111112200220011002200222211111x10001100001111000000110000221122112200112x1022000022221111112200002200111100221100112x10001100001111000000110000221122112200110x1022000022221111112200002200111100221100110x10001100001111000000110000221122112200111x1022000022221111112200002200111100221100111x11001100001111000000110000221122112200112x1122000022221111112200002200111100221100112x11001100001111000000110000221122112200110x1122000022221111112200002200111100221100110x11001100001111000000110000221122112200111x1122000022221111112200002200111100221100111x12001100001111000000110000221122112200112x1222000022221111112200002200111100221100112x12001100001111000000110000221122112200110x1222000022221111112200002200111100221100110x12001100001111000000110000221122112200111x1222000022221111112200002200111100221100111x10001122112222001100110022001100110011002x10111111001122000011110000000011220022222x10001122112222001100110022001100110011000x10111111001122000011110000000011220022220x10001122112222001100110022001100110011001x10111111001122000011110000000011220022221x11001122112222001100110022001100110011002x11111111001122000011110000000011220022222x11001122112222001100110022001100110011000x11111111001122000011110000000011220022220x11001122112222001100110022001100110011001x11111111001122000011110000000011220022221x12001122112222001100110022001100110011002x12111111001122000011110000000011220022222x12001122112222001100110022001100110011000x12111111001122000011110000000011220022220x12001122112222001100110022001100110011001x12111111001122000011110000000011220022221x1000110011221100110000221122001100220011222x102211221111220011001122220000001111112222222x1000110011221100110000221122001100220011220x102211221111220011001122220000001111112222220x1000110011221100110000221122001100220011221x102211221111220011001122220000001111112222221x1100110011221100110000221122001100220011222x112211221111220011001122220000001111112222222x1100110011221100110000221122001100220011220x112211221111220011001122220000001111112222220x1100110011221100110000221122001100220011221x112211221111220011001122220000001111112222221x1200110011221100110000221122001100220011222x122211221111220011001122220000001111112222222x1200110011221100110000221122001100220011220x122211221111220011001122220000001111112222220x1200110011221100110000221122001100220011221x122211221111220011001122220000001111112222221x1022000011220022222222000011112211222222222x10110011000000111111222222111111222222220022112x1022000011220022222222000011112211222222220x10110011000000111111222222111111222222220022110x1022000011220022222222000011112211222222221x10110011000000111111222222111111222222220022111x1122000011220022222222000011112211222222222x11110011000000111111222222111111222222220022112x1122000011220022222222000011112211222222220x11110011000000111111222222111111222222220022110x1122000011220022222222000011112211222222221x11110011000000111111222222111111222222220022111x1222000011220022222222000011112211222222222x12110011000000111111222222111111222222220022112x1222000011220022222222000011112211222222220x12110011000000111111222222111111222222220022110x1222000011220022222222000011112211222222221x12110011000000111111222222111111222222220022111x1022000022000011000000111122000011110022112x100011110022221111112222110022001111111122112x1022000022000011000000111122000011110022110x100011110022221111112222110022001111111122110x1022000022000011000000111122000011110022111x100011110022221111112222110022001111111122111x1122000022000011000000111122000011110022112x110011110022221111112222110022001111111122112x1122000022000011000000111122000011110022110x110011110022221111112222110022001111111122110x1122000022000011000000111122000011110022111x110011110022221111112222110022001111111122111x1222000022000011000000111122000011110022112x120011110022221111112222110022001111111122112x1222000022000011000000111122000011110022110x120011110022221111112222110022001111111122110x1222000022000011000000111122000011110022111x120011110022221111112222110022001111111122111x1022220000111122111100112200112200222200002x1011220022222200000011111100111100111111111122222x1022220000111122111100112200112200222200000x1011220022222200000011111100111100111111111122220x1022220000111122111100112200112200222200001x1011220022222200000011111100111100111111111122221x1122220000111122111100112200112200222200002x1111220022222200000011111100111100111111111122222x1122220000111122111100112200112200222200000x1111220022222200000011111100111100111111111122220x1122220000111122111100112200112200222200001x1111220022222200000011111100111100111111111122221x1222220000111122111100112200112200222200002x1211220022222200000011111100111100111111111122222x1222220000111122111100112200112200222200000x1211220022222200000011111100111100111111111122220x1222220000111122111100112200112200222200001x1211220022222200000011111100111100111111111122221x100011001111001122112222221122110022220000002x1011002200000011001111110000221111111100110000112x100011001111001122112222221122110022220000000x1011002200000011001111110000221111111100110000110x100011001111001122112222221122110022220000001x1011002200000011001111110000221111111100110000111x110011001111001122112222221122110022220000002x1111002200000011001111110000221111111100110000112x110011001111001122112222221122110022220000000x1111002200000011001111110000221111111100110000110x110011001111001122112222221122110022220000001x1111002200000011001111110000221111111100110000111x120011001111001122112222221122110022220000002x1211002200000011001111110000221111111100110000112x120011001111001122112222221122110022220000000x1211002200000011001111110000221111111100110000110x120011001111001122112222221122110022220000001x1211002200000011001111110000221111111100110000111x102200222200110011002200110022222222001122002x10111111221100000011221122221111111122110000111111111111002x102200222200110011002200110022222222001122000x10111111221100000011221122221111111122110000111111111111000x102200222200110011002200110022222222001122001x10111111221100000011221122221111111122110000111111111111001x112200222200110011002200110022222222001122002x11111111221100000011221122221111111122110000111111111111002x112200222200110011002200110022222222001122000x11111111221100000011221122221111111122110000111111111111000x112200222200110011002200110022222222001122001x11111111221100000011221122221111111122110000111111111111001x122200222200110011002200110022222222001122002x12111111221100000011221122221111111122110000111111111111002x122200222200110011002200110022222222001122000x12111111221100000011221122221111111122110000111111111111000x122200222200110011002200110022222222001122001x12111111221100000011221122221111111122110000111111111111001x10000022221122001100002211112200221100110000002x102211002222221111111111111111220011000000111100002x10000022221122001100002211112200221100110000000x102211002222221111111111111111220011000000111100000x10000022221122001100002211112200221100110000001x102211002222221111111111111111220011000000111100001x11000022221122001100002211112200221100110000002x112211002222221111111111111111220011000000111100002x11000022221122001100002211112200221100110000000x112211002222221111111111111111220011000000111100000x11000022221122001100002211112200221100110000001x112211002222221111111111111111220011000000111100001x12000022221122001100002211112200221100110000002x122211002222221111111111111111220011000000111100002x12000022221122001100002211112200221100110000000x122211002222221111111111111111220011000000111100000x12000022221122001100002211112200221100110000001x122211002222221111111111111111220011000000111100001x10001100221111221122220011112200112200221122112x1011221111000000112211002211112200112200111111112x10001100221111221122220011112200112200221122110x1011221111000000112211002211112200112200111111110x10001100221111221122220011112200112200221122111x1011221111000000112211002211112200112200111111111x11001100221111221122220011112200112200221122112x1111221111000000112211002211112200112200111111112x11001100221111221122220011112200112200221122110x1111221111000000112211002211112200112200111111110x11001100221111221122220011112200112200221122111x1111221111000000112211002211112200112200111111111x12001100221111221122220011112200112200221122112x1211221111000000112211002211112200112200111111112x12001100221111221122220011112200112200221122110x1211221111000000112211002211112200112200111111110x12001100221111221122220011112200112200221122111x1211221111000000112211002211112200112200111111111x10221111112222001100110022000000001122002222222x1011221122001111111100001111002211221111000000112x10221111112222001100110022000000001122002222220x1011221122001111111100001111002211221111000000110x10221111112222001100110022000000001122002222221x1011221122001111111100001111002211221111000000111x11221111112222001100110022000000001122002222222x1111221122001111111100001111002211221111000000112x11221111112222001100110022000000001122002222220x1111221122001111111100001111002211221111000000110x11221111112222001100110022000000001122002222221x1111221122001111111100001111002211221111000000111x12221111112222001100110022000000001122002222222x1211221122001111111100001111002211221111000000112x12221111112222001100110022000000001122002222220x1211221122001111111100001111002211221111000000110x12221111112222001100110022000000001122002222221x1211221122001111111100001111002211221111000000111x10221122001111222200111100112211002222222211222x1011111111112200111111222222110011112200221100002x10221122001111222200111100112211002222222211220x1011111111112200111111222222110011112200221100000x10221122001111222200111100112211002222222211221x1011111111112200111111222222110011112200221100001x11221122001111222200111100112211002222222211222x1111111111112200111111222222110011112200221100002x11221122001111222200111100112211002222222211220x1111111111112200111111222222110011112200221100000x11221122001111222200111100112211002222222211221x1111111111112200111111222222110011112200221100001x12221122001111222200111100112211002222222211222x1211111111112200111111222222110011112200221100002x12221122001111222200111100112211002222222211220x1211111111112200111111222222110011112200221100000x12221122001111222200111100112211002222222211221x1211111111112200111111222222110011112200221100001x10221122220022112200220022002222000011000022112x1000221100001100221122111100000022222211221111112x10221122220022112200220022002222000011000022110x1000221100001100221122111100000022222211221111110x10221122220022112200220022002222000011000022111x1000221100001100221122111100000022222211221111111x11221122220022112200220022002222000011000022112x1100221100001100221122111100000022222211221111112x11221122220022112200220022002222000011000022110x1100221100001100221122111100000022222211221111110x11221122220022112200220022002222000011000022111x1100221100001100221122111100000022222211221111111x12221122220022112200220022002222000011000022112x1200221100001100221122111100000022222211221111112x12221122220022112200220022002222000011000022110x1200221100001100221122111100000022222211221111110x12221122220022112200220022002222000011000022111x1200221100001100221122111100000022222211221111111x1000001122221122112200111100222200002211000011222x102200111100112222002211112200111111110022221111112x1000001122221122112200111100222200002211000011220x102200111100112222002211112200111111110022221111110x1000001122221122112200111100222200002211000011221x102200111100112222002211112200111111110022221111111x1100001122221122112200111100222200002211000011222x112200111100112222002211112200111111110022221111112x1100001122221122112200111100222200002211000011220x112200111100112222002211112200111111110022221111110x1100001122221122112200111100222200002211000011221x112200111100112222002211112200111111110022221111111x1200001122221122112200111100222200002211000011222x122200111100112222002211112200111111110022221111112x1200001122221122112200111100222200002211000011220x122200111100112222002211112200111111110022221111110x1200001122221122112200111100222200002211000011221x122200111100112222002211112200111111110022221111111x1000222211221100221122001100111111222200220022112x10220011111111111111220022221111110022002222221111002x1000222211221100221122001100111111222200220022110x10220011111111111111220022221111110022002222221111000x1000222211221100221122001100111111222200220022111x10220011111111111111220022221111110022002222221111001x1100222211221100221122001100111111222200220022112x11220011111111111111220022221111110022002222221111002x1100222211221100221122001100111111222200220022110x11220011111111111111220022221111110022002222221111000x1100222211221100221122001100111111222200220022111x11220011111111111111220022221111110022002222221111001x1200222211221100221122001100111111222200220022112x12220011111111111111220022221111110022002222221111002x1200222211221100221122001100111111222200220022110x12220011111111111111220022221111110022002222221111000x1200222211221100221122001100111111222200220022111x12220011111111111111220022221111110022002222221111001x100011002200001122112222220000000000001122000000002x1022110000220011001122221111112222111111112222222200002x100011002200001122112222220000000000001122000000000x1022110000220011001122221111112222111111112222222200000x100011002200001122112222220000000000001122000000001x1022110000220011001122221111112222111111112222222200001x110011002200001122112222220000000000001122000000002x1122110000220011001122221111112222111111112222222200002x110011002200001122112222220000000000001122000000000x1122110000220011001122221111112222111111112222222200000x110011002200001122112222220000000000001122000000001x1122110000220011001122221111112222111111112222222200001x120011002200001122112222220000000000001122000000002x1222110000220011001122221111112222111111112222222200002x120011002200001122112222220000000000001122000000000x1222110000220011001122221111112222111111112222222200000x120011002200001122112222220000000000001122000000001x1222110000220011001122221111112222111111112222222200001x100011002211002200111122221122110000001111110022222x10111111111122220000222200112200002222220011002211222x100011002211002200111122221122110000001111110022220x10111111111122220000222200112200002222220011002211220x100011002211002200111122221122110000001111110022221x10111111111122220000222200112200002222220011002211221x110011002211002200111122221122110000001111110022222x11111111111122220000222200112200002222220011002211222x110011002211002200111122221122110000001111110022220x11111111111122220000222200112200002222220011002211220x110011002211002200111122221122110000001111110022221x11111111111122220000222200112200002222220011002211221x120011002211002200111122221122110000001111110022222x12111111111122220000222200112200002222220011002211222x120011002211002200111122221122110000001111110022220x12111111111122220000222200112200002222220011002211220x120011002211002200111122221122110000001111110022221x12111111111122220000222200112200002222220011002211221x100022110011000011000000220000220022221100220022002x1011002222001111222211222222221111111100002222110000222x100022110011000011000000220000220022221100220022000x1011002222001111222211222222221111111100002222110000220x100022110011000011000000220000220022221100220022001x1011002222001111222211222222221111111100002222110000221x110022110011000011000000220000220022221100220022002x1111002222001111222211222222221111111100002222110000222x110022110011000011000000220000220022221100220022000x1111002222001111222211222222221111111100002222110000220x110022110011000011000000220000220022221100220022001x1111002222001111222211222222221111111100002222110000221x120022110011000011000000220000220022221100220022002x1211002222001111222211222222221111111100002222110000222x120022110011000011000000220000220022221100220022000x1211002222001111222211222222221111111100002222110000220x120022110011000011000000220000220022221100220022001x1211002222001111222211222222221111111100002222110000221x10000000000000000022000011002211000022112222110011112x1011111111000011001122221111111100220022001111000000002x10000000000000000022000011002211000022112222110011110x1011111111000011001122221111111100220022001111000000000x10000000000000000022000011002211000022112222110011111x1011111111000011001122221111111100220022001111000000001x11000000000000000022000011002211000022112222110011112x1111111111000011001122221111111100220022001111000000002x11000000000000000022000011002211000022112222110011110x1111111111000011001122221111111100220022001111000000000x11000000000000000022000011002211000022112222110011111x1111111111000011001122221111111100220022001111000000001x12000000000000000022000011002211000022112222110011112x1211111111000011001122221111111100220022001111000000002x12000000000000000022000011002211000022112222110011110x1211111111000011001122221111111100220022001111000000000x12000000000000000022000011002211000022112222110011111x1211111111000011001122221111111100220022001111000000001x10002222110011002222002200000011002222220022221122112x1011000000222211111111221100220000220022111100000022112x10002222110011002222002200000011002222220022221122110x1011000000222211111111221100220000220022111100000022110x10002222110011002222002200000011002222220022221122111x1011000000222211111111221100220000220022111100000022111x11002222110011002222002200000011002222220022221122112x1111000000222211111111221100220000220022111100000022112x11002222110011002222002200000011002222220022221122110x1111000000222211111111221100220000220022111100000022110x11002222110011002222002200000011002222220022221122111x1111000000222211111111221100220000220022111100000022111x12002222110011002222002200000011002222220022221122112x1211000000222211111111221100220000220022111100000022112x12002222110011002222002200000011002222220022221122110x1211000000222211111111221100220000220022111100000022110x12002222110011002222002200000011002222220022221122111x1211000000222211111111221100220000220022111100000022111x10002222222200110022000011222211222200000000221100112x1022111111221122002211110000221111002211222200222211112x10002222222200110022000011222211222200000000221100110x1022111111221122002211110000221111002211222200222211110x10002222222200110022000011222211222200000000221100111x1022111111221122002211110000221111002211222200222211111x11002222222200110022000011222211222200000000221100112x1122111111221122002211110000221111002211222200222211112x11002222222200110022000011222211222200000000221100110x1122111111221122002211110000221111002211222200222211110x11002222222200110022000011222211222200000000221100111x1122111111221122002211110000221111002211222200222211111x12002222222200110022000011222211222200000000221100112x1222111111221122002211110000221111002211222200222211112x12002222222200110022000011222211222200000000221100110x1222111111221122002211110000221111002211222200222211110x12002222222200110022000011222211222200000000221100111x1222111111221122002211110000221111002211222200222211111x10220000000022001100001100001100000000221100220022112x101100220011221111110011002222220011002222222211111100112x10220000000022001100001100001100000000221100220022110x101100220011221111110011002222220011002222222211111100110x10220000000022001100001100001100000000221100220022111x101100220011221111110011002222220011002222222211111100111x11220000000022001100001100001100000000221100220022112x111100220011221111110011002222220011002222222211111100112x11220000000022001100001100001100000000221100220022110x111100220011221111110011002222220011002222222211111100110x11220000000022001100001100001100000000221100220022111x111100220011221111110011002222220011002222222211111100111x12220000000022001100001100001100000000221100220022112x121100220011221111110011002222220011002222222211111100112x12220000000022001100001100001100000000221100220022110x121100220011221111110011002222220011002222222211111100110x12220000000022001100001100001100000000221100220022111x121100220011221111110011002222220011002222222211111100111x10221122221111222200112222002200110022111100002200222x101100112211001111111100112222221111111111000022110022222x10221122221111222200112222002200110022111100002200220x101100112211001111111100112222221111111111000022110022220x10221122221111222200112222002200110022111100002200221x101100112211001111111100112222221111111111000022110022221x11221122221111222200112222002200110022111100002200222x111100112211001111111100112222221111111111000022110022222x11221122221111222200112222002200110022111100002200220x111100112211001111111100112222221111111111000022110022220x11221122221111222200112222002200110022111100002200221x111100112211001111111100112222221111111111000022110022221x12221122221111222200112222002200110022111100002200222x121100112211001111111100112222221111111111000022110022222x12221122221111222200112222002200110022111100002200220x121100112211001111111100112222221111111111000022110022220x12221122221111222200112222002200110022111100002200221x121100112211001111111100112222221111111111000022110022221x1000221100002211002200001111001122000022000022222222002x10221111110022220000221100110011220000221111112200112222222x1000221100002211002200001111001122000022000022222222000x10221111110022220000221100110011220000221111112200112222220x1000221100002211002200001111001122000022000022222222001x10221111110022220000221100110011220000221111112200112222221x1100221100002211002200001111001122000022000022222222002x11221111110022220000221100110011220000221111112200112222222x1100221100002211002200001111001122000022000022222222000x11221111110022220000221100110011220000221111112200112222220x1100221100002211002200001111001122000022000022222222001x11221111110022220000221100110011220000221111112200112222221x1200221100002211002200001111001122000022000022222222002x12221111110022220000221100110011220000221111112200112222222x1200221100002211002200001111001122000022000022222222000x12221111110022220000221100110011220000221111112200112222220x1200221100002211002200001111001122000022000022222222001x12221111110022220000221100110011220000221111112200112222221x1000221122000000220022001111221122001122220022220011222x101100001111222222222222111122111100001111112200002200222x1000221122000000220022001111221122001122220022220011220x101100001111222222222222111122111100001111112200002200220x1000221122000000220022001111221122001122220022220011221x101100001111222222222222111122111100001111112200002200221x1100221122000000220022001111221122001122220022220011222x111100001111222222222222111122111100001111112200002200222x1100221122000000220022001111221122001122220022220011220x111100001111222222222222111122111100001111112200002200220x1100221122000000220022001111221122001122220022220011221x111100001111222222222222111122111100001111112200002200221x1200221122000000220022001111221122001122220022220011222x121100001111222222222222111122111100001111112200002200222x1200221122000000220022001111221122001122220022220011220x121100001111222222222222111122111100001111112200002200220x1200221122000000220022001111221122001122220022220011221x121100001111222222222222111122111100001111112200002200221x100000220022002222110022112211002211110022110022000011002x1011111111110011000022222200112200221122000000111111220000002x100000220022002222110022112211002211110022110022000011000x1011111111110011000022222200112200221122000000111111220000000x100000220022002222110022112211002211110022110022000011001x1011111111110011000022222200112200221122000000111111220000001x110000220022002222110022112211002211110022110022000011002x1111111111110011000022222200112200221122000000111111220000002x110000220022002222110022112211002211110022110022000011000x1111111111110011000022222200112200221122000000111111220000000x110000220022002222110022112211002211110022110022000011001x1111111111110011000022222200112200221122000000111111220000001x120000220022002222110022112211002211110022110022000011002x1211111111110011000022222200112200221122000000111111220000002x120000220022002222110022112211002211110022110022000011000x1211111111110011000022222200112200221122000000111111220000000x120000220022002222110022112211002211110022110022000011001x1211111111110011000022222200112200221122000000111111220000001x100011002222222200221122220000001100111122001100110000222x1011111111220022222200000000110022112211221100222211220022112x100011002222222200221122220000001100111122001100110000220x1011111111220022222200000000110022112211221100222211220022110x100011002222222200221122220000001100111122001100110000221x1011111111220022222200000000110022112211221100222211220022111x110011002222222200221122220000001100111122001100110000222x1111111111220022222200000000110022112211221100222211220022112x110011002222222200221122220000001100111122001100110000220x1111111111220022222200000000110022112211221100222211220022110x110011002222222200221122220000001100111122001100110000221x1111111111220022222200000000110022112211221100222211220022111x120011002222222200221122220000001100111122001100110000222x1211111111220022222200000000110022112211221100222211220022112x120011002222222200221122220000001100111122001100110000220x1211111111220022222200000000110022112211221100222211220022110x120011002222222200221122220000001100111122001100110000221x1211111111220022222200000000110022112211221100222211220022111x102211110022222211002200110000221100000022111100001111112x10112211111122000000002200222211111122221111111111110011222x102211110022222211002200110000221100000022111100001111110x10112211111122000000002200222211111122221111111111110011220x102211110022222211002200110000221100000022111100001111111x10112211111122000000002200222211111122221111111111110011221x112211110022222211002200110000221100000022111100001111112x11112211111122000000002200222211111122221111111111110011222x112211110022222211002200110000221100000022111100001111110x11112211111122000000002200222211111122221111111111110011220x112211110022222211002200110000221100000022111100001111111x11112211111122000000002200222211111122221111111111110011221x122211110022222211002200110000221100000022111100001111112x12112211111122000000002200222211111122221111111111110011222x122211110022222211002200110000221100000022111100001111110x12112211111122000000002200222211111122221111111111110011220x122211110022222211002200110000221100000022111100001111111x12112211111122000000002200222211111122221111111111110011221x10002222111122220011221122220022221122222222222200002211002x102222001100000000000011111111111100111111112211110011220022222x10002222111122220011221122220022221122222222222200002211000x102222001100000000000011111111111100111111112211110011220022220x10002222111122220011221122220022221122222222222200002211001x102222001100000000000011111111111100111111112211110011220022221x11002222111122220011221122220022221122222222222200002211002x112222001100000000000011111111111100111111112211110011220022222x11002222111122220011221122220022221122222222222200002211000x112222001100000000000011111111111100111111112211110011220022220x11002222111122220011221122220022221122222222222200002211001x112222001100000000000011111111111100111111112211110011220022221x12002222111122220011221122220022221122222222222200002211002x122222001100000000000011111111111100111111112211110011220022222x12002222111122220011221122220022221122222222222200002211000x122222001100000000000011111111111100111111112211110011220022220x12002222111122220011221122220022221122222222222200002211001x122222001100000000000011111111111100111111112211110011220022221x10220000222200000000000022001100222200222200000022220022222x101122001100222211220011111111222200111122001100110011112222222x10220000222200000000000022001100222200222200000022220022220x101122001100222211220011111111222200111122001100110011112222220x10220000222200000000000022001100222200222200000022220022221x101122001100222211220011111111222200111122001100110011112222221x11220000222200000000000022001100222200222200000022220022222x111122001100222211220011111111222200111122001100110011112222222x11220000222200000000000022001100222200222200000022220022220x111122001100222211220011111111222200111122001100110011112222220x11220000222200000000000022001100222200222200000022220022221x111122001100222211220011111111222200111122001100110011112222221x12220000222200000000000022001100222200222200000022220022222x121122001100222211220011111111222200111122001100110011112222222x12220000222200000000000022001100222200222200000022220022220x121122001100222211220011111111222200111122001100110011112222220x12220000222200000000000022001100222200222200000022220022221x121122001100222211220011111111222200111122001100110011112222221x10220011222222001122000022001111221100000011221111220022002x1000221122001111001111111100000011222222110000110000111100002x10220011222222001122000022001111221100000011221111220022000x1000221122001111001111111100000011222222110000110000111100000x10220011222222001122000022001111221100000011221111220022001x1000221122001111001111111100000011222222110000110000111100001x11220011222222001122000022001111221100000011221111220022002x1100221122001111001111111100000011222222110000110000111100002x11220011222222001122000022001111221100000011221111220022000x1100221122001111001111111100000011222222110000110000111100000x11220011222222001122000022001111221100000011221111220022001x1100221122001111001111111100000011222222110000110000111100001x12220011222222001122000022001111221100000011221111220022002x1200221122001111001111111100000011222222110000110000111100002x12220011222222001122000022001111221100000011221111220022000x1200221122001111001111111100000011222222110000110000111100000x12220011222222001122000022001111221100000011221111220022001x1200221122001111001111111100000011222222110000110000111100001x10221100221100220000001122222211220000111122110000000000002x1011002211111111112200221100111111222211110022221122110022002x10221100221100220000001122222211220000111122110000000000000x1011002211111111112200221100111111222211110022221122110022000x10221100221100220000001122222211220000111122110000000000001x1011002211111111112200221100111111222211110022221122110022001x11221100221100220000001122222211220000111122110000000000002x1111002211111111112200221100111111222211110022221122110022002x11221100221100220000001122222211220000111122110000000000000x1111002211111111112200221100111111222211110022221122110022000x11221100221100220000001122222211220000111122110000000000001x1111002211111111112200221100111111222211110022221122110022001x12221100221100220000001122222211220000111122110000000000002x1211002211111111112200221100111111222211110022221122110022002x12221100221100220000001122222211220000111122110000000000000x1211002211111111112200221100111111222211110022221122110022000x12221100221100220000001122222211220000111122110000000000001x1211002211111111112200221100111111222211110022221122110022001x10221111001111001122112211222200112200110000002200222222002x10111111002222001111001111222222110022002200001100222200222x10221111001111001122112211222200112200110000002200222222000x10111111002222001111001111222222110022002200001100222200220x10221111001111001122112211222200112200110000002200222222001x10111111002222001111001111222222110022002200001100222200221x11221111001111001122112211222200112200110000002200222222002x11111111002222001111001111222222110022002200001100222200222x11221111001111001122112211222200112200110000002200222222000x11111111002222001111001111222222110022002200001100222200220x11221111001111001122112211222200112200110000002200222222001x11111111002222001111001111222222110022002200001100222200221x12221111001111001122112211222200112200110000002200222222002x12111111002222001111001111222222110022002200001100222200222x12221111001111001122112211222200112200110000002200222222000x12111111002222001111001111222222110022002200001100222200220x12221111001111001122112211222200112200110000002200222222001x12111111002222001111001111222222110022002200001100222200221x10221122112222112211221111002222002211221122001100002211002x101111112222111122112211221122001111221100002222002211111111222x10221122112222112211221111002222002211221122001100002211000x101111112222111122112211221122001111221100002222002211111111220x10221122112222112211221111002222002211221122001100002211001x101111112222111122112211221122001111221100002222002211111111221x11221122112222112211221111002222002211221122001100002211002x111111112222111122112211221122001111221100002222002211111111222x11221122112222112211221111002222002211221122001100002211000x111111112222111122112211221122001111221100002222002211111111220x11221122112222112211221111002222002211221122001100002211001x111111112222111122112211221122001111221100002222002211111111221x12221122112222112211221111002222002211221122001100002211002x121111112222111122112211221122001111221100002222002211111111222x12221122112222112211221111002222002211221122001100002211000x121111112222111122112211221122001111221100002222002211111111220x12221122112222112211221111002222002211221122001100002211001x121111112222111122112211221122001111221100002222002211111111221x10222200000022001100112211002200222211000000110022001100222x101100112200001122000022000022002200000022222211111111001122112x10222200000022001100112211002200222211000000110022001100220x101100112200001122000022000022002200000022222211111111001122110x10222200000022001100112211002200222211000000110022001100221x101100112200001122000022000022002200000022222211111111001122111x11222200000022001100112211002200222211000000110022001100222x111100112200001122000022000022002200000022222211111111001122112x11222200000022001100112211002200222211000000110022001100220x111100112200001122000022000022002200000022222211111111001122110x11222200000022001100112211002200222211000000110022001100221x111100112200001122000022000022002200000022222211111111001122111x12222200000022001100112211002200222211000000110022001100222x121100112200001122000022000022002200000022222211111111001122112x12222200000022001100112211002200222211000000110022001100220x121100112200001122000022000022002200000022222211111111001122110x12222200000022001100112211002200222211000000110022001100221x121100112200001122000022000022002200000022222211111111001122111x1000111100110011220022002200000022111122111111000022001100002x1022111100220000000022002200110011111111112211000011220000002x1000111100110011220022002200000022111122111111000022001100000x1022111100220000000022002200110011111111112211000011220000000x1000111100110011220022002200000022111122111111000022001100001x1022111100220000000022002200110011111111112211000011220000001x1100111100110011220022002200000022111122111111000022001100002x1122111100220000000022002200110011111111112211000011220000002x1100111100110011220022002200000022111122111111000022001100000x1122111100220000000022002200110011111111112211000011220000000x1100111100110011220022002200000022111122111111000022001100001x1122111100220000000022002200110011111111112211000011220000001x1200111100110011220022002200000022111122111111000022001100002x1222111100220000000022002200110011111111112211000011220000002x1200111100110011220022002200000022111122111111000022001100000x1222111100220000000022002200110011111111112211000011220000000x1200111100110011220022002200000022111122111111000022001100001x1222111100220000000022002200110011111111112211000011220000001x112211112011100111102111221111111111121111011112101111002211112222001111112200220022222200222x1111221122112222111111112222002211000000112x11002211112222001111112200220022222200220x1111221122112222111111112222002211000000110x111122110011112222222222001111002222002211222x11111111002200110011002200001122220000111122112x111122110011112222222222001111002222002211220x11111111002200110011002200001122220000111122110x121122221100220011002211110000220000111100222x12222200220000001122000022002200220022111111112x121122221100220011002211110000220000111100220x12222200220000001122000022002200220022111111110x10220000111100221111001122221100000000002200222x10111111002222220000110022112200110000000000222x10220000111100221111001122221100000000002200220x10111111002222220000110022112200110000000000220x10220000111100221111001122221100000000002200221x10111111002222220000110022112200110000000000221x1100222222110011110022001122000000221111221122111122111x111111001122111122222200110000112222222211111100000022221x10001100000022002200112222001122110011000000002222002200222x10110022000011222200112222001100000000000000220000221122222x10001100000022002200112222001122110011000000002222002200220x10110022000011222200112222001100000000000000220000221122220x10001100000022002200112222001122110011000000002222002200221x10110022000011222200112222001100000000000000220000221122221x1000112200111122112x1011002222111100112x1000112200111122110x1011002222111100110x1000112200111122111x1011002222111100111x1200112200111122112x1211002222111100112x1200112200111122110x1211002222111100110x1200112200111122111x1211002222111100111x1000000022001111221111220011112x101111220022002222112200111111112x1000000022001111221111220011110x101111220022002222112200111111110x1000000022001111221111220011111x101111220022002222112200111111111x1200000022001111221111220011112x121111220022002222112200111111112x1200000022001111221111220011110x121111220022002222112200111111110x1200000022001111221111220011111x121111220022002222112200111111111x100011002211002200111122221122110000001111110022222x10111111111122220000222200112200002222220011002211222x100011002211002200111122221122110000001111110022220x10111111111122220000222200112200002222220011002211220x100011002211002200111122221122110000001111110022221x10111111111122220000222200112200002222220011002211221x120011002211002200111122221122110000001111110022222x12111111111122220000222200112200002222220011002211222x120011002211002200111122221122110000001111110022220x12111111111122220000222200112200002222220011002211220x120011002211002200111122221122110000001111110022221x12111111111122220000222200112200002222220011002211221x100011002222222200221122220000001100111122001100110000222x1011111111220022222200000000110022112211221100222211220022112x100011002222222200221122220000001100111122001100110000220x1011111111220022222200000000110022112211221100222211220022110x120011002222222200221122220000001100111122001100110000222x1211111111220022222200000000110022112211221100222211220022112x120011002222222200221122220000001100111122001100110000220x1211111111220022222200000000110022112211221100222211220022110x11002211112222001111112200220022222200222x1111221122112222111111112222002211000000112x11002211112222001111112200220022222200222x121122112222111111112222002211000000112x11002211112222001111112200220022222200222x12112222111111112222002211000000112x11002211112222001111112200220022222200222x12111111112222002211000000112x11002211112222001111112200220022222200222x111111112222002211000000112x11002211112222001111112200220022222200222x1111112222002211000000112x11002211112222001111112200220022222200222x11112222002211000000112x11002211112222001111112200220022222200222x12002211000000112x11002211112222001111112200220022222200222x102211000000112x11002211112222001111112200220022222200222x1211000000112x11002211112222001111112200220022222200222x11000000112x11002211112222001111112200220022222200222x100000112x11002211112222001111112200220022222200222x1000112x11002211112222001111112200220022222200220x1111221122112222111111112222002211000000110x11002211112222001111112200220022222200220x121122112222111111112222002211000000110x11002211112222001111112200220022222200220x12112222111111112222002211000000110x11002211112222001111112200220022222200220x12111111112222002211000000110x11002211112222001111112200220022222200220x111111112222002211000000110x11002211112222001111112200220022222200220x1111112222002211000000110x11002211112222001111112200220022222200220x11112222002211000000110x11002211112222001111112200220022222200220x12002211000000110x11002211112222001111112200220022222200220x102211000000110x11002211112222001111112200220022222200220x1211000000110x11002211112222001111112200220022222200220x11000000110x11002211112222001111112200220022222200220x100000110x11002211112222001111112200220022222200220x1000110x11002211112222001111112200220022222200220x110x111122110011112222222222001111002222002211222x11111111002200110011002200001122220000111122112x111122110011112222222222001111002222002211222x111111002200110011002200001122220000111122112x111122110011112222222222001111002222002211222x1111002200110011002200001122220000111122112x111122110011112222222222001111002222002211222x11002200110011002200001122220000111122112x111122110011112222222222001111002222002211222x102200110011002200001122220000111122112x111122110011112222222222001111002222002211222x1200110011002200001122220000111122112x111122110011112222222222001111002222002211222x110011002200001122220000111122112x111122110011112222222222001111002222002211222x11002200001122220000111122112x111122110011112222222222001111002222002211222x102200001122220000111122112x111122110011112222222222001111002222002211222x1200001122220000111122112x111122110011112222222222001111002222002211222x10001122220000111122112x111122110011112222222222001111002222002211222x120000111122112x111122110011112222222222001111002222002211222x1000111122112x111122110011112222222222001111002222002211222x111122112x111122110011112222222222001111002222002211222x12112x111122110011112222222222001111002222002211220x11111111002200110011002200001122220000111122110x111122110011112222222222001111002222002211220x111111002200110011002200001122220000111122110x111122110011112222222222001111002222002211220x1111002200110011002200001122220000111122110x111122110011112222222222001111002222002211220x11002200110011002200001122220000111122110x111122110011112222222222001111002222002211220x102200110011002200001122220000111122110x111122110011112222222222001111002222002211220x1200110011002200001122220000111122110x111122110011112222222222001111002222002211220x110011002200001122220000111122110x111122110011112222222222001111002222002211220x11002200001122220000111122110x111122110011112222222222001111002222002211220x102200001122220000111122110x111122110011112222222222001111002222002211220x1200001122220000111122110x111122110011112222222222001111002222002211220x10001122220000111122110x111122110011112222222222001111002222002211220x120000111122110x111122110011112222222222001111002222002211220x1000111122110x111122110011112222222222001111002222002211220x111122110x111122110011112222222222001111002222002211220x12110x111122110011112222222222001111002222002211220x110x121122221100220011002211110000220000111100222x1200220000001122000022002200220022111111112x121122221100220011002211110000220000111100222x10220000001122000022002200220022111111112x121122221100220011002211110000220000111100222x120000001122000022002200220022111111112x121122221100220011002211110000220000111100222x1000001122000022002200220022111111112x121122221100220011002211110000220000111100222x10001122000022002200220022111111112x121122221100220011002211110000220000111100222x12000022002200220022111111112x121122221100220011002211110000220000111100222x100022002200220022111111112x121122221100220011002211110000220000111100222x1022002200220022111111112x121122221100220011002211110000220000111100222x12002200220022111111112x121122221100220011002211110000220000111100222x102200220022111111112x121122221100220011002211110000220000111100222x1200220022111111112x121122221100220011002211110000220000111100222x10220022111111112x121122221100220011002211110000220000111100222x120022111111112x121122221100220011002211110000220000111100222x1022111111112x121122221100220011002211110000220000111100222x12111111112x121122221100220011002211110000220000111100222x111111112x121122221100220011002211110000220000111100222x1111112x121122221100220011002211110000220000111100222x11112x121122221100220011002211110000220000111100220x1200220000001122000022002200220022111111110x121122221100220011002211110000220000111100220x10220000001122000022002200220022111111110x121122221100220011002211110000220000111100220x120000001122000022002200220022111111110x121122221100220011002211110000220000111100220x1000001122000022002200220022111111110x121122221100220011002211110000220000111100220x10001122000022002200220022111111110x121122221100220011002211110000220000111100220x12000022002200220022111111110x121122221100220011002211110000220000111100220x100022002200220022111111110x121122221100220011002211110000220000111100220x1022002200220022111111110x121122221100220011002211110000220000111100220x12002200220022111111110x121122221100220011002211110000220000111100220x102200220022111111110x121122221100220011002211110000220000111100220x1200220022111111110x121122221100220011002211110000220000111100220x10220022111111110x121122221100220011002211110000220000111100220x120022111111110x121122221100220011002211110000220000111100220x1022111111110x121122221100220011002211110000220000111100220x12111111110x121122221100220011002211110000220000111100220x111111110x121122221100220011002211110000220000111100220x1111110x121122221100220011002211110000220000111100220x11110x121122221100220011002211110000220000111100220x110x10220000111100221111001122221100000000002200222x111111002222220000110022112200110000000000222x10220000111100221111001122221100000000002200222x1111002222220000110022112200110000000000222x10220000111100221111001122221100000000002200222x11002222220000110022112200110000000000222x10220000111100221111001122221100000000002200222x102222220000110022112200110000000000222x10220000111100221111001122221100000000002200222x120000110022112200110000000000222x10220000111100221111001122221100000000002200222x1000110022112200110000000000222x10220000111100221111001122221100000000002200222x110022112200110000000000222x10220000111100221111001122221100000000002200222x1022112200110000000000222x10220000111100221111001122221100000000002200222x12112200110000000000222x10220000111100221111001122221100000000002200222x1200110000000000222x10220000111100221111001122221100000000002200222x110000000000222x10220000111100221111001122221100000000002200222x1000000000222x10220000111100221111001122221100000000002200222x10000000222x10220000111100221111001122221100000000002200222x100000222x10220000111100221111001122221100000000002200222x1000222x10220000111100221111001122221100000000002200220x111111002222220000110022112200110000000000220x10220000111100221111001122221100000000002200220x1111002222220000110022112200110000000000220x10220000111100221111001122221100000000002200220x11002222220000110022112200110000000000220x10220000111100221111001122221100000000002200220x102222220000110022112200110000000000220x10220000111100221111001122221100000000002200220x120000110022112200110000000000220x10220000111100221111001122221100000000002200220x1000110022112200110000000000220x10220000111100221111001122221100000000002200220x110022112200110000000000220x10220000111100221111001122221100000000002200220x1022112200110000000000220x10220000111100221111001122221100000000002200220x12112200110000000000220x10220000111100221111001122221100000000002200220x1200110000000000220x10220000111100221111001122221100000000002200220x110000000000220x10220000111100221111001122221100000000002200220x1000000000220x10220000111100221111001122221100000000002200220x10000000220x10220000111100221111001122221100000000002200220x100000220x10220000111100221111001122221100000000002200220x1000220x10220000111100221111001122221100000000002200221x111111002222220000110022112200110000000000221x10220000111100221111001122221100000000002200221x1111002222220000110022112200110000000000221x10220000111100221111001122221100000000002200221x11002222220000110022112200110000000000221x10220000111100221111001122221100000000002200221x102222220000110022112200110000000000221x10220000111100221111001122221100000000002200221x120000110022112200110000000000221x10220000111100221111001122221100000000002200221x1000110022112200110000000000221x10220000111100221111001122221100000000002200221x110022112200110000000000221x10220000111100221111001122221100000000002200221x1022112200110000000000221x10220000111100221111001122221100000000002200221x12112200110000000000221x10220000111100221111001122221100000000002200221x1200110000000000221x10220000111100221111001122221100000000002200221x110000000000221x10220000111100221111001122221100000000002200221x1000000000221x10220000111100221111001122221100000000002200221x10000000221x10220000111100221111001122221100000000002200221x100000221x10220000111100221111001122221100000000002200221x1000221x1100222222110011110022001122000000221111221122111122111x111111001122111122222200110000112222222211111100000022221x1100222222110011110022001122000000221111221122111122111x1111001122111122222200110000112222222211111100000022221x1100222222110011110022001122000000221111221122111122111x11001122111122222200110000112222222211111100000022221x1100222222110011110022001122000000221111221122111122111x12111122222200110000112222222211111100000022221x1100222222110011110022001122000000221111221122111122111x111122222200110000112222222211111100000022221x1100222222110011110022001122000000221111221122111122111x1200110000112222222211111100000022221x1100222222110011110022001122000000221111221122111122111x110000112222222211111100000022221x1100222222110011110022001122000000221111221122111122111x1000112222222211111100000022221x1100222222110011110022001122000000221111221122111122111x1211111100000022221x1100222222110011110022001122000000221111221122111122111x11111100000022221x1100222222110011110022001122000000221111221122111122111x111100000022221x1100222222110011110022001122000000221111221122111122111x1100000022221x1100222222110011110022001122000000221111221122111122111x10000022221x1100222222110011110022001122000000221111221122111122111x100022221x1100222222110011110022001122000000221111221122111122111x1022221x1100222222110011110022001122000000221111221122111122111x121x10001100000022002200112222001122110011000000002222002200222x110022000011222200112222001100000000000000220000221122222x10001100000022002200112222001122110011000000002222002200222x1022000011222200112222001100000000000000220000221122222x10001100000022002200112222001122110011000000002222002200222x12000011222200112222001100000000000000220000221122222x10001100000022002200112222001122110011000000002222002200222x100011222200112222001100000000000000220000221122222x10001100000022002200112222001122110011000000002222002200222x1200112222001100000000000000220000221122222x10001100000022002200112222001122110011000000002222002200222x12001100000000000000220000221122222x10001100000022002200112222001122110011000000002222002200222x1100000000000000220000221122222x10001100000022002200112222001122110011000000002222002200222x10000000000000220000221122222x10001100000022002200112222001122110011000000002222002200222x100000000000220000221122222x10001100000022002200112222001122110011000000002222002200222x1000000000220000221122222x10001100000022002200112222001122110011000000002222002200222x10000000220000221122222x10001100000022002200112222001122110011000000002222002200222x100000220000221122222x10001100000022002200112222001122110011000000002222002200222x1000220000221122222x10001100000022002200112222001122110011000000002222002200222x10220000221122222x10001100000022002200112222001122110011000000002222002200222x120000221122222x10001100000022002200112222001122110011000000002222002200222x1000221122222x10001100000022002200112222001122110011000000002222002200222x10221122222x10001100000022002200112222001122110011000000002222002200222x121122222x10001100000022002200112222001122110011000000002222002200220x110022000011222200112222001100000000000000220000221122220x10001100000022002200112222001122110011000000002222002200220x1022000011222200112222001100000000000000220000221122220x10001100000022002200112222001122110011000000002222002200220x12000011222200112222001100000000000000220000221122220x10001100000022002200112222001122110011000000002222002200220x100011222200112222001100000000000000220000221122220x10001100000022002200112222001122110011000000002222002200220x1200112222001100000000000000220000221122220x10001100000022002200112222001122110011000000002222002200220x12001100000000000000220000221122220x10001100000022002200112222001122110011000000002222002200220x1100000000000000220000221122220x10001100000022002200112222001122110011000000002222002200220x10000000000000220000221122220x10001100000022002200112222001122110011000000002222002200220x100000000000220000221122220x10001100000022002200112222001122110011000000002222002200220x1000000000220000221122220x10001100000022002200112222001122110011000000002222002200220x10000000220000221122220x10001100000022002200112222001122110011000000002222002200220x100000220000221122220x10001100000022002200112222001122110011000000002222002200220x1000220000221122220x10001100000022002200112222001122110011000000002222002200220x10220000221122220x10001100000022002200112222001122110011000000002222002200220x120000221122220x10001100000022002200112222001122110011000000002222002200220x1000221122220x10001100000022002200112222001122110011000000002222002200220x10221122220x10001100000022002200112222001122110011000000002222002200220x121122220x10001100000022002200112222001122110011000000002222002200221x110022000011222200112222001100000000000000220000221122221x10001100000022002200112222001122110011000000002222002200221x1022000011222200112222001100000000000000220000221122221x10001100000022002200112222001122110011000000002222002200221x12000011222200112222001100000000000000220000221122221x10001100000022002200112222001122110011000000002222002200221x100011222200112222001100000000000000220000221122221x10001100000022002200112222001122110011000000002222002200221x1200112222001100000000000000220000221122221x10001100000022002200112222001122110011000000002222002200221x12001100000000000000220000221122221x10001100000022002200112222001122110011000000002222002200221x1100000000000000220000221122221x10001100000022002200112222001122110011000000002222002200221x10000000000000220000221122221x10001100000022002200112222001122110011000000002222002200221x100000000000220000221122221x10001100000022002200112222001122110011000000002222002200221x1000000000220000221122221x10001100000022002200112222001122110011000000002222002200221x10000000220000221122221x10001100000022002200112222001122110011000000002222002200221x100000220000221122221x10001100000022002200112222001122110011000000002222002200221x1000220000221122221x10001100000022002200112222001122110011000000002222002200221x10220000221122221x10001100000022002200112222001122110011000000002222002200221x120000221122221x10001100000022002200112222001122110011000000002222002200221x1000221122221x10001100000022002200112222001122110011000000002222002200221x10221122221x10001100000022002200112222001122110011000000002222002200221x121122221x1000112200111122112x11002222111100112x1000112200111122112x102222111100112x1000112200111122112x12111100112x1000112200111122112x111100112x1000112200111122112x1100112x1000112200111122110x11002222111100110x1000112200111122110x102222111100110x1000112200111122110x12111100110x1000112200111122110x111100110x1000112200111122110x1100110x1000112200111122111x11002222111100111x1000112200111122111x102222111100111x1000112200111122111x12111100111x1000112200111122111x111100111x1000112200111122111x1100111x1200112200111122112x1211002222111100112x1200112200111122112x11002222111100112x1200112200111122112x102222111100112x1200112200111122112x12111100112x1200112200111122112x111100112x1200112200111122112x1100112x1200112200111122110x1211002222111100110x1200112200111122110x11002222111100110x1200112200111122110x102222111100110x1200112200111122110x12111100110x1200112200111122110x111100110x1200112200111122110x1100110x1200112200111122111x1211002222111100111x1200112200111122111x11002222111100111x1200112200111122111x102222111100111x1200112200111122111x12111100111x1200112200111122111x111100111x1200112200111122111x1100111x1000000022001111221111220011112x1111220022002222112200111111112x1000000022001111221111220011112x120022002222112200111111112x1000000022001111221111220011112x1022002222112200111111112x1000000022001111221111220011112x12002222112200111111112x1000000022001111221111220011112x102222112200111111112x1000000022001111221111220011112x12112200111111112x1000000022001111221111220011112x1200111111112x1000000022001111221111220011112x111111112x1000000022001111221111220011112x1111112x1000000022001111221111220011110x1111220022002222112200111111110x1000000022001111221111220011110x120022002222112200111111110x1000000022001111221111220011110x1022002222112200111111110x1000000022001111221111220011110x12002222112200111111110x1000000022001111221111220011110x102222112200111111110x1000000022001111221111220011110x12112200111111110x1000000022001111221111220011110x1200111111110x1000000022001111221111220011110x111111110x1000000022001111221111220011110x1111110x1000000022001111221111220011111x1111220022002222112200111111111x1000000022001111221111220011111x120022002222112200111111111x1000000022001111221111220011111x1022002222112200111111111x1000000022001111221111220011111x12002222112200111111111x1000000022001111221111220011111x102222112200111111111x1000000022001111221111220011111x12112200111111111x1000000022001111221111220011111x1200111111111x1000000022001111221111220011111x111111111x1000000022001111221111220011111x1111111x1200000022001111221111220011112x121111220022002222112200111111112x1200000022001111221111220011112x1111220022002222112200111111112x1200000022001111221111220011112x120022002222112200111111112x1200000022001111221111220011112x1022002222112200111111112x1200000022001111221111220011112x12002222112200111111112x1200000022001111221111220011112x102222112200111111112x1200000022001111221111220011112x12112200111111112x1200000022001111221111220011112x1200111111112x1200000022001111221111220011112x111111112x1200000022001111221111220011112x1111112x1200000022001111221111220011110x121111220022002222112200111111110x1200000022001111221111220011110x1111220022002222112200111111110x1200000022001111221111220011110x120022002222112200111111110x1200000022001111221111220011110x1022002222112200111111110x1200000022001111221111220011110x12002222112200111111110x1200000022001111221111220011110x102222112200111111110x1200000022001111221111220011110x12112200111111110x1200000022001111221111220011110x1200111111110x1200000022001111221111220011110x111111110x1200000022001111221111220011110x1111110x1200000022001111221111220011111x121111220022002222112200111111111x1200000022001111221111220011111x1111220022002222112200111111111x1200000022001111221111220011111x120022002222112200111111111x1200000022001111221111220011111x1022002222112200111111111x1200000022001111221111220011111x12002222112200111111111x1200000022001111221111220011111x102222112200111111111x1200000022001111221111220011111x12112200111111111x1200000022001111221111220011111x1200111111111x1200000022001111221111220011111x111111111x1200000022001111221111220011111x1111111x100011002211002200111122221122110000001111110022222x111111111122220000222200112200002222220011002211222x100011002211002200111122221122110000001111110022222x1111111122220000222200112200002222220011002211222x100011002211002200111122221122110000001111110022222x11111122220000222200112200002222220011002211222x100011002211002200111122221122110000001111110022222x111122220000222200112200002222220011002211222x100011002211002200111122221122110000001111110022222x120000222200112200002222220011002211222x100011002211002200111122221122110000001111110022222x1000222200112200002222220011002211222x100011002211002200111122221122110000001111110022222x10222200112200002222220011002211222x100011002211002200111122221122110000001111110022222x1200112200002222220011002211222x100011002211002200111122221122110000001111110022222x1200002222220011002211222x100011002211002200111122221122110000001111110022222x10002222220011002211222x100011002211002200111122221122110000001111110022222x102222220011002211222x100011002211002200111122221122110000001111110022222x120011002211222x100011002211002200111122221122110000001111110022222x11002211222x100011002211002200111122221122110000001111110022222x102211222x100011002211002200111122221122110000001111110022222x1211222x100011002211002200111122221122110000001111110022220x111111111122220000222200112200002222220011002211220x100011002211002200111122221122110000001111110022220x1111111122220000222200112200002222220011002211220x100011002211002200111122221122110000001111110022220x11111122220000222200112200002222220011002211220x100011002211002200111122221122110000001111110022220x111122220000222200112200002222220011002211220x100011002211002200111122221122110000001111110022220x120000222200112200002222220011002211220x100011002211002200111122221122110000001111110022220x1000222200112200002222220011002211220x100011002211002200111122221122110000001111110022220x10222200112200002222220011002211220x100011002211002200111122221122110000001111110022220x1200112200002222220011002211220x100011002211002200111122221122110000001111110022220x1200002222220011002211220x100011002211002200111122221122110000001111110022220x10002222220011002211220x100011002211002200111122221122110000001111110022220x102222220011002211220x100011002211002200111122221122110000001111110022220x120011002211220x100011002211002200111122221122110000001111110022220x11002211220x100011002211002200111122221122110000001111110022220x102211220x100011002211002200111122221122110000001111110022220x1211220x100011002211002200111122221122110000001111110022221x111111111122220000222200112200002222220011002211221x100011002211002200111122221122110000001111110022221x1111111122220000222200112200002222220011002211221x100011002211002200111122221122110000001111110022221x11111122220000222200112200002222220011002211221x100011002211002200111122221122110000001111110022221x111122220000222200112200002222220011002211221x100011002211002200111122221122110000001111110022221x120000222200112200002222220011002211221x100011002211002200111122221122110000001111110022221x1000222200112200002222220011002211221x100011002211002200111122221122110000001111110022221x10222200112200002222220011002211221x100011002211002200111122221122110000001111110022221x1200112200002222220011002211221x100011002211002200111122221122110000001111110022221x1200002222220011002211221x100011002211002200111122221122110000001111110022221x10002222220011002211221x100011002211002200111122221122110000001111110022221x102222220011002211221x100011002211002200111122221122110000001111110022221x120011002211221x100011002211002200111122221122110000001111110022221x11002211221x100011002211002200111122221122110000001111110022221x102211221x100011002211002200111122221122110000001111110022221x1211221x120011002211002200111122221122110000001111110022222x12111111111122220000222200112200002222220011002211222x120011002211002200111122221122110000001111110022222x111111111122220000222200112200002222220011002211222x120011002211002200111122221122110000001111110022222x1111111122220000222200112200002222220011002211222x120011002211002200111122221122110000001111110022222x11111122220000222200112200002222220011002211222x120011002211002200111122221122110000001111110022222x111122220000222200112200002222220011002211222x120011002211002200111122221122110000001111110022222x120000222200112200002222220011002211222x120011002211002200111122221122110000001111110022222x1000222200112200002222220011002211222x120011002211002200111122221122110000001111110022222x10222200112200002222220011002211222x120011002211002200111122221122110000001111110022222x1200112200002222220011002211222x120011002211002200111122221122110000001111110022222x1200002222220011002211222x120011002211002200111122221122110000001111110022222x10002222220011002211222x120011002211002200111122221122110000001111110022222x102222220011002211222x120011002211002200111122221122110000001111110022222x120011002211222x120011002211002200111122221122110000001111110022222x11002211222x120011002211002200111122221122110000001111110022222x102211222x120011002211002200111122221122110000001111110022222x1211222x120011002211002200111122221122110000001111110022220x12111111111122220000222200112200002222220011002211220x120011002211002200111122221122110000001111110022220x111111111122220000222200112200002222220011002211220x120011002211002200111122221122110000001111110022220x1111111122220000222200112200002222220011002211220x120011002211002200111122221122110000001111110022220x11111122220000222200112200002222220011002211220x120011002211002200111122221122110000001111110022220x111122220000222200112200002222220011002211220x120011002211002200111122221122110000001111110022220x120000222200112200002222220011002211220x120011002211002200111122221122110000001111110022220x1000222200112200002222220011002211220x120011002211002200111122221122110000001111110022220x10222200112200002222220011002211220x120011002211002200111122221122110000001111110022220x1200112200002222220011002211220x120011002211002200111122221122110000001111110022220x1200002222220011002211220x120011002211002200111122221122110000001111110022220x10002222220011002211220x120011002211002200111122221122110000001111110022220x102222220011002211220x120011002211002200111122221122110000001111110022220x120011002211220x120011002211002200111122221122110000001111110022220x11002211220x120011002211002200111122221122110000001111110022220x102211220x120011002211002200111122221122110000001111110022220x1211220x120011002211002200111122221122110000001111110022221x12111111111122220000222200112200002222220011002211221x120011002211002200111122221122110000001111110022221x111111111122220000222200112200002222220011002211221x120011002211002200111122221122110000001111110022221x1111111122220000222200112200002222220011002211221x120011002211002200111122221122110000001111110022221x11111122220000222200112200002222220011002211221x120011002211002200111122221122110000001111110022221x111122220000222200112200002222220011002211221x120011002211002200111122221122110000001111110022221x120000222200112200002222220011002211221x120011002211002200111122221122110000001111110022221x1000222200112200002222220011002211221x120011002211002200111122221122110000001111110022221x10222200112200002222220011002211221x120011002211002200111122221122110000001111110022221x1200112200002222220011002211221x120011002211002200111122221122110000001111110022221x1200002222220011002211221x120011002211002200111122221122110000001111110022221x10002222220011002211221x120011002211002200111122221122110000001111110022221x102222220011002211221x120011002211002200111122221122110000001111110022221x120011002211221x120011002211002200111122221122110000001111110022221x11002211221x120011002211002200111122221122110000001111110022221x102211221x120011002211002200111122221122110000001111110022221x1211221x100011002222222200221122220000001100111122001100110000222x11111111220022222200000000110022112211221100222211220022112x100011002222222200221122220000001100111122001100110000222x111111220022222200000000110022112211221100222211220022112x100011002222222200221122220000001100111122001100110000222x1111220022222200000000110022112211221100222211220022112x100011002222222200221122220000001100111122001100110000222x120022222200000000110022112211221100222211220022112x100011002222222200221122220000001100111122001100110000222x1022222200000000110022112211221100222211220022112x100011002222222200221122220000001100111122001100110000222x1200000000110022112211221100222211220022112x100011002222222200221122220000001100111122001100110000222x10000000110022112211221100222211220022112x100011002222222200221122220000001100111122001100110000222x100000110022112211221100222211220022112x100011002222222200221122220000001100111122001100110000222x1000110022112211221100222211220022112x100011002222222200221122220000001100111122001100110000222x110022112211221100222211220022112x100011002222222200221122220000001100111122001100110000222x1022112211221100222211220022112x100011002222222200221122220000001100111122001100110000222x12112211221100222211220022112x100011002222222200221122220000001100111122001100110000222x1211221100222211220022112x100011002222222200221122220000001100111122001100110000222x121100222211220022112x100011002222222200221122220000001100111122001100110000222x1100222211220022112x100011002222222200221122220000001100111122001100110000222x10222211220022112x100011002222222200221122220000001100111122001100110000222x1211220022112x100011002222222200221122220000001100111122001100110000222x120022112x100011002222222200221122220000001100111122001100110000222x1022112x100011002222222200221122220000001100111122001100110000222x12112x100011002222222200221122220000001100111122001100110000220x11111111220022222200000000110022112211221100222211220022110x100011002222222200221122220000001100111122001100110000220x111111220022222200000000110022112211221100222211220022110x100011002222222200221122220000001100111122001100110000220x1111220022222200000000110022112211221100222211220022110x100011002222222200221122220000001100111122001100110000220x120022222200000000110022112211221100222211220022110x100011002222222200221122220000001100111122001100110000220x1022222200000000110022112211221100222211220022110x100011002222222200221122220000001100111122001100110000220x1200000000110022112211221100222211220022110x100011002222222200221122220000001100111122001100110000220x10000000110022112211221100222211220022110x100011002222222200221122220000001100111122001100110000220x100000110022112211221100222211220022110x100011002222222200221122220000001100111122001100110000220x1000110022112211221100222211220022110x100011002222222200221122220000001100111122001100110000220x110022112211221100222211220022110x100011002222222200221122220000001100111122001100110000220x1022112211221100222211220022110x100011002222222200221122220000001100111122001100110000220x12112211221100222211220022110x100011002222222200221122220000001100111122001100110000220x1211221100222211220022110x100011002222222200221122220000001100111122001100110000220x121100222211220022110x100011002222222200221122220000001100111122001100110000220x1100222211220022110x100011002222222200221122220000001100111122001100110000220x10222211220022110x100011002222222200221122220000001100111122001100110000220x1211220022110x100011002222222200221122220000001100111122001100110000220x120022110x100011002222222200221122220000001100111122001100110000220x1022110x100011002222222200221122220000001100111122001100110000220x12110x100011002222222200221122220000001100111122001100110000220x110x120011002222222200221122220000001100111122001100110000222x1211111111220022222200000000110022112211221100222211220022112x120011002222222200221122220000001100111122001100110000222x11111111220022222200000000110022112211221100222211220022112x120011002222222200221122220000001100111122001100110000222x111111220022222200000000110022112211221100222211220022112x120011002222222200221122220000001100111122001100110000222x1111220022222200000000110022112211221100222211220022112x120011002222222200221122220000001100111122001100110000222x120022222200000000110022112211221100222211220022112x120011002222222200221122220000001100111122001100110000222x1022222200000000110022112211221100222211220022112x120011002222222200221122220000001100111122001100110000222x1200000000110022112211221100222211220022112x120011002222222200221122220000001100111122001100110000222x10000000110022112211221100222211220022112x120011002222222200221122220000001100111122001100110000222x100000110022112211221100222211220022112x120011002222222200221122220000001100111122001100110000222x1000110022112211221100222211220022112x120011002222222200221122220000001100111122001100110000222x110022112211221100222211220022112x120011002222222200221122220000001100111122001100110000222x1022112211221100222211220022112x120011002222222200221122220000001100111122001100110000222x12112211221100222211220022112x120011002222222200221122220000001100111122001100110000222x1211221100222211220022112x120011002222222200221122220000001100111122001100110000222x121100222211220022112x120011002222222200221122220000001100111122001100110000222x1100222211220022112x120011002222222200221122220000001100111122001100110000222x10222211220022112x120011002222222200221122220000001100111122001100110000222x1211220022112x120011002222222200221122220000001100111122001100110000222x120022112x120011002222222200221122220000001100111122001100110000222x1022112x120011002222222200221122220000001100111122001100110000222x12112x120011002222222200221122220000001100111122001100110000220x1211111111220022222200000000110022112211221100222211220022110x120011002222222200221122220000001100111122001100110000220x11111111220022222200000000110022112211221100222211220022110x120011002222222200221122220000001100111122001100110000220x111111220022222200000000110022112211221100222211220022110x120011002222222200221122220000001100111122001100110000220x1111220022222200000000110022112211221100222211220022110x120011002222222200221122220000001100111122001100110000220x120022222200000000110022112211221100222211220022110x120011002222222200221122220000001100111122001100110000220x1022222200000000110022112211221100222211220022110x120011002222222200221122220000001100111122001100110000220x1200000000110022112211221100222211220022110x120011002222222200221122220000001100111122001100110000220x10000000110022112211221100222211220022110x120011002222222200221122220000001100111122001100110000220x100000110022112211221100222211220022110x120011002222222200221122220000001100111122001100110000220x1000110022112211221100222211220022110x120011002222222200221122220000001100111122001100110000220x110022112211221100222211220022110x120011002222222200221122220000001100111122001100110000220x1022112211221100222211220022110x120011002222222200221122220000001100111122001100110000220x12112211221100222211220022110x120011002222222200221122220000001100111122001100110000220x1211221100222211220022110x120011002222222200221122220000001100111122001100110000220x121100222211220022110x120011002222222200221122220000001100111122001100110000220x1100222211220022110x120011002222222200221122220000001100111122001100110000220x10222211220022110x120011002222222200221122220000001100111122001100110000220x1211220022110x120011002222222200221122220000001100111122001100110000220x120022110x120011002222222200221122220000001100111122001100110000220x1022110x120011002222222200221122220000001100111122001100110000220x12110x120011002222222200221122220000001100111122001100110000220x110x1true20011002222222200221122220000001100111122001100110000220x110x1false20011002211002200111122221122110000001111110022222x1211222x1false20011002222222200221122220000001100111122001100110000222x12112x1false1002211112222001111112200220022222200220x1000110x10001100000022002200112222001122110011000000002222002200221x121122221x121122221100220011002211110000220000111100222x11112x111122110011112222222222001111002222002211222x12112x121122221100220011002211110000220000111100220x110x11002211112222001111112200220022222200220x110x1100222222110011110022001122000000221111221122111122111x121x111122110011112222222222001111002222002211220x111122110x111122110011112222222222001111002222002211220x110x100011002211002200111122221122110000001111110022222x1211222x100011002222222200221122220000001100111122001100110000222x12112x100011002222222200221122220000001100111122001100110000220x110x1true1101110211112111111111112111122111120111101111100111110111100111121111111110220000111100221111001122221100000000002200220x10000000220x1false0001100000022002200112222001122110011000000002222002200220x10000000220000221122220x1false0001100000022002200112222001122110011000000002222002200221x10000000220000221122221x1false1002211112222001111112200220022222200222x11000000112x1false1002211112222001111112200220022222200220x11000000110x1false0220000111100221111001122221100000000002200220x110022112200110000000000220x1false0220000111100221111001122221100000000002200220x110000000000220x1false0220000111100221111001122221100000000002200221x110022112200110000000000221x1false0220000111100221111001122221100000000002200221x110000000000221x1false0001100000022002200112222001122110011000000002222002200220x1100000000000000220000221122220x1false0001100000022002200112222001122110011000000002222002200221x1100000000000000220000221122221x1false00011002211002200111122221122110000001111110022222x11002211222x1false00011002211002200111122221122110000001111110022220x11002211220x1false00011002211002200111122221122110000001111110022221x11002211221x1false20011002211002200111122221122110000001111110022222x11002211222x1false20011002211002200111122221122110000001111110022220x11002211220x1false20011002211002200111122221122110000001111110022221x11002211221x1false00011002222222200221122220000001100111122001100110000222x110022112211221100222211220022112x1false00011002222222200221122220000001100111122001100110000220x110022112211221100222211220022110x1false20011002222222200221122220000001100111122001100110000222x110022112211221100222211220022112x1false20011002222222200221122220000001100111122001100110000220x110022112211221100222211220022110x1false1002211112222001111112200220022222200222x1211000000112x1false1002211112222001111112200220022222200220x1211000000110x1false11122110011112222222222001111002222002211220x12110x1false21122221100220011002211110000220000111100222x12111111112x1false21122221100220011002211110000220000111100220x12111111110x1false0220000111100221111001122221100000000002200220x12112200110000000000220x1false0220000111100221111001122221100000000002200221x12112200110000000000221x1false0001100000022002200112222001122110011000000002222002200220x121122220x1false000000022001111221111220011112x12112200111111112x1false000000022001111221111220011110x12112200111111110x1false000000022001111221111220011111x12112200111111111x1false200000022001111221111220011112x12112200111111112x1false200000022001111221111220011110x12112200111111110x1false200000022001111221111220011111x12112200111111111x1false00011002211002200111122221122110000001111110022220x1211220x1false00011002211002200111122221122110000001111110022221x1211221x1false20011002211002200111122221122110000001111110022220x1211220x1false20011002211002200111122221122110000001111110022221x1211221x1false00011002222222200221122220000001100111122001100110000222x12112211221100222211220022112x1false00011002222222200221122220000001100111122001100110000222x1211221100222211220022112x1false00011002222222200221122220000001100111122001100110000222x121100222211220022112x1false00011002222222200221122220000001100111122001100110000222x1211220022112x1false00011002222222200221122220000001100111122001100110000220x12112211221100222211220022110x1false00011002222222200221122220000001100111122001100110000220x1211221100222211220022110x1false00011002222222200221122220000001100111122001100110000220x121100222211220022110x1false00011002222222200221122220000001100111122001100110000220x1211220022110x1false00011002222222200221122220000001100111122001100110000220x12110x1false20011002222222200221122220000001100111122001100110000222x12112211221100222211220022112x1false20011002222222200221122220000001100111122001100110000222x1211221100222211220022112x1false20011002222222200221122220000001100111122001100110000222x121100222211220022112x1false20011002222222200221122220000001100111122001100110000222x1211220022112x1false20011002222222200221122220000001100111122001100110000220x12112211221100222211220022110x1false20011002222222200221122220000001100111122001100110000220x1211221100222211220022110x1false20011002222222200221122220000001100111122001100110000220x121100222211220022110x1false20011002222222200221122220000001100111122001100110000220x1211220022110x1false20011002222222200221122220000001100111122001100110000220x12110x1false11122110011112222222222001111002222002211222x111122112x1false21122221100220011002211110000220000111100222x111111112x1false21122221100220011002211110000220000111100222x1111112x1false21122221100220011002211110000220000111100220x111111110x1false21122221100220011002211110000220000111100220x1111110x1false21122221100220011002211110000220000111100220x11110x1false0220000111100221111001122221100000000002200220x111111002222220000110022112200110000000000220x1false0220000111100221111001122221100000000002200220x1111002222220000110022112200110000000000220x1false0220000111100221111001122221100000000002200221x111111002222220000110022112200110000000000221x1false0220000111100221111001122221100000000002200221x1111002222220000110022112200110000000000221x1false000000022001111221111220011112x111111112x1false000000022001111221111220011112x1111112x1false000000022001111221111220011110x111111110x1false000000022001111221111220011110x1111110x1false000000022001111221111220011111x111111111x1false000000022001111221111220011111x1111111x1false200000022001111221111220011112x111111112x1false200000022001111221111220011112x1111112x1false200000022001111221111220011110x111111110x1false200000022001111221111220011110x1111110x1false200000022001111221111220011111x111111111x1false200000022001111221111220011111x1111111x1false1002211112222001111112200220022222200222x102211000000112x1false1002211112222001111112200220022222200220x102211000000110x1false21122221100220011002211110000220000111100222x10220000001122000022002200220022111111112x1false21122221100220011002211110000220000111100222x1022002200220022111111112x1false21122221100220011002211110000220000111100222x102200220022111111112x1false21122221100220011002211110000220000111100222x10220022111111112x1false21122221100220011002211110000220000111100222x1022111111112x1false21122221100220011002211110000220000111100220x10220000001122000022002200220022111111110x1false21122221100220011002211110000220000111100220x1022002200220022111111110x1false21122221100220011002211110000220000111100220x102200220022111111110x1false21122221100220011002211110000220000111100220x10220022111111110x1false21122221100220011002211110000220000111100220x1022111111110x1false0220000111100221111001122221100000000002200220x1022112200110000000000220x1false0220000111100221111001122221100000000002200221x1022112200110000000000221x1false0001100000022002200112222001122110011000000002222002200220x10220000221122220x1false0001100000022002200112222001122110011000000002222002200220x10221122220x1false0001100000022002200112222001122110011000000002222002200221x10220000221122221x1false0001100000022002200112222001122110011000000002222002200221x10221122221x1false00011002211002200111122221122110000001111110022222x102211222x1false00011002211002200111122221122110000001111110022220x102211220x1false00011002211002200111122221122110000001111110022221x102211221x1false20011002211002200111122221122110000001111110022222x102211222x1false20011002211002200111122221122110000001111110022220x102211220x1false20011002211002200111122221122110000001111110022221x102211221x1false00011002222222200221122220000001100111122001100110000222x1022112211221100222211220022112x1false00011002222222200221122220000001100111122001100110000222x1022112x1false00011002222222200221122220000001100111122001100110000220x1022112211221100222211220022110x1false00011002222222200221122220000001100111122001100110000220x1022110x1false20011002222222200221122220000001100111122001100110000222x1022112211221100222211220022112x1false20011002222222200221122220000001100111122001100110000222x1022112x1false20011002222222200221122220000001100111122001100110000220x1022112211221100222211220022110x1false20011002222222200221122220000001100111122001100110000220x1022110x1false0220000111100221111001122221100000000002200220x11002222220000110022112200110000000000220x1false0220000111100221111001122221100000000002200221x11002222220000110022112200110000000000221x1false00011002222222200221122220000001100111122001100110000222x1100222211220022112x1false00011002222222200221122220000001100111122001100110000220x1100222211220022110x1false20011002222222200221122220000001100111122001100110000222x1100222211220022112x1false20011002222222200221122220000001100111122001100110000220x1100222211220022110x1false1002211112222001111112200220022222200222x1000112x1false21122221100220011002211110000220000111100222x10001122000022002200220022111111112x1false21122221100220011002211110000220000111100220x10001122000022002200220022111111110x1false1002211112222001111112200220022222200222x100000112x1false1002211112222001111112200220022222200220x100000110x1false11122110011112222222222001111002222002211222x1000111122112x1false11122110011112222222222001111002222002211220x1000111122110x1false21122221100220011002211110000220000111100222x1000001122000022002200220022111111112x1false21122221100220011002211110000220000111100222x100022002200220022111111112x1false21122221100220011002211110000220000111100220x1000001122000022002200220022111111110x1false21122221100220011002211110000220000111100220x100022002200220022111111110x1false0220000111100221111001122221100000000002200220x1000110022112200110000000000220x1false0220000111100221111001122221100000000002200220x1000000000220x1false0220000111100221111001122221100000000002200220x100000220x1false0220000111100221111001122221100000000002200220x1000220x1false0220000111100221111001122221100000000002200221x1000110022112200110000000000221x1false0220000111100221111001122221100000000002200221x1000000000221x1false0220000111100221111001122221100000000002200221x10000000221x1false0220000111100221111001122221100000000002200221x100000221x1false0220000111100221111001122221100000000002200221x1000221x1false0001100000022002200112222001122110011000000002222002200220x10000000000000220000221122220x1false0001100000022002200112222001122110011000000002222002200220x100000000000220000221122220x1false0001100000022002200112222001122110011000000002222002200220x1000000000220000221122220x1false0001100000022002200112222001122110011000000002222002200220x100000220000221122220x1false0001100000022002200112222001122110011000000002222002200220x1000220000221122220x1false0001100000022002200112222001122110011000000002222002200220x1000221122220x1false0001100000022002200112222001122110011000000002222002200221x10000000000000220000221122221x1false0001100000022002200112222001122110011000000002222002200221x100000000000220000221122221x1false0001100000022002200112222001122110011000000002222002200221x1000000000220000221122221x1false0001100000022002200112222001122110011000000002222002200221x100000220000221122221x1false0001100000022002200112222001122110011000000002222002200221x1000220000221122221x1false0001100000022002200112222001122110011000000002222002200221x1000221122221x1false00011002222222200221122220000001100111122001100110000222x10000000110022112211221100222211220022112x1false00011002222222200221122220000001100111122001100110000222x100000110022112211221100222211220022112x1false00011002222222200221122220000001100111122001100110000222x1000110022112211221100222211220022112x1false00011002222222200221122220000001100111122001100110000220x10000000110022112211221100222211220022110x1false00011002222222200221122220000001100111122001100110000220x100000110022112211221100222211220022110x1false00011002222222200221122220000001100111122001100110000220x1000110022112211221100222211220022110x1false20011002222222200221122220000001100111122001100110000222x10000000110022112211221100222211220022112x1false20011002222222200221122220000001100111122001100110000222x100000110022112211221100222211220022112x1false20011002222222200221122220000001100111122001100110000222x1000110022112211221100222211220022112x1false20011002222222200221122220000001100111122001100110000220x10000000110022112211221100222211220022110x1false20011002222222200221122220000001100111122001100110000220x100000110022112211221100222211220022110x1false20011002222222200221122220000001100111122001100110000220x1000110022112211221100222211220022110x1false1002211112222001111112200220022222200222x12002211000000112x1false1002211112222001111112200220022222200220x12002211000000110x1false11122110011112222222222001111002222002211222x120000111122112x1false11122110011112222222222001111002222002211220x120000111122110x1false21122221100220011002211110000220000111100222x1200220000001122000022002200220022111111112x1false21122221100220011002211110000220000111100222x120000001122000022002200220022111111112x1false21122221100220011002211110000220000111100222x12000022002200220022111111112x1false21122221100220011002211110000220000111100222x12002200220022111111112x1false21122221100220011002211110000220000111100222x1200220022111111112x1false21122221100220011002211110000220000111100222x120022111111112x1false21122221100220011002211110000220000111100220x1200220000001122000022002200220022111111110x1false21122221100220011002211110000220000111100220x120000001122000022002200220022111111110x1false21122221100220011002211110000220000111100220x12000022002200220022111111110x1false21122221100220011002211110000220000111100220x12002200220022111111110x1false21122221100220011002211110000220000111100220x1200220022111111110x1false21122221100220011002211110000220000111100220x120022111111110x1false0220000111100221111001122221100000000002200220x120000110022112200110000000000220x1false0220000111100221111001122221100000000002200220x1200110000000000220x1false0220000111100221111001122221100000000002200221x120000110022112200110000000000221x1false0220000111100221111001122221100000000002200221x1200110000000000221x1false0001100000022002200112222001122110011000000002222002200220x12001100000000000000220000221122220x1false0001100000022002200112222001122110011000000002222002200220x120000221122220x1false0001100000022002200112222001122110011000000002222002200221x12001100000000000000220000221122221x1false0001100000022002200112222001122110011000000002222002200221x120000221122221x1false000000022001111221111220011112x1200111111112x1false000000022001111221111220011110x1200111111110x1false000000022001111221111220011111x1200111111111x1false200000022001111221111220011112x1200111111112x1false200000022001111221111220011110x1200111111110x1false200000022001111221111220011111x1200111111111x1false00011002211002200111122221122110000001111110022222x120011002211222x1false00011002211002200111122221122110000001111110022220x120011002211220x1false00011002211002200111122221122110000001111110022221x120011002211221x1false20011002211002200111122221122110000001111110022222x120011002211222x1false20011002211002200111122221122110000001111110022220x120011002211220x1false20011002211002200111122221122110000001111110022221x120011002211221x1false00011002222222200221122220000001100111122001100110000222x1200000000110022112211221100222211220022112x1false00011002222222200221122220000001100111122001100110000222x120022112x1false00011002222222200221122220000001100111122001100110000220x1200000000110022112211221100222211220022110x1false00011002222222200221122220000001100111122001100110000220x120022110x1false20011002222222200221122220000001100111122001100110000222x1200000000110022112211221100222211220022112x1false20011002222222200221122220000001100111122001100110000222x120022112x1false20011002222222200221122220000001100111122001100110000220x1200000000110022112211221100222211220022110x1false20011002222222200221122220000001100111122001100110000220x120022110x1false1002211112222001111112200220022222200222x1111221122112222111111112222002211000000112x1false1002211112222001111112200220022222200222x121122112222111111112222002211000000112x1false1002211112222001111112200220022222200222x12112222111111112222002211000000112x1false1002211112222001111112200220022222200222x12111111112222002211000000112x1false1002211112222001111112200220022222200222x111111112222002211000000112x1false1002211112222001111112200220022222200222x1111112222002211000000112x1false1002211112222001111112200220022222200222x11112222002211000000112x1false1002211112222001111112200220022222200220x1111221122112222111111112222002211000000110x1false1002211112222001111112200220022222200220x121122112222111111112222002211000000110x1false1002211112222001111112200220022222200220x12112222111111112222002211000000110x1false1002211112222001111112200220022222200220x12111111112222002211000000110x1false1002211112222001111112200220022222200220x111111112222002211000000110x1false1002211112222001111112200220022222200220x1111112222002211000000110x1false1002211112222001111112200220022222200220x11112222002211000000110x1false11122110011112222222222001111002222002211222x11111111002200110011002200001122220000111122112x1false11122110011112222222222001111002222002211222x111111002200110011002200001122220000111122112x1false11122110011112222222222001111002222002211222x1111002200110011002200001122220000111122112x1false11122110011112222222222001111002222002211222x11002200110011002200001122220000111122112x1false11122110011112222222222001111002222002211222x102200110011002200001122220000111122112x1false11122110011112222222222001111002222002211222x1200110011002200001122220000111122112x1false11122110011112222222222001111002222002211222x110011002200001122220000111122112x1false11122110011112222222222001111002222002211222x11002200001122220000111122112x1false11122110011112222222222001111002222002211222x102200001122220000111122112x1false11122110011112222222222001111002222002211222x1200001122220000111122112x1false11122110011112222222222001111002222002211222x10001122220000111122112x1false11122110011112222222222001111002222002211220x11111111002200110011002200001122220000111122110x1false11122110011112222222222001111002222002211220x111111002200110011002200001122220000111122110x1false11122110011112222222222001111002222002211220x1111002200110011002200001122220000111122110x1false11122110011112222222222001111002222002211220x11002200110011002200001122220000111122110x1false11122110011112222222222001111002222002211220x102200110011002200001122220000111122110x1false11122110011112222222222001111002222002211220x1200110011002200001122220000111122110x1false11122110011112222222222001111002222002211220x110011002200001122220000111122110x1false11122110011112222222222001111002222002211220x11002200001122220000111122110x1false11122110011112222222222001111002222002211220x102200001122220000111122110x1false11122110011112222222222001111002222002211220x1200001122220000111122110x1false11122110011112222222222001111002222002211220x10001122220000111122110x1false0220000111100221111001122221100000000002200222x111111002222220000110022112200110000000000222x1false0220000111100221111001122221100000000002200222x1111002222220000110022112200110000000000222x1false0220000111100221111001122221100000000002200222x11002222220000110022112200110000000000222x1false0220000111100221111001122221100000000002200222x102222220000110022112200110000000000222x1false0220000111100221111001122221100000000002200222x120000110022112200110000000000222x1false0220000111100221111001122221100000000002200222x1000110022112200110000000000222x1false0220000111100221111001122221100000000002200222x110022112200110000000000222x1false0220000111100221111001122221100000000002200222x1022112200110000000000222x1false0220000111100221111001122221100000000002200222x12112200110000000000222x1false0220000111100221111001122221100000000002200222x1200110000000000222x1false0220000111100221111001122221100000000002200222x110000000000222x1false0220000111100221111001122221100000000002200222x1000000000222x1false0220000111100221111001122221100000000002200222x10000000222x1false0220000111100221111001122221100000000002200222x100000222x1false0220000111100221111001122221100000000002200222x1000222x1false0220000111100221111001122221100000000002200220x102222220000110022112200110000000000220x1false0220000111100221111001122221100000000002200221x102222220000110022112200110000000000221x1false100222222110011110022001122000000221111221122111122111x111111001122111122222200110000112222222211111100000022221x1false100222222110011110022001122000000221111221122111122111x1111001122111122222200110000112222222211111100000022221x1false100222222110011110022001122000000221111221122111122111x11001122111122222200110000112222222211111100000022221x1false100222222110011110022001122000000221111221122111122111x12111122222200110000112222222211111100000022221x1false100222222110011110022001122000000221111221122111122111x111122222200110000112222222211111100000022221x1false100222222110011110022001122000000221111221122111122111x1200110000112222222211111100000022221x1false100222222110011110022001122000000221111221122111122111x110000112222222211111100000022221x1false100222222110011110022001122000000221111221122111122111x1000112222222211111100000022221x1false100222222110011110022001122000000221111221122111122111x1211111100000022221x1false100222222110011110022001122000000221111221122111122111x11111100000022221x1false100222222110011110022001122000000221111221122111122111x111100000022221x1false100222222110011110022001122000000221111221122111122111x1100000022221x1false100222222110011110022001122000000221111221122111122111x10000022221x1false100222222110011110022001122000000221111221122111122111x100022221x1false100222222110011110022001122000000221111221122111122111x1022221x1false0001100000022002200112222001122110011000000002222002200222x110022000011222200112222001100000000000000220000221122222x1false0001100000022002200112222001122110011000000002222002200222x1022000011222200112222001100000000000000220000221122222x1false0001100000022002200112222001122110011000000002222002200222x12000011222200112222001100000000000000220000221122222x1false0001100000022002200112222001122110011000000002222002200222x100011222200112222001100000000000000220000221122222x1false0001100000022002200112222001122110011000000002222002200222x1200112222001100000000000000220000221122222x1false0001100000022002200112222001122110011000000002222002200222x12001100000000000000220000221122222x1false0001100000022002200112222001122110011000000002222002200222x1100000000000000220000221122222x1false0001100000022002200112222001122110011000000002222002200222x10000000000000220000221122222x1false0001100000022002200112222001122110011000000002222002200222x100000000000220000221122222x1false0001100000022002200112222001122110011000000002222002200222x1000000000220000221122222x1false0001100000022002200112222001122110011000000002222002200222x10000000220000221122222x1false0001100000022002200112222001122110011000000002222002200222x100000220000221122222x1false0001100000022002200112222001122110011000000002222002200222x1000220000221122222x1false0001100000022002200112222001122110011000000002222002200222x10220000221122222x1false0001100000022002200112222001122110011000000002222002200222x120000221122222x1false0001100000022002200112222001122110011000000002222002200222x1000221122222x1false0001100000022002200112222001122110011000000002222002200222x10221122222x1false0001100000022002200112222001122110011000000002222002200222x121122222x1false0001100000022002200112222001122110011000000002222002200220x110022000011222200112222001100000000000000220000221122220x1false0001100000022002200112222001122110011000000002222002200220x1022000011222200112222001100000000000000220000221122220x1false0001100000022002200112222001122110011000000002222002200220x12000011222200112222001100000000000000220000221122220x1false0001100000022002200112222001122110011000000002222002200220x100011222200112222001100000000000000220000221122220x1false0001100000022002200112222001122110011000000002222002200220x1200112222001100000000000000220000221122220x1false0001100000022002200112222001122110011000000002222002200221x110022000011222200112222001100000000000000220000221122221x1false0001100000022002200112222001122110011000000002222002200221x1022000011222200112222001100000000000000220000221122221x1false0001100000022002200112222001122110011000000002222002200221x12000011222200112222001100000000000000220000221122221x1false0001100000022002200112222001122110011000000002222002200221x100011222200112222001100000000000000220000221122221x1false0001100000022002200112222001122110011000000002222002200221x1200112222001100000000000000220000221122221x1false000112200111122112x11002222111100112x1false000112200111122112x102222111100112x1false000112200111122112x12111100112x1false000112200111122112x111100112x1false000112200111122112x1100112x1false000112200111122110x11002222111100110x1false000112200111122110x102222111100110x1false000112200111122110x12111100110x1false000112200111122110x111100110x1false000112200111122110x1100110x1false000112200111122111x11002222111100111x1false000112200111122111x102222111100111x1false000112200111122111x12111100111x1false000112200111122111x111100111x1false000112200111122111x1100111x1false200112200111122112x1211002222111100112x1false200112200111122112x11002222111100112x1false200112200111122112x102222111100112x1false200112200111122112x12111100112x1false200112200111122112x111100112x1false200112200111122112x1100112x1false200112200111122110x1211002222111100110x1false200112200111122110x11002222111100110x1false200112200111122110x102222111100110x1false200112200111122110x12111100110x1false200112200111122110x111100110x1false200112200111122110x1100110x1false200112200111122111x1211002222111100111x1false200112200111122111x11002222111100111x1false200112200111122111x102222111100111x1false200112200111122111x12111100111x1false200112200111122111x111100111x1false200112200111122111x1100111x1false000000022001111221111220011112x1111220022002222112200111111112x1false000000022001111221111220011112x120022002222112200111111112x1false000000022001111221111220011112x1022002222112200111111112x1false000000022001111221111220011112x12002222112200111111112x1false000000022001111221111220011112x102222112200111111112x1false000000022001111221111220011110x1111220022002222112200111111110x1false000000022001111221111220011110x120022002222112200111111110x1false000000022001111221111220011110x1022002222112200111111110x1false000000022001111221111220011110x12002222112200111111110x1false000000022001111221111220011110x102222112200111111110x1false000000022001111221111220011111x1111220022002222112200111111111x1false000000022001111221111220011111x120022002222112200111111111x1false000000022001111221111220011111x1022002222112200111111111x1false000000022001111221111220011111x12002222112200111111111x1false000000022001111221111220011111x102222112200111111111x1false200000022001111221111220011112x121111220022002222112200111111112x1false200000022001111221111220011112x1111220022002222112200111111112x1false200000022001111221111220011112x120022002222112200111111112x1false200000022001111221111220011112x1022002222112200111111112x1false200000022001111221111220011112x12002222112200111111112x1false200000022001111221111220011112x102222112200111111112x1false200000022001111221111220011110x121111220022002222112200111111110x1false200000022001111221111220011110x1111220022002222112200111111110x1false200000022001111221111220011110x120022002222112200111111110x1false200000022001111221111220011110x1022002222112200111111110x1false200000022001111221111220011110x12002222112200111111110x1false200000022001111221111220011110x102222112200111111110x1false200000022001111221111220011111x121111220022002222112200111111111x1false200000022001111221111220011111x1111220022002222112200111111111x1false200000022001111221111220011111x120022002222112200111111111x1false200000022001111221111220011111x1022002222112200111111111x1false200000022001111221111220011111x12002222112200111111111x1false200000022001111221111220011111x102222112200111111111x1false00011002211002200111122221122110000001111110022222x111111111122220000222200112200002222220011002211222x1false00011002211002200111122221122110000001111110022222x1111111122220000222200112200002222220011002211222x1false00011002211002200111122221122110000001111110022222x11111122220000222200112200002222220011002211222x1false00011002211002200111122221122110000001111110022222x111122220000222200112200002222220011002211222x1false00011002211002200111122221122110000001111110022222x120000222200112200002222220011002211222x1false00011002211002200111122221122110000001111110022222x1000222200112200002222220011002211222x1false00011002211002200111122221122110000001111110022222x10222200112200002222220011002211222x1false00011002211002200111122221122110000001111110022222x1200112200002222220011002211222x1false00011002211002200111122221122110000001111110022222x1200002222220011002211222x1false00011002211002200111122221122110000001111110022222x10002222220011002211222x1false00011002211002200111122221122110000001111110022222x102222220011002211222x1false00011002211002200111122221122110000001111110022220x111111111122220000222200112200002222220011002211220x1false00011002211002200111122221122110000001111110022220x1111111122220000222200112200002222220011002211220x1false00011002211002200111122221122110000001111110022220x11111122220000222200112200002222220011002211220x1false00011002211002200111122221122110000001111110022220x111122220000222200112200002222220011002211220x1false00011002211002200111122221122110000001111110022220x120000222200112200002222220011002211220x1false00011002211002200111122221122110000001111110022220x1000222200112200002222220011002211220x1false00011002211002200111122221122110000001111110022220x10222200112200002222220011002211220x1false00011002211002200111122221122110000001111110022220x1200112200002222220011002211220x1false00011002211002200111122221122110000001111110022220x1200002222220011002211220x1false00011002211002200111122221122110000001111110022220x10002222220011002211220x1false00011002211002200111122221122110000001111110022220x102222220011002211220x1false00011002211002200111122221122110000001111110022221x111111111122220000222200112200002222220011002211221x1false00011002211002200111122221122110000001111110022221x1111111122220000222200112200002222220011002211221x1false00011002211002200111122221122110000001111110022221x11111122220000222200112200002222220011002211221x1false00011002211002200111122221122110000001111110022221x111122220000222200112200002222220011002211221x1false00011002211002200111122221122110000001111110022221x120000222200112200002222220011002211221x1false00011002211002200111122221122110000001111110022221x1000222200112200002222220011002211221x1false00011002211002200111122221122110000001111110022221x10222200112200002222220011002211221x1false00011002211002200111122221122110000001111110022221x1200112200002222220011002211221x1false00011002211002200111122221122110000001111110022221x1200002222220011002211221x1false00011002211002200111122221122110000001111110022221x10002222220011002211221x1false00011002211002200111122221122110000001111110022221x102222220011002211221x1false20011002211002200111122221122110000001111110022222x12111111111122220000222200112200002222220011002211222x1false20011002211002200111122221122110000001111110022222x111111111122220000222200112200002222220011002211222x1false20011002211002200111122221122110000001111110022222x1111111122220000222200112200002222220011002211222x1false20011002211002200111122221122110000001111110022222x11111122220000222200112200002222220011002211222x1false20011002211002200111122221122110000001111110022222x111122220000222200112200002222220011002211222x1false20011002211002200111122221122110000001111110022222x120000222200112200002222220011002211222x1false20011002211002200111122221122110000001111110022222x1000222200112200002222220011002211222x1false20011002211002200111122221122110000001111110022222x10222200112200002222220011002211222x1false20011002211002200111122221122110000001111110022222x1200112200002222220011002211222x1false20011002211002200111122221122110000001111110022222x1200002222220011002211222x1false20011002211002200111122221122110000001111110022222x10002222220011002211222x1false20011002211002200111122221122110000001111110022222x102222220011002211222x1false20011002211002200111122221122110000001111110022220x12111111111122220000222200112200002222220011002211220x1false20011002211002200111122221122110000001111110022220x111111111122220000222200112200002222220011002211220x1false20011002211002200111122221122110000001111110022220x1111111122220000222200112200002222220011002211220x1false20011002211002200111122221122110000001111110022220x11111122220000222200112200002222220011002211220x1false20011002211002200111122221122110000001111110022220x111122220000222200112200002222220011002211220x1false20011002211002200111122221122110000001111110022220x120000222200112200002222220011002211220x1false20011002211002200111122221122110000001111110022220x1000222200112200002222220011002211220x1false20011002211002200111122221122110000001111110022220x10222200112200002222220011002211220x1false20011002211002200111122221122110000001111110022220x1200112200002222220011002211220x1false20011002211002200111122221122110000001111110022220x1200002222220011002211220x1false20011002211002200111122221122110000001111110022220x10002222220011002211220x1false20011002211002200111122221122110000001111110022220x102222220011002211220x1false20011002211002200111122221122110000001111110022221x12111111111122220000222200112200002222220011002211221x1false20011002211002200111122221122110000001111110022221x111111111122220000222200112200002222220011002211221x1false20011002211002200111122221122110000001111110022221x1111111122220000222200112200002222220011002211221x1false20011002211002200111122221122110000001111110022221x11111122220000222200112200002222220011002211221x1false20011002211002200111122221122110000001111110022221x111122220000222200112200002222220011002211221x1false20011002211002200111122221122110000001111110022221x120000222200112200002222220011002211221x1false20011002211002200111122221122110000001111110022221x1000222200112200002222220011002211221x1false20011002211002200111122221122110000001111110022221x10222200112200002222220011002211221x1false20011002211002200111122221122110000001111110022221x1200112200002222220011002211221x1false20011002211002200111122221122110000001111110022221x1200002222220011002211221x1false20011002211002200111122221122110000001111110022221x10002222220011002211221x1false20011002211002200111122221122110000001111110022221x102222220011002211221x1false00011002222222200221122220000001100111122001100110000222x11111111220022222200000000110022112211221100222211220022112x1false00011002222222200221122220000001100111122001100110000222x111111220022222200000000110022112211221100222211220022112x1false00011002222222200221122220000001100111122001100110000222x1111220022222200000000110022112211221100222211220022112x1false00011002222222200221122220000001100111122001100110000222x120022222200000000110022112211221100222211220022112x1false00011002222222200221122220000001100111122001100110000222x1022222200000000110022112211221100222211220022112x1false00011002222222200221122220000001100111122001100110000222x10222211220022112x1false00011002222222200221122220000001100111122001100110000220x11111111220022222200000000110022112211221100222211220022110x1false00011002222222200221122220000001100111122001100110000220x111111220022222200000000110022112211221100222211220022110x1false00011002222222200221122220000001100111122001100110000220x1111220022222200000000110022112211221100222211220022110x1false00011002222222200221122220000001100111122001100110000220x120022222200000000110022112211221100222211220022110x1false00011002222222200221122220000001100111122001100110000220x1022222200000000110022112211221100222211220022110x1false00011002222222200221122220000001100111122001100110000220x10222211220022110x1false20011002222222200221122220000001100111122001100110000222x1211111111220022222200000000110022112211221100222211220022112x1false20011002222222200221122220000001100111122001100110000222x11111111220022222200000000110022112211221100222211220022112x1false20011002222222200221122220000001100111122001100110000222x111111220022222200000000110022112211221100222211220022112x1false20011002222222200221122220000001100111122001100110000222x1111220022222200000000110022112211221100222211220022112x1false20011002222222200221122220000001100111122001100110000222x120022222200000000110022112211221100222211220022112x1false20011002222222200221122220000001100111122001100110000222x1022222200000000110022112211221100222211220022112x1false20011002222222200221122220000001100111122001100110000222x10222211220022112x1false20011002222222200221122220000001100111122001100110000220x1211111111220022222200000000110022112211221100222211220022110x1false20011002222222200221122220000001100111122001100110000220x11111111220022222200000000110022112211221100222211220022110x1false20011002222222200221122220000001100111122001100110000220x111111220022222200000000110022112211221100222211220022110x1false20011002222222200221122220000001100111122001100110000220x1111220022222200000000110022112211221100222211220022110x1false20011002222222200221122220000001100111122001100110000220x120022222200000000110022112211221100222211220022110x1false20011002222222200221122220000001100111122001100110000220x1022222200000000110022112211221100222211220022110x1false20011002222222200221122220000001100111122001100110000220x10222211220022110x1falseAProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (7 real / 0 unknown / 0 assumptions / 7 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe