010x111110x1102x111112x121200x1111010x1101020x10011111x1202100x12111122x1210220x1111110011x1212221x12021111x100011220x10111100001x1110211020x1111122111101x1120201222x1221120022x10120002200x10100202200x100000220122x111111212100102x101202120200x12212211111101x120120210010x1211101011020x1001102022002x11112102200111111x1022122212122x111102211101020x10022201000002x101011120220012x10200020021220x121111110012112000x12010222211012x12210220220111x12210022021010x1111110220111210x100000010211222x1200020211101212x122222200000210x10022111212001111x1002121211011220x12001010221001111x1101202121021220x12102100111122000x1122002221220102x11010101101010112x1220112222210222x12201112022110001x10200010110021002x100220022111122110x11101200112102222x11110220122122010x12022011002000012x1111011210010011102x100120000212210110x1122101211110101202x100200200012122202x1201222122211122101x102020010122012010x1112020101211122201x102222100122121010x1211121012221012211x110100221210202122x11102111212211022110x111012121121010102x11121202101201011112x112100122211122122x111222222211100211x120200200202101121x12121101121221110011x1122001012101201200x111111112221111020110201112x1220102102110122010x11001001211111112120002x10020002202212012102x121210220101202001110x10202200021201202020x1202001112120111010011x10212020000000000200x112111011020020012121x11000202112121120012x11221010111200002011110x12000121121210102120x110011112212200221220x12001022110012212100x102000021110011111210112x100222011220000212100x1011000221210121110121x102020101121220101021x1011111201022210102121x110121221112210100020x11101101220220202111111x112200211200212110220x11212111110200202000220x121021110001011211010x1201122101111110110101x1000000202201102000220x10212111222110212112110x1020210020102110122210x121111201111122022210001121x1021220012011021010112x1001210001111020121222x1102212211102221101120x10220102211111102101011x1110112221200200010210x1121111011112111020111100210x1201022100012201012202x1222012201100221001002x1212120100012022022211x101212002111202112111211x10200210102010200021012x1212222121011112022000111x11020122200022010221212x111221000011111001220110112x11210101002221202102002x1111202100212111012012212x11220122020012102202001x111120112220100122122221x12012022002121020221012x112111011102212122200020x12110102111210012110010x12000111111112110000220011x12201102210120010011120x1021111110002020012221211x12201210012222202120102x110011122201201101102200x12220001122002121102100x110222001021111101011122221x101202011122201022010120x1122111120121202200111101x102012011102001201011000x1110102122021111021120202x121201012001002200210120x12211110202110100101212211x1000002112000121012210120x1112120021011111002212011200x1000110012101121222012110x1212212122122201110010111112x1002200101101222101001210x11020211101102200011211222x1020102202211011222201110x101110022000111012112211101x1022010011101112110011221x11112211111001010112211111211x1110222200000212022201220x11120201101022221121110210x1122212220010200022010022x11102110202022222112210102x1210000210202020000101020x10011220120022011101111120002x1221021020121201120210110x121101011202021200211110210x1222120211001012020110022x1201010100001211012111111120x10020220111221000110210122x110012111111112211020201222x10110100112212110010000002x10001122111202010100111111221x10202221220002222201011222x1210110121122110101110200002x11002100122002222200201000x112220011102212100001010120x11222110011020201220121201x12011022101011011112001111211x12022200000010122000101021x112112120011110010112121111x12221022221022010200102222x1202011221211011001112220022x102001102222200000021202222x1000211100001000200211201012x112120012121020020102211202x11001112222022110100112011011x120011010000011102200102211x10202120221010011110200111111x1020002000112210221222010220x10021222010120110011110111112x1022000202110200011220100112x11211221111012011121201220022x1101210020222122021121222020x11101211221212011100112202222x1102112221011001201022221002x111120120101211012210202111202x10001101222222212202220212200x112012120111100220110222100202x10120110221112020122010001020x110101011122000011122110112122x10121021121022202211211020021x100202000101101112111221022221x11002201021121022211110120102x112000100010201102011121011111x11201222120022022220011002222x111122110010220101001122101221x12010010120202011001010202001x121110220102211210220122021021x12112201120112011121101121022x11002122111112111211201120220x12222000221001120122022020201x1201220120202211112222000201121x102121000022002202022021121022x1120100102001211112122011222201x110110100021110221002111120102x111120010122010221120000011111x110112211220212022000010001200x1121022112120100011211111100101x110200201021001200121222121110x1121122112020211100202101100012x110201221200222120212002022000x110120100100220222022222012020x120011110002222211000100110212x1001102202011101011201122111111x120022102202202122200112002221x120222220222220122000112000211x121120121020011220210102011220x1221022212110020222201111011100x122120102211000000212121121022x1221111002222200112201000020120x12.1012102x111112x1202100x12111122x1212221x12021111x100011220x10111100001x1110211020x1111122111101x10120002200x10100202200x120120210010x1211101011020x10022201000002x101011120220012x12010222211012x12210220220111x1122002221220102x11010101101010112x1220112222210222x12201112022110001x10200010110021002x100220022111122110x11101200112102222x11110220122122010x110100221210202122x11102111212211022110x111012121121010102x11121202101201011112x112100122211122122x111222222211100211x120200200202101121x12121101121221110011x1122001012101201200x111111112221111020110201112x11000202112121120012x11221010111200002011110x100222011220000212100x1011000221210121110121x102020101121220101021x1011111201022210102121x110121221112210100020x11101101220220202111111x112200211200212110220x11212111110200202000220x121021110001011211010x1201122101111110110101x1000000202201102000220x10212111222110212112110x1021220012011021010112x1001210001111020121222x1110112221200200010210x1121111011112111020111100210x1201022100012201012202x1222012201100221001002x11020122200022010221212x111221000011111001220110112x11210101002221202102002x1111202100212111012012212x11220122020012102202001x111120112220100122122221x12110102111210012110010x12000111111112110000220011x121201012001002200210120x12211110202110100101212211x1020102202211011222201110x101110022000111012112211101x1110222200000212022201220x11120201101022221121110210x1122212220010200022010022x11102110202022222112210102x1221021020121201120210110x121101011202021200211110210x1222120211001012020110022x1201010100001211012111111120x10110100112212110010000002x10001122111202010100111111221x11002100122002222200201000x112220011102212100001010120x12221022221022010200102222x1202011221211011001112220022x102001102222200000021202222x1000211100001000200211201012x112120012121020020102211202x11001112222022110100112011011x1020002000112210221222010220x10021222010120110011110111112x1101210020222122021121222020x11101211221212011100112202222x1102112221011001201022221002x111120120101211012210202111202x10121021121022202211211020021x100202000101101112111221022221x11002201021121022211110120102x112000100010201102011121011111x11201222120022022220011002222x111122110010220101001122101221x12010010120202011001010202001x121110220102211210220122021021x12222000221001120122022020201x1201220120202211112222000201121x110110100021110221002111120102x111120010122010221120000011111x110112211220212022000010001200x1121022112120100011211111100101x110200201021001200121222121110x1121122112020211100202101100012x110201221200222120212002022000x110120100100220222022222012020x120022102202202122200112002221x120222220222220122000112000211x121120121020011220210102011220x1221022212110020222201111011100x122120102211000000212121121022x1221111002222200112201000020120x10010x1011110x11010x1111110x12010x1211110x1021200x10111010x1121200x11111010x1221200x12111010x10101020x100011111x11101020x110011111x12101020x120011111x10210220x10111110011x11210220x11111110011x12210220x12111110011x10120201222x10221120022x11120201222x11221120022x12120201222x12221120022x1000000220122x1011111212100102x1100000220122x1111111212100102x1200000220122x1211111212100102x1001202120200x102212211111101x1101202120200x112212211111101x1201202120200x122212211111101x10001102022002x101112102200111111x11001102022002x111112102200111111x12001102022002x121112102200111111x10022122212122x1011102211101020x11022122212122x1111102211101020x12022122212122x1211102211101020x100200020021220x1021111110012112000x110200020021220x1121111110012112000x120200020021220x1221111110012112000x102210022021010x10111110220111210x112210022021010x11111110220111210x122210022021010x12111110220111210x1000000010211222x10200020211101212x1100000010211222x11200020211101212x1200000010211222x12200020211101212x1022222200000210x100022111212001111x1122222200000210x110022111212001111x1222222200000210x120022111212001111x10002121211011220x102001010221001111x11002121211011220x112001010221001111x12002121211011220x122001010221001111x10101202121021220x102102100111122000x11101202121021220x112102100111122000x12101202121021220x122102100111122000x102022011002000012x10111011210010011102x112022011002000012x11111011210010011102x122022011002000012x12111011210010011102x1000120000212210110x10122101211110101202x1100120000212210110x11122101211110101202x1200120000212210110x12122101211110101202x1000200200012122202x10201222122211122101x1100200200012122202x11201222122211122101x1200200200012122202x12201222122211122101x1002020010122012010x10112020101211122201x1102020010122012010x11112020101211122201x1202020010122012010x12112020101211122201x1002222100122121010x10211121012221012211x1102222100122121010x11211121012221012211x1202222100122121010x12211121012221012211x10220102102110122010x101001001211111112120002x11220102102110122010x111001001211111112120002x12220102102110122010x121001001211111112120002x100020002202212012102x1021210220101202001110x110020002202212012102x1121210220101202001110x120020002202212012102x1221210220101202001110x100202200021201202020x10202001112120111010011x110202200021201202020x11202001112120111010011x120202200021201202020x12202001112120111010011x100212020000000000200x1012111011020020012121x110212020000000000200x1112111011020020012121x120212020000000000200x1212111011020020012121x102000121121210102120x1010011112212200221220x112000121121210102120x1110011112212200221220x122000121121210102120x1210011112212200221220x102001022110012212100x1002000021110011111210112x112001022110012212100x1102000021110011111210112x122001022110012212100x1202000021110011111210112x10020210020102110122210x1021111201111122022210001121x11020210020102110122210x1121111201111122022210001121x12020210020102110122210x1221111201111122022210001121x10102212211102221101120x100220102211111102101011x11102212211102221101120x110220102211111102101011x12102212211102221101120x120220102211111102101011x10212120100012022022211x1001212002111202112111211x11212120100012022022211x1101212002111202112111211x12212120100012022022211x1201212002111202112111211x100200210102010200021012x10212222121011112022000111x110200210102010200021012x11212222121011112022000111x120200210102010200021012x12212222121011112022000111x102012022002121020221012x1012111011102212122200020x112012022002121020221012x1112111011102212122200020x122012022002121020221012x1212111011102212122200020x102201102210120010011120x10021111110002020012221211x112201102210120010011120x11021111110002020012221211x122201102210120010011120x12021111110002020012221211x102201210012222202120102x1010011122201201101102200x112201210012222202120102x1110011122201201101102200x122201210012222202120102x1210011122201201101102200x102220001122002121102100x1010222001021111101011122221x112220001122002121102100x1110222001021111101011122221x122220001122002121102100x1210222001021111101011122221x1001202011122201022010120x10122111120121202200111101x1101202011122201022010120x11122111120121202200111101x1201202011122201022010120x12122111120121202200111101x1002012011102001201011000x10110102122021111021120202x1102012011102001201011000x11110102122021111021120202x1202012011102001201011000x12110102122021111021120202x10000002112000121012210120x10112120021011111002212011200x11000002112000121012210120x11112120021011111002212011200x12000002112000121012210120x12112120021011111002212011200x10000110012101121222012110x10212212122122201110010111112x11000110012101121222012110x11212212122122201110010111112x12000110012101121222012110x12212212122122201110010111112x10002200101101222101001210x101020211101102200011211222x11002200101101222101001210x111020211101102200011211222x12002200101101222101001210x121020211101102200011211222x10022010011101112110011221x101112211111001010112211111211x11022010011101112110011221x111112211111001010112211111211x12022010011101112110011221x121112211111001010112211111211x10210000210202020000101020x100011220120022011101111120002x11210000210202020000101020x110011220120022011101111120002x12210000210202020000101020x120011220120022011101111120002x100020220111221000110210122x1010012111111112211020201222x110020220111221000110210122x1110012111111112211020201222x120020220111221000110210122x1210012111111112211020201222x100202221220002222201011222x10210110121122110101110200002x110202221220002222201011222x11210110121122110101110200002x120202221220002222201011222x12210110121122110101110200002x101222110011020201220121201x102011022101011011112001111211x111222110011020201220121201x112011022101011011112001111211x121222110011020201220121201x122011022101011011112001111211x102022200000010122000101021x1012112120011110010112121111x112022200000010122000101021x1112112120011110010112121111x122022200000010122000101021x1212112120011110010112121111x1020011010000011102200102211x100202120221010011110200111111x1120011010000011102200102211x110202120221010011110200111111x1220011010000011102200102211x120202120221010011110200111111x10022000202110200011220100112x101211221111012011121201220022x11022000202110200011220100112x111211221111012011121201220022x12022000202110200011220100112x121211221111012011121201220022x100001101222222212202220212200x1012012120111100220110222100202x110001101222222212202220212200x1112012120111100220110222100202x120001101222222212202220212200x1212012120111100220110222100202x100120110221112020122010001020x1010101011122000011122110112122x110120110221112020122010001020x1110101011122000011122110112122x120120110221112020122010001020x1210101011122000011122110112122x102112201120112011121101121022x101002122111112111211201120220x112112201120112011121101121022x111002122111112111211201120220x122112201120112011121101121022x121002122111112111211201120220x1002121000022002202022021121022x10120100102001211112122011222201x1102121000022002202022021121022x11120100102001211112122011222201x1202121000022002202022021121022x12120100102001211112122011222201x1020011110002222211000100110212x10001102202011101011201122111111x1120011110002222211000100110212x11001102202011101011201122111111x1220011110002222211000100110212x12001102202011101011201122111111x1100221x11111111221x1100220x11111111220x1100222x11111111222x1200221100001x121111111122221x1200221100000x121111111122220x1200221100002x121111111122222x1211222222111x120022111111111x1211222222110x120022111111110x1211222222112x120022111111112x10000011112222001x101111111100000000111x10000011112222000x101111111100000000110x10000011112222002x101111111100000000112x1111002211110022001x1111111122221111111100111x1111002211110022000x1111111122221111111100110x1111002211110022002x1111111122221111111100112x101122000000222200001x101100002200222200001x101122000000222200000x101100002200222200000x101122000000222200002x101100002200222200002x12001122002211000011001x1211111100110011110022001x12001122002211000011000x1211111100110011110022000x12001122002211000011002x1211111100110011110022002x100022222200110000000000221x10110011111122002222000011221x100022222200110000000000220x10110011111122002222000011220x100022222200110000000000222x10110011111122002222000011222x120011002222222211110011221x122211002222002222001111111x120011002222222211110011220x122211002222002222001111110x120011002222222211110011222x122211002222002222001111112x1122220000222222112222001100221x110011001100111100110011001111221x1122220000222222112222001100220x110011001100111100110011001111220x1122220000222222112222001100222x110011001100111100110011001111222x1222001111222222222211002222221x122200111111220022221111000000111x1222001111222222222211002222220x122200111111220022221111000000110x1222001111222222222211002222222x122200111111220022221111000000112x102200000011001111000022110000221x10002222000022221111111122221111001x102200000011001111000022110000220x10002222000022221111111122221111000x102200000011001111000022110000222x10002222000022221111111122221111002x111100112200001111221100222222221x111111002222001122221122220011001x111100112200001111221100222222220x111111002222001122221122220011000x111100112200001111221100222222222x111111002222001122221122220011002x11001100002222112211002200221122221x111100221111112211222211110022221111001x11001100002222112211002200221122220x111100221111112211222211110022221111000x11001100002222112211002200221122222x111100221111112211222211110022221111002x11110011221122111122110011001100221x111122112200221100112200110011111111221x11110011221122111122110011001100220x111122112200221100112200110011111111220x11110011221122111122110011001100222x111122112200221100112200110011111111222x11221100001122222211111122221122221x11112222222222222211111100002211111x11221100001122222211111122221122220x11112222222222222211111100002211110x11221100001122222211111122221122222x11112222222222222211111100002211112x12002200002200002200221100111122111x121122111100111122112222111111000011111x12002200002200002200221100111122110x121122111100111122112222111111000011110x12002200002200002200221100111122112x121122111100111122112222111111000011112x1122220000110011221100112200112200001x11111111111111222222111111110022001111002200111111221x1122220000110011221100112200112200000x11111111111111222222111111110022001111002200111111220x1122220000110011221100112200112200002x11111111111111222222111111110022001111002200111111222x110000002200221111221122111122000011221x112222110011001111112200000000220011111111001x110000002200221111221122111122000011220x112222110011001111112200000000220011111111000x110000002200221111221122111122000011222x112222110011001111112200000000220011111111002x10002222220011112222000000002211221100001x1011110000002222112211001122111111001122111x10002222220011112222000000002211221100000x1011110000002222112211001122111111001122110x10002222220011112222000000002211221100002x1011110000002222112211001122111111001122112x10220022001100111122112222001100110022111x1011111111112200110022222211001100221122111x10220022001100111122112222001100110022110x1011111111112200110022222211001100221122110x10220022001100111122112222001100110022112x1011111111112200110022222211001100221122112x11001122112222111111222211001100000022001x111100111100112222002222002200221111111111111x11001122112222111111222211001100000022000x111100111100112222002222002200221111111111110x11001122112222111111222211001100000022002x111100111100112222002222002200221111111111112x11222200002211112200002211221111002222001x112211221111111111002200002200220000002222001x11222200002211112200002211221111002222000x112211221111111111002200002200220000002222000x11222200002211112200002211221111002222002x112211221111111111002200002200220000002222002x12110022111111000000110011112211110011001x1200111122221100111111111111001111001100111x12110022111111000000110011112211110011000x1200111122221100111111111111001111001100110x12110022111111000000110011112211110011002x1200111122221100111111111111001111001100112x1000000000002200222200111100220000002222001x102211221111112222221111002211221111221111001x1000000000002200222200111100220000002222000x102211221111112222221111002211221111221111000x1000000000002200222200111100220000002222002x102211221111112222221111002211221111221111002x1022112222000011220011110022110011001111221x1000112211000000111111110022001122112222221x1022112222000011220011110022110011001111220x1000112211000000111111110022001122112222220x1022112222000011220011110022110011001111222x1000112211000000111111110022001122112222222x1111001111222222112200002200000011002211001x1122111111110011111111221111110022001111111100002211001x1111001111222222112200002200000011002211000x1122111111110011111111221111110022001111111100002211000x1111001111222222112200002200000011002211002x1122111111110011111111221111110022001111111100002211002x1200110022221100000011222200110011222200221x1222220011222200111100002222110000110000221x1200110022221100000011222200110011222200220x1222220011222200111100002222110000110000220x1200110022221100000011222200110011222200222x1222220011222200111100002222110000110000222x110022001122222200000022220011002222112211221x11112222110000000011111111110000112222001111001111221x110022001122222200000022220011002222112211220x11112222110000000011111111110000112222001111001111220x110022001122222200000022220011002222112211222x11112222110000000011111111110000112222001111001111222x112211001100110000222222112200221100220000221x1111112200221100002211221111110011220011222211221x112211001100110000222222112200221100220000220x1111112200221100002211221111110011220011222211220x112211001100110000222222112200221100220000222x1111112200221100002211221111110011220011222211222x112222001122220022000011221100222200220000111x11111122001111222222001100001122221122222222111x112222001122220022000011221100222200220000110x11111122001111222222001100001122221122222222110x112222001122220022000011221100222200220000112x11111122001111222222001100001122221122222222112x121111001100221111112211000011221111000011001x120000001111111111111111221111000000002222000011111x121111001100221111112211000011221111000011000x120000001111111111111111221111000000002222000011110x121111001100221111112211000011221111000011002x120000001111111111111111221111000000002222000011112x12112200110011220000110000222200002211001122001x122211111111002200221111001100001100112211222211111x12112200110011220000110000222200002211001122000x122211111111002200221111001100001100112211222211110x12112200110011220000110000222200002211001122002x122211111111002200221111001100001100112211222211112x1022001100222200222211110011112222222200111111001x10111111000022220000001111110011221111222211111100111x1022001100222200222211110011112222222200111111000x10111111000022220000001111110011221111222211111100110x1022001100222200222211110011112222222200111111002x10111111000022220000001111110011221111222211111100112x1111002222222200000000002211220022222200112222001x111122002200111100110022222222111122111111002211001x1111002222222200000000002211220022222200112222000x111122002200111100110022222222111122111111002211000x1111002222222200000000002211220022222200112222002x111122002200111100110022222222111122111111002211002x1122222211222222000011002200000022220011000022221x111100221111002200220022222222221111222211001100221x1122222211222222000011002200000022220011000022220x111100221111002200220022222222221111222211001100220x1122222211222222000011002200000022220011000022222x111100221111002200220022222222221111222211001100222x1222110022110022001122112200111122002211001111001x12111100110011112200220022112200002211111111002211001x1222110022110022001122112200111122002211001111000x12111100110011112200220022112200002211111111002211000x1222110022110022001122112200111122002211001111002x12111100110011112200220022112200002211111111002211002x1222221122002211110000110011220022001111000022221x1200110011001100000000112211110011221111111111111122001x1222221122002211110000110011220022001111000022220x1200110011001100000000112211110011221111111111111122000x1222221122002211110000110011220022001111000022222x1200110011001100000000112211110011221111111111111122002x101111001100001111222211221111000011000000000000221x100000111122221111112200220011001100001111111111112222111x101111001100001111222211221111000011000000000000220x100000111122221111112200220011001100001111111111112222110x101111001100001111222211221111000011000000000000222x100000111122221111112200220011001100001111111111112222112x110000221100001122220000222222222200002200110000001x11222222000011111100222211221100000000110011001122001x110000221100001122220000222222222200002200110000000x11222222000011111100222211221100000000110011001122000x110000221100001122220000222222222200002200110000002x11222222000011111100222211221100000000110011001122002x122222110022222222110022220011002200001100222222221x1200220011112222112211110011110000111111222222000022221x122222110022222222110022220011002200001100222222220x1200220011112222112211110011110000111111222222000022220x122222110022222222110022220011002200001100222222222x1200220011112222112211110011110000111111222222000022222x10220000111100222222222200000000000022112200222222221x1000002211111100000000110000002200002211112200110011221x10220000111100222222222200000000000022112200222222220x1000002211111100000000110000002200002211112200110011220x10220000111100222222222200000000000022112200222222222x1000002211111100000000110000002200002211112200110011222x11221122000011221122110022000022001100222211112200221x110000111111222222220022221111001100001111220011110011111x11221122000011221122110022000022001100222211112200220x110000111111222222220022221111001100001111220011110011110x11221122000011221122110022000022001100222211112200222x110000111111222222220022221111001100001111220011110011112x1022000000220000001111222211002222112222220011002222001x100022112222220011001122001111000011111111001111111111221x1022000000220000001111222211002222112222220011002222000x100022112222220011001122001111000011111111001111111111220x1022000000220000001111222211002222112222220011002222002x100022112222220011001122001111000011111111001111111111222x1100112211000022002222221122220022111122112222220022001x111100112211112222112211220011111100001111222200222222221x1100112211000022002222221122220022111122112222220022000x111100112211112222112211220011111100001111222200222222220x1100112211000022002222221122220022111122112222220022002x111100112211112222112211220011111100001111222200222222222x1100221111222222110011110000112200110022222222110000221x11111122001122001100112211110011222211002200221111112200221x1100221111222222110011110000112200110022222222110000220x11111122001122001100112211110011222211002200221111112200220x1100221111222222110011110000112200110022222222110000222x11111122001122001100112211110011222211002200221111112200222x101122110022111122110022222200222211112211110022000022111x10002200220000001100111100111111221111112222110022222222111x101122110022111122110022222200222211112211110022000022110x10002200220000001100111100111111221111112222110022222222110x101122110022111122110022222200222211112211110022000022112x10002200220000001100111100111111221111112222110022222222112x110000222200110022111122110022222211111111001122001100221x11220000001100000011002200111100220011111122110011111111111x110000222200110022111122110022222211111111001122001100220x11220000001100000011002200111100220011111122110011111111110x110000222200110022111122110022222211111111001122001100222x11220000001100000011002200111100220011111122110011111111112x112200112222221122000022220022222222000011110000222222221x11111122221111000011002222001100110000111122221100112222111x112200112222221122000022220022222222000011110000222222220x11111122221111000011002222001100110000111122221100112222110x112200112222221122000022220022222222000011110000222222222x11111122221111000011002222001100110000111122221100112222112x120011000011001122002200220011110000110011002200220000111x12111111002222001100222211112211002222001122220022110022111x120011000011001122002200220011110000110011002200220000110x12111111002222001100222211112211002222001122220022110022110x120011000011001122002200220011110000110011002200220000112x12111111002222001100222211112211002222001122220022110022112x122222220000002222110000111122001122220022220022002200111x1200112222001122002200222211111111222222220000002200111122111x122222220000002222110000111122001122220022220022002200110x1200112222001122002200222211111111222222220000002200111122110x122222220000002222110000111122001122220022220022002200112x1200112222001122002200222211111111222222220000002200111122112x11001111001100000022111111002222110000221111111122001100221x11111122000011001122220011002222111122000000000011111111111x11001111001100000022111111002222110000221111111122001100220x11111122000011001122220011002222111122000000000011111111110x11001111001100000022111111002222110000221111111122001100222x11111122000011001122220011002222111122000000000011111111112x11001111222211112222002211220022220000000011000000112200001x1122110022221111221122001100000011112211111111111100001100111x11001111222211112222002211220022220000000011000000112200000x1122110022221111221122001100000011112211111111111100001100110x11001111222211112222002211220022220000000011000000112200002x1122110022221111221122001100000011112211111111111100001100112x11002200002200110022110000112200001122112222221122111111001x1122111122221111220022002211111100002200221100111100000011221x11002200002200110022110000112200001122112222221122111111000x1122111122221111220022002211111100002200221100111100000011220x11002200002200110022110000112200001122112222221122111111002x1122111122221111220022002211111100002200221100111100000011222x11002200112222112200002222221122002211220000220022220000001x11001122001100001100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000000x11001122001100001100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000002x11001122001100001100002222002222220022222222220011220022002x12000022221100222200222200221122222200001111220000222222111x12002222222222002222222222001122220000001111220000002211111x12000022221100222200222200221122222200001111220000222222110x12002222222222002222222222001122220000001111220000002211110x12000022221100222200222200221122222200001111220000222222112x12002222222222002222222222001122220000001111220000002211112x12111122001122110022000011112222002211001100220011112222001x1222110022222211221111000022002222222200111111110011111100001x12111122001122110022000011112222002211001100220011112222000x1222110022222211221111000022002222222200111111110011111100000x12111122001122110022000011112222002211001100220011112222002x1222110022222211221111000022002222222200111111110011111100002x12221122001100222211110000000000002211221122111122110022221x1222111111110000222222222200001111222200110000000022001122001x12221122001100222211110000000000002211221122111122110022220x1222111111110000222222222200001111222200110000000022001122000x12221122001100222211110000000000002211221122111122110022222x1222111111110000222222222200001111222200110000000022001122002x100011001x1011111111001x100011000x1011111111000x100011002x1011111111002x110011001x1111111111001x110011000x1111111111000x110011002x1111111111002x120011001x1211111111001x120011000x1211111111000x120011002x1211111111002x1022112200001x101111110011001x1022112200000x101111110011000x1022112200002x101111110011002x1122112200001x111111110011001x1122112200000x111111110011000x1122112200002x111111110011002x1222112200001x121111110011001x1222112200000x121111110011000x1222112200002x121111110011002x101100110022001x10000011111111111x101100110022000x10000011111111110x101100110022002x10000011111111112x111100110022001x11000011111111111x111100110022000x11000011111111110x111100110022002x11000011111111112x121100110022001x12000011111111111x121100110022000x12000011111111110x121100110022002x12000011111111112x102211002222001x101111111111000011111x102211002222000x101111111111000011110x102211002222002x101111111111000011112x112211002222001x111111111111000011111x112211002222000x111111111111000011110x112211002222002x111111111111000011112x122211002222001x121111111111000011111x122211002222000x121111111111000011110x122211002222002x121111111111000011112x101122002200112222221x102222111122000022221x101122002200112222220x102222111122000022220x101122002200112222222x102222111122000022222x111122002200112222221x112222111122000022221x111122002200112222220x112222111122000022220x111122002200112222222x112222111122000022222x121122002200112222221x122222111122000022221x121122002200112222220x122222111122000022220x121122002200112222222x122222111122000022222x1000000000002222001122221x1011111111112211221100001100221x1000000000002222001122220x1011111111112211221100001100220x1000000000002222001122222x1011111111112211221100001100222x1100000000002222001122221x1111111111112211221100001100221x1100000000002222001122220x1111111111112211221100001100220x1100000000002222001122222x1111111111112211221100001100222x1200000000002222001122221x1211111111112211221100001100221x1200000000002222001122220x1211111111112211221100001100220x1200000000002222001122222x1211111111112211221100001100222x1000112200221122002200001x10222211222211111111111100111x1000112200221122002200000x10222211222211111111111100110x1000112200221122002200002x10222211222211111111111100112x1100112200221122002200001x11222211222211111111111100111x1100112200221122002200000x11222211222211111111111100110x1100112200221122002200002x11222211222211111111111100112x1200112200221122002200001x12222211222211111111111100111x1200112200221122002200000x12222211222211111111111100110x1200112200221122002200002x12222211222211111111111100112x100000111100220022220000221x10111111221100222200001111111111111x100000111100220022220000220x10111111221100222200001111111111110x100000111100220022220000222x10111111221100222200001111111111112x110000111100220022220000221x11111111221100222200001111111111111x110000111100220022220000220x11111111221100222200001111111111110x110000111100220022220000222x11111111221100222200001111111111112x120000111100220022220000221x12111111221100222200001111111111111x120000111100220022220000220x12111111221100222200001111111111110x120000111100220022220000222x12111111221100222200001111111111112x100022221122222211221122221x1011111100222211111100110022001x100022221122222211221122220x1011111100222211111100110022000x100022221122222211221122222x1011111100222211111100110022002x110022221122222211221122221x1111111100222211111100110022001x110022221122222211221122220x1111111100222211111100110022000x110022221122222211221122222x1111111100222211111100110022002x120022221122222211221122221x1211111100222211111100110022001x120022221122222211221122220x1211111100222211111100110022000x120022221122222211221122222x1211111100222211111100110022002x10002200000022000022112222001x1022111111111111000011221111220000001x10002200000022000022112222000x1022111111111111000011221111220000000x10002200000022000022112222002x1022111111111111000011221111220000002x11002200000022000022112222001x1122111111111111000011221111220000001x11002200000022000022112222000x1122111111111111000011221111220000000x11002200000022000022112222002x1122111111111111000011221111220000002x12002200000022000022112222001x1222111111111111000011221111220000001x12002200000022000022112222000x1222111111111111000011221111220000000x12002200000022000022112222002x1222111111111111000011221111220000002x10222211000022220022110011001x101111111111002222001111112211001x10222211000022220022110011000x101111111111002222001111112211000x10222211000022220022110011002x101111111111002222001111112211002x11222211000022220022110011001x111111111111002222001111112211001x11222211000022220022110011000x111111111111002222001111112211000x11222211000022220022110011002x111111111111002222001111112211002x12222211000022220022110011001x121111111111002222001111112211001x12222211000022220022110011000x121111111111002222001111112211000x12222211000022220022110011002x121111111111002222001111112211002x1000000000000011002211112222221x102200000022002211111100112211221x1000000000000011002211112222220x102200000022002211111100112211220x1000000000000011002211112222222x102200000022002211111100112211222x1100000000000011002211112222221x112200000022002211111100112211221x1100000000000011002211112222220x112200000022002211111100112211220x1100000000000011002211112222222x112200000022002211111100112211222x1200000000000011002211112222221x122200000022002211111100112211221x1200000000000011002211112222220x122200000022002211111100112211220x1200000000000011002211112222222x122200000022002211111100112211222x1022222222222200000000002211001x10000022221111112211220000111111111x1022222222222200000000002211000x10000022221111112211220000111111110x1022222222222200000000002211002x10000022221111112211220000111111112x1122222222222200000000002211001x11000022221111112211220000111111111x1122222222222200000000002211000x11000022221111112211220000111111110x1122222222222200000000002211002x11000022221111112211220000111111112x1222222222222200000000002211001x12000022221111112211220000111111111x1222222222222200000000002211000x12000022221111112211220000111111110x1222222222222200000000002211002x12000022221111112211220000111111112x100000221122112211110011112222001x10220000110011002222110000111111111x100000221122112211110011112222000x10220000110011002222110000111111110x100000221122112211110011112222002x10220000110011002222110000111111112x110000221122112211110011112222001x11220000110011002222110000111111111x110000221122112211110011112222000x11220000110011002222110000111111110x110000221122112211110011112222002x11220000110011002222110000111111112x120000221122112211110011112222001x12220000110011002222110000111111111x120000221122112211110011112222000x12220000110011002222110000111111110x120000221122112211110011112222002x12220000110011002222110000111111112x101100112200221122110022112222001x10221100221100001111111122220000001x101100112200221122110022112222000x10221100221100001111111122220000000x101100112200221122110022112222002x10221100221100001111111122220000002x111100112200221122110022112222001x11221100221100001111111122220000001x111100112200221122110022112222000x11221100221100001111111122220000000x111100112200221122110022112222002x11221100221100001111111122220000002x121100112200221122110022112222001x12221100221100001111111122220000001x121100112200221122110022112222000x12221100221100001111111122220000000x121100112200221122110022112222002x12221100221100001111111122220000002x10220022220011110000220000000011221x101111110011112211000011000011111100221x10220022220011110000220000000011220x101111110011112211000011000011111100220x10220022220011110000220000000011222x101111110011112211000011000011111100222x11220022220011110000220000000011221x111111110011112211000011000011111100221x11220022220011110000220000000011220x111111110011112211000011000011111100220x11220022220011110000220000000011222x111111110011112211000011000011111100222x12220022220011110000220000000011221x121111110011112211000011000011111100221x12220022220011110000220000000011220x121111110011112211000011000011111100220x12220022220011110000220000000011222x121111110011112211000011000011111100222x1000001122000000002211222211001111001x101122221100112211111111001100112200221x1000001122000000002211222211001111000x101122221100112211111111001100112200220x1000001122000000002211222211001111002x101122221100112211111111001100112200222x1100001122000000002211222211001111001x111122221100112211111111001100112200221x1100001122000000002211222211001111000x111122221100112211111111001100112200220x1100001122000000002211222211001111002x111122221100112211111111001100112200222x1200001122000000002211222211001111001x121122221100112211111111001100112200221x1200001122000000002211222211001111000x121122221100112211111111001100112200220x1200001122000000002211222211001111002x121122221100112211111111001100112200222x1000002200002200000011221122222200221x102200112222221122222211111122221100111x1000002200002200000011221122222200220x102200112222221122222211111122221100110x1000002200002200000011221122222200222x102200112222221122222211111122221100112x1100002200002200000011221122222200221x112200112222221122222211111122221100111x1100002200002200000011221122222200220x112200112222221122222211111122221100110x1100002200002200000011221122222200222x112200112222221122222211111122221100112x1200002200002200000011221122222200221x122200112222221122222211111122221100111x1200002200002200000011221122222200220x122200112222221122222211111122221100110x1200002200002200000011221122222200222x122200112222221122222211111122221100112x1000220022000011001122220011220011001x101111220022001100112211111122222200111x1000220022000011001122220011220011000x101111220022001100112211111122222200110x1000220022000011001122220011220011002x101111220022001100112211111122222200112x1100220022000011001122220011220011001x111111220022001100112211111122222200111x1100220022000011001122220011220011000x111111220022001100112211111122222200110x1100220022000011001122220011220011002x111111220022001100112211111122222200112x1200220022000011001122220011220011001x121111220022001100112211111122222200111x1200220022000011001122220011220011000x121111220022001100112211111122222200110x1200220022000011001122220011220011002x121111220022001100112211111122222200112x1000222222221100001122221122110011001x102211111122110011222222110011222211111x1000222222221100001122221122110011000x102211111122110011222222110011222211110x1000222222221100001122221122110011002x102211111122110011222222110011222211112x1100222222221100001122221122110011001x112211111122110011222222110011222211111x1100222222221100001122221122110011000x112211111122110011222222110011222211110x1100222222221100001122221122110011002x112211111122110011222222110011222211112x1200222222221100001122221122110011001x122211111122110011222222110011222211111x1200222222221100001122221122110011000x122211111122110011222222110011222211110x1200222222221100001122221122110011002x122211111122110011222222110011222211112x102222001100221100221111001122220011001x10110000110000112211111111111111221122000000221x102222001100221100221111001122220011000x10110000110000112211111111111111221122000000220x102222001100221100221111001122220011002x10110000110000112211111111111111221122000000222x112222001100221100221111001122220011001x11110000110000112211111111111111221122000000221x112222001100221100221111001122220011000x11110000110000112211111111111111221122000000220x112222001100221100221111001122220011002x11110000110000112211111111111111221122000000222x122222001100221100221111001122220011001x12110000110000112211111111111111221122000000221x122222001100221100221111001122220011000x12110000110000112211111111111111221122000000220x122222001100221100221111001122220011002x12110000110000112211111111111111221122000000222x10000022000000222200222211220011221100221x1022112211002222001100112200220000111111001x10000022000000222200222211220011221100220x1022112211002222001100112200220000111111000x10000022000000222200222211220011221100222x1022112211002222001100112200220000111111002x11000022000000222200222211220011221100221x1122112211002222001100112200220000111111001x11000022000000222200222211220011221100220x1122112211002222001100112200220000111111000x11000022000000222200222211220011221100222x1122112211002222001100112200220000111111002x12000022000000222200222211220011221100221x1222112211002222001100112200220000111111001x12000022000000222200222211220011221100220x1222112211002222001100112200220000111111000x12000022000000222200222211220011221100222x1222112211002222001100112200220000111111002x10002200222200000022112200112200220022001x102200220000111111221122001111110011000011111x10002200222200000022112200112200220022000x102200220000111111221122001111110011000011110x10002200222200000022112200112200220022002x102200220000111111221122001111110011000011112x11002200222200000022112200112200220022001x112200220000111111221122001111110011000011111x11002200222200000022112200112200220022000x112200220000111111221122001111110011000011110x11002200222200000022112200112200220022002x112200220000111111221122001111110011000011112x12002200222200000022112200112200220022001x122200220000111111221122001111110011000011111x12002200222200000022112200112200220022000x122200220000111111221122001111110011000011110x12002200222200000022112200112200220022002x122200220000111111221122001111110011000011112x10002211220022000000000000000000002200001x1011221111110011110022000022000011221122111x10002211220022000000000000000000002200000x1011221111110011110022000022000011221122110x10002211220022000000000000000000002200002x1011221111110011110022000022000011221122112x11002211220022000000000000000000002200001x1111221111110011110022000022000011221122111x11002211220022000000000000000000002200000x1111221111110011110022000022000011221122110x11002211220022000000000000000000002200002x1111221111110011110022000022000011221122112x12002211220022000000000000000000002200001x1211221111110011110022000022000011221122111x12002211220022000000000000000000002200000x1211221111110011110022000022000011221122110x12002211220022000000000000000000002200002x1211221111110011110022000022000011221122112x10220000001122111122112211001100221122001x1011000011111111222211222200002222112222001x10220000001122111122112211001100221122000x1011000011111111222211222200002222112222000x10220000001122111122112211001100221122002x1011000011111111222211222200002222112222002x11220000001122111122112211001100221122001x1111000011111111222211222200002222112222001x11220000001122111122112211001100221122000x1111000011111111222211222200002222112222000x11220000001122111122112211001100221122002x1111000011111111222211222200002222112222002x12220000001122111122112211001100221122001x1211000011111111222211222200002222112222001x12220000001122111122112211001100221122000x1211000011111111222211222200002222112222000x12220000001122111122112211001100221122002x1211000011111111222211222200002222112222002x10220000110022221111000011222211221100001x1000220000000022111111000011111111112211001111221x10220000110022221111000011222211221100000x1000220000000022111111000011111111112211001111220x10220000110022221111000011222211221100002x1000220000000022111111000011111111112211001111222x11220000110022221111000011222211221100001x1100220000000022111111000011111111112211001111221x11220000110022221111000011222211221100000x1100220000000022111111000011111111112211001111220x11220000110022221111000011222211221100002x1100220000000022111111000011111111112211001111222x12220000110022221111000011222211221100001x1200220000000022111111000011111111112211001111221x12220000110022221111000011222211221100000x1200220000000022111111000011111111112211001111220x12220000110022221111000011222211221100002x1200220000000022111111000011111111112211001111222x100022002211000022001100221111001122222211001x1022111111112200111111111122220022222211000000111122111x100022002211000022001100221111001122222211000x1022111111112200111111111122220022222211000000111122110x100022002211000022001100221111001122222211002x1022111111112200111111111122220022222211000000111122112x110022002211000022001100221111001122222211001x1122111111112200111111111122220022222211000000111122111x110022002211000022001100221111001122222211000x1122111111112200111111111122220022222211000000111122110x110022002211000022001100221111001122222211002x1122111111112200111111111122220022222211000000111122112x120022002211000022001100221111001122222211001x1222111111112200111111111122220022222211000000111122111x120022002211000022001100221111001122222211000x1222111111112200111111111122220022222211000000111122110x120022002211000022001100221111001122222211002x1222111111112200111111111122220022222211000000111122112x101100222211222211111100222222111100111122001x10002222001100222211111111111100221100110011111x101100222211222211111100222222111100111122000x10002222001100222211111111111100221100110011110x101100222211222211111100222222111100111122002x10002222001100222211111111111100221100110011112x111100222211222211111100222222111100111122001x11002222001100222211111111111100221100110011111x111100222211222211111100222222111100111122000x11002222001100222211111111111100221100110011110x111100222211222211111100222222111100111122002x11002222001100222211111111111100221100110011112x121100222211222211111100222222111100111122001x12002222001100222211111111111100221100110011111x121100222211222211111100222222111100111122000x12002222001100222211111111111100221100110011110x121100222211222211111100222222111100111122002x12002222001100222211111111111100221100110011112x102211221122001100000011220022220022222211111x1000112211220000221111112200221111221111112211111x102211221122001100000011220022220022222211110x1000112211220000221111112200221111221111112211110x102211221122001100000011220022220022222211112x1000112211220000221111112200221111221111112211112x112211221122001100000011220022220022222211111x1100112211220000221111112200221111221111112211111x112211221122001100000011220022220022222211110x1100112211220000221111112200221111221111112211110x112211221122001100000011220022220022222211112x1100112211220000221111112200221111221111112211112x122211221122001100000011220022220022222211111x1200112211220000221111112200221111221111112211111x122211221122001100000011220022220022222211110x1200112211220000221111112200221111221111112211110x122211221122001100000011220022220022222211112x1200112211220000221111112200221111221111112211112x10002200002211001100220011002200000022110011221x102211222222221122110011111111220022220000001111111x10002200002211001100220011002200000022110011220x102211222222221122110011111111220022220000001111110x10002200002211001100220011002200000022110011222x102211222222221122110011111111220022220000001111112x11002200002211001100220011002200000022110011221x112211222222221122110011111111220022220000001111111x11002200002211001100220011002200000022110011220x112211222222221122110011111111220022220000001111110x11002200002211001100220011002200000022110011222x112211222222221122110011111111220022220000001111112x12002200002211001100220011002200000022110011221x122211222222221122110011111111220022220000001111111x12002200002211001100220011002200000022110011220x122211222222221122110011111111220022220000001111110x12002200002211001100220011002200000022110011222x122211222222221122110011111111220022220000001111112x10220011220022220000221122110022002222110011221x1011221111110011111100222211221122222200000022001x10220011220022220000221122110022002222110011220x1011221111110011111100222211221122222200000022000x10220011220022220000221122110022002222110011222x1011221111110011111100222211221122222200000022002x11220011220022220000221122110022002222110011221x1111221111110011111100222211221122222200000022001x11220011220022220000221122110022002222110011220x1111221111110011111100222211221122222200000022000x11220011220022220000221122110022002222110011222x1111221111110011111100222211221122222200000022002x12220011220022220000221122110022002222110011221x1211221111110011111100222211221122222200000022001x12220011220022220000221122110022002222110011220x1211221111110011111100222211221122222200000022000x12220011220022220000221122110022002222110011222x1211221111110011111100222211221122222200000022002x10222200111100222211001122000011000011111122001x100022111111111111000000220022000011222222112211111x10222200111100222211001122000011000011111122000x100022111111111111000000220022000011222222112211110x10222200111100222211001122000011000011111122002x100022111111111111000000220022000011222222112211112x11222200111100222211001122000011000011111122001x110022111111111111000000220022000011222222112211111x11222200111100222211001122000011000011111122000x110022111111111111000000220022000011222222112211110x11222200111100222211001122000011000011111122002x110022111111111111000000220022000011222222112211112x12222200111100222211001122000011000011111122001x120022111111111111000000220022000011222222112211111x12222200111100222211001122000011000011111122000x120022111111111111000000220022000011222222112211110x12222200111100222211001122000011000011111122002x120022111111111111000000220022000011222222112211112x10222200112211000011222222222200221122001100221x1011000011111122222200112200111100111100222200001x10222200112211000011222222222200221122001100220x1011000011111122222200112200111100111100222200000x10222200112211000011222222222200221122001100222x1011000011111122222200112200111100111100222200002x11222200112211000011222222222200221122001100221x1111000011111122222200112200111100111100222200001x11222200112211000011222222222200221122001100220x1111000011111122222200112200111100111100222200000x11222200112211000011222222222200221122001100222x1111000011111122222200112200111100111100222200002x12222200112211000011222222222200221122001100221x1211000011111122222200112200111100111100222200001x12222200112211000011222222222200221122001100220x1211000011111122222200112200111100111100222200000x12222200112211000011222222222200221122001100222x1211000011111122222200112200111100111100222200002x10222222000000111122220000221122111100221100001x1011002222220000110022111111111100110011111122222222111x10222222000000111122220000221122111100221100000x1011002222220000110022111111111100110011111122222222110x10222222000000111122220000221122111100221100002x1011002222220000110022111111111100110011111122222222112x11222222000000111122220000221122111100221100001x1111002222220000110022111111111100110011111122222222111x11222222000000111122220000221122111100221100000x1111002222220000110022111111111100110011111122222222110x11222222000000111122220000221122111100221100002x1111002222220000110022111111111100110011111122222222112x12222222000000111122220000221122111100221100001x1211002222220000110022111111111100110011111122222222111x12222222000000111122220000221122111100221100000x1211002222220000110022111111111100110011111122222222110x12222222000000111122220000221122111100221100002x1211002222220000110022111111111100110011111122222222112x1000112200220011111122222200110022220011001122001x101122221111111122001122112200222200001111111100111x1000112200220011111122222200110022220011001122000x101122221111111122001122112200222200001111111100110x1000112200220011111122222200110022220011001122002x101122221111111122001122112200222200001111111100112x1100112200220011111122222200110022220011001122001x111122221111111122001122112200222200001111111100111x1100112200220011111122222200110022220011001122000x111122221111111122001122112200222200001111111100110x1100112200220011111122222200110022220011001122002x111122221111111122001122112200222200001111111100112x1200112200220011111122222200110022220011001122001x121122221111111122001122112200222200001111111100111x1200112200220011111122222200110022220011001122000x121122221111111122001122112200222200001111111100110x1200112200220011111122222200110022220011001122002x121122221111111122001122112200222200001111111100112x1000220011220011111100220000112200110011110000001x101111001100221122220022111111110022111122002200221x1000220011220011111100220000112200110011110000000x101111001100221122220022111111110022111122002200220x1000220011220011111100220000112200110011110000002x101111001100221122220022111111110022111122002200222x1100220011220011111100220000112200110011110000001x111111001100221122220022111111110022111122002200221x1100220011220011111100220000112200110011110000000x111111001100221122220022111111110022111122002200220x1100220011220011111100220000112200110011110000002x111111001100221122220022111111110022111122002200222x1200220011220011111100220000112200110011110000001x121111001100221122220022111111110022111122002200221x1200220011220011111100220000112200110011110000000x121111001100221122220022111111110022111122002200220x1200220011220011111100220000112200110011110000002x121111001100221122220022111111110022111122002200222x100000000000221111220000001122110011222211001122001x101111221122000022110011111111110000222211220011112200001x100000000000221111220000001122110011222211001122000x101111221122000022110011111111110000222211220011112200000x100000000000221111220000001122110011222211001122002x101111221122000022110011111111110000222211220011112200002x110000000000221111220000001122110011222211001122001x111111221122000022110011111111110000222211220011112200001x110000000000221111220000001122110011222211001122000x111111221122000022110011111111110000222211220011112200000x110000000000221111220000001122110011222211001122002x111111221122000022110011111111110000222211220011112200002x120000000000221111220000001122110011222211001122001x121111221122000022110011111111110000222211220011112200001x120000000000221111220000001122110011222211001122000x121111221122000022110011111111110000222211220011112200000x120000000000221111220000001122110011222211001122002x121111221122000022110011111111110000222211220011112200002x100000001111000011221100111122112222220011221111001x102211222211221122221122222200111111000011001111111111221x100000001111000011221100111122112222220011221111000x102211222211221122221122222200111111000011001111111111220x100000001111000011221100111122112222220011221111002x102211222211221122221122222200111111000011001111111111222x110000001111000011221100111122112222220011221111001x112211222211221122221122222200111111000011001111111111221x110000001111000011221100111122112222220011221111000x112211222211221122221122222200111111000011001111111111220x110000001111000011221100111122112222220011221111002x112211222211221122221122222200111111000011001111111111222x120000001111000011221100111122112222220011221111001x122211222211221122221122222200111111000011001111111111221x120000001111000011221100111122112222220011221111000x122211222211221122221122222200111111000011001111111111220x120000001111000011221100111122112222220011221111002x122211222211221122221122222200111111000011001111111111222x100000222200001100111100112222221100110000112211001x10110022002211111100111100222200000011112211112222221x100000222200001100111100112222221100110000112211000x10110022002211111100111100222200000011112211112222220x100000222200001100111100112222221100110000112211002x10110022002211111100111100222200000011112211112222222x110000222200001100111100112222221100110000112211001x11110022002211111100111100222200000011112211112222221x110000222200001100111100112222221100110000112211000x11110022002211111100111100222200000011112211112222220x110000222200001100111100112222221100110000112211002x11110022002211111100111100222200000011112211112222222x120000222200001100111100112222221100110000112211001x12110022002211111100111100222200000011112211112222221x120000222200001100111100112222221100110000112211000x12110022002211111100111100222200000011112211112222220x120000222200001100111100112222221100110000112211002x12110022002211111100111100222200000011112211112222222x100022220011000011111100111111221111000011112222111x10111111222211111111110000110011001111222211111111112211111x100022220011000011111100111111221111000011112222110x10111111222211111111110000110011001111222211111111112211110x100022220011000011111100111111221111000011112222112x10111111222211111111110000110011001111222211111111112211112x110022220011000011111100111111221111000011112222111x11111111222211111111110000110011001111222211111111112211111x110022220011000011111100111111221111000011112222110x11111111222211111111110000110011001111222211111111112211110x110022220011000011111100111111221111000011112222112x11111111222211111111110000110011001111222211111111112211112x120022220011000011111100111111221111000011112222111x12111111222211111111110000110011001111222211111111112211111x120022220011000011111100111111221111000011112222110x12111111222211111111110000110011001111222211111111112211110x120022220011000011111100111111221111000011112222112x12111111222211111111110000110011001111222211111111112211112x102211000000002211002200220022000000001100110022001x10000011112222001122000022220011111100111111111122000000221x102211000000002211002200220022000000001100110022000x10000011112222001122000022220011111100111111111122000000220x102211000000002211002200220022000000001100110022002x10000011112222001122000022220011111100111111111122000000222x112211000000002211002200220022000000001100110022001x11000011112222001122000022220011111100111111111122000000221x112211000000002211002200220022000000001100110022000x11000011112222001122000022220011111100111111111122000000220x112211000000002211002200220022000000001100110022002x11000011112222001122000022220011111100111111111122000000222x122211000000002211002200220022000000001100110022001x12000011112222001122000022220011111100111111111122000000221x122211000000002211002200220022000000001100110022000x12000011112222001122000022220011111100111111111122000000220x122211000000002211002200220022000000001100110022002x12000011112222001122000022220011111100111111111122000000222x10000022002222001111112222110000001111002211001122221x1011000011221111111111111111222211110022002200112222221x10000022002222001111112222110000001111002211001122220x1011000011221111111111111111222211110022002200112222220x10000022002222001111112222110000001111002211001122222x1011000011221111111111111111222211110022002200112222222x11000022002222001111112222110000001111002211001122221x1111000011221111111111111111222211110022002200112222221x11000022002222001111112222110000001111002211001122220x1111000011221111111111111111222211110022002200112222220x11000022002222001111112222110000001111002211001122222x1111000011221111111111111111222211110022002200112222222x12000022002222001111112222110000001111002211001122221x1211000011221111111111111111222211110022002200112222221x12000022002222001111112222110000001111002211001122220x1211000011221111111111111111222211110022002200112222220x12000022002222001111112222110000001111002211001122222x1211000011221111111111111111222211110022002200112222222x10002200222222112222000000222222222200110011112222221x102211001111001122111122221111001100111111002200000000221x10002200222222112222000000222222222200110011112222220x102211001111001122111122221111001100111111002200000000220x10002200222222112222000000222222222200110011112222222x102211001111001122111122221111001100111111002200000000222x11002200222222112222000000222222222200110011112222221x112211001111001122111122221111001100111111002200000000221x11002200222222112222000000222222222200110011112222220x112211001111001122111122221111001100111111002200000000220x11002200222222112222000000222222222200110011112222222x112211001111001122111122221111001100111111002200000000222x12002200222222112222000000222222222200110011112222221x122211001111001122111122221111001100111111002200000000221x12002200222222112222000000222222222200110011112222220x122211001111001122111122221111001100111111002200000000220x12002200222222112222000000222222222200110011112222222x122211001111001122111122221111001100111111002200000000222x10112222221111000011110022002200112222001122112200111x10220011110022221100110011110011111111220000111111112211111x10112222221111000011110022002200112222001122112200110x10220011110022221100110011110011111111220000111111112211110x10112222221111000011110022002200112222001122112200112x10220011110022221100110011110011111111220000111111112211112x11112222221111000011110022002200112222001122112200111x11220011110022221100110011110011111111220000111111112211111x11112222221111000011110022002200112222001122112200110x11220011110022221100110011110011111111220000111111112211110x11112222221111000011110022002200112222001122112200112x11220011110022221100110011110011111111220000111111112211112x12112222221111000011110022002200112222001122112200111x12220011110022221100110011110011111111220000111111112211111x12112222221111000011110022002200112222001122112200110x12220011110022221100110011110011111111220000111111112211110x12112222221111000011110022002200112222001122112200112x12220011110022221100110011110011111111220000111111112211112x10220022222200000000000011001122220000001100110022111x1011221111221122000011111111000011001111221122111111111x10220022222200000000000011001122220000001100110022110x1011221111221122000011111111000011001111221122111111110x10220022222200000000000011001122220000001100110022112x1011221111221122000011111111000011001111221122111111112x11220022222200000000000011001122220000001100110022111x1111221111221122000011111111000011001111221122111111111x11220022222200000000000011001122220000001100110022110x1111221111221122000011111111000011001111221122111111110x11220022222200000000000011001122220000001100110022112x1111221111221122000011111111000011001111221122111111112x12220022222200000000000011001122220000001100110022111x1211221111221122000011111111000011001111221122111111111x12220022222200000000000011001122220000001100110022110x1211221111221122000011111111000011001111221122111111110x12220022222200000000000011001122220000001100110022112x1211221111221122000011111111000011001111221122111111112x1022000011110011000000000011111100222200001100222211111x10002200221122002222110011000011111111002200001111111111111x1022000011110011000000000011111100222200001100222211110x10002200221122002222110011000011111111002200001111111111110x1022000011110011000000000011111100222200001100222211112x10002200221122002222110011000011111111002200001111111111112x1122000011110011000000000011111100222200001100222211111x11002200221122002222110011000011111111002200001111111111111x1122000011110011000000000011111100222200001100222211110x11002200221122002222110011000011111111002200001111111111110x1122000011110011000000000011111100222200001100222211112x11002200221122002222110011000011111111002200001111111111112x1222000011110011000000000011111100222200001100222211111x12002200221122002222110011000011111111002200001111111111111x1222000011110011000000000011111100222200001100222211110x12002200221122002222110011000011111111002200001111111111110x1222000011110011000000000011111100222200001100222211112x12002200221122002222110011000011111111002200001111111111112x100022220000002200221111002200000011112222001100001111221x10112211112222111111110011220011111122112200112222000022221x100022220000002200221111002200000011112222001100001111220x10112211112222111111110011220011111122112200112222000022220x100022220000002200221111002200000011112222001100001111222x10112211112222111111110011220011111122112200112222000022222x110022220000002200221111002200000011112222001100001111221x11112211112222111111110011220011111122112200112222000022221x110022220000002200221111002200000011112222001100001111220x11112211112222111111110011220011111122112200112222000022220x110022220000002200221111002200000011112222001100001111222x11112211112222111111110011220011111122112200112222000022222x120022220000002200221111002200000011112222001100001111221x12112211112222111111110011220011111122112200112222000022221x120022220000002200221111002200000011112222001100001111220x12112211112222111111110011220011111122112200112222000022220x120022220000002200221111002200000011112222001100001111222x12112211112222111111110011220011111122112200112222000022222x10000000111100112222222222222211222200222222002211222200001x1011220011221122001111111100002222001111002222221100002200221x10000000111100112222222222222211222200222222002211222200000x1011220011221122001111111100002222001111002222221100002200220x10000000111100112222222222222211222200222222002211222200002x1011220011221122001111111100002222001111002222221100002200222x11000000111100112222222222222211222200222222002211222200001x1111220011221122001111111100002222001111002222221100002200221x11000000111100112222222222222211222200222222002211222200000x1111220011221122001111111100002222001111002222221100002200220x11000000111100112222222222222211222200222222002211222200002x1111220011221122001111111100002222001111002222221100002200222x12000000111100112222222222222211222200222222002211222200001x1211220011221122001111111100002222001111002222221100002200221x12000000111100112222222222222211222200222222002211222200000x1211220011221122001111111100002222001111002222221100002200220x12000000111100112222222222222211222200222222002211222200002x1211220011221122001111111100002222001111002222221100002200222x10001122001111002222111111220022001122220011000000110022001x1011001100110011111122220000000011111122221111001111221122221x10001122001111002222111111220022001122220011000000110022000x1011001100110011111122220000000011111122221111001111221122220x10001122001111002222111111220022001122220011000000110022002x1011001100110011111122220000000011111122221111001111221122222x11001122001111002222111111220022001122220011000000110022001x1111001100110011111122220000000011111122221111001111221122221x11001122001111002222111111220022001122220011000000110022000x1111001100110011111122220000000011111122221111001111221122220x11001122001111002222111111220022001122220011000000110022002x1111001100110011111122220000000011111122221111001111221122222x12001122001111002222111111220022001122220011000000110022001x1211001100110011111122220000000011111122221111001111221122221x12001122001111002222111111220022001122220011000000110022000x1211001100110011111122220000000011111122221111001111221122220x12001122001111002222111111220022001122220011000000110022002x1211001100110011111122220000000011111122221111001111221122222x10221111222200111122001111220011111122111100111122110022221x10110000221122221111111111221111112211112200111122002222001x10221111222200111122001111220011111122111100111122110022220x10110000221122221111111111221111112211112200111122002222000x10221111222200111122001111220011111122111100111122110022222x10110000221122221111111111221111112211112200111122002222002x11221111222200111122001111220011111122111100111122110022221x11110000221122221111111111221111112211112200111122002222001x11221111222200111122001111220011111122111100111122110022220x11110000221122221111111111221111112211112200111122002222000x11221111222200111122001111220011111122111100111122110022222x11110000221122221111111111221111112211112200111122002222002x12221111222200111122001111220011111122111100111122110022221x12110000221122221111111111221111112211112200111122002222001x12221111222200111122001111220011111122111100111122110022220x12110000221122221111111111221111112211112200111122002222000x12221111222200111122001111220011111122111100111122110022222x12110000221122221111111111221111112211112200111122002222002x1000221122110000000022220000222200220022220022111122110022221x101122001100001100220000112211111111221122220011112222222200111x1000221122110000000022220000222200220022220022111122110022220x101122001100001100220000112211111111221122220011112222222200110x1000221122110000000022220000222200220022220022111122110022222x101122001100001100220000112211111111221122220011112222222200112x1100221122110000000022220000222200220022220022111122110022221x111122001100001100220000112211111111221122220011112222222200111x1100221122110000000022220000222200220022220022111122110022220x111122001100001100220000112211111111221122220011112222222200110x1100221122110000000022220000222200220022220022111122110022222x111122001100001100220000112211111111221122220011112222222200112x1200221122110000000022220000222200220022220022111122110022221x121122001100001100220000112211111111221122220011112222222200111x1200221122110000000022220000222200220022220022111122110022220x121122001100001100220000112211111111221122220011112222222200110x1200221122110000000022220000222200220022220022111122110022222x121122001100001100220000112211111111221122220011112222222200112x1022000011111111000000222222222211110000001100001111002211221x100000111100222200220011111100110011112200111122221111111111111x1022000011111111000000222222222211110000001100001111002211220x100000111100222200220011111100110011112200111122221111111111110x1022000011111111000000222222222211110000001100001111002211222x100000111100222200220011111100110011112200111122221111111111112x1122000011111111000000222222222211110000001100001111002211221x110000111100222200220011111100110011112200111122221111111111111x1122000011111111000000222222222211110000001100001111002211220x110000111100222200220011111100110011112200111122221111111111110x1122000011111111000000222222222211110000001100001111002211222x110000111100222200220011111100110011112200111122221111111111112x1222000011111111000000222222222211110000001100001111002211221x120000111100222200220011111100110011112200111122221111111111111x1222000011111111000000222222222211110000001100001111002211220x120000111100222200220011111100110011112200111122221111111111110x1222000011111111000000222222222211110000001100001111002211222x120000111100222200220011111100110011112200111122221111111111112x111011120211112111111111121112201111221111001111011110000011112222000x101111111100000000110x10000011112222002x101111111100000000112x101122000000222200001x101100002200222200001x101122000000222200000x101100002200222200000x101122000000222200002x101100002200222200002x111100112200001111221100222222221x111111002222001122221122220011001x111100112200001111221100222222220x111111002222001122221122220011000x111100112200001111221100222222222x111111002222001122221122220011002x11110011221122111122110011001100221x111122112200221100112200110011111111221x11110011221122111122110011001100220x111122112200221100112200110011111111220x11110011221122111122110011001100222x111122112200221100112200110011111111222x110000002200221111221122111122000011221x112222110011001111112200000000220011111111001x110000002200221111221122111122000011220x112222110011001111112200000000220011111111000x110000002200221111221122111122000011222x112222110011001111112200000000220011111111002x11222200002211112200002211221111002222001x112211221111111111002200002200220000002222001x11222200002211112200002211221111002222000x112211221111111111002200002200220000002222000x11222200002211112200002211221111002222002x112211221111111111002200002200220000002222002x11002200112222112200002222221122002211220000220022220000001x11001122001100001100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000000x11001122001100001100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000002x11001122001100001100002222002222220022222222220011220022002x111122002200112222221x112222111122000022221x111122002200112222220x112222111122000022220x111122002200112222222x112222111122000022222x1000000000000011002211112222221x102200000022002211111100112211221x1000000000000011002211112222220x102200000022002211111100112211220x1000000000000011002211112222222x102200000022002211111100112211222x1100000000000011002211112222221x112200000022002211111100112211221x1100000000000011002211112222220x112200000022002211111100112211220x1100000000000011002211112222222x112200000022002211111100112211222x1200000000000011002211112222221x122200000022002211111100112211221x1200000000000011002211112222220x122200000022002211111100112211220x1200000000000011002211112222222x122200000022002211111100112211222x100000221122112211110011112222000x10220000110011002222110000111111110x100000221122112211110011112222002x10220000110011002222110000111111112x110000221122112211110011112222000x11220000110011002222110000111111110x110000221122112211110011112222002x11220000110011002222110000111111112x120000221122112211110011112222000x12220000110011002222110000111111110x120000221122112211110011112222002x12220000110011002222110000111111112x111100222211222211111100222222111100111122000x11002222001100222211111111111100221100110011110x111100222211222211111100222222111100111122002x11002222001100222211111111111100221100110011112x10222222000000111122220000221122111100221100000x1011002222220000110022111111111100110011111122222222110x10222222000000111122220000221122111100221100002x1011002222220000110022111111111100110011111122222222112x12222222000000111122220000221122111100221100000x1211002222220000110022111111111100110011111122222222110x12222222000000111122220000221122111100221100002x1211002222220000110022111111111100110011111122222222112x100000001111000011221100111122112222220011221111001x102211222211221122221122222200111111000011001111111111221x100000001111000011221100111122112222220011221111000x102211222211221122221122222200111111000011001111111111220x100000001111000011221100111122112222220011221111002x102211222211221122221122222200111111000011001111111111222x110000001111000011221100111122112222220011221111001x112211222211221122221122222200111111000011001111111111221x110000001111000011221100111122112222220011221111000x112211222211221122221122222200111111000011001111111111220x110000001111000011221100111122112222220011221111002x112211222211221122221122222200111111000011001111111111222x120000001111000011221100111122112222220011221111001x122211222211221122221122222200111111000011001111111111221x120000001111000011221100111122112222220011221111000x122211222211221122221122222200111111000011001111111111220x120000001111000011221100111122112222220011221111002x122211222211221122221122222200111111000011001111111111222x10000011112222000x101111111100000000110x10000011112222000x1111111100000000110x10000011112222000x11111100000000110x10000011112222000x111100000000110x10000011112222000x1100000000110x10000011112222000x10000000110x10000011112222000x100000110x10000011112222000x1000110x10000011112222000x10110x10000011112222000x110x10000011112222002x101111111100000000112x10000011112222002x1111111100000000112x10000011112222002x11111100000000112x10000011112222002x111100000000112x10000011112222002x1100000000112x10000011112222002x10000000112x10000011112222002x100000112x10000011112222002x1000112x10000011112222002x10112x10000011112222002x112x101122000000222200001x101100002200222200001x101122000000222200001x1100002200222200001x101122000000222200001x10002200222200001x101122000000222200001x102200222200001x101122000000222200001x1200222200001x101122000000222200000x101100002200222200000x101122000000222200000x1100002200222200000x101122000000222200000x10002200222200000x101122000000222200000x102200222200000x101122000000222200000x1200222200000x101122000000222200002x101100002200222200002x101122000000222200002x1100002200222200002x101122000000222200002x10002200222200002x101122000000222200002x102200222200002x101122000000222200002x1200222200002x111100112200001111221100222222221x111111002222001122221122220011001x111100112200001111221100222222221x1111002222001122221122220011001x111100112200001111221100222222221x11002222001122221122220011001x111100112200001111221100222222221x102222001122221122220011001x111100112200001111221100222222221x1222001122221122220011001x111100112200001111221100222222221x12001122221122220011001x111100112200001111221100222222221x101122221122220011001x111100112200001111221100222222221x1122221122220011001x111100112200001111221100222222221x12221122220011001x111100112200001111221100222222221x1122220011001x111100112200001111221100222222221x12220011001x111100112200001111221100222222221x120011001x111100112200001111221100222222221x1011001x111100112200001111221100222222221x11001x111100112200001111221100222222221x101x111100112200001111221100222222220x111111002222001122221122220011000x111100112200001111221100222222220x1111002222001122221122220011000x111100112200001111221100222222220x11002222001122221122220011000x111100112200001111221100222222220x102222001122221122220011000x111100112200001111221100222222220x1222001122221122220011000x111100112200001111221100222222220x12001122221122220011000x111100112200001111221100222222220x101122221122220011000x111100112200001111221100222222220x1122221122220011000x111100112200001111221100222222220x12221122220011000x111100112200001111221100222222220x1122220011000x111100112200001111221100222222220x12220011000x111100112200001111221100222222220x120011000x111100112200001111221100222222220x1011000x111100112200001111221100222222220x11000x111100112200001111221100222222220x100x111100112200001111221100222222222x111111002222001122221122220011002x111100112200001111221100222222222x1111002222001122221122220011002x111100112200001111221100222222222x11002222001122221122220011002x111100112200001111221100222222222x102222001122221122220011002x111100112200001111221100222222222x1222001122221122220011002x111100112200001111221100222222222x12001122221122220011002x111100112200001111221100222222222x101122221122220011002x111100112200001111221100222222222x1122221122220011002x111100112200001111221100222222222x12221122220011002x111100112200001111221100222222222x1122220011002x111100112200001111221100222222222x12220011002x111100112200001111221100222222222x120011002x111100112200001111221100222222222x1011002x111100112200001111221100222222222x11002x111100112200001111221100222222222x102x11110011221122111122110011001100221x111122112200221100112200110011111111221x11110011221122111122110011001100221x1122112200221100112200110011111111221x11110011221122111122110011001100221x112200221100112200110011111111221x11110011221122111122110011001100221x1200221100112200110011111111221x11110011221122111122110011001100221x10221100112200110011111111221x11110011221122111122110011001100221x1100112200110011111111221x11110011221122111122110011001100221x10112200110011111111221x11110011221122111122110011001100221x112200110011111111221x11110011221122111122110011001100221x1200110011111111221x11110011221122111122110011001100221x10110011111111221x11110011221122111122110011001100221x110011111111221x11110011221122111122110011001100221x1011111111221x11110011221122111122110011001100221x11111111221x11110011221122111122110011001100221x111111221x11110011221122111122110011001100221x1111221x11110011221122111122110011001100221x11221x11110011221122111122110011001100220x111122112200221100112200110011111111220x11110011221122111122110011001100220x1122112200221100112200110011111111220x11110011221122111122110011001100220x112200221100112200110011111111220x11110011221122111122110011001100220x1200221100112200110011111111220x11110011221122111122110011001100220x10221100112200110011111111220x11110011221122111122110011001100220x1100112200110011111111220x11110011221122111122110011001100220x10112200110011111111220x11110011221122111122110011001100220x112200110011111111220x11110011221122111122110011001100220x1200110011111111220x11110011221122111122110011001100220x10110011111111220x11110011221122111122110011001100220x110011111111220x11110011221122111122110011001100220x1011111111220x11110011221122111122110011001100220x11111111220x11110011221122111122110011001100220x111111220x11110011221122111122110011001100220x1111220x11110011221122111122110011001100220x11220x11110011221122111122110011001100222x111122112200221100112200110011111111222x11110011221122111122110011001100222x1122112200221100112200110011111111222x11110011221122111122110011001100222x112200221100112200110011111111222x11110011221122111122110011001100222x1200221100112200110011111111222x11110011221122111122110011001100222x10221100112200110011111111222x11110011221122111122110011001100222x1100112200110011111111222x11110011221122111122110011001100222x10112200110011111111222x11110011221122111122110011001100222x112200110011111111222x11110011221122111122110011001100222x1200110011111111222x11110011221122111122110011001100222x10110011111111222x11110011221122111122110011001100222x110011111111222x11110011221122111122110011001100222x1011111111222x11110011221122111122110011001100222x11111111222x11110011221122111122110011001100222x111111222x11110011221122111122110011001100222x1111222x11110011221122111122110011001100222x11222x110000002200221111221122111122000011221x112222110011001111112200000000220011111111001x110000002200221111221122111122000011221x1222110011001111112200000000220011111111001x110000002200221111221122111122000011221x110011001111112200000000220011111111001x110000002200221111221122111122000011221x1011001111112200000000220011111111001x110000002200221111221122111122000011221x11001111112200000000220011111111001x110000002200221111221122111122000011221x101111112200000000220011111111001x110000002200221111221122111122000011221x1111112200000000220011111111001x110000002200221111221122111122000011221x11112200000000220011111111001x110000002200221111221122111122000011221x112200000000220011111111001x110000002200221111221122111122000011221x1200000000220011111111001x110000002200221111221122111122000011221x10000000220011111111001x110000002200221111221122111122000011221x100000220011111111001x110000002200221111221122111122000011221x1000220011111111001x110000002200221111221122111122000011221x10220011111111001x110000002200221111221122111122000011221x120011111111001x110000002200221111221122111122000011221x1011111111001x110000002200221111221122111122000011221x11111111001x110000002200221111221122111122000011221x111111001x110000002200221111221122111122000011221x1111001x110000002200221111221122111122000011221x11001x110000002200221111221122111122000011221x101x110000002200221111221122111122000011220x112222110011001111112200000000220011111111000x110000002200221111221122111122000011220x1222110011001111112200000000220011111111000x110000002200221111221122111122000011220x110011001111112200000000220011111111000x110000002200221111221122111122000011220x1011001111112200000000220011111111000x110000002200221111221122111122000011220x11001111112200000000220011111111000x110000002200221111221122111122000011220x101111112200000000220011111111000x110000002200221111221122111122000011220x1111112200000000220011111111000x110000002200221111221122111122000011220x11112200000000220011111111000x110000002200221111221122111122000011220x112200000000220011111111000x110000002200221111221122111122000011220x1200000000220011111111000x110000002200221111221122111122000011220x10000000220011111111000x110000002200221111221122111122000011220x100000220011111111000x110000002200221111221122111122000011220x1000220011111111000x110000002200221111221122111122000011220x10220011111111000x110000002200221111221122111122000011220x120011111111000x110000002200221111221122111122000011220x1011111111000x110000002200221111221122111122000011220x11111111000x110000002200221111221122111122000011220x111111000x110000002200221111221122111122000011220x1111000x110000002200221111221122111122000011220x11000x110000002200221111221122111122000011220x100x110000002200221111221122111122000011222x112222110011001111112200000000220011111111002x110000002200221111221122111122000011222x1222110011001111112200000000220011111111002x110000002200221111221122111122000011222x110011001111112200000000220011111111002x110000002200221111221122111122000011222x1011001111112200000000220011111111002x110000002200221111221122111122000011222x11001111112200000000220011111111002x110000002200221111221122111122000011222x101111112200000000220011111111002x110000002200221111221122111122000011222x1111112200000000220011111111002x110000002200221111221122111122000011222x11112200000000220011111111002x110000002200221111221122111122000011222x112200000000220011111111002x110000002200221111221122111122000011222x1200000000220011111111002x110000002200221111221122111122000011222x10000000220011111111002x110000002200221111221122111122000011222x100000220011111111002x110000002200221111221122111122000011222x1000220011111111002x110000002200221111221122111122000011222x10220011111111002x110000002200221111221122111122000011222x120011111111002x110000002200221111221122111122000011222x1011111111002x110000002200221111221122111122000011222x11111111002x110000002200221111221122111122000011222x111111002x110000002200221111221122111122000011222x1111002x110000002200221111221122111122000011222x11002x110000002200221111221122111122000011222x102x11222200002211112200002211221111002222001x112211221111111111002200002200220000002222001x11222200002211112200002211221111002222001x11221111111111002200002200220000002222001x11222200002211112200002211221111002222001x1111111111002200002200220000002222001x11222200002211112200002211221111002222001x11111111002200002200220000002222001x11222200002211112200002211221111002222001x111111002200002200220000002222001x11222200002211112200002211221111002222001x1111002200002200220000002222001x11222200002211112200002211221111002222001x11002200002200220000002222001x11222200002211112200002211221111002222001x102200002200220000002222001x11222200002211112200002211221111002222001x1200002200220000002222001x11222200002211112200002211221111002222001x10002200220000002222001x11222200002211112200002211221111002222001x102200220000002222001x11222200002211112200002211221111002222001x1200220000002222001x11222200002211112200002211221111002222001x10220000002222001x11222200002211112200002211221111002222001x120000002222001x11222200002211112200002211221111002222001x1000002222001x11222200002211112200002211221111002222001x10002222001x11222200002211112200002211221111002222000x112211221111111111002200002200220000002222000x11222200002211112200002211221111002222000x11221111111111002200002200220000002222000x11222200002211112200002211221111002222000x1111111111002200002200220000002222000x11222200002211112200002211221111002222000x11111111002200002200220000002222000x11222200002211112200002211221111002222000x111111002200002200220000002222000x11222200002211112200002211221111002222000x1111002200002200220000002222000x11222200002211112200002211221111002222000x11002200002200220000002222000x11222200002211112200002211221111002222000x102200002200220000002222000x11222200002211112200002211221111002222000x1200002200220000002222000x11222200002211112200002211221111002222000x10002200220000002222000x11222200002211112200002211221111002222000x102200220000002222000x11222200002211112200002211221111002222000x1200220000002222000x11222200002211112200002211221111002222000x10220000002222000x11222200002211112200002211221111002222000x120000002222000x11222200002211112200002211221111002222000x1000002222000x11222200002211112200002211221111002222000x10002222000x11222200002211112200002211221111002222002x112211221111111111002200002200220000002222002x11222200002211112200002211221111002222002x11221111111111002200002200220000002222002x11222200002211112200002211221111002222002x1111111111002200002200220000002222002x11222200002211112200002211221111002222002x11111111002200002200220000002222002x11222200002211112200002211221111002222002x111111002200002200220000002222002x11222200002211112200002211221111002222002x1111002200002200220000002222002x11222200002211112200002211221111002222002x11002200002200220000002222002x11222200002211112200002211221111002222002x102200002200220000002222002x11222200002211112200002211221111002222002x1200002200220000002222002x11222200002211112200002211221111002222002x10002200220000002222002x11222200002211112200002211221111002222002x102200220000002222002x11222200002211112200002211221111002222002x1200220000002222002x11222200002211112200002211221111002222002x10220000002222002x11222200002211112200002211221111002222002x120000002222002x11222200002211112200002211221111002222002x1000002222002x11222200002211112200002211221111002222002x10002222002x11002200112222112200002222221122002211220000220022220000001x11001122001100001100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x101122001100001100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x1122001100001100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x12001100001100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x101100001100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x1100001100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x10001100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x101100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x1100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x10002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x102222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x1222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x12002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x102222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x1222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x12220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x120022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x1022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x12222222220011220022001x11002200112222112200002222221122002211220000220022220000001x122222220011220022001x11002200112222112200002222221122002211220000220022220000001x1222220011220022001x11002200112222112200002222221122002211220000220022220000001x12220011220022001x11002200112222112200002222221122002211220000220022220000001x120011220022001x11002200112222112200002222221122002211220000220022220000001x1011220022001x11002200112222112200002222221122002211220000220022220000001x11220022001x11002200112222112200002222221122002211220000220022220000001x120022001x11002200112222112200002222221122002211220000220022220000001x1022001x11002200112222112200002222221122002211220000220022220000001x12001x11002200112222112200002222221122002211220000220022220000000x11001122001100001100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x101122001100001100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x1122001100001100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x12001100001100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x101100001100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x1100001100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x10001100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x101100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x1100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x10002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x102222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x1222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x12002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x102222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x1222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x12220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x120022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x1022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x12222222220011220022000x11002200112222112200002222221122002211220000220022220000000x122222220011220022000x11002200112222112200002222221122002211220000220022220000000x1222220011220022000x11002200112222112200002222221122002211220000220022220000000x12220011220022000x11002200112222112200002222221122002211220000220022220000000x120011220022000x11002200112222112200002222221122002211220000220022220000000x1011220022000x11002200112222112200002222221122002211220000220022220000000x11220022000x11002200112222112200002222221122002211220000220022220000000x120022000x11002200112222112200002222221122002211220000220022220000000x1022000x11002200112222112200002222221122002211220000220022220000000x12000x11002200112222112200002222221122002211220000220022220000002x11001122001100001100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x101122001100001100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x1122001100001100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x12001100001100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x101100001100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x1100001100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x10001100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x101100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x1100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x10002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x102222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x1222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x12002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x102222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x1222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x12220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x120022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x1022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x12222222220011220022002x11002200112222112200002222221122002211220000220022220000002x122222220011220022002x11002200112222112200002222221122002211220000220022220000002x1222220011220022002x11002200112222112200002222221122002211220000220022220000002x12220011220022002x11002200112222112200002222221122002211220000220022220000002x120011220022002x11002200112222112200002222221122002211220000220022220000002x1011220022002x11002200112222112200002222221122002211220000220022220000002x11220022002x11002200112222112200002222221122002211220000220022220000002x120022002x11002200112222112200002222221122002211220000220022220000002x1022002x11002200112222112200002222221122002211220000220022220000002x12002x111122002200112222221x112222111122000022221x111122002200112222221x1222111122000022221x111122002200112222221x111122000022221x111122002200112222221x1122000022221x111122002200112222221x12000022221x111122002200112222221x100022221x111122002200112222221x1022221x111122002200112222220x112222111122000022220x111122002200112222220x1222111122000022220x111122002200112222220x111122000022220x111122002200112222220x1122000022220x111122002200112222220x12000022220x111122002200112222220x100022220x111122002200112222220x1022220x111122002200112222222x112222111122000022222x111122002200112222222x1222111122000022222x111122002200112222222x111122000022222x111122002200112222222x1122000022222x111122002200112222222x12000022222x111122002200112222222x100022222x111122002200112222222x1022222x1000000000000011002211112222221x102200000022002211111100112211221x1000000000000011002211112222221x1200000022002211111100112211221x1000000000000011002211112222221x10000022002211111100112211221x1000000000000011002211112222221x100022002211111100112211221x1000000000000011002211112222221x1022002211111100112211221x1000000000000011002211112222221x12002211111100112211221x1000000000000011002211112222221x102211111100112211221x1000000000000011002211112222221x11111100112211221x1000000000000011002211112222221x111100112211221x1000000000000011002211112222221x1100112211221x1000000000000011002211112222221x10112211221x1000000000000011002211112222221x112211221x1000000000000011002211112222221x11221x1000000000000011002211112222220x102200000022002211111100112211220x1000000000000011002211112222220x1200000022002211111100112211220x1000000000000011002211112222220x10000022002211111100112211220x1000000000000011002211112222220x100022002211111100112211220x1000000000000011002211112222220x1022002211111100112211220x1000000000000011002211112222220x12002211111100112211220x1000000000000011002211112222220x102211111100112211220x1000000000000011002211112222220x11111100112211220x1000000000000011002211112222220x111100112211220x1000000000000011002211112222220x1100112211220x1000000000000011002211112222220x10112211220x1000000000000011002211112222220x112211220x1000000000000011002211112222220x11220x1000000000000011002211112222222x102200000022002211111100112211222x1000000000000011002211112222222x1200000022002211111100112211222x1000000000000011002211112222222x10000022002211111100112211222x1000000000000011002211112222222x100022002211111100112211222x1000000000000011002211112222222x1022002211111100112211222x1000000000000011002211112222222x12002211111100112211222x1000000000000011002211112222222x102211111100112211222x1000000000000011002211112222222x11111100112211222x1000000000000011002211112222222x111100112211222x1000000000000011002211112222222x1100112211222x1000000000000011002211112222222x10112211222x1000000000000011002211112222222x112211222x1000000000000011002211112222222x11222x1100000000000011002211112222221x112200000022002211111100112211221x1100000000000011002211112222221x1200000022002211111100112211221x1100000000000011002211112222221x10000022002211111100112211221x1100000000000011002211112222221x100022002211111100112211221x1100000000000011002211112222221x1022002211111100112211221x1100000000000011002211112222221x12002211111100112211221x1100000000000011002211112222221x102211111100112211221x1100000000000011002211112222221x11111100112211221x1100000000000011002211112222221x111100112211221x1100000000000011002211112222221x1100112211221x1100000000000011002211112222221x10112211221x1100000000000011002211112222221x112211221x1100000000000011002211112222221x11221x1100000000000011002211112222220x112200000022002211111100112211220x1100000000000011002211112222220x1200000022002211111100112211220x1100000000000011002211112222220x10000022002211111100112211220x1100000000000011002211112222220x100022002211111100112211220x1100000000000011002211112222220x1022002211111100112211220x1100000000000011002211112222220x12002211111100112211220x1100000000000011002211112222220x102211111100112211220x1100000000000011002211112222220x11111100112211220x1100000000000011002211112222220x111100112211220x1100000000000011002211112222220x1100112211220x1100000000000011002211112222220x10112211220x1100000000000011002211112222220x112211220x1100000000000011002211112222220x11220x1100000000000011002211112222222x112200000022002211111100112211222x1100000000000011002211112222222x1200000022002211111100112211222x1100000000000011002211112222222x10000022002211111100112211222x1100000000000011002211112222222x100022002211111100112211222x1100000000000011002211112222222x1022002211111100112211222x1100000000000011002211112222222x12002211111100112211222x1100000000000011002211112222222x102211111100112211222x1100000000000011002211112222222x11111100112211222x1100000000000011002211112222222x111100112211222x1100000000000011002211112222222x1100112211222x1100000000000011002211112222222x10112211222x1100000000000011002211112222222x112211222x1100000000000011002211112222222x11222x1200000000000011002211112222221x122200000022002211111100112211221x1200000000000011002211112222221x1200000022002211111100112211221x1200000000000011002211112222221x10000022002211111100112211221x1200000000000011002211112222221x100022002211111100112211221x1200000000000011002211112222221x1022002211111100112211221x1200000000000011002211112222221x12002211111100112211221x1200000000000011002211112222221x102211111100112211221x1200000000000011002211112222221x11111100112211221x1200000000000011002211112222221x111100112211221x1200000000000011002211112222221x1100112211221x1200000000000011002211112222221x10112211221x1200000000000011002211112222221x112211221x1200000000000011002211112222221x11221x1200000000000011002211112222220x122200000022002211111100112211220x1200000000000011002211112222220x1200000022002211111100112211220x1200000000000011002211112222220x10000022002211111100112211220x1200000000000011002211112222220x100022002211111100112211220x1200000000000011002211112222220x1022002211111100112211220x1200000000000011002211112222220x12002211111100112211220x1200000000000011002211112222220x102211111100112211220x1200000000000011002211112222220x11111100112211220x1200000000000011002211112222220x111100112211220x1200000000000011002211112222220x1100112211220x1200000000000011002211112222220x10112211220x1200000000000011002211112222220x112211220x1200000000000011002211112222220x11220x1200000000000011002211112222222x122200000022002211111100112211222x1200000000000011002211112222222x1200000022002211111100112211222x1200000000000011002211112222222x10000022002211111100112211222x1200000000000011002211112222222x100022002211111100112211222x1200000000000011002211112222222x1022002211111100112211222x1200000000000011002211112222222x12002211111100112211222x1200000000000011002211112222222x102211111100112211222x1200000000000011002211112222222x11111100112211222x1200000000000011002211112222222x111100112211222x1200000000000011002211112222222x1100112211222x1200000000000011002211112222222x10112211222x1200000000000011002211112222222x112211222x1200000000000011002211112222222x11222x100000221122112211110011112222000x10220000110011002222110000111111110x100000221122112211110011112222000x120000110011002222110000111111110x100000221122112211110011112222000x1000110011002222110000111111110x100000221122112211110011112222000x10110011002222110000111111110x100000221122112211110011112222000x110011002222110000111111110x100000221122112211110011112222000x1011002222110000111111110x100000221122112211110011112222000x11002222110000111111110x100000221122112211110011112222000x102222110000111111110x100000221122112211110011112222000x1222110000111111110x100000221122112211110011112222000x110000111111110x100000221122112211110011112222000x1000111111110x100000221122112211110011112222000x10111111110x100000221122112211110011112222000x111111110x100000221122112211110011112222000x1111110x100000221122112211110011112222000x11110x100000221122112211110011112222000x110x100000221122112211110011112222002x10220000110011002222110000111111112x100000221122112211110011112222002x120000110011002222110000111111112x100000221122112211110011112222002x1000110011002222110000111111112x100000221122112211110011112222002x10110011002222110000111111112x100000221122112211110011112222002x110011002222110000111111112x100000221122112211110011112222002x1011002222110000111111112x100000221122112211110011112222002x11002222110000111111112x100000221122112211110011112222002x102222110000111111112x100000221122112211110011112222002x1222110000111111112x100000221122112211110011112222002x110000111111112x100000221122112211110011112222002x1000111111112x100000221122112211110011112222002x10111111112x100000221122112211110011112222002x111111112x100000221122112211110011112222002x1111112x100000221122112211110011112222002x11112x100000221122112211110011112222002x112x110000221122112211110011112222000x11220000110011002222110000111111110x110000221122112211110011112222000x120000110011002222110000111111110x110000221122112211110011112222000x1000110011002222110000111111110x110000221122112211110011112222000x10110011002222110000111111110x110000221122112211110011112222000x110011002222110000111111110x110000221122112211110011112222000x1011002222110000111111110x110000221122112211110011112222000x11002222110000111111110x110000221122112211110011112222000x102222110000111111110x110000221122112211110011112222000x1222110000111111110x110000221122112211110011112222000x110000111111110x110000221122112211110011112222000x1000111111110x110000221122112211110011112222000x10111111110x110000221122112211110011112222000x111111110x110000221122112211110011112222000x1111110x110000221122112211110011112222000x11110x110000221122112211110011112222000x110x110000221122112211110011112222002x11220000110011002222110000111111112x110000221122112211110011112222002x120000110011002222110000111111112x110000221122112211110011112222002x1000110011002222110000111111112x110000221122112211110011112222002x10110011002222110000111111112x110000221122112211110011112222002x110011002222110000111111112x110000221122112211110011112222002x1011002222110000111111112x110000221122112211110011112222002x11002222110000111111112x110000221122112211110011112222002x102222110000111111112x110000221122112211110011112222002x1222110000111111112x110000221122112211110011112222002x110000111111112x110000221122112211110011112222002x1000111111112x110000221122112211110011112222002x10111111112x110000221122112211110011112222002x111111112x110000221122112211110011112222002x1111112x110000221122112211110011112222002x11112x110000221122112211110011112222002x112x120000221122112211110011112222000x12220000110011002222110000111111110x120000221122112211110011112222000x120000110011002222110000111111110x120000221122112211110011112222000x1000110011002222110000111111110x120000221122112211110011112222000x10110011002222110000111111110x120000221122112211110011112222000x110011002222110000111111110x120000221122112211110011112222000x1011002222110000111111110x120000221122112211110011112222000x11002222110000111111110x120000221122112211110011112222000x102222110000111111110x120000221122112211110011112222000x1222110000111111110x120000221122112211110011112222000x110000111111110x120000221122112211110011112222000x1000111111110x120000221122112211110011112222000x10111111110x120000221122112211110011112222000x111111110x120000221122112211110011112222000x1111110x120000221122112211110011112222000x11110x120000221122112211110011112222000x110x120000221122112211110011112222002x12220000110011002222110000111111112x120000221122112211110011112222002x120000110011002222110000111111112x120000221122112211110011112222002x1000110011002222110000111111112x120000221122112211110011112222002x10110011002222110000111111112x120000221122112211110011112222002x110011002222110000111111112x120000221122112211110011112222002x1011002222110000111111112x120000221122112211110011112222002x11002222110000111111112x120000221122112211110011112222002x102222110000111111112x120000221122112211110011112222002x1222110000111111112x120000221122112211110011112222002x110000111111112x120000221122112211110011112222002x1000111111112x120000221122112211110011112222002x10111111112x120000221122112211110011112222002x111111112x120000221122112211110011112222002x1111112x120000221122112211110011112222002x11112x120000221122112211110011112222002x112x111100222211222211111100222222111100111122000x11002222001100222211111111111100221100110011110x111100222211222211111100222222111100111122000x102222001100222211111111111100221100110011110x111100222211222211111100222222111100111122000x1222001100222211111111111100221100110011110x111100222211222211111100222222111100111122000x12001100222211111111111100221100110011110x111100222211222211111100222222111100111122000x101100222211111111111100221100110011110x111100222211222211111100222222111100111122000x1100222211111111111100221100110011110x111100222211222211111100222222111100111122000x10222211111111111100221100110011110x111100222211222211111100222222111100111122000x122211111111111100221100110011110x111100222211222211111100222222111100111122000x11111111111100221100110011110x111100222211222211111100222222111100111122000x111111111100221100110011110x111100222211222211111100222222111100111122000x1111111100221100110011110x111100222211222211111100222222111100111122000x11111100221100110011110x111100222211222211111100222222111100111122000x111100221100110011110x111100222211222211111100222222111100111122000x1100221100110011110x111100222211222211111100222222111100111122000x10221100110011110x111100222211222211111100222222111100111122000x1100110011110x111100222211222211111100222222111100111122000x10110011110x111100222211222211111100222222111100111122000x110011110x111100222211222211111100222222111100111122000x1011110x111100222211222211111100222222111100111122000x11110x111100222211222211111100222222111100111122000x110x111100222211222211111100222222111100111122002x11002222001100222211111111111100221100110011112x111100222211222211111100222222111100111122002x102222001100222211111111111100221100110011112x111100222211222211111100222222111100111122002x1222001100222211111111111100221100110011112x111100222211222211111100222222111100111122002x12001100222211111111111100221100110011112x111100222211222211111100222222111100111122002x101100222211111111111100221100110011112x111100222211222211111100222222111100111122002x1100222211111111111100221100110011112x111100222211222211111100222222111100111122002x10222211111111111100221100110011112x111100222211222211111100222222111100111122002x122211111111111100221100110011112x111100222211222211111100222222111100111122002x11111111111100221100110011112x111100222211222211111100222222111100111122002x111111111100221100110011112x111100222211222211111100222222111100111122002x1111111100221100110011112x111100222211222211111100222222111100111122002x11111100221100110011112x111100222211222211111100222222111100111122002x111100221100110011112x111100222211222211111100222222111100111122002x1100221100110011112x111100222211222211111100222222111100111122002x10221100110011112x111100222211222211111100222222111100111122002x1100110011112x111100222211222211111100222222111100111122002x10110011112x111100222211222211111100222222111100111122002x110011112x111100222211222211111100222222111100111122002x1011112x111100222211222211111100222222111100111122002x11112x111100222211222211111100222222111100111122002x112x10222222000000111122220000221122111100221100000x1011002222220000110022111111111100110011111122222222110x10222222000000111122220000221122111100221100000x11002222220000110022111111111100110011111122222222110x10222222000000111122220000221122111100221100000x102222220000110022111111111100110011111122222222110x10222222000000111122220000221122111100221100000x1222220000110022111111111100110011111122222222110x10222222000000111122220000221122111100221100000x12220000110022111111111100110011111122222222110x10222222000000111122220000221122111100221100000x120000110022111111111100110011111122222222110x10222222000000111122220000221122111100221100000x1000110022111111111100110011111122222222110x10222222000000111122220000221122111100221100000x10110022111111111100110011111122222222110x10222222000000111122220000221122111100221100000x110022111111111100110011111122222222110x10222222000000111122220000221122111100221100000x1022111111111100110011111122222222110x10222222000000111122220000221122111100221100000x111111111100110011111122222222110x10222222000000111122220000221122111100221100000x1111111100110011111122222222110x10222222000000111122220000221122111100221100000x11111100110011111122222222110x10222222000000111122220000221122111100221100000x111100110011111122222222110x10222222000000111122220000221122111100221100000x1100110011111122222222110x10222222000000111122220000221122111100221100000x10110011111122222222110x10222222000000111122220000221122111100221100000x110011111122222222110x10222222000000111122220000221122111100221100000x1011111122222222110x10222222000000111122220000221122111100221100000x11111122222222110x10222222000000111122220000221122111100221100000x111122222222110x10222222000000111122220000221122111100221100000x1122222222110x10222222000000111122220000221122111100221100000x12222222110x10222222000000111122220000221122111100221100000x122222110x10222222000000111122220000221122111100221100000x1222110x10222222000000111122220000221122111100221100000x110x10222222000000111122220000221122111100221100002x1011002222220000110022111111111100110011111122222222112x10222222000000111122220000221122111100221100002x11002222220000110022111111111100110011111122222222112x10222222000000111122220000221122111100221100002x102222220000110022111111111100110011111122222222112x10222222000000111122220000221122111100221100002x1222220000110022111111111100110011111122222222112x10222222000000111122220000221122111100221100002x12220000110022111111111100110011111122222222112x10222222000000111122220000221122111100221100002x120000110022111111111100110011111122222222112x10222222000000111122220000221122111100221100002x1000110022111111111100110011111122222222112x10222222000000111122220000221122111100221100002x10110022111111111100110011111122222222112x10222222000000111122220000221122111100221100002x110022111111111100110011111122222222112x10222222000000111122220000221122111100221100002x1022111111111100110011111122222222112x10222222000000111122220000221122111100221100002x111111111100110011111122222222112x10222222000000111122220000221122111100221100002x1111111100110011111122222222112x10222222000000111122220000221122111100221100002x11111100110011111122222222112x10222222000000111122220000221122111100221100002x111100110011111122222222112x10222222000000111122220000221122111100221100002x1100110011111122222222112x10222222000000111122220000221122111100221100002x10110011111122222222112x10222222000000111122220000221122111100221100002x110011111122222222112x10222222000000111122220000221122111100221100002x1011111122222222112x10222222000000111122220000221122111100221100002x11111122222222112x10222222000000111122220000221122111100221100002x111122222222112x10222222000000111122220000221122111100221100002x1122222222112x10222222000000111122220000221122111100221100002x12222222112x10222222000000111122220000221122111100221100002x122222112x10222222000000111122220000221122111100221100002x1222112x10222222000000111122220000221122111100221100002x112x12222222000000111122220000221122111100221100000x11002222220000110022111111111100110011111122222222110x12222222000000111122220000221122111100221100000x102222220000110022111111111100110011111122222222110x12222222000000111122220000221122111100221100000x1222220000110022111111111100110011111122222222110x12222222000000111122220000221122111100221100000x12220000110022111111111100110011111122222222110x12222222000000111122220000221122111100221100000x120000110022111111111100110011111122222222110x12222222000000111122220000221122111100221100000x1000110022111111111100110011111122222222110x12222222000000111122220000221122111100221100000x10110022111111111100110011111122222222110x12222222000000111122220000221122111100221100000x110022111111111100110011111122222222110x12222222000000111122220000221122111100221100000x1022111111111100110011111122222222110x12222222000000111122220000221122111100221100000x111111111100110011111122222222110x12222222000000111122220000221122111100221100000x1111111100110011111122222222110x12222222000000111122220000221122111100221100000x11111100110011111122222222110x12222222000000111122220000221122111100221100000x111100110011111122222222110x12222222000000111122220000221122111100221100000x1100110011111122222222110x12222222000000111122220000221122111100221100000x10110011111122222222110x12222222000000111122220000221122111100221100000x110011111122222222110x12222222000000111122220000221122111100221100000x1011111122222222110x12222222000000111122220000221122111100221100000x11111122222222110x12222222000000111122220000221122111100221100000x111122222222110x12222222000000111122220000221122111100221100000x1122222222110x12222222000000111122220000221122111100221100000x12222222110x12222222000000111122220000221122111100221100000x122222110x12222222000000111122220000221122111100221100000x1222110x12222222000000111122220000221122111100221100000x110x12222222000000111122220000221122111100221100002x11002222220000110022111111111100110011111122222222112x12222222000000111122220000221122111100221100002x102222220000110022111111111100110011111122222222112x12222222000000111122220000221122111100221100002x1222220000110022111111111100110011111122222222112x12222222000000111122220000221122111100221100002x12220000110022111111111100110011111122222222112x12222222000000111122220000221122111100221100002x120000110022111111111100110011111122222222112x12222222000000111122220000221122111100221100002x1000110022111111111100110011111122222222112x12222222000000111122220000221122111100221100002x10110022111111111100110011111122222222112x12222222000000111122220000221122111100221100002x110022111111111100110011111122222222112x12222222000000111122220000221122111100221100002x1022111111111100110011111122222222112x12222222000000111122220000221122111100221100002x111111111100110011111122222222112x12222222000000111122220000221122111100221100002x1111111100110011111122222222112x12222222000000111122220000221122111100221100002x11111100110011111122222222112x12222222000000111122220000221122111100221100002x111100110011111122222222112x12222222000000111122220000221122111100221100002x1100110011111122222222112x12222222000000111122220000221122111100221100002x10110011111122222222112x12222222000000111122220000221122111100221100002x110011111122222222112x12222222000000111122220000221122111100221100002x1011111122222222112x12222222000000111122220000221122111100221100002x11111122222222112x12222222000000111122220000221122111100221100002x111122222222112x12222222000000111122220000221122111100221100002x1122222222112x12222222000000111122220000221122111100221100002x12222222112x12222222000000111122220000221122111100221100002x122222112x12222222000000111122220000221122111100221100002x1222112x12222222000000111122220000221122111100221100002x112x100000001111000011221100111122112222220011221111001x102211222211221122221122222200111111000011001111111111221x100000001111000011221100111122112222220011221111001x11222211221122221122222200111111000011001111111111221x100000001111000011221100111122112222220011221111001x122211221122221122222200111111000011001111111111221x100000001111000011221100111122112222220011221111001x11221122221122222200111111000011001111111111221x100000001111000011221100111122112222220011221111001x1122221122222200111111000011001111111111221x100000001111000011221100111122112222220011221111001x12221122222200111111000011001111111111221x100000001111000011221100111122112222220011221111001x1122222200111111000011001111111111221x100000001111000011221100111122112222220011221111001x12222200111111000011001111111111221x100000001111000011221100111122112222220011221111001x122200111111000011001111111111221x100000001111000011221100111122112222220011221111001x1200111111000011001111111111221x100000001111000011221100111122112222220011221111001x10111111000011001111111111221x100000001111000011221100111122112222220011221111001x111111000011001111111111221x100000001111000011221100111122112222220011221111001x1111000011001111111111221x100000001111000011221100111122112222220011221111001x11000011001111111111221x100000001111000011221100111122112222220011221111001x100011001111111111221x100000001111000011221100111122112222220011221111001x1011001111111111221x100000001111000011221100111122112222220011221111001x11001111111111221x100000001111000011221100111122112222220011221111001x101111111111221x100000001111000011221100111122112222220011221111001x1111111111221x100000001111000011221100111122112222220011221111001x11111111221x100000001111000011221100111122112222220011221111001x111111221x100000001111000011221100111122112222220011221111001x1111221x100000001111000011221100111122112222220011221111001x11221x100000001111000011221100111122112222220011221111000x102211222211221122221122222200111111000011001111111111220x100000001111000011221100111122112222220011221111000x11222211221122221122222200111111000011001111111111220x100000001111000011221100111122112222220011221111000x122211221122221122222200111111000011001111111111220x100000001111000011221100111122112222220011221111000x11221122221122222200111111000011001111111111220x100000001111000011221100111122112222220011221111000x1122221122222200111111000011001111111111220x100000001111000011221100111122112222220011221111000x12221122222200111111000011001111111111220x100000001111000011221100111122112222220011221111000x1122222200111111000011001111111111220x100000001111000011221100111122112222220011221111000x12222200111111000011001111111111220x100000001111000011221100111122112222220011221111000x122200111111000011001111111111220x100000001111000011221100111122112222220011221111000x1200111111000011001111111111220x100000001111000011221100111122112222220011221111000x10111111000011001111111111220x100000001111000011221100111122112222220011221111000x111111000011001111111111220x100000001111000011221100111122112222220011221111000x1111000011001111111111220x100000001111000011221100111122112222220011221111000x11000011001111111111220x100000001111000011221100111122112222220011221111000x100011001111111111220x100000001111000011221100111122112222220011221111000x1011001111111111220x100000001111000011221100111122112222220011221111000x11001111111111220x100000001111000011221100111122112222220011221111000x101111111111220x100000001111000011221100111122112222220011221111000x1111111111220x100000001111000011221100111122112222220011221111000x11111111220x100000001111000011221100111122112222220011221111000x111111220x100000001111000011221100111122112222220011221111000x1111220x100000001111000011221100111122112222220011221111000x11220x100000001111000011221100111122112222220011221111000x120x100000001111000011221100111122112222220011221111002x102211222211221122221122222200111111000011001111111111222x100000001111000011221100111122112222220011221111002x11222211221122221122222200111111000011001111111111222x100000001111000011221100111122112222220011221111002x122211221122221122222200111111000011001111111111222x100000001111000011221100111122112222220011221111002x11221122221122222200111111000011001111111111222x100000001111000011221100111122112222220011221111002x1122221122222200111111000011001111111111222x100000001111000011221100111122112222220011221111002x12221122222200111111000011001111111111222x100000001111000011221100111122112222220011221111002x1122222200111111000011001111111111222x100000001111000011221100111122112222220011221111002x12222200111111000011001111111111222x100000001111000011221100111122112222220011221111002x122200111111000011001111111111222x100000001111000011221100111122112222220011221111002x1200111111000011001111111111222x100000001111000011221100111122112222220011221111002x10111111000011001111111111222x100000001111000011221100111122112222220011221111002x111111000011001111111111222x100000001111000011221100111122112222220011221111002x1111000011001111111111222x100000001111000011221100111122112222220011221111002x11000011001111111111222x100000001111000011221100111122112222220011221111002x100011001111111111222x100000001111000011221100111122112222220011221111002x1011001111111111222x100000001111000011221100111122112222220011221111002x11001111111111222x100000001111000011221100111122112222220011221111002x101111111111222x100000001111000011221100111122112222220011221111002x1111111111222x100000001111000011221100111122112222220011221111002x11111111222x100000001111000011221100111122112222220011221111002x111111222x100000001111000011221100111122112222220011221111002x1111222x100000001111000011221100111122112222220011221111002x11222x100000001111000011221100111122112222220011221111002x122x110000001111000011221100111122112222220011221111001x112211222211221122221122222200111111000011001111111111221x110000001111000011221100111122112222220011221111001x11222211221122221122222200111111000011001111111111221x110000001111000011221100111122112222220011221111001x122211221122221122222200111111000011001111111111221x110000001111000011221100111122112222220011221111001x11221122221122222200111111000011001111111111221x110000001111000011221100111122112222220011221111001x1122221122222200111111000011001111111111221x110000001111000011221100111122112222220011221111001x12221122222200111111000011001111111111221x110000001111000011221100111122112222220011221111001x1122222200111111000011001111111111221x110000001111000011221100111122112222220011221111001x12222200111111000011001111111111221x110000001111000011221100111122112222220011221111001x122200111111000011001111111111221x110000001111000011221100111122112222220011221111001x1200111111000011001111111111221x110000001111000011221100111122112222220011221111001x10111111000011001111111111221x110000001111000011221100111122112222220011221111001x111111000011001111111111221x110000001111000011221100111122112222220011221111001x1111000011001111111111221x110000001111000011221100111122112222220011221111001x11000011001111111111221x110000001111000011221100111122112222220011221111001x100011001111111111221x110000001111000011221100111122112222220011221111001x1011001111111111221x110000001111000011221100111122112222220011221111001x11001111111111221x110000001111000011221100111122112222220011221111001x101111111111221x110000001111000011221100111122112222220011221111001x1111111111221x110000001111000011221100111122112222220011221111001x11111111221x110000001111000011221100111122112222220011221111001x111111221x110000001111000011221100111122112222220011221111001x1111221x110000001111000011221100111122112222220011221111001x11221x110000001111000011221100111122112222220011221111000x112211222211221122221122222200111111000011001111111111220x110000001111000011221100111122112222220011221111000x11222211221122221122222200111111000011001111111111220x110000001111000011221100111122112222220011221111000x122211221122221122222200111111000011001111111111220x110000001111000011221100111122112222220011221111000x11221122221122222200111111000011001111111111220x110000001111000011221100111122112222220011221111000x1122221122222200111111000011001111111111220x110000001111000011221100111122112222220011221111000x12221122222200111111000011001111111111220x110000001111000011221100111122112222220011221111000x1122222200111111000011001111111111220x110000001111000011221100111122112222220011221111000x12222200111111000011001111111111220x110000001111000011221100111122112222220011221111000x122200111111000011001111111111220x110000001111000011221100111122112222220011221111000x1200111111000011001111111111220x110000001111000011221100111122112222220011221111000x10111111000011001111111111220x110000001111000011221100111122112222220011221111000x111111000011001111111111220x110000001111000011221100111122112222220011221111000x1111000011001111111111220x110000001111000011221100111122112222220011221111000x11000011001111111111220x110000001111000011221100111122112222220011221111000x100011001111111111220x110000001111000011221100111122112222220011221111000x1011001111111111220x110000001111000011221100111122112222220011221111000x11001111111111220x110000001111000011221100111122112222220011221111000x101111111111220x110000001111000011221100111122112222220011221111000x1111111111220x110000001111000011221100111122112222220011221111000x11111111220x110000001111000011221100111122112222220011221111000x111111220x110000001111000011221100111122112222220011221111000x1111220x110000001111000011221100111122112222220011221111000x11220x110000001111000011221100111122112222220011221111000x120x110000001111000011221100111122112222220011221111002x112211222211221122221122222200111111000011001111111111222x110000001111000011221100111122112222220011221111002x11222211221122221122222200111111000011001111111111222x110000001111000011221100111122112222220011221111002x122211221122221122222200111111000011001111111111222x110000001111000011221100111122112222220011221111002x11221122221122222200111111000011001111111111222x110000001111000011221100111122112222220011221111002x1122221122222200111111000011001111111111222x110000001111000011221100111122112222220011221111002x12221122222200111111000011001111111111222x110000001111000011221100111122112222220011221111002x1122222200111111000011001111111111222x110000001111000011221100111122112222220011221111002x12222200111111000011001111111111222x110000001111000011221100111122112222220011221111002x122200111111000011001111111111222x110000001111000011221100111122112222220011221111002x1200111111000011001111111111222x110000001111000011221100111122112222220011221111002x10111111000011001111111111222x110000001111000011221100111122112222220011221111002x111111000011001111111111222x110000001111000011221100111122112222220011221111002x1111000011001111111111222x110000001111000011221100111122112222220011221111002x11000011001111111111222x110000001111000011221100111122112222220011221111002x100011001111111111222x110000001111000011221100111122112222220011221111002x1011001111111111222x110000001111000011221100111122112222220011221111002x11001111111111222x110000001111000011221100111122112222220011221111002x101111111111222x110000001111000011221100111122112222220011221111002x1111111111222x110000001111000011221100111122112222220011221111002x11111111222x110000001111000011221100111122112222220011221111002x111111222x110000001111000011221100111122112222220011221111002x1111222x110000001111000011221100111122112222220011221111002x11222x110000001111000011221100111122112222220011221111002x122x120000001111000011221100111122112222220011221111001x122211222211221122221122222200111111000011001111111111221x120000001111000011221100111122112222220011221111001x11222211221122221122222200111111000011001111111111221x120000001111000011221100111122112222220011221111001x122211221122221122222200111111000011001111111111221x120000001111000011221100111122112222220011221111001x11221122221122222200111111000011001111111111221x120000001111000011221100111122112222220011221111001x1122221122222200111111000011001111111111221x120000001111000011221100111122112222220011221111001x12221122222200111111000011001111111111221x120000001111000011221100111122112222220011221111001x1122222200111111000011001111111111221x120000001111000011221100111122112222220011221111001x12222200111111000011001111111111221x120000001111000011221100111122112222220011221111001x122200111111000011001111111111221x120000001111000011221100111122112222220011221111001x1200111111000011001111111111221x120000001111000011221100111122112222220011221111001x10111111000011001111111111221x120000001111000011221100111122112222220011221111001x111111000011001111111111221x120000001111000011221100111122112222220011221111001x1111000011001111111111221x120000001111000011221100111122112222220011221111001x11000011001111111111221x120000001111000011221100111122112222220011221111001x100011001111111111221x120000001111000011221100111122112222220011221111001x1011001111111111221x120000001111000011221100111122112222220011221111001x11001111111111221x120000001111000011221100111122112222220011221111001x101111111111221x120000001111000011221100111122112222220011221111001x1111111111221x120000001111000011221100111122112222220011221111001x11111111221x120000001111000011221100111122112222220011221111001x111111221x120000001111000011221100111122112222220011221111001x1111221x120000001111000011221100111122112222220011221111001x11221x120000001111000011221100111122112222220011221111000x122211222211221122221122222200111111000011001111111111220x120000001111000011221100111122112222220011221111000x11222211221122221122222200111111000011001111111111220x120000001111000011221100111122112222220011221111000x122211221122221122222200111111000011001111111111220x120000001111000011221100111122112222220011221111000x11221122221122222200111111000011001111111111220x120000001111000011221100111122112222220011221111000x1122221122222200111111000011001111111111220x120000001111000011221100111122112222220011221111000x12221122222200111111000011001111111111220x120000001111000011221100111122112222220011221111000x1122222200111111000011001111111111220x120000001111000011221100111122112222220011221111000x12222200111111000011001111111111220x120000001111000011221100111122112222220011221111000x122200111111000011001111111111220x120000001111000011221100111122112222220011221111000x1200111111000011001111111111220x120000001111000011221100111122112222220011221111000x10111111000011001111111111220x120000001111000011221100111122112222220011221111000x111111000011001111111111220x120000001111000011221100111122112222220011221111000x1111000011001111111111220x120000001111000011221100111122112222220011221111000x11000011001111111111220x120000001111000011221100111122112222220011221111000x100011001111111111220x120000001111000011221100111122112222220011221111000x1011001111111111220x120000001111000011221100111122112222220011221111000x11001111111111220x120000001111000011221100111122112222220011221111000x101111111111220x120000001111000011221100111122112222220011221111000x1111111111220x120000001111000011221100111122112222220011221111000x11111111220x120000001111000011221100111122112222220011221111000x111111220x120000001111000011221100111122112222220011221111000x1111220x120000001111000011221100111122112222220011221111000x11220x120000001111000011221100111122112222220011221111000x120x120000001111000011221100111122112222220011221111002x122211222211221122221122222200111111000011001111111111222x120000001111000011221100111122112222220011221111002x11222211221122221122222200111111000011001111111111222x120000001111000011221100111122112222220011221111002x122211221122221122222200111111000011001111111111222x120000001111000011221100111122112222220011221111002x11221122221122222200111111000011001111111111222x120000001111000011221100111122112222220011221111002x1122221122222200111111000011001111111111222x120000001111000011221100111122112222220011221111002x12221122222200111111000011001111111111222x120000001111000011221100111122112222220011221111002x1122222200111111000011001111111111222x120000001111000011221100111122112222220011221111002x12222200111111000011001111111111222x120000001111000011221100111122112222220011221111002x122200111111000011001111111111222x120000001111000011221100111122112222220011221111002x1200111111000011001111111111222x120000001111000011221100111122112222220011221111002x10111111000011001111111111222x120000001111000011221100111122112222220011221111002x111111000011001111111111222x120000001111000011221100111122112222220011221111002x1111000011001111111111222x120000001111000011221100111122112222220011221111002x11000011001111111111222x120000001111000011221100111122112222220011221111002x100011001111111111222x120000001111000011221100111122112222220011221111002x1011001111111111222x120000001111000011221100111122112222220011221111002x11001111111111222x120000001111000011221100111122112222220011221111002x101111111111222x120000001111000011221100111122112222220011221111002x1111111111222x120000001111000011221100111122112222220011221111002x11111111222x120000001111000011221100111122112222220011221111002x111111222x120000001111000011221100111122112222220011221111002x1111222x120000001111000011221100111122112222220011221111002x11222x120000001111000011221100111122112222220011221111002x122x1true01122000000222200001x101100002200222200001x101122000000222200001x1100002200222200001x11002200112222112200002222221122002211220000220022220000001x11001122001100001100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x101122001100001100002222002222220022222222220011220022001x101122000000222200000x101100002200222200000x101122000000222200000x1100002200222200000x11002200112222112200002222221122002211220000220022220000001x1122001100001100002222002222220022222222220011220022001x11222200002211112200002211221111002222001x1111111111002200002200220000002222001x111100112200001111221100222222221x1122220011001x11222200002211112200002211221111002222001x11111111002200002200220000002222001x111100112200001111221100222222221x1011001x101122000000222200002x101100002200222200002x101122000000222200002x1100002200222200002x11002200112222112200002222221122002211220000220022220000001x101100001100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x1100001100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x101100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x1100002222002222220022222222220011220022001x11002200112222112200002222221122002211220000220022220000001x1011220022001x11002200112222112200002222221122002211220000220022220000001x11220022001x11222200002211112200002211221111002222001x111111002200002200220000002222001x111100112200001111221100222222221x11001x11002200112222112200002222221122002211220000220022220000002x11001122001100001100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x101122001100001100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x1122001100001100002222002222220022222222220011220022002x11222200002211112200002211221111002222001x1111002200002200220000002222001x111100112200001111221100222222221x101x111100112200001111221100222222220x1122220011000x11222200002211112200002211221111002222001x11002200002200220000002222001x11002200112222112200002222221122002211220000220022220000002x101100001100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x1100001100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x101100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x1100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000002x1011220022002x11002200112222112200002222221122002211220000220022220000002x11220022002x11222200002211112200002211221111002222001x1200002200220000002222001x120000221122112211110011112222000x110000111111110x110000221122112211110011112222000x110000111111110x110000221122112211110011112222000x10111111110x110000221122112211110011112222000x111111110x111100112200001111221100222222220x1011000x111100112200001111221100222222220x11000x110000002200221111221122111122000011221x110011001111112200000000220011111111001x110000002200221111221122111122000011221x1011001111112200000000220011111111001x110000002200221111221122111122000011221x11001111112200000000220011111111001x110000002200221111221122111122000011221x101111112200000000220011111111001x110000002200221111221122111122000011221x1111112200000000220011111111001x111100112200001111221100222222220x100x10000011112222000x101111111100000000110x10000011112222000x1111111100000000110x111100112200001111221100222222222x1122220011002x11222200002211112200002211221111002222001x120000002222001x120000221122112211110011112222000x10111111110x120000221122112211110011112222000x111111110x111100112200001111221100222222222x1011002x111100112200001111221100222222222x11002x11002200112222112200002222221122002211220000220022220000000x11001122001100001100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x101122001100001100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x1122001100001100002222002222220022222222220011220022000x11222200002211112200002211221111002222001x1000002222001x10000011112222000x11111100000000110x111100112200001111221100222222222x102x10222222000000111122220000221122111100221100000x110x110000002200221111221122111122000011221x11112200000000220011111111001x11110011221122111122110011001100220x1100112200110011111111220x11110011221122111122110011001100220x10112200110011111111220x11110011221122111122110011001100220x112200110011111111220x11222200002211112200002211221111002222000x1111111111002200002200220000002222000x11110011221122111122110011001100220x10110011111111220x11110011221122111122110011001100220x110011111111220x11110011221122111122110011001100220x1011111111220x11110011221122111122110011001100220x11111111220x11110011221122111122110011001100220x111111220x11110011221122111122110011001100220x1111220x11110011221122111122110011001100220x11220x11222200002211112200002211221111002222000x11111111002200002200220000002222000x11110011221122111122110011001100222x1100112200110011111111222x11110011221122111122110011001100222x10112200110011111111222x11110011221122111122110011001100222x112200110011111111222x11222200002211112200002211221111002222000x111111002200002200220000002222000x11110011221122111122110011001100222x10110011111111222x11110011221122111122110011001100222x110011111111222x11110011221122111122110011001100222x1011111111222x11110011221122111122110011001100222x11111111222x11110011221122111122110011001100222x111111222x11110011221122111122110011001100222x1111222x11110011221122111122110011001100222x11222x11222200002211112200002211221111002222000x1111002200002200220000002222000x111122002200112222220x111122000022220x111122002200112222220x1122000022220x11222200002211112200002211221111002222000x11002200002200220000002222000x11222200002211112200002211221111002222000x1200002200220000002222000x120000221122112211110011112222000x1111110x111122002200112222220x12000022220x120000221122112211110011112222000x11110x111122002200112222222x111122000022222x111122002200112222222x1122000022222x11222200002211112200002211221111002222000x120000002222000x120000221122112211110011112222000x110x110000002200221111221122111122000011221x112200000000220011111111001x11222200002211112200002211221111002222000x1000002222000x10000011112222000x111100000000110x111122002200112222222x12000022222x120000221122112211110011112222002x110000111111112x110000221122112211110011112222000x1111110x111122002200112222222x1022222x10222222000000111122220000221122111100221100002x112x11222200002211112200002211221111002222002x1111111111002200002200220000002222002x111100222211222211111100222222111100111122000x1100110011110x111100222211222211111100222222111100111122000x10110011110x111100222211222211111100222222111100111122000x110011110x111100222211222211111100222222111100111122000x1011110x111100222211222211111100222222111100111122000x11110x111100222211222211111100222222111100111122000x110x110000002200221111221122111122000011221x1200000000220011111111001x120000221122112211110011112222002x10111111112x120000221122112211110011112222002x111111112x111100222211222211111100222222111100111122002x1100110011112x111100222211222211111100222222111100111122002x10110011112x111100222211222211111100222222111100111122002x110011112x111100222211222211111100222222111100111122002x1011112x111100222211222211111100222222111100111122002x11112x111100222211222211111100222222111100111122002x112x11222200002211112200002211221111002222002x11111111002200002200220000002222002x11222200002211112200002211221111002222002x111111002200002200220000002222002x11222200002211112200002211221111002222002x1111002200002200220000002222002x11222200002211112200002211221111002222002x11002200002200220000002222002x11222200002211112200002211221111002222002x1200002200220000002222002x120000221122112211110011112222002x1111112x120000221122112211110011112222002x11112x120000221122112211110011112222002x112x11222200002211112200002211221111002222002x120000002222002x11222200002211112200002211221111002222002x1000002222002x10000011112222000x1100000000110x110000002200221111221122111122000011221x10000000220011111111001x10000011112222000x10000000110x10000011112222000x100000110x10000011112222000x10110x10000011112222000x110x110000002200221111221122111122000011221x100000220011111111001x10000011112222002x101111111100000000112x10000011112222002x1111111100000000112x10000011112222002x11111100000000112x10000011112222002x111100000000112x10000011112222002x1100000000112x110000002200221111221122111122000011221x1011111111001x110000002200221111221122111122000011221x11111111001x110000002200221111221122111122000011221x111111001x110000002200221111221122111122000011221x1111001x110000002200221111221122111122000011221x11001x110000002200221111221122111122000011221x101x110000002200221111221122111122000011220x110011001111112200000000220011111111000x110000002200221111221122111122000011220x1011001111112200000000220011111111000x110000002200221111221122111122000011220x11001111112200000000220011111111000x110000002200221111221122111122000011220x101111112200000000220011111111000x110000002200221111221122111122000011220x1111112200000000220011111111000x110000002200221111221122111122000011220x11112200000000220011111111000x110000002200221111221122111122000011220x112200000000220011111111000x110000002200221111221122111122000011220x1200000000220011111111000x110000002200221111221122111122000011220x10000000220011111111000x10000011112222002x10000000112x10000011112222002x100000112x10000011112222002x10112x10000011112222002x112x100000221122112211110011112222000x110000111111110x110000221122112211110011112222000x11110x110000221122112211110011112222000x110x110000002200221111221122111122000011220x100000220011111111000x100000221122112211110011112222000x10111111110x100000221122112211110011112222000x111111110x100000221122112211110011112222000x1111110x100000221122112211110011112222000x11110x100000221122112211110011112222000x110x110000002200221111221122111122000011220x1011111111000x110000002200221111221122111122000011220x11111111000x110000002200221111221122111122000011220x111111000x110000002200221111221122111122000011220x1111000x110000002200221111221122111122000011220x11000x110000002200221111221122111122000011220x100x1000000000000011002211112222221x11111100112211221x1000000000000011002211112222221x111100112211221x1000000000000011002211112222220x11111100112211220x1000000000000011002211112222220x111100112211220x1000000000000011002211112222220x11220x1000000000000011002211112222222x11111100112211222x1000000000000011002211112222222x111100112211222x1000000000000011002211112222222x11222x100000221122112211110011112222002x110000111111112x110000221122112211110011112222002x110000111111112x110000221122112211110011112222002x10111111112x110000221122112211110011112222002x111111112x110000221122112211110011112222002x1111112x110000221122112211110011112222002x11112x110000221122112211110011112222002x112x100000221122112211110011112222002x10111111112x100000221122112211110011112222002x111111112x100000221122112211110011112222002x1111112x100000221122112211110011112222002x11112x100000221122112211110011112222002x112x100000001111000011221100111122112222220011221111000x1122222200111111000011001111111111220x100000001111000011221100111122112222220011221111000x10111111000011001111111111220x100000001111000011221100111122112222220011221111000x111111000011001111111111220x100000001111000011221100111122112222220011221111000x1111000011001111111111220x100000001111000011221100111122112222220011221111000x11000011001111111111220x100000001111000011221100111122112222220011221111000x1011001111111111220x100000001111000011221100111122112222220011221111000x11001111111111220x100000001111000011221100111122112222220011221111000x101111111111220x100000001111000011221100111122112222220011221111000x1111111111220x100000001111000011221100111122112222220011221111000x11111111220x100000001111000011221100111122112222220011221111000x111111220x100000001111000011221100111122112222220011221111000x1111220x100000001111000011221100111122112222220011221111000x11220x100000001111000011221100111122112222220011221111000x120x1200000000000011002211112222221x11111100112211221x1200000000000011002211112222221x111100112211221x1200000000000011002211112222220x11111100112211220x1200000000000011002211112222220x111100112211220x1200000000000011002211112222220x11220x1200000000000011002211112222222x11111100112211222x1200000000000011002211112222222x111100112211222x1200000000000011002211112222222x11222x120000001111000011221100111122112222220011221111000x1122222200111111000011001111111111220x120000001111000011221100111122112222220011221111000x10111111000011001111111111220x120000001111000011221100111122112222220011221111000x111111000011001111111111220x120000001111000011221100111122112222220011221111000x1111000011001111111111220x120000001111000011221100111122112222220011221111000x11000011001111111111220x120000001111000011221100111122112222220011221111000x1011001111111111220x120000001111000011221100111122112222220011221111000x11001111111111220x120000001111000011221100111122112222220011221111000x101111111111220x120000001111000011221100111122112222220011221111000x1111111111220x120000001111000011221100111122112222220011221111000x11111111220x120000001111000011221100111122112222220011221111000x111111220x120000001111000011221100111122112222220011221111000x1111220x120000001111000011221100111122112222220011221111000x11220x120000001111000011221100111122112222220011221111000x120x120000001111000011221100111122112222220011221111002x1122222200111111000011001111111111222x120000001111000011221100111122112222220011221111002x10111111000011001111111111222x120000001111000011221100111122112222220011221111002x111111000011001111111111222x120000001111000011221100111122112222220011221111002x1111000011001111111111222x120000001111000011221100111122112222220011221111002x11000011001111111111222x120000001111000011221100111122112222220011221111002x1011001111111111222x120000001111000011221100111122112222220011221111002x11001111111111222x120000001111000011221100111122112222220011221111002x101111111111222x120000001111000011221100111122112222220011221111002x1111111111222x120000001111000011221100111122112222220011221111002x11111111222x120000001111000011221100111122112222220011221111002x111111222x120000001111000011221100111122112222220011221111002x1111222x120000001111000011221100111122112222220011221111002x11222x120000001111000011221100111122112222220011221111002x122x12222222000000111122220000221122111100221100000x110x110000002200221111221122111122000011222x110011001111112200000000220011111111002x110000002200221111221122111122000011222x1011001111112200000000220011111111002x110000002200221111221122111122000011222x11001111112200000000220011111111002x110000002200221111221122111122000011222x101111112200000000220011111111002x110000002200221111221122111122000011222x1111112200000000220011111111002x110000002200221111221122111122000011222x11112200000000220011111111002x110000002200221111221122111122000011222x112200000000220011111111002x110000002200221111221122111122000011222x1200000000220011111111002x110000002200221111221122111122000011222x10000000220011111111002x110000002200221111221122111122000011222x100000220011111111002x110000002200221111221122111122000011222x1011111111002x110000002200221111221122111122000011222x11111111002x110000002200221111221122111122000011222x111111002x110000002200221111221122111122000011222x1111002x110000002200221111221122111122000011222x11002x11002200112222112200002222221122002211220000220022220000000x101100001100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x1100001100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x101100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x1100002222002222220022222222220011220022000x11002200112222112200002222221122002211220000220022220000000x1011220022000x11002200112222112200002222221122002211220000220022220000000x11220022000x11002200112222112200002222221122002211220000220022220000000x12000x110000002200221111221122111122000011222x102x1100000000000011002211112222221x11111100112211221x1100000000000011002211112222221x111100112211221x1100000000000011002211112222220x11111100112211220x1100000000000011002211112222220x111100112211220x1100000000000011002211112222220x11220x1100000000000011002211112222222x11111100112211222x1100000000000011002211112222222x111100112211222x1100000000000011002211112222222x11222x110000001111000011221100111122112222220011221111000x1122222200111111000011001111111111220x110000001111000011221100111122112222220011221111000x10111111000011001111111111220x110000001111000011221100111122112222220011221111000x111111000011001111111111220x110000001111000011221100111122112222220011221111000x1111000011001111111111220x110000001111000011221100111122112222220011221111000x11000011001111111111220x110000001111000011221100111122112222220011221111000x1011001111111111220x110000001111000011221100111122112222220011221111000x11001111111111220x110000001111000011221100111122112222220011221111000x101111111111220x110000001111000011221100111122112222220011221111000x1111111111220x110000001111000011221100111122112222220011221111000x11111111220x110000001111000011221100111122112222220011221111000x111111220x110000001111000011221100111122112222220011221111000x1111220x110000001111000011221100111122112222220011221111000x11220x110000001111000011221100111122112222220011221111000x120x110000001111000011221100111122112222220011221111002x1122222200111111000011001111111111222x110000001111000011221100111122112222220011221111002x10111111000011001111111111222x110000001111000011221100111122112222220011221111002x111111000011001111111111222x110000001111000011221100111122112222220011221111002x1111000011001111111111222x110000001111000011221100111122112222220011221111002x11000011001111111111222x110000001111000011221100111122112222220011221111002x1011001111111111222x110000001111000011221100111122112222220011221111002x11001111111111222x110000001111000011221100111122112222220011221111002x101111111111222x110000001111000011221100111122112222220011221111002x1111111111222x110000001111000011221100111122112222220011221111002x11111111222x110000001111000011221100111122112222220011221111002x111111222x110000001111000011221100111122112222220011221111002x1111222x110000001111000011221100111122112222220011221111002x11222x110000001111000011221100111122112222220011221111002x122x12222222000000111122220000221122111100221100002x112x100000001111000011221100111122112222220011221111002x1122222200111111000011001111111111222x100000001111000011221100111122112222220011221111002x10111111000011001111111111222x100000001111000011221100111122112222220011221111002x111111000011001111111111222x100000001111000011221100111122112222220011221111002x1111000011001111111111222x100000001111000011221100111122112222220011221111002x11000011001111111111222x100000001111000011221100111122112222220011221111002x1011001111111111222x100000001111000011221100111122112222220011221111002x11001111111111222x100000001111000011221100111122112222220011221111002x101111111111222x100000001111000011221100111122112222220011221111002x1111111111222x100000001111000011221100111122112222220011221111002x11111111222x100000001111000011221100111122112222220011221111002x111111222x100000001111000011221100111122112222220011221111002x1111222x100000001111000011221100111122112222220011221111002x11222x100000001111000011221100111122112222220011221111002x122x1true1011111211112011110011110211112211110111111011111011112111111211111111111112011100111021112211101122000000222200001x101100002200222200001x101122000000222200001x1100002200222200001x11002200112222112200002222221122002211220000220022220000001x11001122001100001100002222002222220022222222220011220022001x101122000000222200000x101100002200222200000x101122000000222200000x1100002200222200000x101122000000222200002x101100002200222200002x101122000000222200002x1100002200222200002x11002200112222112200002222221122002211220000220022220000002x11001122001100001100002222002222220022222222220011220022002x10000011112222000x101111111100000000110x10000011112222000x1111111100000000110x11002200112222112200002222221122002211220000220022220000000x11001122001100001100002222002222220022222222220011220022000x10000011112222000x11111100000000110x10000011112222000x111100000000110x10000011112222000x1100000000110x10000011112222002x101111111100000000112x10000011112222002x1111111100000000112x10000011112222002x11111100000000112x10000011112222002x111100000000112x10000011112222002x1100000000112x10000011112222000x101111111100000000110x1false0000011112222002x101111111100000000112x1false01122000000222200000x101100002200222200000x101122000000222200001x101100002200222200001x101122000000222200002x101100002200222200002x1true10111112112011100111021112210101110111111112111101122000000222200001x1100002200222200001x1false01122000000222200000x1100002200222200000x1false01122000000222200002x1100002200222200002x1false1002200112222112200002222221122002211220000220022220000000x11001122001100001100002222002222220022222222220011220022000x1false0000011112222000x1100000000110x1false0000011112222002x1100000000112x1false1002200112222112200002222221122002211220000220022220000002x11001122001100001100002222002222220022222222220011220022002x11002200112222112200002222221122002211220000220022220000001x11001122001100001100002222002222220022222222220011220022001x1true11011102112010011012102210211000101010111101122000000222200000x101100002200222200000x101122000000222200001x101100002200222200001x101122000000222200002x101100002200222200002x10000011112222000x1111111100000000110x1false0000011112222000x11111100000000110x1false0000011112222000x111100000000110x1false0000011112222002x1111111100000000112x1false0000011112222002x11111100000000112x1false0000011112222002x111100000000112x1false01122000000222200001x102200222200001x1false01122000000222200000x102200222200000x1false01122000000222200002x102200222200002x1false10000002200221111221122111122000011221x10220011111111001x1false10000002200221111221122111122000011220x10220011111111000x1false10000002200221111221122111122000011222x10220011111111002x1false1222200002211112200002211221111002222001x102200002200220000002222001x1false1222200002211112200002211221111002222001x102200220000002222001x1false1222200002211112200002211221111002222001x10220000002222001x1false1222200002211112200002211221111002222000x102200002200220000002222000x1false1222200002211112200002211221111002222000x102200220000002222000x1false1222200002211112200002211221111002222000x10220000002222000x1false1222200002211112200002211221111002222002x102200002200220000002222002x1false1222200002211112200002211221111002222002x102200220000002222002x1false1222200002211112200002211221111002222002x10220000002222002x1false1002200112222112200002222221122002211220000220022220000001x102222002222220022222222220011220022001x1false1002200112222112200002222221122002211220000220022220000001x102222220022222222220011220022001x1false1002200112222112200002222221122002211220000220022220000001x1022222222220011220022001x1false1002200112222112200002222221122002211220000220022220000001x1022001x1false1002200112222112200002222221122002211220000220022220000000x102222002222220022222222220011220022000x1false1002200112222112200002222221122002211220000220022220000000x102222220022222222220011220022000x1false1002200112222112200002222221122002211220000220022220000000x1022222222220011220022000x1false1002200112222112200002222221122002211220000220022220000000x1022000x1false1002200112222112200002222221122002211220000220022220000002x102222002222220022222222220011220022002x1false1002200112222112200002222221122002211220000220022220000002x102222220022222222220011220022002x1false1002200112222112200002222221122002211220000220022220000002x1022222222220011220022002x1false1002200112222112200002222221122002211220000220022220000002x1022002x1false11122002200112222220x1022220x1false11100112200001111221100222222221x12220011001x1false11100112200001111221100222222220x12220011000x1false11100112200001111221100222222222x12220011002x1false1002200112222112200002222221122002211220000220022220000001x1222002222220022222222220011220022001x1false1002200112222112200002222221122002211220000220022220000001x1222220022222222220011220022001x1false1002200112222112200002222221122002211220000220022220000001x12220022222222220011220022001x1false1002200112222112200002222221122002211220000220022220000001x12222222220011220022001x1false1002200112222112200002222221122002211220000220022220000001x122222220011220022001x1false1002200112222112200002222221122002211220000220022220000001x1222220011220022001x1false1002200112222112200002222221122002211220000220022220000001x12220011220022001x1false1002200112222112200002222221122002211220000220022220000000x1222002222220022222222220011220022000x1false1002200112222112200002222221122002211220000220022220000000x1222220022222222220011220022000x1false1002200112222112200002222221122002211220000220022220000000x12220022222222220011220022000x1false1002200112222112200002222221122002211220000220022220000000x12222222220011220022000x1false1002200112222112200002222221122002211220000220022220000000x122222220011220022000x1false1002200112222112200002222221122002211220000220022220000000x1222220011220022000x1false1002200112222112200002222221122002211220000220022220000000x12220011220022000x1false1002200112222112200002222221122002211220000220022220000002x1222002222220022222222220011220022002x1false1002200112222112200002222221122002211220000220022220000002x1222220022222222220011220022002x1false1002200112222112200002222221122002211220000220022220000002x12220022222222220011220022002x1false1002200112222112200002222221122002211220000220022220000002x12222222220011220022002x1false1002200112222112200002222221122002211220000220022220000002x122222220011220022002x1false1002200112222112200002222221122002211220000220022220000002x1222220011220022002x1false1002200112222112200002222221122002211220000220022220000002x12220011220022002x1false00000001111000011221100111122112222220011221111000x12222200111111000011001111111111220x1false00000001111000011221100111122112222220011221111000x122200111111000011001111111111220x1false00000001111000011221100111122112222220011221111002x12222200111111000011001111111111222x1false00000001111000011221100111122112222220011221111002x122200111111000011001111111111222x1false10000001111000011221100111122112222220011221111000x12222200111111000011001111111111220x1false10000001111000011221100111122112222220011221111000x122200111111000011001111111111220x1false10000001111000011221100111122112222220011221111002x12222200111111000011001111111111222x1false10000001111000011221100111122112222220011221111002x122200111111000011001111111111222x1false20000001111000011221100111122112222220011221111000x12222200111111000011001111111111220x1false20000001111000011221100111122112222220011221111000x122200111111000011001111111111220x1false20000001111000011221100111122112222220011221111002x12222200111111000011001111111111222x1false20000001111000011221100111122112222220011221111002x122200111111000011001111111111222x1false0000011112222000x1000110x1false0000011112222002x1000112x1false01122000000222200001x10002200222200001x1false01122000000222200000x10002200222200000x1false01122000000222200002x10002200222200002x1false10000002200221111221122111122000011221x1000220011111111001x1false10000002200221111221122111122000011220x1000220011111111000x1false10000002200221111221122111122000011222x1000220011111111002x1false1222200002211112200002211221111002222001x10002200220000002222001x1false1222200002211112200002211221111002222001x10002222001x1false1222200002211112200002211221111002222000x10002200220000002222000x1false1222200002211112200002211221111002222000x10002222000x1false1222200002211112200002211221111002222002x10002200220000002222002x1false1222200002211112200002211221111002222002x10002222002x1false1002200112222112200002222221122002211220000220022220000001x10001100002222002222220022222222220011220022001x1false1002200112222112200002222221122002211220000220022220000001x10002222002222220022222222220011220022001x1false1002200112222112200002222221122002211220000220022220000000x10001100002222002222220022222222220011220022000x1false1002200112222112200002222221122002211220000220022220000000x10002222002222220022222222220011220022000x1false1002200112222112200002222221122002211220000220022220000002x10001100002222002222220022222222220011220022002x1false1002200112222112200002222221122002211220000220022220000002x10002222002222220022222222220011220022002x1false11122002200112222220x100022220x1false11122002200112222222x100022222x1false00000221122112211110011112222000x1000111111110x1false00000221122112211110011112222002x1000111111112x1false10000221122112211110011112222000x1000111111110x1false10000221122112211110011112222002x1000111111112x1false20000221122112211110011112222000x1000111111110x1false20000221122112211110011112222002x1000111111112x1false00000001111000011221100111122112222220011221111000x100011001111111111220x1false00000001111000011221100111122112222220011221111002x100011001111111111222x1false10000001111000011221100111122112222220011221111000x100011001111111111220x1false10000001111000011221100111122112222220011221111002x100011001111111111222x1false20000001111000011221100111122112222220011221111000x100011001111111111220x1false20000001111000011221100111122112222220011221111002x100011001111111111222x1false01122000000222200001x1200222200001x1false01122000000222200000x1200222200000x1false01122000000222200002x1200222200002x1false11100112200001111221100222222221x120011001x1false11100112200001111221100222222220x120011000x1false11100112200001111221100222222222x120011002x1false1110011221122111122110011001100220x1200110011111111220x1false1110011221122111122110011001100222x1200110011111111222x1false10000002200221111221122111122000011221x120011111111001x1false10000002200221111221122111122000011220x120011111111000x1false10000002200221111221122111122000011222x120011111111002x1false1222200002211112200002211221111002222001x1200220000002222001x1false1222200002211112200002211221111002222000x1200220000002222000x1false1222200002211112200002211221111002222002x1200220000002222002x1false1002200112222112200002222221122002211220000220022220000001x12001100001100002222002222220022222222220011220022001x1false1002200112222112200002222221122002211220000220022220000001x12002222220022222222220011220022001x1false1002200112222112200002222221122002211220000220022220000001x120022222222220011220022001x1false1002200112222112200002222221122002211220000220022220000001x120011220022001x1false1002200112222112200002222221122002211220000220022220000001x120022001x1false1002200112222112200002222221122002211220000220022220000001x12001x1false1002200112222112200002222221122002211220000220022220000000x12001100001100002222002222220022222222220011220022000x1false1002200112222112200002222221122002211220000220022220000000x12002222220022222222220011220022000x1false1002200112222112200002222221122002211220000220022220000000x120022222222220011220022000x1false1002200112222112200002222221122002211220000220022220000000x120011220022000x1false1002200112222112200002222221122002211220000220022220000000x120022000x1false1002200112222112200002222221122002211220000220022220000002x12001100001100002222002222220022222222220011220022002x1false1002200112222112200002222221122002211220000220022220000002x12002222220022222222220011220022002x1false1002200112222112200002222221122002211220000220022220000002x120022222222220011220022002x1false1002200112222112200002222221122002211220000220022220000002x120011220022002x1false1002200112222112200002222221122002211220000220022220000002x120022002x1false1002200112222112200002222221122002211220000220022220000002x12002x1false00000001111000011221100111122112222220011221111000x1200111111000011001111111111220x1false00000001111000011221100111122112222220011221111002x1200111111000011001111111111222x1false10000001111000011221100111122112222220011221111000x1200111111000011001111111111220x1false10000001111000011221100111122112222220011221111002x1200111111000011001111111111222x1false20000001111000011221100111122112222220011221111000x1200111111000011001111111111220x1false20000001111000011221100111122112222220011221111002x1200111111000011001111111111222x1false11100112200001111221100222222221x111111002222001122221122220011001x1false11100112200001111221100222222221x1111002222001122221122220011001x1false11100112200001111221100222222221x11002222001122221122220011001x1false11100112200001111221100222222221x102222001122221122220011001x1false11100112200001111221100222222221x1222001122221122220011001x1false11100112200001111221100222222221x12001122221122220011001x1false11100112200001111221100222222221x101122221122220011001x1false11100112200001111221100222222221x1122221122220011001x1false11100112200001111221100222222221x12221122220011001x1false11100112200001111221100222222220x111111002222001122221122220011000x1false11100112200001111221100222222220x1111002222001122221122220011000x1false11100112200001111221100222222220x11002222001122221122220011000x1false11100112200001111221100222222220x102222001122221122220011000x1false11100112200001111221100222222220x1222001122221122220011000x1false11100112200001111221100222222220x12001122221122220011000x1false11100112200001111221100222222220x101122221122220011000x1false11100112200001111221100222222220x1122221122220011000x1false11100112200001111221100222222220x12221122220011000x1false11100112200001111221100222222222x111111002222001122221122220011002x1false11100112200001111221100222222222x1111002222001122221122220011002x1false11100112200001111221100222222222x11002222001122221122220011002x1false11100112200001111221100222222222x102222001122221122220011002x1false11100112200001111221100222222222x1222001122221122220011002x1false11100112200001111221100222222222x12001122221122220011002x1false11100112200001111221100222222222x101122221122220011002x1false11100112200001111221100222222222x1122221122220011002x1false11100112200001111221100222222222x12221122220011002x1false1110011221122111122110011001100221x111122112200221100112200110011111111221x1false1110011221122111122110011001100221x1122112200221100112200110011111111221x1false1110011221122111122110011001100221x112200221100112200110011111111221x1false1110011221122111122110011001100221x1200221100112200110011111111221x1false1110011221122111122110011001100221x10221100112200110011111111221x1false1110011221122111122110011001100221x1100112200110011111111221x1false1110011221122111122110011001100221x10112200110011111111221x1false1110011221122111122110011001100221x112200110011111111221x1false1110011221122111122110011001100221x1200110011111111221x1false1110011221122111122110011001100221x10110011111111221x1false1110011221122111122110011001100221x110011111111221x1false1110011221122111122110011001100221x1011111111221x1false1110011221122111122110011001100221x11111111221x1false1110011221122111122110011001100221x111111221x1false1110011221122111122110011001100221x1111221x1false1110011221122111122110011001100221x11221x1false1110011221122111122110011001100220x111122112200221100112200110011111111220x1false1110011221122111122110011001100220x1122112200221100112200110011111111220x1false1110011221122111122110011001100220x112200221100112200110011111111220x1false1110011221122111122110011001100220x1200221100112200110011111111220x1false1110011221122111122110011001100220x10221100112200110011111111220x1false1110011221122111122110011001100222x111122112200221100112200110011111111222x1false1110011221122111122110011001100222x1122112200221100112200110011111111222x1false1110011221122111122110011001100222x112200221100112200110011111111222x1false1110011221122111122110011001100222x1200221100112200110011111111222x1false1110011221122111122110011001100222x10221100112200110011111111222x1false10000002200221111221122111122000011221x112222110011001111112200000000220011111111001x1false10000002200221111221122111122000011221x1222110011001111112200000000220011111111001x1false10000002200221111221122111122000011220x112222110011001111112200000000220011111111000x1false10000002200221111221122111122000011220x1222110011001111112200000000220011111111000x1false10000002200221111221122111122000011222x112222110011001111112200000000220011111111002x1false10000002200221111221122111122000011222x1222110011001111112200000000220011111111002x1false1222200002211112200002211221111002222001x112211221111111111002200002200220000002222001x1false1222200002211112200002211221111002222001x11221111111111002200002200220000002222001x1false1222200002211112200002211221111002222000x112211221111111111002200002200220000002222000x1false1222200002211112200002211221111002222000x11221111111111002200002200220000002222000x1false1222200002211112200002211221111002222002x112211221111111111002200002200220000002222002x1false1222200002211112200002211221111002222002x11221111111111002200002200220000002222002x1false11122002200112222221x112222111122000022221x1false11122002200112222221x1222111122000022221x1false11122002200112222221x111122000022221x1false11122002200112222221x1122000022221x1false11122002200112222221x12000022221x1false11122002200112222221x100022221x1false11122002200112222221x1022221x1false11122002200112222220x112222111122000022220x1false11122002200112222220x1222111122000022220x1false11122002200112222222x112222111122000022222x1false11122002200112222222x1222111122000022222x1false000000000000011002211112222221x102200000022002211111100112211221x1false000000000000011002211112222221x1200000022002211111100112211221x1false000000000000011002211112222221x10000022002211111100112211221x1false000000000000011002211112222221x100022002211111100112211221x1false000000000000011002211112222221x1022002211111100112211221x1false000000000000011002211112222221x12002211111100112211221x1false000000000000011002211112222221x102211111100112211221x1false000000000000011002211112222221x1100112211221x1false000000000000011002211112222221x10112211221x1false000000000000011002211112222221x112211221x1false000000000000011002211112222221x11221x1false000000000000011002211112222220x102200000022002211111100112211220x1false000000000000011002211112222220x1200000022002211111100112211220x1false000000000000011002211112222220x10000022002211111100112211220x1false000000000000011002211112222220x100022002211111100112211220x1false000000000000011002211112222220x1022002211111100112211220x1false000000000000011002211112222220x12002211111100112211220x1false000000000000011002211112222220x102211111100112211220x1false000000000000011002211112222220x1100112211220x1false000000000000011002211112222220x10112211220x1false000000000000011002211112222220x112211220x1false000000000000011002211112222222x102200000022002211111100112211222x1false000000000000011002211112222222x1200000022002211111100112211222x1false000000000000011002211112222222x10000022002211111100112211222x1false000000000000011002211112222222x100022002211111100112211222x1false000000000000011002211112222222x1022002211111100112211222x1false000000000000011002211112222222x12002211111100112211222x1false000000000000011002211112222222x102211111100112211222x1false000000000000011002211112222222x1100112211222x1false000000000000011002211112222222x10112211222x1false000000000000011002211112222222x112211222x1false100000000000011002211112222221x112200000022002211111100112211221x1false100000000000011002211112222221x1200000022002211111100112211221x1false100000000000011002211112222221x10000022002211111100112211221x1false100000000000011002211112222221x100022002211111100112211221x1false100000000000011002211112222221x1022002211111100112211221x1false100000000000011002211112222221x12002211111100112211221x1false100000000000011002211112222221x102211111100112211221x1false100000000000011002211112222221x1100112211221x1false100000000000011002211112222221x10112211221x1false100000000000011002211112222221x112211221x1false100000000000011002211112222221x11221x1false100000000000011002211112222220x112200000022002211111100112211220x1false100000000000011002211112222220x1200000022002211111100112211220x1false100000000000011002211112222220x10000022002211111100112211220x1false100000000000011002211112222220x100022002211111100112211220x1false100000000000011002211112222220x1022002211111100112211220x1false100000000000011002211112222220x12002211111100112211220x1false100000000000011002211112222220x102211111100112211220x1false100000000000011002211112222220x1100112211220x1false100000000000011002211112222220x10112211220x1false100000000000011002211112222220x112211220x1false100000000000011002211112222222x112200000022002211111100112211222x1false100000000000011002211112222222x1200000022002211111100112211222x1false100000000000011002211112222222x10000022002211111100112211222x1false100000000000011002211112222222x100022002211111100112211222x1false100000000000011002211112222222x1022002211111100112211222x1false100000000000011002211112222222x12002211111100112211222x1false100000000000011002211112222222x102211111100112211222x1false100000000000011002211112222222x1100112211222x1false100000000000011002211112222222x10112211222x1false100000000000011002211112222222x112211222x1false200000000000011002211112222221x122200000022002211111100112211221x1false200000000000011002211112222221x1200000022002211111100112211221x1false200000000000011002211112222221x10000022002211111100112211221x1false200000000000011002211112222221x100022002211111100112211221x1false200000000000011002211112222221x1022002211111100112211221x1false200000000000011002211112222221x12002211111100112211221x1false200000000000011002211112222221x102211111100112211221x1false200000000000011002211112222221x1100112211221x1false200000000000011002211112222221x10112211221x1false200000000000011002211112222221x112211221x1false200000000000011002211112222221x11221x1false200000000000011002211112222220x122200000022002211111100112211220x1false200000000000011002211112222220x1200000022002211111100112211220x1false200000000000011002211112222220x10000022002211111100112211220x1false200000000000011002211112222220x100022002211111100112211220x1false200000000000011002211112222220x1022002211111100112211220x1false200000000000011002211112222220x12002211111100112211220x1false200000000000011002211112222220x102211111100112211220x1false200000000000011002211112222220x1100112211220x1false200000000000011002211112222220x10112211220x1false200000000000011002211112222220x112211220x1false200000000000011002211112222222x122200000022002211111100112211222x1false200000000000011002211112222222x1200000022002211111100112211222x1false200000000000011002211112222222x10000022002211111100112211222x1false200000000000011002211112222222x100022002211111100112211222x1false200000000000011002211112222222x1022002211111100112211222x1false200000000000011002211112222222x12002211111100112211222x1false200000000000011002211112222222x102211111100112211222x1false200000000000011002211112222222x1100112211222x1false200000000000011002211112222222x10112211222x1false200000000000011002211112222222x112211222x1false00000221122112211110011112222000x10220000110011002222110000111111110x1false00000221122112211110011112222000x120000110011002222110000111111110x1false00000221122112211110011112222000x1000110011002222110000111111110x1false00000221122112211110011112222000x10110011002222110000111111110x1false00000221122112211110011112222000x110011002222110000111111110x1false00000221122112211110011112222000x1011002222110000111111110x1false00000221122112211110011112222000x11002222110000111111110x1false00000221122112211110011112222000x102222110000111111110x1false00000221122112211110011112222000x1222110000111111110x1false00000221122112211110011112222002x10220000110011002222110000111111112x1false00000221122112211110011112222002x120000110011002222110000111111112x1false00000221122112211110011112222002x1000110011002222110000111111112x1false00000221122112211110011112222002x10110011002222110000111111112x1false00000221122112211110011112222002x110011002222110000111111112x1false00000221122112211110011112222002x1011002222110000111111112x1false00000221122112211110011112222002x11002222110000111111112x1false00000221122112211110011112222002x102222110000111111112x1false00000221122112211110011112222002x1222110000111111112x1false10000221122112211110011112222000x11220000110011002222110000111111110x1false10000221122112211110011112222000x120000110011002222110000111111110x1false10000221122112211110011112222000x1000110011002222110000111111110x1false10000221122112211110011112222000x10110011002222110000111111110x1false10000221122112211110011112222000x110011002222110000111111110x1false10000221122112211110011112222000x1011002222110000111111110x1false10000221122112211110011112222000x11002222110000111111110x1false10000221122112211110011112222000x102222110000111111110x1false10000221122112211110011112222000x1222110000111111110x1false10000221122112211110011112222002x11220000110011002222110000111111112x1false10000221122112211110011112222002x120000110011002222110000111111112x1false10000221122112211110011112222002x1000110011002222110000111111112x1false10000221122112211110011112222002x10110011002222110000111111112x1false10000221122112211110011112222002x110011002222110000111111112x1false10000221122112211110011112222002x1011002222110000111111112x1false10000221122112211110011112222002x11002222110000111111112x1false10000221122112211110011112222002x102222110000111111112x1false10000221122112211110011112222002x1222110000111111112x1false20000221122112211110011112222000x12220000110011002222110000111111110x1false20000221122112211110011112222000x120000110011002222110000111111110x1false20000221122112211110011112222000x1000110011002222110000111111110x1false20000221122112211110011112222000x10110011002222110000111111110x1false20000221122112211110011112222000x110011002222110000111111110x1false20000221122112211110011112222000x1011002222110000111111110x1false20000221122112211110011112222000x11002222110000111111110x1false20000221122112211110011112222000x102222110000111111110x1false20000221122112211110011112222000x1222110000111111110x1false20000221122112211110011112222002x12220000110011002222110000111111112x1false20000221122112211110011112222002x120000110011002222110000111111112x1false20000221122112211110011112222002x1000110011002222110000111111112x1false20000221122112211110011112222002x10110011002222110000111111112x1false20000221122112211110011112222002x110011002222110000111111112x1false20000221122112211110011112222002x1011002222110000111111112x1false20000221122112211110011112222002x11002222110000111111112x1false20000221122112211110011112222002x102222110000111111112x1false20000221122112211110011112222002x1222110000111111112x1false11100222211222211111100222222111100111122000x11002222001100222211111111111100221100110011110x1false11100222211222211111100222222111100111122000x102222001100222211111111111100221100110011110x1false11100222211222211111100222222111100111122000x1222001100222211111111111100221100110011110x1false11100222211222211111100222222111100111122000x12001100222211111111111100221100110011110x1false11100222211222211111100222222111100111122000x101100222211111111111100221100110011110x1false11100222211222211111100222222111100111122000x1100222211111111111100221100110011110x1false11100222211222211111100222222111100111122000x10222211111111111100221100110011110x1false11100222211222211111100222222111100111122000x122211111111111100221100110011110x1false11100222211222211111100222222111100111122000x11111111111100221100110011110x1false11100222211222211111100222222111100111122000x111111111100221100110011110x1false11100222211222211111100222222111100111122000x1111111100221100110011110x1false11100222211222211111100222222111100111122000x11111100221100110011110x1false11100222211222211111100222222111100111122000x111100221100110011110x1false11100222211222211111100222222111100111122000x1100221100110011110x1false11100222211222211111100222222111100111122000x10221100110011110x1false11100222211222211111100222222111100111122002x11002222001100222211111111111100221100110011112x1false11100222211222211111100222222111100111122002x102222001100222211111111111100221100110011112x1false11100222211222211111100222222111100111122002x1222001100222211111111111100221100110011112x1false11100222211222211111100222222111100111122002x12001100222211111111111100221100110011112x1false11100222211222211111100222222111100111122002x101100222211111111111100221100110011112x1false11100222211222211111100222222111100111122002x1100222211111111111100221100110011112x1false11100222211222211111100222222111100111122002x10222211111111111100221100110011112x1false11100222211222211111100222222111100111122002x122211111111111100221100110011112x1false11100222211222211111100222222111100111122002x11111111111100221100110011112x1false11100222211222211111100222222111100111122002x111111111100221100110011112x1false11100222211222211111100222222111100111122002x1111111100221100110011112x1false11100222211222211111100222222111100111122002x11111100221100110011112x1false11100222211222211111100222222111100111122002x111100221100110011112x1false11100222211222211111100222222111100111122002x1100221100110011112x1false11100222211222211111100222222111100111122002x10221100110011112x1false0222222000000111122220000221122111100221100000x1011002222220000110022111111111100110011111122222222110x1false0222222000000111122220000221122111100221100000x11002222220000110022111111111100110011111122222222110x1false0222222000000111122220000221122111100221100000x102222220000110022111111111100110011111122222222110x1false0222222000000111122220000221122111100221100000x1222220000110022111111111100110011111122222222110x1false0222222000000111122220000221122111100221100000x12220000110022111111111100110011111122222222110x1false0222222000000111122220000221122111100221100000x120000110022111111111100110011111122222222110x1false0222222000000111122220000221122111100221100000x1000110022111111111100110011111122222222110x1false0222222000000111122220000221122111100221100000x10110022111111111100110011111122222222110x1false0222222000000111122220000221122111100221100000x110022111111111100110011111122222222110x1false0222222000000111122220000221122111100221100000x1022111111111100110011111122222222110x1false0222222000000111122220000221122111100221100000x111111111100110011111122222222110x1false0222222000000111122220000221122111100221100000x1111111100110011111122222222110x1false0222222000000111122220000221122111100221100000x11111100110011111122222222110x1false0222222000000111122220000221122111100221100000x111100110011111122222222110x1false0222222000000111122220000221122111100221100000x1100110011111122222222110x1false0222222000000111122220000221122111100221100000x10110011111122222222110x1false0222222000000111122220000221122111100221100000x110011111122222222110x1false0222222000000111122220000221122111100221100000x1011111122222222110x1false0222222000000111122220000221122111100221100000x11111122222222110x1false0222222000000111122220000221122111100221100000x111122222222110x1false0222222000000111122220000221122111100221100000x1122222222110x1false0222222000000111122220000221122111100221100000x12222222110x1false0222222000000111122220000221122111100221100000x122222110x1false0222222000000111122220000221122111100221100000x1222110x1false0222222000000111122220000221122111100221100002x1011002222220000110022111111111100110011111122222222112x1false0222222000000111122220000221122111100221100002x11002222220000110022111111111100110011111122222222112x1false0222222000000111122220000221122111100221100002x102222220000110022111111111100110011111122222222112x1false0222222000000111122220000221122111100221100002x1222220000110022111111111100110011111122222222112x1false0222222000000111122220000221122111100221100002x12220000110022111111111100110011111122222222112x1false0222222000000111122220000221122111100221100002x120000110022111111111100110011111122222222112x1false0222222000000111122220000221122111100221100002x1000110022111111111100110011111122222222112x1false0222222000000111122220000221122111100221100002x10110022111111111100110011111122222222112x1false0222222000000111122220000221122111100221100002x110022111111111100110011111122222222112x1false0222222000000111122220000221122111100221100002x1022111111111100110011111122222222112x1false0222222000000111122220000221122111100221100002x111111111100110011111122222222112x1false0222222000000111122220000221122111100221100002x1111111100110011111122222222112x1false0222222000000111122220000221122111100221100002x11111100110011111122222222112x1false0222222000000111122220000221122111100221100002x111100110011111122222222112x1false0222222000000111122220000221122111100221100002x1100110011111122222222112x1false0222222000000111122220000221122111100221100002x10110011111122222222112x1false0222222000000111122220000221122111100221100002x110011111122222222112x1false0222222000000111122220000221122111100221100002x1011111122222222112x1false0222222000000111122220000221122111100221100002x11111122222222112x1false0222222000000111122220000221122111100221100002x111122222222112x1false0222222000000111122220000221122111100221100002x1122222222112x1false0222222000000111122220000221122111100221100002x12222222112x1false0222222000000111122220000221122111100221100002x122222112x1false0222222000000111122220000221122111100221100002x1222112x1false2222222000000111122220000221122111100221100000x11002222220000110022111111111100110011111122222222110x1false2222222000000111122220000221122111100221100000x102222220000110022111111111100110011111122222222110x1false2222222000000111122220000221122111100221100000x1222220000110022111111111100110011111122222222110x1false2222222000000111122220000221122111100221100000x12220000110022111111111100110011111122222222110x1false2222222000000111122220000221122111100221100000x120000110022111111111100110011111122222222110x1false2222222000000111122220000221122111100221100000x1000110022111111111100110011111122222222110x1false2222222000000111122220000221122111100221100000x10110022111111111100110011111122222222110x1false2222222000000111122220000221122111100221100000x110022111111111100110011111122222222110x1false2222222000000111122220000221122111100221100000x1022111111111100110011111122222222110x1false2222222000000111122220000221122111100221100000x111111111100110011111122222222110x1false2222222000000111122220000221122111100221100000x1111111100110011111122222222110x1false2222222000000111122220000221122111100221100000x11111100110011111122222222110x1false2222222000000111122220000221122111100221100000x111100110011111122222222110x1false2222222000000111122220000221122111100221100000x1100110011111122222222110x1false2222222000000111122220000221122111100221100000x10110011111122222222110x1false2222222000000111122220000221122111100221100000x110011111122222222110x1false2222222000000111122220000221122111100221100000x1011111122222222110x1false2222222000000111122220000221122111100221100000x11111122222222110x1false2222222000000111122220000221122111100221100000x111122222222110x1false2222222000000111122220000221122111100221100000x1122222222110x1false2222222000000111122220000221122111100221100000x12222222110x1false2222222000000111122220000221122111100221100000x122222110x1false2222222000000111122220000221122111100221100000x1222110x1false2222222000000111122220000221122111100221100002x11002222220000110022111111111100110011111122222222112x1false2222222000000111122220000221122111100221100002x102222220000110022111111111100110011111122222222112x1false2222222000000111122220000221122111100221100002x1222220000110022111111111100110011111122222222112x1false2222222000000111122220000221122111100221100002x12220000110022111111111100110011111122222222112x1false2222222000000111122220000221122111100221100002x120000110022111111111100110011111122222222112x1false2222222000000111122220000221122111100221100002x1000110022111111111100110011111122222222112x1false2222222000000111122220000221122111100221100002x10110022111111111100110011111122222222112x1false2222222000000111122220000221122111100221100002x110022111111111100110011111122222222112x1false2222222000000111122220000221122111100221100002x1022111111111100110011111122222222112x1false2222222000000111122220000221122111100221100002x111111111100110011111122222222112x1false2222222000000111122220000221122111100221100002x1111111100110011111122222222112x1false2222222000000111122220000221122111100221100002x11111100110011111122222222112x1false2222222000000111122220000221122111100221100002x111100110011111122222222112x1false2222222000000111122220000221122111100221100002x1100110011111122222222112x1false2222222000000111122220000221122111100221100002x10110011111122222222112x1false2222222000000111122220000221122111100221100002x110011111122222222112x1false2222222000000111122220000221122111100221100002x1011111122222222112x1false2222222000000111122220000221122111100221100002x11111122222222112x1false2222222000000111122220000221122111100221100002x111122222222112x1false2222222000000111122220000221122111100221100002x1122222222112x1false2222222000000111122220000221122111100221100002x12222222112x1false2222222000000111122220000221122111100221100002x122222112x1false2222222000000111122220000221122111100221100002x1222112x1false00000001111000011221100111122112222220011221111001x102211222211221122221122222200111111000011001111111111221x1false00000001111000011221100111122112222220011221111001x11222211221122221122222200111111000011001111111111221x1false00000001111000011221100111122112222220011221111001x122211221122221122222200111111000011001111111111221x1false00000001111000011221100111122112222220011221111001x11221122221122222200111111000011001111111111221x1false00000001111000011221100111122112222220011221111001x1122221122222200111111000011001111111111221x1false00000001111000011221100111122112222220011221111001x12221122222200111111000011001111111111221x1false00000001111000011221100111122112222220011221111001x1122222200111111000011001111111111221x1false00000001111000011221100111122112222220011221111001x12222200111111000011001111111111221x1false00000001111000011221100111122112222220011221111001x122200111111000011001111111111221x1false00000001111000011221100111122112222220011221111001x1200111111000011001111111111221x1false00000001111000011221100111122112222220011221111001x10111111000011001111111111221x1false00000001111000011221100111122112222220011221111001x111111000011001111111111221x1false00000001111000011221100111122112222220011221111001x1111000011001111111111221x1false00000001111000011221100111122112222220011221111001x11000011001111111111221x1false00000001111000011221100111122112222220011221111001x100011001111111111221x1false00000001111000011221100111122112222220011221111001x1011001111111111221x1false00000001111000011221100111122112222220011221111001x11001111111111221x1false00000001111000011221100111122112222220011221111001x101111111111221x1false00000001111000011221100111122112222220011221111001x1111111111221x1false00000001111000011221100111122112222220011221111001x11111111221x1false00000001111000011221100111122112222220011221111001x111111221x1false00000001111000011221100111122112222220011221111001x1111221x1false00000001111000011221100111122112222220011221111001x11221x1false00000001111000011221100111122112222220011221111000x102211222211221122221122222200111111000011001111111111220x1false00000001111000011221100111122112222220011221111000x11222211221122221122222200111111000011001111111111220x1false00000001111000011221100111122112222220011221111000x122211221122221122222200111111000011001111111111220x1false00000001111000011221100111122112222220011221111000x11221122221122222200111111000011001111111111220x1false00000001111000011221100111122112222220011221111000x1122221122222200111111000011001111111111220x1false00000001111000011221100111122112222220011221111000x12221122222200111111000011001111111111220x1false00000001111000011221100111122112222220011221111002x102211222211221122221122222200111111000011001111111111222x1false00000001111000011221100111122112222220011221111002x11222211221122221122222200111111000011001111111111222x1false00000001111000011221100111122112222220011221111002x122211221122221122222200111111000011001111111111222x1false00000001111000011221100111122112222220011221111002x11221122221122222200111111000011001111111111222x1false00000001111000011221100111122112222220011221111002x1122221122222200111111000011001111111111222x1false00000001111000011221100111122112222220011221111002x12221122222200111111000011001111111111222x1false10000001111000011221100111122112222220011221111001x112211222211221122221122222200111111000011001111111111221x1false10000001111000011221100111122112222220011221111001x11222211221122221122222200111111000011001111111111221x1false10000001111000011221100111122112222220011221111001x122211221122221122222200111111000011001111111111221x1false10000001111000011221100111122112222220011221111001x11221122221122222200111111000011001111111111221x1false10000001111000011221100111122112222220011221111001x1122221122222200111111000011001111111111221x1false10000001111000011221100111122112222220011221111001x12221122222200111111000011001111111111221x1false10000001111000011221100111122112222220011221111001x1122222200111111000011001111111111221x1false10000001111000011221100111122112222220011221111001x12222200111111000011001111111111221x1false10000001111000011221100111122112222220011221111001x122200111111000011001111111111221x1false10000001111000011221100111122112222220011221111001x1200111111000011001111111111221x1false10000001111000011221100111122112222220011221111001x10111111000011001111111111221x1false10000001111000011221100111122112222220011221111001x111111000011001111111111221x1false10000001111000011221100111122112222220011221111001x1111000011001111111111221x1false10000001111000011221100111122112222220011221111001x11000011001111111111221x1false10000001111000011221100111122112222220011221111001x100011001111111111221x1false10000001111000011221100111122112222220011221111001x1011001111111111221x1false10000001111000011221100111122112222220011221111001x11001111111111221x1false10000001111000011221100111122112222220011221111001x101111111111221x1false10000001111000011221100111122112222220011221111001x1111111111221x1false10000001111000011221100111122112222220011221111001x11111111221x1false10000001111000011221100111122112222220011221111001x111111221x1false10000001111000011221100111122112222220011221111001x1111221x1false10000001111000011221100111122112222220011221111001x11221x1false10000001111000011221100111122112222220011221111000x112211222211221122221122222200111111000011001111111111220x1false10000001111000011221100111122112222220011221111000x11222211221122221122222200111111000011001111111111220x1false10000001111000011221100111122112222220011221111000x122211221122221122222200111111000011001111111111220x1false10000001111000011221100111122112222220011221111000x11221122221122222200111111000011001111111111220x1false10000001111000011221100111122112222220011221111000x1122221122222200111111000011001111111111220x1false10000001111000011221100111122112222220011221111000x12221122222200111111000011001111111111220x1false10000001111000011221100111122112222220011221111002x112211222211221122221122222200111111000011001111111111222x1false10000001111000011221100111122112222220011221111002x11222211221122221122222200111111000011001111111111222x1false10000001111000011221100111122112222220011221111002x122211221122221122222200111111000011001111111111222x1false10000001111000011221100111122112222220011221111002x11221122221122222200111111000011001111111111222x1false10000001111000011221100111122112222220011221111002x1122221122222200111111000011001111111111222x1false10000001111000011221100111122112222220011221111002x12221122222200111111000011001111111111222x1false20000001111000011221100111122112222220011221111001x122211222211221122221122222200111111000011001111111111221x1false20000001111000011221100111122112222220011221111001x11222211221122221122222200111111000011001111111111221x1false20000001111000011221100111122112222220011221111001x122211221122221122222200111111000011001111111111221x1false20000001111000011221100111122112222220011221111001x11221122221122222200111111000011001111111111221x1false20000001111000011221100111122112222220011221111001x1122221122222200111111000011001111111111221x1false20000001111000011221100111122112222220011221111001x12221122222200111111000011001111111111221x1false20000001111000011221100111122112222220011221111001x1122222200111111000011001111111111221x1false20000001111000011221100111122112222220011221111001x12222200111111000011001111111111221x1false20000001111000011221100111122112222220011221111001x122200111111000011001111111111221x1false20000001111000011221100111122112222220011221111001x1200111111000011001111111111221x1false20000001111000011221100111122112222220011221111001x10111111000011001111111111221x1false20000001111000011221100111122112222220011221111001x111111000011001111111111221x1false20000001111000011221100111122112222220011221111001x1111000011001111111111221x1false20000001111000011221100111122112222220011221111001x11000011001111111111221x1false20000001111000011221100111122112222220011221111001x100011001111111111221x1false20000001111000011221100111122112222220011221111001x1011001111111111221x1false20000001111000011221100111122112222220011221111001x11001111111111221x1false20000001111000011221100111122112222220011221111001x101111111111221x1false20000001111000011221100111122112222220011221111001x1111111111221x1false20000001111000011221100111122112222220011221111001x11111111221x1false20000001111000011221100111122112222220011221111001x111111221x1false20000001111000011221100111122112222220011221111001x1111221x1false20000001111000011221100111122112222220011221111001x11221x1false20000001111000011221100111122112222220011221111000x122211222211221122221122222200111111000011001111111111220x1false20000001111000011221100111122112222220011221111000x11222211221122221122222200111111000011001111111111220x1false20000001111000011221100111122112222220011221111000x122211221122221122222200111111000011001111111111220x1false20000001111000011221100111122112222220011221111000x11221122221122222200111111000011001111111111220x1false20000001111000011221100111122112222220011221111000x1122221122222200111111000011001111111111220x1false20000001111000011221100111122112222220011221111000x12221122222200111111000011001111111111220x1false20000001111000011221100111122112222220011221111002x122211222211221122221122222200111111000011001111111111222x1false20000001111000011221100111122112222220011221111002x11222211221122221122222200111111000011001111111111222x1false20000001111000011221100111122112222220011221111002x122211221122221122222200111111000011001111111111222x1false20000001111000011221100111122112222220011221111002x11221122221122222200111111000011001111111111222x1false20000001111000011221100111122112222220011221111002x1122221122222200111111000011001111111111222x1false20000001111000011221100111122112222220011221111002x12221122222200111111000011001111111111222x1falseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (11 real / 0 unknown / 0 assumptions / 11 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe