YES 00000110121221101222x102111121122210010211x100001011020021010222x122220100011000210121x100020120101210220112x101120211122222122000x100022120010112222210x100111011122222102000x100022200210002111212x112012211210102022110x100100202211121102112x101201011221121102211x100110111202121212021x101220100121110121201x100121021110121222222x111211110202222201202x100122020202222211022x112022011201011122222x101020112222021010120x120112200110202111120x101021022222210012121x122211210010220012111x101110121200200220202x111102111121202112020x101111011102212000220x102212222011101220020x101111100120012010122x110101111222022201111x101200112102022210221x102021211012112012201x102100212212121002222x101122200212210220111x102101000222020202222x101222200100020112222x102110201020212221110x100111100201022222211x102111102210010011100x110221112122201112112x102112120121201121221x122020222000011221111x102120220220012101001x111011200112201011100x102210221010201120110x110222102112112022221x110011000021201110002x111200012122101200110x110102120010212021110x102211112001120012112x110202221210110122111x120111220121112111011x110212021121112021012x110122221011012112212x110212201201022012222x112222222022202201201x111002011121121011000x121100212111110111222x111011220212102012122x122022022101011012222x111200222200121202102x112122022112100120212x111202100200221002002x120221212201121120010x111210001211210001022x100121222110010210122x111212200000122111011x101222021112012121112x111221200011112001200x122120212212012222011x111221200201201011022x111122000120210112012x112000210010211201111x101111202201211112100x112011220220102220102x112112112021122102211x112012110101001202010x101110220222022201011x112020211211210002212x121221120121211010122x112101002002210112122x112202122222012020201x112101221202010002022x121112110222121121021x112112000021100211110x112111202101020020011x112112122021012020010x111111212222110112102x112122110210020220121x111101221211110111212x112200120211001221002x111110122121102201002x112222221202102121120x111121111020020211111x120001000121200022121x111211100012122210102x120002201021010110102x121220002211010210212x120010211012101111122x121112222221212010222x120011211022000110222x122122212020101121221x120012021120000100221x101122021101010001221x120020020101121112122x120212211221011001102x120020111112100021122x122012221022211122220x120021002111221112222x120220121222112211111x120100202221122100022x121210001220122101022x120102110010010121021x102210111011222002101x120110010211100022222x121111220010201220111x120122100020112000012x112221110122211120020x120122102012012220011x121211201210110211110x120200120022102112111x112111022210111022211x120202122000120220212x102220122112120001012x120211212011202212021x121122021110201222122x120220202000220201020x121002010211221100021x120221000110100022111x111102211002022120111x120221020211211100110x120121210120200221111x120221110102010121002x122221201211212012110x121000100012211112122x120222211220121012101x121002101122100220201x112221200121110101101x121010121220222210012x121010121111101120002x121011000202222002000x111202120210212010111x121011201000100100211x120102220121002220022x121021102020102001110x121121001022101220112x121022012110021101022x121110222220112001002x121022201101212010022x122212002002011111111x121100112120100210002x121020121101001021201x121100121111001220011x120021122221222110101x121100202200111210122x121011002222221222122x121110110202200200120x102211220021122211022x121110212121200112011x122222212211121200212x121111001000010001121x102121210111120202021x121210221220211120122x121011211110201120222x121220120010011212022x121201002211020110122x121221120212001011212x102002222110110222222x122000220120011002021x120220202000102222110x122012211020010112021x121011211102110221211x122021012222121220200x111111120112112120122x122021020021011121112x120022222122101112201x122021211221122001011x122020101012111111110x122022022110201201212x122011111122122201201x122100211202101022102x121002222020222102111x122101020111112001101x122211221222012112100x122101200021221121202x121111011001101211120x122101202210121200122x121021111122220110221x122110200120010010222x121220220200120200222x122112120202021002012x101220001112211211212x122121211120000201022x121212022201122022210x122211201222102000010x102221111022101022010x122212000211220102011x120001222202102221011x122221101022120010202x122201101222021001111x12.101200000110121221101222x102111121122210010211x100020120101210220112x101120211122222122000x100022120010112222210x100111011122222102000x100100202211121102112x101201011221121102211x100110111202121212021x101220100121110121201x101111011102212000220x102212222011101220020x101200112102022210221x102021211012112012201x102100212212121002222x101122200212210220111x102101000222020202222x101222200100020112222x102110201020212221110x100111100201022222211x110011000021201110002x111200012122101200110x110212021121112021012x110122221011012112212x110212201201022012222x112222222022202201201x111200222200121202102x112122022112100120212x111221200201201011022x111122000120210112012x112011220220102220102x112112112021122102211x112101002002210112122x112202122222012020201x112112000021100211110x112111202101020020011x112112122021012020010x111111212222110112102x112122110210020220121x111101221211110111212x112200120211001221002x111110122121102201002x112222221202102121120x111121111020020211111x120002201021010110102x121220002211010210212x120010211012101111122x121112222221212010222x120011211022000110222x122122212020101121221x120020020101121112122x120212211221011001102x120020111112100021122x122012221022211122220x120021002111221112222x120220121222112211111x120100202221122100022x121210001220122101022x120110010211100022222x121111220010201220111x120122102012012220011x121211201210110211110x120211212011202212021x121122021110201222122x120220202000220201020x121002010211221100021x120221020211211100110x120121210120200221111x120221110102010121002x122221201211212012110x121000100012211112122x120222211220121012101x121010121220222210012x121010121111101120002x121011201000100100211x120102220121002220022x121021102020102001110x121121001022101220112x121022012110021101022x121110222220112001002x121022201101212010022x122212002002011111111x121100112120100210002x121020121101001021201x121100121111001220011x120021122221222110101x121100202200111210122x121011002222221222122x121110212121200112011x122222212211121200212x121210221220211120122x121011211110201120222x121220120010011212022x121201002211020110122x122000220120011002021x120220202000102222110x122012211020010112021x121011211102110221211x122021020021011121112x120022222122101112201x122021211221122001011x122020101012111111110x122022022110201201212x122011111122122201201x122100211202101022102x121002222020222102111x122101020111112001101x122211221222012112100x122101200021221121202x121111011001101211120x122101202210121200122x121021111122220110221x122110200120010010222x121220220200120200222x122121211120000201022x121212022201122022210x122212000211220102011x120001222202102221011x122221101022120010202x122201101222021001111x1000001011020021010222x1022220100011000210121x1100001011020021010222x1122220100011000210121x1200001011020021010222x1222220100011000210121x1000022200210002111212x1012012211210102022110x1100022200210002111212x1112012211210102022110x1200022200210002111212x1212012211210102022110x1000121021110121222222x1011211110202222201202x1100121021110121222222x1111211110202222201202x1200121021110121222222x1211211110202222201202x1000122020202222211022x1012022011201011122222x1100122020202222211022x1112022011201011122222x1200122020202222211022x1212022011201011122222x1001020112222021010120x1020112200110202111120x1101020112222021010120x1120112200110202111120x1201020112222021010120x1220112200110202111120x1001021022222210012121x1022211210010220012111x1101021022222210012121x1122211210010220012111x1201021022222210012121x1222211210010220012111x1001110121200200220202x1011102111121202112020x1101110121200200220202x1111102111121202112020x1201110121200200220202x1211102111121202112020x1001111100120012010122x1010101111222022201111x1101111100120012010122x1110101111222022201111x1201111100120012010122x1210101111222022201111x1002111102210010011100x1010221112122201112112x1102111102210010011100x1110221112122201112112x1202111102210010011100x1210221112122201112112x1002112120121201121221x1022020222000011221111x1102112120121201121221x1122020222000011221111x1202112120121201121221x1222020222000011221111x1002120220220012101001x1011011200112201011100x1102120220220012101001x1111011200112201011100x1202120220220012101001x1211011200112201011100x1002210221010201120110x1010222102112112022221x1102210221010201120110x1110222102112112022221x1202210221010201120110x1210222102112112022221x1010102120010212021110x1002211112001120012112x1110102120010212021110x1102211112001120012112x1210102120010212021110x1202211112001120012112x1010202221210110122111x1020111220121112111011x1110202221210110122111x1120111220121112111011x1210202221210110122111x1220111220121112111011x1011002011121121011000x1021100212111110111222x1111002011121121011000x1121100212111110111222x1211002011121121011000x1221100212111110111222x1011011220212102012122x1022022022101011012222x1111011220212102012122x1122022022101011012222x1211011220212102012122x1222022022101011012222x1011202100200221002002x1020221212201121120010x1111202100200221002002x1120221212201121120010x1211202100200221002002x1220221212201121120010x1011210001211210001022x1000121222110010210122x1111210001211210001022x1100121222110010210122x1211210001211210001022x1200121222110010210122x1011212200000122111011x1001222021112012121112x1111212200000122111011x1101222021112012121112x1211212200000122111011x1201222021112012121112x1011221200011112001200x1022120212212012222011x1111221200011112001200x1122120212212012222011x1211221200011112001200x1222120212212012222011x1012000210010211201111x1001111202201211112100x1112000210010211201111x1101111202201211112100x1212000210010211201111x1201111202201211112100x1012012110101001202010x1001110220222022201011x1112012110101001202010x1101110220222022201011x1212012110101001202010x1201110220222022201011x1012020211211210002212x1021221120121211010122x1112020211211210002212x1121221120121211010122x1212020211211210002212x1221221120121211010122x1012101221202010002022x1021112110222121121021x1112101221202010002022x1121112110222121121021x1212101221202010002022x1221112110222121121021x1020001000121200022121x1011211100012122210102x1120001000121200022121x1111211100012122210102x1220001000121200022121x1211211100012122210102x1020012021120000100221x1001122021101010001221x1120012021120000100221x1101122021101010001221x1220012021120000100221x1201122021101010001221x1020102110010010121021x1002210111011222002101x1120102110010010121021x1102210111011222002101x1220102110010010121021x1202210111011222002101x1020122100020112000012x1012221110122211120020x1120122100020112000012x1112221110122211120020x1220122100020112000012x1212221110122211120020x1020200120022102112111x1012111022210111022211x1120200120022102112111x1112111022210111022211x1220200120022102112111x1212111022210111022211x1020202122000120220212x1002220122112120001012x1120202122000120220212x1102220122112120001012x1220202122000120220212x1202220122112120001012x1020221000110100022111x1011102211002022120111x1120221000110100022111x1111102211002022120111x1220221000110100022111x1211102211002022120111x1021002101122100220201x1012221200121110101101x1121002101122100220201x1112221200121110101101x1221002101122100220201x1212221200121110101101x1021011000202222002000x1011202120210212010111x1121011000202222002000x1111202120210212010111x1221011000202222002000x1211202120210212010111x1021110110202200200120x1002211220021122211022x1121110110202200200120x1102211220021122211022x1221110110202200200120x1202211220021122211022x1021111001000010001121x1002121210111120202021x1121111001000010001121x1102121210111120202021x1221111001000010001121x1202121210111120202021x1021221120212001011212x1002002222110110222222x1121221120212001011212x1102002222110110222222x1221221120212001011212x1202002222110110222222x1022021012222121220200x1011111120112112120122x1122021012222121220200x1111111120112112120122x1222021012222121220200x1211111120112112120122x1022112120202021002012x1001220001112211211212x1122112120202021002012x1101220001112211211212x1222112120202021002012x1201220001112211211212x1022211201222102000010x1002221111022101022010x1122211201222102000010x1102221111022101022010x1222211201222102000010x1202221111022101022010x10000000001111001122112222111100112222220x10221111111122111122222211000011002211110x10000000001111001122112222111100112222221x10221111111122111122222211000011002211111x10000000001111001122112222111100112222222x10221111111122111122222211000011002211112x10000022001122001100112211002222001111220x10111122002211111122222222221122220000000x10000022001122001100112211002222001111221x10111122002211111122222222221122220000001x10000022001122001100112211002222001111222x10111122002211111122222222221122220000002x10000022221122000011001111222222222211000x10001111110011111122222222221100220000000x10000022221122000011001111222222222211001x10001111110011111122222222221100220000001x10000022221122000011001111222222222211002x10001111110011111122222222221100220000002x10001100002200222211111122111100221111220x10112200110011112222111122111100222211110x10001100002200222211111122111100221111221x10112200110011112222111122111100222211111x10001100002200222211111122111100221111222x10112200110011112222111122111100222211112x10001111001111112200221122112211220022110x10112222001100001122111111001122112200110x10001111001111112200221122112211220022111x10112222001100001122111111001122112200111x10001111001111112200221122112211220022112x10112222001100001122111111001122112200112x10111111110011111100222211220000002222000x10222211222222220011111100112222000022000x10111111110011111100222211220000002222001x10222211222222220011111100112222000022001x10111111110011111100222211220000002222002x10222211222222220011111100112222000022002x10112200001111221100220022222211002222110x10220022112211110011221111220011222200110x10112200001111221100220022222211002222111x10220022112211110011221111220011222200111x10112200001111221100220022222211002222112x10220022112211110011221111220011222200112x10221100002211222211221122110000222222220x10111122222200002211222211002222001111110x10221100002211222211221122110000222222221x10111122222200002211222211002222001111111x10221100002211222211221122110000222222222x10111122222200002211222211002222001111112x10221100110000002222220022002200222222220x10112222222200001100000022001111222222220x10221100110000002222220022002200222222221x10112222222200001100000022001111222222221x10221100110000002222220022002200222222222x10112222222200001100000022001111222222222x10221111002200110022002211222222111111000x10001111111100002200110022222222222211110x10221111002200110022002211222222111111001x10001111111100002200110022222222222211111x10221111002200110022002211222222111111002x10001111111100002200110022222222222211112x11000011110000000022112200111111000000220x11112200000011221122221100112200001111000x11000011110000000022112200111111000000221x11112200000011221122221100112200001111001x11000011110000000022112200111111000000222x11112200000011221122221100112200001111002x11002211220022111122111111220022110011220x11001122222222110011110011221111222211220x11002211220022111122111111220022110011221x11001122222222110011110011221111222211221x11002211220022111122111111220022110011222x11001122222222110011110011221111222211222x11002211222200112200110022220011222222220x11222222222222220022222200222200112200110x11002211222200112200110022220011222222221x11222222222222220022222200222200112200111x11002211222200112200110022220011222222222x11222222222222220022222200222200112200112x11112200002222222200001122112200221100220x11221122220022221111221100001122002211220x11112200002222222200001122112200221100221x11221122220022221111221100001122002211221x11112200002222222200001122112200221100222x11221122220022221111221100001122002211222x11112222112200002200112200110011110022220x11111122220000001122002211001111220011220x11112222112200002200112200110011110022221x11111122220000001122002211001111220011221x11112222112200002200112200110011110022222x11111122220000001122002211001111220011222x11220011112222002222001100222222001100220x11221111221111220022111122221100222211110x11220011112222002222001100222222001100221x11221111221111220022111122221100222211111x11220011112222002222001100222222001100222x11221111221111220022111122221100222211112x11221100110000220000222211001111221122220x11222200221122222222220011220022002200110x11221100110000220000222211001111221122221x11222200221122222222220011220022002200111x11221100110000220000222211001111221122222x11222200221122222222220011220022002200112x11221111220000000022111100002211111111000x11221111112200221100110022000022000011110x11221111220000000022111100002211111111001x11221111112200221100110022000022000011111x11221111220000000022111100002211111111002x11221111112200221100110022000022000011112x11221111221122220022110011220022000011000x11111111112211222222221111001111221100220x11221111221122220022110011220022000011001x11111111112211222222221111001111221100221x11221111221122220022110011220022000011002x11111111112211222222221111001111221100222x11221122221111002211000022002222001122110x11111100112222112211111111001111112211220x11221122221111002211000022002222001122111x11111100112222112211111111001111112211221x11221122221111002211000022002222001122112x11111100112222112211111111001111112211222x11222200001122002211110000112222110000220x11111111001122221122111100222200110000220x11222200001122002211110000112222110000221x11111111001122221122111100222200110000221x11222200001122002211110000112222110000222x11111111001122221122111100222200110000222x11222222222222112200221100221122111122000x11111122111111110022000022002211111111110x11222222222222112200221100221122111122001x11111122111111110022000022002211111111111x11222222222222112200221100221122111122002x11111122111111110022000022002211111111112x12000000222200110022110011001111001100220x12112222000000222211110011002211002211220x12000000222200110022110011001111001100221x12112222000000222211110011002211002211221x12000000222200110022110011001111001100222x12112222000000222211110011002211002211222x12000011002211110011221100111111111122220x12111111222222222222112211220011002222220x12000011002211110011221100111111111122221x12111111222222222222112211220011002222221x12000011002211110011221100111111111122222x12111111222222222222112211220011002222222x12000011112211110022220000001111002222220x12221122222211220022001100111122112222110x12000011112211110022220000001111002222221x12221122222211220022001100111122112222111x12000011112211110022220000001111002222222x12221122222211220022001100111122112222112x12000022000022001100111122111111221122220x12002211222211112222110011110000111100220x12000022000022001100111122111111221122221x12002211222211112222110011110000111100221x12000022000022001100111122111111221122222x12002211222211112222110011110000111100222x12000022001111111111221100000022111122220x12220011222222110022222211111122222222000x12000022001111111111221100000022111122221x12220011222222110022222211111122222222001x12000022001111111111221100000022111122222x12220011222222110022222211111122222222002x12000022110000221111112222111111222222220x12002222001122112222221111222211111111110x12000022110000221111112222111111222222221x12002222001122112222221111222211111111111x12000022110000221111112222111111222222222x12002222001122112222221111222211111111112x12001100002200222222111122221100000022220x12112211000000112222001122221100110022220x12001100002200222222111122221100000022221x12112211000000112222001122221100110022221x12001100002200222222111122221100000022222x12112211000000112222001122221100110022222x12001111000011002211111100000022222222220x12111111112222000011002200112222001111110x12001111000011002211111100000022222222221x12111111112222000011002200112222001111111x12001111000011002211111100000022222222222x12111111112222000011002200112222001111112x12001122221100220011220011222222000011110x12112211112200112211001111002211111111000x12001122221100220011220011222222000011111x12112211112200112211001111002211111111001x12001122221100220011220011222222000011112x12112211112200112211001111002211111111002x12002211112211220011112200222211220022110x12111122220022111111002200112222221122220x12002211112211220011112200222211220022111x12111122220022111111002200112222221122221x12002211112211220011112200222211220022112x12111122220022111111002200112222221122222x12002222002200220000002222002200110022000x12110000220011002211112222111100000022110x12002222002200220000002222002200110022001x12110000220011002211112222111100000022111x12002222002200220000002222002200110022002x12110000220011002211112222111100000022112x12002222110022002211112211111100001111000x12001122112211001122002200002222111111110x12002222110022002211112211111100001111001x12001122112211001122002200002222111111111x12002222110022002211112211111100001111002x12001122112211001122002200002222111111112x12002222111111001100220011001122110000220x12222222112200112211112211220011221111000x12002222111111001100220011001122110000221x12222222112200112211112211220011221111001x12002222111111001100220011001122110000222x12222222112200112211112211220011221111002x12110000001100000011222211111111221122220x12002222222211112222001122110011221100110x12110000001100000011222211111111221122221x12002222222211112222001122110011221100111x12110000001100000011222211111111221122222x12002222222211112222001122110011221100112x12110011001122112222002222222211000011220x12110011001122111111111100111122000000220x12110011001122112222002222222211000011221x12110011001122111111111100111122000000221x12110011001122112222002222222211000011222x12110011001122111111111100111122000000222x12110011112200110000001100001100002211110x12001100222222001122110000222222000022220x12110011112200110000001100001100002211111x12001100222222001122110000222222000022221x12110011112200110000001100001100002211112x12001100222222001122110000222222000022222x12110022111100220022001100220000111111000x12111122110000110022221100112222001111220x12110022111100220022001100220000111111001x12111122110000110022221100112222001111221x12110022111100220022001100220000111111002x12111122110000110022221100112222001111222x12110022220011221111000022111100110022220x12111111002222222222001111220000110000220x12110022220011221111000022111100110022221x12111111002222222222001111220000110000221x12110022220011221111000022111100110022222x12111111002222222222001111220000110000222x12110022222200111100112211220011000022220x12222211220000220000220011111111111111110x12110022222200111100112211220011000022221x12222211220000220000220011111111111111111x12110022222200111100112211220011000022222x12222211220000220000220011111111111111112x12111100001111221122001100002211000000220x12110022001122111100110000110022112200110x12111100001111221122001100002211000000221x12110022001122111100110000110022112200111x12111100001111221122001100002211000000222x12110022001122111100110000110022112200112x12111100001122111111110000112222000011110x12000022111122222222112222221111001100110x12111100001122111111110000112222000011111x12000022111122222222112222221111001100111x12111100001122111111110000112222000011112x12000022111122222222112222221111001100112x12111100002200222200001111112211001122220x12110011110000222222222222112222221122220x12111100002200222200001111112211001122221x12110011110000222222222222112222221122221x12111100002200222200001111112211001122222x12110011110000222222222222112222221122222x12111111002211221122112200001111220011110x12222222222211222211111122112200002211220x12111111002211221122112200001111220011111x12222222222211222211111122112200002211221x12111111002211221122112200001111220011112x12222222222211222211111122112200002211222x12112211002222112222002211111122001122220x12110011112211111111002200111122002222220x12112211002222112222002211111122001122221x12110011112211111111002200111122002222221x12112211002222112222002211111122001122222x12110011112211111111002200111122002222222x12112222001122000011000011112211220022220x12112200110000222211110022001111001122220x12112222001122000011000011112211220022221x12112200110000222211110022001111001122221x12112222001122000011000011112211220022222x12112200110000222211110022001111001122222x12220000002222001122000011110000220022110x12002222002200220000001100222222221111000x12220000002222001122000011110000220022111x12002222002200220000001100222222221111001x12220000002222001122000011110000220022112x12002222002200220000001100222222221111002x12220011222211110022000011001111220022110x12110011112211111100221111002222112211110x12220011222211110022000011001111220022111x12110011112211111100221111002222112211111x12220011222211110022000011001111220022112x12110011112211111100221111002222112211112x12220022110022000022110011111122111111220x12000022222222221122221100111111222200110x12220022110022000022110011111122111111221x12000022222222221122221100111111222200111x12220022110022000022110011111122111111222x12000022222222221122221100111111222200112x12220022112211112222111122220000110011110x12220022001100110011221111111111111111000x12220022112211112222111122220000110011111x12220022001100110011221111111111111111001x12220022112211112222111122220000110011112x12220022001100110011221111111111111111002x12220022220022221111002200112200112211220x12220011111111111122221122222200112200110x12220022220022221111002200112200112211221x12220011111111111122221122222200112200111x12220022220022221111002200112200112211222x12220011111111111122221122222200112200112x12221100002211112200221100110022221100220x12110000222222220022002222221100221111110x12221100002211112200221100110022221100221x12110000222222220022002222221100221111111x12221100002211112200221100110022221100222x12110000222222220022002222221100221111112x12221100110022001111111111220000111100110x12222211112222112222220011221111221100000x12221100110022001111111111220000111100111x12222211112222112222220011221111221100001x12221100110022001111111111220000111100112x12222211112222112222220011221111221100002x12221100112200000022112222111122112200220x12111111110011110000111100112211111122000x12221100112200000022112222111122112200221x12111111110011110000111100112211111122001x12221100112200000022112222111122112200222x12111111110011110000111100112211111122002x12221100112200222211001122112200001122220x12110022111111111122222222001111002222110x12221100112200222211001122112200001122221x12110022111111111122222222001111002222111x12221100112200222211001122112200001122222x12110022111111111122222222001111002222112x12221111002200001122000011000011002222220x12112222002222002200001122002200002222220x12221111002200001122000011000011002222221x12112222002222002200001122002200002222221x12221111002200001122000011000011002222222x12112222002222002200001122002200002222222x12221122112211111122000000002200110022220x12112211220022222200111122220022222211000x12221122112211111122000000002200110022221x12112211220022222200111122220022222211001x12221122112211111122000000002200110022222x12112211220022222200111122220022222211002x12222211220000002211112222001100220011110x12000000112222222200221100222222110011110x12222211220000002211112222001100220011111x12000000112222222200221100222222110011111x12222211220000002211112222001100220011112x12000000112222222200221100222222110011112x12222222111100110022221122000011002200220x12222200111100112222220022110000111111110x12222222111100110022221122000011002200221x12222200111100112222220022110000111111111x12222222111100110022221122000011002200222x12222200111100112222220022110000111111112x1000000000110011110022000022110011002222220x1022222222001100000011110000002211001122110x1000000000110011110022000022110011002222221x1022222222001100000011110000002211001122111x1000000000110011110022000022110011002222222x1022222222001100000011110000002211001122112x1100000000110011110022000022110011002222220x1122222222001100000011110000002211001122110x1100000000110011110022000022110011002222221x1122222222001100000011110000002211001122111x1100000000110011110022000022110011002222222x1122222222001100000011110000002211001122112x1200000000110011110022000022110011002222220x1222222222001100000011110000002211001122110x1200000000110011110022000022110011002222221x1222222222001100000011110000002211001122111x1200000000110011110022000022110011002222222x1222222222001100000011110000002211001122112x1000000022222200002211000000221111112211220x1011220011222211112211001100220022221111000x1000000022222200002211000000221111112211221x1011220011222211112211001100220022221111001x1000000022222200002211000000221111112211222x1011220011222211112211001100220022221111002x1100000022222200002211000000221111112211220x1111220011222211112211001100220022221111000x1100000022222200002211000000221111112211221x1111220011222211112211001100220022221111001x1100000022222200002211000000221111112211222x1111220011222211112211001100220022221111002x1200000022222200002211000000221111112211220x1211220011222211112211001100220022221111000x1200000022222200002211000000221111112211221x1211220011222211112211001100220022221111001x1200000022222200002211000000221111112211222x1211220011222211112211001100220022221111002x1000001122110022111111001122112222222222220x1011112211111111002200222222222200112200220x1000001122110022111111001122112222222222221x1011112211111111002200222222222200112200221x1000001122110022111111001122112222222222222x1011112211111111002200222222222200112200222x1100001122110022111111001122112222222222220x1111112211111111002200222222222200112200220x1100001122110022111111001122112222222222221x1111112211111111002200222222222200112200221x1100001122110022111111001122112222222222222x1111112211111111002200222222222200112200222x1200001122110022111111001122112222222222220x1211112211111111002200222222222200112200220x1200001122110022111111001122112222222222221x1211112211111111002200222222222200112200221x1200001122110022111111001122112222222222222x1211112211111111002200222222222200112200222x1000001122220022002200222222222211110022220x1011220022220011112200110011111122222222220x1000001122220022002200222222222211110022221x1011220022220011112200110011111122222222221x1000001122220022002200222222222211110022222x1011220022220011112200110011111122222222222x1100001122220022002200222222222211110022220x1111220022220011112200110011111122222222220x1100001122220022002200222222222211110022221x1111220022220011112200110011111122222222221x1100001122220022002200222222222211110022222x1111220022220011112200110011111122222222222x1200001122220022002200222222222211110022220x1211220022220011112200110011111122222222220x1200001122220022002200222222222211110022221x1211220022220011112200110011111122222222221x1200001122220022002200222222222211110022222x1211220022220011112200110011111122222222222x1000110022001111222222220022110011001122000x1022001111222200001111002200221111111122000x1000110022001111222222220022110011001122001x1022001111222200001111002200221111111122001x1000110022001111222222220022110011001122002x1022001111222200001111002200221111111122002x1100110022001111222222220022110011001122000x1122001111222200001111002200221111111122000x1100110022001111222222220022110011001122001x1122001111222200001111002200221111111122001x1100110022001111222222220022110011001122002x1122001111222200001111002200221111111122002x1200110022001111222222220022110011001122000x1222001111222200001111002200221111111122000x1200110022001111222222220022110011001122001x1222001111222200001111002200221111111122001x1200110022001111222222220022110011001122002x1222001111222200001111002200221111111122002x1000110022110022222222222211000011221122110x1022222211112211000011002222000011221111110x1000110022110022222222222211000011221122111x1022222211112211000011002222000011221111111x1000110022110022222222222211000011221122112x1022222211112211000011002222000011221111112x1100110022110022222222222211000011221122110x1122222211112211000011002222000011221111110x1100110022110022222222222211000011221122111x1122222211112211000011002222000011221111111x1100110022110022222222222211000011221122112x1122222211112211000011002222000011221111112x1200110022110022222222222211000011221122110x1222222211112211000011002222000011221111110x1200110022110022222222222211000011221122111x1222222211112211000011002222000011221111111x1200110022110022222222222211000011221122112x1222222211112211000011002222000011221111112x1000111111001122112200002200002222002200220x1011111100221111111122112200221111220022000x1000111111001122112200002200002222002200221x1011111100221111111122112200221111220022001x1000111111001122112200002200002222002200222x1011111100221111111122112200221111220022002x1100111111001122112200002200002222002200220x1111111100221111111122112200221111220022000x1100111111001122112200002200002222002200221x1111111100221111111122112200221111220022001x1100111111001122112200002200002222002200222x1111111100221111111122112200221111220022002x1200111111001122112200002200002222002200220x1211111100221111111122112200221111220022000x1200111111001122112200002200002222002200221x1211111100221111111122112200221111220022001x1200111111001122112200002200002222002200222x1211111100221111111122112200221111220022002x1000111111111100001122000011220011001122220x1011001100111111112222220022222200111111110x1000111111111100001122000011220011001122221x1011001100111111112222220022222200111111111x1000111111111100001122000011220011001122222x1011001100111111112222220022222200111111112x1100111111111100001122000011220011001122220x1111001100111111112222220022222200111111110x1100111111111100001122000011220011001122221x1111001100111111112222220022222200111111111x1100111111111100001122000011220011001122222x1111001100111111112222220022222200111111112x1200111111111100001122000011220011001122220x1211001100111111112222220022222200111111110x1200111111111100001122000011220011001122221x1211001100111111112222220022222200111111111x1200111111111100001122000011220011001122222x1211001100111111112222220022222200111111112x1000221111111100222211000011000011111100000x1011002222111111221122222200111111221111220x1000221111111100222211000011000011111100001x1011002222111111221122222200111111221111221x1000221111111100222211000011000011111100002x1011002222111111221122222200111111221111222x1100221111111100222211000011000011111100000x1111002222111111221122222200111111221111220x1100221111111100222211000011000011111100001x1111002222111111221122222200111111221111221x1100221111111100222211000011000011111100002x1111002222111111221122222200111111221111222x1200221111111100222211000011000011111100000x1211002222111111221122222200111111221111220x1200221111111100222211000011000011111100001x1211002222111111221122222200111111221111221x1200221111111100222211000011000011111100002x1211002222111111221122222200111111221111222x1000221111221122001122112200111122112222110x1022220022002222220000000011112222111111110x1000221111221122001122112200111122112222111x1022220022002222220000000011112222111111111x1000221111221122001122112200111122112222112x1022220022002222220000000011112222111111112x1100221111221122001122112200111122112222110x1122220022002222220000000011112222111111110x1100221111221122001122112200111122112222111x1122220022002222220000000011112222111111111x1100221111221122001122112200111122112222112x1122220022002222220000000011112222111111112x1200221111221122001122112200111122112222110x1222220022002222220000000011112222111111110x1200221111221122001122112200111122112222111x1222220022002222220000000011112222111111111x1200221111221122001122112200111122112222112x1222220022002222220000000011112222111111112x1000221122002222002222000011221100110000110x1011110011112200001111222200110011111100000x1000221122002222002222000011221100110000111x1011110011112200001111222200110011111100001x1000221122002222002222000011221100110000112x1011110011112200001111222200110011111100002x1100221122002222002222000011221100110000110x1111110011112200001111222200110011111100000x1100221122002222002222000011221100110000111x1111110011112200001111222200110011111100001x1100221122002222002222000011221100110000112x1111110011112200001111222200110011111100002x1200221122002222002222000011221100110000110x1211110011112200001111222200110011111100000x1200221122002222002222000011221100110000111x1211110011112200001111222200110011111100001x1200221122002222002222000011221100110000112x1211110011112200001111222200110011111100002x1000222211002222110011002200111122001111000x1011002222221100221111221111220022222222110x1000222211002222110011002200111122001111001x1011002222221100221111221111220022222222111x1000222211002222110011002200111122001111002x1011002222221100221111221111220022222222112x1100222211002222110011002200111122001111000x1111002222221100221111221111220022222222110x1100222211002222110011002200111122001111001x1111002222221100221111221111220022222222111x1100222211002222110011002200111122001111002x1111002222221100221111221111220022222222112x1200222211002222110011002200111122001111000x1211002222221100221111221111220022222222110x1200222211002222110011002200111122001111001x1211002222221100221111221111220022222222111x1200222211002222110011002200111122001111002x1211002222221100221111221111220022222222112x1011001100221122000011002211220022111111000x1000222211111111220000111122000011221111220x1011001100221122000011002211220022111111001x1000222211111111220000111122000011221111221x1011001100221122000011002211220022111111002x1000222211111111220000111122000011221111222x1111001100221122000011002211220022111111000x1100222211111111220000111122000011221111220x1111001100221122000011002211220022111111001x1100222211111111220000111122000011221111221x1111001100221122000011002211220022111111002x1100222211111111220000111122000011221111222x1211001100221122000011002211220022111111000x1200222211111111220000111122000011221111220x1211001100221122000011002211220022111111001x1200222211111111220000111122000011221111221x1211001100221122000011002211220022111111002x1200222211111111220000111122000011221111222x1011002200222222112211001111001122221111110x1022001111112222001122111111221111110011110x1011002200222222112211001111001122221111111x1022001111112222001122111111221111110011111x1011002200222222112211001111001122221111112x1022001111112222001122111111221111110011112x1111002200222222112211001111001122221111110x1122001111112222001122111111221111110011110x1111002200222222112211001111001122221111111x1122001111112222001122111111221111110011111x1111002200222222112211001111001122221111112x1122001111112222001122111111221111110011112x1211002200222222112211001111001122221111110x1222001111112222001122111111221111110011110x1211002200222222112211001111001122221111111x1222001111112222001122111111221111110011111x1211002200222222112211001111001122221111112x1222001111112222001122111111221111110011112x1011110000220011111122111122110011110000000x1022111100002211221111111111001111112222220x1011110000220011111122111122110011110000001x1022111100002211221111111111001111112222221x1011110000220011111122111122110011110000002x1022111100002211221111111111001111112222222x1111110000220011111122111122110011110000000x1122111100002211221111111111001111112222220x1111110000220011111122111122110011110000001x1122111100002211221111111111001111112222221x1111110000220011111122111122110011110000002x1122111100002211221111111111001111112222222x1211110000220011111122111122110011110000000x1222111100002211221111111111001111112222220x1211110000220011111122111122110011110000001x1222111100002211221111111111001111112222221x1211110000220011111122111122110011110000002x1222111100002211221111111111001111112222222x1011110011112222002211221100220011221122220x1022220022220022221100110011110011222222220x1011110011112222002211221100220011221122221x1022220022220022221100110011110011222222221x1011110011112222002211221100220011221122222x1022220022220022221100110011110011222222222x1111110011112222002211221100220011221122220x1122220022220022221100110011110011222222220x1111110011112222002211221100220011221122221x1122220022220022221100110011110011222222221x1111110011112222002211221100220011221122222x1122220022220022221100110011110011222222222x1211110011112222002211221100220011221122220x1222220022220022221100110011110011222222220x1211110011112222002211221100220011221122221x1222220022220022221100110011110011222222221x1211110011112222002211221100220011221122222x1222220022220022221100110011110011222222222x1011112200221100002200002222110000220000220x1022002222112211222200111122111122000011000x1011112200221100002200002222110000220000221x1022002222112211222200111122111122000011001x1011112200221100002200002222110000220000222x1022002222112211222200111122111122000011002x1111112200221100002200002222110000220000220x1122002222112211222200111122111122000011000x1111112200221100002200002222110000220000221x1122002222112211222200111122111122000011001x1111112200221100002200002222110000220000222x1122002222112211222200111122111122000011002x1211112200221100002200002222110000220000220x1222002222112211222200111122111122000011000x1211112200221100002200002222110000220000221x1222002222112211222200111122111122000011001x1211112200221100002200002222110000220000222x1222002222112211222200111122111122000011002x1011112211000000112211112211000000110022220x1000001122112222221111000011002211001122220x1011112211000000112211112211000000110022221x1000001122112222221111000011002211001122221x1011112211000000112211112211000000110022222x1000001122112222221111000011002211001122222x1111112211000000112211112211000000110022220x1100001122112222221111000011002211001122220x1111112211000000112211112211000000110022221x1100001122112222221111000011002211001122221x1111112211000000112211112211000000110022222x1100001122112222221111000011002211001122222x1211112211000000112211112211000000110022220x1200001122112222221111000011002211001122220x1211112211000000112211112211000000110022221x1200001122112222221111000011002211001122221x1211112211000000112211112211000000110022222x1200001122112222221111000011002211001122222x1011112211222200000000001122221111110011110x1000112222220022111111220011221122111111220x1011112211222200000000001122221111110011111x1000112222220022111111220011221122111111221x1011112211222200000000001122221111110011112x1000112222220022111111220011221122111111222x1111112211222200000000001122221111110011110x1100112222220022111111220011221122111111220x1111112211222200000000001122221111110011111x1100112222220022111111220011221122111111221x1111112211222200000000001122221111110011112x1100112222220022111111220011221122111111222x1211112211222200000000001122221111110011110x1200112222220022111111220011221122111111220x1211112211222200000000001122221111110011111x1200112222220022111111220011221122111111221x1211112211222200000000001122221111110011112x1200112222220022111111220011221122111111222x1011112222112200000011111111220000112200000x1022221122002211222211220011222222220011110x1011112222112200000011111111220000112200001x1022221122002211222211220011222222220011111x1011112222112200000011111111220000112200002x1022221122002211222211220011222222220011112x1111112222112200000011111111220000112200000x1122221122002211222211220011222222220011110x1111112222112200000011111111220000112200001x1122221122002211222211220011222222220011111x1111112222112200000011111111220000112200002x1122221122002211222211220011222222220011112x1211112222112200000011111111220000112200000x1222221122002211222211220011222222220011110x1211112222112200000011111111220000112200001x1222221122002211222211220011222222220011111x1211112222112200000011111111220000112200002x1222221122002211222211220011222222220011112x1011220000002211000011002211112200111111110x1000111111112200222200112211111111221100000x1011220000002211000011002211112200111111111x1000111111112200222200112211111111221100001x1011220000002211000011002211112200111111112x1000111111112200222200112211111111221100002x1111220000002211000011002211112200111111110x1100111111112200222200112211111111221100000x1111220000002211000011002211112200111111111x1100111111112200222200112211111111221100001x1111220000002211000011002211112200111111112x1100111111112200222200112211111111221100002x1211220000002211000011002211112200111111110x1200111111112200222200112211111111221100000x1211220000002211000011002211112200111111111x1200111111112200222200112211111111221100001x1211220000002211000011002211112200111111112x1200111111112200222200112211111111221100002x1011220011221111001100110000112200220011000x1000111111002222002222220022222200110011110x1011220011221111001100110000112200220011001x1000111111002222002222220022222200110011111x1011220011221111001100110000112200220011002x1000111111002222002222220022222200110011112x1111220011221111001100110000112200220011000x1100111111002222002222220022222200110011110x1111220011221111001100110000112200220011001x1100111111002222002222220022222200110011111x1111220011221111001100110000112200220011002x1100111111002222002222220022222200110011112x1211220011221111001100110000112200220011000x1200111111002222002222220022222200110011110x1211220011221111001100110000112200220011001x1200111111002222002222220022222200110011111x1211220011221111001100110000112200220011002x1200111111002222002222220022222200110011112x1011220022002211112211112211000000222211220x1022112222111122001122112211110011001122220x1011220022002211112211112211000000222211221x1022112222111122001122112211110011001122221x1011220022002211112211112211000000222211222x1022112222111122001122112211110011001122222x1111220022002211112211112211000000222211220x1122112222111122001122112211110011001122220x1111220022002211112211112211000000222211221x1122112222111122001122112211110011001122221x1111220022002211112211112211000000222211222x1122112222111122001122112211110011001122222x1211220022002211112211112211000000222211220x1222112222111122001122112211110011001122220x1211220022002211112211112211000000222211221x1222112222111122001122112211110011001122221x1211220022002211112211112211000000222211222x1222112222111122001122112211110011001122222x1011221100112222112200220011000000220022220x1022111111221111002222221122111122110022110x1011221100112222112200220011000000220022221x1022111111221111002222221122111122110022111x1011221100112222112200220011000000220022222x1022111111221111002222221122111122110022112x1111221100112222112200220011000000220022220x1122111111221111002222221122111122110022110x1111221100112222112200220011000000220022221x1122111111221111002222221122111122110022111x1111221100112222112200220011000000220022222x1122111111221111002222221122111122110022112x1211221100112222112200220011000000220022220x1222111111221111002222221122111122110022110x1211221100112222112200220011000000220022221x1222111111221111002222221122111122110022111x1211221100112222112200220011000000220022222x1222111111221111002222221122111122110022112x1022000000110000001122112200000022221122110x1011112211111100000011221122222211001100220x1022000000110000001122112200000022221122111x1011112211111100000011221122222211001100221x1022000000110000001122112200000022221122112x1011112211111100000011221122222211001100222x1122000000110000001122112200000022221122110x1111112211111100000011221122222211001100220x1122000000110000001122112200000022221122111x1111112211111100000011221122222211001100221x1122000000110000001122112200000022221122112x1111112211111100000011221122222211001100222x1222000000110000001122112200000022221122110x1211112211111100000011221122222211001100220x1222000000110000001122112200000022221122111x1211112211111100000011221122222211001100221x1222000000110000001122112200000022221122112x1211112211111100000011221122222211001100222x1022000011220022111122000000001100002222110x1000111122220022111100110011000000112222110x1022000011220022111122000000001100002222111x1000111122220022111100110011000000112222111x1022000011220022111122000000001100002222112x1000111122220022111100110011000000112222112x1122000011220022111122000000001100002222110x1100111122220022111100110011000000112222110x1122000011220022111122000000001100002222111x1100111122220022111100110011000000112222111x1122000011220022111122000000001100002222112x1100111122220022111100110011000000112222112x1222000011220022111122000000001100002222110x1200111122220022111100110011000000112222110x1222000011220022111122000000001100002222111x1200111122220022111100110011000000112222111x1222000011220022111122000000001100002222112x1200111122220022111100110011000000112222112x1022001100221111000011000011001122110022110x1000222211001111110011112222220000221100110x1022001100221111000011000011001122110022111x1000222211001111110011112222220000221100111x1022001100221111000011000011001122110022112x1000222211001111110011112222220000221100112x1122001100221111000011000011001122110022110x1100222211001111110011112222220000221100110x1122001100221111000011000011001122110022111x1100222211001111110011112222220000221100111x1122001100221111000011000011001122110022112x1100222211001111110011112222220000221100112x1222001100221111000011000011001122110022110x1200222211001111110011112222220000221100110x1222001100221111000011000011001122110022111x1200222211001111110011112222220000221100111x1222001100221111000011000011001122110022112x1200222211001111110011112222220000221100112x1022001122221100000022001111220000000011220x1011222222111111001122222211111122000022000x1022001122221100000022001111220000000011221x1011222222111111001122222211111122000022001x1022001122221100000022001111220000000011222x1011222222111111001122222211111122000022002x1122001122221100000022001111220000000011220x1111222222111111001122222211111122000022000x1122001122221100000022001111220000000011221x1111222222111111001122222211111122000022001x1122001122221100000022001111220000000011222x1111222222111111001122222211111122000022002x1222001122221100000022001111220000000011220x1211222222111111001122222211111122000022000x1222001122221100000022001111220000000011221x1211222222111111001122222211111122000022001x1222001122221100000022001111220000000011222x1211222222111111001122222211111122000022002x1022002200001122000022221100221111221111110x1011221111110022222211001111110022222211110x1022002200001122000022221100221111221111111x1011221111110022222211001111110022222211111x1022002200001122000022221100221111221111112x1011221111110022222211001111110022222211112x1122002200001122000022221100221111221111110x1111221111110022222211001111110022222211110x1122002200001122000022221100221111221111111x1111221111110022222211001111110022222211111x1122002200001122000022221100221111221111112x1111221111110022222211001111110022222211112x1222002200001122000022221100221111221111110x1211221111110022222211001111110022222211110x1222002200001122000022221100221111221111111x1211221111110022222211001111110022222211111x1222002200001122000022221100221111221111112x1211221111110022222211001111110022222211112x1022002200221122220000001122002222002211220x1000222222001122221111221122000000110011220x1022002200221122220000001122002222002211221x1000222222001122221111221122000000110011221x1022002200221122220000001122002222002211222x1000222222001122221111221122000000110011222x1122002200221122220000001122002222002211220x1100222222001122221111221122000000110011220x1122002200221122220000001122002222002211221x1100222222001122221111221122000000110011221x1122002200221122220000001122002222002211222x1100222222001122221111221122000000110011222x1222002200221122220000001122002222002211220x1200222222001122221111221122000000110011220x1222002200221122220000001122002222002211221x1200222222001122221111221122000000110011221x1222002200221122220000001122002222002211222x1200222222001122221111221122000000110011222x1022002222110000001111001100000022221111110x1011111100222211110000220022221122001111110x1022002222110000001111001100000022221111111x1011111100222211110000220022221122001111111x1022002222110000001111001100000022221111112x1011111100222211110000220022221122001111112x1122002222110000001111001100000022221111110x1111111100222211110000220022221122001111110x1122002222110000001111001100000022221111111x1111111100222211110000220022221122001111111x1122002222110000001111001100000022221111112x1111111100222211110000220022221122001111112x1222002222110000001111001100000022221111110x1211111100222211110000220022221122001111110x1222002222110000001111001100000022221111111x1211111100222211110000220022221122001111111x1222002222110000001111001100000022221111112x1211111100222211110000220022221122001111112x1022110000221100111122221100002222002200110x1011222222112200001122111111001100111100110x1022110000221100111122221100002222002200111x1011222222112200001122111111001100111100111x1022110000221100111122221100002222002200112x1011222222112200001122111111001100111100112x1122110000221100111122221100002222002200110x1111222222112200001122111111001100111100110x1122110000221100111122221100002222002200111x1111222222112200001122111111001100111100111x1122110000221100111122221100002222002200112x1111222222112200001122111111001100111100112x1222110000221100111122221100002222002200110x1211222222112200001122111111001100111100110x1222110000221100111122221100002222002200111x1211222222112200001122111111001100111100111x1222110000221100111122221100002222002200112x1211222222112200001122111111001100111100112x1022110011110000002200222222220000220000000x1011112200221122002211002211220011001111110x1022110011110000002200222222220000220000001x1011112200221122002211002211220011001111111x1022110011110000002200222222220000220000002x1011112200221122002211002211220011001111112x1122110011110000002200222222220000220000000x1111112200221122002211002211220011001111110x1122110011110000002200222222220000220000001x1111112200221122002211002211220011001111111x1122110011110000002200222222220000220000002x1111112200221122002211002211220011001111112x1222110011110000002200222222220000220000000x1211112200221122002211002211220011001111110x1222110011110000002200222222220000220000001x1211112200221122002211002211220011001111111x1222110011110000002200222222220000220000002x1211112200221122002211002211220011001111112x1022111111001111002200222200002200001122000x1000222211112222000022111122222211110022220x1022111111001111002200222200002200001122001x1000222211112222000022111122222211110022221x1022111111001111002200222200002200001122002x1000222211112222000022111122222211110022222x1122111111001111002200222200002200001122000x1100222211112222000022111122222211110022220x1122111111001111002200222200002200001122001x1100222211112222000022111122222211110022221x1122111111001111002200222200002200001122002x1100222211112222000022111122222211110022222x1222111111001111002200222200002200001122000x1200222211112222000022111122222211110022220x1222111111001111002200222200002200001122001x1200222211112222000022111122222211110022221x1222111111001111002200222200002200001122002x1200222211112222000022111122222211110022222x1022111111110000110000000011000000111122110x1000221122112211001111111122002200220022110x1022111111110000110000000011000000111122111x1000221122112211001111111122002200220022111x1022111111110000110000000011000000111122112x1000221122112211001111111122002200220022112x1122111111110000110000000011000000111122110x1100221122112211001111111122002200220022110x1122111111110000110000000011000000111122111x1100221122112211001111111122002200220022111x1122111111110000110000000011000000111122112x1100221122112211001111111122002200220022112x1222111111110000110000000011000000111122110x1200221122112211001111111122002200220022110x1222111111110000110000000011000000111122111x1200221122112211001111111122002200220022111x1222111111110000110000000011000000111122112x1200221122112211001111111122002200220022112x1022112222111122002211220000110011112211220x1000220000222222221111001111002222222222220x1022112222111122002211220000110011112211221x1000220000222222221111001111002222222222221x1022112222111122002211220000110011112211222x1000220000222222221111001111002222222222222x1122112222111122002211220000110011112211220x1100220000222222221111001111002222222222220x1122112222111122002211220000110011112211221x1100220000222222221111001111002222222222221x1122112222111122002211220000110011112211222x1100220000222222221111001111002222222222222x1222112222111122002211220000110011112211220x1200220000222222221111001111002222222222220x1222112222111122002211220000110011112211221x1200220000222222221111001111002222222222221x1222112222111122002211220000110011112211222x1200220000222222221111001111002222222222222x1022220022110011222222221122112222002200000x1011111111111122001111221111221122001122220x1022220022110011222222221122112222002200001x1011111111111122001111221111221122001122221x1022220022110011222222221122112222002200002x1011111111111122001111221111221122001122222x1122220022110011222222221122112222002200000x1111111111111122001111221111221122001122220x1122220022110011222222221122112222002200001x1111111111111122001111221111221122001122221x1122220022110011222222221122112222002200002x1111111111111122001111221111221122001122222x1222220022110011222222221122112222002200000x1211111111111122001111221111221122001122220x1222220022110011222222221122112222002200001x1211111111111122001111221111221122001122221x1222220022110011222222221122112222002200002x1211111111111122001111221111221122001122222x1022221111221122002200220022110000220011220x1000112222000000111111222211112211112211220x1022221111221122002200220022110000220011221x1000112222000000111111222211112211112211221x1022221111221122002200220022110000220011222x1000112222000000111111222211112211112211222x1122221111221122002200220022110000220011220x1100112222000000111111222211112211112211220x1122221111221122002200220022110000220011221x1100112222000000111111222211112211112211221x1122221111221122002200220022110000220011222x1100112222000000111111222211112211112211222x1222221111221122002200220022110000220011220x1200112222000000111111222211112211112211220x1222221111221122002200220022110000220011221x1200112222000000111111222211112211112211221x1222221111221122002200220022110000220011222x1200112222000000111111222211112211112211222x1022222211112200112222221100220000000011000x1000222222111111110022221100110022220011000x1022222211112200112222221100220000000011001x1000222222111111110022221100110022220011001x1022222211112200112222221100220000000011002x1000222222111111110022221100110022220011002x1122222211112200112222221100220000000011000x1100222222111111110022221100110022220011000x1122222211112200112222221100220000000011001x1100222222111111110022221100110022220011001x1122222211112200112222221100220000000011002x1100222222111111110022221100110022220011002x1222222211112200112222221100220000000011000x1200222222111111110022221100110022220011000x1222222211112200112222221100220000000011001x1200222222111111110022221100110022220011001x1222222211112200112222221100220000000011002x1200222222111111110022221100110022220011002x1100111830111111111101118312111211118522111520111109021111220011112222002222001100222222001100222x11221111221111220022111122221100222211112x12221100110022001111111111220000111100110x12222211112222112222220011221111221100000x12221100110022001111111111220000111100111x12222211112222112222220011221111221100001x12221100110022001111111111220000111100112x12222211112222112222220011221111221100002x12221111002200001122000011000011002222220x12112222002222002200001122002200002222220x12221111002200001122000011000011002222221x12112222002222002200001122002200002222221x12221111002200001122000011000011002222222x12112222002222002200001122002200002222222x11121112011110111111111221110211110111121111001112221111002200001122000011000011002222220x12112222002222002200001122002200002222220x12221111002200001122000011000011002222221x12112222002222002200001122002200002222221x12221111002200001122000011000011002222222x12112222002222002200001122002200002222222x112211121111111111101110211120111001110111112111AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (6 real / 0 unknown / 0 assumptions / 6 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe