YES 00000102101110120211x111001202112121112100x100002000111211121102x100110120111021202012x100021101221121121110x121010121022111101111x100101020000110121110x111121210201112210102x100110122100111220200x121110022020202101011x100111012121020101122x110101121122210101211x100111122000201010002x100200221021121112012x100111202001011111210x101110012101112002111x100120110121111002201x122021111121021121112x100122121002010211102x101212022111220011001x100201202102000010011x101100120000001211020x100211001010111110122x112010011111220101011x100221111101122201220x122211012121000101121x100222221211001000101x112221102021212201221x101000101011111020221x110012111001110011122x101001120200111111000x102111111201011212210x101002101011201022121x100000011210102110101x101002102211012121201x102211010001111022201x101020010110102121020x122211110101101021212x101021110120102020211x120001001121011112011x101100001210010221020x102101122112122212001x101101202210002120202x112001210201222121211x101122112222202112200x120200201111012022212x101212110120112210221x111001100122101100211x101221100000202110122x120120222011101101022x102001202112112210111x121110110002011211021x102011001121022210212x111011202000010211100x102011011212221020110x110102020111022111120x102011201221211201102x120011011101021001111x102011211212022200011x121112210120112211200x102012212112111122021x110101100011121110220x102020100110100110101x102120121121111101101x102020101012211021110x110121112011202201110x102100020201211101012x111112121200210120101x102110001111010200210x102110111211210121002x102111202210102020221x120121202100110221112x102112100120111200002x111020102211022111001x102112101010112111010x101011111201112111002x102122110000210112222x100222102011112100000x102201021120110020211x112222101211111102020x102221221110110120112x101101000001122011012x110001211120211212012x101002020111111102211x110002121122002010211x102020121112112122012x110022111011002220201x120110100000102100112x110100101120000001001x121121220102110121120x110111120010000222120x101100011212200201121x110112010111022000001x110120001101110001200x110120122121200002110x121121221120010020112x110121011000121122121x111111211102002021100x110201001212102112000x100121102002112220111x110210201110102220211x100012121210202111121x110222211111121122101x111001111101110202100x111010220010010111122x112210021110112011210x111011111200211212200x121011211201121101001x111012021022200210110x111121022220001122101x111100210001101000010x100112210011200110110x111102100110002001122x100110011121200022111x111111210010220120002x112110020102101021211x111122212211120120201x121011000110211100102x111211002112211222201x110110011101220010220x111211101201000210000x112111002100110122210x111212200111012210211x112111111122120200120x111212220022201102101x100210100102121200112x111220211111001211202x112021120101112021112x112010101112202110002x100121110211202011012x112011002101100010202x110201110021212101122x112021002202201120020x111002021002222000121x112022111110200210111x111012100001011102011x112111121220001121200x111211121000212021201x112122221112121022010x111110201010000022000x112200001012120122120x110201020201112210012x112211101022200210111x112120101110210000001x112221101201210120120x100111112220120121100x120001100021121201102x110111020111221022221x120011012120101010110x111221211011221111210x120021111110001100012x121011010211210111111x120100102012012001110x120211110110000212001x120102201011012200002x101110210111000202220x120110000122010210011x100112121002102121011x120110020120110112102x112012010112021001112x120112010112221220202x112101120200100012122x120121110220221112012x120000101111112012022x120200211101012101201x110222121212111111211x120210211112012210002x121220220121121110110x121010210200201111122x102121011111202001012x121011121202022021010x101200111021011020102x121020000112102111121x112222110111210210110x121020211111212121020x112101111121210022112x121021110112121000002x110122020001001011101x121022210000211011021x121100112002202121001x121120001201010112201x110121111020122201210x121122110111110212120x121111221021201111011x121222120102200011001x110010200010001020021x122102120100021111021x101111200102012100010x122110022111011100020x100110011221112201100x122120121022021112202x122200012221111210210x122120122010111111122x111110012201210211121x122220101110111102021x101212111100110121200x122221111120110121010x111201100011000110201x12.101200002000111211121102x100110120111021202012x100111122000201010002x100200221021121112012x100111202001011111210x101110012101112002111x100122121002010211102x101212022111220011001x100201202102000010011x101100120000001211020x101001120200111111000x102111111201011212210x101002101011201022121x100000011210102110101x101002102211012121201x102211010001111022201x101100001210010221020x102101122112122212001x102020100110100110101x102120121121111101101x102110001111010200210x102110111211210121002x102112101010112111010x101011111201112111002x102122110000210112222x100222102011112100000x102221221110110120112x101101000001122011012x110112010111022000001x110120001101110001200x110121011000121122121x111111211102002021100x110222211111121122101x111001111101110202100x111010220010010111122x112210021110112011210x111012021022200210110x111121022220001122101x111111210010220120002x112110020102101021211x111211002112211222201x110110011101220010220x111211101201000210000x112111002100110122210x111212200111012210211x112111111122120200120x111220211111001211202x112021120101112021112x112011002101100010202x110201110021212101122x112021002202201120020x111002021002222000121x112022111110200210111x111012100001011102011x112111121220001121200x111211121000212021201x112122221112121022010x111110201010000022000x112200001012120122120x110201020201112210012x112211101022200210111x112120101110210000001x120021111110001100012x121011010211210111111x120100102012012001110x120211110110000212001x120121110220221112012x120000101111112012022x120210211112012210002x121220220121121110110x121022210000211011021x121100112002202121001x121122110111110212120x121111221021201111011x122120121022021112202x122200012221111210210x1000000102101110120211x1011001202112121112100x1100000102101110120211x1111001202112121112100x1200000102101110120211x1211001202112121112100x1000021101221121121110x1021010121022111101111x1100021101221121121110x1121010121022111101111x1200021101221121121110x1221010121022111101111x1000101020000110121110x1011121210201112210102x1100101020000110121110x1111121210201112210102x1200101020000110121110x1211121210201112210102x1000110122100111220200x1021110022020202101011x1100110122100111220200x1121110022020202101011x1200110122100111220200x1221110022020202101011x1000111012121020101122x1010101121122210101211x1100111012121020101122x1110101121122210101211x1200111012121020101122x1210101121122210101211x1000120110121111002201x1022021111121021121112x1100120110121111002201x1122021111121021121112x1200120110121111002201x1222021111121021121112x1000211001010111110122x1012010011111220101011x1100211001010111110122x1112010011111220101011x1200211001010111110122x1212010011111220101011x1000221111101122201220x1022211012121000101121x1100221111101122201220x1122211012121000101121x1200221111101122201220x1222211012121000101121x1000222221211001000101x1012221102021212201221x1100222221211001000101x1112221102021212201221x1200222221211001000101x1212221102021212201221x1001000101011111020221x1010012111001110011122x1101000101011111020221x1110012111001110011122x1201000101011111020221x1210012111001110011122x1001020010110102121020x1022211110101101021212x1101020010110102121020x1122211110101101021212x1201020010110102121020x1222211110101101021212x1001021110120102020211x1020001001121011112011x1101021110120102020211x1120001001121011112011x1201021110120102020211x1220001001121011112011x1001101202210002120202x1012001210201222121211x1101101202210002120202x1112001210201222121211x1201101202210002120202x1212001210201222121211x1001122112222202112200x1020200201111012022212x1101122112222202112200x1120200201111012022212x1201122112222202112200x1220200201111012022212x1001212110120112210221x1011001100122101100211x1101212110120112210221x1111001100122101100211x1201212110120112210221x1211001100122101100211x1001221100000202110122x1020120222011101101022x1101221100000202110122x1120120222011101101022x1201221100000202110122x1220120222011101101022x1002001202112112210111x1021110110002011211021x1102001202112112210111x1121110110002011211021x1202001202112112210111x1221110110002011211021x1002011001121022210212x1011011202000010211100x1102011001121022210212x1111011202000010211100x1202011001121022210212x1211011202000010211100x1002011011212221020110x1010102020111022111120x1102011011212221020110x1110102020111022111120x1202011011212221020110x1210102020111022111120x1002011201221211201102x1020011011101021001111x1102011201221211201102x1120011011101021001111x1202011201221211201102x1220011011101021001111x1002011211212022200011x1021112210120112211200x1102011211212022200011x1121112210120112211200x1202011211212022200011x1221112210120112211200x1002012212112111122021x1010101100011121110220x1102012212112111122021x1110101100011121110220x1202012212112111122021x1210101100011121110220x1002020101012211021110x1010121112011202201110x1102020101012211021110x1110121112011202201110x1202020101012211021110x1210121112011202201110x1002100020201211101012x1011112121200210120101x1102100020201211101012x1111112121200210120101x1202100020201211101012x1211112121200210120101x1002111202210102020221x1020121202100110221112x1102111202210102020221x1120121202100110221112x1202111202210102020221x1220121202100110221112x1002112100120111200002x1011020102211022111001x1102112100120111200002x1111020102211022111001x1202112100120111200002x1211020102211022111001x1002201021120110020211x1012222101211111102020x1102201021120110020211x1112222101211111102020x1202201021120110020211x1212222101211111102020x1010001211120211212012x1001002020111111102211x1110001211120211212012x1101002020111111102211x1210001211120211212012x1201002020111111102211x1010002121122002010211x1002020121112112122012x1110002121122002010211x1102020121112112122012x1210002121122002010211x1202020121112112122012x1010022111011002220201x1020110100000102100112x1110022111011002220201x1120110100000102100112x1210022111011002220201x1220110100000102100112x1010100101120000001001x1021121220102110121120x1110100101120000001001x1121121220102110121120x1210100101120000001001x1221121220102110121120x1010111120010000222120x1001100011212200201121x1110111120010000222120x1101100011212200201121x1210111120010000222120x1201100011212200201121x1010120122121200002110x1021121221120010020112x1110120122121200002110x1121121221120010020112x1210120122121200002110x1221121221120010020112x1010201001212102112000x1000121102002112220111x1110201001212102112000x1100121102002112220111x1210201001212102112000x1200121102002112220111x1010210201110102220211x1000012121210202111121x1110210201110102220211x1100012121210202111121x1210210201110102220211x1200012121210202111121x1011011111200211212200x1021011211201121101001x1111011111200211212200x1121011211201121101001x1211011111200211212200x1221011211201121101001x1011100210001101000010x1000112210011200110110x1111100210001101000010x1100112210011200110110x1211100210001101000010x1200112210011200110110x1011102100110002001122x1000110011121200022111x1111102100110002001122x1100110011121200022111x1211102100110002001122x1200110011121200022111x1011122212211120120201x1021011000110211100102x1111122212211120120201x1121011000110211100102x1211122212211120120201x1221011000110211100102x1011212220022201102101x1000210100102121200112x1111212220022201102101x1100210100102121200112x1211212220022201102101x1200210100102121200112x1012010101112202110002x1000121110211202011012x1112010101112202110002x1100121110211202011012x1212010101112202110002x1200121110211202011012x1012221101201210120120x1000111112220120121100x1112221101201210120120x1100111112220120121100x1212221101201210120120x1200111112220120121100x1020001100021121201102x1010111020111221022221x1120001100021121201102x1110111020111221022221x1220001100021121201102x1210111020111221022221x1020011012120101010110x1011221211011221111210x1120011012120101010110x1111221211011221111210x1220011012120101010110x1211221211011221111210x1020102201011012200002x1001110210111000202220x1120102201011012200002x1101110210111000202220x1220102201011012200002x1201110210111000202220x1020110000122010210011x1000112121002102121011x1120110000122010210011x1100112121002102121011x1220110000122010210011x1200112121002102121011x1020110020120110112102x1012012010112021001112x1120110020120110112102x1112012010112021001112x1220110020120110112102x1212012010112021001112x1020112010112221220202x1012101120200100012122x1120112010112221220202x1112101120200100012122x1220112010112221220202x1212101120200100012122x1020200211101012101201x1010222121212111111211x1120200211101012101201x1110222121212111111211x1220200211101012101201x1210222121212111111211x1021010210200201111122x1002121011111202001012x1121010210200201111122x1102121011111202001012x1221010210200201111122x1202121011111202001012x1021011121202022021010x1001200111021011020102x1121011121202022021010x1101200111021011020102x1221011121202022021010x1201200111021011020102x1021020000112102111121x1012222110111210210110x1121020000112102111121x1112222110111210210110x1221020000112102111121x1212222110111210210110x1021020211111212121020x1012101111121210022112x1121020211111212121020x1112101111121210022112x1221020211111212121020x1212101111121210022112x1021021110112121000002x1010122020001001011101x1121021110112121000002x1110122020001001011101x1221021110112121000002x1210122020001001011101x1021120001201010112201x1010121111020122201210x1121120001201010112201x1110121111020122201210x1221120001201010112201x1210121111020122201210x1021222120102200011001x1010010200010001020021x1121222120102200011001x1110010200010001020021x1221222120102200011001x1210010200010001020021x1022102120100021111021x1001111200102012100010x1122102120100021111021x1101111200102012100010x1222102120100021111021x1201111200102012100010x1022110022111011100020x1000110011221112201100x1122110022111011100020x1100110011221112201100x1222110022111011100020x1200110011221112201100x1022120122010111111122x1011110012201210211121x1122120122010111111122x1111110012201210211121x1222120122010111111122x1211110012201210211121x1022220101110111102021x1001212111100110121200x1122220101110111102021x1101212111100110121200x1222220101110111102021x1201212111100110121200x1022221111120110121010x1011201100011000110201x1122221111120110121010x1111201100011000110201x1222221111120110121010x1211201100011000110201x10000000220000001111112211111122111100220x10001111001122001111110022112200220011220x10000000220000001111112211111122111100222x10001111001122001111110022112200220011222x10000000220000001111112211111122111100221x10001111001122001111110022112200220011221x10001111111122220000002200110011000000220x10002200002222110022111122111111220011220x10001111111122220000002200110011000000222x10002200002222110022111122111111220011222x10001111111122220000002200110011000000221x10002200002222110022111122111111220011221x10001111112200220000110011111111112211000x10111111000011221100111111220000221111110x10001111112200220000110011111111112211002x10111111000011221100111111220000221111112x10001111112200220000110011111111112211001x10111111000011221100111111220000221111111x10001122221122110000220011002211111100220x10112211220022221111112222000011110000110x10001122221122110000220011002211111100222x10112211220022221111112222000011110000112x10001122221122110000220011002211111100221x10112211220022221111112222000011110000111x10002200112200221100220000000011000011110x10111100001122000000000000112211110022000x10002200112200221100220000000011000011112x10111100001122000000000000112211110022002x10002200112200221100220000000011000011111x10111100001122000000000000112211110022001x10110000111122002200001111111111110000000x10221111111111112200110011112211222211000x10110000111122002200001111111111110000002x10221111111111112200110011112211222211002x10110000111122002200001111111111110000001x10221111111111112200110011112211222211001x10110000221100110011112200110022221122110x10000000000011112211001100221111001100110x10110000221100110011112200110022221122112x10000000000011112211001100221111001100112x10110000221100110011112200110022221122111x10000000000011112211001100221111001100111x10110000221100222211110011221122112200110x10222211110011000000111111110022222200110x10110000221100222211110011221122112200112x10222211110011000000111111110022222200112x10110000221100222211110011221122112200111x10222211110011000000111111110022222200111x10111100000000112211000011002222110022000x10221100111122221111221122222211220000110x10111100000000112211000011002222110022002x10221100111122221111221122222211220000112x10111100000000112211000011002222110022001x10221100111122221111221122222211220000111x10220022001100001111001100001111001100110x10221122001122111122111111111100111100110x10220022001100001111001100001111001100112x10221122001122111122111111111100111100112x10220022001100001111001100001111001100111x10221122001122111122111111111100111100111x10221111000000111111110011002200002211000x10221111001111112211112211001122110000220x10221111000000111111110011002200002211002x10221111001111112211112211001122110000222x10221111000000111111110011002200002211001x10221111001111112211112211001122110000221x10221111221100110011001111221111110011000x10110011111111112200111111221111110000220x10221111221100110011001111221111110011002x10110011111111112200111111221111110000222x10221111221100110011001111221111110011001x10110011111111112200111111221111110000221x10221122221111000000002211001111222222220x10002222221100220011111111221100000000000x10221122221111000000002211001111222222222x10002222221100220011111111221100000000002x10221122221111000000002211001111222222221x10002222221100220011111111221100000000001x10222222112222111111001111001122001111220x10111100110000000000111122220011110011220x10222222112222111111001111001122001111222x10111100110000000000111122220011110011222x10222222112222111111001111001122001111221x10111100110000000000111122220011110011221x11001111220011001111110022220000000000110x11001122000000111100111111000000112200000x11001111220011001111110022220000000000112x11001122000000111100111111000000112200002x11001111220011001111110022220000000000111x11001122000000111100111111000000112200001x11001122110011110000001122111122221122110x11111111112211111100220000220022111100000x11001122110011110000001122111122221122112x11111111112211111100220000220022111100002x11001122110011110000001122111122221122111x11111111112211111100220000220022111100001x11002222222211111111111122111122221100110x11110000111111111100111111002200221100000x11002222222211111111111122111122221100112x11110000111111111100111111002200221100002x11002222222211111111111122111122221100111x11110000111111111100111111002200221100001x11110011002222000011000011001111111122220x11222211000022111111001111220011112211000x11110011002222000011000011001111111122222x11222211000022111111001111220011112211002x11110011002222000011000011001111111122221x11222211000022111111001111220011112211001x11110011220022110022222200002211001111000x11111122110022222222000000111122221100110x11110011220022110022222200002211001111002x11111122110022222222000000111122221100112x11110011220022110022222200002211001111001x11111122110022222222000000111122221100111x11111111112211000011002222001122000000220x11221111000022001100221100110022112211110x11111111112211000011002222001122000000222x11221111000022001100221100110022112211112x11111111112211000011002222001122000000221x11221111000022001100221100110022112211111x11112211110000221111222211112222222200110x11001111000011111100112222000011002222000x11112211110000221111222211112222222200112x11001111000011111100112222000011002222002x11112211110000221111222211112222222200111x11001111000011111100112222000011002222001x11112211111100112200110000002211000000000x11221111110000221100001111001122222211000x11112211111100112200110000002211000000002x11221111110000221100001111001122222211002x11112211111100112200110000002211000000001x11221111110000221100001111001122222211001x11112211222200001111110011222211002211110x11221111111111111122221122002200001122000x11112211222200001111110011222211002211112x11221111111111111122221122002200001122002x11112211222200001111110011222211002211111x11221111111111111122221122002200001122001x11112222002211111111110000112211112200220x11220022111122001100111111220022111111220x11112222002211111111110000112211112200222x11220022111122001100111111220022111111222x11112222002211111111110000112211112200221x11220022111122001100111111220022111111221x11220011110000221100111100000011002200220x11002200111111000022112211221100111122220x11220011110000221100111100000011002200222x11002200111111000022112211221100111122222x11220011110000221100111100000011002200221x11002200111111000022112211221100111122221x11220022110000222200222200111122000022000x11110000220022110000222222220000001122110x11220022110000222200222200111122000022002x11110000220022110000222222220000001122112x11220022110000222200222200111122000022001x11110000220022110000222222220000001122111x11220022221111111111002200002211001111110x11110011221100000000110011111100220011110x11220022221111111111002200002211001111112x11110011221100000000110011111100220011112x11220022221111111111002200002211001111111x11110011221100000000110011111100220011111x11221111111122112222000000111122112200000x11112211111122110000002211220022112200110x11221111111122112222000000111122112200002x11112211111122110000002211220022112200112x11221111111122112222000000111122112200001x11112211111122110000002211220022112200111x11221122222222111111221122110022220011000x11111111002200110011000000000022220000000x11221122222222111111221122110022220011002x11111111002200110011000000000022220000002x11221122222222111111221122110022220011001x11111111002200110011000000000022220000001x11222200000000110011221122001122221122000x11002200110022002200111111222211000011220x11222200000000110011221122001122221122002x11002200110022002200111111222211000011222x11222200000000110011221122001122221122001x11002200110022002200111111222211000011221x11222211111100110022222200002211001111110x11221122001100111111002211000000000000110x11222211111100110022222200002211001111112x11221122001100111111002211000000000000112x11222211111100110022222200002211001111111x11221122001100111111002211000000000000111x12000022111111111111000000111100000011220x12110011110011002211112211001111111111110x12000022111111111111000000111100000011222x12110011110011002211112211001111111111112x12000022111111111111000000111100000011221x12110011110011002211112211001111111111111x12001100001100220011220011220000111111000x12002211111111001111000000002211220000110x12001100001100220011220011220000111111002x12002211111111001111000000002211220000112x12001100001100220011220011220000111111001x12002211111111001111000000002211220000111x12001122111111002222002222111111220011220x12000000001100111111111111220011220022220x12001122111111002222002222111111220011222x12000000001100111111111111220011220022222x12001122111111002222002222111111220011221x12000000001100111111111111220011220022221x12002211002211111111220011222211000000220x12112222002222001122111122111111001111000x12002211002211111111220011222211000000222x12112222002222001122111122111111001111002x12002211002211111111220011222211000000221x12112222002222001122111122111111001111001x12110022222211000000002211110011110022110x12111100001111220000222200221122110000110x12110022222211000000002211110011110022112x12111100001111220000222200221122110000112x12110022222211000000002211110011110022111x12111100001111220000222200221122110000111x12111122221111001111111111002211221122000x12111111112222110022112200111111110011110x12111122221111001111111111002211221122002x12111111112222110022112200111111110011112x12111122221111001111111111002211221122001x12111111112222110022112200111111110011111x12221122001122110022220022111111222200220x12222200000011222222111111112211002211000x12221122001122110022220022111111222200222x12222200000011222222111111112211002211002x12221122001122110022220022111111222200221x12222200000011222222111111112211002211001x1000000000001100221100111111001122002211110x1011110000112200221111221122111111221100000x1000000000001100221100111111001122002211112x1011110000112200221111221122111111221100002x1000000000001100221100111111001122002211111x1011110000112200221111221122111111221100001x1100000000001100221100111111001122002211110x1111110000112200221111221122111111221100000x1100000000001100221100111111001122002211112x1111110000112200221111221122111111221100002x1100000000001100221100111111001122002211111x1111110000112200221111221122111111221100001x1200000000001100221100111111001122002211110x1211110000112200221111221122111111221100000x1200000000001100221100111111001122002211112x1211110000112200221111221122111111221100002x1200000000001100221100111111001122002211111x1211110000112200221111221122111111221100001x1000000022111100112222111122111122111111000x1022110011001122110022221111111100111111110x1000000022111100112222111122111122111111002x1022110011001122110022221111111100111111112x1000000022111100112222111122111122111111001x1022110011001122110022221111111100111111111x1100000022111100112222111122111122111111000x1122110011001122110022221111111100111111110x1100000022111100112222111122111122111111002x1122110011001122110022221111111100111111112x1100000022111100112222111122111122111111001x1122110011001122110022221111111100111111111x1200000022111100112222111122111122111111000x1222110011001122110022221111111100111111110x1200000022111100112222111122111122111111002x1222110011001122110022221111111100111111112x1200000022111100112222111122111122111111001x1222110011001122110022221111111100111111111x1000001100110022000000001111001122111111000x1011111122112211002200111111222211001100220x1000001100110022000000001111001122111111002x1011111122112211002200111111222211001100222x1000001100110022000000001111001122111111001x1011111122112211002200111111222211001100221x1100001100110022000000001111001122111111000x1111111122112211002200111111222211001100220x1100001100110022000000001111001122111111002x1111111122112211002200111111222211001100222x1100001100110022000000001111001122111111001x1111111122112211002200111111222211001100221x1200001100110022000000001111001122111111000x1211111122112211002200111111222211001100220x1200001100110022000000001111001122111111002x1211111122112211002200111111222211001100222x1200001100110022000000001111001122111111001x1211111122112211002200111111222211001100221x1000001111001122221100001111112222002200000x1022111111000022220022002200221100110011110x1000001111001122221100001111112222002200002x1022111111000022220022002200221100110011112x1000001111001122221100001111112222002200001x1022111111000022220022002200221100110011111x1100001111001122221100001111112222002200000x1122111111000022220022002200221100110011110x1100001111001122221100001111112222002200002x1122111111000022220022002200221100110011112x1100001111001122221100001111112222002200001x1122111111000022220022002200221100110011111x1200001111001122221100001111112222002200000x1222111111000022220022002200221100110011110x1200001111001122221100001111112222002200002x1222111111000022220022002200221100110011112x1200001111001122221100001111112222002200001x1222111111000022220022002200221100110011111x1000001111110011221122110022001100111122220x1011001100111122111122222211001100112211110x1000001111110011221122110022001100111122222x1011001100111122111122222211001100112211112x1000001111110011221122110022001100111122221x1011001100111122111122222211001100112211111x1100001111110011221122110022001100111122220x1111001100111122111122222211001100112211110x1100001111110011221122110022001100111122222x1111001100111122111122222211001100112211112x1100001111110011221122110022001100111122221x1111001100111122111122222211001100112211111x1200001111110011221122110022001100111122220x1211001100111122111122222211001100112211110x1200001111110011221122110022001100111122222x1211001100111122111122222211001100112211112x1200001111110011221122110022001100111122221x1211001100111122111122222211001100112211111x1000001122001111001122111111110000222200110x1022220022111111111122110022111122111111220x1000001122001111001122111111110000222200112x1022220022111111111122110022111122111111222x1000001122001111001122111111110000222200111x1022220022111111111122110022111122111111221x1100001122001111001122111111110000222200110x1122220022111111111122110022111122111111220x1100001122001111001122111111110000222200112x1122220022111111111122110022111122111111222x1100001122001111001122111111110000222200111x1122220022111111111122110022111122111111221x1200001122001111001122111111110000222200110x1222220022111111111122110022111122111111220x1200001122001111001122111111110000222200112x1222220022111111111122110022111122111111222x1200001122001111001122111111110000222200111x1222220022111111111122110022111122111111221x1000002211110000110011001111111111001122220x1011220011000011111111112222001100110011110x1000002211110000110011001111111111001122222x1011220011000011111111112222001100110011112x1000002211110000110011001111111111001122221x1011220011000011111111112222001100110011111x1100002211110000110011001111111111001122220x1111220011000011111111112222001100110011110x1100002211110000110011001111111111001122222x1111220011000011111111112222001100110011112x1100002211110000110011001111111111001122221x1111220011000011111111112222001100110011111x1200002211110000110011001111111111001122220x1211220011000011111111112222001100110011110x1200002211110000110011001111111111001122222x1211220011000011111111112222001100110011112x1200002211110000110011001111111111001122221x1211220011000011111111112222001100110011111x1000002222111111111100111122222200112222000x1022222211110011221122110000001100111122110x1000002222111111111100111122222200112222002x1022222211110011221122110000001100111122112x1000002222111111111100111122222200112222001x1022222211110011221122110000001100111122111x1100002222111111111100111122222200112222000x1122222211110011221122110000001100111122110x1100002222111111111100111122222200112222002x1122222211110011221122110000001100111122112x1100002222111111111100111122222200112222001x1122222211110011221122110000001100111122111x1200002222111111111100111122222200112222000x1222222211110011221122110000001100111122110x1200002222111111111100111122222200112222002x1222222211110011221122110000001100111122112x1200002222111111111100111122222200112222001x1222222211110011221122110000001100111122111x1000002222222222112211110000110000001100110x1011222222111100220022112211222200112222110x1000002222222222112211110000110000001100112x1011222222111100220022112211222200112222112x1000002222222222112211110000110000001100111x1011222222111100220022112211222200112222111x1100002222222222112211110000110000001100110x1111222222111100220022112211222200112222110x1100002222222222112211110000110000001100112x1111222222111100220022112211222200112222112x1100002222222222112211110000110000001100111x1111222222111100220022112211222200112222111x1200002222222222112211110000110000001100110x1211222222111100220022112211222200112222110x1200002222222222112211110000110000001100112x1211222222111100220022112211222200112222112x1200002222222222112211110000110000001100111x1211222222111100220022112211222200112222111x1000110000001100110011111111110022002222110x1011000011221111110000111111000011111122220x1000110000001100110011111111110022002222112x1011000011221111110000111111000011111122222x1000110000001100110011111111110022002222111x1011000011221111110000111111000011111122221x1100110000001100110011111111110022002222110x1111000011221111110000111111000011111122220x1100110000001100110011111111110022002222112x1111000011221111110000111111000011111122222x1100110000001100110011111111110022002222111x1111000011221111110000111111000011111122221x1200110000001100110011111111110022002222110x1211000011221111110000111111000011111122220x1200110000001100110011111111110022002222112x1211000011221111110000111111000011111122222x1200110000001100110011111111110022002222111x1211000011221111110000111111000011111122221x1000110022000011001111001100221122110022000x1022222211111111001100111100110022112211220x1000110022000011001111001100221122110022002x1022222211111111001100111100110022112211222x1000110022000011001111001100221122110022001x1022222211111111001100111100110022112211221x1100110022000011001111001100221122110022000x1122222211111111001100111100110022112211220x1100110022000011001111001100221122110022002x1122222211111111001100111100110022112211222x1100110022000011001111001100221122110022001x1122222211111111001100111100110022112211221x1200110022000011001111001100221122110022000x1222222211111111001100111100110022112211220x1200110022000011001111001100221122110022002x1222222211111111001100111100110022112211222x1200110022000011001111001100221122110022001x1222222211111111001100111100110022112211221x1000110022111111001122001100220022002211110x1022000000110000111122110011111111220011110x1000110022111111001122001100220022002211112x1022000000110000111122110011111111220011112x1000110022111111001122001100220022002211111x1022000000110000111122110011111111220011111x1100110022111111001122001100220022002211110x1122000000110000111122110011111111220011110x1100110022111111001122001100220022002211112x1122000000110000111122110011111111220011112x1100110022111111001122001100220022002211111x1122000000110000111122110011111111220011111x1200110022111111001122001100220022002211110x1222000000110000111122110011111111220011110x1200110022111111001122001100220022002211112x1222000000110000111122110011111111220011112x1200110022111111001122001100220022002211111x1222000000110000111122110011111111220011111x1000111100112200222211000000221122002200220x1011220000112211002200112222221122112211110x1000111100112200222211000000221122002200222x1011220000112211002200112222221122112211112x1000111100112200222211000000221122002200221x1011220000112211002200112222221122112211111x1100111100112200222211000000221122002200220x1111220000112211002200112222221122112211110x1100111100112200222211000000221122002200222x1111220000112211002200112222221122112211112x1100111100112200222211000000221122002200221x1111220000112211002200112222221122112211111x1200111100112200222211000000221122002200220x1211220000112211002200112222221122112211110x1200111100112200222211000000221122002200222x1211220000112211002200112222221122112211112x1200111100112200222211000000221122002200221x1211220000112211002200112222221122112211111x1000111122221111222222222200221111222200000x1022002200002200111111110011220022222211220x1000111122221111222222222200221111222200002x1022002200002200111111110011220022222211222x1000111122221111222222222200221111222200001x1022002200002200111111110011220022222211221x1100111122221111222222222200221111222200000x1122002200002200111111110011220022222211220x1100111122221111222222222200221111222200002x1122002200002200111111110011220022222211222x1100111122221111222222222200221111222200001x1122002200002200111111110011220022222211221x1200111122221111222222222200221111222200000x1222002200002200111111110011220022222211220x1200111122221111222222222200221111222200002x1222002200002200111111110011220022222211222x1200111122221111222222222200221111222200001x1222002200002200111111110011220022222211221x1000112211221111001122001111222211002222110x1011110000111100001122221100111100002211110x1000112211221111001122001111222211002222112x1011110000111100001122221100111100002211112x1000112211221111001122001111222211002222111x1011110000111100001122221100111100002211111x1100112211221111001122001111222211002222110x1111110000111100001122221100111100002211110x1100112211221111001122001111222211002222112x1111110000111100001122221100111100002211112x1100112211221111001122001111222211002222111x1111110000111100001122221100111100002211111x1200112211221111001122001111222211002222110x1211110000111100001122221100111100002211110x1200112211221111001122001111222211002222112x1211110000111100001122221100111100002211112x1200112211221111001122001111222211002222111x1211110000111100001122221100111100002211111x1000112222111100000000002200221111001122220x1022001122002222220011111100111100110022220x1000112222111100000000002200221111001122222x1022001122002222220011111100111100110022222x1000112222111100000000002200221111001122221x1022001122002222220011111100111100110022221x1100112222111100000000002200221111001122220x1122001122002222220011111100111100110022220x1100112222111100000000002200221111001122222x1122001122002222220011111100111100110022222x1100112222111100000000002200221111001122221x1122001122002222220011111100111100110022221x1200112222111100000000002200221111001122220x1222001122002222220011111100111100110022220x1200112222111100000000002200221111001122222x1222001122002222220011111100111100110022222x1200112222111100000000002200221111001122221x1222001122002222220011111100111100110022221x1000220000112200221111221111222211001111110x1022111111001111000000220011112211110022110x1000220000112200221111221111222211001111112x1022111111001111000000220011112211110022112x1000220000112200221111221111222211001111111x1022111111001111000000220011112211110022111x1100220000112200221111221111222211001111110x1122111111001111000000220011112211110022110x1100220000112200221111221111222211001111112x1122111111001111000000220011112211110022112x1100220000112200221111221111222211001111111x1122111111001111000000220011112211110022111x1200220000112200221111221111222211001111110x1222111111001111000000220011112211110022110x1200220000112200221111221111222211001111112x1222111111001111000000220011112211110022112x1200220000112200221111221111222211001111111x1222111111001111000000220011112211110022111x1000220011110000111122110022222211002211220x1011110011112200220000000011002211111100000x1000220011110000111122110022222211002211222x1011110011112200220000000011002211111100002x1000220011110000111122110022222211002211221x1011110011112200220000000011002211111100001x1100220011110000111122110022222211002211220x1111110011112200220000000011002211111100000x1100220011110000111122110022222211002211222x1111110011112200220000000011002211111100002x1100220011110000111122110022222211002211221x1111110011112200220000000011002211111100001x1200220011110000111122110022222211002211220x1211110011112200220000000011002211111100000x1200220011110000111122110022222211002211222x1211110011112200220000000011002211111100002x1200220011110000111122110022222211002211221x1211110011112200220000000011002211111100001x1000220011110011112211222222110022001111000x1011001100220022001111110022221111111122000x1000220011110011112211222222110022001111002x1011001100220022001111110022221111111122002x1000220011110011112211222222110022001111001x1011001100220022001111110022221111111122001x1100220011110011112211222222110022001111000x1111001100220022001111110022221111111122000x1100220011110011112211222222110022001111002x1111001100220022001111110022221111111122002x1100220011110011112211222222110022001111001x1111001100220022001111110022221111111122001x1200220011110011112211222222110022001111000x1211001100220022001111110022221111111122000x1200220011110011112211222222110022001111002x1211001100220022001111110022221111111122002x1200220011110011112211222222110022001111001x1211001100220022001111110022221111111122001x1000220011112200112222112211112200111100220x1022000011110011111100110022110000111111110x1000220011112200112222112211112200111100222x1022000011110011111100110022110000111111112x1000220011112200112222112211112200111100221x1022000011110011111100110022110000111111111x1100220011112200112222112211112200111100220x1122000011110011111100110022110000111111110x1100220011112200112222112211112200111100222x1122000011110011111100110022110000111111112x1100220011112200112222112211112200111100221x1122000011110011111100110022110000111111111x1200220011112200112222112211112200111100220x1222000011110011111100110022110000111111110x1200220011112200112222112211112200111100222x1222000011110011111100110022110000111111112x1200220011112200112222112211112200111100221x1222000011110011111100110022110000111111111x1000220011112211112211220022222200000011110x1022111111222211001122001111222211112200000x1000220011112211112211220022222200000011112x1022111111222211001122001111222211112200002x1000220011112211112211220022222200000011111x1022111111222211001122001111222211112200001x1100220011112211112211220022222200000011110x1122111111222211001122001111222211112200000x1100220011112211112211220022222200000011112x1122111111222211001122001111222211112200002x1100220011112211112211220022222200000011111x1122111111222211001122001111222211112200001x1200220011112211112211220022222200000011110x1222111111222211001122001111222211112200000x1200220011112211112211220022222200000011112x1222111111222211001122001111222211112200002x1200220011112211112211220022222200000011111x1222111111222211001122001111222211112200001x1000220011222211221111221111111122220022110x1011001100111100000011111122111111002222000x1000220011222211221111221111111122220022112x1011001100111100000011111122111111002222002x1000220011222211221111221111111122220022111x1011001100111100000011111122111111002222001x1100220011222211221111221111111122220022110x1111001100111100000011111122111111002222000x1100220011222211221111221111111122220022112x1111001100111100000011111122111111002222002x1100220011222211221111221111111122220022111x1111001100111100000011111122111111002222001x1200220011222211221111221111111122220022110x1211001100111100000011111122111111002222000x1200220011222211221111221111111122220022112x1211001100111100000011111122111111002222002x1200220011222211221111221111111122220022111x1211001100111100000011111122111111002222001x1000220022001100110011222211110022111111000x1011001122111111220011112200222200111111000x1000220022001100110011222211110022111111002x1011001122111111220011112200222200111111002x1000220022001100110011222211110022111111001x1011001122111111220011112200222200111111001x1100220022001100110011222211110022111111000x1111001122111111220011112200222200111111000x1100220022001100110011222211110022111111002x1111001122111111220011112200222200111111002x1100220022001100110011222211110022111111001x1111001122111111220011112200222200111111001x1200220022001100110011222211110022111111000x1211001122111111220011112200222200111111000x1200220022001100110011222211110022111111002x1211001122111111220011112200222200111111002x1200220022001100110011222211110022111111001x1211001122111111220011112200222200111111001x1000221100000022002200112211111100110011220x1011111111221122112200002211001122001100110x1000221100000022002200112211111100110011222x1011111111221122112200002211001122001100112x1000221100000022002200112211111100110011221x1011111111221122112200002211001122001100111x1100221100000022002200112211111100110011220x1111111111221122112200002211001122001100110x1100221100000022002200112211111100110011222x1111111111221122112200002211001122001100112x1100221100000022002200112211111100110011221x1111111111221122112200002211001122001100111x1200221100000022002200112211111100110011220x1211111111221122112200002211001122001100110x1200221100000022002200112211111100110011222x1211111111221122112200002211001122001100112x1200221100000022002200112211111100110011221x1211111111221122112200002211001122001100111x1000221111112200222211001100220022002222110x1022001122112200221100001111002222111111220x1000221111112200222211001100220022002222112x1022001122112200221100001111002222111111222x1000221111112200222211001100220022002222111x1022001122112200221100001111002222111111221x1100221111112200222211001100220022002222110x1122001122112200221100001111002222111111220x1100221111112200222211001100220022002222112x1122001122112200221100001111002222111111222x1100221111112200222211001100220022002222111x1122001122112200221100001111002222111111221x1200221111112200222211001100220022002222110x1222001122112200221100001111002222111111220x1200221111112200222211001100220022002222112x1222001122112200221100001111002222111111222x1200221111112200222211001100220022002222111x1222001122112200221100001111002222111111221x1000221111221100001122001111112200000000220x1011110022001100222211110022221111110000110x1000221111221100001122001111112200000000222x1011110022001100222211110022221111110000112x1000221111221100001122001111112200000000221x1011110022001100222211110022221111110000111x1100221111221100001122001111112200000000220x1111110022001100222211110022221111110000110x1100221111221100001122001111112200000000222x1111110022001100222211110022221111110000112x1100221111221100001122001111112200000000221x1111110022001100222211110022221111110000111x1200221111221100001122001111112200000000220x1211110022001100222211110022221111110000110x1200221111221100001122001111112200000000222x1211110022001100222211110022221111110000112x1200221111221100001122001111112200000000221x1211110022001100222211110022221111110000111x1000222200110022111122001111000022002211110x1011222222221100112211111111111100220022000x1000222200110022111122001111000022002211112x1011222222221100112211111111111100220022002x1000222200110022111122001111000022002211111x1011222222221100112211111111111100220022001x1100222200110022111122001111000022002211110x1111222222221100112211111111111100220022000x1100222200110022111122001111000022002211112x1111222222221100112211111111111100220022002x1100222200110022111122001111000022002211111x1111222222221100112211111111111100220022001x1200222200110022111122001111000022002211110x1211222222221100112211111111111100220022000x1200222200110022111122001111000022002211112x1211222222221100112211111111111100220022002x1200222200110022111122001111000022002211111x1211222222221100112211111111111100220022001x1011000000112211111122002211112211220011220x1000110000220022001111111111111100222211110x1011000000112211111122002211112211220011222x1000110000220022001111111111111100222211112x1011000000112211111122002211112211220011221x1000110000220022001111111111111100222211111x1111000000112211111122002211112211220011220x1100110000220022001111111111111100222211110x1111000000112211111122002211112211220011222x1100110000220022001111111111111100222211112x1111000000112211111122002211112211220011221x1100110000220022001111111111111100222211111x1211000000112211111122002211112211220011220x1200110000220022001111111111111100222211110x1211000000112211111122002211112211220011222x1200110000220022001111111111111100222211112x1211000000112211111122002211112211220011221x1200110000220022001111111111111100222211111x1011000000221122111122220000220011002211110x1000220022001122111111221111221122220011220x1011000000221122111122220000220011002211112x1000220022001122111111221111221122220011222x1011000000221122111122220000220011002211111x1000220022001122111111221111221122220011221x1111000000221122111122220000220011002211110x1100220022001122111111221111221122220011220x1111000000221122111122220000220011002211112x1100220022001122111111221111221122220011222x1111000000221122111122220000220011002211111x1100220022001122111111221111221122220011221x1211000000221122111122220000220011002211110x1200220022001122111111221111221122220011220x1211000000221122111122220000220011002211112x1200220022001122111111221111221122220011222x1211000000221122111122220000220011002211111x1200220022001122111111221111221122220011221x1011000022221111110011110000222222002200110x1022001111001100000000001100221100001111220x1011000022221111110011110000222222002200112x1022001111001100000000001100221100001111222x1011000022221111110011110000222222002200111x1022001111001100000000001100221100001111221x1111000022221111110011110000222222002200110x1122001111001100000000001100221100001111220x1111000022221111110011110000222222002200112x1122001111001100000000001100221100001111222x1111000022221111110011110000222222002200111x1122001111001100000000001100221100001111221x1211000022221111110011110000222222002200110x1222001111001100000000001100221100001111220x1211000022221111110011110000222222002200112x1222001111001100000000001100221100001111222x1211000022221111110011110000222222002200111x1222001111001100000000001100221100001111221x1011001100001100111122000000000000110000110x1022111122112222001100221111001122111122000x1011001100001100111122000000000000110000112x1022111122112222001100221111001122111122002x1011001100001100111122000000000000110000111x1022111122112222001100221111001122111122001x1111001100001100111122000000000000110000110x1122111122112222001100221111001122111122000x1111001100001100111122000000000000110000112x1122111122112222001100221111001122111122002x1111001100001100111122000000000000110000111x1122111122112222001100221111001122111122001x1211001100001100111122000000000000110000110x1222111122112222001100221111001122111122000x1211001100001100111122000000000000110000112x1222111122112222001100221111001122111122002x1211001100001100111122000000000000110000111x1222111122112222001100221111001122111122001x1011001111111122000011000000002222221122000x1000111100000011112211222200002200111122110x1011001111111122000011000000002222221122002x1000111100000011112211222200002200111122112x1011001111111122000011000000002222221122001x1000111100000011112211222200002200111122111x1111001111111122000011000000002222221122000x1100111100000011112211222200002200111122110x1111001111111122000011000000002222221122002x1100111100000011112211222200002200111122112x1111001111111122000011000000002222221122001x1100111100000011112211222200002200111122111x1211001111111122000011000000002222221122000x1200111100000011112211222200002200111122110x1211001111111122000011000000002222221122002x1200111100000011112211222200002200111122112x1211001111111122000011000000002222221122001x1200111100000011112211222200002200111122111x1011001122001122221122112200000000221111000x1022111122112222111122000011000022001111220x1011001122001122221122112200000000221111002x1022111122112222111122000011000022001111222x1011001122001122221122112200000000221111001x1022111122112222111122000011000022001111221x1111001122001122221122112200000000221111000x1122111122112222111122000011000022001111220x1111001122001122221122112200000000221111002x1122111122112222111122000011000022001111222x1111001122001122221122112200000000221111001x1122111122112222111122000011000022001111221x1211001122001122221122112200000000221111000x1222111122112222111122000011000022001111220x1211001122001122221122112200000000221111002x1222111122112222111122000011000022001111222x1211001122001122221122112200000000221111001x1222111122112222111122000011000022001111221x1011002200110000112211221100221111220000000x1000001122111100220000221111222222001111110x1011002200110000112211221100221111220000002x1000001122111100220000221111222222001111112x1011002200110000112211221100221111220000001x1000001122111100220000221111222222001111111x1111002200110000112211221100221111220000000x1100001122111100220000221111222222001111110x1111002200110000112211221100221111220000002x1100001122111100220000221111222222001111112x1111002200110000112211221100221111220000001x1100001122111100220000221111222222001111111x1211002200110000112211221100221111220000000x1200001122111100220000221111222222001111110x1211002200110000112211221100221111220000002x1200001122111100220000221111222222001111112x1211002200110000112211221100221111220000001x1200001122111100220000221111222222001111111x1011002211002200111111001100222222002211110x1000000011221122112211002200221111111122110x1011002211002200111111001100222222002211112x1000000011221122112211002200221111111122112x1011002211002200111111001100222222002211111x1000000011221122112211002200221111111122111x1111002211002200111111001100222222002211110x1100000011221122112211002200221111111122110x1111002211002200111111001100222222002211112x1100000011221122112211002200221111111122112x1111002211002200111111001100222222002211111x1100000011221122112211002200221111111122111x1211002211002200111111001100222222002211110x1200000011221122112211002200221111111122110x1211002211002200111111001100222222002211112x1200000011221122112211002200221111111122112x1211002211002200111111001100222222002211111x1200000011221122112211002200221111111122111x1011110011111111112200002211112211222200000x1022110011112211112200111122111100110000110x1011110011111111112200002211112211222200002x1022110011112211112200111122111100110000112x1011110011111111112200002211112211222200001x1022110011112211112200111122111100110000111x1111110011111111112200002211112211222200000x1122110011112211112200111122111100110000110x1111110011111111112200002211112211222200002x1122110011112211112200111122111100110000112x1111110011111111112200002211112211222200001x1122110011112211112200111122111100110000111x1211110011111111112200002211112211222200000x1222110011112211112200111122111100110000110x1211110011111111112200002211112211222200002x1222110011112211112200111122111100110000112x1211110011111111112200002211112211222200001x1222110011112211112200111122111100110000111x1011111100002211000000111100110000000011000x1000001111222211000011112200001111001111000x1011111100002211000000111100110000000011002x1000001111222211000011112200001111001111002x1011111100002211000000111100110000000011001x1000001111222211000011112200001111001111001x1111111100002211000000111100110000000011000x1100001111222211000011112200001111001111000x1111111100002211000000111100110000000011002x1100001111222211000011112200001111001111002x1111111100002211000000111100110000000011001x1100001111222211000011112200001111001111001x1211111100002211000000111100110000000011000x1200001111222211000011112200001111001111000x1211111100002211000000111100110000000011002x1200001111222211000011112200001111001111002x1211111100002211000000111100110000000011001x1200001111222211000011112200001111001111001x1011111100221100001111000000220000111122220x1000001111000011111122112200000022221111110x1011111100221100001111000000220000111122222x1000001111000011111122112200000022221111112x1011111100221100001111000000220000111122221x1000001111000011111122112200000022221111111x1111111100221100001111000000220000111122220x1100001111000011111122112200000022221111110x1111111100221100001111000000220000111122222x1100001111000011111122112200000022221111112x1111111100221100001111000000220000111122221x1100001111000011111122112200000022221111111x1211111100221100001111000000220000111122220x1200001111000011111122112200000022221111110x1211111100221100001111000000220000111122222x1200001111000011111122112200000022221111112x1211111100221100001111000000220000111122221x1200001111000011111122112200000022221111111x1011111122222211222211111122001122002200110x1022110011110000001111002211111100001100220x1011111122222211222211111122001122002200112x1022110011110000001111002211111100001100222x1011111122222211222211111122001122002200111x1022110011110000001111002211111100001100221x1111111122222211222211111122001122002200110x1122110011110000001111002211111100001100220x1111111122222211222211111122001122002200112x1122110011110000001111002211111100001100222x1111111122222211222211111122001122002200111x1122110011110000001111002211111100001100221x1211111122222211222211111122001122002200110x1222110011110000001111002211111100001100220x1211111122222211222211111122001122002200112x1222110011110000001111002211111100001100222x1211111122222211222211111122001122002200111x1222110011110000001111002211111100001100221x1011112211222222000022222200111100221100110x1000002211001100001100221122112200001111220x1011112211222222000022222200111100221100112x1000002211001100001100221122112200001111222x1011112211222222000022222200111100221100111x1000002211001100001100221122112200001111221x1111112211222222000022222200111100221100110x1100002211001100001100221122112200001111220x1111112211222222000022222200111100221100112x1100002211001100001100221122112200001111222x1111112211222222000022222200111100221100111x1100002211001100001100221122112200001111221x1211112211222222000022222200111100221100110x1200002211001100001100221122112200001111220x1211112211222222000022222200111100221100112x1200002211001100001100221122112200001111222x1211112211222222000022222200111100221100111x1200002211001100001100221122112200001111221x1011220011001100111111222200221111000000220x1000001122111111002211112200220011110011220x1011220011001100111111222200221111000000222x1000001122111111002211112200220011110011222x1011220011001100111111222200221111000000221x1000001122111111002211112200220011110011221x1111220011001100111111222200221111000000220x1100001122111111002211112200220011110011220x1111220011001100111111222200221111000000222x1100001122111111002211112200220011110011222x1111220011001100111111222200221111000000221x1100001122111111002211112200220011110011221x1211220011001100111111222200221111000000220x1200001122111111002211112200220011110011220x1211220011001100111111222200221111000000222x1200001122111111002211112200220011110011222x1211220011001100111111222200221111000000221x1200001122111111002211112200220011110011221x1011222222111100112200112211001122001122000x1000001111111111222222001122001122111100000x1011222222111100112200112211001122001122002x1000001111111111222222001122001122111100002x1011222222111100112200112211001122001122001x1000001111111111222222001122001122111100001x1111222222111100112200112211001122001122000x1100001111111111222222001122001122111100000x1111222222111100112200112211001122001122002x1100001111111111222222001122001122111100002x1111222222111100112200112211001122001122001x1100001111111111222222001122001122111100001x1211222222111100112200112211001122001122000x1200001111111111222222001122001122111100000x1211222222111100112200112211001122001122002x1200001111111111222222001122001122111100002x1211222222111100112200112211001122001122001x1200001111111111222222001122001122111100001x1022000000111100000022111122112200111100220x1011001111110022001111112222110022222222110x1022000000111100000022111122112200111100222x1011001111110022001111112222110022222222112x1022000000111100000022111122112200111100221x1011001111110022001111112222110022222222111x1122000000111100000022111122112200111100220x1111001111110022001111112222110022222222110x1122000000111100000022111122112200111100222x1111001111110022001111112222110022222222112x1122000000111100000022111122112200111100221x1111001111110022001111112222110022222222111x1222000000111100000022111122112200111100220x1211001111110022001111112222110022222222110x1222000000111100000022111122112200111100222x1211001111110022001111112222110022222222112x1222000000111100000022111122112200111100221x1211001111110022001111112222110022222222111x1022000011110011221122001100110011001111000x1011112222112211110011112222111111112211000x1022000011110011221122001100110011001111002x1011112222112211110011112222111111112211002x1022000011110011221122001100110011001111001x1011112222112211110011112222111111112211001x1122000011110011221122001100110011001111000x1111112222112211110011112222111111112211000x1122000011110011221122001100110011001111002x1111112222112211110011112222111111112211002x1122000011110011221122001100110011001111001x1111112222112211110011112222111111112211001x1222000011110011221122001100110011001111000x1211112222112211110011112222111111112211000x1222000011110011221122001100110011001111002x1211112222112211110011112222111111112211002x1222000011110011221122001100110011001111001x1211112222112211110011112222111111112211001x1022001100222200110011110011222200000000220x1000111111002211001111110000002200222222000x1022001100222200110011110011222200000000222x1000111111002211001111110000002200222222002x1022001100222200110011110011222200000000221x1000111111002211001111110000002200222222001x1122001100222200110011110011222200000000220x1100111111002211001111110000002200222222000x1122001100222200110011110011222200000000222x1100111111002211001111110000002200222222002x1122001100222200110011110011222200000000221x1100111111002211001111110000002200222222001x1222001100222200110011110011222200000000220x1200111111002211001111110000002200222222000x1222001100222200110011110011222200000000222x1200111111002211001111110000002200222222002x1222001100222200110011110011222200000000221x1200111111002211001111110000002200222222001x1022001111000000001122220011002211000011110x1000001111221122110000221100221122110011110x1022001111000000001122220011002211000011112x1000001111221122110000221100221122110011112x1022001111000000001122220011002211000011111x1000001111221122110000221100221122110011111x1122001111000000001122220011002211000011110x1100001111221122110000221100221122110011110x1122001111000000001122220011002211000011112x1100001111221122110000221100221122110011112x1122001111000000001122220011002211000011111x1100001111221122110000221100221122110011111x1222001111000000001122220011002211000011110x1200001111221122110000221100221122110011110x1222001111000000001122220011002211000011112x1200001111221122110000221100221122110011112x1222001111000000001122220011002211000011111x1200001111221122110000221100221122110011111x1022001111000022001122001111001111221100220x1011220011220011001111220022110000111111220x1022001111000022001122001111001111221100222x1011220011220011001111220022110000111111222x1022001111000022001122001111001111221100221x1011220011220011001111220022110000111111221x1122001111000022001122001111001111221100220x1111220011220011001111220022110000111111220x1122001111000022001122001111001111221100222x1111220011220011001111220022110000111111222x1122001111000022001122001111001111221100221x1111220011220011001111220022110000111111221x1222001111000022001122001111001111221100220x1211220011220011001111220022110000111111220x1222001111000022001122001111001111221100222x1211220011220011001111220022110000111111222x1222001111000022001122001111001111221100221x1211220011220011001111220022110000111111221x1022001111220011001111222222112222002200220x1011221100111122002200001100000011221122220x1022001111220011001111222222112222002200222x1011221100111122002200001100000011221122222x1022001111220011001111222222112222002200221x1011221100111122002200001100000011221122221x1122001111220011001111222222112222002200220x1111221100111122002200001100000011221122220x1122001111220011001111222222112222002200222x1111221100111122002200001100000011221122222x1122001111220011001111222222112222002200221x1111221100111122002200001100000011221122221x1222001111220011001111222222112222002200220x1211221100111122002200001100000011221122220x1222001111220011001111222222112222002200222x1211221100111122002200001100000011221122222x1222001111220011001111222222112222002200221x1211221100111122002200001100000011221122221x1022002200002211111100110011221100112200110x1011002222221122112211221111111111112211110x1022002200002211111100110011221100112200112x1011002222221122112211221111111111112211112x1022002200002211111100110011221100112200111x1011002222221122112211221111111111112211111x1122002200002211111100110011221100112200110x1111002222221122112211221111111111112211110x1122002200002211111100110011221100112200112x1111002222221122112211221111111111112211112x1122002200002211111100110011221100112200111x1111002222221122112211221111111111112211111x1222002200002211111100110011221100112200110x1211002222221122112211221111111111112211110x1222002200002211111100110011221100112200112x1211002222221122112211221111111111112211112x1222002200002211111100110011221100112200111x1211002222221122112211221111111111112211111x1022110011002211002200002200111111111122220x1000221122110011111111112200220000110011220x1022110011002211002200002200111111111122222x1000221122110011111111112200220000110011222x1022110011002211002200002200111111111122221x1000221122110011111111112200220000110011221x1122110011002211002200002200111111111122220x1100221122110011111111112200220000110011220x1122110011002211002200002200111111111122222x1100221122110011111111112200220000110011222x1122110011002211002200002200111111111122221x1100221122110011111111112200220000110011221x1222110011002211002200002200111111111122220x1200221122110011111111112200220000110011220x1222110011002211002200002200111111111122222x1200221122110011111111112200220000110011222x1222110011002211002200002200111111111122221x1200221122110011111111112200220000110011221x1022110011111122112200220022220022110011000x1000112200001111110022110011110022001100220x1022110011111122112200220022220022110011002x1000112200001111110022110011110022001100222x1022110011111122112200220022220022110011001x1000112200001111110022110011110022001100221x1122110011111122112200220022220022110011000x1100112200001111110022110011110022001100220x1122110011111122112200220022220022110011002x1100112200001111110022110011110022001100222x1122110011111122112200220022220022110011001x1100112200001111110022110011110022001100221x1222110011111122112200220022220022110011000x1200112200001111110022110011110022001100220x1222110011111122112200220022220022110011002x1200112200001111110022110011110022001100222x1222110011111122112200220022220022110011001x1200112200001111110022110011110022001100221x1022110022000000001111221100221111111122110x1011222222221111001111112211002211001111000x1022110022000000001111221100221111111122112x1011222222221111001111112211002211001111002x1022110022000000001111221100221111111122111x1011222222221111001111112211002211001111001x1122110022000000001111221100221111111122110x1111222222221111001111112211002211001111000x1122110022000000001111221100221111111122112x1111222222221111001111112211002211001111002x1122110022000000001111221100221111111122111x1111222222221111001111112211002211001111001x1222110022000000001111221100221111111122110x1211222222221111001111112211002211001111000x1222110022000000001111221100221111111122112x1211222222221111001111112211002211001111002x1222110022000000001111221100221111111122111x1211222222221111001111112211002211001111001x1022110022002211111111112211221122110022000x1011221100111111111122112211000022221111220x1022110022002211111111112211221122110022002x1011221100111111111122112211000022221111222x1022110022002211111111112211221122110022001x1011221100111111111122112211000022221111221x1122110022002211111111112211221122110022000x1111221100111111111122112211000022221111220x1122110022002211111111112211221122110022002x1111221100111111111122112211000022221111222x1122110022002211111111112211221122110022001x1111221100111111111122112211000022221111221x1222110022002211111111112211221122110022000x1211221100111111111122112211000022221111220x1222110022002211111111112211221122110022002x1211221100111111111122112211000022221111222x1222110022002211111111112211221122110022001x1211221100111111111122112211000022221111221x1022110022111111001111221122110000000000220x1011001122220022000000110000110011111100110x1022110022111111001111221122110000000000222x1011001122220022000000110000110011111100112x1022110022111111001111221122110000000000221x1011001122220022000000110000110011111100111x1122110022111111001111221122110000000000220x1111001122220022000000110000110011111100110x1122110022111111001111221122110000000000222x1111001122220022000000110000110011111100112x1122110022111111001111221122110000000000221x1111001122220022000000110000110011111100111x1222110022111111001111221122110000000000220x1211001122220022000000110000110011111100110x1222110022111111001111221122110000000000222x1211001122220022000000110000110011111100112x1222110022111111001111221122110000000000221x1211001122220022000000110000110011111100111x1022111122000000112200110011001111222200110x1011001122111111110022001122222200112211000x1022111122000000112200110011001111222200112x1011001122111111110022001122222200112211002x1022111122000000112200110011001111222200111x1011001122111111110022001122222200112211001x1122111122000000112200110011001111222200110x1111001122111111110022001122222200112211000x1122111122000000112200110011001111222200112x1111001122111111110022001122222200112211002x1122111122000000112200110011001111222200111x1111001122111111110022001122222200112211001x1222111122000000112200110011001111222200110x1211001122111111110022001122222200112211000x1222111122000000112200110011001111222200112x1211001122111111110022001122222200112211002x1222111122000000112200110011001111222200111x1211001122111111110022001122222200112211001x1022112222221122001100222200000011110000110x1011000011002200000011000000110022000022110x1022112222221122001100222200000011110000112x1011000011002200000011000000110022000022112x1022112222221122001100222200000011110000111x1011000011002200000011000000110022000022111x1122112222221122001100222200000011110000110x1111000011002200000011000000110022000022110x1122112222221122001100222200000011110000112x1111000011002200000011000000110022000022112x1122112222221122001100222200000011110000111x1111000011002200000011000000110022000022111x1222112222221122001100222200000011110000110x1211000011002200000011000000110022000022110x1222112222221122001100222200000011110000112x1211000011002200000011000000110022000022112x1222112222221122001100222200000011110000111x1211000011002200000011000000110022000022111x1022221100221122001100000022111111110022110x1000111111112200001100220011221100000011000x1022221100221122001100000022111111110022112x1000111111112200001100220011221100000011002x1022221100221122001100000022111111110022111x1000111111112200001100220011221100000011001x1122221100221122001100000022111111110022110x1100111111112200001100220011221100000011000x1122221100221122001100000022111111110022112x1100111111112200001100220011221100000011002x1122221100221122001100000022111111110022111x1100111111112200001100220011221100000011001x1222221100221122001100000022111111110022110x1200111111112200001100220011221100000011000x1222221100221122001100000022111111110022112x1200111111112200001100220011221100000011002x1222221100221122001100000022111111110022111x1200111111112200001100220011221100000011001x1022221111000022221111110011111100000022000x1000001111000011112222111111222200111100000x1022221111000022221111110011111100000022002x1000001111000011112222111111222200111100002x1022221111000022221111110011111100000022001x1000001111000011112222111111222200111100001x1122221111000022221111110011111100000022000x1100001111000011112222111111222200111100000x1122221111000022221111110011111100000022002x1100001111000011112222111111222200111100002x1122221111000022221111110011111100000022001x1100001111000011112222111111222200111100001x1222221111000022221111110011111100000022000x1200001111000011112222111111222200111100000x1222221111000022221111110011111100000022002x1200001111000011112222111111222200111100002x1222221111000022221111110011111100000022001x1200001111000011112222111111222200111100001x1022221122001122220011001111111111111122220x1011111111000011222200112211002211111122110x1022221122001122220011001111111111111122222x1011111111000011222200112211002211111122112x1022221122001122220011001111111111111122221x1011111111000011222200112211002211111122111x1122221122001122220011001111111111111122220x1111111111000011222200112211002211111122110x1122221122001122220011001111111111111122222x1111111111000011222200112211002211111122112x1122221122001122220011001111111111111122221x1111111111000011222200112211002211111122111x1222221122001122220011001111111111111122220x1211111111000011222200112211002211111122110x1222221122001122220011001111111111111122222x1211111111000011222200112211002211111122112x1222221122001122220011001111111111111122221x1211111111000011222200112211002211111122111x1022222222001100111111001111111100220022110x1000112211221111111100001111001122112200000x1022222222001100111111001111111100220022112x1000112211221111111100001111001122112200002x1022222222001100111111001111111100220022111x1000112211221111111100001111001122112200001x1122222222001100111111001111111100220022110x1100112211221111111100001111001122112200000x1122222222001100111111001111111100220022112x1100112211221111111100001111001122112200002x1122222222001100111111001111111100220022111x1100112211221111111100001111001122112200001x1222222222001100111111001111111100220022110x1200112211221111111100001111001122112200000x1222222222001100111111001111111100220022112x1200112211221111111100001111001122112200002x1222222222001100111111001111111100220022111x1200112211221111111100001111001122112200001x1022222222111111111122001111001122110011000x1011112200111100000011110000001111002200110x1022222222111111111122001111001122110011002x1011112200111100000011110000001111002200112x1022222222111111111122001111001122110011001x1011112200111100000011110000001111002200111x1122222222111111111122001111001122110011000x1111112200111100000011110000001111002200110x1122222222111111111122001111001122110011002x1111112200111100000011110000001111002200112x1122222222111111111122001111001122110011001x1111112200111100000011110000001111002200111x1222222222111111111122001111001122110011000x1211112200111100000011110000001111002200110x1222222222111111111122001111001122110011002x1211112200111100000011110000001111002200112x1222222222111111111122001111001122110011001x1211112200111100000011110000001111002200111x110011117902111512011132101111541111112111132111121110111110221112440000000220000001111112211111122111100220x10001111001122001111110022112200220011220x10000000220000001111112211111122111100222x10001111001122001111110022112200220011222x10000000220000001111112211111122111100221x10001111001122001111110022112200220011221x11222211111100110022222200002211001111110x11221122001100111111002211000000000000110x11222211111100110022222200002211001111112x11221122001100111111002211000000000000112x11222211111100110022222200002211001111111x11221122001100111111002211000000000000111x1100002222222222112211110000110000001100110x1111222222111100220022112211222200112222110x1100002222222222112211110000110000001100112x1111222222111100220022112211222200112222112x1100002222222222112211110000110000001100111x1111222222111100220022112211222200112222111x1200002222222222112211110000110000001100110x1211222222111100220022112211222200112222110x1200002222222222112211110000110000001100112x1211222222111100220022112211222200112222112x1200002222222222112211110000110000001100111x1211222222111100220022112211222200112222111x1100111702111282011110011111111112111211112101118221111222211111100110022222200002211001111110x11221122001100111111002211000000000000110x11222211111100110022222200002211001111112x11221122001100111111002211000000000000112x11222211111100110022222200002211001111111x11221122001100111111002211000000000000111x1100002222222222112211110000110000001100110x1111222222111100220022112211222200112222110x1100002222222222112211110000110000001100112x1111222222111100220022112211222200112222112x1100002222222222112211110000110000001100111x1111222222111100220022112211222200112222111x1200002222222222112211110000110000001100110x1211222222111100220022112211222200112222110x1200002222222222112211110000110000001100112x1211222222111100220022112211222200112222112x1200002222222222112211110000110000001100111x1211222222111100220022112211222200112222111x11121112211121111111111011110111102111120111100111100002222222222112211110000110000001100110x1111222222111100220022112211222200112222110x1100002222222222112211110000110000001100112x1111222222111100220022112211222200112222112x1100002222222222112211110000110000001100111x1111222222111100220022112211222200112222111x1200002222222222112211110000110000001100110x1211222222111100220022112211222200112222110x1200002222222222112211110000110000001100112x1211222222111100220022112211222200112222112x1200002222222222112211110000110000001100111x1211222222111100220022112211222200112222111x1110111100111021112221112111112111111110111120111200002222222222112211110000110000001100110x1211222222111100220022112211222200112222110x1200002222222222112211110000110000001100112x1211222222111100220022112211222200112222112x1200002222222222112211110000110000001100111x1211222222111100220022112211222200112222111x1120111100111021112211121111121111111110111011111AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (8 real / 0 unknown / 0 assumptions / 8 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe