reachables.py

reachables ={8192, 8194, 8195, 8196, 8197, 16390, 16391, 16392, 16393, 16395, 16398, 16399, 16401, 8210, 8212, 8213, 8214, 8215, 16407, 8218, 8219, 8220, 8221, 8223, 16417, 16419, 16425, 8236, 8238, 8239, 8241, 8244, 8245, 8247, 16444, 16446, 16447, 16449, 16452, 16453, 16455, 16461, 8270, 8276, 8278, 8279, 16471, 16473, 8284, 8285, 8286, 8287, 16479, 8294, 8296, 8297, 8302, 8303, 8304, 8305, 8310, 8311, 8313, 8320, 8322, 8323, 8328, 8329, 8331, 16526, 16528, 8337, 16530, 16531, 16529, 16534, 16535, 16536, 16537, 16539, 8348, 8350, 8351, 8354, 8356, 8357, 8358, 8359, 16552, 16553, 8362, 8363, 8364, 8365, 16555, 8367, 16554, 16557, 16561, 16560, 8372, 16563, 8374, 8375, 8376, 8377, 8380, 8381, 8382, 8383, 8385, 16579, 8388, 8389, 16581, 8391, 16587, 8398, 16323, 8400, 8401, 8403, 8406, 8407, 8409, 16606, 8415, 16607, 16609, 16608, 16611, 16614, 16615, 16617, 8426, 8428, 8429, 8430, 8431, 8434, 8435, 8436, 8437, 8439, 16633, 16635, 16641, 8452, 8453, 8454, 8455, 8457, 8460, 8461, 8463, 8479, 8481, 8487, 16687, 16689, 16695, 8510, 8512, 8513, 8518, 8519, 8520, 8521, 8526, 8527, 8529, 8536, 8537, 8538, 8539, 8544, 8545, 8547, 8553, 8562, 8563, 8565, 8571, 8588, 8590, 8591, 8592, 8593, 8596, 8597, 8598, 8599, 8601, 8604, 8605, 16798, 8607, 16800, 16801, 16799, 16796, 16804, 16805, 8614, 8615, 8616, 8617, 16807, 8619, 16812, 16813, 8622, 8623, 16815, 8625, 16809, 16822, 8631, 16824, 16825, 16827, 16830, 16831, 8641, 16833, 8643, 16839, 8649, 16850, 16852, 16853, 16854, 16855, 16858, 16859, 8668, 8669, 8670, 8671, 16861, 8673, 16866, 16867, 8676, 8677, 16869, 8679, 16863, 16876, 16877, 16878, 16879, 16380, 16881, 16381, 16884, 16885, 8695, 16887, 8697, 16893, 8703, 16903, 16905, 16911, 16930, 16932, 16933, 16935, 16938, 16939, 16941, 16957, 16959, 16965, 8792, 8798, 8800, 8816, 8818, 8819, 17012, 8822, 17014, 8824, 8825, 8826, 8827, 17017, 17016, 17015, 17023, 17020, 17021, 17022, 17025, 17028, 17029, 17031, 8846, 17038, 17039, 17041, 17040, 17043, 8852, 8854, 17047, 17046, 17049, 17055, 8864, 8870, 8872, 8873, 17065, 17067, 8876, 8878, 8879, 8880, 8881, 17073, 8888, 8890, 8891, 8894, 8896, 8897, 8898, 8899, 17092, 17093, 8902, 8903, 8904, 8905, 17095, 8907, 17094, 17097, 17101, 17100, 17103, 17109, 8918, 8924, 8926, 8927, 17119, 17121, 8930, 8932, 8933, 8935, 17127, 8942, 8944, 8945, 8948, 8950, 8951, 8952, 8953, 8956, 8957, 8958, 8959, 8961, 8966, 8968, 8969, 8970, 8971, 8974, 8975, 8976, 8977, 8979, 17173, 8982, 8983, 17175, 8985, 17181, 800, 806, 808, 9008, 9014, 9016, 9032, 9034, 9035, 9038, 9040, 9041, 9042, 9043, 854, 860, 862, 9056, 9058, 9059, 9060, 9061, 17254, 17255, 9064, 9065, 9066, 9067, 17257, 9069, 878, 17256, 880, 881, 17259, 17263, 884, 17262, 886, 887, 888, 889, 9080, 9086, 9088, 9089, 17281, 17283, 9092, 9094, 9095, 9097, 17289, 908, 9104, 914, 9106, 916, 9107, 9110, 9112, 9113, 9114, 9115, 9118, 9119, 9120, 9121, 9123, 932, 934, 935, 9128, 938, 9130, 940, 941, 942, 943, 9133, 9132, 9131, 9139, 9136, 9137, 9138, 9141, 9144, 9145, 17335, 9147, 956, 17337, 958, 959, 960, 961, 17343, 964, 965, 966, 967, 9160, 969, 9161, 9158, 9164, 9166, 9167, 9169, 9172, 9173, 9175, 9182, 9184, 9185, 9186, 9187, 9190, 9191, 9192, 9193, 9195, 9198, 9199, 9201, 1016, 9208, 9209, 9211, 9210, 9213, 1022, 6716, 1024, 9217, 9216, 9219, 9225, 1034, 1040, 1042, 1043, 1048, 1049, 1051, 9248, 9250, 9251, 9254, 9256, 9257, 9259, 1070, 1076, 1078, 9272, 9274, 9275, 9276, 9277, 1088, 9280, 9281, 9283, 9282, 9285, 1094, 1096, 1097, 1100, 1102, 1103, 1104, 1105, 9298, 9299, 9300, 9301, 9303, 1112, 1114, 1115, 9307, 9306, 1118, 9309, 1120, 1121, 1122, 1123, 1126, 1127, 1128, 1129, 9322, 1131, 9323, 9320, 9326, 9328, 9329, 9331, 1142, 9334, 9335, 9337, 1148, 1150, 1151, 17536, 17537, 1154, 17539, 1156, 1157, 1158, 1159, 17542, 17545, 17543, 17544, 17547, 9355, 1166, 9352, 1168, 1169, 9361, 9360, 1172, 9363, 1174, 1175, 1176, 1177, 17560, 17563, 1180, 1181, 1182, 1183, 17561, 1185, 17569, 17562, 17571, 17565, 1190, 9375, 1192, 1193, 1194, 1195, 9379, 9387, 1198, 1199, 1200, 1201, 17584, 1203, 17585, 17582, 1206, 1207, 17590, 1209, 17593, 17591, 17596, 17597, 9400, 17599, 9403, 9409, 9401, 9406, 9407, 10011, 17606, 9415, 17608, 17609, 17610, 17611, 17614, 17615, 1232, 17617, 17616, 17619, 9427, 9424, 1238, 17623, 1240, 17622, 17625, 9426, 9429, 9433, 9432, 9435, 17632, 17633, 1250, 17635, 17634, 17637, 9441, 1256, 17641, 1258, 1259, 17640, 17643, 1264, 1265, 17649, 1267, 1274, 1276, 1277, 17662, 1282, 1283, 17668, 1285, 17671, 1291, 17677, 17686, 1304, 17689, 17688, 1310, 17695, 1312, 1313, 17694, 17697, 1316, 1318, 1319, 1320, 1321, 17703, 9512, 9518, 1328, 17713, 1330, 1331, 17715, 9524, 1334, 9526, 1336, 1337, 1338, 1339, 17721, 9529, 1342, 1343, 1344, 1345, 9538, 1347, 9539, 9536, 9542, 1352, 9544, 1354, 1355, 1356, 1357, 9550, 9551, 1360, 1361, 1362, 1363, 9553, 1365, 17750, 9552, 1368, 1369, 17752, 1371, 17755, 17753, 17758, 17759, 9566, 17761, 9572, 1382, 9574, 1384, 1385, 9578, 9575, 1388, 9580, 1390, 1391, 1392, 1393, 17776, 17779, 1396, 1397, 1398, 1399, 17784, 1401, 17785, 17778, 17787, 17781, 1406, 9598, 1408, 1409, 1410, 1411, 9604, 9605, 1414, 1415, 1416, 1417, 17802, 1419, 17803, 17805, 1422, 1423, 9616, 1425, 9618, 17811, 9619, 9617, 9614, 9622, 9623, 9625, 9624, 9627, 17822, 9631, 17824, 17825, 9630, 17827, 9633, 17830, 17831, 17833, 9644, 9646, 17839, 9647, 9650, 9652, 9653, 9654, 9655, 17848, 17849, 17850, 17851, 9658, 17853, 9661, 9659, 17856, 17857, 9660, 17859, 9663, 9668, 9670, 9671, 9672, 17865, 9673, 10063, 9676, 9677, 9678, 9679, 10065, 9681, 17875, 9684, 17877, 9685, 9687, 17883, 1502, 9694, 9695, 9697, 9696, 9699, 1508, 1510, 9703, 9702, 9705, 17902, 9711, 17905, 10072, 17911, 1528, 1534, 9728, 1537, 9734, 9736, 17929, 9737, 17931, 11705, 9740, 9742, 9743, 11706, 17937, 9745, 9744, 1556, 11707, 9752, 1562, 9754, 1564, 9755, 9758, 10080, 9760, 9761, 9762, 9763, 10081, 9766, 9767, 9768, 9769, 9771, 1580, 10083, 1582, 1583, 9776, 1586, 9778, 1588, 1589, 1590, 1591, 9781, 9780, 9779, 9787, 9784, 9785, 9786, 9789, 9792, 9793, 9795, 1606, 1608, 1609, 17992, 17995, 1612, 17993, 1614, 1615, 9808, 1617, 9809, 9806, 9812, 9814, 9815, 9816, 9817, 9820, 9821, 9822, 9823, 9825, 1634, 18019, 1636, 1637, 18018, 18021, 9832, 9833, 9834, 9835, 9830, 9838, 9839, 9840, 9841, 9843, 9846, 9847, 9849, 1658, 1660, 1661, 1662, 1663, 18045, 9856, 9857, 9859, 9858, 9861, 9864, 11730, 9865, 9867, 18064, 18065, 9873, 18067, 1684, 1686, 1687, 11733, 1689, 18073, 9884, 9886, 9887, 9888, 9889, 9892, 9893, 9894, 9895, 9897, 18091, 9900, 18093, 9901, 9903, 18099, 1718, 9910, 9911, 9913, 9912, 9915, 1724, 1726, 9919, 9918, 18254, 9921, 9927, 1736, 1742, 1744, 1745, 9937, 9939, 1750, 1751, 1753, 9945, 18145, 1762, 1768, 1771, 9968, 1777, 9970, 9971, 9974, 9976, 9977, 9978, 9979, 1790, 9982, 9983, 9985, 9984, 9987, 1796, 1798, 1799, 9992, 1802, 9994, 1804, 1805, 1806, 1807, 9997, 9996, 9995, 10003, 10000, 10001, 1814, 10002, 1816, 1817, 10009, 11759, 1820, 10008, 1822, 1823, 1824, 1825, 11760, 10018, 1828, 1829, 1830, 1831, 11761, 1833, 10021, 10019, 10020, 10023, 10027, 10026, 1840, 10029, 1842, 1843, 10035, 1846, 1848, 1849, 1851, 1854, 1855, 10048, 1857, 10050, 10051, 10049, 10046, 10054, 10055, 10056, 10057, 10059, 1868, 1870, 1871, 18256, 18257, 1874, 18259, 1876, 1877, 1878, 1879, 18258, 18265, 18262, 18263, 18264, 18267, 18270, 18271, 10075, 18273, 10073, 10074, 1892, 10077, 1894, 1895, 1896, 1897, 18280, 18283, 1900, 1901, 1902, 1903, 18281, 1905, 18282, 18285, 18289, 18288, 18291, 10099, 10101, 18297, 10107, 1918, 1920, 1921, 1923, 18308, 1926, 1927, 18310, 1929, 18313, 18312, 18311, 18316, 18317, 18319, 18318, 18321, 10129, 10126, 18324, 18325, 10127, 18327, 10128, 11784, 10131, 10135, 10134, 10137, 18334, 18335, 18336, 18337, 10143, 18339, 1958, 13415, 1960, 1961, 18343, 18342, 18345, 10153, 1966, 1967, 18351, 1969, 10155, 10161, 1976, 18361, 1978, 1979, 18363, 1984, 1985, 18369, 1987, 1993, 2002, 18388, 2005, 18390, 18391, 2011, 18396, 18397, 18399, 18405, 2030, 18415, 2032, 2033, 18417, 2036, 2038, 2039, 2040, 2041, 18423, 2044, 2045, 2046, 2047, 10240, 2049, 10241, 10238, 10244, 2054, 10246, 2056, 2057, 2058, 2059, 10252, 10253, 2062, 2063, 2064, 2065, 10255, 2067, 10254, 10257, 2070, 2071, 10264, 2073, 10266, 10267, 10270, 2080, 10273, 2082, 2083, 10272, 2085, 10278, 10279, 2088, 2089, 10281, 2091, 10275, 18472, 18475, 18474, 18473, 2097, 18481, 18478, 10292, 18479, 10294, 10295, 18487, 18486, 10298, 18489, 10300, 10301, 2110, 2111, 10303, 2113, 10306, 10307, 2116, 2117, 2118, 2119, 10309, 2121, 10308, 10311, 10316, 18501, 10318, 10319, 10320, 10321, 18505, 18513, 10324, 10325, 2134, 2135, 2136, 2137, 10327, 2139, 10332, 10333, 2142, 2143, 10335, 2145, 10329, 18523, 18525, 18531, 10342, 10344, 10345, 10347, 10350, 10351, 10353, 18550, 10359, 18551, 18553, 18552, 18555, 18558, 18559, 18561, 10370, 10372, 10373, 10374, 10375, 18567, 10378, 10379, 10380, 10381, 10383, 18577, 18579, 18585, 10396, 10397, 10398, 10399, 10401, 10404, 10405, 10407, 10423, 10425, 10431, 18631, 18633, 18639, 2258, 10454, 2264, 10456, 2266, 10457, 10460, 10462, 10463, 10464, 10465, 10468, 10469, 10470, 10471, 10473, 10478, 10480, 10481, 10482, 10483, 10486, 10487, 10488, 10489, 10491, 10494, 10495, 10497, 2312, 10504, 10506, 10507, 10509, 2318, 2320, 10513, 10512, 10515, 18712, 18713, 18714, 18715, 10521, 18717, 2336, 18721, 2338, 2339, 18720, 18723, 2342, 10534, 2344, 2345, 2346, 2347, 10537, 10536, 10535, 10543, 10540, 10541, 10542, 18739, 10548, 18741, 10549, 10551, 10545, 18747, 2366, 10558, 10559, 10561, 10560, 10563, 2372, 2374, 10567, 10566, 10569, 10575, 2390, 2392, 2393, 10585, 10587, 2396, 2398, 2399, 2400, 2401, 10593, 10247, 10248, 18793, 18795, 2414, 10249, 2416, 2417, 2418, 2419, 18801, 10612, 2422, 2423, 2424, 2425, 10615, 2427, 10613, 10614, 10617, 10621, 10620, 10623, 10639, 10641, 10647, 2474, 2480, 2482, 2498, 2500, 2501, 10694, 2504, 10696, 2506, 2507, 10699, 2509, 10698, 10697, 10702, 10705, 10703, 10704, 10707, 10710, 10711, 10713, 2528, 10720, 10721, 10723, 10722, 10725, 2534, 2536, 10729, 10728, 10731, 10737, 2546, 2552, 2554, 2555, 10747, 10749, 2558, 2560, 2561, 2562, 2563, 10755, 2570, 2572, 2573, 2576, 2578, 2579, 2580, 2581, 10774, 10775, 2584, 2585, 2586, 2587, 10777, 2589, 10776, 10779, 10783, 10782, 10785, 10791, 2600, 2606, 2608, 2609, 10801, 10803, 2612, 2614, 2615, 2617, 10809, 2624, 2626, 2627, 2630, 2632, 2633, 2634, 2635, 16806, 2638, 2639, 2640, 2641, 2643, 2648, 2650, 2651, 2652, 2653, 2656, 2657, 2658, 2659, 2661, 10855, 2664, 2665, 10857, 2667, 10863, 10302, 2690, 2696, 2698, 2714, 2716, 2717, 2720, 2722, 2723, 2725, 2738, 2740, 2741, 2743, 2746, 2747, 2749, 2762, 2768, 2770, 2771, 2774, 2776, 2777, 2779, 10976, 2786, 10978, 2788, 2789, 10982, 10979, 2792, 10984, 2794, 2795, 2796, 2797, 10987, 10986, 2800, 2801, 2802, 2803, 10326, 2805, 11000, 2810, 11002, 2812, 2813, 2814, 2815, 11008, 11009, 2818, 2819, 2820, 2821, 11011, 2823, 11010, 11013, 2826, 2827, 2829, 11024, 11030, 2840, 11032, 2842, 2843, 11036, 11033, 2846, 11038, 2848, 2849, 11041, 2851, 11039, 2854, 2855, 11048, 2857, 11050, 11051, 11054, 2864, 11056, 2866, 2867, 2868, 2869, 11062, 11063, 2872, 2873, 2874, 2875, 11065, 2877, 11064, 11067, 2880, 2881, 11074, 2883, 11076, 11077, 11075, 11072, 11080, 11081, 11082, 11083, 11085, 11088, 11089, 11091, 16860, 11102, 11108, 11110, 11111, 11116, 11117, 11119, 11126, 11128, 11129, 11134, 11135, 11136, 11137, 18496, 11142, 11143, 18497, 11145, 18498, 2960, 11152, 11153, 11155, 11154, 18499, 2966, 2968, 11161, 11160, 11163, 11169, 2984, 2986, 2987, 18504, 2990, 2992, 2993, 2995, 11192, 11194, 11195, 18507, 11198, 11200, 11201, 11203, 3014, 3020, 3022, 11216, 11218, 11219, 11220, 11221, 11224, 11225, 11226, 11227, 11229, 3038, 3040, 3041, 3044, 3046, 3047, 3048, 3049, 11242, 11243, 11244, 11245, 11247, 11250, 11251, 11253, 3062, 3064, 3065, 3066, 3067, 3070, 3071, 3072, 3073, 11266, 3075, 11267, 11264, 11270, 11272, 11273, 11275, 11278, 11279, 11281, 3092, 3094, 3095, 11288, 3098, 11290, 3100, 3101, 3102, 3103, 11293, 11292, 11291, 11299, 11296, 11297, 11298, 11301, 11304, 11305, 11307, 3116, 3118, 3119, 3120, 3121, 11314, 11315, 3124, 3125, 3126, 3127, 11317, 3129, 11316, 11319, 11323, 11322, 11325, 13649, 11331, 3142, 3143, 3144, 3145, 3147, 3150, 3151, 11344, 3153, 11345, 11342, 11350, 11351, 11353, 11359, 3176, 11368, 11369, 11371, 11370, 3182, 3184, 11377, 11376, 11379, 11385, 3194, 3200, 3202, 3203, 11395, 11397, 3206, 3208, 3209, 3211, 11403, 3218, 3220, 3221, 3224, 3226, 3227, 3229, 3232, 3233, 3235, 11432, 11434, 11435, 11437, 3248, 11440, 11441, 11443, 3254, 3256, 3257, 3260, 3262, 3263, 3264, 3265, 11458, 11459, 11460, 11461, 11463, 3272, 3274, 3275, 11467, 11466, 3278, 11469, 3280, 3281, 3282, 3283, 3286, 3287, 3288, 3289, 3291, 11484, 11485, 11487, 3296, 3298, 3299, 3300, 3301, 11493, 3304, 3305, 3306, 3307, 3309, 3312, 3313, 11506, 3315, 11507, 11509, 11504, 11512, 11513, 11515, 3326, 3328, 3329, 11521, 3332, 3334, 3335, 3336, 3337, 11530, 11531, 3340, 3341, 3342, 3343, 11533, 3345, 11532, 11535, 11539, 11538, 3350, 11541, 3352, 3353, 3354, 3355, 11547, 3358, 3359, 3360, 3361, 3363, 11557, 3366, 3367, 11559, 3369, 11565, 3376, 3377, 3378, 3379, 3381, 3384, 3385, 3387, 11584, 3393, 11585, 11587, 11593, 3410, 3416, 3418, 3419, 11611, 11613, 3422, 3424, 3425, 3427, 11619, 3434, 3436, 3437, 3440, 3442, 3443, 3445, 3448, 3449, 3451, 3458, 3460, 3461, 3463, 3466, 3467, 9581, 3469, 3475, 3488, 3490, 3491, 9582, 3494, 3496, 3497, 3498, 3499, 3502, 3503, 3504, 3505, 11698, 3507, 11699, 11696, 11702, 3512, 11704, 3514, 3515, 3516, 3517, 11710, 11711, 3520, 3521, 3522, 3523, 11713, 3525, 11712, 11715, 3528, 3529, 11722, 3531, 11724, 11725, 11723, 11720, 11728, 11729, 3538, 3539, 3540, 3541, 11731, 3543, 11736, 11737, 3546, 3547, 15359, 3549, 11739, 3555, 11750, 11752, 11753, 11756, 3566, 11758, 3568, 3569, 3570, 3571, 11764, 11765, 3574, 3575, 3576, 3577, 11767, 3579, 11766, 11769, 3582, 3583, 11776, 3585, 11778, 11779, 11777, 11774, 11782, 11783, 3592, 3593, 3594, 3595, 11785, 3597, 11790, 11791, 3600, 3601, 11793, 3603, 11787, 11800, 3609, 11801, 11803, 11802, 11805, 11808, 11809, 11811, 11817, 11828, 15377, 11830, 11831, 15378, 11836, 11837, 11838, 11839, 15379, 11844, 11845, 11847, 11854, 11855, 11856, 11857, 11862, 11863, 11865, 11871, 3686, 3688, 3689, 11881, 11883, 3692, 3694, 3695, 3697, 11889, 3712, 3715, 3718, 11912, 3721, 11914, 11915, 11918, 11920, 11921, 11922, 11923, 11926, 11927, 11928, 11929, 11931, 3740, 3742, 3743, 11936, 3746, 11938, 3748, 3749, 3750, 3751, 11941, 11940, 11939, 11947, 11944, 11945, 11946, 11949, 11952, 11953, 11955, 3764, 3766, 3767, 3768, 3769, 11962, 11963, 3772, 3773, 3774, 3775, 11965, 3777, 11964, 11967, 11971, 11970, 11973, 11979, 3790, 3792, 3793, 3795, 3798, 3799, 11992, 3801, 11994, 11995, 11993, 11990, 11998, 11999, 12000, 12001, 12003, 12006, 12007, 12009, 3818, 3820, 3821, 3822, 3823, 12016, 12017, 12018, 12019, 12021, 12024, 12025, 12027, 10532, 12033, 3844, 3845, 3846, 3847, 3849, 12043, 12045, 12051, 3870, 3871, 3873, 12070, 12071, 12072, 12073, 12078, 12079, 12081, 12087, 3896, 3902, 3904, 3905, 12097, 12099, 3908, 3910, 3911, 15431, 3913, 12105, 15432, 3920, 15433, 3922, 3923, 3926, 3928, 3929, 3931, 3934, 3935, 3937, 3946, 3949, 3952, 3955, 12152, 3961, 12154, 12155, 12156, 12157, 12160, 12161, 12162, 12163, 12165, 3974, 3976, 3977, 12169, 12168, 3980, 12171, 3982, 3983, 3984, 3985, 12178, 12179, 3988, 3989, 3990, 3991, 12181, 3993, 12180, 12183, 12187, 12186, 3998, 12189, 4000, 4001, 4002, 4003, 12195, 4006, 4007, 4008, 4009, 4011, 12205, 4014, 4015, 12207, 4017, 12213, 4024, 4026, 4027, 4029, 4032, 4033, 4035, 12232, 4041, 12233, 12235, 12234, 12237, 12240, 12241, 12243, 4052, 4054, 4055, 4056, 4057, 12249, 4060, 4061, 4062, 4063, 4065, 12259, 12261, 12267, 4078, 4079, 4080, 4081, 4083, 4086, 4087, 4089, 4105, 4107, 4113, 12313, 12315, 12321, 4136, 4138, 4139, 4142, 4144, 4145, 4147, 4150, 4151, 4153, 4160, 4162, 4163, 4165, 4168, 4169, 4171, 4177, 4186, 4189, 4195, 4214, 4216, 4217, 4218, 4219, 4222, 4223, 4224, 4225, 4227, 4230, 4231, 12424, 4233, 12426, 12427, 12425, 12422, 12430, 12431, 4240, 4241, 4242, 4243, 12433, 4245, 12438, 12439, 4248, 4249, 12441, 4251, 12435, 12448, 4257, 12450, 12451, 12453, 12456, 12457, 4267, 12459, 4269, 12465, 4275, 12476, 12478, 12479, 12480, 12481, 12484, 12485, 4294, 4295, 4296, 4297, 12487, 4299, 12492, 12493, 4302, 4303, 12495, 4305, 12489, 12502, 12503, 12504, 12505, 12507, 12510, 12511, 4321, 12513, 4323, 12519, 4329, 12529, 12531, 12537, 12556, 12557, 12558, 12559, 12564, 12565, 12567, 12583, 12585, 12591, 4418, 4424, 4426, 4442, 4444, 4445, 12638, 12640, 12641, 4450, 4451, 12643, 4453, 12642, 12646, 12647, 12649, 12648, 12651, 12654, 12655, 12657, 4472, 12664, 12665, 12667, 12666, 12669, 4478, 4480, 12673, 12672, 12675, 12681, 4496, 4498, 4499, 12691, 12693, 4502, 4504, 4505, 4506, 4507, 12699, 4520, 4522, 4523, 4524, 4525, 12718, 12719, 4528, 4529, 4530, 4531, 12721, 4533, 12720, 12723, 12727, 12726, 12729, 12735, 4550, 12745, 12747, 4558, 4559, 12753, 4574, 4576, 4577, 4582, 4583, 4584, 4585, 4600, 4601, 4602, 4603, 12799, 4609, 12801, 4611, 12807, 4634, 4640, 4642, 4658, 4660, 4661, 4664, 4666, 4667, 4669, 4682, 4684, 4685, 4687, 12880, 12881, 4690, 4691, 12883, 4693, 12882, 12885, 12888, 12889, 12891, 12897, 4706, 4712, 4714, 4715, 12907, 12909, 4718, 4720, 4721, 4723, 12915, 4730, 4732, 4733, 4736, 4738, 4739, 4740, 4741, 4744, 4745, 4746, 4747, 4749, 4754, 4756, 4757, 4758, 4759, 4762, 4763, 4764, 4765, 4767, 12961, 4770, 4771, 12963, 4773, 12969, 4784, 4790, 4792, 4793, 4798, 4799, 4801, 4808, 4810, 4811, 4816, 4817, 4818, 4819, 4824, 4825, 4827, 4834, 4835, 4836, 4837, 4842, 4843, 4845, 4851, 4874, 4876, 4877, 4882, 4883, 4885, 4898, 4900, 4901, 4903, 4906, 4907, 4909, 4924, 4925, 4927, 4933, 17265, 4946, 4948, 4949, 4952, 4954, 4955, 4957, 4960, 4961, 4963, 4970, 4972, 4973, 4974, 4975, 13166, 4978, 4979, 4980, 4981, 13174, 4983, 13172, 4986, 4987, 4989, 4996, 4997, 4998, 4999, 13192, 5001, 13193, 13190, 5004, 5005, 13198, 5007, 13199, 13201, 5013, 5026, 5027, 13220, 5032, 5033, 13226, 5035, 13228, 5041, 13238, 5050, 5051, 5052, 5053, 13246, 13247, 13244, 5058, 5059, 13252, 5061, 13254, 13255, 13253, 13250, 5067, 13262, 13264, 13265, 13268, 13270, 13271, 13272, 13273, 13276, 13277, 13278, 13279, 13281, 13300, 13306, 13309, 13318, 13324, 13326, 13327, 15675, 13330, 13332, 13333, 13335, 5144, 5146, 5147, 5150, 13342, 5152, 5153, 13345, 5155, 13348, 13350, 13351, 13353, 13357, 13359, 5168, 5170, 5171, 5173, 5176, 5177, 5179, 13382, 13388, 5198, 13390, 5200, 5201, 5204, 12432, 5206, 5207, 5208, 5209, 13406, 13408, 13409, 5222, 13414, 5224, 5225, 5226, 5227, 13417, 13416, 5230, 5231, 5232, 5233, 5235, 13432, 13433, 13434, 13435, 5248, 5249, 5250, 5251, 13441, 5253, 13440, 13443, 5256, 5257, 5259, 13454, 13460, 13462, 13463, 13466, 5276, 13468, 5278, 5279, 13471, 13469, 5284, 5285, 5286, 5287, 13480, 13481, 13478, 13484, 13486, 13487, 13488, 13489, 13492, 13493, 5302, 5303, 5304, 5305, 13495, 13494, 13497, 5310, 5311, 13504, 5313, 13506, 13507, 13505, 13502, 13510, 13511, 13512, 13513, 13515, 13518, 13519, 5328, 5329, 13521, 5331, 5337, 13534, 13540, 13543, 5354, 13546, 13549, 5360, 5362, 5363, 5366, 13558, 5368, 5369, 13561, 5371, 13560, 13564, 13566, 13567, 13569, 5378, 5380, 5381, 13573, 13572, 5384, 13575, 5386, 5387, 5389, 13582, 5392, 5393, 13585, 5395, 13584, 13587, 13590, 13591, 13593, 5402, 5404, 5405, 5407, 13599, 5410, 5411, 5413, 5419, 13622, 5432, 13624, 5434, 5435, 13625, 5438, 5440, 5441, 5442, 5443, 5446, 5447, 5448, 5449, 5451, 5456, 13648, 5458, 5459, 5460, 5461, 13651, 13650, 5464, 5465, 5466, 5467, 5469, 5472, 5473, 5475, 12486, 5482, 5483, 5484, 5485, 13675, 5487, 13674, 13677, 5490, 5491, 14117, 5493, 5499, 13694, 13696, 13697, 13700, 5510, 13702, 5512, 5513, 13705, 13703, 5518, 5519, 5520, 5521, 5526, 5527, 13720, 5529, 13722, 13723, 13721, 13718, 13726, 13727, 5536, 5537, 5538, 5539, 13729, 13728, 13731, 5544, 5545, 5547, 13744, 5553, 13745, 13747, 13746, 13749, 13752, 13753, 5563, 13755, 5565, 5571, 13774, 13777, 13780, 13783, 5594, 5596, 5597, 5600, 5602, 5603, 5605, 13798, 5608, 5609, 13801, 5611, 13800, 13803, 13806, 13807, 13809, 5618, 5620, 5621, 5623, 5626, 5627, 5629, 5635, 5644, 5645, 5647, 5653, 5672, 5674, 5675, 5676, 5677, 5680, 5681, 5682, 5683, 5685, 5688, 5689, 5691, 13886, 5698, 5699, 5700, 5701, 13894, 5703, 13895, 13892, 5706, 5707, 13900, 5709, 13902, 13903, 13901, 5715, 13910, 13912, 13913, 5725, 13918, 5727, 13920, 13921, 13919, 5733, 13926, 13927, 13929, 13940, 5752, 5753, 5754, 5755, 13948, 13949, 13946, 5760, 5761, 13954, 5763, 13956, 13957, 13955, 13952, 5769, 13964, 13966, 13967, 13970, 5779, 13972, 5781, 13974, 13975, 13973, 13978, 5787, 13979, 13981, 13980, 13983, 13988, 13990, 13991, 13992, 13993, 13996, 13997, 13998, 13999, 14001, 14004, 14005, 14007, 14020, 14026, 14028, 14029, 14032, 14034, 14035, 14037, 14044, 14046, 14047, 14050, 14052, 14053, 14055, 14058, 14059, 14061, 5870, 5872, 5873, 5875, 14068, 5878, 5879, 14071, 5881, 14070, 14073, 14076, 14077, 14079, 14085, 5896, 5899, 5905, 18470, 14102, 14108, 14110, 14111, 5924, 14116, 5926, 5927, 5928, 5929, 14119, 14118, 5932, 5933, 5934, 5935, 14128, 5937, 14129, 14126, 10005, 14134, 14135, 14136, 14137, 5950, 5951, 5952, 5953, 14143, 5955, 14142, 14145, 5958, 5959, 14152, 5961, 14154, 14155, 14153, 14160, 14161, 14163, 5976, 5977, 14169, 5979, 5985, 14180, 14182, 14183, 14186, 14188, 14189, 14190, 14191, 14194, 14195, 6004, 6005, 6006, 6007, 14197, 14196, 14199, 9583, 14204, 14206, 14207, 14208, 14209, 14212, 14213, 14214, 14215, 14217, 14220, 14221, 6030, 6031, 14223, 6033, 14230, 14231, 14232, 14233, 14235, 14238, 14239, 14241, 9344, 14247, 6057, 9346, 14260, 9347, 14262, 14263, 9348, 14266, 14268, 14269, 9349, 14271, 6080, 6082, 6083, 14275, 14274, 6086, 14277, 6088, 6089, 6091, 14284, 6094, 6095, 14287, 6097, 14286, 14289, 14292, 14293, 9353, 14295, 6104, 9354, 6106, 6107, 6109, 14301, 6112, 6113, 6115, 10985, 9357, 14311, 6121, 14313, 14319, 6130, 6133, 6139, 14342, 14344, 14345, 18480, 6158, 14350, 6160, 6161, 6162, 6163, 14353, 14352, 6166, 6167, 6168, 6169, 6171, 6174, 6175, 14368, 6177, 14370, 14371, 14369, 9370, 6184, 6185, 6186, 6187, 14377, 6189, 14376, 14379, 6192, 6193, 9371, 6195, 9372, 9373, 6201, 14394, 14395, 14397, 11003, 6211, 14403, 6213, 11004, 11005, 6219, 9378, 14420, 14422, 14423, 14424, 14425, 18483, 14428, 14429, 6238, 6239, 6240, 6241, 14431, 14430, 14433, 9381, 6246, 6247, 6249, 14446, 14447, 14448, 14449, 14451, 14454, 14455, 6265, 14457, 6267, 6273, 14473, 14475, 14481, 17534, 14500, 14502, 14503, 14505, 14508, 14509, 14511, 17538, 6322, 6323, 9398, 6325, 6328, 6329, 6331, 14527, 6337, 14529, 14535, 6346, 6347, 6349, 6355, 6373, 6400, 6401, 6402, 6403, 6405, 6408, 6409, 6411, 6417, 14612, 14614, 14615, 6427, 14620, 6429, 14622, 14623, 14621, 6435, 14628, 14629, 14631, 14638, 14641, 14646, 14647, 14649, 9425, 14655, 14666, 14668, 14669, 11057, 14672, 6481, 14674, 6483, 14676, 14677, 14675, 11058, 14680, 6489, 14681, 14683, 14682, 14685, 11059, 14690, 14692, 14693, 14694, 14695, 14698, 14699, 14700, 14701, 14703, 14706, 14707, 14709, 14716, 14718, 14719, 14721, 14724, 14725, 14727, 14733, 14746, 14749, 14752, 14754, 14755, 14757, 17588, 14770, 14772, 14773, 14775, 14778, 14779, 14781, 14797, 14799, 14805, 6632, 14828, 14830, 14831, 6640, 6638, 14836, 14837, 14838, 14839, 14844, 14845, 14847, 14854, 14855, 14856, 14857, 14351, 14862, 14863, 14865, 14871, 6686, 14880, 14881, 14883, 6692, 6694, 14889, 6704, 6710, 6712, 6713, 14906, 14908, 14909, 14910, 14911, 6718, 6721, 14914, 14915, 14916, 14917, 6720, 14919, 6719, 14922, 14923, 14925, 14932, 14933, 14934, 14935, 6740, 14937, 6746, 14940, 14941, 6748, 14943, 14949, 6758, 6764, 6766, 14959, 6767, 14961, 6770, 6772, 6773, 6774, 14967, 6775, 6782, 6784, 6785, 6788, 6790, 6791, 6792, 6793, 14986, 14988, 14989, 6796, 14991, 6799, 6797, 14994, 14995, 6798, 14997, 6801, 15013, 15015, 15021, 6848, 6854, 6856, 6872, 6874, 6875, 15070, 15071, 6880, 15073, 6882, 6883, 6881, 15078, 15079, 15081, 6902, 15096, 15097, 15099, 6908, 6910, 15105, 6920, 6926, 6928, 6929, 15123, 6932, 6934, 6935, 6936, 6937, 9520, 9521, 6944, 6946, 6947, 6950, 6952, 6953, 6954, 6955, 15148, 15149, 15150, 15151, 6958, 15153, 6961, 6959, 15156, 15157, 6960, 15159, 6963, 9527, 6974, 9528, 6980, 6982, 15175, 6983, 15177, 6986, 6988, 6989, 15183, 6991, 6998, 7000, 7001, 7004, 7006, 7007, 7008, 7009, 7012, 7013, 7014, 7015, 7017, 7022, 7024, 7025, 7026, 7027, 7030, 7031, 7032, 7033, 7035, 15229, 7038, 15231, 7039, 7041, 15237, 7064, 9545, 9546, 7070, 7072, 9547, 7088, 7090, 7091, 7096, 7097, 7098, 7099, 7114, 7115, 7116, 7117, 9555, 7122, 7123, 7125, 7136, 7142, 7144, 7145, 7148, 7150, 7151, 7153, 15350, 7160, 15352, 7162, 7163, 15356, 15353, 7166, 15358, 7168, 7169, 7170, 7171, 15361, 15360, 7174, 7175, 7176, 7177, 16080, 7179, 16081, 15374, 7184, 15376, 7186, 7187, 7188, 7189, 15382, 15383, 7192, 7193, 7194, 7195, 15385, 7197, 15384, 15387, 7200, 7201, 7203, 15398, 15404, 7214, 15406, 7216, 7217, 15410, 15407, 7220, 15412, 7222, 7223, 15415, 7225, 15413, 7228, 7229, 15422, 7231, 15424, 15425, 15428, 7238, 15430, 7240, 7241, 7242, 7243, 15436, 15437, 7246, 7247, 7248, 7249, 15439, 7251, 15438, 15441, 7254, 7255, 15448, 7257, 15450, 15451, 15449, 15446, 15454, 15455, 15456, 15457, 15459, 15462, 15463, 15465, 15478, 9590, 15484, 15487, 16104, 15490, 16079, 9592, 15493, 9593, 15502, 15504, 15505, 15508, 15510, 15511, 9596, 15513, 15516, 15517, 15519, 7334, 15526, 15528, 15529, 9599, 15531, 7340, 9600, 7342, 15535, 15534, 15537, 9601, 15543, 7352, 7358, 7360, 7361, 7366, 7367, 7368, 7369, 9606, 15566, 10062, 15568, 15569, 9607, 15572, 15574, 15575, 15577, 9609, 7388, 7394, 7396, 15590, 15592, 15593, 15594, 15595, 7406, 15598, 15599, 15601, 15600, 15603, 7412, 7414, 7415, 7418, 7420, 7421, 7422, 7423, 15616, 15617, 15618, 15619, 15621, 7430, 7432, 7433, 15625, 15624, 7436, 15627, 7438, 7439, 7440, 7441, 16133, 7444, 7445, 7446, 7447, 15640, 7449, 15641, 15638, 15644, 16135, 15646, 15647, 16134, 15649, 7460, 15652, 15653, 15655, 7466, 7468, 7469, 15662, 7472, 15664, 7474, 7475, 7476, 7477, 15667, 15666, 15665, 15673, 15670, 15671, 7484, 15672, 7486, 7487, 15679, 15678, 7490, 15681, 7492, 7493, 7494, 7495, 15688, 15689, 7498, 7499, 7500, 7501, 15691, 7503, 15690, 15693, 15697, 15696, 7508, 15699, 7510, 7511, 7512, 7513, 15705, 7516, 7517, 7518, 7519, 7521, 17777, 7524, 7525, 15718, 7527, 15721, 15724, 15727, 15733, 7550, 15742, 15744, 15745, 15747, 7556, 7558, 15751, 15750, 15753, 15759, 7568, 16158, 7574, 7576, 7577, 15769, 15771, 7582, 7583, 7584, 7585, 15777, 7592, 7594, 7595, 7600, 7601, 7602, 7603, 7608, 7609, 7611, 15806, 15808, 15809, 15811, 7622, 7628, 7630, 7631, 7634, 7636, 7637, 7638, 7639, 15832, 15833, 15834, 15835, 15837, 7646, 7648, 7649, 7652, 7654, 7655, 7656, 7657, 7660, 7661, 7662, 7663, 7665, 15858, 15859, 15861, 7670, 7672, 7673, 7674, 7675, 7678, 7679, 7680, 7681, 7683, 7686, 7687, 15880, 7689, 15881, 15883, 15878, 15886, 15887, 15889, 7700, 7702, 7703, 7706, 7708, 7709, 7710, 7711, 15904, 15905, 7714, 7715, 7716, 7717, 15907, 7719, 15906, 15909, 15913, 15912, 7724, 15915, 7726, 7727, 7728, 7729, 7732, 7733, 7734, 7735, 7737, 15931, 7740, 7741, 15933, 7743, 15939, 7750, 7751, 7752, 7753, 7755, 7758, 7759, 7761, 15958, 7767, 15961, 15967, 7784, 7790, 7792, 7793, 15985, 15987, 7798, 7799, 7800, 7801, 15993, 7808, 7810, 7811, 7816, 7817, 7818, 7819, 7824, 7825, 7827, 7834, 7835, 7836, 7837, 7842, 7843, 7845, 7851, 7862, 7864, 7865, 7868, 7870, 7871, 7872, 7873, 7876, 7877, 7878, 7879, 16072, 7881, 16073, 16070, 16076, 7886, 16078, 7888, 7889, 7890, 7891, 16084, 16085, 7894, 7895, 7896, 7897, 16087, 7899, 16086, 16089, 7902, 7903, 16096, 7905, 16098, 16099, 16097, 16094, 16102, 16103, 7912, 7913, 7914, 7915, 16105, 7917, 16110, 16111, 7920, 7921, 16113, 7923, 16107, 7929, 16124, 16126, 16127, 16130, 7940, 16132, 7942, 7943, 7944, 7945, 16138, 16139, 7948, 7949, 7950, 7951, 16141, 7953, 16140, 16143, 7956, 7957, 16150, 7959, 16152, 16153, 16151, 16148, 16156, 16157, 7966, 7967, 7968, 7969, 16159, 7971, 16164, 16165, 7974, 7975, 16167, 7977, 16161, 16174, 7983, 16175, 16177, 16176, 16179, 16182, 16183, 16185, 16191, 16204, 16206, 16207, 16210, 16212, 16213, 16215, 16218, 16219, 16221, 16228, 16230, 16231, 16233, 16236, 16237, 16239, 16245, 8054, 10089, 8060, 8062, 8063, 16255, 16257, 8068, 8069, 8070, 8071, 16263, 8080, 8086, 8088, 8089, 8094, 8095, 16288, 8097, 16289, 16286, 16292, 16294, 16295, 16296, 16297, 8108, 16300, 16301, 16303, 16302, 16305, 8114, 8116, 8117, 16310, 8120, 16312, 8122, 8123, 8124, 8125, 16315, 16314, 16313, 16321, 16318, 16319, 8132, 16320, 8134, 8135, 16327, 16326, 8138, 16329, 8140, 8141, 8142, 8143, 16336, 16337, 8146, 8147, 8148, 8149, 16339, 8151, 16338, 16341, 16345, 16344, 16347, 8158, 8160, 8161, 16353, 8164, 8166, 8167, 8169, 8172, 8173, 16366, 8175, 16368, 16369, 16367, 16364, 16372, 16373, 16374, 16375, 16377, 8186, 8188, 8189, 16383}