00001120021201101021x122010120212002221201x100010122222122101021x110202210222002001011x100011110100202120011x102220122212001101011x100020210201201212010x122002120010220000210x100021122020202111211x121212200010022222011x100022211122020121121x122002220021011012201x100100211001022201021x102001120012022201001x100111212120201002211x111100001022020022101x100112100122210000222x101200200021001110220x100120120002122111211x100221100120220120101x100120212011000202112x111000000202021011220x100122212120220010121x102002200212101201221x100200221020201201101x102220210001012220221x100201011212002010200x102120210100202001222x100201220220211001220x122102020210220202000x100210202212001020100x101200221202022101220x100211222011220221221x100221210200110222221x100221020021110020201x120012022000202010201x100221020222210120122x101220100200020001001x100221022211202221021x120202200012102002211x100222101022112000100x102002001100211222100x101000100011200122101x120201100122000222121x101001012002020021100x122210012220022022021x101010021100202002020x101222020202212102012x101010220220200121111x101112100022102200201x101012200110201200221x110220221222012102201x101020102102122110221x122202012021000020120x101101201200020120211x122010002021010000011x101101221110220000021x100221122201211220211x101102112012222210200x102121120022102022112x101112120001122122001x102122110212000000200x101120010212210102021x101202200102122222220x101200111101110201221x101220221201221012020x101202210221010020111x120200210120000212111x101210111000221002001x102101200010022011221x101210122122210022211x122212222010221022011x101210200201120112011x101222012210102100201x101212010022012210001x120020202200012200111x102000201011221021201x110202000122220000221x102002012020121111211x112121212200222120011x102011020202121201102x101112220122020201210x102020120110002120221x101002220000200012201x102021010201020011021x102100011210221022001x102101022110002211200x110221102202022221100x102112220210112202121x120100002022210022002x102112220222201221202x120212001202002020001x102120220202210122220x102002021010000200200x102122010121012001201x120122100201000022021x102200011211222200111x102202220211020211001x102201001202002121111x102220121012001220021x102201200221102210101x102012110021022001021x102210020021112001001x120100120202002100201x102211220201110202211x120002020001100222020x102212001210022102121x100100220221202101221x102222001211200112211x110002200212022212211x110000120002112012011x102121020020021120001x110001021011222001021x112201201010221012021x110021122002202021021x102102011222222000201x110201212000011221211x110122022120222222002x110210222010201202211x100000102010202002020x110220101000220122121x102220002220200200020x110222122022220101111x111200000222100120020x111020212200010221221x102121222120022212021x111022202022220102120x110002122001222000102x111102000100121221021x111122010021222011221x111102022220011000011x110201110002220210021x111102112220202010101x112002202020110012100x111202020210220101201x100002121221022020121x111220000221102201211x102200201022221212000x112010102112210200011x122011000102211220011x112020001111222122221x122200000221222121200x112020121122021221201x120010000222021220220x112110022212021020011x120021020022220202222x112122010020110012011x122020020020112222012x112201122022111102020x110222110212010102222x112211000102202200121x100012222222100221211x112211020221201200221x102011010202222002011x112222210222010112001x101220101220020000000x120010021202000011111x120201000110222010121x120020012220110221211x122212021000000000000x120020021012211121012x122211010202222011122x120020021200221011101x122120000212010110201x120021102221002201120x112201200220212220101x120101021102022201021x110011201222220201021x120102202210122200020x120012122012220022202x120112121021121200011x110121222201222011121x120112202212001001021x121022202022100000220x120120022201122212000x122101002222202120220x120120110222122122202x120022001021122122102x120121120010120022021x102010200220000021000x120222100021020102110x122121222220010211020x121210222112000002221x112120220220210222201x122010121120021122222x100220010000120111210x122122202201020201021x102202010220022221221x122122211022221202001x100012120020201120221x122200122110110002020x122020112022121120202x122201102011022020000x120000221100020102100x122201112200011022221x120002200200201012210x122202210120012121010x111022101201201202200x12.112010110212002110000x110212220021202101022x112010122122222101000x111010020022201220201x111002120200101111000x111010110021222102220x101021210210201202000x101200002201002120022x111211120202022112000x111022222001000221212x112112102022111222000x110221011012002220022x112010222010011200100x110010222021002110020x111220010202121211100x110122002022010000111x122200001222100121100x102201110012000200210x111211122120002102100x110102102202100112200x121120200011021202100x102211012020200000011x112101002202121222100x112210210121200220020x110110210202012200200x112202221010001202220x100201020021211010200x122210020200101202120x102210011202202210200x100020202201202020122x100102010021220201200x102210122020212200210x112212202211022211200x112222201100201212200x110202001112002012200x110201020200022021002x122102101222202012200x110010002000200102210x112012220211222012200x111220020121000220202x100100021122010122200x100122211200110020020x110122100211000100010x112122200022100110202x100112002020021010010x112022022002221001222x102020020200112001010x121020121220202022210x111112100202202201010x110200220122000121110x112200210201100221010x110220121022212202201x112201122120120102010x102102000012021020222x111202102000210210110x111000001012020001022x112000002201112210110x111202211210222112200x100201222221021120110x121122020122002112120x110022122110002121110x100200000021201122120x112020101221201002110x102222222120100220210x112210201110111100210x102021012210212202210x111102001012201220210x111121200002101200202x110020012200011101210x112211022001000210120x111222001222122101210x111022012201022221222x111021102110200201210x110200120101221022210x110001221022001021210x111100221000220202002x110212012211010200020x112200002222100020201x111211112102021020020x111002122200221212121x120110212120202011020x101210202022102221110x112202120001102102020x110221000200002220010x112011002010201012020x110022012201211000120x100211220001122010120x100112222020220112201x112120221101202221120x120022001222020000102x120212210222202221120x110002020020210021202x102222101220202202120x100200200001012020020x110210021012101022120x112022000010200122102x111100222211211000220x110011202011202220220x111112120020210010220x112002210021012102220x110101220112200210220x112010022012001121020x110010021112002001220x110200120020202100102x111220201110202211220x102022200110002020002x112120122001210021220x112210120212202200100x111221100211210022220x111221222021200220001x111021021120002100001x110002112002002012120x112010022211012010001x112021012201010210221x112012020220022112001x110200022222211020120x111212211000021210201x120022222202122022101x111220210201022201201x102020020201020100000x112122102200010102201x102000200202220002220x111110102222022122201x102002100122200000211x112212201000221202011x112021222002122212120x102120102222020222011x120100022210022120001x112012212100100020111x112211022212001022111x111000011002222020111x112001202220001110201x110101020202221120111x100121001102020220021x110210102201202020211x112102022012212120000x111210220112200002211x100021212222010200220x111000201221120101021x111002211220100011022x112222122211110002021x100212122212200000222x110212212022112102021x102202212022200001002x111002012021222001121x122220202222002012002x111021001102001022121x121022221102002002022x102020111122022110221x122220101021201122201x112100220220100011221x111212200122222221000x112200210212202011221x111020022220201011020x110021101022201222221x100000002002210102210x111111000020212001002x112101022201100010202x111212201102221002002x100000000000012021222x121012111221012002002x122111022220201011222x110111012200212002002x110201101021200002122x102110220012220112002x110102221202200210221x112010222020112010102x112010202222210211001x102000222101220220102x120222002221022121002x111000212112012121102x112111022210222212101x112010010021220221102x102200000122020222012x100021222110222002102x102202120222220010122x120222122122201102102x120122122112010022002x112022002101002112102x100012000002200201020x101120102012000122202x102011201002222212122x112220000021122201212x110222201202202202121x122222112002112101022x101211102100001002200x112010202010220222122x112212222002201020220x110020212222011222122x112202110202002121000x102020001101122100222x120202112122021102022x100002022011020110222x100120102000112200002x112222011000221110222x101221010200200220002x101012121002101220222x100220210210210122011x112012010110212002110000x110212220021202101022x112010122122222101000x111010020022201220201x111002120200101111000x111010110021222102220x101021210210201202000x101200002201002120022x111211120202022112000x111022222001000221212x112112102022111222000x110221011012002220022x112010222010011200100x110010222021002110020x111220010202121211100x110122002022010000111x111211122120002102100x110102102202100112200x112101002202121222100x112210210121200220020x110110210202012200200x112202221010001202220x102210011202202210200x100020202201202020122x100102010021220201200x102210122020212200210x112212202211022211200x112222201100201212200x110202001112002012200x110201020200022021002x112012220211222012200x111220020121000220202x100100021122010122200x100122211200110020020x110122100211000100010x112122200022100110202x111112100202202201010x110200220122000121110x112200210201100221010x110220121022212202201x111202102000210210110x111000001012020001022x112000002201112210110x111202211210222112200x111102001012201220210x111121200002101200202x110020012200011101210x112211022001000210120x111222001222122101210x111022012201022221222x111021102110200201210x110200120101221022210x110001221022001021210x111100221000220202002x110212012211010200020x112200002222100020201x111211112102021020020x111002122200221212121x112202120001102102020x110221000200002220010x112011002010201012020x110022012201211000120x100211220001122010120x100112222020220112201x102222101220202202120x100200200001012020020x110210021012101022120x112022000010200122102x111100222211211000220x110011202011202220220x111112120020210010220x112002210021012102220x110101220112200210220x112010022012001121020x110010021112002001220x110200120020202100102x112120122001210021220x112210120212202200100x111221100211210022220x111221222021200220001x111021021120002100001x110002112002002012120x112010022211012010001x112021012201010210221x112012020220022112001x110200022222211020120x112212201000221202011x112021222002122212120x112012212100100020111x112211022212001022111x111000011002222020111x112001202220001110201x110210102201202020211x112102022012212120000x111000201221120101021x111002211220100011022x112100220220100011221x111212200122222221000x112200210212202011221x111020022220201011020x111111000020212001002x112101022201100010202x121012111221012002002x122111022220201011222x110111012200212002002x110201101021200002122x112010222020112010102x112010202222210211001x111000212112012121102x112111022210222212101x100021222110222002102x102202120222220010122x120222122122201102102x120122122112010022002x101120102012000122202x102011201002222212122x112220000021122201212x110222201202202202121x112010202010220222122x112212222002201020220x110020212222011222122x112202110202002121000x100002022011020110222x100120102000112200002x101012121002101220222x100220210210210122011x1122200001222100121100x1102201110012000200210x1222200001222100121100x1202201110012000200210x1022200001222100121100x1002201110012000200210x1121120200011021202100x1102211012020200000011x1221120200011021202100x1202211012020200000011x1021120200011021202100x1002211012020200000011x1100201020021211010200x1122210020200101202120x1200201020021211010200x1222210020200101202120x1000201020021211010200x1022210020200101202120x1122102101222202012200x1110010002000200102210x1222102101222202012200x1210010002000200102210x1022102101222202012200x1010010002000200102210x1100112002020021010010x1112022022002221001222x1200112002020021010010x1212022022002221001222x1000112002020021010010x1012022022002221001222x1102020020200112001010x1121020121220202022210x1202020020200112001010x1221020121220202022210x1002020020200112001010x1021020121220202022210x1112201122120120102010x1102102000012021020222x1212201122120120102010x1202102000012021020222x1012201122120120102010x1002102000012021020222x1100201222221021120110x1121122020122002112120x1200201222221021120110x1221122020122002112120x1000201222221021120110x1021122020122002112120x1110022122110002121110x1100200000021201122120x1210022122110002121110x1200200000021201122120x1010022122110002121110x1000200000021201122120x1112020101221201002110x1102222222120100220210x1212020101221201002110x1202222222120100220210x1012020101221201002110x1002222222120100220210x1112210201110111100210x1102021012210212202210x1212210201110111100210x1202021012210212202210x1012210201110111100210x1002021012210212202210x1120110212120202011020x1101210202022102221110x1220110212120202011020x1201210202022102221110x1020110212120202011020x1001210202022102221110x1112120221101202221120x1120022001222020000102x1212120221101202221120x1220022001222020000102x1012120221101202221120x1020022001222020000102x1120212210222202221120x1110002020020210021202x1220212210222202221120x1210002020020210021202x1020212210222202221120x1010002020020210021202x1111220201110202211220x1102022200110002020002x1211220201110202211220x1202022200110002020002x1011220201110202211220x1002022200110002020002x1111212211000021210201x1120022222202122022101x1211212211000021210201x1220022222202122022101x1011212211000021210201x1020022222202122022101x1111220210201022201201x1102020020201020100000x1211220210201022201201x1202020020201020100000x1011220210201022201201x1002020020201020100000x1112122102200010102201x1102000200202220002220x1212122102200010102201x1202000200202220002220x1012122102200010102201x1002000200202220002220x1111110102222022122201x1102002100122200000211x1211110102222022122201x1202002100122200000211x1011110102222022122201x1002002100122200000211x1102120102222020222011x1120100022210022120001x1202120102222020222011x1220100022210022120001x1002120102222020222011x1020100022210022120001x1110101020202221120111x1100121001102020220021x1210101020202221120111x1200121001102020220021x1010101020202221120111x1000121001102020220021x1111210220112200002211x1100021212222010200220x1211210220112200002211x1200021212222010200220x1011210220112200002211x1000021212222010200220x1112222122211110002021x1100212122212200000222x1212222122211110002021x1200212122212200000222x1012222122211110002021x1000212122212200000222x1110212212022112102021x1102202212022200001002x1210212212022112102021x1202202212022200001002x1010212212022112102021x1002202212022200001002x1111002012021222001121x1122220202222002012002x1211002012021222001121x1222220202222002012002x1011002012021222001121x1022220202222002012002x1111021001102001022121x1121022221102002002022x1211021001102001022121x1221022221102002002022x1011021001102001022121x1021022221102002002022x1102020111122022110221x1122220101021201122201x1202020111122022110221x1222220101021201122201x1002020111122022110221x1022220101021201122201x1110021101022201222221x1100000002002210102210x1210021101022201222221x1200000002002210102210x1010021101022201222221x1000000002002210102210x1111212201102221002002x1100000000000012021222x1211212201102221002002x1200000000000012021222x1011212201102221002002x1000000000000012021222x1102110220012220112002x1110102221202200210221x1202110220012220112002x1210102221202200210221x1002110220012220112002x1010102221202200210221x1102000222101220220102x1120222002221022121002x1202000222101220220102x1220222002221022121002x1002000222101220220102x1020222002221022121002x1112010010021220221102x1102200000122020222012x1212010010021220221102x1202200000122020222012x1012010010021220221102x1002200000122020222012x1112022002101002112102x1100012000002200201020x1212022002101002112102x1200012000002200201020x1012022002101002112102x1000012000002200201020x1122222112002112101022x1101211102100001002200x1222222112002112101022x1201211102100001002200x1022222112002112101022x1001211102100001002200x1102020001101122100222x1120202112122021102022x1202020001101122100222x1220202112122021102022x1002020001101122100222x1020202112122021102022x1112222011000221110222x1101221010200200220002x1212222011000221110222x1201221010200200220002x1012222011000221110222x1001221010200200220002x11220011001111002211220000221111000000001x11002211222222000022112200221100110022221x11220011001111002211220000221111000000002x11002211222222000022112200221100110022222x11220011001111002211220000221111000000000x11002211222222000022112200221100110022220x11220011001122221122222222221100110000001x11110011000022000022222200112222002200111x11220011001122221122222222221100110000002x11110011000022000022222200112222002200112x11220011001122221122222222221100110000000x11110011000022000022222200112222002200110x11110000221122002200001100111111110000001x11110011001111000022112222221100222222001x11110000221122002200001100111111110000002x11110011001111000022112222221100222222002x11110000221122002200001100111111110000000x11110011001111000022112222221100222222000x10110022112211002211002200112200220000001x10112200000000222200110000221122000022221x10110022112211002211002200112200220000002x10112200000000222200110000221122000022222x10110022112211002211002200112200220000000x10112200000000222200110000221122000022220x11112211111122002200220022221111220000001x11110022222222220000110000002222112211221x11112211111122002200220022221111220000002x11110022222222220000110000002222112211222x11112211111122002200220022221111220000000x11110022222222220000110000002222112211220x11221111221100220022221111112222220000001x11002222110011110011220000222222000022221x11221111221100220022221111112222220000002x11002222110011110011220000222222000022222x11221111221100220022221111112222220000000x11002222110011110011220000222222000022220x11220011002222220011000011112200001100001x11000011002222220022110000221111000022001x11220011002222220011000011112200001100002x11000011002222220022110000221111000022002x11220011002222220011000011112200001100000x11000011002222220022110000221111000022000x11112222000011002200221122112211111100001x11001122220000220022220011000000001111111x11112222000011002200221122112211111100002x11001122220000220022220011000000001111112x11112222000011002200221122112211111100000x11001122220000220022220011000000001111110x11112211111122221122000000221100221100001x11001100221100222200221100001111222200001x11112211111122221122000000221100221100002x11001100221100222200221100001111222200002x11112211111122221122000000221100221100000x11001100221100222200221100001111222200000x11221100110000222200221122112222221100001x11222211002211001122112200002222000022001x11221100110000222200221122112222221100002x11222211002211001122112200002222000022002x11221100110000222200221122112222221100000x11222211002211001122112200002222000022000x11001111002211002200220011222200002200001x11222200222222110011000000112200222222001x11001111002211002200220011222200002200002x11222200222222110011000000112200222222002x11001111002211002200220011222200002200000x11222200222222110011000000112200222222000x10222211000011112200222200222211002200001x10000022002200222200112200220022001122221x10222211000011112200222200222211002200002x10000022002200222200112200220022001122222x10222211000011112200222200222211002200000x10000022002200222200112200220022001122220x10001100220011000022112222002200112200001x10222211001122220022002211222200002211001x10001100220011000022112222002200112200002x10222211001122220022002211222200002211002x10001100220011000022112222002200112200000x10222211001122220022002211222200002211000x11222211222200222211110022222211112200001x11222222222200111100002200112211222200001x11222211222200222211110022222211112200002x11222222222200111100002200112211222200002x11222211222200222211110022222211112200000x11222222222200111100002200112211222200000x11002200220000111111220000220011222200001x11002200110022002200000022220022110000221x11002200220000111111220000220011222200002x11002200110022002200000022220022110000222x11002200220000111111220000220011222200000x11002200110022002200000022220022110000220x11220011222222002211112222220011222200001x11112222000022001122110000002222002200221x11220011222222002211112222220011222200002x11112222000022001122110000002222002200222x11220011222222002211112222220011222200000x11112222000022001122110000002222002200220x10001100000022111122220011001122222200001x10001122222211112200001111000022000022001x10001100000022111122220011001122222200002x10001122222211112200001111000022000022002x10001100000022111122220011001122222200000x10001122222211112200001111000022000022000x11001122221100002211110000001100000011001x11221122222200000022221100001111002200221x11001122221100002211110000001100000011002x11221122222200000022221100001111002200222x11001122221100002211110000001100000011000x11221122222200000022221100001111002200220x11111111221100002200222200222200110011001x11002200002222001122220000001122111111001x11111111221100002200222200222200110011002x11002200002222001122220000001122111111002x11111111221100002200222200222200110011000x11002200002222001122220000001122111111000x11222200002211002200111100002222110011001x11002222001122110022222211222200222200111x11222200002211002200111100002222110011002x11002222001122110022222211222200222200112x11222200002211002200111100002222110011000x11002222001122110022222211222200222200110x11112200221100220000002211002211001111001x11110000000000110011220022000000110022221x11112200221100220000002211002211001111002x11110000000000110011220022000000110022222x11112200221100220000002211002211001111000x11110000000000110011220022000000110022220x11220000000000222200111111222211001111001x11112200222211112211002222221111222200001x11220000000000222200111111222211001111002x11112200222211112211002222221111222200002x11220000000000222200111111222211001111000x11112200222211112211002222221111222200000x11111100220000110011222200112222002211001x11111122112200000000221100112200002200221x11111100220000110011222200112222002211002x11111122112200000000221100112200002200222x11111100220000110011222200112222002211000x11111122112200000000221100112200002200220x11000022000011222200000011111100112211001x11222211110022220000110000002211001122001x11000022000011222200000011111100112211002x11222211110022220000110000002211001122002x11000022000011222200000011111100112211000x11222211110022220000110000002211001122000x11112222220000112222221122221100112211001x11110022220011222200110022222222112222221x11112222220000112222221122221100112211002x11110022220011222200110022222222112222222x11112222220000112222221122221100112211000x11110022220011222200110022222222112222220x11110022111100221111002200002200112211001x11002200001122001100112222110022222211001x11110022111100221111002200002200112211002x11002200001122001100112222110022222211002x11110022111100221111002200002200112211000x11002200001122001100112222110022222211000x11000000112222110022220000110022112211001x11111100002222110000002222002200220000221x11000000112222110022220000110022112211002x11111100002222110000002222002200220000222x11000000112222110022220000110022112211000x11111100002222110000002222002200220000220x11002211220011222211110011002200000022001x11222200000000222222221100000022002200111x11002211220011222211110011002200000022002x11222200000000222222221100000022002200112x11002211220011222211110011002200000022000x11222200000000222222221100000022002200110x11112211111111221100220022110022000022001x11110000221122222200002222112211221122111x11112211111111221100220022110022000022002x11110000221122222200002222112211221122112x11112211111111221100220022110022000022000x11110000221122222200002222112211221122110x11222200221122000000111100221100220022001x11002222110000002200000000222222000011001x11222200221122000000111100221100220022002x11002222110000002200000000222222000011002x11222200221122000000111100221100220022000x11002222110000002200000000222222000011000x11220011110000220011002200110011220022001x11000022220011222200112211110000001122001x11220011110000220011002200110011220022002x11000022220011222200112211110000001122002x11220011110000220011002200110011220022000x11000022220011222200112211110000001122000x10002211112222000000111122220011001122001x10001111222222220022002222001111222200111x10002211112222000000111122220011001122002x10001111222222220022002222001111222200112x10002211112222000000111122220011001122000x10001111222222220022002222001111222200110x10222222221100112222002200222200221122001x10002200002200000000110011220022000022001x10222222221100112222002200222200221122002x10002200002200000000110011220022000022002x10222222221100112222002200222200221122000x10002200002200000000110011220022000022000x11002211000022110011221100110022221122001x11220022220000000011002200001122221100221x11002211000022110011221100110022221122002x11220022220000000011002200001122221100222x11002211000022110011221100110022221122000x11220022220000000011002200001122221100220x11111100002222222211112211110000002222001x11000011112200220011112200222222002222001x11111100002222222211112211110000002222002x11000011112200220011112200222222002222002x11111100002222222211112211110000002222000x11000011112200220011112200222222002222000x11111111221122000022002211000011002222001x11220000222211000022110011221100222222001x11111111221122000022002211000011002222002x11220000222211000022110011221100222222002x11111111221122000022002211000011002222000x11220000222211000022110011221100222222000x11001100112222001111222200002211002222001x11220011000022220011220000111122110022001x11001100112222001111222200002211002222002x11220011000022220011220000111122110022002x11001100112222001111222200002211002222000x11220011000022220011220000111122110022000x11000011000022111111220000220000112222001x11002200001122000022002200221100001100221x11000011000022111111220000220000112222002x11002200001122000022002200221100001100222x11000011000022111111220000220000112222000x11002200001122000022002200221100001100220x11221122001122220000112211000022112222001x11222211001122002211222200222200001100001x11221122001122220000112211000022112222002x11222211001122002211222200222200001100002x11221122001122220000112211000022112222000x11222211001122002211222200222200001100000x11112222111100002211112211000022222222001x11112222112222220022112200002222000000111x11112222111100002211112211000022222222002x11112222112222220022112200002222000000112x11112222111100002211112211000022222222000x11112222112222220022112200002222000000110x11110022110022111122000000221100000000111x11000000221111220000220000220011221122001x11110022110022111122000000221100000000112x11000000221111220000220000220011221122002x11110022110022111122000000221100000000110x11000000221111220000220000220011221122000x11220011000022222211110011220011000000111x11220022110011222200110011002211002222111x11220011000022222211110011220011000000112x11220022110011222200110011002211002222112x11220011000022222211110011220011000000110x11220022110011222200110011002211002222110x11220011220022002222000022221111220000111x11002200000022222222222211110022001122001x11220011220022002222000022221111220000112x11002200000022222222222211110022001122002x11220011220022002222000022221111220000110x11002200000022222222222211110022001122000x11222211222200110000002222112200220011111x11220022112222220000221122222211221122001x11222211222200110000002222112200220011112x11220022112222220000221122222211221122002x11222211222200110000002222112200220011110x11220022112222220000221122222211221122000x11220011222211221100001100000022001111111x11222211110022222211220000110022221111111x11220011222211221100001100000022001111112x11222211110022222211220000110022221111112x11220011222211221100001100000022001111110x11222211110022222211220000110022221111110x11110000000011110000222222220022001111111x11220000112200222222000000111111002200111x11110000000011110000222222220022001111112x11220000112200222222000000111111002200112x11110000000011110000222222220022001111110x11220000112200222222000000111111002200110x11002211001100222200112200220022002211111x11221100220022220011222211221122000000001x11002211001100222200112200220022002211112x11221100220022220011222211221122000000002x11002211001100222200112200220022002211110x11221100220022220011222211221122000000000x11110000002200112222111122001100110022111x11110000222211112222001100000011110022221x11110000002200112222111122001100110022112x11110000222211112222001100000011110022222x11110000002200112222111122001100110022110x11110000222211112222001100000011110022220x11221100002222002222001100000011112222111x11112211222200001122222222222222110000001x11221100002222002222001100000011112222112x11112211222200001122222222222222110000002x11221100002222002222001100000011112222110x11112211222200001122222222222222110000000x11222200002211002211222200220011112222111x11110022000022222222002200110011110022001x11222200002211002211222200220011112222112x11110022000022222222002200110011110022002x11222200002211002211222200220011112222110x11110022000022222222002200110011110022000x11111111110000000022002211220000110000221x11221100110022222200111100000011002200221x11111111110000000022002211220000110000222x11221100110022222200111100000011002200222x11111111110000000022002211220000110000220x11221100110022222200111100000011002200220x12110011221111112222110011220000220000221x12221111110022222222002200110011112222221x12110011221111112222110011220000220000222x12221111110022222222002200110011112222222x12110011221111112222110011220000220000220x12221111110022222222002200110011112222220x11001111110011222200002211220000220000221x11002200111100110022112200000000221122221x11001111110011222200002211220000220000222x11002200111100110022112200000000221122222x11001111110011222200002211220000220000220x11002200111100110022112200000000221122220x11220011002222220022001111220011001100221x11220011002200222222222211002211110000111x11220011002222220022001111220011001100222x11220011002200222222222211002211110000112x11220011002222220022001111220011001100220x11220011002200222222222211002211110000110x11110000002211221111220011221122111100221x11221111110022222211002222222211221100111x11110000002211221111220011221122111100222x11221111110022222211002222222211221100112x11110000002211221111220011221122111100220x11221111110022222211002222222211221100110x10000022112222221111002222220000221100221x10222200221122002222222222000011001122221x10000022112222221111002222220000221100222x10222200221122002222222222000011001122222x10000022112222221111002222220000221100220x10222200221122002222222222000011001122220x12002222221122221122222200111100221100221x12001122221122221111220011000022220000221x12002222221122221122222200111100221100222x12001122221122221111220011000022220000222x12002222221122221122222200111100221100220x12001122221122221111220011000022220000220x10111122001100220011220000001122222200221x10220011112200110000222222222211221122221x10111122001100220011220000001122222200222x10220011112200110000222222222211221122222x10111122001100220011220000001122222200220x10220011112200110000222222222211221122220x11222222000000000022111122222200112211221x11002222222200112200222200222200221122111x11222222000000000022111122222200112211222x11002222222200112200222200222200221122112x11222222000000000022111122222200112211220x11002222222200112200222200222200221122110x11220011002200220011002222002222221122221x11222211222222220000222200110022002222001x11220011002200220011002222002222221122222x11222211222222220000222200110022002222002x11220011002200220011002222002222221122220x11222211222222220000222200110022002222000x11000022002211222222220011112222221122221x11222200221111002200220000221122110000001x11000022002211222222220011112222221122222x11222200221111002200220000221122110000002x11000022002211222222220011112222221122220x11222200221111002200220000221122110000000x10000000220022220011110022001111002222221x10001122001100220000001111222200000000221x10000000220022220011110022001111002222222x10001122001100220000001111222200000000222x10000000220022220011110022001111002222220x10001122001100220000001111222200000000220x10110011221122110000221100112222002222221x10002222002211002211002211001122220011111x10110011221122110000221100112222002222222x10002222002211002211002211001122220011112x10110011221122110000221100112222002222220x10002222002211002211002211001122220011110x1122222200000000112222221100001122111100001x1100222200111111000011220000002200002211001x1122222200000000112222221100001122111100002x1100222200111111000011220000002200002211002x1122222200000000112222221100001122111100000x1100222200111111000011220000002200002211000x1222222200000000112222221100001122111100001x1200222200111111000011220000002200002211001x1222222200000000112222221100001122111100002x1200222200111111000011220000002200002211002x1222222200000000112222221100001122111100000x1200222200111111000011220000002200002211000x1022222200000000112222221100001122111100001x1000222200111111000011220000002200002211001x1022222200000000112222221100001122111100002x1000222200111111000011220000002200002211002x1022222200000000112222221100001122111100000x1000222200111111000011220000002200002211000x1122111122002200000011110022112200221100001x1100222211110011220022002200000000000011111x1122111122002200000011110022112200221100002x1100222211110011220022002200000000000011112x1122111122002200000011110022112200221100000x1100222211110011220022002200000000000011110x1222111122002200000011110022112200221100001x1200222211110011220022002200000000000011111x1222111122002200000011110022112200221100002x1200222211110011220022002200000000000011112x1222111122002200000011110022112200221100000x1200222211110011220022002200000000000011110x1022111122002200000011110022112200221100001x1000222211110011220022002200000000000011111x1022111122002200000011110022112200221100002x1000222211110011220022002200000000000011112x1022111122002200000011110022112200221100000x1000222211110011220022002200000000000011110x1100002200110022000022112211110011002200001x1122222211000022002200001100112200221122001x1100002200110022000022112211110011002200002x1122222211000022002200001100112200221122002x1100002200110022000022112211110011002200000x1122222211000022002200001100112200221122000x1200002200110022000022112211110011002200001x1222222211000022002200001100112200221122001x1200002200110022000022112211110011002200002x1222222211000022002200001100112200221122002x1200002200110022000022112211110011002200000x1222222211000022002200001100112200221122000x1000002200110022000022112211110011002200001x1022222211000022002200001100112200221122001x1000002200110022000022112211110011002200002x1022222211000022002200001100112200221122002x1000002200110022000022112211110011002200000x1022222211000022002200001100112200221122000x1122221100221100112222222200220011222200001x1111000011000000220000002200001100222211001x1122221100221100112222222200220011222200002x1111000011000000220000002200001100222211002x1122221100221100112222222200220011222200000x1111000011000000220000002200001100222211000x1222221100221100112222222200220011222200001x1211000011000000220000002200001100222211001x1222221100221100112222222200220011222200002x1211000011000000220000002200001100222211002x1222221100221100112222222200220011222200000x1211000011000000220000002200001100222211000x1022221100221100112222222200220011222200001x1011000011000000220000002200001100222211001x1022221100221100112222222200220011222200002x1011000011000000220000002200001100222211002x1022221100221100112222222200220011222200000x1011000011000000220000002200001100222211000x1100001111220000220022000022110011000011001x1111220022220022220000222222110000112222221x1100001111220000220022000022110011000011002x1111220022220022220000222222110000112222222x1100001111220000220022000022110011000011000x1111220022220022220000222222110000112222220x1200001111220000220022000022110011000011001x1211220022220022220000222222110000112222221x1200001111220000220022000022110011000011002x1211220022220022220000222222110000112222222x1200001111220000220022000022110011000011000x1211220022220022220000222222110000112222220x1000001111220000220022000022110011000011001x1011220022220022220000222222110000112222221x1000001111220000220022000022110011000011002x1011220022220022220000222222110000112222222x1000001111220000220022000022110011000011000x1011220022220022220000222222110000112222220x1100220022000022002200001111220000110011001x1122110022001122112222002200220022222211001x1100220022000022002200001111220000110011002x1122110022001122112222002200220022222211002x1100220022000022002200001111220000110011000x1122110022001122112222002200220022222211000x1200220022000022002200001111220000110011001x1222110022001122112222002200220022222211001x1200220022000022002200001111220000110011002x1222110022001122112222002200220022222211002x1200220022000022002200001111220000110011000x1222110022001122112222002200220022222211000x1000220022000022002200001111220000110011001x1022110022001122112222002200220022222211001x1000220022000022002200001111220000110011002x1022110022001122112222002200220022222211002x1000220022000022002200001111220000110011000x1022110022001122112222002200220022222211000x1111222200111122221122001122001100220011001x1100221100220000000011220022110022002222221x1111222200111122221122001122001100220011002x1100221100220000000011220022110022002222222x1111222200111122221122001122001100220011000x1100221100220000000011220022110022002222220x1211222200111122221122001122001100220011001x1200221100220000000011220022110022002222221x1211222200111122221122001122001100220011002x1200221100220000000011220022110022002222222x1211222200111122221122001122001100220011000x1200221100220000000011220022110022002222220x1011222200111122221122001122001100220011001x1000221100220000000011220022110022002222221x1011222200111122221122001122001100220011002x1000221100220000000011220022110022002222222x1011222200111122221122001122001100220011000x1000221100220000000011220022110022002222220x1100002200112222222222110022111122001111001x1122111122220022001122220000221111221122001x1100002200112222222222110022111122001111002x1122111122220022001122220000221111221122002x1100002200112222222222110022111122001111000x1122111122220022001122220000221111221122000x1200002200112222222222110022111122001111001x1222111122220022001122220000221111221122001x1200002200112222222222110022111122001111002x1222111122220022001122220000221111221122002x1200002200112222222222110022111122001111000x1222111122220022001122220000221111221122000x1000002200112222222222110022111122001111001x1022111122220022001122220000221111221122001x1000002200112222222222110022111122001111002x1022111122220022001122220000221111221122002x1000002200112222222222110022111122001111000x1022111122220022001122220000221111221122000x1111000022221122221111000000221122111111001x1100002200000000000022112200111122221122001x1111000022221122221111000000221122111111002x1100002200000000000022112200111122221122002x1111000022221122221111000000221122111111000x1100002200000000000022112200111122221122000x1211000022221122221111000000221122111111001x1200002200000000000022112200111122221122001x1211000022221122221111000000221122111111002x1200002200000000000022112200111122221122002x1211000022221122221111000000221122111111000x1200002200000000000022112200111122221122000x1011000022221122221111000000221122111111001x1000002200000000000022112200111122221122001x1011000022221122221111000000221122111111002x1000002200000000000022112200111122221122002x1011000022221122221111000000221122111111000x1000002200000000000022112200111122221122000x1111220022001100112222112200110000221111001x1100222222222222221122001100002222002211001x1111220022001100112222112200110000221111002x1100222222222222221122001100002222002211002x1111220022001100112222112200110000221111000x1100222222222222221122001100002222002211000x1211220022001100112222112200110000221111001x1200222222222222221122001100002222002211001x1211220022001100112222112200110000221111002x1200222222222222221122001100002222002211002x1211220022001100112222112200110000221111000x1200222222222222221122001100002222002211000x1011220022001100112222112200110000221111001x1000222222222222221122001100002222002211001x1011220022001100112222112200110000221111002x1000222222222222221122001100002222002211002x1011220022001100112222112200110000221111000x1000222222222222221122001100002222002211000x1111222211002200111111001111111100002211001x1100220022110011222211002211222200222211001x1111222211002200111111001111111100002211002x1100220022110011222211002211222200222211002x1111222211002200111111001111111100002211000x1100220022110011222211002211222200222211000x1211222211002200111111001111111100002211001x1200220022110011222211002211222200222211001x1211222211002200111111001111111100002211002x1200220022110011222211002211222200222211002x1211222211002200111111001111111100002211000x1200220022110011222211002211222200222211000x1011222211002200111111001111111100002211001x1000220022110011222211002211222200222211001x1011222211002200111111001111111100002211002x1000220022110011222211002211222200222211002x1011222211002200111111001111111100002211000x1000220022110011222211002211222200222211000x1122001111002211221122002200220011110022001x1100112211002200220022221100222222111111001x1122001111002211221122002200220011110022002x1100112211002200220022221100222222111111002x1122001111002211221122002200220011110022000x1100112211002200220022221100222222111111000x1222001111002211221122002200220011110022001x1200112211002200220022221100222222111111001x1222001111002211221122002200220011110022002x1200112211002200220022221100222222111111002x1222001111002211221122002200220011110022000x1200112211002200220022221100222222111111000x1022001111002211221122002200220011110022001x1000112211002200220022221100222222111111001x1022001111002211221122002200220011110022002x1000112211002200220022221100222222111111002x1022001111002211221122002200220011110022000x1000112211002200220022221100222222111111000x1111221122002222111100112200222222111122001x1122000022220000112222220022000000001100221x1111221122002222111100112200222222111122002x1122000022220000112222220022000000001100222x1111221122002222111100112200222222111122000x1122000022220000112222220022000000001100220x1211221122002222111100112200222222111122001x1222000022220000112222220022000000001100221x1211221122002222111100112200222222111122002x1222000022220000112222220022000000001100222x1211221122002222111100112200222222111122000x1222000022220000112222220022000000001100220x1011221122002222111100112200222222111122001x1022000022220000112222220022000000001100221x1011221122002222111100112200222222111122002x1022000022220000112222220022000000001100222x1011221122002222111100112200222222111122000x1022000022220000112222220022000000001100220x1122002211222211002222222200222222111122001x1111000000220022000022002211000022112200221x1122002211222211002222222200222222111122002x1111000000220022000022002211000022112200222x1122002211222211002222222200222222111122000x1111000000220022000022002211000022112200220x1222002211222211002222222200222222111122001x1211000000220022000022002211000022112200221x1222002211222211002222222200222222111122002x1211000000220022000022002211000022112200222x1222002211222211002222222200222222111122000x1211000000220022000022002211000022112200220x1022002211222211002222222200222222111122001x1011000000220022000022002211000022112200221x1022002211222211002222222200222222111122002x1011000000220022000022002211000022112200222x1022002211222211002222222200222222111122000x1011000000220022000022002211000022112200220x1111112222002200111111002200222211112222001x1100220022222200001111000000220022000000221x1111112222002200111111002200222211112222002x1100220022222200001111000000220022000000222x1111112222002200111111002200222211112222000x1100220022222200001111000000220022000000220x1211112222002200111111002200222211112222001x1200220022222200001111000000220022000000221x1211112222002200111111002200222211112222002x1200220022222200001111000000220022000000222x1211112222002200111111002200222211112222000x1200220022222200001111000000220022000000220x1011112222002200111111002200222211112222001x1000220022222200001111000000220022000000221x1011112222002200111111002200222211112222002x1000220022222200001111000000220022000000222x1011112222002200111111002200222211112222000x1000220022222200001111000000220022000000220x1111112211222211110000000022112211002200111x1122000022222222222200221122220022221100111x1111112211222211110000000022112211002200112x1122000022222222222200221122220022221100112x1111112211222211110000000022112211002200110x1122000022222222222200221122220022221100110x1211112211222211110000000022112211002200111x1222000022222222222200221122220022221100111x1211112211222211110000000022112211002200112x1222000022222222222200221122220022221100112x1211112211222211110000000022112211002200110x1222000022222222222200221122220022221100110x1011112211222211110000000022112211002200111x1022000022222222222200221122220022221100111x1011112211222211110000000022112211002200112x1022000022222222222200221122220022221100112x1011112211222211110000000022112211002200110x1022000022222222222200221122220022221100110x1111112222002211002200110022222200112200111x1100220022000022002200110022001100000000001x1111112222002211002200110022222200112200112x1100220022000022002200110022001100000000002x1111112222002211002200110022222200112200110x1100220022000022002200110022001100000000000x1211112222002211002200110022222200112200111x1200220022000022002200110022001100000000001x1211112222002211002200110022222200112200112x1200220022000022002200110022001100000000002x1211112222002211002200110022222200112200110x1200220022000022002200110022001100000000000x1011112222002211002200110022222200112200111x1000220022000022002200110022001100000000001x1011112222002211002200110022222200112200112x1000220022000022002200110022001100000000002x1011112222002211002200110022222200112200110x1000220022000022002200110022001100000000000x1111221122221100222200000011001100222200111x1100220000002200002200222222000000222222001x1111221122221100222200000011001100222200112x1100220000002200002200222222000000222222002x1111221122221100222200000011001100222200110x1100220000002200002200222222000000222222000x1211221122221100222200000011001100222200111x1200220000002200002200222222000000222222001x1211221122221100222200000011001100222200112x1200220000002200002200222222000000222222002x1211221122221100222200000011001100222200110x1200220000002200002200222222000000222222000x1011221122221100222200000011001100222200111x1000220000002200002200222222000000222222001x1011221122221100222200000011001100222200112x1000220000002200002200222222000000222222002x1011221122221100222200000011001100222200110x1000220000002200002200222222000000222222000x1111111111001100222222220022221122222200111x1100220000221100001122222200000000002211111x1111111111001100222222220022221122222200112x1100220000221100001122222200000000002211112x1111111111001100222222220022221122222200110x1100220000221100001122222200000000002211110x1211111111001100222222220022221122222200111x1200220000221100001122222200000000002211111x1211111111001100222222220022221122222200112x1200220000221100001122222200000000002211112x1211111111001100222222220022221122222200110x1200220000221100001122222200000000002211110x1011111111001100222222220022221122222200111x1000220000221100001122222200000000002211111x1011111111001100222222220022221122222200112x1000220000221100001122222200000000002211112x1011111111001100222222220022221122222200110x1000220000221100001122222200000000002211110x1100221122001100222222220022002222220011111x1122001100000022222211000022221122000000111x1100221122001100222222220022002222220011112x1122001100000022222211000022221122000000112x1100221122001100222222220022002222220011110x1122001100000022222211000022221122000000110x1200221122001100222222220022002222220011111x1222001100000022222211000022221122000000111x1200221122001100222222220022002222220011112x1222001100000022222211000022221122000000112x1200221122001100222222220022002222220011110x1222001100000022222211000022221122000000110x1000221122001100222222220022002222220011111x1022001100000022222211000022221122000000111x1000221122001100222222220022002222220011112x1022001100000022222211000022221122000000112x1000221122001100222222220022002222220011110x1022001100000022222211000022221122000000110x1111001100110022002200222222111122001111111x1100001122110000111100220022002222000022111x1111001100110022002200222222111122001111112x1100001122110000111100220022002222000022112x1111001100110022002200222222111122001111110x1100001122110000111100220022002222000022110x1211001100110022002200222222111122001111111x1200001122110000111100220022002222000022111x1211001100110022002200222222111122001111112x1200001122110000111100220022002222000022112x1211001100110022002200222222111122001111110x1200001122110000111100220022002222000022110x1011001100110022002200222222111122001111111x1000001122110000111100220022002222000022111x1011001100110022002200222222111122001111112x1000001122110000111100220022002222000022112x1011001100110022002200222222111122001111110x1000001122110000111100220022002222000022110x1111112211002222001111222200000000222211111x1100000022112211222222220011002200002222001x1111112211002222001111222200000000222211112x1100000022112211222222220011002200002222002x1111112211002222001111222200000000222211110x1100000022112211222222220011002200002222000x1211112211002222001111222200000000222211111x1200000022112211222222220011002200002222001x1211112211002222001111222200000000222211112x1200000022112211222222220011002200002222002x1211112211002222001111222200000000222211110x1200000022112211222222220011002200002222000x1011112211002222001111222200000000222211111x1000000022112211222222220011002200002222001x1011112211002222001111222200000000222211112x1000000022112211222222220011002200002222002x1011112211002222001111222200000000222211110x1000000022112211222222220011002200002222000x1111222222221122222211111111000000220022111x1100002211221122222211222200000000002222221x1111222222221122222211111111000000220022112x1100002211221122222211222200000000002222222x1111222222221122222211111111000000220022110x1100002211221122222211222200000000002222220x1211222222221122222211111111000000220022111x1200002211221122222211222200000000002222221x1211222222221122222211111111000000220022112x1200002211221122222211222200000000002222222x1211222222221122222211111111000000220022110x1200002211221122222211222200000000002222220x1011222222221122222211111111000000220022111x1000002211221122222211222200000000002222221x1011222222221122222211111111000000220022112x1000002211221122222211222200000000002222222x1011222222221122222211111111000000220022110x1000002211221122222211222200000000002222220x1111002211222211220022221111221100220022111x1100222200222211220022222200000000110000221x1111002211222211220022221111221100220022112x1100222200222211220022222200000000110000222x1111002211222211220022221111221100220022110x1100222200222211220022222200000000110000220x1211002211222211220022221111221100220022111x1200222200222211220022222200000000110000221x1211002211222211220022221111221100220022112x1200222200222211220022222200000000110000222x1211002211222211220022221111221100220022110x1200222200222211220022222200000000110000220x1011002211222211220022221111221100220022111x1000222200222211220022222200000000110000221x1011002211222211220022221111221100220022112x1000222200222211220022222200000000110000222x1011002211222211220022221111221100220022110x1000222200222211220022222200000000110000220x1111110000220011220022112222220000111122111x1122222222002200222222220000220011220000221x1111110000220011220022112222220000111122112x1122222222002200222222220000220011220000222x1111110000220011220022112222220000111122110x1122222222002200222222220000220011220000220x1211110000220011220022112222220000111122111x1222222222002200222222220000220011220000221x1211110000220011220022112222220000111122112x1222222222002200222222220000220011220000222x1211110000220011220022112222220000111122110x1222222222002200222222220000220011220000220x1011110000220011220022112222220000111122111x1022222222002200222222220000220011220000221x1011110000220011220022112222220000111122112x1022222222002200222222220000220011220000222x1011110000220011220022112222220000111122110x1022222222002200222222220000220011220000220x1111110022110000111100220000110022221122111x1122110022222222111100220000220000220022221x1111110022110000111100220000110022221122112x1122110022222222111100220000220000220022222x1111110022110000111100220000110022221122110x1122110022222222111100220000220000220022220x1211110022110000111100220000110022221122111x1222110022222222111100220000220000220022221x1211110022110000111100220000110022221122112x1222110022222222111100220000220000220022222x1211110022110000111100220000110022221122110x1222110022222222111100220000220000220022220x1011110022110000111100220000110022221122111x1022110022222222111100220000220000220022221x1011110022110000111100220000110022221122112x1022110022222222111100220000220000220022222x1011110022110000111100220000110022221122110x1022110022222222111100220000220000220022220x1100220022001111111122220022221111002222111x1122222222001100110022112200111122222200111x1100220022001111111122220022221111002222112x1122222222001100110022112200111122222200112x1100220022001111111122220022221111002222110x1122222222001100110022112200111122222200110x1200220022001111111122220022221111002222111x1222222222001100110022112200111122222200111x1200220022001111111122220022221111002222112x1222222222001100110022112200111122222200112x1200220022001111111122220022221111002222110x1222222222001100110022112200111122222200110x1000220022001111111122220022221111002222111x1022222222001100110022112200111122222200111x1000220022001111111122220022221111002222112x1022222222001100110022112200111122222200112x1000220022001111111122220022221111002222110x1022222222001100110022112200111122222200110x1111000022111100110022222200112222222222111x1100000000000000220000222211001100222211001x1111000022111100110022222200112222222222112x1100000000000000220000222211001100222211002x1111000022111100110022222200112222222222110x1100000000000000220000222211001100222211000x1211000022111100110022222200112222222222111x1200000000000000220000222211001100222211001x1211000022111100110022222200112222222222112x1200000000000000220000222211001100222211002x1211000022111100110022222200112222222222110x1200000000000000220000222211001100222211000x1011000022111100110022222200112222222222111x1000000000000000220000222211001100222211001x1011000022111100110022222200112222222222112x1000000000000000220000222211001100222211002x1011000022111100110022222200112222222222110x1000000000000000220000222211001100222211000x1111112211222200111100222222110000220000221x1100000000000000000000000011220022112222221x1111112211222200111100222222110000220000222x1100000000000000000000000011220022112222222x1111112211222200111100222222110000220000220x1100000000000000000000000011220022112222220x1211112211222200111100222222110000220000221x1200000000000000000000000011220022112222221x1211112211222200111100222222110000220000222x1200000000000000000000000011220022112222222x1211112211222200111100222222110000220000220x1200000000000000000000000011220022112222220x1011112211222200111100222222110000220000221x1000000000000000000000000011220022112222221x1011112211222200111100222222110000220000222x1000000000000000000000000011220022112222222x1011112211222200111100222222110000220000220x1000000000000000000000000011220022112222220x1100221111002222000011222222001111220000221x1111001100222222112200222200002211002222111x1100221111002222000011222222001111220000222x1111001100222222112200222200002211002222112x1100221111002222000011222222001111220000220x1111001100222222112200222200002211002222110x1200221111002222000011222222001111220000221x1211001100222222112200222200002211002222111x1200221111002222000011222222001111220000222x1211001100222222112200222200002211002222112x1200221111002222000011222222001111220000220x1211001100222222112200222200002211002222110x1000221111002222000011222222001111220000221x1011001100222222112200222200002211002222111x1000221111002222000011222222001111220000222x1011001100222222112200222200002211002222112x1000221111002222000011222222001111220000220x1011001100222222112200222200002211002222110x1100220000002222221100112222002222001100221x1122002222220000222222110022221122110000221x1100220000002222221100112222002222001100222x1122002222220000222222110022221122110000222x1100220000002222221100112222002222001100220x1122002222220000222222110022221122110000220x1200220000002222221100112222002222001100221x1222002222220000222222110022221122110000221x1200220000002222221100112222002222001100222x1222002222220000222222110022221122110000222x1200220000002222221100112222002222001100220x1222002222220000222222110022221122110000220x1000220000002222221100112222002222001100221x1022002222220000222222110022221122110000221x1000220000002222221100112222002222001100222x1022002222220000222222110022221122110000222x1000220000002222221100112222002222001100220x1022002222220000222222110022221122110000220x1111220011000011000022112222002222111100221x1100222200000000001122220022002222220011221x1111220011000011000022112222002222111100222x1100222200000000001122220022002222220011222x1111220011000011000022112222002222111100220x1100222200000000001122220022002222220011220x1211220011000011000022112222002222111100221x1200222200000000001122220022002222220011221x1211220011000011000022112222002222111100222x1200222200000000001122220022002222220011222x1211220011000011000022112222002222111100220x1200222200000000001122220022002222220011220x1011220011000011000022112222002222111100221x1000222200000000001122220022002222220011221x1011220011000011000022112222002222111100222x1000222200000000001122220022002222220011222x1011220011000011000022112222002222111100220x1000222200000000001122220022002222220011220x1111220022220000221100110000221111221100221x1100000011220000000000222200002200110022001x1111220022220000221100110000221111221100222x1100000011220000000000222200002200110022002x1111220022220000221100110000221111221100220x1100000011220000000000222200002200110022000x1211220022220000221100110000221111221100221x1200000011220000000000222200002200110022001x1211220022220000221100110000221111221100222x1200000011220000000000222200002200110022002x1211220022220000221100110000221111221100220x1200000011220000000000222200002200110022000x1011220022220000221100110000221111221100221x1000000011220000000000222200002200110022001x1011220022220000221100110000221111221100222x1000000011220000000000222200002200110022002x1011220022220000221100110000221111221100220x1000000011220000000000222200002200110022000x1122222222221111220000221111221100110022221x1100112211111100221100000000110000222200001x1122222222221111220000221111221100110022222x1100112211111100221100000000110000222200002x1122222222221111220000221111221100110022220x1100112211111100221100000000110000222200000x1222222222221111220000221111221100110022221x1200112211111100221100000000110000222200001x1222222222221111220000221111221100110022222x1200112211111100221100000000110000222200002x1222222222221111220000221111221100110022220x1200112211111100221100000000110000222200000x1022222222221111220000221111221100110022221x1000112211111100221100000000110000222200001x1022222222221111220000221111221100110022222x1000112211111100221100000000110000222200002x1022222222221111220000221111221100110022220x1000112211111100221100000000110000222200000x1100220022000000111100111122221100002222221x1122002200221111221122220022111100220022221x1100220022000000111100111122221100002222222x1122002200221111221122220022111100220022222x1100220022000000111100111122221100002222220x1122002200221111221122220022111100220022220x1200220022000000111100111122221100002222221x1222002200221111221122220022111100220022221x1200220022000000111100111122221100002222222x1222002200221111221122220022111100220022222x1200220022000000111100111122221100002222220x1222002200221111221122220022111100220022220x1000220022000000111100111122221100002222221x1022002200221111221122220022111100220022221x1000220022000000111100111122221100002222222x1022002200221111221122220022111100220022222x1000220022000000111100111122221100002222220x1022002200221111221122220022111100220022220x1111222222220011110000002222111111002222221x1100112222110011002200002200002222000000221x1111222222220011110000002222111111002222222x1100112222110011002200002200002222000000222x1111222222220011110000002222111111002222220x1100112222110011002200002200002222000000220x1211222222220011110000002222111111002222221x1200112222110011002200002200002222000000221x1211222222220011110000002222111111002222222x1200112222110011002200002200002222000000222x1211222222220011110000002222111111002222220x1200112222110011002200002200002222000000220x1011222222220011110000002222111111002222221x1000112222110011002200002200002222000000221x1011222222220011110000002222111111002222222x1000112222110011002200002200002222000000222x1011222222220011110000002222111111002222220x1000112222110011002200002200002222000000220x111211120111011111101111111110211121111100111221110001100220011000022112222002200112200001x10222211001122220022002211222200002211001x10001100220011000022112222002200112200002x10222211001122220022002211222200002211002x10001100220011000022112222002200112200000x10222211001122220022002211222200002211000x10001100000022111122220011001122222200001x10001122222211112200001111000022000022001x10001100000022111122220011001122222200002x10001122222211112200001111000022000022002x10001100000022111122220011001122222200000x10001122222211112200001111000022000022000x11220000000000222200111111222211001111001x11112200222211112211002222221111222200001x11220000000000222200111111222211001111002x11112200222211112211002222221111222200002x11220000000000222200111111222211001111000x11112200222211112211002222221111222200000x11220011110000220011002200110011220022001x11000022220011222200112211110000001122001x11220011110000220011002200110011220022002x11000022220011222200112211110000001122002x11220011110000220011002200110011220022000x11000022220011222200112211110000001122000x11001100112222001111222200002211002222001x11220011000022220011220000111122110022001x11001100112222001111222200002211002222002x11220011000022220011220000111122110022002x11001100112222001111222200002211002222000x11220011000022220011220000111122110022000x11220011000022222211110011220011000000111x11220022110011222200110011002211002222111x11220011000022222211110011220011000000112x11220022110011222200110011002211002222112x11220011000022222211110011220011000000110x11220022110011222200110011002211002222110x11220011222211221100001100000022001111111x11222211110022222211220000110022221111111x11220011222211221100001100000022001111112x11222211110022222211220000110022221111112x11220011222211221100001100000022001111110x11222211110022222211220000110022221111110x11001111110011222200002211220000220000221x11002200111100110022112200000000221122221x11001111110011222200002211220000220000222x11002200111100110022112200000000221122222x11001111110011222200002211220000220000220x11002200111100110022112200000000221122220x11220011002222220022001111220011001100221x11220011002200222222222211002211110000111x11220011002222220022001111220011001100222x11220011002200222222222211002211110000112x11220011002222220022001111220011001100220x11220011002200222222222211002211110000110x12002222221122221122222200111100221100221x12001122221122221111220011000022220000221x12002222221122221122222200111100221100222x12001122221122221111220011000022220000222x12002222221122221122222200111100221100220x12001122221122221111220011000022220000220x10111122001100220011220000001122222200221x10220011112200110000222222222211221122221x10111122001100220011220000001122222200222x10220011112200110000222222222211221122222x10111122001100220011220000001122222200220x10220011112200110000222222222211221122220x11000022002211222222220011112222221122221x11222200221111002200220000221122110000001x11000022002211222222220011112222221122222x11222200221111002200220000221122110000002x11000022002211222222220011112222221122220x11222200221111002200220000221122110000000x10000000220022220011110022001111002222221x10001122001100220000001111222200000000221x10000000220022220011110022001111002222222x10001122001100220000001111222200000000222x10000000220022220011110022001111002222220x10001122001100220000001111222200000000220x10110011221122110000221100112222002222221x10002222002211002211002211001122220011111x10110011221122110000221100112222002222222x10002222002211002211002211001122220011112x10110011221122110000221100112222002222220x10002222002211002211002211001122220011110x1122222200000000112222221100001122111100001x1100222200111111000011220000002200002211001x1122222200000000112222221100001122111100002x1100222200111111000011220000002200002211002x1122222200000000112222221100001122111100000x1100222200111111000011220000002200002211000x1222222200000000112222221100001122111100001x1200222200111111000011220000002200002211001x1222222200000000112222221100001122111100002x1200222200111111000011220000002200002211002x1222222200000000112222221100001122111100000x1200222200111111000011220000002200002211000x1022222200000000112222221100001122111100001x1000222200111111000011220000002200002211001x1022222200000000112222221100001122111100002x1000222200111111000011220000002200002211002x1022222200000000112222221100001122111100000x1000222200111111000011220000002200002211000x1122221100221100112222222200220011222200001x1111000011000000220000002200001100222211001x1122221100221100112222222200220011222200002x1111000011000000220000002200001100222211002x1122221100221100112222222200220011222200000x1111000011000000220000002200001100222211000x1222221100221100112222222200220011222200001x1211000011000000220000002200001100222211001x1222221100221100112222222200220011222200002x1211000011000000220000002200001100222211002x1222221100221100112222222200220011222200000x1211000011000000220000002200001100222211000x1022221100221100112222222200220011222200001x1011000011000000220000002200001100222211001x1022221100221100112222222200220011222200002x1011000011000000220000002200001100222211002x1022221100221100112222222200220011222200000x1011000011000000220000002200001100222211000x1100220022000022002200001111220000110011001x1122110022001122112222002200220022222211001x1100220022000022002200001111220000110011002x1122110022001122112222002200220022222211002x1100220022000022002200001111220000110011000x1122110022001122112222002200220022222211000x1200220022000022002200001111220000110011001x1222110022001122112222002200220022222211001x1200220022000022002200001111220000110011002x1222110022001122112222002200220022222211002x1200220022000022002200001111220000110011000x1222110022001122112222002200220022222211000x1000220022000022002200001111220000110011001x1022110022001122112222002200220022222211001x1000220022000022002200001111220000110011002x1022110022001122112222002200220022222211002x1000220022000022002200001111220000110011000x1022110022001122112222002200220022222211000x1100002200112222222222110022111122001111001x1122111122220022001122220000221111221122001x1100002200112222222222110022111122001111002x1122111122220022001122220000221111221122002x1100002200112222222222110022111122001111000x1122111122220022001122220000221111221122000x1200002200112222222222110022111122001111001x1222111122220022001122220000221111221122001x1200002200112222222222110022111122001111002x1222111122220022001122220000221111221122002x1200002200112222222222110022111122001111000x1222111122220022001122220000221111221122000x1000002200112222222222110022111122001111001x1022111122220022001122220000221111221122001x1000002200112222222222110022111122001111002x1022111122220022001122220000221111221122002x1000002200112222222222110022111122001111000x1022111122220022001122220000221111221122000x1122001111002211221122002200220011110022001x1100112211002200220022221100222222111111001x1122001111002211221122002200220011110022002x1100112211002200220022221100222222111111002x1122001111002211221122002200220011110022000x1100112211002200220022221100222222111111000x1222001111002211221122002200220011110022001x1200112211002200220022221100222222111111001x1222001111002211221122002200220011110022002x1200112211002200220022221100222222111111002x1222001111002211221122002200220011110022000x1200112211002200220022221100222222111111000x1022001111002211221122002200220011110022001x1000112211002200220022221100222222111111001x1022001111002211221122002200220011110022002x1000112211002200220022221100222222111111002x1022001111002211221122002200220011110022000x1000112211002200220022221100222222111111000x1100221122001100222222220022002222220011111x1122001100000022222211000022221122000000111x1100221122001100222222220022002222220011112x1122001100000022222211000022221122000000112x1100221122001100222222220022002222220011110x1122001100000022222211000022221122000000110x1200221122001100222222220022002222220011111x1222001100000022222211000022221122000000111x1200221122001100222222220022002222220011112x1222001100000022222211000022221122000000112x1200221122001100222222220022002222220011110x1222001100000022222211000022221122000000110x1000221122001100222222220022002222220011111x1022001100000022222211000022221122000000111x1000221122001100222222220022002222220011112x1022001100000022222211000022221122000000112x1000221122001100222222220022002222220011110x1022001100000022222211000022221122000000110x1100221111002222000011222222001111220000221x1111001100222222112200222200002211002222111x1100221111002222000011222222001111220000222x1111001100222222112200222200002211002222112x1100221111002222000011222222001111220000220x1111001100222222112200222200002211002222110x1200221111002222000011222222001111220000221x1211001100222222112200222200002211002222111x1200221111002222000011222222001111220000222x1211001100222222112200222200002211002222112x1200221111002222000011222222001111220000220x1211001100222222112200222200002211002222110x1000221111002222000011222222001111220000221x1011001100222222112200222200002211002222111x1000221111002222000011222222001111220000222x1011001100222222112200222200002211002222112x1000221111002222000011222222001111220000220x1011001100222222112200222200002211002222110x1100220000002222221100112222002222001100221x1122002222220000222222110022221122110000221x1100220000002222221100112222002222001100222x1122002222220000222222110022221122110000222x1100220000002222221100112222002222001100220x1122002222220000222222110022221122110000220x1200220000002222221100112222002222001100221x1222002222220000222222110022221122110000221x1200220000002222221100112222002222001100222x1222002222220000222222110022221122110000222x1200220000002222221100112222002222001100220x1222002222220000222222110022221122110000220x1000220000002222221100112222002222001100221x1022002222220000222222110022221122110000221x1000220000002222221100112222002222001100222x1022002222220000222222110022221122110000222x1000220000002222221100112222002222001100220x1022002222220000222222110022221122110000220x1122222222221111220000221111221100110022221x1100112211111100221100000000110000222200001x1122222222221111220000221111221100110022222x1100112211111100221100000000110000222200002x1122222222221111220000221111221100110022220x1100112211111100221100000000110000222200000x1222222222221111220000221111221100110022221x1200112211111100221100000000110000222200001x1222222222221111220000221111221100110022222x1200112211111100221100000000110000222200002x1222222222221111220000221111221100110022220x1200112211111100221100000000110000222200000x1022222222221111220000221111221100110022221x1000112211111100221100000000110000222200001x1022222222221111220000221111221100110022222x1000112211111100221100000000110000222200002x1022222222221111220000221111221100110022220x1000112211111100221100000000110000222200000x1100220022000000111100111122221100002222221x1122002200221111221122220022111100220022221x1100220022000000111100111122221100002222222x1122002200221111221122220022111100220022222x1100220022000000111100111122221100002222220x1122002200221111221122220022111100220022220x1200220022000000111100111122221100002222221x1222002200221111221122220022111100220022221x1200220022000000111100111122221100002222222x1222002200221111221122220022111100220022222x1200220022000000111100111122221100002222220x1222002200221111221122220022111100220022220x1000220022000000111100111122221100002222221x1022002200221111221122220022111100220022221x1000220022000000111100111122221100002222222x1022002200221111221122220022111100220022222x1000220022000000111100111122221100002222220x1022002200221111221122220022111100220022220x11001110111191011102111520111211111211142211141111151220011222211221100001100000022001111111x11222211110022222211220000110022221111111x11220011222211221100001100000022001111112x11222211110022222211220000110022221111112x11220011222211221100001100000022001111110x11222211110022222211220000110022221111110x12002222221122221122222200111100221100221x12001122221122221111220011000022220000221x12002222221122221122222200111100221100222x12001122221122221111220011000022220000222x12002222221122221122222200111100221100220x12001122221122221111220011000022220000220x1122222200000000112222221100001122111100001x1100222200111111000011220000002200002211001x1122222200000000112222221100001122111100002x1100222200111111000011220000002200002211002x1122222200000000112222221100001122111100000x1100222200111111000011220000002200002211000x1222222200000000112222221100001122111100001x1200222200111111000011220000002200002211001x1222222200000000112222221100001122111100002x1200222200111111000011220000002200002211002x1222222200000000112222221100001122111100000x1200222200111111000011220000002200002211000x1000221111002222000011222222001111220000221x1011001100222222112200222200002211002222111x11121111201112011112221112211111011100111021111111111220011222211221100001100000022001111111x11222211110022222211220000110022221111111x11220011222211221100001100000022001111112x11222211110022222211220000110022221111112x11220011222211221100001100000022001111110x11222211110022222211220000110022221111110x12002222221122221122222200111100221100221x12001122221122221111220011000022220000221x12002222221122221122222200111100221100222x12001122221122221111220011000022220000222x12002222221122221122222200111100221100220x12001122221122221111220011000022220000220x1222222200000000112222221100001122111100001x1200222200111111000011220000002200002211001x1222222200000000112222221100001122111100002x1200222200111111000011220000002200002211002x1222222200000000112222221100001122111100000x1200222200111111000011220000002200002211000x1000221111002222000011222222001111220000221x1011001100222222112200222200002211002222111x1112111201110111132211112111110111100111021111111131220011222211221100001100000022001111111x11222211110022222211220000110022221111111x11220011222211221100001100000022001111112x11222211110022222211220000110022221111112x11220011222211221100001100000022001111110x11222211110022222211220000110022221111110x12002222221122221122222200111100221100221x12001122221122221111220011000022220000221x12002222221122221122222200111100221100222x12001122221122221111220011000022220000222x12002222221122221122222200111100221100220x12001122221122221111220011000022220000220x1000221111002222000011222222001111220000221x1011001100222222112200222200002211002222111x11220011222211221100001100000022001111111x11222211110022222211220000110022221111111x11220011222211221100001100000022001111111x11220000110022221111111x11220011222211221100001100000022001111111x120000110022221111111x11220011222211221100001100000022001111111x1000110022221111111x11220011222211221100001100000022001111112x11222211110022222211220000110022221111112x11220011222211221100001100000022001111112x11220000110022221111112x11220011222211221100001100000022001111112x120000110022221111112x11220011222211221100001100000022001111112x1000110022221111112x11220011222211221100001100000022001111110x11222211110022222211220000110022221111110x11220011222211221100001100000022001111110x11220000110022221111110x11220011222211221100001100000022001111110x120000110022221111110x11220011222211221100001100000022001111110x1000110022221111110x12002222221122221122222200111100221100221x12001122221122221111220011000022220000221x12002222221122221122222200111100221100221x1122221122221111220011000022220000221x12002222221122221122222200111100221100221x1122221111220011000022220000221x12002222221122221122222200111100221100221x11220011000022220000221x12002222221122221122222200111100221100221x120011000022220000221x12002222221122221122222200111100221100221x100022220000221x12002222221122221122222200111100221100221x120000221x12002222221122221122222200111100221100221x1000221x12002222221122221122222200111100221100222x12001122221122221111220011000022220000222x12002222221122221122222200111100221100222x1122221122221111220011000022220000222x12002222221122221122222200111100221100222x1122221111220011000022220000222x12002222221122221122222200111100221100222x11220011000022220000222x12002222221122221122222200111100221100222x120011000022220000222x12002222221122221122222200111100221100222x100022220000222x12002222221122221122222200111100221100222x120000222x12002222221122221122222200111100221100222x1000222x12002222221122221122222200111100221100220x12001122221122221111220011000022220000220x12002222221122221122222200111100221100220x1122221122221111220011000022220000220x12002222221122221122222200111100221100220x1122221111220011000022220000220x12002222221122221122222200111100221100220x11220011000022220000220x12002222221122221122222200111100221100220x120011000022220000220x12002222221122221122222200111100221100220x100022220000220x12002222221122221122222200111100221100220x120000220x12002222221122221122222200111100221100220x1000220x1000221111002222000011222222001111220000221x112200222200002211002222111x1000221111002222000011222222001111220000221x1200222200002211002222111x1000221111002222000011222222001111220000221x1200002211002222111x1000221111002222000011222222001111220000221x10002211002222111x1true2002222221122221122222200111100221100221x120000221x1false2002222221122221122222200111100221100220x120000220x1false2002222221122221122222200111100221100221x1000221x1false2002222221122221122222200111100221100220x1000220x1false1220011222211221100001100000022001111111x11222211110022222211220000110022221111111x1false1220011222211221100001100000022001111111x11220000110022221111111x1false1220011222211221100001100000022001111111x120000110022221111111x1false1220011222211221100001100000022001111111x1000110022221111111x1false1220011222211221100001100000022001111112x11222211110022222211220000110022221111112x1false1220011222211221100001100000022001111112x11220000110022221111112x1false1220011222211221100001100000022001111112x120000110022221111112x1false1220011222211221100001100000022001111112x1000110022221111112x1false1220011222211221100001100000022001111110x11222211110022222211220000110022221111110x1false1220011222211221100001100000022001111110x11220000110022221111110x1false1220011222211221100001100000022001111110x120000110022221111110x1false1220011222211221100001100000022001111110x1000110022221111110x1false2002222221122221122222200111100221100221x12001122221122221111220011000022220000221x1false2002222221122221122222200111100221100221x1122221122221111220011000022220000221x1false2002222221122221122222200111100221100221x1122221111220011000022220000221x1false2002222221122221122222200111100221100221x11220011000022220000221x1false2002222221122221122222200111100221100221x120011000022220000221x1false2002222221122221122222200111100221100221x100022220000221x1false2002222221122221122222200111100221100222x12001122221122221111220011000022220000222x1false2002222221122221122222200111100221100222x1122221122221111220011000022220000222x1false2002222221122221122222200111100221100222x1122221111220011000022220000222x1false2002222221122221122222200111100221100222x11220011000022220000222x1false2002222221122221122222200111100221100222x120011000022220000222x1false2002222221122221122222200111100221100222x100022220000222x1false2002222221122221122222200111100221100222x120000222x1false2002222221122221122222200111100221100222x1000222x1false2002222221122221122222200111100221100220x12001122221122221111220011000022220000220x1false2002222221122221122222200111100221100220x1122221122221111220011000022220000220x1false2002222221122221122222200111100221100220x1122221111220011000022220000220x1false2002222221122221122222200111100221100220x11220011000022220000220x1false2002222221122221122222200111100221100220x120011000022220000220x1false2002222221122221122222200111100221100220x100022220000220x1false000221111002222000011222222001111220000221x112200222200002211002222111x1false000221111002222000011222222001111220000221x1200222200002211002222111x1false000221111002222000011222222001111220000221x1200002211002222111x1false000221111002222000011222222001111220000221x10002211002222111x1falseAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (9 real / 0 unknown / 0 assumptions / 9 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe