var POLLS_AND_RATINGS = {"polls": {167: {"length": 0}, 201: {0: 28, 1: 12, 2: 12, "length": 5, 3: 10, "choice_ids": [678, 679, 680, 681, 682], 4: 38}, 268: {0: 10, 1: 13, 2: 24, "length": 5, 3: 19, "choice_ids": [920, 919, 921, 922, 923], 4: 34}, 134: {0: 42, 1: 43, 2: 9, "length": 4, 3: 6, "choice_ids": [443, 444, 445, 446]}, 335: {0: 32, 1: 21, 2: 32, "length": 4, 3: 15, "choice_ids": [1168, 1169, 1170, 1171]}, 34: {0: 37, 1: 8, 2: 40, "length": 4, 3: 15, "choice_ids": [119, 120, 121, 122]}, 235: {0: 34, 1: 50, 2: 16, "length": 3, "choice_ids": [803, 804, 805]}, 101: {0: 40, 1: 39, 2: 1, "length": 4, 3: 20, "choice_ids": [329, 330, 331, 332]}, 302: {0: 0, 1: 0, 2: 0, "length": 5, 3: 0, "choice_ids": [1054, 1055, 1056, 1057, 1058], 4: 0}, 168: {"length": 0}, 68: {0: 23, 1: 6, 2: 5, "length": 4, 3: 66, "choice_ids": [202, 203, 204, 205]}, 336: {0: 34, 1: 33, 2: 33, "length": 3, "choice_ids": [1172, 1173, 1174]}, 1: [0, 0], 102: {"length": 0}, 303: {0: 7, 1: 13, 2: 4, "length": 4, 3: 76, "choice_ids": [1059, 1060, 1061, 1062]}, 169: {0: 23, 1: 16, 2: 48, "length": 4, 3: 13, "choice_ids": [569, 570, 571, 572]}, 270: {0: 12, 1: 52, 2: 20, "length": 4, 3: 16, "choice_ids": [928, 929, 930, 931]}, 136: {0: 26, 1: 20, 2: 54, "length": 3, "choice_ids": [451, 452, 453]}, 203: {5: 6, 0: 12, 6: 21, 1: 7, 2: 5, "length": 7, 3: 36, "choice_ids": [685, 686, 687, 688, 689, 690, 691], 4: 13}, 237: {0: 72, 1: 22, 2: 6, "length": 3, "choice_ids": [806, 807, 808]}, 103: {"length": 0}, 304: {0: 37, 1: 41, 2: 22, "length": 3, "choice_ids": [1063, 1064, 1065]}, 170: {0: 17, 1: 34, 2: 11, "length": 4, 3: 38, "choice_ids": [573, 574, 575, 576]}, 338: {0: 58, 1: 25, 2: 17, "length": 3, "choice_ids": [1179, 1180, 1181]}, 204: {0: 30, 1: 28, 2: 42, "length": 3, "choice_ids": [692, 693, 694]}, 104: {"length": 0}, 71: {0: 53, 1: 27, 2: 15, "length": 4, 3: 5, "choice_ids": [210, 211, 212, 213]}, 272: {0: 77, 1: 14, 2: 9, "length": 3, "choice_ids": [936, 937, 938]}, 138: {0: 63, 1: 17, 2: 20, "length": 3, "choice_ids": [458, 459, 460]}, 339: {0: 22, 1: 18, 2: 16, "length": 5, 3: 15, "choice_ids": [1182, 1183, 1184, 1185, 1186], 4: 29}, 4: [0, 0, 0, 0], 205: {0: 20, 1: 12, 2: 37, "length": 4, 3: 31, "choice_ids": [697, 696, 695, 698]}, 239: {0: 42, 1: 17, 2: 25, "length": 4, 3: 16, "choice_ids": [811, 812, 813, 814]}, 105: {"length": 0}, 306: {0: 25, 1: 25, 2: 25, "length": 4, 3: 25, "choice_ids": [1070, 1071, 1072, 1073]}, 172: {0: 33, 1: 45, 2: 7, "length": 5, 3: 3, "choice_ids": [579, 580, 582, 584, 586], 4: 12}, 139: {0: 7, 1: 31, 2: 3, "length": 5, 3: 26, "choice_ids": [461, 462, 463, 464, 465], 4: 33}, 340: {0: 24, 1: 26, 2: 50, "length": 3, "choice_ids": [1187, 1188, 1189]}, 5: [0, 0], 106: {0: 38, 1: 24, 2: 21, "length": 4, 3: 17, "choice_ids": [333, 334, 335, 336]}, 173: {0: 26, 1: 38, 2: 36, "length": 3, "choice_ids": [581, 583, 585]}, 240: {0: 47, 1: 16, 2: 24, "length": 5, 3: 8, "choice_ids": [815, 816, 817, 818, 819], 4: 5}, 73: {0: 20, 1: 60, 2: 10, "length": 4, 3: 10, "choice_ids": [218, 219, 220, 221]}, 140: {0: 18, 1: 34, 2: 48, "length": 3, "choice_ids": [466, 467, 468]}, 341: {0: 33, 1: 35, 2: 32, "length": 3, "choice_ids": [1190, 1191, 1192]}, 6: {0: 39, 1: 22, 2: 17, "length": 4, 3: 22, "choice_ids": [17, 18, 19, 20]}, 207: {0: 34, 1: 33, 2: 33, "length": 3, "choice_ids": [701, 702, 703]}, 107: {0: 36, 1: 19, 2: 20, "length": 4, 3: 25, "choice_ids": [337, 338, 339, 340]}, 308: {0: 16, 1: 61, 2: 9, "length": 4, 3: 14, "choice_ids": [1078, 1079, 1080, 1081]}, 40: {0: 17, 1: 56, 2: 27, "length": 3, "choice_ids": [137, 138, 139]}, 241: {0: 22, 1: 15, 2: 63, "length": 3, "choice_ids": [820, 821, 822]}, 141: {0: 36, 1: 15, 2: 26, "length": 4, 3: 23, "choice_ids": [469, 470, 471, 472]}, 342: {0: 71, 1: 18, 2: 11, "length": 3, "choice_ids": [1193, 1194, 1195]}, 208: {0: 27, 1: 48, 2: 25, "length": 3, "choice_ids": [704, 705, 706]}, 74: {0: 40, 1: 13, 2: 47, "length": 3, "choice_ids": [222, 223, 224]}, 108: {0: 29, 1: 22, 2: 14, "length": 4, 3: 35, "choice_ids": [341, 342, 343, 344]}, 309: {0: 55, 1: 45, "length": 2, "choice_ids": [1082, 1083]}, 41: {0: 19, 1: 32, 2: 49, "length": 3, "choice_ids": [140, 141, 142]}, 142: {0: 20, 1: 14, 2: 11, "length": 5, 3: 25, "choice_ids": [473, 474, 475, 476, 477], 4: 30}, 343: {0: 6, 1: 22, 2: 60, "length": 4, 3: 12, "choice_ids": [1196, 1197, 1198, 1199]}, 8: [], 109: {0: 14, 1: 6, 2: 3, "length": 4, 3: 77, "choice_ids": [345, 346, 347, 348]}, 176: {0: 42, 1: 23, 2: 35, "length": 3, "choice_ids": [596, 597, 598]}, 42: {0: 30, 1: 41, 2: 29, "length": 3, "choice_ids": [143, 145, 144]}, 243: {0: 16, 1: 29, 2: 35, "length": 5, 3: 6, "choice_ids": [827, 828, 829, 830, 831], 4: 14}, 143: {0: 22, 1: 18, 2: 60, "length": 3, "choice_ids": [478, 479, 480]}, 9: [10, 18, 25, 86, -39], 210: {0: 28, 1: 23, 2: 32, "length": 4, 3: 17, "choice_ids": [711, 712, 713, 714]}, 110: {0: 26, 1: 25, 2: 8, "length": 4, 3: 41, "choice_ids": [349, 350, 351, 352]}, 311: {0: 56, 1: 36, 2: 8, "length": 3, "choice_ids": [1088, 1089, 1090]}, 177: {0: 25, 1: 28, 2: 27, "length": 4, 3: 20, "choice_ids": [599, 600, 601, 602]}, 43: {0: 65, 1: 35, "length": 2, "choice_ids": [147, 146]}, 244: {0: 27, 1: 10, 2: 40, "length": 4, 3: 23, "choice_ids": [832, 833, 834, 835]}, 345: {0: 30, 1: 30, 2: 12, "length": 4, 3: 28, "choice_ids": [1203, 1204, 1205, 1206]}, 10: [43, 18, 23, 16], 211: {0: 8, 1: 25, 2: 28, "length": 5, 3: 11, "choice_ids": [719, 715, 716, 717, 718], 4: 28}, 77: {0: 54, 1: 27, 2: 14, "length": 4, 3: 5, "choice_ids": [233, 234, 235, 236]}, 278: {0: 12, 1: 9, 2: 65, "length": 4, 3: 14, "choice_ids": [959, 960, 961, 962]}, 312: {0: 13, 1: 58, 2: 11, "length": 4, 3: 18, "choice_ids": [1091, 1092, 1093, 1094]}, 178: {0: 10, 1: 7, 2: 4, "length": 5, 3: 14, "choice_ids": [603, 604, 605, 606, 607], 4: 65}, 44: {0: 70, 1: 30, "length": 2, "choice_ids": [149, 148]}, 245: {0: 29, 1: 15, 2: 11, "length": 4, 3: 45, "choice_ids": [836, 837, 838, 839]}, 111: {0: 14, 1: 34, 2: 6, "length": 4, 3: 46, "choice_ids": [353, 354, 355, 356]}, 145: {0: 1, 1: 35, 2: 17, "length": 4, 3: 47, "choice_ids": [485, 486, 487, 488]}, 11: {0: 36, 1: 13, 2: 32, "length": 4, 3: 19, "choice_ids": [32, 33, 34, 35]}, 212: {0: 25, 1: 5, 2: 7, "length": 5, 3: 50, "choice_ids": [720, 721, 722, 723, 724], 4: 13}, 279: {0: 61, 1: 1, 2: 15, "length": 4, 3: 23, "choice_ids": [963, 964, 965, 966]}, 179: {0: 36, 1: 15, 2: 49, "length": 3, "choice_ids": [608, 609, 610]}, 45: {0: 79, 1: 21, "length": 2, "choice_ids": [151, 150]}, 146: {5: 2, 0: 16, 1: 3, 2: 31, "length": 6, 3: 19, "choice_ids": [489, 490, 491, 492, 493, 506], 4: 29}, 12: {0: 75, 1: 9, 2: 9, "length": 4, 3: 7, "choice_ids": [41, 40, 39, 38]}, 213: {0: 56, 1: 27, 2: 17, "length": 3, "choice_ids": [725, 726, 727]}, 280: {0: 43, 1: 30, 2: 27, "length": 3, "choice_ids": [967, 968, 969]}, 180: {0: 30, 1: 15, 2: 41, "length": 4, 3: 14, "choice_ids": [611, 612, 613, 614]}, 46: {0: 48, 1: 52, "length": 2, "choice_ids": [153, 152]}, 247: {0: 30, 1: 57, 2: 13, "length": 3, "choice_ids": [844, 845, 846]}, 113: {0: 32, 1: 22, 2: 33, "length": 4, 3: 13, "choice_ids": [361, 362, 363, 364]}, 147: {0: 29, 1: 16, 2: 55, "length": 3, "choice_ids": [494, 495, 496]}, 348: {0: 5, 1: 2, 2: 35, "length": 5, 3: 52, "choice_ids": [1213, 1214, 1215, 1216, 1217], 4: 6}, 47: {0: 65, 1: 35, "length": 2, "choice_ids": [155, 154]}, 248: {0: 22, 1: 22, 2: 21, "length": 4, 3: 35, "choice_ids": [847, 848, 849, 850]}, 315: {0: 28, 1: 67, 2: 5, "length": 3, "choice_ids": [1103, 1104, 1105]}, 349: {0: 28, 1: 15, 2: 57, "length": 3, "choice_ids": [1218, 1219, 1220]}, 14: {0: 43, 1: 31, 2: 11, "length": 4, 3: 15, "choice_ids": [46, 47, 48, 49]}, 215: {0: 11, 1: 5, 2: 43, "length": 4, 3: 41, "choice_ids": [731, 732, 733, 734]}, 81: {0: 40, 1: 33, 2: 19, "length": 4, 3: 8, "choice_ids": [247, 248, 249, 250]}, 282: {0: 28, 1: 10, 2: 43, "length": 4, 3: 19, "choice_ids": [974, 975, 976, 977]}, 182: {0: 32, 1: 26, 2: 11, "length": 4, 3: 31, "choice_ids": [628, 629, 630, 631]}, 48: {0: 50, 1: 50, "length": 2, "choice_ids": [157, 156]}, 115: {0: 8, 1: 37, 2: 18, "length": 4, 3: 37, "choice_ids": [373, 370, 371, 372]}, 316: {0: 15, 1: 58, 2: 10, "length": 4, 3: 17, "choice_ids": [1106, 1107, 1108, 1109]}, 15: [32, 28, 24, 16], 216: {0: 26, 1: 7, 2: 12, "length": 4, 3: 55, "choice_ids": [735, 736, 737, 738]}, 283: {0: 34, 1: 32, 2: 14, "length": 5, 3: 9, "choice_ids": [978, 979, 980, 981, 982], 4: 11}, 149: {0: 22, 1: 46, 2: 18, "length": 4, 3: 14, "choice_ids": [499, 500, 501, 502]}, 183: {0: 11, 1: 8, 2: 16, "length": 4, 3: 65, "choice_ids": [619, 620, 621, 622]}, 49: {0: 27, 1: 73, "length": 2, "choice_ids": [158, 159]}, 250: {"length": 0}, 317: {0: 13, 1: 74, 2: 13, "length": 3, "choice_ids": [1110, 1111, 1112]}, 16: {0: 9, 1: 58, 2: 20, "length": 5, 3: 11, "choice_ids": [54, 55, 56, 57, 82], 4: 2}, 217: {0: 17, 1: 67, 2: 16, "length": 3, "choice_ids": [739, 740, 741]}, 83: {0: 40, 1: 14, 2: 46, "length": 3, "choice_ids": [255, 256, 257]}, 284: {0: 33, 1: 28, 2: 39, "length": 3, "choice_ids": [983, 984, 985]}, 150: {0: 13, 1: 76, 2: 11, "length": 3, "choice_ids": [503, 504, 505]}, 351: {0: 24, 1: 22, 2: 5, "length": 4, 3: 49, "choice_ids": [1225, 1226, 1227, 1228]}, 50: {0: 66, 1: 34, "length": 2, "choice_ids": [161, 160]}, 251: {0: 29, 1: 51, 2: 20, "length": 3, "choice_ids": [855, 856, 857]}, 318: {0: 50, 1: 50, "length": 2, "choice_ids": [1113, 1114]}, 218: {0: 64, 1: 16, 2: 6, "length": 4, 3: 14, "choice_ids": [742, 743, 744, 745]}, 84: {0: 52, 1: 11, 2: 17, "length": 4, 3: 20, "choice_ids": [258, 259, 260, 261]}, 352: {0: 20, 1: 47, 2: 18, "length": 4, 3: 15, "choice_ids": [1229, 1230, 1231, 1232]}, 51: {0: 20, 1: 80, "length": 2, "choice_ids": [162, 163]}, 118: {0: 62, 1: 14, 2: 15, "length": 4, 3: 9, "choice_ids": [383, 382, 384, 385]}, 319: {0: 29, 1: 29, 2: 42, "length": 3, "choice_ids": [1115, 1116, 1117]}, 185: {0: 55, 1: 26, 2: 19, "length": 3, "choice_ids": [625, 626, 627]}, 219: {"length": 0}, 286: {0: 48, 1: 25, 2: 10, "length": 4, 3: 17, "choice_ids": [990, 991, 992, 1012]}, 152: {0: 14, 1: 9, 2: 12, "length": 5, 3: 13, "choice_ids": [509, 510, 511, 512, 513], 4: 52}, 18: {0: 20, 1: 26, 2: 15, "length": 4, 3: 39, "choice_ids": [62, 63, 64, 65]}, 52: {0: 36, 1: 64, "length": 2, "choice_ids": [164, 165]}, 253: {0: 49, 1: 51, "length": 2, "choice_ids": [862, 863]}, 119: {0: 45, 1: 15, 2: 22, "length": 4, 3: 18, "choice_ids": [386, 387, 388, 389]}, 220: {0: 71, 1: 16, 2: 13, "length": 3, "choice_ids": [746, 747, 748]}, 86: {0: 22, 1: 3, 2: 2, "length": 4, 3: 73, "choice_ids": [266, 267, 268, 269]}, 153: {0: 52, 1: 14, 2: 34, "length": 3, "choice_ids": [514, 515, 516]}, 354: {0: 47, 1: 16, 2: 9, "length": 4, 3: 28, "choice_ids": [1235, 1236, 1237, 1238]}, 19: [1, 19, 48, 32], 53: {0: 65, 1: 35, "length": 2, "choice_ids": [167, 166]}, 254: {0: 23, 1: 28, 2: 37, "length": 4, 3: 12, "choice_ids": [864, 865, 866, 867]}, 187: {0: 9, 1: 6, 2: 85, "length": 3, "choice_ids": [636, 637, 638]}, 221: {0: 14, 1: 18, 2: 68, "length": 3, "choice_ids": [749, 750, 751]}, 87: {0: 20, 1: 45, 2: 15, "length": 4, 3: 20, "choice_ids": [271, 272, 273, 274]}, 288: {0: 72, 1: 28, "length": 2, "choice_ids": [997, 998]}, 355: {0: 7, 1: 7, 2: 45, "length": 5, 3: 25, "choice_ids": [1239, 1240, 1241, 1242, 1243], 4: 16}, 54: {0: 58, 1: 42, "length": 2, "choice_ids": [169, 168]}, 255: {0: 20, 1: 23, 2: 57, "length": 3, "choice_ids": [868, 869, 870]}, 121: {0: 17, 1: 33, 2: 50, "length": 4, 3: 0, "choice_ids": [394, 395, 396, 397]}, 322: {0: 67, 1: 16, 2: 6, "length": 4, 3: 11, "choice_ids": [1127, 1126, 1128, 1129]}, 188: {5: 3, 0: 19, 1: 45, 2: 18, "length": 6, 3: 12, "choice_ids": [639, 640, 641, 642, 643, 673], 4: 3}, 88: {0: 19, 1: 11, 2: 6, "length": 4, 3: 64, "choice_ids": [275, 276, 277, 278]}, 289: {0: 24, 1: 40, 2: 36, "length": 3, "choice_ids": [999, 1000, 1001]}, 155: {0: 12, 1: 13, 2: 9, "length": 5, 3: 47, "choice_ids": [519, 520, 521, 522, 523], 4: 19}, 222: {0: 65, 1: 5, 2: 14, "length": 4, 3: 16, "choice_ids": [779, 780, 781, 782]}, 256: {0: 32, 1: 25, 2: 16, "length": 5, 3: 16, "choice_ids": [871, 872, 873, 874, 875], 4: 11}, 122: {0: 4, 1: 4, 2: 89, "length": 4, 3: 3, "choice_ids": [398, 399, 400, 401]}, 189: {0: 23, 1: 48, 2: 29, "length": 3, "choice_ids": [644, 645, 646]}, 55: {0: 66, 1: 34, "length": 2, "choice_ids": [171, 170]}, 290: {0: 9, 1: 8, 2: 83, "length": 3, "choice_ids": [1002, 1003, 1004]}, 357: {0: 0, 1: 0, 2: 0, "length": 4, 3: 0, "choice_ids": [1244, 1245, 1246, 1247]}, 22: [52, 13, 19, 16], 223: {0: 19, 1: 53, 2: 28, "length": 3, "choice_ids": [752, 753, 754]}, 257: {0: 46, 1: 30, 2: 24, "length": 3, "choice_ids": [876, 877, 878]}, 324: {0: 53, 1: 10, 2: 37, "length": 3, "choice_ids": [1134, 1135, 1136]}, 190: {"length": 0}, 56: {0: 10, 1: 90, "length": 2, "choice_ids": [172, 173]}, 291: {0: 29, 1: 25, 2: 46, "length": 3, "choice_ids": [1005, 1006, 1007]}, 157: {0: 67, 1: 7, 2: 26, "length": 3, "choice_ids": [528, 529, 530]}, 358: {0: 9, 1: 81, 2: 7, "length": 4, 3: 3, "choice_ids": [1248, 1249, 1250, 1251]}, 23: {0: 17, 1: 52, 2: 24, "length": 4, 3: 7, "choice_ids": [83, 84, 85, 86]}, 124: {0: 21, 1: 13, 2: 25, "length": 5, 3: 4, "choice_ids": [406, 407, 408, 409, 410], 4: 37}, 325: {0: 77, 1: 10, 2: 13, "length": 3, "choice_ids": [1137, 1138, 1139]}, 191: {"length": 0}, 57: {0: 100, 1: 0, "length": 2, "choice_ids": [175, 174]}, 91: {0: 68, 1: 17, 2: 6, "length": 4, 3: 9, "choice_ids": [287, 288, 289, 290]}, 158: {0: 16, 1: 15, 2: 69, "length": 4, 3: 0, "choice_ids": [531, 532, 533, 534]}, 24: {0: 16, 1: 22, 2: 40, "length": 4, 3: 22, "choice_ids": [87, 88, 89, 90]}, 225: {0: 26, 1: 16, 2: 37, "length": 4, 3: 21, "choice_ids": [759, 760, 761, 762]}, 125: {0: 10, 1: 80, 2: 10, "length": 3, "choice_ids": [411, 412, 413]}, 326: {0: 100, "length": 1, "choice_ids": [1141]}, 192: {0: 33, 1: 26, 2: 32, "length": 4, 3: 9, "choice_ids": [656, 657, 658, 659]}, 58: {0: 30, 1: 70, "length": 2, "choice_ids": [176, 177]}, 259: {0: 26, 1: 23, 2: 29, "length": 4, 3: 22, "choice_ids": [883, 884, 885, 886]}, 293: {0: 23, 1: 28, 2: 31, "length": 4, 3: 18, "choice_ids": [1013, 1014, 1015, 1016]}, 159: {5: 3, 0: 29, 1: 29, 2: 2, "length": 6, 3: 19, "choice_ids": [535, 536, 537, 538, 539, 540], 4: 18}, 360: {0: 33, 1: 47, 2: 11, "length": 4, 3: 9, "choice_ids": [1256, 1257, 1258, 1259]}, 226: {0: 13, 1: 15, 2: 54, "length": 5, 3: 13, "choice_ids": [763, 764, 765, 766, 767], 4: 5}, 126: {0: 29, 1: 29, 2: 23, "length": 4, 3: 19, "choice_ids": [414, 415, 416, 417]}, 327: {0: 100, "length": 1, "choice_ids": [1140]}, 59: {0: 22, 1: 78, "length": 2, "choice_ids": [178, 179]}, 260: {0: 61, 1: 5, 2: 32, "length": 4, 3: 2, "choice_ids": [887, 888, 889, 890]}, 294: {5: 10, 0: 18, 6: 22, 1: 22, 2: 10, "length": 7, 3: 14, "choice_ids": [1017, 1018, 1019, 1020, 1021, 1022, 1023], 4: 4}, 160: {0: 17, 1: 7, 2: 9, "length": 5, 3: 12, "choice_ids": [541, 542, 543, 544, 545], 4: 55}, 26: {0: 31, 1: 29, 2: 6, "length": 4, 3: 34, "choice_ids": [91, 92, 93, 94]}, 227: {0: 19, 1: 55, 2: 26, "length": 3, "choice_ids": [768, 769, 770]}, 93: {0: 0, 1: 0, 2: 0, "length": 4, 3: 0, "choice_ids": [295, 296, 297, 298]}, 127: {0: 16, 1: 8, 2: 32, "length": 5, 3: 24, "choice_ids": [418, 419, 420, 421, 422], 4: 20}, 328: {0: 50, 1: 5, 2: 35, "length": 4, 3: 10, "choice_ids": [1142, 1143, 1144, 1145]}, 194: {0: 9, 1: 16, 2: 75, "length": 3, "choice_ids": [651, 652, 653]}, 60: {0: 20, 1: 80, "length": 2, "choice_ids": [180, 181]}, 261: {0: 13, 1: 12, 2: 75, "length": 3, "choice_ids": [891, 892, 893]}, 161: {0: 6, 1: 69, 2: 12, "length": 4, 3: 13, "choice_ids": [546, 547, 548, 549]}, 128: {0: 15, 1: 29, 2: 14, "length": 4, 3: 42, "choice_ids": [423, 424, 425, 426]}, 329: {0: 29, 1: 23, 2: 48, "length": 3, "choice_ids": [1146, 1147, 1148]}, 61: [100], 162: {0: 13, 1: 43, 2: 32, "length": 4, 3: 12, "choice_ids": [551, 552, 553, 550]}, 229: {0: 16, 1: 68, 2: 5, "length": 4, 3: 11, "choice_ids": [776, 775, 777, 778]}, 296: {0: 41, 1: 50, 2: 9, "length": 3, "choice_ids": [1028, 1029, 1030]}, 330: {0: 42, 1: 29, 2: 18, "length": 4, 3: 11, "choice_ids": [1149, 1150, 1151, 1152]}, 263: {0: 11, 1: 18, 2: 11, "length": 5, 3: 57, "choice_ids": [898, 899, 900, 901, 902], 4: 3}, 230: {0: 44, 1: 27, 2: 29, "length": 3, "choice_ids": [783, 784, 785]}, 163: {0: 23, 1: 32, 2: 45, "length": 3, "choice_ids": [554, 555, 556]}, 29: [15, 28, 26, 31], 96: {5: 8, 0: 37, 1: 24, 2: 18, "length": 6, 3: 6, "choice_ids": [307, 308, 309, 310, 311, 312], 4: 7}, 197: {0: 47, 1: 45, 2: 8, "length": 3, "choice_ids": [663, 664, 665]}, 63: {0: 63, 1: 37, "length": 2, "choice_ids": [189, 188]}, 264: {0: 65, 1: 5, 2: 17, "length": 4, 3: 13, "choice_ids": [903, 904, 905, 906]}, 130: {0: 4, 1: 7, 2: 89, "length": 3, "choice_ids": [429, 430, 431]}, 30: {0: 15, 1: 26, 2: 28, "length": 4, 3: 31, "choice_ids": [103, 104, 105, 106]}, 298: {5: 16, 0: 3, 1: 33, 2: 28, "length": 6, 3: 6, "choice_ids": [1035, 1036, 1037, 1039, 1038, 1040], 4: 14}, 332: {0: 26, 1: 18, 2: 56, "length": 3, "choice_ids": [1157, 1158, 1159]}, 64: {0: 63, 1: 37, "length": 2, "choice_ids": [191, 190]}, 165: {0: 38, 1: 44, 2: 7, "length": 4, 3: 11, "choice_ids": [561, 562, 563, 564]}, 232: {0: 6, 1: 10, 2: 23, "length": 4, 3: 61, "choice_ids": [790, 791, 792, 793]}, 98: {0: 27, 1: 30, 2: 2, "length": 4, 3: 41, "choice_ids": [317, 318, 319, 320]}, 199: {0: 54, 1: 25, 2: 21, "length": 3, "choice_ids": [670, 671, 672]}, 65: {0: 63, 1: 37, "length": 2, "choice_ids": [193, 192]}, 266: {0: 56, 1: 10, 2: 3, "length": 4, 3: 31, "choice_ids": [911, 913, 912, 914]}, 233: {0: 22, 1: 16, 2: 4, "length": 5, 3: 20, "choice_ids": [794, 795, 796, 798, 797], 4: 38}, 99: {0: 16, 1: 33, 2: 20, "length": 4, 3: 31, "choice_ids": [321, 322, 323, 324]}, 300: {0: 40, 1: 26, 2: 11, "length": 5, 3: 5, "choice_ids": [1045, 1046, 1047, 1048, 1049], 4: 18}, 166: {0: 25, 1: 55, 2: 12, "length": 4, 3: 8, "choice_ids": [565, 566, 567, 568]}, 334: {0: 9, 1: 45, 2: 28, "length": 4, 3: 18, "choice_ids": [1164, 1165, 1166, 1167]}, 133: {0: 74, 1: 17, 2: 9, "length": 3, "choice_ids": [440, 441, 442]}, 267: {0: 38, 1: 15, 2: 25, "length": 4, 3: 22, "choice_ids": [915, 916, 917, 918]}, 200: {0: 70, 1: 7, 2: 10, "length": 4, 3: 13, "choice_ids": [674, 675, 676, 677]}}, "ratings": {1026: 9, 3079: 10, 5132: 8, 7185: 7, 9238: 10, 11291: 6, 15397: 10, 17450: 9, 6159: 7, 8212: 9, 12318: 10, 16424: 8, 18477: 8, 20530: 9, 0: 8, 1027: 9, 3080: 9, 5133: 8, 9239: 9, 15398: 8, 17451: 9, 19504: 9, 21557: 9, 8213: 7, 10266: 8, 12319: 10, 14372: 9, 16425: 7, 18478: 7, 20531: 9, 22584: 8, 1028: 9, 3081: 9, 5134: 8, 7187: 9, 9240: 10, 15399: 8, 17452: 10, 6161: 7, 8214: 9, 12320: 9, 16426: 9, 18479: 9, 1029: 7, 3082: 9, 7188: 10, 9241: 9, 11294: 7, 15400: 9, 17453: 10, 19506: 6, 21559: 9, 8215: 8, 10268: 8, 12321: 8, 14374: 9, 16427: 9, 18480: 8, 22586: 8, 1030: 10, 3083: 8, 7189: 8, 15401: 7, 6163: 10, 12322: 10, 16428: 9, 18481: 8, 1031: 7, 3084: 8, 5137: 7, 7190: 9, 11296: 6, 15402: 9, 19508: 9, 21561: 9, 6164: 8, 8217: 9, 10270: 7, 12323: 8, 14376: 10, 16429: 7, 18482: 7, 22588: 9, 24641: 6, 1032: 9, 3085: 7, 5138: 9, 7191: 10, 9244: 9, 13350: 8, 15403: 8, 21562: 8, 6165: 7, 8218: 7, 12324: 7, 14377: 10, 16430: 9, 18483: 9, 20536: 5, 3086: 9, 5139: 9, 7192: 8, 11298: 7, 13351: 10, 15404: 8, 17457: 9, 19510: 7, 1033: 7, 6166: 10, 8219: 8, 10272: 6, 12325: 10, 14378: 10, 22590: 7, 3087: 8, 7193: 10, 15405: 8, 17458: 9, 1034: 9, 6167: 8, 12326: 8, 14379: 9, 20538: 7, 3088: 8, 7194: 8, 9247: 10, 11300: 9, 13353: 7, 15406: 10, 17459: 8, 19512: 7, 1035: 8, 6168: 7, 8221: 7, 12327: 9, 14380: 8, 18486: 10, 22592: 8, 3089: 7, 7195: 8, 15407: 7, 17460: 9, 21566: 6, 1036: 9, 6169: 9, 10275: 5, 12328: 9, 14381: 9, 16434: 8, 18487: 8, 20540: 7, 3090: 8, 7196: 8, 9249: 10, 11302: 7, 13355: 8, 15408: 9, 17461: 9, 19514: 7, 1037: 9, 6170: 10, 8223: 8, 18488: 10, 22594: 7, 3091: 7, 15409: 9, 17462: 9, 23621: 9, 1038: 9, 6171: 9, 12330: 9, 14383: 9, 16436: 7, 18489: 7, 20542: 9, 3092: 9, 11304: 8, 13357: 9, 15410: 10, 17463: 10, 19516: 8, 21569: 6, 1039: 9, 6172: 9, 8225: 10, 10278: 6, 12331: 9, 14384: 9, 16437: 10, 18490: 8, 22596: 8, 3093: 10, 15411: 8, 17464: 8, 23623: 7, 1040: 9, 6173: 7, 8226: 10, 14385: 9, 16438: 10, 18491: 9, 20544: 7, 3094: 9, 9253: 9, 11306: 9, 13359: 8, 15412: 7, 19518: 8, 1041: 9, 6174: 9, 8227: 8, 12333: 8, 14386: 9, 16439: 10, 18492: 8, 22598: 8, 3095: 7, 17466: 9, 21572: 7, 1042: 6, 6175: 8, 8228: 10, 12334: 9, 14387: 8, 16440: 9, 20546: 9, 3096: 8, 9255: 7, 11308: 9, 17467: 8, 19520: 9, 23626: 6, 1043: 6, 6176: 7, 8229: 7, 10282: 9, 16441: 9, 18494: 9, 22600: 7, 7203: 10, 15415: 7, 17468: 9, 21574: 8, 1044: 7, 6177: 9, 8230: 8, 10283: 9, 12336: 9, 14389: 8, 18495: 9, 20548: 8, 3098: 8, 5151: 7, 9257: 8, 11310: 9, 15416: 7, 17469: 9, 19522: 5, 23628: 9, 1045: 7, 6178: 9, 12337: 9, 14390: 8, 16443: 8, 18496: 10, 22602: 8, 5152: 7, 7205: 9, 9258: 9, 15417: 8, 17470: 9, 21576: 7, 1046: 9, 3099: 7, 6179: 10, 10285: 9, 12338: 9, 14391: 9, 16444: 9, 20550: 7, 5153: 10, 17471: 9, 19524: 8, 23630: 6, 1047: 8, 3100: 9, 6180: 8, 8233: 10, 10286: 8, 12339: 8, 16445: 9, 22604: 7, 5154: 10, 7207: 10, 11313: 10, 17472: 9, 21578: 9, 1048: 7, 3101: 9, 6181: 9, 8234: 8, 10287: 9, 12340: 9, 16446: 8, 18499: 7, 20552: 9, 9261: 6, 19526: 5, 23632: 6, 1049: 8, 3102: 7, 6182: 8, 8235: 10, 10288: 8, 12341: 9, 14394: 7, 22606: 7, 5156: 9, 7209: 7, 13368: 9, 21580: 9, 1050: 8, 3103: 8, 6183: 8, 8236: 10, 10289: 9, 20554: 9, 5157: 10, 9263: 8, 13369: 7, 15422: 8, 17475: 7, 19528: 6, 23634: 6, 1051: 9, 3104: 7, 6184: 10, 10290: 9, 14396: 8, 16449: 9, 18502: 9, 22608: 7, 5158: 7, 7211: 6, 21582: 8, 1052: 7, 3105: 8, 6185: 8, 10291: 9, 16450: 10, 20556: 7, 5159: 9, 9265: 10, 11318: 9, 19530: 9, 23636: 7, 1053: 7, 3106: 9, 6186: 10, 14398: 9, 22610: 7, 7213: 8, 11319: 6, 17478: 10, 21584: 7, 1054: 7, 3107: 8, 6187: 7, 10293: 9, 12346: 9, 14399: 9, 16452: 7, 20558: 9, 9267: 10, 17479: 10, 23638: 6, 1055: 9, 3108: 10, 8241: 9, 10294: 8, 16453: 10, 22612: 8, 5162: 10, 7215: 6, 11321: 10, 15427: 9, 21586: 9, 1056: 8, 3109: 9, 6189: 10, 18507: 10, 20560: 7, 9269: 10, 17481: 9, 19534: 9, 23640: 5, 1057: 8, 3110: 9, 6190: 10, 10296: 7, 22614: 7, 7217: 7, 21588: 7, 1058: 8, 3111: 8, 6191: 10, 12350: 9, 14403: 8, 18509: 7, 20562: 6, 13377: 9, 15430: 9, 19536: 7, 23642: 4, 1059: 9, 3112: 7, 6192: 10, 10298: 9, 22616: 7, 9272: 9, 13378: 9, 17484: 9, 1060: 9, 3113: 8, 6193: 10, 10299: 9, 12352: 7, 14405: 9, 18511: 8, 20564: 9, 13379: 10, 15432: 10, 17485: 9, 19538: 9, 21591: 7, 23644: 7, 1061: 9, 3114: 10, 6194: 7, 10300: 10, 20565: 10, 22618: 9, 7221: 8, 13380: 9, 17486: 8, 1062: 8, 3115: 7, 6195: 9, 10301: 10, 14407: 10, 18513: 8, 13381: 9, 17487: 8, 19540: 7, 23646: 9, 1063: 7, 3116: 8, 6196: 7, 10302: 10, 12355: 7, 14408: 9, 22620: 8, 24673: 8, 7223: 8, 9276: 6, 11329: 9, 13382: 9, 15435: 7, 17488: 10, 21594: 7, 1064: 9, 3117: 10, 16462: 9, 18515: 7, 20568: 9, 24674: 10, 13383: 9, 17489: 9, 19542: 9, 23648: 8, 1065: 9, 3118: 9, 12357: 6, 16463: 9, 22622: 7, 24675: 8, 6198: 7, 7225: 9, 9278: 9, 11331: 7, 13384: 9, 1066: 7, 3119: 7, 10305: 10, 14411: 8, 16464: 9, 18517: 8, 24676: 10, 6199: 7, 9279: 8, 13385: 9, 19544: 7, 21597: 7, 23650: 7, 1067: 9, 3120: 7, 10306: 9, 22624: 9, 24677: 10, 7227: 9, 9280: 7, 11333: 9, 23651: 10, 1068: 9, 3121: 10, 10307: 10, 12360: 5, 14413: 7, 18519: 8, 24678: 9, 4148: 9, 6201: 7, 9281: 6, 19546: 7, 1069: 9, 3122: 10, 10308: 9, 14414: 6, 22626: 8, 7229: 7, 9282: 9, 11335: 7, 13388: 7, 15441: 9, 21600: 7, 1070: 7, 3123: 8, 10309: 9, 12362: 7, 14415: 9, 18521: 7, 24680: 8, 4150: 9, 6203: 9, 9283: 9, 17495: 7, 19548: 10, 1071: 8, 3124: 9, 10310: 10, 14416: 8, 20575: 9, 22628: 7, 4151: 9, 6204: 10, 9284: 10, 11337: 7, 13390: 8, 15443: 8, 17496: 9, 1072: 9, 3125: 9, 7231: 9, 10311: 9, 12364: 9, 14417: 9, 16470: 10, 18523: 8, 20576: 9, 4152: 9, 9285: 9, 17497: 8, 19550: 5, 21603: 7, 23656: 8, 1073: 8, 3126: 8, 14418: 9, 20577: 9, 22630: 7, 4153: 7, 9286: 9, 11339: 7, 13392: 7, 17498: 8, 1074: 9, 3127: 9, 7233: 5, 12366: 7, 14419: 9, 18525: 8, 20578: 9, 4154: 9, 17499: 9, 19552: 6, 1075: 8, 3128: 7, 14420: 8, 4155: 9, 9288: 10, 11341: 6, 13394: 8, 17500: 10, 21606: 7, 1076: 8, 3129: 9, 12368: 7, 14421: 8, 18527: 9, 20580: 9, 4156: 9, 9289: 10, 17501: 9, 19554: 6, 1077: 9, 3130: 8, 10316: 8, 16475: 9, 4157: 8, 9290: 9, 11343: 9, 13396: 7, 17502: 8, 1078: 9, 3131: 9, 5184: 8, 12370: 6, 16476: 8, 20582: 8, 24688: 6, 9291: 9, 15450: 9, 17503: 10, 19556: 7, 21609: 8, 23662: 9, 1079: 9, 3132: 9, 5185: 10, 10318: 9, 14424: 8, 16477: 8, 18530: 9, 22636: 9, 24689: 9, 4159: 9, 9292: 9, 11345: 5, 13398: 7, 17504: 8, 21610: 9, 23663: 9, 1080: 8, 3133: 7, 5186: 7, 12372: 9, 18531: 9, 20584: 8, 24690: 8, 2107: 8, 4160: 9, 6213: 8, 9293: 9, 15452: 10, 17505: 9, 19558: 6, 23664: 9, 1081: 8, 3134: 7, 5187: 10, 10320: 7, 16479: 7, 18532: 9, 22638: 9, 24691: 9, 4161: 10, 9294: 10, 11347: 5, 13400: 6, 15453: 10, 21612: 9, 23665: 8, 1082: 9, 3135: 7, 12374: 6, 14427: 10, 18533: 9, 24692: 9, 4162: 9, 9295: 10, 19560: 7, 23666: 9, 1083: 8, 3136: 8, 10322: 7, 14428: 9, 16481: 8, 18534: 9, 20587: 6, 24693: 8, 4163: 9, 13402: 6, 15455: 10, 23667: 9, 1084: 9, 3137: 7, 12376: 5, 14429: 9, 16482: 9, 18535: 7, 24694: 8, 11350: 5, 15456: 9, 17509: 9, 19562: 9, 21615: 9, 23668: 8, 1085: 8, 3138: 7, 9297: 9, 14430: 7, 16483: 9, 18536: 9, 24695: 9, 8271: 9, 13404: 6, 15457: 9, 17510: 9, 23669: 9, 1086: 9, 3139: 9, 9298: 9, 12378: 8, 14431: 8, 16484: 7, 18537: 9, 20590: 6, 24696: 7, 8272: 8, 11352: 7, 15458: 10, 17511: 10, 19564: 6, 21617: 7, 23670: 9, 1087: 8, 3140: 9, 7246: 9, 9299: 9, 14432: 7, 16485: 8, 20591: 9, 24697: 8, 4167: 8, 8273: 7, 13406: 9, 21618: 8, 23671: 9, 1088: 8, 3141: 8, 5194: 9, 7247: 9, 9300: 9, 10327: 8, 12380: 7, 14433: 8, 16486: 8, 18539: 8, 20592: 9, 24698: 8, 6221: 9, 8274: 9, 15460: 10, 19566: 5, 21619: 8, 23672: 9, 1089: 9, 3142: 9, 5195: 9, 7248: 8, 9301: 9, 18540: 9, 20593: 10, 24699: 8, 8275: 9, 11355: 9, 13408: 7, 21620: 9, 23673: 8, 1090: 8, 3143: 7, 5196: 9, 7249: 7, 10329: 7, 12382: 6, 14435: 8, 20594: 10, 24700: 8, 8276: 8, 15462: 9, 19568: 9, 21621: 7, 23674: 8, 1091: 9, 3144: 9, 5197: 9, 7250: 9, 14436: 10, 24701: 9, 8277: 7, 11357: 10, 13410: 9, 17516: 9, 21622: 10, 23675: 8, 1092: 9, 3145: 8, 7251: 7, 12384: 6, 14437: 8, 16490: 7, 18543: 7, 20596: 7, 24702: 9, 8278: 9, 10331: 6, 17517: 9, 19570: 7, 21623: 9, 1093: 8, 3146: 7, 5199: 9, 7252: 9, 9305: 10, 16491: 7, 24703: 8, 2120: 9, 4173: 7, 8279: 8, 11359: 8, 13412: 9, 17518: 9, 21624: 9, 1094: 9, 3147: 7, 7253: 9, 12386: 5, 16492: 7, 18545: 8, 20598: 9, 22651: 8, 2121: 9, 8280: 9, 10333: 8, 15466: 8, 17519: 9, 19572: 8, 21625: 7, 23678: 9, 1095: 10, 3148: 8, 5201: 9, 9307: 8, 16493: 9, 18546: 9, 22652: 9, 2122: 7, 8281: 9, 11361: 6, 13414: 5, 15467: 10, 23679: 9, 1096: 9, 3149: 7, 12388: 8, 14441: 6, 16494: 7, 18547: 9, 20600: 9, 22653: 9, 24706: 9, 4176: 9, 11362: 9, 13415: 6, 15468: 10, 19574: 7, 21627: 9, 23680: 8, 1097: 8, 3150: 7, 5203: 9, 9309: 8, 16495: 10, 18548: 9, 22654: 8, 2124: 7, 6230: 8, 8283: 8, 15469: 9, 17522: 7, 23681: 10, 1098: 9, 5204: 9, 9310: 8, 12390: 8, 14443: 7, 16496: 9, 18549: 9, 20602: 9, 22655: 9, 24708: 8, 2125: 7, 6231: 7, 10337: 6, 15470: 9, 19576: 6, 21629: 8, 23682: 9, 1099: 9, 3152: 8, 5205: 10, 16497: 7, 18550: 8, 22656: 8, 2126: 9, 6232: 7, 15471: 9, 23683: 9, 1100: 9, 3153: 8, 9312: 9, 12392: 8, 14445: 6, 16498: 8, 18551: 8, 20604: 8, 22657: 10, 6233: 10, 13419: 7, 17525: 7, 21631: 8, 1101: 7, 5207: 9, 7260: 10, 9313: 7, 11366: 9, 16499: 7, 22658: 8, 6234: 7, 8287: 9, 10340: 7, 13420: 7, 19579: 7, 1102: 9, 3155: 8, 5208: 9, 12394: 8, 14447: 7, 18553: 9, 20606: 6, 22659: 8, 24712: 7, 13421: 10, 15474: 10, 21633: 8, 1103: 9, 3156: 7, 5209: 9, 9315: 9, 14448: 8, 16501: 10, 22660: 9, 8289: 10, 10342: 9, 13422: 7, 17528: 6, 19581: 7, 1104: 9, 3157: 9, 9316: 9, 16502: 8, 18555: 8, 20608: 8, 22661: 9, 24714: 8, 12396: 6, 13423: 7, 15476: 9, 21635: 9, 23688: 8, 1105: 6, 3158: 7, 5211: 10, 9317: 7, 22662: 9, 4185: 9, 6238: 10, 13424: 9, 15477: 9, 17530: 9, 19583: 7, 1106: 9, 3159: 8, 5212: 9, 18557: 8, 22663: 9, 24716: 10, 8292: 8, 10345: 9, 12398: 6, 13425: 8, 15478: 9, 21637: 9, 23690: 8, 1107: 9, 3160: 10, 5213: 9, 11372: 10, 16505: 9, 20611: 6, 8293: 8, 10346: 9, 13426: 7, 15479: 8, 19585: 9, 1108: 9, 3161: 9, 5214: 8, 18559: 7, 6241: 8, 10347: 9, 12400: 7, 13427: 10, 15480: 9, 17533: 6, 21639: 8, 23692: 9, 1109: 9, 3162: 10, 7268: 5, 11374: 9, 14454: 6, 16507: 9, 20613: 9, 22666: 9, 24719: 6, 8295: 9, 10348: 9, 13428: 9, 15481: 9, 19587: 9, 1110: 9, 3163: 9, 16508: 9, 18561: 7, 20614: 9, 6243: 9, 10349: 9, 12402: 8, 15482: 9, 21641: 8, 23694: 8, 1111: 9, 3164: 9, 5217: 4, 11376: 9, 14456: 7, 22668: 7, 24721: 9, 10350: 9, 15483: 8, 19589: 6, 23695: 9, 1112: 9, 3165: 9, 5218: 7, 7271: 6, 16510: 9, 18563: 8, 22669: 10, 24722: 9, 10351: 9, 12404: 7, 15484: 9, 23696: 9, 1113: 9, 3166: 8, 5219: 5, 11378: 10, 14458: 6, 18564: 9, 24723: 8, 10352: 7, 15485: 9, 19591: 7, 21644: 9, 1114: 9, 3167: 10, 5220: 8, 11379: 9, 20618: 10, 24724: 9, 10353: 9, 12406: 5, 15486: 9, 17539: 8, 21645: 10, 1115: 9, 3168: 10, 5221: 9, 7274: 6, 11380: 9, 24725: 9, 10354: 6, 15487: 10, 19593: 9, 21646: 9, 1116: 8, 3169: 10, 5222: 7, 11381: 10, 14461: 6, 18567: 8, 20620: 7, 10355: 8, 12408: 5, 15488: 9, 21647: 9, 1117: 7, 3170: 9, 5223: 5, 7276: 6, 13435: 7, 24727: 9, 17542: 8, 19595: 7, 21648: 10, 23701: 10, 1118: 8, 3171: 10, 5224: 6, 11383: 9, 20622: 8, 24728: 8, 10357: 9, 12410: 7, 21649: 8, 1119: 9, 3172: 10, 5225: 5, 7278: 9, 9331: 7, 24729: 8, 4199: 8, 19597: 8, 21650: 7, 1120: 9, 3173: 9, 5226: 6, 11385: 9, 16518: 7, 18571: 9, 20624: 8, 24730: 9, 4200: 7, 12412: 7, 21651: 7, 1121: 7, 3174: 10, 5227: 7, 7280: 9, 11386: 10, 13439: 9, 22678: 10, 24731: 9, 4201: 9, 15493: 10, 17546: 7, 19599: 9, 21652: 8, 23705: 9, 1122: 9, 3175: 9, 11387: 10, 13440: 9, 18573: 7, 20626: 9, 22679: 7, 24732: 9, 4202: 8, 12414: 7, 21653: 8, 1123: 9, 3176: 9, 5229: 5, 7282: 10, 11388: 10, 22680: 7, 24733: 7, 4203: 8, 19601: 7, 21654: 7, 23707: 9, 1124: 9, 3177: 9, 9336: 6, 11389: 7, 13442: 9, 15495: 9, 16522: 9, 20628: 8, 22681: 8, 24734: 8, 4204: 8, 12416: 7, 14469: 9, 17549: 6, 21655: 7, 1125: 9, 3178: 10, 5231: 6, 7284: 8, 11390: 7, 13443: 9, 18576: 6, 22682: 9, 24735: 9, 4205: 7, 19603: 7, 21656: 8, 23709: 10, 1126: 9, 3179: 7, 5232: 5, 11391: 9, 13444: 9, 15497: 8, 16524: 9, 20630: 9, 22683: 9, 12418: 5, 17551: 8, 1127: 8, 3180: 8, 7286: 6, 11392: 9, 13445: 7, 22684: 10, 24737: 10, 6260: 9, 12419: 9, 17552: 8, 23711: 9, 1128: 9, 3181: 7, 5234: 9, 11393: 7, 13446: 7, 18579: 8, 20632: 7, 22685: 8, 24738: 9, 10367: 10, 17553: 8, 19606: 7, 21659: 10, 1129: 9, 3182: 10, 5235: 9, 7288: 5, 22686: 10, 24739: 10, 8315: 10, 17554: 7, 21660: 8, 23713: 10, 1130: 9, 3183: 10, 5236: 9, 11395: 10, 13448: 9, 18581: 9, 20634: 10, 22687: 7, 24740: 10, 4210: 8, 6263: 10, 14475: 9, 17555: 9, 1131: 9, 3184: 7, 7290: 6, 24741: 10, 4211: 8, 10370: 7, 17556: 8, 19609: 6, 1132: 8, 3185: 8, 11397: 10, 13450: 7, 18583: 9, 20636: 7, 22689: 9, 24742: 10, 10371: 7, 14477: 9, 17557: 8, 21663: 5, 23716: 8, 1133: 9, 3186: 8, 7292: 8, 11398: 10, 13451: 10, 22690: 7, 24743: 8, 4213: 9, 10372: 7, 14478: 9, 17558: 9, 23717: 7, 1134: 10, 3187: 10, 9346: 7, 11399: 10, 13452: 7, 15505: 9, 18585: 9, 20638: 9, 22691: 10, 24744: 9, 4214: 9, 10373: 10, 14479: 8, 17559: 7, 19612: 8, 1135: 7, 3188: 8, 7294: 7, 11400: 8, 13453: 7, 15506: 10, 20639: 9, 4215: 9, 10374: 7, 14480: 8, 16533: 9, 17560: 7, 21666: 6, 1136: 9, 3189: 8, 9348: 9, 11401: 10, 13454: 8, 15507: 10, 18587: 9, 20640: 9, 2163: 8, 4216: 8, 10375: 7, 14481: 7, 1137: 9, 3190: 9, 5243: 10, 7296: 8, 9349: 10, 11402: 8, 13455: 7, 17561: 10, 22694: 8, 24747: 7, 2164: 8, 4217: 8, 14482: 8, 19615: 7, 21668: 5, 1138: 10, 3191: 10, 5244: 10, 9350: 9, 11403: 10, 13456: 8, 15509: 9, 17562: 10, 24748: 8, 2165: 8, 4218: 9, 14483: 10, 1139: 9, 3192: 10, 5245: 10, 7298: 5, 11404: 8, 17563: 8, 22696: 7, 24749: 9, 2166: 7, 1140: 9, 3193: 7, 5246: 9, 9352: 8, 11405: 7, 13458: 10, 17564: 10, 24750: 8, 16538: 10, 19618: 7, 1141: 9, 3194: 10, 5247: 9, 7300: 8, 11406: 10, 13459: 8, 15512: 9, 20645: 10, 22698: 9, 2168: 7, 12433: 10, 1142: 8, 3195: 9, 5248: 8, 9354: 9, 11407: 8, 13460: 10, 24752: 10, 4222: 9, 10381: 8, 12434: 9, 14487: 9, 16540: 10, 1143: 9, 3196: 9, 5249: 8, 7302: 6, 9355: 9, 11408: 10, 13461: 7, 15514: 7, 17567: 9, 22700: 7, 2170: 9, 4223: 9, 16541: 8, 18594: 8, 19621: 7, 1144: 9, 3197: 9, 5250: 9, 9356: 8, 11409: 7, 13462: 10, 17568: 7, 20648: 9, 2171: 7, 10383: 8, 12436: 7, 18595: 7, 1145: 7, 3198: 10, 5251: 7, 7304: 6, 9357: 9, 11410: 9, 13463: 7, 15516: 9, 17569: 9, 22702: 10, 24755: 9, 2172: 7, 4225: 10, 12437: 8, 1146: 9, 3199: 7, 13464: 8, 15517: 9, 24756: 9, 2173: 8, 4226: 9, 10385: 7, 12438: 10, 19624: 7, 21677: 6, 1147: 9, 3200: 8, 7306: 8, 9359: 9, 13465: 7, 15518: 8, 17571: 9, 24757: 7, 2174: 9, 4227: 9, 10386: 6, 12439: 9, 14492: 7, 18598: 10, 1148: 9, 3201: 9, 13466: 10, 15519: 9, 24758: 8, 2175: 8, 4228: 8, 10387: 7, 12440: 7, 1149: 10, 3202: 8, 9361: 8, 13467: 10, 15520: 9, 24759: 8, 2176: 5, 4229: 9, 12441: 8, 14494: 9, 18600: 9, 21680: 5, 1150: 9, 3203: 8, 9362: 8, 11415: 6, 17574: 9, 19627: 7, 24760: 8, 2177: 10, 4230: 8, 1151: 9, 3204: 7, 15522: 7, 22708: 10, 24761: 9, 2178: 9, 4231: 9, 10390: 6, 21682: 6, 1152: 9, 3205: 10, 7311: 8, 11417: 7, 15523: 8, 2179: 9, 4232: 9, 1153: 9, 3206: 9, 9365: 8, 15524: 8, 19630: 7, 22710: 9, 4233: 8, 10392: 6, 14498: 9, 18604: 8, 21684: 9, 23737: 7, 1154: 9, 3207: 8, 7313: 7, 11419: 7, 20658: 9, 4234: 10, 18605: 10, 23738: 10, 1155: 9, 3208: 10, 9367: 7, 20659: 9, 22712: 7, 4235: 8, 10394: 6, 23739: 10, 1156: 6, 3209: 7, 7315: 6, 11421: 7, 17580: 10, 19633: 7, 4236: 9, 20660: 9, 21687: 6, 1157: 7, 3210: 10, 9369: 8, 17581: 7, 22714: 9, 10396: 6, 18608: 8, 20661: 10, 23741: 8, 1158: 9, 3211: 9, 7317: 7, 9370: 10, 11423: 9, 17582: 8, 22715: 10, 20662: 9, 21689: 7, 23742: 10, 1159: 6, 3212: 7, 5265: 9, 15530: 8, 17583: 7, 19636: 9, 10398: 7, 18610: 8, 20663: 9, 23743: 7, 1160: 6, 3213: 10, 5266: 9, 7319: 5, 9372: 9, 11425: 5, 15531: 10, 17584: 10, 22717: 10, 12452: 8, 14505: 6, 20664: 9, 21691: 6, 23744: 7, 1161: 7, 3214: 8, 5267: 9, 15532: 7, 17585: 9, 19638: 9, 22718: 8, 10400: 6, 23745: 8, 1162: 7, 3215: 10, 5268: 6, 7321: 5, 9374: 7, 11427: 6, 15533: 9, 17586: 8, 14507: 9, 18613: 9, 23746: 10, 1163: 9, 3216: 7, 5269: 6, 15534: 9, 17587: 8, 19640: 9, 21693: 9, 24773: 8, 10402: 7, 20667: 10, 23747: 8, 1164: 9, 3217: 7, 5270: 7, 7323: 9, 11429: 6, 15535: 9, 17588: 10, 14509: 5, 18615: 9, 20668: 9, 1165: 8, 3218: 7, 9377: 9, 15536: 9, 17589: 8, 22722: 9, 24775: 7, 10404: 6, 18616: 9, 20669: 9, 1166: 9, 3219: 7, 5272: 9, 7325: 10, 9378: 8, 11431: 7, 15537: 10, 14511: 9, 23750: 8, 1167: 9, 3220: 10, 5273: 8, 9379: 8, 12459: 9, 18618: 9, 1168: 10, 3221: 8, 5274: 9, 7327: 7, 9380: 9, 11433: 7, 15539: 9, 17592: 8, 22725: 8, 10407: 6, 12460: 9, 14513: 8, 18619: 8, 20672: 9, 1169: 10, 3222: 9, 5275: 8, 9381: 9, 15540: 9, 12461: 9, 18620: 8, 20673: 8, 1170: 9, 3223: 8, 5276: 8, 7329: 5, 9382: 9, 11435: 5, 17594: 9, 24780: 10, 10409: 5, 12462: 9, 18621: 9, 20674: 8, 22727: 9, 23754: 10, 1171: 9, 3224: 10, 9383: 8, 15542: 9, 12463: 7, 14516: 7, 18622: 8, 20675: 9, 1172: 7, 3225: 9, 5278: 9, 7331: 4, 9384: 9, 11437: 6, 15543: 9, 17596: 9, 24782: 9, 12464: 9, 14517: 10, 18623: 8, 20676: 8, 22729: 9, 23756: 9, 1173: 9, 3226: 10, 9385: 8, 19650: 9, 21703: 6, 24783: 10, 12465: 8, 18624: 8, 20677: 8, 1174: 10, 3227: 8, 11439: 9, 15545: 9, 17598: 9, 10413: 9, 18625: 9, 22731: 10, 23758: 8, 1175: 9, 3228: 10, 15546: 9, 17599: 10, 12467: 7, 18626: 9, 1176: 9, 11441: 6, 15547: 9, 21706: 6, 23759: 7, 10415: 9, 20680: 10, 22733: 9, 1177: 8, 3230: 8, 7336: 8, 19654: 8, 23760: 10, 20681: 8, 22734: 7, 1178: 7, 3231: 10, 7337: 8, 11443: 7, 10417: 7, 14523: 7, 18629: 9, 20682: 10, 22735: 8, 1179: 8, 3232: 9, 5285: 8, 7338: 10, 15550: 7, 19656: 9, 23762: 9, 12471: 8, 18630: 9, 22736: 8, 1180: 8, 3233: 7, 7339: 9, 11445: 7, 15551: 10, 12472: 7, 14525: 9, 18631: 8, 22737: 9, 1181: 8, 3234: 9, 5287: 6, 7340: 8, 9393: 8, 15552: 9, 12473: 9, 22738: 8, 1182: 10, 3235: 9, 7341: 8, 11447: 7, 17606: 9, 23765: 9, 2209: 8, 14527: 7, 18633: 9, 1183: 7, 3236: 9, 5289: 9, 7342: 9, 9395: 6, 17607: 9, 21713: 8, 23766: 9, 10422: 10, 14528: 7, 18634: 9, 20687: 10, 22740: 8, 1184: 9, 3237: 8, 5290: 9, 7343: 7, 11449: 9, 15555: 10, 19661: 8, 23767: 8, 10423: 10, 12476: 9, 14529: 8, 18635: 10, 22741: 8, 1185: 8, 3238: 9, 5291: 9, 9397: 6, 19662: 8, 23768: 8, 12477: 9, 14530: 7, 18636: 8, 22742: 10, 1186: 9, 3239: 9, 5292: 9, 7345: 7, 11451: 9, 19663: 7, 21716: 5, 23769: 8, 10425: 7, 12478: 10, 14531: 10, 18637: 7, 22743: 9, 1187: 9, 3240: 7, 7346: 10, 9399: 7, 15558: 10, 17611: 7, 19664: 7, 6320: 9, 10426: 9, 12479: 10, 18638: 7, 22744: 10, 1188: 8, 3241: 9, 7347: 10, 11453: 8, 19665: 7, 21718: 6, 6321: 9, 10427: 8, 12480: 9, 22745: 7, 1189: 10, 3242: 8, 7348: 7, 9401: 6, 19666: 10, 6322: 9, 10428: 10, 12481: 9, 20693: 9, 22746: 7, 1190: 9, 5296: 8, 7349: 7, 11455: 6, 17614: 7, 10429: 9, 18641: 10, 22747: 10, 1191: 9, 3244: 9, 7350: 7, 21721: 5, 10430: 7, 18642: 10, 20695: 9, 22748: 10, 1192: 9, 3245: 8, 5298: 9, 7351: 7, 9404: 8, 11457: 6, 17616: 7, 12484: 9, 18643: 10, 22749: 8, 1193: 9, 3246: 9, 5299: 9, 7352: 7, 15564: 7, 19670: 10, 12485: 9, 18644: 8, 22750: 9, 1194: 8, 3247: 9, 5300: 9, 7353: 9, 11459: 6, 15565: 8, 17618: 9, 21724: 6, 2221: 10, 12486: 9, 18645: 10, 20698: 10, 22751: 7, 1195: 8, 3248: 8, 5301: 9, 7354: 7, 9407: 7, 15566: 8, 19672: 8, 2222: 9, 6328: 9, 12487: 8, 18646: 10, 1196: 8, 3249: 9, 5302: 9, 7355: 8, 11461: 5, 15567: 9, 17620: 7, 2223: 9, 6329: 9, 18647: 10, 1197: 9, 3250: 7, 5303: 9, 7356: 7, 9409: 6, 15568: 10, 17621: 7, 19674: 5, 23780: 6, 2224: 9, 6330: 9, 12489: 9, 14542: 8, 18648: 9, 20701: 9, 1198: 10, 3251: 8, 5304: 8, 7357: 7, 11463: 5, 15569: 7, 17622: 9, 23781: 7, 6331: 10, 12490: 9, 18649: 10, 1199: 10, 3252: 8, 5305: 9, 7358: 7, 9411: 9, 15570: 7, 17623: 7, 19676: 7, 21729: 9, 23782: 5, 6332: 9, 12491: 9, 14544: 9, 1200: 9, 3253: 8, 5306: 9, 7359: 8, 11465: 8, 15571: 10, 17624: 9, 23783: 5, 2227: 9, 6333: 9, 12492: 9, 22757: 10, 1201: 9, 3254: 8, 5307: 9, 7360: 7, 9413: 10, 15572: 9, 17625: 10, 19678: 6, 21731: 9, 23784: 7, 2228: 7, 6334: 8, 8387: 8, 12493: 8, 18652: 9, 20705: 8, 1202: 10, 3255: 10, 5308: 10, 7361: 7, 11467: 9, 15573: 10, 17626: 10, 2229: 10, 6335: 9, 8388: 6, 14547: 5, 22759: 7, 1203: 9, 3256: 7, 7362: 9, 9415: 10, 15574: 8, 17627: 10, 19680: 10, 23786: 9, 6336: 9, 8389: 9, 18654: 9, 20707: 9, 1204: 9, 11469: 8, 15575: 9, 17628: 8, 21734: 9, 6337: 9, 8390: 9, 10443: 8, 12496: 9, 20708: 9, 1205: 9, 3258: 7, 5311: 8, 7364: 7, 9417: 9, 15576: 10, 19682: 8, 6338: 8, 8391: 7, 10444: 8, 18656: 9, 20709: 9, 22762: 7, 1206: 9, 3259: 10, 5312: 9, 7365: 7, 11471: 7, 17630: 9, 21736: 8, 6339: 8, 8392: 9, 10445: 7, 1207: 9, 3260: 7, 5313: 10, 7366: 8, 9419: 9, 15578: 8, 17631: 9, 19684: 8, 23790: 10, 6340: 9, 12499: 8, 18658: 9, 22764: 9, 1208: 9, 3261: 8, 5314: 10, 7367: 8, 15579: 7, 17632: 8, 6341: 9, 8394: 9, 12500: 9, 22765: 9, 1209: 9, 3262: 7, 5315: 10, 9421: 9, 11474: 8, 17633: 9, 8395: 8, 12501: 6, 18660: 10, 1210: 9, 3263: 7, 5316: 8, 17634: 9, 6343: 7, 8396: 8, 10449: 8, 12502: 6, 18661: 9, 22767: 9, 1211: 10, 3264: 10, 5317: 8, 9423: 6, 15582: 6, 21741: 10, 23794: 10, 8397: 9, 10450: 9, 12503: 6, 18662: 8, 1212: 9, 3265: 10, 5318: 8, 7371: 9, 11477: 7, 17636: 8, 8398: 6, 10451: 9, 12504: 8, 1213: 10, 3266: 7, 5319: 9, 7372: 9, 9425: 7, 15584: 7, 19690: 10, 21743: 9, 23796: 8, 6346: 10, 8399: 8, 12505: 8, 14558: 7, 18664: 9, 20717: 9, 1214: 9, 3267: 8, 5320: 8, 7373: 9, 11479: 7, 15585: 7, 19691: 10, 8400: 8, 10453: 10, 12506: 9, 14559: 8, 22771: 9, 1215: 10, 3268: 10, 5321: 8, 7374: 6, 9427: 6, 15586: 8, 19692: 9, 21745: 8, 23798: 9, 2242: 8, 10454: 9, 12507: 9, 14560: 9, 18666: 10, 20719: 7, 1216: 10, 5322: 10, 7375: 8, 11481: 9, 15587: 10, 19693: 8, 2243: 8, 10455: 9, 14561: 7, 22773: 6, 1217: 8, 3270: 10, 5323: 10, 7376: 9, 9429: 6, 15588: 8, 19694: 10, 21747: 9, 23800: 7, 2244: 7, 6350: 8, 10456: 10, 14562: 9, 20721: 8, 1218: 8, 3271: 9, 7377: 9, 15589: 10, 19695: 10, 2245: 6, 6351: 9, 10457: 9, 14563: 9, 1219: 7, 3272: 7, 5325: 9, 7378: 9, 9431: 6, 11484: 5, 15590: 10, 19696: 9, 21749: 9, 23802: 6, 6352: 9, 10458: 9, 12511: 9, 14564: 10, 18670: 9, 20723: 8, 1220: 9, 3273: 8, 5326: 9, 7379: 9, 15591: 8, 19697: 7, 10459: 10, 12512: 9, 14565: 8, 22777: 9, 1221: 7, 5327: 7, 9433: 9, 15592: 9, 19698: 7, 21751: 6, 23804: 7, 2248: 10, 6354: 7, 10460: 9, 20725: 7, 1222: 9, 3275: 9, 5328: 8, 2249: 8, 12514: 7, 18673: 7, 1223: 7, 3276: 8, 5329: 8, 9435: 8, 21753: 8, 23806: 7, 2250: 9, 6356: 8, 20727: 9, 1224: 9, 3277: 7, 5330: 9, 19701: 9, 6357: 10, 10463: 8, 12516: 6, 1225: 7, 3278: 9, 5331: 8, 9437: 9, 15596: 9, 17649: 9, 19702: 9, 21755: 9, 23808: 7, 2252: 8, 6358: 10, 10464: 9, 18676: 9, 20729: 7, 22782: 7, 1226: 9, 5332: 8, 15597: 9, 17650: 9, 19703: 9, 2253: 8, 10465: 8, 12518: 7, 18677: 9, 1227: 9, 3280: 8, 5333: 8, 9439: 7, 11492: 10, 15598: 9, 17651: 8, 19704: 10, 21757: 8, 23810: 7, 2254: 9, 10466: 9, 20731: 10, 22784: 7, 1228: 10, 3281: 9, 5334: 7, 15599: 9, 17652: 8, 19705: 10, 21758: 9, 2255: 10, 10467: 8, 12520: 8, 1229: 8, 3282: 8, 5335: 8, 9441: 10, 15600: 9, 17653: 9, 19706: 8, 21759: 10, 23812: 9, 2256: 9, 6362: 9, 8415: 8, 10468: 8, 20733: 8, 1230: 9, 3283: 9, 5336: 7, 9442: 8, 11495: 10, 15601: 9, 17654: 8, 19707: 8, 8416: 8, 12522: 8, 18681: 10, 22787: 6, 1231: 9, 3284: 7, 5337: 8, 11496: 8, 15602: 9, 17655: 7, 19708: 9, 23814: 7, 8417: 9, 20735: 7, 1232: 6, 3285: 9, 9444: 7, 15603: 9, 17656: 9, 21762: 10, 8418: 8, 12524: 9, 18683: 9, 22789: 10, 1233: 9, 3286: 9, 15604: 9, 19710: 9, 23816: 7, 6366: 7, 8419: 7, 18684: 9, 20737: 8, 1234: 9, 3287: 10, 15605: 10, 19711: 9, 21764: 7, 8420: 9, 10473: 10, 12526: 10, 18685: 8, 22791: 7, 1235: 8, 3288: 10, 11500: 10, 15606: 10, 19712: 9, 23818: 8, 18686: 9, 20739: 10, 1236: 10, 3289: 8, 19713: 9, 6369: 10, 12528: 9, 14581: 9, 18687: 9, 22793: 7, 1237: 8, 3290: 7, 5343: 8, 15608: 9, 19714: 8, 23820: 9, 18688: 8, 20741: 7, 1238: 8, 3291: 8, 5344: 6, 19715: 9, 10477: 7, 12530: 7, 14583: 8, 18689: 7, 1239: 9, 3292: 7, 15610: 8, 23822: 7, 8425: 7, 14584: 10, 18690: 8, 20743: 10, 22796: 5, 1240: 10, 3293: 9, 12532: 9, 18691: 8, 1241: 9, 3294: 8, 15612: 6, 21771: 9, 23824: 6, 8427: 8, 10480: 8, 16639: 9, 20745: 9, 1242: 7, 3295: 9, 5348: 7, 8428: 7, 10481: 9, 12534: 7, 14587: 8, 22799: 7, 1243: 8, 3296: 10, 11508: 10, 15614: 9, 21773: 10, 23826: 7, 10482: 10, 20747: 9, 1244: 8, 3297: 8, 9456: 8, 15615: 8, 2271: 8, 10483: 7, 12536: 8, 14589: 9, 18695: 7, 22801: 9, 1245: 9, 3298: 7, 9457: 7, 15616: 7, 23828: 4, 8431: 5, 10484: 8, 14590: 9, 20749: 9, 1246: 9, 3299: 10, 9458: 7, 10485: 8, 12538: 8, 14591: 8, 18697: 8, 22803: 6, 1247: 7, 3300: 8, 9459: 7, 17671: 9, 23830: 8, 2274: 10, 8433: 8, 10486: 7, 18698: 6, 20751: 9, 1248: 8, 3301: 9, 17672: 9, 10487: 7, 14593: 8, 1249: 8, 3302: 7, 21779: 10, 23832: 9, 2276: 10, 8435: 8, 14594: 9, 20753: 7, 22806: 9, 1250: 8, 11515: 8, 16648: 9, 22807: 10, 1251: 8, 11516: 7, 15622: 6, 23834: 8, 12543: 9, 16649: 9, 18702: 6, 20755: 9, 1252: 8, 9464: 7, 11517: 7, 21782: 6, 12544: 8, 22809: 7, 1253: 8, 11518: 8, 23836: 9, 8439: 6, 12545: 8, 14598: 7, 16651: 9, 20757: 8, 22810: 9, 1254: 10, 5360: 9, 11519: 8, 17678: 9, 19731: 9, 10493: 9, 12546: 9, 16652: 9, 22811: 10, 1255: 8, 3308: 9, 5361: 8, 9467: 9, 11520: 10, 21785: 6, 23838: 8, 6388: 7, 10494: 9, 12547: 9, 14600: 9, 16653: 9, 18706: 7, 20759: 8, 22812: 8, 1256: 7, 3309: 8, 5362: 5, 9468: 7, 11521: 8, 15627: 9, 17680: 9, 8442: 6, 10495: 9, 12548: 9, 14601: 9, 16654: 9, 22813: 8, 1257: 9, 3310: 9, 5363: 5, 11522: 8, 15628: 9, 23840: 6, 6390: 7, 10496: 9, 12549: 9, 16655: 8, 18708: 8, 20761: 7, 22814: 8, 1258: 9, 5364: 5, 9470: 9, 11523: 9, 13576: 6, 15629: 8, 17682: 9, 21788: 6, 10497: 9, 12550: 8, 14603: 9, 16656: 9, 22815: 8, 1259: 10, 3312: 8, 5365: 6, 9471: 10, 11524: 10, 15630: 9, 23842: 8, 8445: 7, 10498: 9, 16657: 9, 18710: 7, 20763: 10, 22816: 7, 1260: 9, 3313: 9, 5366: 7, 9472: 7, 15631: 9, 19737: 5, 21790: 7, 6393: 8, 10499: 9, 16658: 9, 22817: 9, 1261: 9, 3314: 7, 5367: 5, 9473: 8, 11526: 6, 13579: 6, 15632: 9, 17685: 9, 23844: 9, 6394: 9, 12553: 6, 18712: 7, 20765: 9, 1262: 9, 3315: 8, 5368: 6, 9474: 7, 17686: 9, 19739: 8, 21792: 7, 8448: 6, 22819: 7, 1263: 8, 5369: 5, 9475: 9, 15634: 7, 17687: 9, 21793: 9, 23846: 6, 6396: 10, 12555: 7, 16661: 7, 18714: 9, 20767: 10, 1264: 7, 5370: 7, 9476: 10, 11529: 10, 13582: 7, 17688: 9, 19741: 8, 6397: 8, 22821: 7, 1265: 10, 3318: 8, 5371: 9, 9477: 9, 17689: 7, 23848: 8, 8451: 7, 12557: 6, 16663: 7, 18716: 7, 20769: 7, 1266: 8, 9478: 9, 17690: 9, 19743: 9, 10505: 8, 14611: 9, 16664: 8, 22823: 7, 1267: 9, 3320: 9, 5373: 7, 9479: 7, 15638: 10, 17691: 9, 23850: 8, 6400: 6, 14612: 9, 16665: 8, 18718: 8, 20771: 9, 1268: 9, 3321: 8, 5374: 5, 15639: 8, 17692: 10, 19745: 5, 8454: 9, 10507: 9, 16666: 8, 22825: 8, 1269: 9, 17693: 9, 23852: 5, 6402: 6, 12561: 6, 16667: 7, 18720: 8, 20773: 7, 1270: 9, 3323: 7, 15641: 9, 17694: 9, 19747: 9, 21800: 9, 2297: 8, 10509: 7, 22827: 8, 1271: 9, 5377: 6, 15642: 7, 21801: 9, 23854: 7, 6404: 5, 8457: 8, 18722: 8, 20775: 8, 1272: 7, 3325: 7, 17696: 8, 19749: 9, 21802: 8, 22829: 5, 1273: 9, 5379: 6, 9485: 9, 11538: 7, 21803: 9, 23856: 8, 2300: 8, 18724: 9, 20777: 6, 1274: 9, 3327: 9, 5380: 8, 9486: 9, 13592: 4, 19751: 8, 21804: 8, 8460: 5, 12566: 9, 22831: 7, 1275: 10, 3328: 8, 9487: 9, 17699: 10, 21805: 9, 23858: 6, 249: 8, 6408: 10, 12567: 10, 18726: 7, 20779: 8, 1276: 9, 11541: 8, 13594: 6, 19753: 9, 21806: 9, 12568: 9, 22833: 8, 3330: 9, 9489: 9, 15648: 9, 21807: 9, 23860: 7, 251: 10, 6410: 9, 8463: 6, 12569: 9, 18728: 8, 20781: 8, 9490: 9, 13596: 7, 19755: 7, 6411: 9, 10517: 7, 12570: 9, 22835: 7, 1279: 6, 3332: 9, 7438: 7, 9491: 8, 23862: 8, 253: 7, 6412: 10, 8465: 8, 12571: 8, 18730: 6, 20783: 9, 1280: 9, 3333: 6, 5386: 7, 7439: 6, 9492: 8, 13598: 9, 19757: 9, 6413: 9, 12572: 9, 16678: 9, 22837: 4, 1281: 7, 9493: 9, 15652: 8, 23864: 9, 2308: 8, 6414: 9, 8467: 8, 12573: 9, 18732: 8, 20785: 9, 1282: 10, 9494: 10, 13600: 9, 15653: 8, 19759: 7, 21812: 8, 2309: 9, 6415: 10, 12574: 9, 16680: 9, 22839: 7, 1283: 9, 9495: 9, 15654: 7, 23866: 7, 2310: 8, 6416: 9, 8469: 6, 18734: 9, 20787: 8, 1284: 10, 9496: 8, 13602: 7, 19761: 6, 21814: 9, 2311: 9, 6417: 9, 10523: 9, 12576: 8, 22841: 8, 1285: 10, 9497: 9, 15656: 8, 17709: 6, 23868: 8, 2312: 9, 8471: 5, 10524: 9, 12577: 10, 18736: 5, 20789: 9, 1286: 9, 9498: 9, 13604: 8, 15657: 8, 19763: 9, 21816: 9, 6419: 9, 10525: 9, 14631: 8, 1287: 9, 9499: 9, 15658: 9, 17711: 8, 23870: 7, 6420: 8, 8473: 6, 10526: 8, 14632: 10, 18738: 8, 20791: 7, 22844: 6, 1288: 9, 5394: 9, 9500: 9, 13606: 5, 19765: 8, 21818: 9, 10527: 9, 12580: 8, 14633: 9, 16686: 9, 1289: 9, 9501: 9, 17713: 7, 23872: 5, 8475: 9, 10528: 9, 12581: 9, 14634: 10, 18740: 9, 22846: 5, 1290: 9, 9502: 9, 11555: 10, 13608: 6, 19767: 5, 21820: 9, 4370: 9, 10529: 8, 12582: 9, 14635: 9, 20794: 8, 1291: 9, 3344: 8, 17715: 6, 6424: 8, 8477: 5, 10530: 8, 12583: 9, 18742: 5, 22848: 4, 1292: 8, 3345: 7, 5398: 10, 9504: 7, 13610: 8, 17716: 9, 19769: 8, 21822: 7, 12584: 9, 14637: 7, 1293: 7, 21823: 8, 4373: 10, 6426: 7, 8479: 8, 12585: 9, 14638: 8, 18744: 9, 20797: 9, 22850: 9, 1294: 7, 13612: 8, 15665: 9, 17718: 9, 19771: 7, 4374: 9, 10533: 8, 12586: 8, 14639: 10, 1295: 6, 9507: 9, 4375: 9, 8481: 6, 12587: 8, 14640: 9, 18746: 8, 22852: 7, 1296: 9, 7455: 7, 13614: 8, 15667: 9, 19773: 7, 23879: 8, 6429: 9, 12588: 8, 20800: 8, 1297: 10, 9509: 10, 23880: 8, 8483: 7, 12589: 8, 16695: 10, 18748: 9, 22854: 6, 1298: 10, 5404: 8, 7457: 10, 13616: 7, 19775: 6, 21828: 7, 23881: 8, 10537: 6, 14643: 7, 16696: 10, 20802: 9, 1299: 9, 9511: 8, 11564: 8, 23882: 8, 4379: 6, 8485: 8, 12591: 7, 16697: 9, 18750: 9, 22856: 8, 1300: 9, 5406: 7, 7459: 8, 9512: 8, 13618: 9, 19777: 8, 21830: 7, 23883: 9, 16698: 9, 20804: 7, 1301: 9, 11566: 10, 15672: 8, 17725: 7, 23884: 8, 8487: 8, 10540: 6, 12593: 7, 16699: 10, 18752: 9, 22858: 5, 1302: 9, 7461: 8, 9514: 10, 19779: 8, 4382: 9, 10541: 9, 14647: 7, 16700: 9, 20806: 8, 1303: 10, 5409: 8, 11568: 7, 13621: 9, 21833: 5, 4383: 8, 10542: 9, 12595: 9, 16701: 9, 18754: 7, 22860: 8, 1304: 9, 5410: 9, 7463: 7, 15675: 7, 17728: 6, 19781: 5, 4384: 9, 16702: 10, 20808: 7, 1305: 9, 3358: 8, 11570: 7, 13623: 9, 15676: 8, 17729: 6, 4385: 9, 8491: 7, 10544: 6, 12597: 7, 14650: 9, 16703: 9, 18756: 9, 22862: 7, 1306: 9, 7465: 7, 15677: 7, 19783: 8, 21836: 6, 23889: 7, 4386: 9, 16704: 9, 20810: 8, 5413: 9, 13625: 5, 4387: 8, 10546: 6, 12599: 7, 16705: 9, 18758: 9, 22864: 7, 5414: 9, 7467: 6, 19785: 6, 4388: 9, 14653: 10, 16706: 9, 20812: 9, 5415: 9, 9521: 6, 11574: 7, 13627: 7, 17733: 9, 2336: 9, 4389: 9, 10548: 7, 12601: 6, 16707: 9, 18760: 9, 1310: 10, 5416: 9, 11575: 9, 17734: 9, 19787: 9, 21840: 10, 23893: 7, 4390: 9, 6443: 7, 14655: 6, 16708: 10, 20814: 7, 22867: 6, 1311: 9, 13629: 7, 17735: 9, 4391: 9, 6444: 9, 10550: 7, 12603: 6, 18762: 9, 1312: 9, 5418: 8, 11577: 10, 15683: 9, 17736: 8, 19789: 8, 21842: 8, 2339: 9, 4392: 9, 6445: 8, 14657: 9, 20816: 8, 1313: 10, 7472: 6, 11578: 10, 13631: 8, 17737: 9, 23896: 8, 2340: 7, 4393: 8, 6446: 6, 10552: 9, 12605: 6, 18764: 9, 22870: 6, 1314: 9, 11579: 9, 17738: 8, 19791: 7, 21844: 8, 23897: 7, 2341: 10, 4394: 9, 6447: 10, 14659: 9, 20818: 7, 1315: 9, 11580: 8, 13633: 7, 17739: 8, 23898: 8, 2342: 9, 4395: 8, 6448: 7, 8501: 9, 10554: 6, 12607: 9, 16713: 7, 18766: 8, 22872: 7, 1316: 10, 5422: 10, 7475: 5, 9528: 5, 11581: 7, 15687: 9, 17740: 9, 19793: 5, 21846: 9, 23899: 9, 4396: 8, 6449: 9, 14661: 8, 20820: 6, 1317: 10, 7476: 9, 11582: 8, 13635: 7, 15688: 10, 17741: 9, 23900: 8, 4397: 8, 6450: 9, 8503: 9, 10556: 7, 12609: 7, 14662: 9, 16715: 6, 18768: 6, 22874: 10, 1318: 9, 7477: 8, 15689: 10, 19795: 9, 21848: 8, 23901: 10, 292: 9, 2345: 9, 4398: 8, 6451: 9, 14663: 8, 20822: 7, 1319: 10, 7478: 7, 13637: 7, 15690: 7, 23902: 9, 293: 10, 2346: 8, 12611: 7, 14664: 9, 18770: 8, 1320: 10, 7479: 9, 9532: 8, 19797: 8, 21850: 9, 23903: 9, 294: 9, 2347: 9, 4400: 8, 10559: 6, 14665: 9, 20824: 9, 1321: 9, 7480: 8, 13639: 8, 15692: 8, 23904: 10, 2348: 8, 4401: 10, 12613: 7, 14666: 9, 16719: 6, 18772: 9, 22878: 8, 1322: 9, 7481: 7, 11587: 7, 17746: 7, 19799: 6, 21852: 9, 2349: 9, 4402: 8, 10561: 8, 14667: 9, 16720: 10, 20826: 8, 1323: 8, 7482: 8, 13641: 5, 15694: 7, 17747: 10, 23906: 9, 2350: 9, 4403: 10, 8509: 6, 12615: 8, 18774: 5, 22880: 7, 1324: 10, 7483: 9, 11589: 9, 19801: 7, 21854: 9, 23907: 9, 2351: 9, 4404: 9, 10563: 6, 14669: 10, 20828: 8, 1325: 7, 7484: 8, 13643: 5, 21855: 9, 23908: 10, 2352: 8, 12617: 9, 14670: 8, 18776: 8, 22882: 8, 1326: 7, 7485: 10, 15697: 8, 19803: 6, 21856: 9, 23909: 8, 20830: 9, 1327: 10, 13645: 7, 15698: 7, 17751: 7, 21857: 10, 23910: 8, 2354: 9, 4407: 10, 8513: 8, 10566: 8, 12619: 7, 14672: 9, 18778: 5, 1328: 7, 9540: 5, 11593: 8, 17752: 8, 19805: 4, 21858: 9, 23911: 9, 2355: 9, 16726: 10, 20832: 9, 22885: 6, 1329: 7, 13647: 9, 21859: 9, 2356: 9, 4409: 9, 8515: 9, 10568: 7, 12621: 6, 16727: 9, 18780: 9, 1330: 9, 7489: 9, 9542: 8, 15701: 9, 19807: 9, 21860: 9, 23913: 9, 2357: 9, 4410: 9, 8516: 9, 10569: 10, 14675: 4, 20834: 9, 22887: 9, 1331: 9, 13649: 5, 21861: 9, 23914: 8, 2358: 6, 4411: 9, 10570: 8, 12623: 8, 18782: 9, 1332: 10, 9544: 5, 19809: 7, 23915: 8, 2359: 6, 4412: 9, 8518: 10, 10571: 9, 14677: 10, 16730: 8, 20836: 9, 22889: 7, 1333: 7, 13651: 5, 15704: 9, 23916: 9, 2360: 8, 12625: 8, 18784: 7, 22890: 8, 1334: 7, 9546: 9, 19811: 7, 21864: 8, 23917: 8, 2361: 7, 4414: 9, 8520: 10, 14679: 9, 16732: 9, 20838: 6, 22891: 8, 1335: 8, 13653: 7, 15706: 10, 21865: 10, 23918: 8, 2362: 7, 4415: 8, 12627: 5, 14680: 7, 18786: 9, 22892: 10, 1336: 8, 9548: 8, 17760: 7, 19813: 6, 23919: 7, 310: 7, 2363: 6, 4416: 10, 8522: 9, 14681: 8, 16734: 6, 20840: 9, 22893: 8, 1337: 9, 9549: 9, 13655: 8, 21867: 10, 23920: 9, 2364: 8, 4417: 8, 12629: 7, 18788: 9, 22894: 7, 17762: 10, 19815: 7, 23921: 10, 2365: 7, 4418: 10, 8524: 8, 16736: 8, 20842: 8, 22895: 9, 1339: 6, 7498: 6, 9551: 8, 13657: 8, 17763: 9, 21869: 10, 23922: 9, 2366: 8, 4419: 9, 12631: 8, 14684: 8, 18790: 7, 22896: 8, 1340: 9, 9552: 9, 17764: 8, 19817: 4, 23923: 8, 2367: 10, 8526: 10, 10579: 8, 14685: 7, 16738: 7, 20844: 8, 22897: 10, 1341: 9, 7500: 7, 13659: 6, 15712: 8, 17765: 7, 21871: 9, 2368: 9, 4421: 10, 8527: 9, 10580: 8, 14686: 7, 16739: 9, 18792: 7, 22898: 9, 1342: 9, 15713: 8, 17766: 8, 2369: 9, 4422: 10, 8528: 7, 10581: 8, 14687: 10, 20846: 9, 22899: 9, 1343: 10, 7502: 6, 9555: 9, 11608: 8, 13661: 8, 15714: 9, 17767: 8, 19820: 8, 21873: 10, 8529: 10, 10582: 9, 12635: 6, 14688: 10, 16741: 8, 18794: 9, 22900: 8, 1344: 7, 15715: 9, 4424: 9, 8530: 8, 10583: 9, 12636: 9, 14689: 9, 20848: 6, 22901: 9, 1345: 8, 7504: 7, 9557: 9, 11610: 8, 13663: 7, 15716: 8, 2372: 8, 8531: 8, 10584: 9, 12637: 9, 16743: 9, 18796: 9, 22902: 9, 1346: 9, 9558: 10, 15717: 9, 19823: 8, 21876: 6, 23929: 9, 8532: 8, 10585: 8, 12638: 9, 14691: 8, 20850: 7, 22903: 7, 1347: 7, 7506: 7, 9559: 8, 11612: 9, 13665: 7, 15718: 7, 23930: 9, 4427: 8, 10586: 9, 12639: 8, 14692: 10, 16745: 9, 18798: 6, 22904: 7, 1348: 7, 9560: 9, 15719: 7, 21878: 9, 23931: 8, 2375: 10, 4428: 9, 10587: 9, 12640: 9, 14693: 10, 20852: 8, 22905: 10, 1349: 7, 7508: 6, 9561: 9, 11614: 8, 13667: 8, 15720: 10, 19826: 7, 2376: 8, 12641: 9, 14694: 8, 18800: 6, 15721: 10, 17774: 8, 21880: 7, 2377: 8, 8536: 8, 14695: 8, 20854: 8, 22907: 8, 1351: 7, 5457: 8, 7510: 7, 9563: 10, 11616: 8, 13669: 9, 17775: 9, 2378: 8, 8537: 10, 14696: 10, 16749: 9, 18802: 8, 22908: 10, 5458: 8, 17776: 9, 19829: 7, 21882: 8, 2379: 8, 12644: 7, 14697: 8, 16750: 9, 20856: 6, 22909: 9, 1353: 10, 5459: 8, 7512: 9, 9565: 8, 11618: 7, 13671: 7, 17777: 10, 23936: 5, 8539: 10, 10592: 8, 14698: 10, 18804: 7, 22910: 8, 5460: 9, 9566: 9, 15725: 8, 17778: 9, 21884: 6, 23937: 9, 8540: 7, 12646: 9, 14699: 9, 16752: 8, 20858: 7, 1355: 7, 5461: 9, 7514: 8, 9567: 7, 11620: 8, 13673: 6, 15726: 8, 19832: 6, 2382: 10, 4435: 9, 6488: 9, 8541: 8, 10594: 6, 14700: 7, 18806: 5, 22912: 9, 5462: 9, 11621: 10, 15727: 8, 21886: 6, 2383: 8, 6489: 8, 12648: 8, 14701: 10, 16754: 9, 20860: 9, 22913: 6, 1357: 10, 5463: 9, 7516: 8, 9569: 9, 11622: 10, 13675: 8, 15728: 10, 17781: 7, 2384: 10, 6490: 9, 8543: 8, 10596: 8, 12649: 8, 14702: 9, 18808: 10, 5464: 7, 11623: 8, 15729: 7, 19835: 8, 21888: 9, 2385: 9, 8544: 8, 10597: 9, 14703: 8, 16756: 8, 20862: 8, 1359: 10, 5465: 9, 7518: 7, 11624: 10, 13677: 9, 15730: 8, 6492: 7, 10598: 7, 14704: 7, 16757: 9, 18810: 9, 5466: 9, 9572: 6, 11625: 8, 15731: 9, 21890: 8, 6493: 7, 8546: 7, 10599: 10, 14705: 10, 20864: 8, 1361: 7, 5467: 9, 7520: 6, 11626: 10, 13679: 8, 15732: 10, 17785: 8, 19838: 7, 2388: 7, 6494: 7, 8547: 8, 10600: 10, 14706: 7, 16759: 9, 18812: 8, 22918: 8, 5468: 9, 11627: 9, 21892: 5, 2389: 10, 6495: 8, 8548: 7, 10601: 7, 14707: 9, 20866: 8, 5469: 9, 7522: 9, 11628: 9, 13681: 7, 17787: 8, 2390: 9, 6496: 8, 8549: 10, 10602: 8, 12655: 10, 14708: 8, 16761: 8, 18814: 6, 11629: 9, 17788: 8, 19841: 7, 21894: 8, 2391: 7, 6497: 8, 8550: 8, 10603: 10, 14709: 7, 20868: 7, 1365: 10, 9577: 9, 13683: 9, 17789: 10, 2392: 10, 8551: 10, 10604: 10, 12657: 9, 14710: 7, 16763: 9, 18816: 9, 5472: 8, 15737: 9, 17790: 9, 21896: 8, 2393: 9, 4446: 9, 10605: 7, 20870: 6, 22923: 7, 1367: 8, 9579: 9, 13685: 6, 15738: 8, 17791: 9, 19844: 7, 2394: 10, 8553: 8, 10606: 8, 12659: 9, 14712: 8, 16765: 9, 18818: 8, 15739: 8, 17792: 8, 21898: 7, 2395: 9, 8554: 9, 10607: 8, 14713: 8, 20872: 7, 22925: 7, 1369: 8, 9581: 6, 13687: 7, 15740: 9, 17793: 9, 2396: 9, 6502: 8, 8555: 10, 10608: 9, 12661: 6, 14714: 9, 16767: 9, 18820: 8, 7529: 6, 15741: 8, 17794: 9, 21900: 7, 2397: 9, 8556: 9, 20874: 6, 22927: 8, 1371: 9, 11636: 9, 13689: 8, 15742: 9, 17795: 8, 2398: 8, 8557: 7, 16769: 9, 18822: 8, 7531: 7, 15743: 9, 17796: 7, 21902: 8, 2399: 10, 4452: 8, 8558: 10, 20876: 7, 1373: 8, 11638: 9, 13691: 7, 15744: 10, 17797: 9, 2400: 8, 8559: 10, 10612: 8, 16771: 10, 18824: 9, 22930: 7, 15745: 10, 17798: 7, 21904: 7, 2401: 9, 8560: 9, 14719: 6, 16772: 8, 20878: 7, 1375: 8, 9587: 6, 11640: 7, 13693: 8, 15746: 8, 17799: 8, 349: 7, 2402: 9, 4455: 7, 8561: 10, 10614: 8, 18826: 7, 22932: 6, 17800: 9, 21906: 7, 350: 8, 2403: 10, 8562: 7, 14721: 10, 16774: 9, 20880: 8, 1377: 7, 9589: 8, 11642: 7, 13695: 7, 17801: 8, 351: 9, 2404: 9, 10616: 9, 14722: 7, 18828: 9, 22934: 9, 15749: 7, 17802: 7, 21908: 10, 352: 9, 8564: 9, 10617: 8, 14723: 7, 20882: 7, 1379: 9, 9591: 8, 11644: 8, 13697: 7, 23962: 9, 353: 8, 8565: 9, 14724: 7, 18830: 9, 15751: 6, 17804: 9, 21910: 7, 23963: 9, 354: 7, 14725: 8, 16778: 9, 20884: 6, 22937: 7, 1381: 9, 11646: 9, 13699: 7, 17805: 8, 23964: 9, 355: 10, 14726: 10, 18832: 8, 9594: 6, 15753: 6, 21912: 8, 8568: 7, 10621: 7, 14727: 7, 20886: 9, 1383: 7, 11648: 9, 13701: 6, 17807: 9, 21913: 7, 6516: 8, 14728: 7, 16781: 7, 18834: 9, 22940: 8, 3437: 9, 5490: 9, 9596: 7, 15755: 6, 21914: 7, 23967: 8, 8570: 7, 20888: 8, 1385: 9, 5491: 10, 13703: 8, 21915: 10, 6518: 7, 8571: 9, 18836: 6, 22942: 7, 5492: 9, 15757: 5, 17810: 7, 21916: 10, 8572: 9, 10625: 9, 14731: 9, 16784: 9, 20890: 9, 22943: 7, 1387: 9, 13705: 8, 21917: 7, 8573: 7, 16785: 9, 18838: 5, 22944: 7, 9600: 7, 15759: 6, 21918: 8, 6521: 7, 8574: 7, 10627: 9, 16786: 8, 20892: 9, 22945: 7, 1389: 7, 11654: 9, 13707: 7, 21919: 10, 8575: 7, 14734: 8, 16787: 8, 18840: 5, 9602: 7, 15761: 8, 17814: 7, 19867: 10, 21920: 7, 8576: 7, 10629: 6, 14735: 8, 16788: 7, 20894: 7, 1391: 8, 5497: 9, 11656: 9, 13709: 8, 17815: 10, 21921: 8, 23974: 8, 8577: 7, 14736: 10, 16789: 10, 18842: 7, 5498: 9, 9604: 9, 11657: 9, 15763: 6, 17816: 7, 19869: 9, 23975: 10, 8578: 9, 14737: 8, 16790: 9, 20896: 8, 22949: 6, 1393: 7, 5499: 9, 11658: 8, 13711: 6, 17817: 10, 23976: 8, 8579: 7, 12685: 9, 14738: 7, 16791: 7, 18844: 7, 22950: 7, 5500: 10, 11659: 9, 15765: 6, 17818: 9, 23977: 8, 8580: 8, 12686: 9, 14739: 10, 16792: 9, 20898: 8, 1395: 8, 5501: 10, 11660: 9, 13713: 9, 17819: 8, 23978: 9, 8581: 7, 10634: 9, 12687: 9, 14740: 7, 18846: 5, 5502: 10, 9608: 9, 11661: 9, 15767: 6, 23979: 9, 8582: 9, 10635: 9, 12688: 9, 14741: 8, 20900: 7, 1397: 7, 5503: 8, 9609: 9, 11662: 8, 13715: 7, 19874: 9, 21927: 6, 23980: 9, 8583: 9, 10636: 9, 12689: 8, 18848: 5, 22954: 8, 5504: 9, 9610: 9, 19875: 9, 23981: 8, 8584: 9, 10637: 8, 12690: 9, 20902: 6, 1399: 10, 5505: 10, 9611: 9, 13717: 8, 19876: 9, 23982: 9, 8585: 9, 10638: 8, 12691: 9, 18850: 8, 22956: 8, 5506: 9, 9612: 9, 11665: 10, 19877: 9, 21930: 7, 23983: 9, 10639: 8, 12692: 8, 14745: 8, 20904: 8, 22957: 8, 1401: 9, 5507: 9, 9613: 9, 13719: 8, 19878: 9, 23984: 8, 8587: 10, 12693: 9, 18852: 9, 22958: 10, 5508: 6, 9614: 8, 23985: 8, 16800: 9, 20906: 9, 22959: 8, 1403: 7, 5509: 8, 9615: 8, 11668: 9, 13721: 5, 19880: 10, 21933: 9, 23986: 8, 16801: 7, 18854: 8, 22960: 10, 5510: 7, 11669: 9, 19881: 9, 21934: 8, 23987: 10, 8590: 10, 12696: 6, 14749: 8, 16802: 7, 20908: 8, 22961: 8, 1405: 8, 5511: 9, 9617: 8, 11670: 9, 19882: 9, 21935: 8, 23988: 9, 16803: 9, 18856: 6, 22962: 7, 5512: 10, 19883: 10, 21936: 9, 23989: 9, 8592: 9, 14751: 9, 16804: 10, 20910: 7, 22963: 8, 1407: 10, 5513: 8, 11672: 9, 13725: 8, 21937: 9, 23990: 10, 8593: 10, 16805: 8, 18858: 4, 22964: 8, 5514: 8, 11673: 8, 19885: 9, 21938: 8, 4488: 8, 8594: 8, 12700: 7, 20912: 7, 1409: 7, 5515: 8, 9621: 9, 13727: 8, 19886: 9, 21939: 7, 23992: 9, 4489: 9, 8595: 9, 14754: 9, 16807: 8, 18860: 8, 5516: 8, 9622: 9, 21940: 6, 23993: 10, 4490: 9, 8596: 9, 12702: 6, 16808: 9, 20914: 9, 1411: 10, 5517: 8, 9623: 9, 17835: 9, 21941: 9, 23994: 10, 4491: 7, 8597: 9, 14756: 8, 16809: 8, 18862: 10, 5518: 8, 11677: 10, 15783: 9, 17836: 8, 19889: 10, 21942: 9, 23995: 9, 4492: 8, 8598: 7, 12704: 7, 20916: 9, 1413: 9, 9625: 10, 17837: 9, 21943: 8, 23996: 9, 4493: 10, 8599: 9, 16811: 8, 18864: 7, 9626: 10, 11679: 9, 15785: 9, 17838: 9, 23997: 8, 4494: 8, 8600: 8, 12706: 6, 14759: 6, 16812: 8, 20918: 8, 1415: 9, 9627: 7, 11680: 9, 15786: 9, 17839: 9, 19892: 9, 23998: 8, 8601: 10, 14760: 9, 18866: 9, 5522: 8, 9628: 8, 11681: 7, 15787: 9, 17840: 9, 19893: 8, 23999: 10, 4496: 6, 12708: 7, 14761: 7, 16814: 8, 20920: 9, 1417: 8, 9629: 9, 11682: 7, 13735: 6, 17841: 10, 19894: 10, 24000: 8, 8603: 9, 14762: 9, 16815: 9, 18868: 8, 5524: 7, 9630: 10, 11683: 10, 15789: 9, 17842: 7, 19895: 9, 24001: 9, 8604: 8, 10657: 6, 12710: 7, 14763: 9, 16816: 9, 20922: 10, 22975: 7, 1419: 9, 3472: 9, 9631: 8, 17843: 8, 19896: 9, 24002: 9, 4499: 7, 8605: 9, 16817: 8, 18870: 9, 5526: 10, 9632: 8, 11685: 9, 15791: 9, 17844: 8, 19897: 9, 24003: 10, 4500: 8, 8606: 7, 10659: 7, 12712: 7, 14765: 9, 16818: 9, 20924: 8, 1421: 9, 11686: 7, 15792: 9, 19898: 9, 4501: 8, 8607: 10, 14766: 9, 16819: 8, 18872: 10, 22978: 7, 5528: 7, 9634: 8, 15793: 9, 17846: 6, 19899: 9, 21952: 8, 4502: 9, 8608: 10, 10661: 7, 12714: 8, 14767: 9, 20926: 7, 1423: 10, 9635: 9, 11688: 7, 15794: 7, 19900: 9, 4503: 8, 8609: 7, 18874: 6, 5530: 10, 9636: 9, 11689: 6, 15795: 9, 17848: 6, 19901: 9, 24007: 9, 8610: 7, 10663: 6, 12716: 9, 20928: 9, 22981: 6, 1425: 10, 9637: 9, 15796: 8, 17849: 6, 8611: 7, 14770: 9, 18876: 10, 22982: 9, 11691: 9, 15797: 9, 17850: 6, 24009: 8, 8612: 10, 10665: 7, 12718: 4, 20930: 7, 1427: 9, 5533: 10, 19904: 10, 21957: 7, 8613: 10, 18878: 8, 11693: 6, 17852: 10, 19905: 8, 24011: 8, 12720: 7, 20932: 8, 22985: 9, 1429: 7, 19906: 10, 8615: 9, 10668: 9, 14774: 10, 16827: 9, 18880: 4, 22986: 9, 11695: 6, 15801: 8, 17854: 9, 21960: 9, 24013: 7, 12722: 5, 20934: 9, 22987: 8, 1431: 10, 15802: 8, 10670: 8, 16829: 9, 18882: 6, 22988: 9, 11697: 7, 24015: 8, 6565: 8, 12724: 10, 14777: 10, 20936: 9, 22989: 10, 1433: 9, 15804: 9, 17857: 9, 21963: 5, 6566: 9, 8619: 9, 10672: 7, 18884: 7, 22990: 10, 5540: 10, 17858: 10, 24017: 5, 6567: 8, 8620: 8, 12726: 6, 14779: 8, 20938: 7, 22991: 7, 1435: 10, 9647: 9, 11700: 6, 17859: 9, 21965: 7, 6568: 7, 10674: 6, 18886: 7, 22992: 7, 17860: 10, 24019: 7, 6569: 9, 8622: 10, 14781: 10, 20940: 9, 22993: 10, 1437: 10, 11702: 6, 17861: 10, 19914: 9, 21967: 8, 6570: 9, 8623: 8, 10676: 6, 18888: 6, 22994: 10, 9650: 9, 15809: 7, 17862: 9, 19915: 9, 24021: 9, 6571: 9, 12730: 5, 16836: 8, 20942: 7, 22995: 9, 1439: 9, 9651: 9, 11704: 7, 17863: 8, 21969: 6, 6572: 9, 10678: 7, 14784: 9, 16837: 8, 18890: 6, 22996: 9, 17864: 10, 19917: 9, 24023: 7, 6573: 9, 12732: 7, 14785: 9, 20944: 8, 22997: 9, 1441: 8, 9653: 8, 17865: 10, 21971: 7, 6574: 9, 8627: 10, 10680: 7, 14786: 9, 18892: 8, 22998: 9, 9654: 9, 17866: 9, 24025: 5, 6575: 9, 12734: 9, 14787: 9, 20946: 9, 1443: 9, 9655: 9, 17867: 9, 19920: 9, 21973: 9, 6576: 9, 8629: 8, 10682: 7, 14788: 9, 18894: 8, 5550: 8, 9656: 8, 11709: 7, 19921: 9, 24027: 9, 6577: 7, 8630: 8, 12736: 8, 14789: 8, 16842: 9, 20948: 9, 1445: 8, 5551: 9, 9657: 9, 11710: 7, 21975: 9, 6578: 9, 8631: 7, 10684: 6, 14790: 9, 16843: 10, 18896: 5, 9658: 9, 11711: 9, 19923: 9, 24029: 9, 6579: 9, 8632: 8, 12738: 7, 14791: 9, 16844: 9, 20950: 8, 1447: 10, 5553: 9, 9659: 9, 11712: 8, 15818: 7, 19924: 9, 21977: 9, 6580: 9, 8633: 7, 10686: 5, 14792: 9, 16845: 10, 18898: 6, 5554: 8, 9660: 8, 11713: 8, 19925: 9, 24031: 6, 6581: 9, 12740: 6, 14793: 9, 16846: 10, 20952: 7, 23005: 7, 1449: 10, 5555: 9, 11714: 10, 19926: 9, 21979: 8, 24032: 8, 8635: 10, 10688: 9, 16847: 8, 18900: 8, 1450: 9, 5556: 9, 11715: 9, 15821: 7, 24033: 10, 8636: 10, 12742: 9, 16848: 8, 20954: 7, 11716: 8, 19928: 10, 21981: 7, 24034: 7, 8637: 7, 10690: 7, 16849: 10, 18902: 8, 1452: 8, 5558: 9, 9664: 6, 11717: 9, 17876: 10, 24035: 10, 12744: 6, 20956: 6, 3506: 9, 5559: 9, 9665: 5, 11718: 7, 19930: 9, 21983: 6, 24036: 7, 8639: 7, 10692: 6, 16851: 9, 18904: 8, 1454: 9, 5560: 9, 11719: 8, 17878: 10, 19931: 9, 24037: 7, 8640: 8, 12746: 7, 16852: 9, 20958: 9, 5561: 7, 9667: 7, 13773: 8, 19932: 9, 21985: 7, 24038: 10, 6588: 10, 8641: 8, 10694: 7, 18906: 8, 1456: 8, 5562: 9, 15827: 9, 24039: 7, 8642: 8, 12748: 7, 16854: 9, 20960: 7, 23013: 7, 3510: 9, 5563: 9, 11722: 8, 17881: 8, 19934: 9, 21987: 7, 24040: 8, 8643: 10, 10696: 6, 18908: 6, 1458: 7, 5564: 9, 9670: 10, 13776: 5, 15829: 9, 24041: 10, 8644: 8, 12750: 6, 16856: 9, 20962: 7, 5565: 7, 15830: 9, 19936: 7, 21989: 9, 24042: 7, 8645: 9, 10698: 6, 18910: 9, 1460: 10, 5566: 9, 11725: 9, 15831: 10, 17884: 6, 24043: 7, 8646: 7, 12752: 6, 20964: 8, 23017: 8, 5567: 9, 9673: 7, 13779: 8, 15832: 8, 19938: 10, 21991: 7, 24044: 7, 8647: 8, 10700: 6, 18912: 8, 1462: 8, 11727: 7, 15833: 9, 17886: 7, 8648: 9, 12754: 7, 16860: 7, 20966: 10, 23019: 7, 15834: 9, 17887: 10, 19940: 9, 21993: 10, 6596: 7, 8649: 9, 10702: 7, 18914: 6, 23020: 8, 1464: 7, 9676: 9, 11729: 8, 13782: 6, 15835: 8, 17888: 9, 24047: 8, 6597: 10, 8650: 9, 12756: 7, 16862: 7, 20968: 6, 15836: 10, 17889: 7, 19942: 8, 21995: 7, 6598: 7, 8651: 8, 10704: 8, 18916: 4, 23022: 7, 1466: 7, 15837: 9, 17890: 10, 24049: 9, 6599: 8, 8652: 7, 12758: 5, 16864: 9, 20970: 9, 23023: 6, 13785: 6, 15838: 8, 17891: 7, 19944: 6, 21997: 9, 8653: 7, 10706: 4, 18918: 8, 1468: 9, 5574: 10, 9680: 8, 17892: 10, 8654: 10, 12760: 8, 16866: 8, 20972: 7, 17893: 9, 21999: 7, 8655: 9, 10708: 7, 14814: 9, 18920: 7, 1470: 8, 5576: 10, 13788: 8, 17894: 8, 19947: 6, 24053: 8, 8656: 10, 12762: 7, 14815: 7, 20974: 9, 22001: 9, 6604: 8, 8657: 9, 14816: 9, 16869: 6, 18922: 7, 1472: 10, 9684: 10, 11737: 8, 6605: 7, 8658: 9, 12764: 7, 14817: 7, 23029: 7, 5579: 8, 9685: 7, 13791: 6, 15844: 9, 19950: 9, 22003: 7, 6606: 8, 8659: 8, 14818: 7, 18924: 8, 20977: 7, 1474: 10, 5580: 9, 9686: 9, 11739: 8, 24057: 9, 6607: 7, 8660: 9, 12766: 8, 14819: 9, 23031: 9, 5581: 8, 9687: 10, 15846: 8, 22005: 9, 8661: 7, 10714: 10, 14820: 7, 16873: 8, 18926: 6, 23032: 9, 1476: 10, 5582: 9, 9688: 7, 15847: 10, 17900: 9, 19953: 8, 24059: 5, 6609: 7, 8662: 10, 10715: 9, 12768: 7, 14821: 10, 16874: 8, 20980: 8, 23033: 9, 5583: 9, 9689: 10, 15848: 7, 22007: 9, 8663: 9, 14822: 7, 18928: 8, 23034: 8, 1478: 7, 3531: 9, 5584: 9, 9690: 10, 15849: 7, 19955: 9, 24061: 7, 6611: 8, 8664: 10, 10717: 7, 12770: 7, 14823: 7, 16876: 8, 23035: 8, 9691: 9, 13797: 6, 15850: 10, 19956: 9, 22009: 9, 8665: 7, 10718: 9, 14824: 7, 18930: 6, 20983: 8, 23036: 8, 1480: 9, 9692: 7, 15851: 7, 24063: 8, 6613: 8, 8666: 9, 10719: 7, 12772: 8, 14825: 10, 16878: 5, 23037: 8, 3534: 9, 9693: 9, 11746: 9, 15852: 7, 19958: 6, 22011: 8, 6614: 7, 8667: 9, 10720: 9, 16879: 7, 18932: 9, 23038: 9, 1482: 9, 9694: 9, 13800: 7, 15853: 10, 24065: 8, 6615: 9, 8668: 9, 10721: 10, 12774: 8, 20986: 8, 23039: 9, 9695: 9, 15854: 7, 19960: 8, 22013: 7, 8669: 9, 10722: 7, 12775: 10, 16881: 7, 18934: 7, 23040: 9, 1484: 10, 5590: 9, 9696: 10, 24067: 9, 6617: 7, 10723: 10, 12776: 9, 14829: 8, 16882: 6, 23041: 9, 5591: 9, 9697: 9, 13803: 6, 19962: 7, 22015: 8, 10724: 9, 12777: 8, 16883: 7, 18936: 9, 20989: 7, 23042: 9, 1486: 7, 5592: 9, 6619: 8, 8672: 10, 10725: 9, 12778: 9, 16884: 7, 23043: 9, 19964: 4, 22017: 8, 24070: 7, 6620: 8, 8673: 10, 10726: 7, 12779: 8, 14832: 7, 18938: 7, 1488: 8, 5594: 8, 13806: 5, 24071: 7, 6621: 8, 10727: 7, 12780: 8, 14833: 10, 20992: 7, 15860: 9, 19966: 8, 22019: 6, 6622: 9, 10728: 10, 12781: 10, 14834: 7, 18940: 8, 1490: 9, 9702: 7, 6623: 10, 12782: 9, 14835: 10, 16888: 8, 11756: 7, 13809: 5, 19968: 8, 22021: 9, 6624: 10, 10730: 9, 12783: 10, 14836: 10, 18942: 7, 20995: 9, 23048: 8, 1492: 8, 15863: 8, 6625: 9, 12784: 7, 14837: 7, 9705: 7, 17917: 7, 19970: 8, 22023: 8, 6626: 9, 12785: 7, 14838: 9, 18944: 8, 23050: 8, 1494: 9, 6627: 10, 12786: 7, 14839: 10, 20998: 9, 9707: 8, 15866: 7, 19972: 6, 22025: 6, 24078: 8, 14840: 9, 16893: 6, 18946: 4, 23052: 10, 1496: 9, 3549: 8, 11761: 7, 15867: 9, 17920: 7, 6629: 10, 14841: 9, 16894: 10, 13815: 7, 15868: 7, 17921: 8, 19974: 8, 22027: 8, 24080: 7, 6630: 9, 14842: 7, 16895: 8, 18948: 6, 21001: 8, 1498: 8, 15869: 8, 17922: 7, 6631: 9, 10737: 9, 12790: 7, 14843: 9, 16896: 9, 23055: 9, 9711: 7, 11764: 7, 17923: 7, 19976: 4, 22029: 8, 24082: 8, 6632: 9, 10738: 8, 14844: 10, 16897: 9, 18950: 8, 23056: 8, 1500: 7, 9712: 7, 13818: 5, 6633: 8, 10739: 10, 12792: 5, 16898: 7, 21004: 8, 9713: 8, 15872: 10, 17925: 8, 19978: 6, 22031: 6, 24084: 6, 6634: 8, 10740: 9, 16899: 8, 18952: 6, 1502: 8, 7661: 8, 9714: 8, 11767: 6, 15873: 7, 17926: 9, 24085: 8, 6635: 7, 10741: 7, 12794: 8, 16900: 10, 23059: 9, 7662: 8, 9715: 8, 13821: 6, 15874: 9, 17927: 8, 19980: 4, 22033: 7, 24086: 7, 6636: 7, 10742: 7, 16901: 7, 18954: 8, 21007: 7, 1504: 9, 7663: 8, 9716: 10, 15875: 7, 17928: 9, 24087: 8, 6637: 10, 12796: 8, 16902: 10, 23061: 10, 3558: 9, 7664: 8, 9717: 7, 11770: 7, 15876: 7, 17929: 9, 19982: 7, 22035: 10, 24088: 8, 6638: 8, 16903: 7, 18956: 7, 7665: 8, 9718: 9, 13824: 6, 15877: 7, 17930: 10, 24089: 7, 10745: 9, 12798: 7, 16904: 8, 21010: 8, 23063: 9, 7666: 10, 9719: 9, 15878: 9, 17931: 9, 19984: 7, 22037: 8, 6640: 10, 16905: 9, 18958: 6, 4294967295: 9, 1508: 10, 3561: 10, 7667: 8, 9720: 8, 11773: 5, 13826: 9, 15879: 8, 6641: 10, 10747: 10, 12800: 5, 16906: 10, 23065: 8, 7668: 8, 9721: 10, 15880: 9, 19986: 7, 22039: 9, 483: 9, 6642: 9, 16907: 7, 18960: 5, 21013: 8, 1510: 9, 7669: 9, 9722: 7, 13828: 9, 15881: 9, 24093: 7, 484: 5, 6643: 8, 12802: 9, 14855: 5, 16908: 10, 7670: 8, 9723: 9, 11776: 7, 15882: 9, 19988: 8, 22041: 7, 485: 7, 6644: 8, 10750: 6, 16909: 8, 18962: 7, 23068: 6, 1512: 8, 3565: 9, 7671: 8, 9724: 8, 13830: 8, 15883: 7, 17936: 9, 486: 5, 10751: 9, 12804: 7, 16910: 9, 21016: 8, 3566: 9, 7672: 10, 9725: 8, 19990: 5, 22043: 9, 24096: 7, 487: 7, 6646: 9, 14858: 9, 16911: 8, 18964: 7, 1514: 10, 3567: 8, 5620: 10, 7673: 10, 11779: 6, 15885: 9, 17938: 9, 24097: 10, 488: 10, 6647: 8, 12806: 8, 16912: 9, 21018: 8, 23071: 8, 3568: 9, 5621: 8, 7674: 10, 9727: 8, 19992: 6, 22045: 8, 24098: 8, 489: 7, 10754: 7, 14860: 7, 16913: 8, 18966: 10, 21019: 9, 1516: 8, 3569: 9, 5622: 9, 7675: 9, 9728: 9, 24099: 10, 12808: 5, 14861: 7, 21020: 9, 23073: 8, 3570: 7, 5623: 9, 7676: 9, 9729: 9, 11782: 6, 13835: 8, 15888: 9, 19994: 8, 22047: 9, 24100: 7, 491: 5, 6650: 9, 10756: 9, 16915: 10, 21021: 9, 23074: 9, 1518: 7, 3571: 7, 5624: 9, 7677: 7, 9730: 9, 24101: 10, 492: 6, 6651: 8, 12810: 5, 16916: 9, 18969: 8, 21022: 9, 23075: 9, 3572: 9, 5625: 8, 7678: 7, 19996: 6, 22049: 7, 24102: 7, 493: 5, 6652: 7, 10758: 10, 14864: 10, 21023: 9, 1520: 7, 5626: 9, 7679: 7, 11785: 7, 15891: 7, 24103: 9, 494: 8, 6653: 9, 12812: 6, 16918: 8, 21024: 10, 23077: 9, 7680: 8, 19998: 6, 22051: 6, 24104: 7, 495: 6, 6654: 9, 16919: 7, 18972: 6, 21025: 10, 23078: 9, 1522: 7, 15893: 9, 24105: 9, 496: 5, 4602: 9, 6655: 9, 10761: 7, 12814: 6, 14867: 8, 16920: 7, 21026: 9, 23079: 7, 5629: 10, 9735: 8, 11788: 6, 15894: 9, 20000: 6, 22053: 8, 24106: 7, 497: 5, 6656: 9, 10762: 9, 14868: 8, 16921: 9, 21027: 9, 23080: 10, 1524: 10, 5630: 8, 7683: 7, 15895: 7, 17948: 7, 498: 5, 6657: 10, 10763: 9, 12816: 8, 14869: 8, 18975: 7, 23081: 7, 7684: 7, 22055: 9, 499: 9, 6658: 8, 10764: 8, 16923: 9, 23082: 10, 1526: 8, 5632: 9, 7685: 7, 11791: 7, 15897: 7, 17950: 10, 20003: 7, 24109: 8, 500: 9, 6659: 8, 10765: 9, 12818: 9, 14871: 7, 23083: 10, 5633: 10, 7686: 9, 15898: 7, 22057: 7, 24110: 9, 501: 7, 10766: 9, 14872: 9, 18978: 6, 23084: 7, 1528: 10, 7687: 8, 9740: 7, 15899: 8, 17952: 9, 20005: 6, 24111: 10, 502: 8, 10767: 9, 14873: 7, 23085: 8, 7688: 7, 11794: 6, 15900: 10, 22059: 9, 24112: 9, 503: 10, 12821: 6, 14874: 9, 1530: 9, 7689: 7, 15901: 9, 20007: 6, 24113: 10, 504: 8, 14875: 8, 18981: 8, 5637: 9, 7690: 10, 9743: 8, 15902: 8, 22061: 8, 24114: 7, 505: 7, 12823: 10, 14876: 7, 16929: 7, 1532: 7, 5638: 8, 7691: 7, 11797: 9, 15903: 9, 17956: 9, 20009: 7, 506: 9, 7692: 9, 9745: 9, 22063: 9, 24116: 8, 507: 7, 12825: 6, 14878: 8, 16931: 8, 18984: 7, 21037: 10, 1534: 9, 5640: 7, 7693: 7, 17958: 9, 20011: 8, 24117: 10, 508: 9, 23091: 8, 5641: 10, 7694: 8, 9747: 7, 11800: 5, 15906: 7, 17959: 9, 22065: 8, 509: 7, 10774: 9, 12827: 7, 14880: 9, 1536: 7, 7695: 10, 9748: 8, 13854: 6, 17960: 9, 20013: 8, 22066: 10, 24119: 8, 510: 7, 18987: 7, 23093: 7, 5643: 8, 7696: 8, 9749: 9, 17961: 10, 12829: 8, 14882: 9, 16935: 9, 21041: 9, 1538: 8, 5644: 9, 7697: 8, 9750: 9, 11803: 7, 13856: 8, 15909: 8, 17962: 7, 20015: 9, 24121: 10, 14883: 9, 16936: 9, 23095: 9, 5645: 9, 7698: 9, 9751: 9, 24122: 7, 6672: 9, 10778: 9, 12831: 6, 14884: 9, 16937: 7, 18990: 8, 1540: 7, 5646: 9, 7699: 10, 9752: 9, 13858: 9, 17964: 10, 22070: 10, 6673: 9, 10779: 9, 14885: 8, 16938: 10, 21044: 10, 23097: 8, 5647: 9, 7700: 8, 9753: 9, 11806: 8, 17965: 8, 22071: 9, 24124: 9, 10780: 10, 12833: 9, 14886: 8, 16939: 9, 23098: 8, 1542: 8, 7701: 7, 9754: 8, 13860: 9, 17966: 10, 20019: 8, 22072: 10, 8728: 7, 10781: 9, 14887: 9, 18993: 9, 21046: 7, 23099: 8, 5649: 9, 7702: 9, 17967: 9, 22073: 10, 24126: 9, 2570: 10, 6676: 9, 8729: 10, 10782: 8, 12835: 7, 14888: 9, 16941: 7, 21047: 9, 23100: 8, 1544: 9, 5650: 9, 11809: 6, 13862: 7, 17968: 8, 20021: 8, 22074: 8, 6677: 8, 8730: 8, 10783: 9, 21048: 10, 23101: 9, 5651: 9, 22075: 10, 24128: 9, 6678: 9, 8731: 8, 12837: 9, 14890: 8, 16943: 6, 18996: 7, 21049: 10, 23102: 9, 1546: 10, 7705: 9, 13864: 7, 22076: 8, 6679: 8, 8732: 9, 14891: 9, 21050: 8, 7706: 8, 11812: 6, 15918: 9, 24130: 9, 6680: 9, 8733: 7, 10786: 9, 12839: 9, 14892: 9, 16945: 9, 21051: 9, 23104: 9, 1548: 9, 7707: 8, 13866: 6, 15919: 9, 17972: 9, 20025: 8, 6681: 9, 10787: 9, 16946: 8, 18999: 7, 23105: 8, 7708: 9, 15920: 8, 20026: 9, 24132: 9, 6682: 9, 8735: 9, 10788: 8, 12841: 8, 16947: 9, 21053: 10, 23106: 8, 523: 9, 7709: 9, 9762: 10, 11815: 6, 13868: 9, 15921: 9, 17974: 9, 20027: 8, 1550: 9, 6683: 8, 10789: 9, 16948: 10, 23107: 8, 7710: 9, 15922: 9, 17975: 7, 20028: 7, 24134: 9, 8737: 9, 12843: 6, 14896: 8, 16949: 8, 19002: 7, 7711: 7, 13870: 7, 15923: 9, 20029: 7, 22082: 10, 24135: 9, 1552: 7, 10791: 8, 16950: 8, 21056: 9, 23109: 9, 7712: 9, 9765: 10, 11818: 8, 15924: 8, 17977: 9, 20030: 10, 24136: 10, 10792: 9, 12845: 7, 16951: 7, 23110: 9, 7713: 9, 13872: 5, 15925: 9, 24137: 7, 1554: 7, 2581: 9, 10793: 8, 16952: 9, 19005: 7, 23111: 9, 7714: 8, 15926: 9, 17979: 9, 22085: 8, 10794: 6, 12847: 8, 14900: 7, 16953: 9, 21059: 10, 23112: 8, 9768: 8, 11821: 6, 13874: 7, 15927: 9, 24139: 6, 1556: 9, 16954: 7, 21060: 8, 23113: 9, 17981: 9, 22087: 9, 24140: 10, 6690: 7, 10796: 9, 12849: 9, 14902: 10, 19008: 7, 21061: 9, 23114: 9, 7717: 7, 13876: 7, 15929: 7, 22088: 7, 24141: 9, 1558: 7, 16956: 9, 21062: 8, 23115: 9, 7718: 9, 9771: 8, 11824: 9, 15930: 9, 24142: 8, 12851: 7, 14904: 10, 16957: 8, 21063: 10, 23116: 9, 7719: 9, 13878: 6, 15931: 8, 24143: 8, 1560: 8, 10799: 7, 14905: 10, 16958: 8, 19011: 8, 21064: 8, 23117: 9, 7720: 7, 15932: 8, 22091: 9, 24144: 9, 6694: 10, 8747: 8, 12853: 6, 14906: 8, 16959: 10, 21065: 10, 23118: 9, 9774: 10, 11827: 6, 13880: 8, 15933: 9, 24145: 9, 1562: 10, 6695: 9, 8748: 9, 21066: 8, 23119: 9, 20040: 8, 22093: 9, 24146: 9, 6696: 10, 8749: 9, 10802: 6, 12855: 4, 14908: 7, 19014: 8, 23120: 9, 9776: 10, 13882: 6, 15935: 8, 17988: 10, 20041: 7, 24147: 9, 1564: 8, 6697: 9, 8750: 10, 14909: 8, 16962: 8, 21068: 7, 23121: 9, 11830: 7, 15936: 8, 17989: 10, 20042: 8, 24148: 9, 6698: 7, 12857: 9, 14910: 9, 19016: 8, 21069: 7, 23122: 9, 2592: 9, 9778: 8, 13884: 8, 15937: 9, 17990: 9, 20043: 9, 22096: 6, 1566: 8, 6699: 7, 8752: 9, 10805: 6, 14911: 10, 19017: 7, 2593: 9, 15938: 8, 17991: 9, 20044: 8, 24150: 9, 12859: 5, 14912: 10, 21071: 8, 2594: 6, 9780: 6, 11833: 6, 13886: 7, 15939: 8, 17992: 10, 20045: 8, 22098: 7, 24151: 9, 1568: 10, 14913: 10, 16966: 7, 19019: 6, 21072: 8, 2595: 6, 15940: 9, 20046: 9, 24152: 9, 8755: 9, 10808: 6, 12861: 7, 14914: 8, 16967: 10, 21073: 9, 23126: 7, 543: 10, 9782: 8, 13888: 7, 17994: 8, 22100: 9, 24153: 9, 1570: 7, 14915: 8, 19021: 6, 21074: 10, 544: 9, 2597: 9, 11836: 8, 17995: 9, 20048: 8, 24154: 8, 6704: 8, 12863: 7, 14916: 10, 16969: 9, 21075: 7, 23128: 7, 2598: 8, 9784: 4, 11837: 8, 13890: 7, 20049: 8, 22102: 10, 24155: 9, 1572: 7, 8758: 8, 10811: 5, 21076: 7, 11838: 8, 17997: 9, 20050: 8, 8759: 8, 12865: 9, 21077: 10, 9786: 7, 11839: 9, 13892: 5, 17998: 9, 20051: 7, 22104: 9, 1574: 8, 8760: 7, 21078: 8, 11840: 9, 17999: 9, 8761: 9, 10814: 6, 12867: 8, 14920: 9, 21079: 7, 9788: 7, 13894: 6, 15947: 9, 18000: 9, 1576: 10, 8762: 7, 14921: 7, 19027: 10, 11842: 10, 13895: 10, 18001: 9, 8763: 9, 10816: 9, 12869: 5, 14922: 9, 21081: 8, 23134: 6, 9790: 8, 11843: 7, 13896: 9, 18002: 9, 24161: 8, 1578: 7, 8764: 8, 14923: 9, 19029: 9, 21082: 10, 11844: 8, 13897: 7, 15950: 9, 18003: 8, 5685: 10, 10818: 9, 12871: 5, 16977: 7, 23136: 10, 9792: 9, 11845: 10, 13898: 7, 24163: 6, 1580: 10, 5686: 10, 16978: 7, 21084: 7, 11846: 7, 13899: 9, 20058: 9, 5687: 7, 10820: 8, 12873: 9, 16979: 10, 21085: 10, 23138: 7, 9794: 10, 11847: 9, 13900: 9, 15953: 9, 22112: 5, 24165: 8, 1582: 7, 16980: 7, 21086: 9, 23139: 8, 11848: 7, 13901: 7, 15954: 8, 10822: 9, 16981: 8, 19034: 10, 21087: 7, 6716: 10, 9796: 9, 11849: 10, 13902: 7, 15955: 9, 20061: 9, 22114: 6, 24167: 6, 1584: 9, 12876: 6, 14929: 10, 16982: 8, 19035: 9, 21088: 10, 11850: 10, 15956: 8, 18009: 9, 10824: 9, 14930: 9, 16983: 10, 21089: 9, 9798: 6, 11851: 8, 13904: 10, 15957: 10, 22116: 10, 24169: 8, 1586: 10, 5692: 8, 14931: 9, 16984: 9, 19037: 9, 21090: 10, 6719: 9, 11852: 10, 15958: 8, 20064: 9, 22117: 8, 5693: 9, 10826: 9, 12879: 7, 14932: 9, 16985: 7, 19038: 9, 21091: 10, 6720: 9, 9800: 6, 13906: 6, 15959: 8, 20065: 8, 24171: 8, 1588: 10, 5694: 9, 14933: 9, 16986: 8, 19039: 9, 21092: 7, 23145: 9, 6721: 8, 13907: 10, 15960: 10, 22119: 7, 5695: 9, 10828: 5, 14934: 9, 16987: 8, 19040: 9, 21093: 9, 6722: 7, 9802: 9, 13908: 7, 15961: 7, 20067: 10, 24173: 6, 1590: 9, 5696: 9, 12882: 5, 14935: 9, 16988: 7, 19041: 10, 21094: 9, 23147: 9, 6723: 9, 13909: 7, 15962: 10, 18015: 9, 5697: 9, 8777: 9, 10830: 9, 14936: 9, 16989: 9, 21095: 9, 6724: 8, 9804: 7, 13910: 9, 18016: 9, 22122: 9, 24175: 8, 1592: 8, 21096: 7, 6725: 8, 11858: 8, 13911: 9, 18017: 9, 20070: 8, 10832: 8, 12885: 6, 19044: 9, 21097: 10, 13912: 8, 15965: 9, 18018: 9, 20071: 10, 22124: 7, 24177: 4, 1594: 10, 10833: 9, 19045: 9, 21098: 7, 23151: 8, 568: 8, 9807: 10, 13913: 9, 15966: 10, 18019: 9, 14940: 9, 19046: 9, 21099: 9, 569: 9, 8781: 9, 13914: 10, 15967: 9, 18020: 10, 24179: 7, 1596: 9, 10835: 9, 12888: 7, 14941: 9, 19047: 8, 21100: 9, 23153: 7, 8782: 10, 9809: 10, 13915: 8, 15968: 9, 18021: 9, 20074: 9, 10836: 8, 16995: 9, 19048: 9, 21101: 9, 13916: 10, 15969: 7, 18022: 9, 20075: 9, 22128: 8, 24181: 7, 1598: 8, 10837: 8, 21102: 9, 6731: 8, 8784: 9, 13917: 8, 15970: 9, 18023: 10, 20076: 9, 10838: 7, 12891: 6, 21103: 7, 23156: 5, 8785: 9, 9812: 9, 13918: 9, 15971: 9, 20077: 10, 22130: 7, 24183: 8, 1600: 10, 10839: 8, 21104: 8, 23157: 10, 6733: 8, 8786: 8, 13919: 8, 15972: 9, 18025: 9, 20078: 9, 10840: 8, 19052: 9, 21105: 7, 23158: 9, 8787: 10, 13920: 9, 15973: 9, 18026: 10, 20079: 9, 22132: 8, 24185: 6, 1602: 10, 7761: 10, 9814: 6, 10841: 8, 12894: 6, 19053: 10, 576: 9, 6735: 7, 8788: 9, 13921: 8, 20080: 8, 10842: 9, 14948: 8, 21107: 9, 23160: 7, 577: 8, 8789: 10, 11869: 8, 13922: 7, 20081: 8, 24187: 5, 1604: 7, 9816: 10, 12896: 8, 14949: 10, 17002: 9, 21108: 8, 23161: 8, 578: 9, 6737: 10, 13923: 10, 20082: 10, 22135: 6, 17003: 9, 14950: 9, 21109: 8, 23162: 10, 579: 9, 8791: 10, 13924: 9, 18030: 7, 20083: 9, 24189: 6, 1606: 7, 7765: 9, 9818: 10, 10845: 7, 12898: 8, 14951: 8, 17004: 9, 21110: 7, 23163: 7, 580: 8, 6739: 9, 8792: 7, 11872: 6, 22137: 8, 7766: 9, 14952: 8, 17005: 10, 21111: 8, 23164: 9, 581: 10, 8793: 8, 11873: 7, 13926: 5, 18032: 10, 20085: 9, 24191: 6, 1608: 9, 9820: 6, 12900: 8, 14953: 8, 17006: 9, 23165: 7, 582: 9, 6741: 7, 8794: 7, 10847: 6, 11874: 7, 22139: 9, 7768: 8, 14954: 10, 17007: 9, 19060: 8, 23166: 7, 583: 9, 8795: 10, 10848: 10, 11875: 10, 13928: 7, 1610: 7, 7769: 9, 9822: 8, 12902: 8, 14955: 7, 17008: 6, 23167: 7, 6743: 10, 8796: 10, 10849: 9, 7770: 7, 11876: 10, 15982: 6, 18035: 7, 10850: 9, 8797: 7, 17009: 9, 14956: 8, 23168: 9, 7771: 9, 1612: 8, 13930: 4, 11877: 10, 10851: 9, 8798: 10, 6745: 8, 19063: 10, 17010: 9, 14957: 10, 12904: 7, 7772: 8, 18037: 9, 11878: 7, 22143: 8, 10852: 8, 8799: 9, 11879: 8, 7773: 8, 1614: 8, 13932: 6, 10853: 7, 8800: 7, 6747: 8, 14959: 8, 12906: 6, 23171: 9, 11880: 8, 18039: 8, 15986: 10, 10854: 8, 8801: 7, 19066: 8, 14960: 8, 11881: 9, 1616: 9, 13934: 5, 22146: 6, 10855: 7, 8802: 9, 21120: 9, 19067: 9, 17014: 10, 14961: 9, 12908: 5, 23173: 9, 11882: 7, 18041: 7, 10856: 10, 8803: 9, 6750: 8, 21121: 8, 23174: 8, 11883: 9, 1618: 9, 13936: 6, 22148: 6, 10857: 10, 8804: 7, 21122: 9, 19069: 8, 23175: 8, 9831: 10, 18043: 7, 10858: 9, 8805: 10, 6752: 7, 21123: 9, 19070: 10, 12911: 8, 23176: 9, 1620: 8, 13938: 7, 10859: 9, 19071: 7, 17018: 8, 23177: 8, 9833: 7, 22151: 6, 10860: 7, 8807: 8, 19072: 9, 17019: 9, 23178: 8, 1622: 9, 20099: 9, 13940: 8, 12914: 9, 10861: 10, 6755: 9, 19073: 9, 14967: 9, 23179: 8, 9835: 7, 20100: 9, 12915: 8, 10862: 9, 6756: 10, 19074: 8, 17021: 9, 23180: 8, 11889: 6, 9836: 9, 1624: 7, 20101: 10, 13942: 7, 12916: 9, 10863: 8, 6757: 10, 19075: 7, 14969: 9, 23181: 9, 20102: 9, 10864: 10, 6758: 7, 23182: 8, 9838: 9, 1626: 8, 20103: 9, 13944: 7, 10865: 7, 6759: 9, 14971: 7, 23183: 8, 13945: 10, 20104: 9, 12919: 8, 8813: 10, 6760: 7, 23184: 9, 13946: 10, 20105: 9, 12920: 9, 19079: 10, 13947: 7, 20106: 9, 22159: 6, 12921: 8, 8815: 9, 17027: 9, 13948: 8, 20107: 9, 22160: 10, 12922: 8, 8816: 9, 19081: 9, 17028: 7, 24214: 7, 9843: 8, 20108: 9, 12923: 9, 17029: 7, 24215: 8, 13950: 6, 9844: 8, 22162: 7, 12924: 8, 21136: 9, 17030: 9, 14977: 9, 24216: 7, 9845: 7, 20110: 7, 14978: 9, 12925: 8, 10872: 7, 8819: 7, 6766: 5, 19084: 9, 23190: 10, 24217: 8, 13952: 6, 9846: 10, 16005: 8, 14979: 9, 12926: 9, 10873: 10, 19085: 9, 17032: 10, 13953: 8, 9847: 7, 16006: 7, 14980: 8, 12927: 8, 10874: 10, 17033: 10, 13954: 9, 9848: 8, 5742: 7, 1636: 7, 16007: 9, 14981: 7, 12928: 7, 10875: 9, 6769: 5, 21140: 8, 19087: 8, 24220: 7, 13955: 10, 9849: 7, 16008: 7, 22167: 6, 14982: 9, 12929: 7, 10876: 9, 611: 7, 17035: 10, 13956: 10, 9850: 7, 5744: 8, 1638: 8, 16009: 7, 14983: 9, 12930: 9, 10877: 8, 8824: 7, 21142: 8, 19089: 9, 17036: 7, 23195: 6, 13957: 10, 11904: 9, 9851: 10, 5745: 8, 16010: 9, 22169: 6, 14984: 9, 12931: 9, 10878: 7, 6772: 5, 17037: 8, 13958: 10, 9852: 7, 5746: 8, 1640: 8, 18064: 8, 22170: 8, 12932: 9, 10879: 9, 21144: 6, 17038: 8, 23197: 9, 16012: 8, 13959: 9, 9853: 9, 5747: 8, 20118: 10, 22171: 10, 12933: 8, 10880: 8, 8827: 6, 17039: 10, 23198: 7, 24225: 10, 16013: 7, 9854: 9, 5748: 8, 1642: 8, 22172: 7, 14987: 9, 12934: 9, 10881: 8, 21146: 8, 17040: 9, 23199: 8, 24226: 8, 13961: 7, 9855: 7, 5749: 8, 22173: 9, 14988: 8, 12935: 9, 8829: 7, 17041: 10, 23200: 7, 24227: 10, 9856: 9, 5750: 8, 1644: 9, 20121: 9, 22174: 10, 14989: 8, 12936: 8, 10883: 8, 6777: 6, 21148: 7, 17042: 10, 23201: 9, 24228: 10, 16016: 10, 13963: 8, 9857: 8, 22175: 10, 14990: 9, 12937: 7, 10884: 10, 8831: 7, 619: 10, 19096: 7, 17043: 10, 23202: 7, 24229: 10, 9858: 9, 1646: 7, 22176: 9, 17044: 8, 14991: 8, 12938: 8, 10885: 7, 620: 10, 21150: 7, 19097: 7, 23203: 10, 24230: 8, 3700: 9, 22177: 8, 17045: 10, 14992: 8, 12939: 8, 10886: 8, 6780: 5, 23204: 8, 24231: 9, 3701: 8, 1648: 8, 22178: 7, 17046: 10, 14993: 7, 10887: 10, 21152: 8, 23205: 9, 24232: 9, 16020: 7, 22179: 8, 17047: 8, 14994: 9, 10888: 9, 23206: 8, 9862: 7, 1650: 10, 22180: 7, 17048: 9, 14995: 9, 12942: 9, 10889: 7, 6783: 7, 21154: 6, 19101: 9, 23207: 10, 24234: 7, 16022: 9, 11916: 10, 3704: 9, 22181: 7, 17049: 8, 14996: 9, 10890: 10, 24235: 10, 3705: 9, 1652: 8, 20129: 8, 22182: 9, 17050: 7, 14997: 9, 12944: 7, 10891: 10, 6785: 9, 21156: 9, 16024: 7, 9865: 10, 3706: 9, 20130: 9, 22183: 7, 17051: 7, 14998: 9, 10892: 7, 627: 7, 23210: 7, 24237: 9, 16025: 9, 9866: 9, 3707: 9, 1654: 9, 20131: 9, 22184: 8, 17052: 10, 12946: 9, 8840: 6, 6787: 7, 21158: 9, 23211: 10, 18079: 8, 13973: 9, 9867: 8, 3708: 10, 22185: 9, 10894: 8, 23212: 7, 9868: 9, 3709: 10, 1656: 8, 20133: 9, 22186: 10, 12948: 9, 10895: 7, 6789: 5, 630: 9, 21160: 7, 19107: 9, 18081: 9, 16028: 9, 13975: 9, 9869: 9, 3710: 9, 22187: 10, 10896: 8, 8843: 6, 631: 7, 19108: 7, 23214: 10, 13976: 10, 11923: 8, 9870: 7, 3711: 10, 1658: 9, 20135: 9, 22188: 10, 12950: 10, 10897: 10, 6791: 9, 632: 8, 21162: 7, 23215: 10, 18083: 7, 13977: 7, 9871: 8, 3712: 10, 20136: 9, 22189: 10, 10898: 9, 633: 7, 13978: 9, 11925: 9, 3713: 10, 1660: 8, 20137: 8, 22190: 9, 12952: 9, 8846: 8, 6793: 6, 634: 9, 21164: 8, 23217: 8, 18085: 9, 13979: 8, 9873: 8, 3714: 9, 20138: 9, 22191: 9, 19112: 9, 635: 9, 23218: 8, 18086: 10, 13980: 9, 11927: 9, 9874: 9, 3715: 9, 1662: 9, 20139: 9, 19113: 10, 17060: 8, 12954: 7, 8848: 6, 6795: 6, 636: 8, 21166: 9, 23219: 9, 13981: 9, 3716: 8, 20140: 9, 22193: 7, 19114: 9, 17061: 8, 637: 9, 23220: 7, 18088: 9, 13982: 7, 3717: 8, 1664: 8, 20141: 8, 19115: 9, 17062: 8, 15009: 7, 12956: 10, 10903: 7, 8850: 8, 6797: 9, 638: 8, 21168: 9, 23221: 9, 24248: 9, 16036: 5, 13983: 9, 3718: 10, 20142: 9, 22195: 9, 19116: 10, 17063: 8, 23222: 8, 13984: 8, 11931: 8, 3719: 9, 1666: 8, 17064: 9, 12958: 8, 8852: 9, 6799: 9, 21170: 9, 23223: 8, 16038: 7, 13985: 7, 11932: 8, 9879: 9, 3720: 10, 22197: 8, 19118: 10, 17065: 9, 15012: 7, 23224: 10, 24251: 9, 18092: 6, 13986: 7, 11933: 8, 3721: 8, 1668: 7, 19119: 7, 17066: 8, 12960: 8, 8854: 6, 6801: 9, 21172: 6, 24252: 8, 18093: 8, 16040: 9, 13987: 9, 11934: 8, 9881: 9, 3722: 9, 22199: 9, 19120: 8, 17067: 9, 15014: 8, 23226: 10, 24253: 8, 20147: 8, 13988: 9, 11935: 7, 9882: 9, 7829: 6, 3723: 9, 1670: 8, 19121: 8, 17068: 9, 15015: 10, 12962: 8, 10909: 9, 8856: 7, 6803: 5, 4750: 7, 21174: 8, 23227: 7, 24254: 9, 16042: 8, 13989: 7, 11936: 9, 9883: 9, 3724: 8, 10910: 8, 645: 10, 24255: 9, 20149: 8, 13990: 7, 9884: 9, 1672: 7, 21176: 8, 12964: 9, 10911: 9, 8858: 7, 6805: 10, 24256: 9, 18097: 8, 16044: 9, 13991: 9, 3726: 9, 10912: 8, 4753: 9, 23230: 7, 20151: 9, 18098: 9, 13992: 9, 11939: 8, 9886: 10, 3727: 9, 1674: 10, 22204: 9, 21178: 7, 19125: 7, 17072: 8, 15019: 7, 12966: 8, 10913: 10, 8860: 8, 6807: 5, 23231: 10, 24258: 7, 20152: 8, 18099: 9, 16046: 8, 13993: 10, 9887: 9, 19126: 10, 17073: 9, 10914: 10, 23232: 9, 20153: 7, 18100: 8, 13994: 7, 9888: 9, 1676: 7, 21180: 8, 19127: 9, 17074: 9, 15021: 8, 12968: 7, 10915: 10, 8862: 6, 23233: 8, 24260: 8, 20154: 7, 18101: 8, 16048: 9, 13995: 8, 9889: 9, 3730: 9, 19128: 7, 10916: 9, 6810: 6, 23234: 7, 20155: 7, 18102: 8, 13996: 8, 9890: 9, 1678: 10, 22208: 8, 21182: 8, 12970: 9, 10917: 8, 8864: 6, 4758: 10, 24262: 8, 20156: 10, 18103: 9, 16050: 6, 13997: 7, 5785: 7, 19130: 10, 17077: 9, 23236: 7, 20157: 9, 18104: 9, 13998: 7, 1680: 9, 21184: 8, 19131: 7, 12972: 10, 10919: 10, 8866: 10, 6813: 7, 4760: 9, 23237: 8, 24264: 8, 20158: 10, 18105: 9, 16052: 8, 13999: 8, 11946: 9, 5787: 9, 22211: 4, 19132: 8, 10920: 8, 23238: 9, 18106: 8, 14000: 8, 11947: 9, 9894: 9, 5788: 9, 1682: 7, 21186: 8, 19133: 9, 12974: 10, 8868: 10, 23239: 9, 24266: 8, 20160: 10, 18107: 9, 16054: 10, 14001: 7, 9895: 9, 5789: 9, 22213: 9, 19134: 10, 6816: 8, 23240: 7, 20161: 9, 11949: 9, 5790: 9, 1684: 7, 21188: 9, 19135: 9, 17082: 7, 15029: 7, 12976: 8, 4764: 9, 23241: 7, 24268: 7, 16056: 7, 11950: 9, 9897: 9, 5791: 8, 19136: 9, 659: 9, 23242: 8, 20163: 8, 18110: 9, 14004: 6, 11951: 9, 9898: 10, 5792: 9, 1686: 7, 21190: 8, 19137: 9, 17084: 10, 12978: 9, 6819: 10, 4766: 7, 23243: 10, 24270: 8, 20164: 8, 16058: 7, 11952: 9, 9899: 9, 5793: 8, 19138: 10, 17085: 7, 15032: 8, 4767: 9, 23244: 7, 18112: 7, 14006: 7, 11953: 9, 9900: 9, 5794: 9, 3741: 10, 1688: 9, 22218: 10, 21192: 8, 19139: 10, 17086: 7, 12980: 10, 10927: 6, 4768: 8, 23245: 9, 24272: 7, 16060: 8, 11954: 9, 9901: 7, 5795: 9, 19140: 8, 4769: 10, 23246: 7, 18114: 9, 11955: 9, 9902: 9, 5796: 8, 1690: 8, 21194: 7, 19141: 10, 17088: 9, 12982: 8, 4770: 9, 664: 9, 23247: 7, 16062: 6, 14009: 9, 11956: 8, 9903: 9, 5797: 9, 22221: 5, 17089: 10, 15036: 9, 10930: 6, 8877: 5, 4771: 10, 665: 9, 23248: 8, 18116: 9, 11957: 9, 9904: 9, 5798: 8, 1692: 7, 22222: 9, 21196: 9, 19143: 7, 17090: 7, 15037: 7, 12984: 10, 8878: 7, 4772: 10, 666: 9, 23249: 9, 24276: 8, 20170: 9, 16064: 9, 11958: 9, 9905: 9, 5799: 9, 22223: 8, 19144: 9, 17091: 9, 667: 9, 4773: 9, 8879: 8, 10932: 8, 23250: 10, 20171: 9, 18118: 6, 1694: 9, 5800: 8, 11959: 9, 14012: 10, 22224: 8, 21198: 8, 19145: 7, 17092: 9, 668: 9, 4774: 9, 8880: 7, 10933: 9, 12986: 9, 23251: 8, 24278: 7, 20172: 9, 16066: 7, 5801: 9, 11960: 8, 19146: 10, 17093: 9, 669: 9, 4775: 10, 8881: 7, 10934: 9, 23252: 9, 24279: 7, 20173: 9, 18120: 7, 1696: 7, 5802: 9, 11961: 8, 21200: 9, 19147: 9, 17094: 10, 670: 9, 4776: 8, 8882: 7, 10935: 9, 12988: 10, 23253: 7, 20174: 8, 16068: 7, 5803: 9, 9909: 10, 11962: 9, 19148: 7, 17095: 8, 15042: 9, 671: 6, 8883: 6, 10936: 9, 23254: 9, 24281: 10, 20175: 9, 1698: 9, 5804: 9, 11963: 9, 22228: 7, 21202: 7, 17096: 7, 15043: 7, 672: 7, 4778: 7, 8884: 7, 10937: 9, 12990: 8, 23255: 8, 20176: 9, 18123: 7, 16070: 8, 9911: 10, 17097: 9, 15044: 10, 673: 7, 4779: 8, 8885: 9, 23256: 8, 24283: 7, 20177: 9, 18124: 9, 1700: 9, 11965: 10, 21204: 7, 17098: 9, 15045: 10, 674: 8, 12992: 10, 18125: 8, 16072: 4, 11966: 8, 17099: 7, 15046: 9, 675: 7, 10940: 10, 23258: 7, 24285: 10, 18126: 8, 1702: 10, 11967: 7, 14020: 9, 22232: 9, 21206: 7, 17100: 10, 15047: 8, 676: 8, 6835: 6, 24286: 10, 18127: 10, 16074: 6, 9915: 8, 11968: 8, 19154: 10, 17101: 8, 15048: 9, 677: 9, 6836: 6, 23260: 9, 20181: 9, 18128: 8, 1704: 9, 5810: 10, 11969: 8, 14022: 8, 21208: 7, 17102: 7, 15049: 10, 678: 9, 6837: 6, 23261: 10, 20182: 7, 9917: 7, 11970: 8, 22235: 7, 15050: 8, 679: 9, 6838: 6, 20183: 7, 1706: 9, 5812: 9, 9918: 7, 11971: 9, 21210: 7, 17104: 8, 15051: 9, 680: 9, 6839: 6, 23263: 9, 20184: 10, 16078: 5, 5813: 9, 11972: 7, 14025: 7, 22237: 8, 19158: 10, 17105: 8, 15052: 9, 681: 9, 6840: 8, 8893: 8, 10946: 9, 20185: 8, 1708: 10, 5814: 9, 11973: 9, 14026: 7, 21212: 8, 19159: 10, 15053: 8, 682: 9, 8894: 8, 20186: 9, 16080: 7, 5815: 9, 7868: 6, 9921: 8, 14027: 10, 22239: 8, 19160: 9, 17107: 9, 15054: 10, 683: 9, 6842: 10, 8895: 9, 10948: 9, 20187: 10, 1710: 8, 5816: 9, 14028: 9, 21214: 6, 19161: 9, 17108: 8, 15055: 8, 684: 9, 8896: 7, 24294: 9, 20188: 9, 16082: 8, 5817: 9, 7870: 5, 9923: 6, 14029: 7, 22241: 10, 19162: 10, 15056: 8, 685: 9, 6844: 7, 8897: 10, 10950: 9, 24295: 9, 20189: 8, 1712: 7, 5818: 9, 11977: 9, 14030: 10, 19163: 9, 15057: 9, 686: 9, 6845: 10, 10951: 9, 24296: 9, 20190: 9, 16084: 9, 5819: 9, 7872: 6, 14031: 10, 22243: 9, 21217: 7, 19164: 8, 15058: 8, 687: 9, 6846: 10, 24297: 9, 20191: 9, 16085: 9, 1714: 9, 5820: 9, 9926: 6, 14032: 9, 19165: 10, 688: 10, 8900: 9, 10953: 9, 20192: 10, 5821: 9, 7874: 8, 11980: 7, 22245: 9, 19166: 10, 689: 9, 6848: 9, 10954: 8, 20193: 7, 16087: 10, 1716: 8, 5822: 9, 9928: 9, 21220: 7, 19167: 9, 17114: 9, 15061: 9, 690: 9, 6849: 10, 10955: 9, 23273: 9, 20194: 9, 16088: 9, 5823: 9, 7876: 9, 9929: 8, 14035: 8, 22247: 9, 21221: 7, 691: 9, 6850: 8, 10956: 7, 20195: 9, 16089: 9, 1718: 7, 5824: 10, 9930: 7, 11983: 6, 14036: 9, 19169: 8, 15063: 9, 692: 10, 2745: 9, 10957: 8, 24302: 10, 20196: 9, 16090: 10, 5825: 10, 7878: 9, 9931: 8, 14037: 10, 22249: 8, 21223: 7, 19170: 9, 693: 9, 2746: 9, 6852: 9, 10958: 9, 20197: 7, 16091: 7, 1720: 7, 5826: 8, 9932: 9, 14038: 7, 19171: 9, 17118: 10, 15065: 7, 694: 9, 2747: 6, 6853: 9, 20198: 9, 16092: 9, 5827: 10, 7880: 7, 9933: 9, 11986: 6, 14039: 10, 22251: 9, 17119: 9, 15066: 9, 695: 10, 2748: 8, 6854: 8, 24305: 10, 20199: 8, 16093: 9, 1722: 9, 9934: 9, 14040: 7, 17120: 9, 15067: 9, 696: 10, 2749: 7, 6855: 10, 24306: 10, 20200: 8, 5829: 10, 9935: 7, 14041: 9, 22253: 8, 21227: 7, 17121: 9, 15068: 9, 697: 10, 2750: 7, 6856: 7, 20201: 9, 16095: 10, 5830: 8, 9936: 9, 11989: 8, 14042: 10, 17122: 9, 15069: 9, 698: 10, 2751: 6, 6857: 10, 20202: 10, 1725: 10, 5831: 6, 7884: 7, 9937: 8, 14043: 9, 22255: 10, 21229: 9, 17123: 8, 15070: 9, 699: 7, 2752: 9, 6858: 7, 13017: 10, 20203: 9, 16097: 9, 5832: 6, 14044: 9, 17124: 8, 15071: 9, 700: 7, 2753: 9, 4806: 9, 6859: 8, 13018: 10, 23283: 7, 1727: 10, 5833: 6, 7886: 9, 11992: 7, 15072: 9, 701: 9, 2754: 8, 4807: 9, 6860: 9, 10966: 10, 20205: 8, 16099: 9, 5834: 6, 9940: 6, 14046: 10, 19179: 10, 17126: 9, 15073: 9, 702: 8, 2755: 9, 4808: 8, 6861: 9, 8914: 8, 13020: 7, 24312: 8, 20206: 9, 18153: 6, 1729: 8, 5835: 6, 7888: 5, 15074: 9, 703: 9, 2756: 8, 4809: 9, 6862: 7, 8915: 9, 10968: 8, 23286: 9, 5836: 6, 11995: 7, 17128: 9, 704: 9, 2757: 8, 6863: 7, 8916: 9, 18155: 9, 16102: 10, 1731: 7, 7890: 5, 22261: 10, 15076: 9, 705: 8, 2758: 9, 6864: 7, 8917: 9, 18156: 8, 21236: 9, 15077: 7, 706: 10, 2759: 7, 4812: 8, 6865: 7, 8918: 9, 13024: 7, 20210: 9, 1733: 8, 7892: 9, 9945: 9, 11998: 6, 22263: 8, 17131: 9, 707: 9, 2760: 7, 6866: 10, 8919: 9, 23290: 7, 24317: 9, 16105: 6, 22264: 7, 15079: 10, 708: 9, 2761: 7, 6867: 8, 8920: 9, 10973: 9, 13026: 9, 24318: 9, 1735: 9, 7894: 7, 9947: 9, 22265: 10, 19186: 9, 709: 9, 2762: 9, 6868: 9, 8921: 9, 10974: 9, 23292: 7, 24319: 10, 9948: 8, 12001: 7, 21240: 7, 19187: 9, 710: 9, 2763: 7, 6869: 7, 8922: 9, 10975: 9, 13028: 5, 24320: 7, 18161: 9, 16108: 6, 1737: 7, 7896: 8, 22267: 10, 19188: 9, 711: 9, 2764: 8, 6870: 9, 8923: 8, 10976: 9, 23294: 10, 24321: 9, 20215: 8, 18162: 9, 22268: 10, 19189: 9, 712: 9, 6871: 10, 10977: 9, 13030: 6, 24322: 8, 20216: 9, 18163: 9, 1739: 8, 7898: 6, 12004: 6, 19190: 9, 17137: 9, 713: 9, 6872: 10, 10978: 9, 23296: 10, 24323: 9, 20217: 9, 18164: 9, 16111: 7, 19191: 9, 714: 9, 10979: 9, 13032: 8, 24324: 8, 20218: 9, 18165: 9, 1741: 8, 7900: 7, 12006: 5, 19192: 8, 17139: 9, 15086: 7, 715: 9, 6874: 7, 10980: 10, 24325: 8, 20219: 8, 18166: 9, 21246: 8, 19193: 9, 716: 9, 13034: 6, 23299: 9, 24326: 9, 20220: 8, 18167: 9, 16114: 6, 1743: 8, 7902: 6, 12008: 7, 14061: 9, 19194: 10, 15088: 6, 717: 10, 23300: 10, 24327: 10, 20221: 8, 18168: 9, 19195: 9, 718: 9, 13036: 6, 23301: 9, 24328: 6, 20222: 9, 18169: 9, 1745: 9, 7904: 7, 9957: 8, 12010: 8, 14063: 8, 19196: 9, 17143: 8, 15090: 7, 719: 10, 2772: 10, 23302: 10, 24329: 9, 20223: 8, 16117: 9, 22276: 7, 21250: 7, 720: 9, 2773: 8, 6879: 8, 8932: 6, 13038: 5, 23303: 9, 20224: 8, 16118: 9, 1747: 8, 12012: 7, 14065: 6, 21251: 9, 17145: 5, 721: 9, 2774: 6, 10986: 9, 23304: 9, 16119: 9, 7907: 7, 14066: 7, 21252: 10, 15093: 6, 722: 9, 2775: 8, 6881: 7, 13040: 9, 23305: 10, 16120: 9, 1749: 9, 12014: 8, 22279: 5, 21253: 8, 19200: 9, 17147: 8, 15094: 9, 723: 9, 2776: 10, 8935: 7, 10988: 9, 23306: 9, 16121: 10, 14068: 9, 19201: 8, 15095: 7, 724: 9, 2777: 9, 13042: 9, 23307: 8, 16122: 9, 1751: 7, 7910: 6, 12016: 6, 14069: 9, 15096: 10, 725: 9, 8937: 10, 10990: 8, 23308: 8, 20229: 10, 18176: 9, 16123: 9, 7911: 8, 9964: 9, 14070: 7, 21256: 7, 19203: 10, 726: 9, 6885: 8, 13044: 9, 18177: 9, 16124: 9, 1753: 10, 9965: 9, 12018: 7, 14071: 9, 15098: 10, 727: 9, 2780: 8, 16125: 9, 14072: 8, 19205: 9, 15099: 7, 728: 9, 6887: 9, 8940: 6, 13046: 7, 23311: 10, 20232: 9, 18179: 9, 16126: 9, 1755: 10, 12020: 9, 14073: 10, 21259: 7, 729: 9, 10994: 8, 23312: 10, 24339: 10, 16127: 9, 14074: 7, 21260: 10, 19207: 10, 15101: 8, 730: 9, 6889: 10, 13048: 9, 23313: 7, 1757: 10, 7916: 6, 9969: 6, 12022: 8, 14075: 10, 15102: 8, 731: 10, 10996: 6, 23314: 9, 20235: 6, 14076: 9, 15103: 8, 732: 7, 4838: 9, 6891: 8, 13050: 10, 23315: 10, 16130: 9, 12024: 8, 14077: 10, 2786: 7, 15104: 7, 733: 9, 4839: 9, 23316: 10, 20237: 8, 9972: 9, 21264: 9, 15105: 7, 734: 9, 2787: 6, 4840: 9, 6893: 9, 10999: 7, 13052: 7, 23317: 7, 20238: 9, 18185: 7, 16132: 10, 1761: 8, 12026: 6, 19212: 9, 15106: 7, 735: 10, 2788: 6, 4841: 9, 23318: 7, 24345: 7, 20239: 7, 9974: 6, 15107: 10, 736: 9, 2789: 10, 6895: 5, 11001: 6, 13054: 8, 23319: 7, 20240: 7, 16134: 8, 1763: 10, 12028: 7, 14081: 8, 22293: 9, 21267: 10, 19214: 9, 15108: 10, 737: 10, 2790: 6, 4843: 9, 23320: 10, 24347: 8, 20241: 7, 17162: 10, 15109: 9, 738: 10, 2791: 7, 6897: 8, 8950: 7, 11003: 7, 13056: 6, 24348: 8, 20242: 8, 18189: 8, 16136: 9, 1765: 8, 9977: 6, 12030: 7, 22295: 6, 19216: 8, 15110: 9, 739: 10, 2792: 8, 20243: 8, 18190: 8, 17164: 10, 15111: 8, 740: 9, 2793: 10, 6899: 7, 8952: 5, 13058: 7, 20244: 9, 18191: 9, 1767: 10, 12032: 7, 14085: 7, 22297: 7, 19218: 7, 741: 9, 2794: 8, 11006: 6, 23324: 8, 24351: 8, 20245: 9, 18192: 10, 9980: 6, 17166: 8, 742: 9, 2795: 10, 6901: 5, 8954: 9, 13060: 7, 18193: 8, 1769: 8, 5875: 8, 12034: 7, 22299: 9, 21273: 9, 19220: 6, 17167: 9, 15114: 9, 743: 9, 2796: 9, 8955: 9, 23326: 9, 24353: 7, 18194: 9, 9982: 5, 14088: 6, 21274: 9, 17168: 8, 744: 9, 2797: 8, 6903: 8, 8956: 9, 11009: 7, 13062: 7, 23327: 9, 24354: 8, 20248: 7, 1771: 9, 5877: 8, 12036: 8, 22301: 9, 21275: 8, 19222: 9, 17169: 9, 745: 9, 2798: 8, 4851: 9, 8957: 9, 23328: 9, 24355: 9, 9984: 6, 21276: 8, 17170: 9, 746: 9, 2799: 7, 6905: 9, 8958: 9, 13064: 7, 23329: 9, 24356: 8, 20250: 7, 18197: 7, 1773: 10, 12038: 6, 14091: 6, 22303: 9, 21277: 8, 17171: 8, 15118: 10, 747: 9, 4853: 9, 8959: 9, 11012: 6, 23330: 8, 24357: 9, 20251: 10, 18198: 10, 16145: 8, 7933: 9, 9986: 6, 21278: 9, 19225: 7, 17172: 9, 15119: 9, 748: 8, 2801: 10, 6907: 6, 13066: 6, 23331: 9, 24358: 9, 20252: 7, 18199: 9, 1775: 10, 12040: 8, 22305: 8, 21279: 9, 17173: 9, 15120: 9, 749: 9, 4855: 10, 11014: 6, 23332: 9, 24359: 8, 20253: 9, 5882: 8, 7935: 10, 14094: 7, 21280: 8, 17174: 9, 15121: 8, 750: 8, 2803: 10, 13068: 8, 23333: 9, 24360: 9, 20254: 7, 18201: 8, 1777: 9, 9989: 7, 12042: 5, 22307: 7, 21281: 9, 19228: 6, 17175: 9, 15122: 9, 751: 9, 2804: 9, 11016: 8, 23334: 9, 24361: 7, 20255: 8, 18202: 10, 19229: 9, 17176: 9, 752: 9, 2805: 9, 8964: 10, 13070: 5, 20256: 7, 18203: 10, 16150: 9, 1779: 7, 5885: 7, 7938: 10, 12044: 8, 14097: 7, 22309: 9, 21283: 9, 17177: 9, 753: 9, 11018: 5, 23336: 9, 18204: 8, 7939: 7, 14098: 6, 19231: 9, 754: 9, 2807: 10, 13072: 8, 18205: 10, 1781: 8, 5887: 7, 7940: 9, 12046: 7, 14099: 9, 22311: 7, 21285: 10, 15126: 9, 755: 9, 11020: 6, 23338: 9, 7941: 7, 17180: 9, 15127: 7, 756: 10, 2809: 7, 13074: 8, 20260: 8, 18207: 9, 16154: 7, 1783: 10, 5889: 7, 7942: 8, 12048: 7, 22313: 5, 21287: 7, 17181: 9, 757: 8, 2810: 10, 20261: 8, 18208: 9, 16155: 7, 5890: 9, 7943: 7, 9996: 5, 21288: 9, 17182: 9, 15129: 7, 758: 8, 2811: 8, 4864: 9, 11023: 5, 13076: 7, 20262: 9, 18209: 8, 16156: 7, 5891: 7, 7944: 8, 12050: 10, 22315: 7, 21289: 9, 15130: 7, 759: 8, 2812: 7, 8971: 8, 24369: 8, 20263: 7, 16157: 8, 5892: 7, 7945: 9, 9998: 7, 21290: 8, 15131: 7, 760: 7, 2813: 10, 11025: 8, 13078: 7, 20264: 8, 16158: 8, 1787: 10, 5893: 10, 7946: 8, 12052: 6, 22317: 9, 21291: 8, 17185: 9, 15132: 8, 761: 7, 2814: 8, 4867: 9, 8973: 9, 23344: 6, 24371: 9, 20265: 9, 16159: 7, 5894: 9, 7947: 8, 21292: 8, 17186: 8, 15133: 8, 762: 7, 2815: 9, 4868: 6, 11027: 9, 13080: 8, 16160: 9, 1789: 9, 10001: 7, 12054: 7, 22319: 9, 21293: 10, 17187: 9, 763: 8, 2816: 10, 8975: 7, 16161: 9, 21294: 8, 17188: 9, 15135: 7, 764: 8, 2817: 9, 11029: 7, 13082: 7, 24374: 8, 20268: 9, 16162: 9, 1791: 10, 5897: 9, 12056: 9, 22321: 8, 21295: 7, 19242: 9, 17189: 8, 765: 7, 2818: 9, 4871: 7, 8977: 10, 24375: 10, 20269: 8, 16163: 6, 5898: 9, 7951: 6, 21296: 10, 766: 10, 2819: 10, 11031: 6, 13084: 8, 24376: 7, 20270: 8, 16164: 9, 1793: 8, 5899: 9, 10005: 8, 12058: 4, 22323: 7, 21297: 8, 17191: 8, 767: 7, 2820: 10, 4873: 6, 8979: 8, 24377: 7, 20271: 8, 7953: 5, 14112: 8, 21298: 9, 19245: 8, 17192: 9, 768: 7, 2821: 9, 11033: 7, 13086: 8, 24378: 10, 20272: 7, 12060: 6, 22325: 9, 21299: 9, 19246: 9, 17193: 7, 769: 9, 2822: 7, 8981: 5, 24379: 9, 16167: 9, 5902: 9, 7955: 5, 14114: 6, 21300: 9, 19247: 9, 17194: 7, 770: 9, 2823: 9, 11035: 9, 13088: 8, 24380: 7, 1797: 10, 10009: 8, 12062: 7, 22327: 6, 21301: 9, 19248: 8, 17195: 8, 771: 9, 2824: 7, 8983: 10, 20275: 9, 16169: 9, 7957: 8, 14116: 6, 19249: 9, 17196: 8, 772: 9, 2825: 9, 11037: 8, 13090: 9, 18223: 9, 16170: 10, 1799: 10, 10011: 9, 12064: 8, 22329: 8, 19250: 9, 773: 9, 2826: 7, 8985: 8, 24383: 8, 18224: 9, 16171: 10, 7959: 6, 14118: 6, 21304: 10, 19251: 9, 774: 10, 2827: 8, 4880: 8, 11039: 5, 13092: 8, 24384: 8, 18225: 9, 10013: 6, 12066: 7, 22331: 6, 19252: 9, 15146: 7, 775: 9, 8987: 7, 24385: 7, 18226: 9, 14120: 7, 21306: 9, 776: 8, 2829: 8, 4882: 8, 11041: 9, 13094: 9, 18227: 7, 16174: 7, 1803: 10, 10015: 7, 22333: 7, 19254: 10, 777: 7, 2830: 8, 8989: 9, 20281: 8, 18228: 10, 16175: 10, 12069: 6, 14122: 7, 21308: 9, 19255: 9, 15149: 7, 778: 8, 2831: 9, 4884: 9, 11043: 5, 13096: 4, 24388: 7, 16176: 10, 1805: 10, 22335: 7, 779: 6, 2832: 7, 8991: 7, 24389: 8, 18230: 9, 16177: 9, 10018: 8, 12071: 8, 14124: 7, 19257: 9, 780: 10, 2833: 9, 4886: 10, 11045: 7, 13098: 9, 24390: 9, 18231: 9, 1807: 7, 22337: 8, 21311: 9, 15152: 8, 781: 9, 2834: 8, 8993: 8, 24391: 9, 18232: 9, 10020: 7, 12073: 7, 14126: 6, 15153: 8, 782: 9, 2835: 9, 4888: 8, 11047: 7, 13100: 7, 24392: 9, 18233: 8, 1809: 8, 22339: 9, 19260: 8, 17207: 7, 15154: 7, 783: 9, 2836: 9, 8995: 5, 24393: 9, 20287: 8, 16181: 6, 7969: 9, 10022: 7, 12075: 8, 14128: 9, 15155: 9, 784: 10, 2837: 8, 4890: 8, 11049: 6, 13102: 6, 24394: 9, 1811: 8, 22341: 5, 17209: 7, 15156: 9, 785: 8, 2838: 8, 8997: 8, 24395: 9, 20289: 10, 18236: 10, 7971: 8, 10024: 7, 12077: 8, 14130: 8, 21316: 7, 15157: 7, 786: 10, 11051: 8, 13104: 8, 24396: 9, 1813: 7, 7972: 8, 22343: 9, 15158: 9, 787: 9, 2840: 7, 8999: 9, 24397: 8, 18238: 9, 7973: 8, 10026: 9, 12079: 8, 14132: 8, 21318: 8, 19265: 8, 15159: 9, 788: 9, 2841: 8, 11053: 5, 13106: 8, 24398: 9, 18239: 9, 16186: 8, 1815: 8, 7974: 8, 10027: 10, 22345: 8, 19266: 8, 17213: 9, 15160: 6, 789: 8, 2842: 9, 9001: 8, 24399: 9, 16187: 7, 7975: 9, 10028: 9, 12081: 6, 14134: 8, 21320: 9, 19267: 8, 15161: 7, 790: 9, 2843: 9, 11055: 6, 13108: 7, 24400: 8, 20294: 8, 18241: 10, 16188: 10, 1817: 8, 7976: 9, 10029: 10, 22347: 8, 19268: 7, 17215: 10, 15162: 7, 791: 8, 2844: 9, 9003: 9, 24401: 7, 7977: 9, 12083: 7, 14136: 4, 21322: 7, 17216: 10, 15163: 8, 792: 7, 2845: 9, 11057: 8, 13110: 6, 20296: 8, 16190: 8, 1819: 8, 5925: 9, 7978: 8, 10031: 9, 22349: 9, 15164: 6, 793: 6, 2846: 9, 9005: 9, 18244: 7, 16191: 9, 5926: 8, 7979: 9, 10032: 9, 12085: 6, 14138: 8, 21324: 7, 17218: 9, 15165: 6, 794: 8, 2847: 9, 11059: 7, 13112: 8, 23377: 10, 20298: 9, 18245: 9, 1821: 10, 5927: 9, 22351: 9, 17219: 10, 15166: 6, 795: 8, 2848: 8, 9007: 9, 24405: 9, 16193: 9, 12087: 8, 14140: 7, 21326: 8, 19273: 9, 17220: 10, 796: 9, 2849: 10, 9008: 8, 11061: 7, 13114: 6, 24406: 9, 20300: 9, 1823: 10, 10035: 7, 22353: 7, 21327: 9, 17221: 10, 15168: 8, 797: 8, 2850: 10, 9009: 10, 24407: 8, 18248: 9, 10036: 8, 12089: 8, 14142: 7, 798: 9, 2851: 7, 9010: 9, 11063: 7, 13116: 9, 24408: 8, 20302: 8, 1825: 9, 10037: 9, 22355: 7, 17223: 9, 799: 9, 2852: 7, 9011: 9, 20303: 8, 16197: 7, 10038: 9, 12091: 7, 15171: 6, 800: 6, 2853: 10, 9012: 9, 11065: 8, 13118: 6, 17224: 7, 1827: 9, 7986: 7, 22357: 7, 15172: 5, 801: 7, 2854: 10, 9013: 9, 20305: 9, 18252: 9, 17226: 11, 15173: 9, 802: 9, 9014: 9, 11067: 6, 18253: 9, 1829: 7, 22359: 8, 21333: 10, 17227: 7, 15174: 9, 803: 8, 2856: 7, 9015: 9, 18254: 10, 7989: 9, 10042: 6, 12095: 7, 804: 8, 2857: 10, 11069: 6, 24414: 8, 18255: 9, 1831: 8, 22361: 9, 21335: 8, 19282: 9, 17229: 9, 805: 7, 2858: 7, 23388: 8, 12097: 5, 19283: 8, 806: 8, 2859: 7, 11071: 9, 13124: 9, 24416: 10, 18257: 10, 1833: 9, 7992: 6, 10045: 10, 22363: 7, 21337: 6, 19284: 9, 17231: 8, 15178: 5, 807: 7, 2860: 10, 13125: 9, 18258: 8, 10046: 9, 12099: 8, 19285: 9, 15179: 10, 808: 8, 2861: 7, 13126: 9, 23391: 6, 24418: 9, 18259: 8, 1835: 7, 5941: 7, 7994: 7, 10047: 9, 22365: 7, 21339: 7, 19286: 7, 17233: 9, 15180: 9, 809: 8, 11074: 5, 18260: 10, 5942: 8, 10048: 7, 12101: 8, 14154: 9, 21340: 9, 19287: 9, 15181: 9, 810: 7, 9022: 10, 13128: 9, 23393: 8, 18261: 9, 1837: 9, 7996: 6, 10049: 8, 22367: 8, 19288: 9, 17235: 8, 811: 6, 6970: 8, 9023: 9, 13129: 8, 24421: 6, 20315: 9, 18262: 9, 5944: 9, 10050: 10, 12103: 7, 14156: 7, 19289: 10, 812: 8, 2865: 8, 9024: 10, 11077: 6, 13130: 6, 23395: 9, 18263: 8, 16210: 9, 1839: 8, 5945: 9, 10051: 10, 22369: 8, 19290: 9, 17237: 9, 15184: 9, 813: 9, 2866: 7, 6972: 7, 13131: 9, 24423: 8, 5946: 10, 12105: 6, 21344: 10, 19291: 9, 814: 9, 2867: 10, 13132: 8, 23397: 8, 1841: 8, 5947: 9, 8000: 8, 22371: 9, 815: 9, 2868: 8, 6974: 7, 9027: 10, 11080: 5, 13133: 9, 5948: 8, 8001: 7, 12107: 7, 14160: 7, 21346: 9, 19293: 10, 15187: 7, 816: 9, 2869: 7, 9028: 10, 13134: 9, 23399: 7, 20320: 8, 18267: 10, 16214: 9, 1843: 9, 8002: 7, 10055: 7, 22373: 7, 817: 8, 2870: 7, 6976: 7, 13135: 9, 18268: 10, 16215: 9, 8003: 7, 10056: 9, 12109: 8, 14162: 9, 19295: 10, 15189: 7, 818: 8, 11083: 6, 13136: 9, 23401: 8, 20322: 8, 18269: 8, 16216: 10, 1845: 9, 8004: 6, 10057: 8, 22375: 8, 15190: 9, 819: 7, 2872: 10, 6978: 7, 9031: 10, 23402: 7, 18270: 9, 16217: 9, 10058: 9, 12111: 7, 14164: 6, 21350: 8, 17244: 8, 15191: 10, 820: 10, 2873: 7, 9032: 10, 20324: 8, 18271: 9, 16218: 10, 1847: 8, 10059: 9, 14165: 7, 22377: 7, 17245: 10, 15192: 9, 821: 7, 2874: 10, 9033: 9, 11086: 6, 16219: 9, 10060: 7, 12113: 5, 21352: 8, 17246: 8, 15193: 7, 822: 9, 9034: 9, 13140: 8, 20326: 9, 18273: 9, 16220: 9, 1849: 8, 10061: 8, 22379: 8, 17247: 9, 15194: 7, 823: 7, 9035: 9, 24433: 7, 16221: 7, 10062: 9, 12115: 7, 21354: 7, 15195: 10, 824: 6, 9036: 9, 11089: 7, 24434: 8, 20328: 9, 16222: 10, 1851: 10, 8010: 8, 10063: 8, 22381: 6, 15196: 7, 825: 9, 9037: 9, 13143: 10, 24435: 10, 18276: 9, 8011: 10, 10064: 8, 12117: 6, 14170: 9, 21356: 9, 19303: 9, 17250: 10, 15197: 8, 826: 9, 9038: 9, 24436: 9, 1853: 8, 10065: 7, 14171: 9, 22383: 8, 19304: 9, 17251: 8, 15198: 8, 827: 7, 2880: 7, 6986: 8, 9039: 10, 11092: 7, 13145: 8, 24437: 7, 12119: 7, 21358: 9, 19305: 8, 15199: 10, 828: 6, 2881: 8, 9040: 9, 24438: 7, 16226: 7, 1855: 10, 22385: 8, 19306: 9, 15200: 10, 829: 7, 2882: 7, 24439: 10, 20333: 9, 18280: 10, 12121: 8, 21360: 8, 19307: 9, 17254: 8, 15201: 8, 830: 8, 2883: 7, 6989: 8, 11095: 6, 24440: 8, 18281: 7, 1857: 7, 10069: 8, 22387: 7, 831: 7, 2884: 10, 24441: 8, 20335: 8, 16229: 7, 12123: 7, 14176: 8, 21362: 8, 19309: 10, 17256: 7, 832: 7, 2885: 10, 9044: 9, 24442: 9, 18283: 9, 1859: 8, 8018: 9, 14177: 8, 19310: 7, 17257: 9, 833: 10, 2886: 7, 11098: 6, 24443: 7, 12125: 9, 14178: 7, 22390: 7, 21364: 7, 19311: 9, 834: 7, 2887: 7, 9046: 9, 18285: 7, 16232: 8, 1861: 8, 8020: 10, 14179: 8, 22391: 9, 19312: 9, 17259: 9, 835: 7, 2888: 8, 6994: 10, 9047: 9, 23418: 9, 24445: 7, 20339: 9, 12127: 9, 14180: 8, 21366: 7, 836: 8, 2889: 7, 9048: 9, 11101: 7, 24446: 7, 18287: 7, 1863: 7, 8022: 9, 10075: 6, 14181: 9, 22393: 9, 19314: 9, 837: 8, 2890: 8, 6996: 9, 23420: 9, 16235: 7, 8023: 7, 12129: 6, 22394: 9, 21368: 8, 19315: 9, 838: 8, 2891: 10, 18289: 8, 1865: 8, 10077: 9, 19316: 8, 839: 8, 2892: 10, 6998: 9, 11104: 7, 24449: 8, 16237: 8, 10078: 10, 12131: 6, 14184: 10, 21370: 7, 19317: 9, 840: 8, 2893: 10, 24450: 10, 1867: 7, 10079: 8, 14185: 7, 22397: 8, 19318: 10, 841: 7, 2894: 8, 7000: 10, 24451: 9, 8027: 9, 12133: 7, 14186: 9, 21372: 7, 19319: 7, 842: 7, 2895: 8, 9054: 8, 11107: 7, 20346: 9, 1869: 7, 8028: 9, 10081: 8, 14187: 10, 19320: 9, 17267: 9, 843: 8, 2896: 9, 11108: 10, 23426: 9, 24453: 10, 18294: 8, 8029: 8, 12135: 7, 22400: 8, 21374: 7, 19321: 9, 844: 8, 2897: 7, 9056: 7, 11109: 10, 23427: 8, 18295: 9, 1871: 10, 8030: 8, 22401: 8, 19322: 8, 845: 9, 2898: 7, 11110: 10, 23428: 8, 18296: 9, 8031: 10, 12137: 6, 14190: 9, 22402: 9, 21376: 8, 19323: 10, 846: 9, 2899: 10, 9058: 8, 11111: 9, 23429: 9, 18297: 10, 1873: 9, 8032: 10, 10085: 9, 14191: 8, 22403: 9, 19324: 9, 17271: 7, 847: 9, 2900: 10, 9059: 10, 11112: 7, 23430: 8, 18298: 7, 3927: 6, 10086: 9, 12139: 8, 14192: 7, 22404: 8, 21378: 8, 19325: 9, 848: 9, 2901: 9, 9060: 8, 11113: 8, 23431: 8, 18299: 10, 1875: 10, 3928: 7, 8034: 8, 10087: 9, 14193: 7, 22405: 10, 17273: 6, 849: 9, 2902: 9, 11114: 8, 23432: 9, 24459: 9, 18300: 10, 3929: 7, 8035: 9, 10088: 9, 12141: 6, 14194: 8, 22406: 8, 21380: 7, 850: 9, 9062: 10, 11115: 8, 23433: 8, 24460: 9, 18301: 10, 1877: 10, 3930: 7, 8036: 10, 10089: 8, 14195: 9, 22407: 9, 17275: 8, 851: 9, 2904: 8, 9063: 7, 11116: 8, 23434: 9, 24461: 9, 18302: 8, 3931: 6, 5984: 9, 8037: 9, 10090: 9, 12143: 5, 21382: 9, 19329: 8, 852: 7, 2905: 9, 7011: 9, 9064: 9, 23435: 8, 24462: 9, 18303: 10, 1879: 9, 10091: 8, 14197: 9, 22409: 9, 17277: 9, 15224: 8, 853: 9, 2906: 7, 11118: 7, 23436: 8, 24463: 9, 18304: 8, 3933: 6, 12145: 8, 21384: 8, 19331: 9, 854: 9, 2907: 10, 7013: 7, 11119: 8, 24464: 8, 20358: 10, 18305: 7, 1881: 10, 3934: 8, 5987: 9, 8040: 9, 19332: 10, 17279: 8, 855: 6, 2908: 9, 9067: 9, 11120: 10, 24465: 9, 18306: 10, 16253: 8, 3935: 9, 8041: 9, 12147: 9, 22412: 10, 21386: 8, 19333: 9, 17280: 8, 856: 10, 2909: 10, 7015: 5, 9068: 9, 11121: 7, 23439: 9, 24466: 8, 1883: 10, 3936: 9, 8042: 8, 10095: 7, 22413: 10, 19334: 9, 17281: 10, 857: 10, 2910: 7, 9069: 7, 11122: 8, 20361: 10, 12149: 6, 21388: 7, 19335: 10, 17282: 10, 858: 9, 2911: 7, 9070: 6, 11123: 10, 16256: 7, 1885: 9, 3938: 9, 8044: 9, 10097: 9, 14203: 8, 19336: 8, 17283: 8, 859: 10, 2912: 7, 9071: 9, 11124: 8, 18310: 9, 16257: 9, 8045: 7, 12151: 4, 22416: 7, 21390: 8, 19337: 9, 860: 10, 2913: 9, 9072: 9, 11125: 7, 16258: 9, 1887: 9, 8046: 8, 19338: 9, 861: 10, 2914: 9, 9073: 9, 11126: 8, 23444: 6, 24471: 9, 16259: 9, 3941: 9, 12153: 7, 14206: 8, 22418: 8, 21392: 8, 19339: 9, 17286: 7, 862: 7, 2915: 8, 9074: 8, 20366: 9, 18313: 7, 16260: 8, 1889: 10, 3942: 9, 10101: 7, 19340: 9, 17287: 8, 863: 6, 2916: 9, 9075: 9, 11128: 7, 23446: 6, 16261: 9, 3943: 9, 12155: 6, 14208: 8, 22420: 9, 21394: 7, 19341: 9, 17288: 9, 864: 9, 2917: 8, 9076: 10, 11129: 7, 24474: 7, 18315: 4, 16262: 6, 1891: 9, 3944: 9, 14209: 9, 19342: 9, 17289: 9, 865: 7, 2918: 10, 11130: 8, 23448: 9, 20369: 9, 16263: 7, 3945: 6, 12157: 8, 14210: 9, 22422: 9, 21396: 9, 19343: 10, 17290: 8, 866: 7, 2919: 9, 9078: 9, 11131: 8, 18317: 6, 16264: 9, 1893: 9, 3946: 9, 8052: 8, 14211: 9, 22423: 9, 17291: 7, 15238: 8, 867: 10, 2920: 8, 11132: 7, 23450: 9, 24477: 8, 16265: 8, 3947: 9, 8053: 8, 12159: 7, 14212: 9, 21398: 10, 17292: 8, 868: 9, 2921: 10, 9080: 9, 18319: 6, 1895: 10, 3948: 9, 8054: 8, 22425: 8, 19346: 8, 17293: 10, 869: 9, 2922: 7, 9081: 9, 23452: 8, 20373: 9, 12161: 8, 22426: 8, 21400: 9, 17294: 9, 15241: 10, 870: 9, 2923: 7, 11135: 7, 20374: 8, 18321: 5, 16268: 9, 1897: 10, 22427: 9, 17295: 7, 15242: 7, 871: 9, 2924: 10, 23454: 9, 18322: 9, 8057: 10, 12163: 7, 14216: 4, 21402: 8, 17296: 8, 15243: 9, 872: 10, 2925: 8, 18323: 9, 16270: 9, 1899: 8, 8058: 9, 10111: 7, 19350: 10, 17297: 9, 873: 9, 2926: 7, 9085: 5, 23456: 6, 18324: 9, 8059: 7, 10112: 7, 12165: 5, 14218: 9, 22430: 8, 21404: 8, 19351: 7, 17298: 9, 15245: 8, 874: 9, 2927: 7, 7033: 8, 11139: 9, 18325: 9, 1901: 8, 8060: 9, 10113: 8, 19352: 8, 17299: 9, 15246: 8, 875: 9, 2928: 8, 7034: 9, 9087: 8, 23458: 9, 20379: 9, 8061: 10, 10114: 7, 12167: 6, 14220: 9, 22432: 8, 21406: 9, 19353: 9, 17300: 9, 15247: 9, 876: 9, 2929: 7, 7035: 9, 9088: 10, 11141: 6, 20380: 7, 18327: 6, 1903: 9, 8062: 7, 10115: 10, 14221: 10, 22433: 9, 21407: 10, 19354: 8, 17301: 7, 15248: 9, 877: 9, 2930: 8, 7036: 9, 23460: 6, 24487: 9, 20381: 7, 16275: 7, 8063: 7, 10116: 7, 12169: 8, 14222: 9, 19355: 7, 17302: 10, 15249: 9, 878: 8, 2931: 8, 7037: 10, 11143: 6, 20382: 10, 18329: 7, 1905: 8, 8064: 8, 10117: 10, 14223: 7, 22435: 9, 21409: 8, 19356: 7, 17303: 9, 15250: 8, 879: 9, 2932: 10, 7038: 9, 9091: 7, 23462: 7, 20383: 9, 8065: 9, 10118: 10, 12171: 8, 14224: 9, 22436: 9, 19357: 10, 17304: 9, 15251: 10, 880: 9, 2933: 10, 7039: 9, 9092: 9, 11145: 4, 24490: 7, 20384: 10, 18331: 6, 16278: 7, 1907: 8, 3960: 9, 8066: 9, 10119: 9, 14225: 10, 19358: 10, 15252: 8, 881: 9, 2934: 7, 23464: 8, 24491: 7, 20385: 7, 3961: 9, 8067: 9, 10120: 9, 12173: 6, 14226: 7, 21412: 10, 19359: 8, 17306: 7, 15253: 9, 882: 9, 2935: 10, 9094: 10, 11147: 6, 24492: 7, 20386: 7, 18333: 6, 3962: 9, 8068: 10, 10121: 9, 14227: 7, 21413: 10, 17307: 10, 15254: 10, 883: 9, 2936: 7, 9095: 9, 23466: 6, 24493: 10, 20387: 8, 16281: 7, 8069: 9, 10122: 7, 12175: 7, 14228: 7, 22440: 9, 21414: 10, 17308: 9, 884: 9, 2937: 8, 9096: 8, 24494: 9, 20388: 9, 18335: 8, 1911: 9, 8070: 9, 10123: 10, 22441: 9, 21415: 6, 17309: 8, 15256: 10, 885: 9, 2938: 8, 7044: 9, 9097: 7, 11150: 7, 23468: 9, 24495: 8, 3965: 9, 8071: 9, 10124: 10, 12177: 7, 22442: 9, 21416: 7, 17310: 7, 886: 9, 2939: 8, 7045: 9, 9098: 7, 24496: 9, 16284: 7, 1913: 9, 10125: 9, 14231: 9, 22443: 9, 21417: 8, 17311: 8, 887: 9, 2940: 10, 7046: 8, 9099: 7, 11152: 7, 23470: 8, 24497: 7, 18338: 7, 16285: 10, 1914: 8, 8073: 9, 12179: 8, 14232: 10, 22444: 9, 17312: 8, 15259: 7, 888: 9, 2941: 9, 9100: 10, 11153: 9, 24498: 10, 14233: 9, 22445: 9, 19366: 10, 17313: 7, 889: 8, 2942: 7, 11154: 9, 23472: 6, 24499: 9, 16287: 8, 1916: 10, 6022: 8, 12181: 7, 22446: 9, 21420: 10, 17314: 8, 890: 8, 2943: 8, 7049: 7, 11155: 9, 20394: 9, 18341: 7, 6023: 9, 22447: 9, 19368: 9, 17315: 9, 891: 8, 2944: 10, 23474: 9, 24501: 10, 1918: 7, 3971: 7, 6024: 7, 10130: 8, 12183: 9, 22448: 9, 17316: 10, 892: 8, 2945: 7, 20396: 9, 6025: 8, 21423: 7, 17317: 9, 893: 10, 2946: 9, 11158: 9, 23476: 7, 24503: 7, 20397: 8, 18344: 8, 1920: 8, 6026: 8, 10132: 9, 12185: 6, 17318: 7, 15265: 8, 894: 7, 2947: 9, 9106: 9, 20398: 7, 6027: 8, 10133: 8, 21425: 6, 19372: 9, 17319: 9, 15266: 8, 895: 10, 2948: 9, 9107: 9, 11160: 9, 23478: 8, 20399: 7, 3975: 9, 6028: 7, 10134: 9, 12187: 7, 14240: 9, 19373: 10, 17320: 8, 15267: 8, 896: 6, 2949: 10, 7055: 8, 9108: 9, 24506: 5, 20400: 7, 18347: 7, 6029: 10, 8082: 10, 10135: 7, 21427: 6, 19374: 9, 17321: 8, 15268: 10, 897: 7, 2950: 10, 9109: 9, 23480: 8, 20401: 9, 3977: 8, 6030: 8, 8083: 8, 10136: 8, 12189: 8, 19375: 9, 17322: 9, 898: 9, 9110: 9, 24508: 8, 20402: 9, 6031: 8, 8084: 10, 21429: 7, 19376: 10, 17323: 8, 15270: 9, 899: 9, 2952: 9, 9111: 9, 23482: 8, 20403: 7, 18350: 7, 3979: 8, 6032: 7, 8085: 7, 10138: 7, 12191: 8, 22456: 6, 19377: 9, 17324: 10, 15271: 9, 900: 9, 2953: 7, 9112: 9, 11165: 9, 20404: 8, 6033: 9, 8086: 9, 10139: 8, 14245: 8, 21431: 7, 19378: 9, 17325: 10, 15272: 8, 901: 9, 2954: 8, 9113: 9, 23484: 6, 24511: 9, 20405: 8, 8087: 10, 12193: 7, 22458: 5, 19379: 8, 17326: 7, 15273: 9, 902: 9, 2955: 10, 7061: 7, 9114: 9, 11167: 9, 18353: 8, 10141: 9, 14247: 6, 22459: 8, 19380: 9, 17327: 8, 15274: 9, 903: 9, 2956: 10, 7062: 7, 9115: 9, 23486: 10, 8089: 5, 10142: 7, 12195: 8, 21434: 9, 19381: 9, 17328: 10, 904: 9, 2957: 7, 11169: 8, 20408: 8, 10143: 7, 22461: 8, 19382: 9, 905: 9, 2958: 7, 7064: 7, 23488: 5, 18356: 8, 8091: 9, 12197: 7, 22462: 8, 19383: 9, 17330: 10, 906: 10, 2959: 7, 11171: 9, 14251: 7, 22463: 7, 21437: 9, 19384: 9, 17331: 7, 907: 9, 2960: 8, 7066: 5, 23490: 8, 16305: 9, 3987: 10, 8093: 7, 10146: 10, 12199: 6, 19385: 9, 17332: 8, 908: 9, 2961: 10, 18359: 7, 16306: 9, 3988: 9, 14253: 8, 21439: 8, 17333: 9, 15280: 9, 909: 9, 2962: 8, 7068: 9, 23492: 7, 3989: 9, 8095: 6, 12201: 5, 21440: 8, 17334: 10, 910: 9, 2963: 7, 3990: 9, 8096: 9, 14255: 7, 21441: 9, 19388: 9, 911: 9, 2964: 7, 23494: 6, 20415: 9, 18362: 7, 16309: 8, 10150: 10, 12203: 8, 22468: 6, 17336: 8, 912: 9, 2965: 7, 9124: 7, 8098: 10, 10151: 9, 14257: 9, 21443: 9, 913: 9, 2966: 9, 7072: 7, 9125: 10, 11178: 10, 23496: 8, 24523: 9, 16311: 9, 10152: 7, 12205: 7, 14258: 9, 21444: 9, 19391: 9, 2967: 10, 9126: 9, 20418: 9, 18365: 8, 16312: 9, 8100: 8, 10153: 10, 14259: 9, 21445: 9, 17339: 7, 915: 9, 2968: 8, 7074: 8, 9127: 9, 11180: 9, 23498: 8, 24525: 10, 16313: 9, 12207: 8, 14260: 8, 21446: 9, 15287: 10, 916: 9, 2969: 8, 9128: 10, 11181: 9, 17340: 11, 18367: 7, 16314: 8, 8102: 9, 10155: 9, 14261: 9, 21447: 9, 17341: 7, 917: 9, 2970: 9, 7076: 8, 9129: 9, 23500: 6, 16315: 9, 12209: 6, 14262: 9, 21448: 9, 15289: 8, 918: 9, 2971: 7, 9130: 9, 24528: 9, 18369: 9, 16316: 9, 8104: 5, 14263: 9, 22475: 9, 21449: 9, 15290: 9, 919: 9, 2972: 10, 9131: 9, 23502: 6, 24529: 9, 20423: 9, 16317: 9, 3999: 8, 10158: 9, 12211: 9, 14264: 9, 21450: 9, 920: 9, 2973: 8, 7079: 7, 9132: 9, 24530: 9, 20424: 9, 18371: 6, 16318: 8, 4000: 10, 8106: 9, 14265: 9, 21451: 10, 921: 9, 2974: 7, 11186: 10, 17345: 11, 23504: 8, 24531: 9, 20425: 8, 4001: 10, 10160: 9, 12213: 6, 21452: 9, 15293: 9, 922: 9, 2975: 10, 11187: 9, 24532: 9, 20426: 9, 18373: 6, 16320: 9, 8108: 9, 22479: 9, 21453: 9, 15294: 9, 923: 9, 2976: 10, 23506: 9, 24533: 9, 20427: 6, 10162: 10, 12215: 8, 22480: 9, 17348: 11, 924: 9, 2977: 7, 7083: 5, 11189: 8, 24534: 10, 20428: 6, 18375: 7, 16322: 9, 8110: 6, 22481: 7, 17349: 11, 19402: 9, 15296: 9, 925: 9, 2978: 7, 11190: 7, 23508: 8, 24535: 9, 20429: 5, 16323: 9, 10164: 8, 12217: 6, 14270: 9, 22482: 8, 21456: 9, 926: 8, 2979: 7, 7085: 6, 11191: 9, 24536: 9, 20430: 8, 18377: 9, 16324: 9, 8112: 7, 14271: 8, 22483: 9, 15298: 7, 927: 9, 2980: 8, 11192: 7, 23510: 5, 24537: 9, 20431: 7, 18378: 9, 16325: 9, 10166: 7, 12219: 8, 14272: 7, 22484: 9, 21458: 9, 19405: 9, 928: 9, 2981: 9, 7087: 7, 11193: 8, 24538: 9, 18379: 8, 8114: 7, 22485: 7, 21459: 9, 15300: 6, 929: 8, 2982: 8, 11194: 7, 23512: 8, 18380: 9, 10168: 10, 12221: 7, 22486: 8, 19407: 9, 930: 9, 2983: 7, 7089: 7, 18381: 9, 8116: 7, 22487: 10, 21461: 9, 15302: 7, 931: 9, 2984: 7, 23514: 9, 18382: 8, 16329: 7, 4011: 8, 8117: 10, 12223: 7, 22488: 7, 19409: 5, 932: 9, 2985: 9, 7091: 6, 9144: 7, 24542: 9, 20436: 9, 18383: 8, 4012: 7, 8118: 10, 10171: 8, 15304: 7, 933: 8, 2986: 8, 23516: 7, 24543: 9, 18384: 8, 4013: 6, 10172: 7, 12225: 8, 19411: 7, 17358: 10, 934: 8, 2987: 9, 7093: 10, 24544: 9, 20438: 8, 16332: 7, 4014: 9, 10173: 9, 15306: 10, 935: 9, 2988: 8, 23518: 9, 24545: 10, 18386: 10, 8121: 5, 10174: 9, 12227: 8, 22492: 9, 21466: 8, 936: 9, 2989: 8, 7095: 5, 9148: 5, 24546: 9, 18387: 9, 4016: 8, 10175: 8, 14281: 8, 19414: 8, 17361: 9, 15308: 6, 937: 8, 2990: 10, 23520: 7, 24547: 9, 20441: 9, 18388: 8, 16335: 7, 4017: 10, 10176: 7, 12229: 6, 22494: 10, 21468: 8, 938: 8, 2991: 7, 7097: 5, 9150: 6, 20442: 9, 18389: 7, 4018: 6, 8124: 6, 10177: 7, 939: 8, 2992: 9, 23522: 5, 20443: 8, 18390: 9, 10178: 7, 12231: 7, 21470: 9, 940: 8, 2993: 10, 7099: 9, 9152: 9, 20444: 9, 16338: 7, 10179: 9, 941: 8, 2994: 7, 23524: 7, 24551: 9, 20445: 9, 18392: 7, 8127: 8, 12233: 8, 22498: 9, 21472: 8, 17366: 9, 942: 8, 2995: 7, 7101: 5, 9154: 7, 20446: 9, 14287: 8, 943: 8, 2996: 8, 11208: 4, 23526: 9, 24553: 8, 20447: 9, 18394: 8, 16341: 7, 12235: 6, 22500: 7, 21474: 9, 19421: 9, 17368: 8, 944: 9, 2997: 8, 7103: 6, 9156: 7, 20448: 9, 8130: 9, 10183: 9, 14289: 9, 19422: 9, 15316: 8, 945: 8, 2998: 9, 11210: 8, 23528: 7, 24555: 9, 18396: 8, 12237: 6, 22502: 9, 19423: 9, 17370: 7, 15317: 9, 946: 8, 2999: 7, 9158: 9, 16344: 8, 21477: 6, 19424: 9, 15318: 9, 947: 8, 3000: 8, 7106: 6, 11212: 6, 23530: 7, 24557: 10, 20451: 8, 18398: 7, 16345: 7, 8133: 6, 10186: 9, 12239: 9, 22504: 7, 19425: 9, 17372: 8, 15319: 7, 948: 7, 3001: 7, 9160: 9, 20452: 6, 6081: 8, 14293: 9, 21479: 9, 19426: 10, 15320: 10, 949: 9, 3002: 10, 11214: 5, 23532: 8, 24559: 7, 20453: 7, 18400: 9, 10188: 7, 12241: 9, 22506: 9, 21480: 7, 19427: 9, 17374: 8, 15321: 7, 950: 8, 3003: 10, 7109: 6, 20454: 8, 18401: 8, 10189: 7, 21481: 8, 19428: 9, 17375: 9, 15322: 7, 951: 8, 3004: 7, 11216: 7, 23534: 7, 24561: 7, 20455: 7, 18402: 9, 12243: 8, 14296: 6, 22508: 7, 15323: 10, 952: 8, 9164: 8, 20456: 7, 18403: 9, 16350: 9, 22509: 10, 19430: 9, 17377: 9, 953: 8, 9165: 8, 11218: 7, 23536: 7, 24563: 10, 20457: 6, 18404: 9, 16351: 7, 10192: 6, 12245: 6, 21484: 7, 19431: 10, 954: 7, 3007: 10, 20458: 6, 18405: 8, 6087: 7, 14299: 5, 955: 9, 9167: 8, 11220: 8, 23538: 9, 24565: 10, 20459: 6, 18406: 9, 6088: 7, 10194: 6, 12247: 7, 956: 9, 18407: 8, 16354: 9, 14301: 9, 22513: 7, 21487: 7, 19434: 9, 15328: 8, 957: 10, 23540: 8, 24567: 10, 6090: 7, 10196: 7, 12249: 8, 14302: 8, 21488: 7, 19435: 9, 17382: 6, 958: 10, 11223: 8, 16356: 9, 14303: 7, 22515: 8, 21489: 8, 19436: 8, 17383: 9, 15330: 7, 959: 9, 3012: 8, 23542: 9, 18410: 9, 12251: 9, 14304: 7, 21490: 7, 19437: 9, 17384: 9, 15331: 7, 960: 10, 3013: 8, 24570: 6, 16358: 9, 10199: 6, 14305: 10, 22517: 7, 21491: 7, 17385: 9, 961: 8, 3014: 8, 9173: 8, 11226: 6, 23544: 8, 24571: 9, 20465: 7, 6094: 10, 12253: 8, 14306: 10, 21492: 7, 17386: 9, 962: 9, 3015: 8, 9174: 5, 24572: 8, 20466: 7, 16360: 9, 6095: 7, 10201: 7, 14307: 7, 21493: 8, 19440: 7, 17387: 9, 963: 10, 3016: 8, 9175: 7, 23546: 9, 24573: 9, 20467: 9, 16361: 9, 6096: 10, 12255: 7, 14308: 10, 21494: 9, 17388: 9, 964: 7, 3017: 7, 9176: 5, 11229: 5, 24574: 9, 20468: 9, 6097: 10, 10203: 6, 14309: 9, 22521: 7, 21495: 10, 19442: 9, 17389: 9, 965: 5, 3018: 8, 9177: 7, 13283: 8, 23548: 9, 24575: 9, 18416: 8, 6098: 7, 12257: 8, 14310: 7, 17390: 9, 966: 9, 3019: 9, 9178: 9, 24576: 8, 20470: 7, 6099: 9, 8152: 9, 10205: 9, 14311: 7, 22523: 10, 17391: 9, 967: 9, 3020: 9, 9179: 7, 11232: 7, 13285: 9, 23550: 9, 24577: 8, 16365: 9, 6100: 8, 8153: 9, 12259: 8, 14312: 10, 19445: 8, 17392: 9, 15339: 8, 968: 9, 3021: 8, 9180: 6, 13286: 9, 24578: 9, 16366: 9, 6101: 8, 8154: 9, 10207: 6, 14313: 10, 22525: 10, 17393: 9, 15340: 9, 969: 9, 3022: 10, 9181: 6, 13287: 9, 23552: 9, 6102: 7, 8155: 9, 12261: 8, 14314: 7, 21500: 5, 17394: 7, 970: 9, 3023: 9, 9182: 5, 11235: 8, 24580: 9, 6103: 9, 8156: 9, 10209: 6, 22527: 9, 17395: 7, 15342: 7, 971: 9, 3024: 9, 5077: 8, 9183: 8, 13289: 9, 23554: 6, 18422: 9, 16369: 9, 8157: 8, 12263: 6, 14316: 7, 17396: 9, 15343: 7, 972: 9, 3025: 9, 5078: 9, 9184: 6, 6105: 8, 8158: 8, 14317: 7, 22529: 9, 21503: 6, 17397: 9, 15344: 8, 973: 9, 3026: 10, 5079: 9, 9185: 5, 11238: 7, 13291: 9, 23556: 7, 24583: 9, 18424: 7, 6106: 10, 8159: 10, 10212: 10, 12265: 8, 14318: 7, 19451: 10, 15345: 7, 974: 9, 3027: 10, 5080: 10, 9186: 6, 13292: 9, 18425: 9, 6107: 9, 10213: 10, 19452: 9, 15346: 7, 975: 8, 3028: 8, 5081: 8, 9187: 5, 23558: 7, 6108: 7, 8161: 8, 21506: 7, 19453: 7, 15347: 9, 976: 9, 3029: 7, 5082: 9, 9188: 8, 11241: 10, 13294: 7, 24586: 10, 18427: 9, 6109: 8, 8162: 9, 10215: 7, 22533: 7, 19454: 8, 15348: 9, 977: 10, 3030: 9, 9189: 9, 23560: 8, 24587: 10, 16375: 9, 6110: 8, 8163: 6, 14322: 8, 21508: 7, 15349: 9, 978: 10, 3031: 10, 5084: 7, 16376: 9, 6111: 8, 14323: 8, 17403: 6, 15350: 7, 979: 10, 11244: 5, 13297: 7, 23562: 7, 24589: 8, 6112: 10, 14324: 7, 22536: 7, 21510: 10, 980: 10, 3033: 10, 16378: 9, 6113: 9, 14325: 7, 19458: 9, 17405: 8, 981: 9, 3034: 8, 23564: 7, 24591: 9, 6114: 9, 22538: 7, 15353: 9, 982: 9, 3035: 7, 11247: 8, 13300: 9, 16380: 9, 6115: 7, 21513: 5, 19460: 6, 17407: 7, 15354: 9, 983: 10, 3036: 7, 9195: 6, 23566: 9, 20487: 7, 18434: 8, 6116: 8, 10222: 9, 984: 9, 3037: 8, 13302: 9, 24594: 9, 20488: 9, 6117: 9, 19462: 7, 17409: 8, 985: 10, 3038: 7, 9197: 8, 11250: 6, 23568: 9, 24595: 9, 20489: 8, 6118: 9, 10224: 7, 21516: 6, 15357: 9, 986: 10, 3039: 8, 5092: 9, 13304: 9, 24596: 9, 20490: 7, 18437: 6, 6119: 9, 19464: 6, 17411: 8, 15358: 8, 987: 10, 3040: 9, 5093: 10, 9199: 7, 23570: 7, 24597: 9, 20491: 8, 16385: 9, 6120: 8, 12279: 5, 22544: 10, 15359: 8, 988: 10, 3041: 9, 5094: 9, 11253: 8, 13306: 7, 24598: 9, 20492: 7, 16386: 9, 6121: 7, 8174: 10, 21519: 5, 19466: 7, 17413: 9, 15360: 9, 989: 9, 3042: 8, 5095: 8, 9201: 7, 23572: 8, 24599: 9, 18440: 6, 16387: 9, 6122: 8, 8175: 9, 10228: 8, 12281: 8, 22546: 7, 15361: 10, 990: 10, 3043: 8, 5096: 7, 13308: 8, 24600: 9, 16388: 7, 6123: 7, 8176: 9, 12282: 7, 21521: 8, 19468: 6, 17415: 9, 991: 10, 3044: 9, 5097: 9, 9203: 9, 11256: 7, 23574: 6, 24601: 8, 20495: 10, 16389: 8, 6124: 7, 10230: 8, 12283: 9, 22548: 8, 15363: 10, 992: 10, 3045: 9, 5098: 8, 13310: 7, 24602: 9, 18443: 8, 16390: 8, 6125: 7, 12284: 8, 21523: 8, 19470: 10, 17417: 8, 15364: 7, 993: 10, 3046: 9, 5099: 9, 9205: 8, 23576: 9, 24603: 9, 16391: 9, 6126: 7, 10232: 9, 12285: 10, 22550: 7, 15365: 9, 994: 10, 3047: 8, 11259: 7, 13312: 7, 20498: 10, 16392: 9, 6127: 9, 10233: 9, 12286: 8, 21525: 8, 19472: 8, 995: 10, 3048: 9, 9207: 8, 23578: 8, 18446: 6, 16393: 8, 6128: 9, 10234: 9, 12287: 7, 22552: 9, 17420: 8, 15367: 8, 996: 9, 3049: 8, 13314: 9, 16394: 9, 6129: 8, 10235: 8, 12288: 7, 21527: 7, 19474: 8, 15368: 8, 997: 9, 3050: 9, 9209: 7, 11262: 6, 23580: 5, 24607: 8, 16395: 9, 10236: 9, 12289: 10, 14342: 7, 15369: 8, 998: 9, 3051: 9, 13316: 8, 18449: 10, 8184: 9, 10237: 8, 12290: 10, 22555: 6, 21529: 8, 19476: 8, 17423: 8, 15370: 9, 999: 8, 3052: 9, 9211: 10, 24609: 7, 8185: 8, 10238: 9, 14344: 9, 17424: 10, 1000: 7, 3053: 9, 11265: 5, 13318: 8, 18451: 9, 16398: 10, 8186: 10, 10239: 9, 14345: 9, 22557: 8, 21531: 8, 19478: 5, 1001: 8, 3054: 8, 24611: 10, 18452: 8, 8187: 10, 10240: 9, 14346: 9, 1002: 9, 3055: 9, 9214: 5, 13320: 5, 17426: 11, 23585: 6, 20506: 10, 18453: 8, 16400: 7, 8188: 9, 12294: 10, 14347: 8, 21533: 8, 19480: 8, 15374: 9, 1003: 9, 3056: 8, 5109: 9, 11268: 8, 23586: 10, 24613: 9, 20507: 9, 18454: 7, 8189: 9, 14348: 8, 22560: 6, 15375: 10, 1004: 9, 3057: 9, 9216: 7, 23587: 9, 20508: 9, 18455: 10, 16402: 9, 8190: 9, 10243: 10, 14349: 7, 21535: 7, 19482: 9, 15376: 10, 1005: 9, 3058: 8, 5111: 8, 9217: 8, 23588: 10, 24615: 8, 20509: 9, 18456: 9, 12297: 9, 14350: 8, 22562: 7, 15377: 10, 1006: 9, 3059: 7, 11271: 6, 23589: 9, 20510: 8, 18457: 10, 8192: 8, 12298: 10, 22563: 8, 21537: 6, 19484: 9, 15378: 10, 1007: 9, 3060: 9, 23590: 7, 24617: 9, 20511: 10, 18458: 10, 8193: 9, 12299: 8, 14352: 9, 1008: 9, 3061: 8, 5114: 10, 9220: 10, 13326: 7, 23591: 8, 20512: 8, 18459: 8, 6141: 7, 10247: 6, 12300: 9, 14353: 8, 21539: 8, 19486: 6, 15380: 9, 1009: 9, 3062: 9, 11274: 9, 23592: 8, 24619: 7, 20513: 10, 18460: 7, 6142: 8, 8195: 8, 14354: 7, 15381: 8, 1010: 10, 3063: 7, 11275: 8, 23593: 9, 20514: 9, 18461: 9, 16408: 9, 6143: 9, 10249: 6, 14355: 9, 21541: 7, 19488: 6, 17435: 10, 1011: 9, 3064: 9, 11276: 7, 24621: 6, 20515: 8, 18462: 8, 6144: 10, 10250: 7, 12303: 10, 14356: 6, 17436: 9, 15383: 9, 1012: 9, 3065: 8, 11277: 9, 13330: 8, 23595: 9, 18463: 9, 16410: 9, 6145: 8, 8198: 8, 10251: 10, 19490: 6, 17437: 8, 15384: 10, 1013: 8, 3066: 9, 9225: 8, 11278: 8, 24623: 7, 18464: 7, 6146: 8, 8199: 10, 10252: 7, 12305: 8, 14358: 9, 22570: 9, 17438: 7, 15385: 8, 1014: 9, 3067: 10, 11279: 9, 23597: 10, 24624: 7, 18465: 7, 16412: 9, 6147: 10, 8200: 8, 12306: 9, 22571: 9, 19492: 7, 17439: 7, 15386: 8, 1015: 9, 3068: 7, 11280: 9, 23598: 7, 24625: 7, 18466: 10, 8201: 9, 12307: 8, 14360: 10, 22572: 7, 21546: 9, 17440: 9, 15387: 9, 1016: 10, 3069: 8, 9228: 5, 11281: 9, 13334: 8, 23599: 7, 24626: 9, 18467: 10, 6149: 10, 8202: 9, 12308: 9, 22573: 10, 19494: 8, 17441: 8, 15388: 10, 1017: 9, 3070: 8, 13335: 9, 23600: 10, 24627: 7, 18468: 9, 6150: 9, 10256: 8, 12309: 7, 14362: 10, 22574: 7, 17442: 7, 15389: 9, 1018: 10, 3071: 9, 9230: 7, 13336: 9, 23601: 8, 24628: 9, 20522: 6, 18469: 8, 6151: 7, 12310: 7, 14363: 9, 22575: 8, 21549: 9, 19496: 7, 17443: 10, 15390: 10, 1019: 9, 3072: 9, 9231: 9, 13337: 8, 24629: 9, 18470: 10, 6152: 7, 8205: 10, 12311: 10, 22576: 8, 17444: 7, 15391: 10, 1020: 9, 3073: 10, 7179: 8, 9232: 8, 13338: 7, 24630: 10, 20524: 7, 18471: 7, 6153: 8, 8206: 9, 12312: 7, 14365: 9, 22577: 8, 21551: 9, 19498: 9, 17445: 10, 1021: 9, 3074: 10, 9233: 10, 13339: 8, 24631: 8, 18472: 10, 6154: 10, 8207: 9, 12313: 7, 17446: 7, 15393: 8, 1022: 7, 3075: 7, 5128: 8, 9234: 10, 23605: 9, 20526: 6, 18473: 7, 8208: 10, 12314: 7, 14367: 10, 21553: 7, 19500: 10, 17447: 7, 15394: 9, 1023: 9, 3076: 8, 5129: 8, 9235: 9, 11288: 9, 13341: 9, 23606: 8, 18474: 7, 6156: 9, 8209: 10, 12315: 9, 17448: 8, 15395: 9, 1024: 9, 3077: 9, 5130: 8, 7183: 10, 9236: 9, 23607: 8, 20528: 7, 18475: 8, 6157: 7, 12316: 8, 14369: 10, 21555: 7, 19502: 6, 17449: 10, 15396: 9, 1025: 9, 3078: 8, 5131: 9, 9237: 10, 13343: 8, 23608: 7, 18476: 8, 16423: 9, 6158: 9, 8211: 7, 10264: 7, 12317: 7, 14370: 8}};