var POLLS_AND_RATINGS = {"polls": {18: {0: 20, 1: 26, 2: 15, "length": 4, 3: 39, "choice_ids": [62, 63, 64, 65]}, 55: {0: 66, 1: 34, "length": 2, "choice_ids": [171, 170]}, 166: {0: 25, 1: 55, 2: 12, "length": 4, 3: 8, "choice_ids": [565, 566, 567, 568]}, 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}, 240: {0: 47, 1: 16, 2: 24, "length": 5, 3: 8, "choice_ids": [815, 816, 817, 818, 819], 4: 5}, 74: {0: 40, 1: 13, 2: 47, "length": 3, "choice_ids": [222, 223, 224]}, 111: {0: 14, 1: 34, 2: 6, "length": 4, 3: 46, "choice_ids": [353, 354, 355, 356]}, 185: {0: 55, 1: 26, 2: 19, "length": 3, "choice_ids": [625, 626, 627]}, 222: {0: 60, 1: 6, 2: 17, "length": 4, 3: 17, "choice_ids": [779, 780, 781, 782]}, 259: {0: 26, 1: 23, 2: 29, "length": 4, 3: 22, "choice_ids": [883, 884, 885, 886]}, 56: {0: 10, 1: 90, "length": 2, "choice_ids": [172, 173]}, 93: {0: 0, 1: 0, 2: 0, "length": 4, 3: 0, "choice_ids": [295, 296, 297, 298]}, 130: {0: 4, 1: 7, 2: 89, "length": 3, "choice_ids": [429, 430, 431]}, 167: {"length": 0}, 204: {0: 30, 1: 28, 2: 42, "length": 3, "choice_ids": [692, 693, 694]}, 241: {0: 21, 1: 15, 2: 64, "length": 3, "choice_ids": [820, 821, 822]}, 19: [1, 19, 48, 32], 149: {0: 22, 1: 46, 2: 18, "length": 4, 3: 14, "choice_ids": [499, 500, 501, 502]}, 223: {0: 19, 1: 53, 2: 28, "length": 3, "choice_ids": [752, 753, 754]}, 260: {0: 60, 1: 5, 2: 33, "length": 4, 3: 2, "choice_ids": [887, 888, 889, 890]}, 1: [0, 0], 168: {"length": 0}, 205: {0: 20, 1: 12, 2: 37, "length": 4, 3: 31, "choice_ids": [697, 696, 695, 698]}, 57: {0: 100, 1: 0, "length": 2, "choice_ids": [175, 174]}, 113: {0: 36, 1: 23, 2: 24, "length": 4, 3: 17, "choice_ids": [361, 362, 363, 364]}, 150: {0: 13, 1: 76, 2: 11, "length": 3, "choice_ids": [503, 504, 505]}, 187: {0: 9, 1: 6, 2: 85, "length": 3, "choice_ids": [636, 637, 638]}, 261: {0: 13, 1: 11, 2: 76, "length": 3, "choice_ids": [891, 892, 893]}, 169: {0: 23, 1: 16, 2: 48, "length": 4, 3: 13, "choice_ids": [569, 570, 571, 572]}, 243: {0: 16, 1: 29, 2: 35, "length": 5, 3: 6, "choice_ids": [827, 828, 829, 830, 831], 4: 14}, 58: {0: 30, 1: 70, "length": 2, "choice_ids": [176, 177]}, 188: {5: 3, 0: 19, 1: 45, 2: 18, "length": 6, 3: 12, "choice_ids": [639, 640, 641, 642, 643, 673], 4: 3}, 225: {0: 26, 1: 16, 2: 37, "length": 4, 3: 21, "choice_ids": [759, 760, 761, 762]}, 40: {0: 17, 1: 56, 2: 27, "length": 3, "choice_ids": [137, 138, 139]}, 77: {0: 54, 1: 27, 2: 14, "length": 4, 3: 5, "choice_ids": [233, 234, 235, 236]}, 170: {0: 17, 1: 34, 2: 11, "length": 4, 3: 38, "choice_ids": [573, 574, 575, 576]}, 207: {0: 34, 1: 33, 2: 33, "length": 3, "choice_ids": [701, 702, 703]}, 244: {0: 27, 1: 10, 2: 40, "length": 4, 3: 23, "choice_ids": [832, 833, 834, 835]}, 22: [52, 13, 19, 16], 59: {0: 22, 1: 78, "length": 2, "choice_ids": [178, 179]}, 96: {5: 8, 0: 37, 1: 24, 2: 18, "length": 6, 3: 6, "choice_ids": [307, 308, 309, 310, 311, 312], 4: 7}, 133: {0: 74, 1: 17, 2: 9, "length": 3, "choice_ids": [440, 441, 442]}, 189: {0: 23, 1: 48, 2: 29, "length": 3, "choice_ids": [644, 645, 646]}, 226: {0: 13, 1: 15, 2: 54, "length": 5, 3: 13, "choice_ids": [763, 764, 765, 766, 767], 4: 5}, 263: {0: 16, 1: 11, 2: 13, "length": 5, 3: 51, "choice_ids": [898, 899, 900, 901, 902], 4: 9}, 4: [0, 0, 0, 0], 41: {0: 19, 1: 32, 2: 49, "length": 3, "choice_ids": [140, 141, 142]}, 115: {0: 8, 1: 37, 2: 18, "length": 4, 3: 37, "choice_ids": [373, 370, 371, 372]}, 152: {0: 14, 1: 9, 2: 12, "length": 5, 3: 13, "choice_ids": [509, 510, 511, 512, 513], 4: 52}, 208: {0: 27, 1: 47, 2: 26, "length": 3, "choice_ids": [704, 705, 706]}, 245: {0: 29, 1: 15, 2: 11, "length": 4, 3: 45, "choice_ids": [836, 837, 838, 839]}, 23: {0: 17, 1: 52, 2: 24, "length": 4, 3: 7, "choice_ids": [83, 84, 85, 86]}, 60: {0: 20, 1: 80, "length": 2, "choice_ids": [180, 181]}, 134: {0: 42, 1: 43, 2: 9, "length": 4, 3: 6, "choice_ids": [443, 444, 445, 446]}, 227: {0: 19, 1: 55, 2: 26, "length": 3, "choice_ids": [768, 769, 770]}, 5: [0, 0], 42: {0: 30, 1: 41, 2: 29, "length": 3, "choice_ids": [143, 145, 144]}, 153: {0: 52, 1: 14, 2: 34, "length": 3, "choice_ids": [514, 515, 516]}, 190: {"length": 0}, 24: {0: 16, 1: 21, 2: 41, "length": 4, 3: 22, "choice_ids": [87, 88, 89, 90]}, 61: [100], 98: {0: 27, 1: 30, 2: 2, "length": 4, 3: 41, "choice_ids": [317, 318, 319, 320]}, 172: {0: 33, 1: 45, 2: 7, "length": 5, 3: 3, "choice_ids": [579, 580, 582, 584, 586], 4: 12}, 6: {0: 39, 1: 22, 2: 17, "length": 4, 3: 22, "choice_ids": [17, 18, 19, 20]}, 43: {0: 65, 1: 35, "length": 2, "choice_ids": [147, 146]}, 191: {"length": 0}, 99: {0: 16, 1: 33, 2: 20, "length": 4, 3: 31, "choice_ids": [321, 322, 323, 324]}, 136: {0: 26, 1: 20, 2: 54, "length": 3, "choice_ids": [451, 452, 453]}, 173: {0: 26, 1: 38, 2: 36, "length": 3, "choice_ids": [581, 583, 585]}, 210: {0: 28, 1: 23, 2: 32, "length": 4, 3: 17, "choice_ids": [711, 712, 713, 714]}, 247: {0: 30, 1: 57, 2: 13, "length": 3, "choice_ids": [844, 845, 846]}, 44: {0: 70, 1: 30, "length": 2, "choice_ids": [149, 148]}, 81: {0: 40, 1: 33, 2: 19, "length": 4, 3: 8, "choice_ids": [247, 248, 249, 250]}, 118: {0: 62, 1: 14, 2: 15, "length": 4, 3: 9, "choice_ids": [383, 382, 384, 385]}, 155: {0: 12, 1: 13, 2: 9, "length": 5, 3: 47, "choice_ids": [519, 520, 521, 522, 523], 4: 19}, 192: {0: 33, 1: 26, 2: 32, "length": 4, 3: 9, "choice_ids": [656, 657, 658, 659]}, 229: {0: 17, 1: 67, 2: 5, "length": 4, 3: 11, "choice_ids": [776, 775, 777, 778]}, 26: {0: 31, 1: 29, 2: 6, "length": 4, 3: 34, "choice_ids": [91, 92, 93, 94]}, 63: {0: 63, 1: 37, "length": 2, "choice_ids": [189, 188]}, 211: {0: 8, 1: 25, 2: 28, "length": 5, 3: 11, "choice_ids": [719, 715, 716, 717, 718], 4: 28}, 248: {0: 22, 1: 22, 2: 21, "length": 4, 3: 35, "choice_ids": [847, 848, 849, 850]}, 8: [], 45: {0: 79, 1: 21, "length": 2, "choice_ids": [151, 150]}, 119: {0: 45, 1: 15, 2: 22, "length": 4, 3: 18, "choice_ids": [386, 387, 388, 389]}, 230: {0: 43, 1: 27, 2: 30, "length": 3, "choice_ids": [783, 784, 785]}, 64: {0: 63, 1: 37, "length": 2, "choice_ids": [191, 190]}, 101: {0: 40, 1: 39, 2: 1, "length": 4, 3: 20, "choice_ids": [329, 330, 331, 332]}, 138: {0: 63, 1: 17, 2: 20, "length": 3, "choice_ids": [458, 459, 460]}, 212: {0: 25, 1: 5, 2: 7, "length": 5, 3: 50, "choice_ids": [720, 721, 722, 723, 724], 4: 13}, 46: {0: 48, 1: 52, "length": 2, "choice_ids": [153, 152]}, 83: {0: 40, 1: 14, 2: 46, "length": 3, "choice_ids": [255, 256, 257]}, 157: {0: 67, 1: 7, 2: 26, "length": 3, "choice_ids": [528, 529, 530]}, 194: {0: 9, 1: 16, 2: 75, "length": 3, "choice_ids": [651, 652, 653]}, 9: [10, 18, 25, 86, -39], 65: {0: 63, 1: 37, "length": 2, "choice_ids": [193, 192]}, 102: {"length": 0}, 139: {0: 7, 1: 31, 2: 3, "length": 5, 3: 26, "choice_ids": [461, 462, 463, 464, 465], 4: 33}, 176: {0: 42, 1: 23, 2: 35, "length": 3, "choice_ids": [596, 597, 598]}, 213: {0: 58, 1: 25, 2: 17, "length": 3, "choice_ids": [725, 726, 727]}, 250: {"length": 0}, 84: {0: 52, 1: 11, 2: 17, "length": 4, 3: 20, "choice_ids": [258, 259, 260, 261]}, 121: {0: 17, 1: 33, 2: 50, "length": 4, 3: 0, "choice_ids": [394, 395, 396, 397]}, 158: {0: 16, 1: 15, 2: 69, "length": 4, 3: 0, "choice_ids": [531, 532, 533, 534]}, 232: {0: 6, 1: 10, 2: 23, "length": 4, 3: 61, "choice_ids": [790, 791, 792, 793]}, 10: [43, 18, 23, 16], 47: {0: 65, 1: 35, "length": 2, "choice_ids": [155, 154]}, 103: {"length": 0}, 140: {0: 18, 1: 34, 2: 48, "length": 3, "choice_ids": [466, 467, 468]}, 177: {0: 25, 1: 28, 2: 27, "length": 4, 3: 20, "choice_ids": [599, 600, 601, 602]}, 251: {0: 29, 1: 50, 2: 21, "length": 3, "choice_ids": [855, 856, 857]}, 29: [15, 28, 26, 31], 233: {0: 22, 1: 16, 2: 4, "length": 5, 3: 20, "choice_ids": [794, 795, 796, 798, 797], 4: 38}, 159: {5: 3, 0: 29, 1: 29, 2: 2, "length": 6, 3: 19, "choice_ids": [535, 536, 537, 538, 539, 540], 4: 18}, 122: {0: 4, 1: 4, 2: 89, "length": 4, 3: 3, "choice_ids": [398, 399, 400, 401]}, 11: {0: 36, 1: 13, 2: 32, "length": 4, 3: 19, "choice_ids": [32, 33, 34, 35]}, 48: {0: 50, 1: 50, "length": 2, "choice_ids": [157, 156]}, 215: {0: 13, 1: 6, 2: 41, "length": 4, 3: 40, "choice_ids": [731, 732, 733, 734]}, 178: {0: 10, 1: 7, 2: 4, "length": 5, 3: 14, "choice_ids": [603, 604, 605, 606, 607], 4: 65}, 141: {0: 36, 1: 15, 2: 26, "length": 4, 3: 23, "choice_ids": [469, 470, 471, 472]}, 30: {0: 15, 1: 26, 2: 28, "length": 4, 3: 31, "choice_ids": [103, 104, 105, 106]}, 104: {"length": 0}, 197: {0: 46, 1: 46, 2: 8, "length": 3, "choice_ids": [663, 664, 665]}, 160: {0: 17, 1: 7, 2: 9, "length": 5, 3: 12, "choice_ids": [541, 542, 543, 544, 545], 4: 55}, 12: {0: 75, 1: 8, 2: 9, "length": 4, 3: 8, "choice_ids": [41, 40, 39, 38]}, 49: {0: 27, 1: 73, "length": 2, "choice_ids": [158, 159]}, 86: {0: 22, 1: 3, 2: 2, "length": 4, 3: 73, "choice_ids": [266, 267, 268, 269]}, 253: {0: 49, 1: 51, "length": 2, "choice_ids": [862, 863]}, 216: {0: 26, 1: 6, 2: 13, "length": 4, 3: 55, "choice_ids": [735, 736, 737, 738]}, 179: {0: 36, 1: 15, 2: 49, "length": 3, "choice_ids": [608, 609, 610]}, 68: {0: 23, 1: 6, 2: 5, "length": 4, 3: 66, "choice_ids": [202, 203, 204, 205]}, 105: {"length": 0}, 142: {0: 20, 1: 14, 2: 11, "length": 5, 3: 25, "choice_ids": [473, 474, 475, 476, 477], 4: 30}, 235: {0: 34, 1: 50, 2: 16, "length": 3, "choice_ids": [803, 804, 805]}, 50: {0: 66, 1: 34, "length": 2, "choice_ids": [161, 160]}, 87: {0: 20, 1: 45, 2: 15, "length": 4, 3: 20, "choice_ids": [271, 272, 273, 274]}, 124: {0: 21, 1: 13, 2: 25, "length": 5, 3: 4, "choice_ids": [406, 407, 408, 409, 410], 4: 37}, 161: {0: 6, 1: 69, 2: 12, "length": 4, 3: 13, "choice_ids": [546, 547, 548, 549]}, 254: {0: 23, 1: 28, 2: 37, "length": 4, 3: 12, "choice_ids": [864, 865, 866, 867]}, 217: {0: 17, 1: 67, 2: 16, "length": 3, "choice_ids": [739, 740, 741]}, 180: {0: 30, 1: 15, 2: 41, "length": 4, 3: 14, "choice_ids": [611, 612, 613, 614]}, 106: {0: 36, 1: 25, 2: 21, "length": 4, 3: 18, "choice_ids": [333, 334, 335, 336]}, 143: {0: 22, 1: 18, 2: 60, "length": 3, "choice_ids": [478, 479, 480]}, 199: {0: 54, 1: 25, 2: 21, "length": 3, "choice_ids": [670, 671, 672]}, 14: {0: 43, 1: 31, 2: 11, "length": 4, 3: 15, "choice_ids": [46, 47, 48, 49]}, 51: {0: 20, 1: 80, "length": 2, "choice_ids": [162, 163]}, 88: {0: 19, 1: 11, 2: 6, "length": 4, 3: 64, "choice_ids": [275, 276, 277, 278]}, 125: {0: 10, 1: 80, 2: 10, "length": 3, "choice_ids": [411, 412, 413]}, 162: {0: 13, 1: 43, 2: 32, "length": 4, 3: 12, "choice_ids": [551, 552, 553, 550]}, 255: {0: 19, 1: 22, 2: 59, "length": 3, "choice_ids": [868, 869, 870]}, 218: {0: 64, 1: 16, 2: 6, "length": 4, 3: 14, "choice_ids": [742, 743, 744, 745]}, 107: {0: 36, 1: 19, 2: 20, "length": 4, 3: 25, "choice_ids": [337, 338, 339, 340]}, 237: {0: 72, 1: 22, 2: 6, "length": 3, "choice_ids": [806, 807, 808]}, 200: {0: 70, 1: 7, 2: 10, "length": 4, 3: 13, "choice_ids": [674, 675, 676, 677]}, 15: [32, 28, 24, 16], 52: {0: 36, 1: 64, "length": 2, "choice_ids": [164, 165]}, 126: {0: 29, 1: 29, 2: 23, "length": 4, 3: 19, "choice_ids": [414, 415, 416, 417]}, 163: {0: 23, 1: 32, 2: 45, "length": 3, "choice_ids": [554, 555, 556]}, 256: {0: 32, 1: 25, 2: 15, "length": 5, 3: 17, "choice_ids": [871, 872, 873, 874, 875], 4: 11}, 219: {"length": 0}, 182: {0: 32, 1: 26, 2: 11, "length": 4, 3: 31, "choice_ids": [628, 629, 630, 631]}, 34: {0: 37, 1: 8, 2: 40, "length": 4, 3: 15, "choice_ids": [119, 120, 121, 122]}, 71: {0: 53, 1: 27, 2: 15, "length": 4, 3: 5, "choice_ids": [210, 211, 212, 213]}, 108: {0: 29, 1: 22, 2: 14, "length": 4, 3: 35, "choice_ids": [341, 342, 343, 344]}, 145: {0: 1, 1: 35, 2: 17, "length": 4, 3: 47, "choice_ids": [485, 486, 487, 488]}, 201: {0: 28, 1: 12, 2: 12, "length": 5, 3: 10, "choice_ids": [678, 679, 680, 681, 682], 4: 38}, 16: {0: 9, 1: 58, 2: 20, "length": 5, 3: 11, "choice_ids": [54, 55, 56, 57, 82], 4: 2}, 53: {0: 65, 1: 35, "length": 2, "choice_ids": [167, 166]}, 127: {0: 16, 1: 8, 2: 32, "length": 5, 3: 24, "choice_ids": [418, 419, 420, 421, 422], 4: 20}, 257: {0: 46, 1: 30, 2: 24, "length": 3, "choice_ids": [876, 877, 878]}, 220: {0: 71, 1: 16, 2: 13, "length": 3, "choice_ids": [746, 747, 748]}, 183: {0: 11, 1: 8, 2: 16, "length": 4, 3: 65, "choice_ids": [619, 620, 621, 622]}, 109: {0: 14, 1: 6, 2: 3, "length": 4, 3: 77, "choice_ids": [345, 346, 347, 348]}, 146: {5: 2, 0: 16, 1: 3, 2: 31, "length": 6, 3: 19, "choice_ids": [489, 490, 491, 492, 493, 506], 4: 29}, 239: {0: 42, 1: 17, 2: 25, "length": 4, 3: 16, "choice_ids": [811, 812, 813, 814]}, 54: {0: 58, 1: 42, "length": 2, "choice_ids": [169, 168]}, 91: {0: 68, 1: 17, 2: 6, "length": 4, 3: 9, "choice_ids": [287, 288, 289, 290]}, 128: {0: 15, 1: 29, 2: 14, "length": 4, 3: 42, "choice_ids": [423, 424, 425, 426]}, 165: {0: 38, 1: 44, 2: 7, "length": 4, 3: 11, "choice_ids": [561, 562, 563, 564]}, 221: {0: 14, 1: 18, 2: 68, "length": 3, "choice_ids": [749, 750, 751]}, 73: {0: 20, 1: 60, 2: 10, "length": 4, 3: 10, "choice_ids": [218, 219, 220, 221]}, 110: {0: 26, 1: 25, 2: 8, "length": 4, 3: 41, "choice_ids": [349, 350, 351, 352]}, 147: {0: 29, 1: 16, 2: 55, "length": 3, "choice_ids": [494, 495, 496]}}, "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: 8, 0: 8, 1027: 9, 3080: 9, 5133: 8, 9239: 9, 15398: 8, 17451: 9, 19504: 8, 21557: 10, 8213: 7, 10266: 8, 12319: 10, 14372: 9, 16425: 7, 18478: 7, 20531: 9, 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: 10, 8215: 8, 10268: 8, 12321: 8, 14374: 9, 16427: 9, 18480: 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: 10, 6164: 8, 8217: 9, 10270: 7, 12323: 8, 14376: 10, 16429: 7, 18482: 7, 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: 10, 19510: 7, 1033: 7, 6166: 10, 8219: 8, 10272: 6, 12325: 10, 14378: 10, 3087: 8, 7193: 10, 15405: 8, 17458: 9, 1034: 9, 6167: 8, 12326: 8, 14379: 10, 20538: 7, 3088: 8, 7194: 8, 9247: 10, 11300: 9, 13353: 7, 15406: 10, 17459: 8, 19512: 8, 1035: 8, 6168: 7, 8221: 7, 12327: 9, 14380: 8, 18486: 10, 3089: 7, 7195: 8, 15407: 7, 17460: 8, 21566: 10, 1036: 9, 6169: 9, 10275: 5, 12328: 9, 14381: 9, 16434: 8, 18487: 8, 20540: 8, 3090: 8, 7196: 8, 9249: 10, 11302: 6, 13355: 8, 15408: 9, 17461: 8, 19514: 7, 1037: 9, 6170: 10, 8223: 8, 18488: 10, 3091: 7, 15409: 9, 17462: 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: 10, 1039: 9, 6172: 9, 8225: 10, 10278: 6, 12331: 9, 14384: 9, 16437: 10, 18490: 8, 3093: 10, 15411: 8, 17464: 8, 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: 7, 1041: 9, 6174: 9, 8227: 8, 12333: 8, 14386: 9, 16439: 10, 18492: 8, 3095: 7, 17466: 9, 21572: 10, 1042: 6, 6175: 8, 8228: 10, 12334: 9, 14387: 8, 16440: 9, 20546: 8, 3096: 8, 9255: 7, 11308: 9, 17467: 8, 19520: 9, 1043: 6, 6176: 7, 8229: 7, 10282: 9, 16441: 9, 18494: 9, 7203: 10, 15415: 7, 17468: 9, 21574: 10, 1044: 7, 6177: 9, 8230: 8, 10283: 9, 12336: 9, 14389: 8, 18495: 9, 20548: 7, 3098: 8, 5151: 7, 9257: 7, 11310: 9, 15416: 7, 17469: 9, 19522: 6, 1045: 7, 6178: 9, 12337: 9, 14390: 8, 16443: 8, 18496: 10, 5152: 7, 7205: 9, 9258: 9, 15417: 8, 17470: 9, 21576: 8, 1046: 9, 3099: 7, 6179: 10, 10285: 9, 12338: 9, 14391: 9, 16444: 9, 20550: 8, 5153: 10, 17471: 8, 19524: 7, 1047: 8, 3100: 9, 6180: 8, 8233: 10, 10286: 8, 12339: 8, 16445: 9, 5154: 10, 7207: 10, 11313: 10, 17472: 9, 21578: 8, 1048: 7, 3101: 9, 6181: 9, 8234: 8, 10287: 9, 12340: 9, 16446: 8, 18499: 7, 20552: 9, 9261: 7, 19526: 5, 1049: 8, 3102: 7, 6182: 8, 8235: 10, 10288: 8, 12341: 9, 14394: 7, 5156: 9, 7209: 7, 13368: 9, 21580: 10, 1050: 9, 3103: 8, 6183: 8, 8236: 10, 10289: 9, 20554: 10, 5157: 10, 9263: 8, 13369: 7, 15422: 8, 17475: 7, 19528: 6, 1051: 9, 3104: 7, 6184: 10, 10290: 9, 14396: 8, 16449: 9, 18502: 9, 5158: 7, 7211: 6, 21582: 9, 1052: 7, 3105: 8, 6185: 8, 10291: 9, 16450: 10, 20556: 7, 5159: 9, 9265: 10, 11318: 9, 19530: 9, 1053: 7, 3106: 9, 6186: 10, 14398: 9, 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, 1055: 9, 3108: 10, 8241: 9, 10294: 8, 16453: 10, 5162: 10, 7215: 6, 11321: 10, 15427: 9, 21586: 10, 1056: 8, 3109: 9, 6189: 10, 18507: 10, 20560: 9, 9269: 10, 17481: 9, 19534: 9, 1057: 8, 3110: 9, 6190: 10, 10296: 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, 1059: 9, 3112: 7, 6192: 10, 10298: 9, 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: 10, 1061: 9, 3114: 10, 6194: 7, 10300: 10, 20565: 10, 7221: 8, 13380: 9, 17486: 8, 1062: 8, 3115: 7, 6195: 9, 10301: 10, 14407: 10, 18513: 7, 13381: 8, 17487: 8, 19540: 7, 1063: 7, 3116: 8, 6196: 7, 10302: 10, 12355: 7, 14408: 9, 7223: 8, 9276: 6, 11329: 9, 13382: 9, 15435: 7, 17488: 10, 21594: 10, 1064: 9, 3117: 10, 16462: 9, 18515: 7, 20568: 9, 13383: 9, 17489: 9, 19542: 8, 1065: 9, 3118: 9, 12357: 6, 16463: 9, 6198: 7, 7225: 9, 9278: 9, 11331: 7, 13384: 9, 1066: 6, 3119: 7, 10305: 10, 14411: 8, 16464: 9, 18517: 7, 6199: 7, 9279: 8, 13385: 9, 19544: 7, 21597: 8, 1067: 9, 3120: 7, 10306: 9, 7227: 9, 9280: 7, 11333: 9, 1068: 9, 3121: 10, 10307: 10, 12360: 5, 14413: 7, 18519: 8, 4148: 9, 6201: 7, 9281: 6, 19546: 7, 1069: 9, 3122: 10, 10308: 9, 14414: 6, 7229: 7, 9282: 9, 11335: 7, 13388: 7, 15441: 9, 21600: 10, 1070: 7, 3123: 8, 10309: 9, 12362: 7, 14415: 9, 18521: 7, 4150: 9, 6203: 9, 9283: 9, 17495: 7, 19548: 10, 1071: 8, 3124: 9, 10310: 10, 14416: 8, 20575: 9, 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: 9, 20576: 9, 4152: 9, 9285: 9, 17497: 8, 19550: 5, 21603: 7, 1073: 8, 3126: 8, 14418: 9, 20577: 9, 4153: 7, 9286: 9, 11339: 7, 13392: 8, 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: 8, 20580: 8, 4156: 9, 9289: 10, 17501: 9, 19554: 6, 1077: 10, 3130: 8, 10316: 8, 16475: 9, 4157: 8, 9290: 9, 11343: 9, 13396: 7, 17502: 8, 1078: 9, 3131: 9, 5184: 8, 12370: 7, 16476: 8, 20582: 7, 9291: 9, 15450: 9, 17503: 10, 19556: 7, 21609: 9, 1079: 9, 3132: 9, 5185: 10, 10318: 9, 14424: 8, 16477: 8, 18530: 9, 4159: 9, 9292: 9, 11345: 5, 13398: 6, 17504: 8, 21610: 9, 1080: 8, 3133: 7, 5186: 7, 12372: 9, 18531: 9, 20584: 8, 2107: 8, 4160: 9, 6213: 8, 9293: 9, 15452: 10, 17505: 9, 19558: 6, 1081: 8, 3134: 7, 5187: 10, 10320: 7, 16479: 7, 18532: 9, 4161: 10, 9294: 10, 11347: 5, 13400: 6, 15453: 10, 21612: 9, 1082: 9, 3135: 7, 12374: 6, 14427: 10, 18533: 9, 4162: 9, 9295: 10, 19560: 7, 1083: 8, 3136: 8, 10322: 7, 14428: 9, 16481: 8, 18534: 9, 20587: 6, 4163: 9, 13402: 6, 15455: 9, 1084: 9, 3137: 7, 12376: 5, 14429: 9, 16482: 9, 18535: 7, 11350: 5, 15456: 9, 17509: 9, 19562: 9, 21615: 9, 1085: 8, 3138: 7, 9297: 9, 14430: 7, 16483: 9, 18536: 9, 8271: 9, 13404: 6, 15457: 9, 17510: 9, 1086: 9, 3139: 9, 9298: 9, 12378: 8, 14431: 8, 16484: 7, 18537: 9, 20590: 6, 8272: 8, 11352: 7, 15458: 10, 17511: 10, 19564: 6, 21617: 7, 1087: 8, 3140: 9, 7246: 9, 9299: 9, 14432: 7, 16485: 7, 20591: 9, 4167: 8, 8273: 7, 13406: 9, 21618: 8, 1088: 8, 3141: 8, 5194: 9, 7247: 9, 9300: 9, 10327: 8, 12380: 7, 14433: 8, 16486: 7, 18539: 8, 20592: 9, 6221: 9, 8274: 9, 15460: 10, 19566: 5, 21619: 8, 1089: 9, 3142: 9, 5195: 9, 7248: 8, 9301: 9, 18540: 9, 20593: 10, 8275: 9, 11355: 9, 13408: 7, 21620: 9, 1090: 8, 3143: 7, 5196: 9, 7249: 7, 10329: 8, 12382: 5, 14435: 8, 20594: 10, 8276: 8, 15462: 9, 19568: 9, 21621: 7, 1091: 9, 3144: 9, 5197: 9, 7250: 9, 14436: 10, 8277: 7, 11357: 10, 13410: 9, 17516: 9, 21622: 10, 1092: 9, 3145: 8, 7251: 7, 12384: 6, 14437: 8, 16490: 7, 18543: 7, 20596: 8, 8278: 9, 10331: 6, 17517: 9, 19570: 8, 21623: 9, 1093: 7, 3146: 7, 5199: 9, 7252: 9, 9305: 10, 16491: 7, 2120: 9, 4173: 7, 8279: 8, 11359: 8, 13412: 9, 17518: 9, 21624: 9, 1094: 8, 3147: 7, 7253: 9, 12386: 5, 16492: 7, 18545: 8, 20598: 9, 2121: 9, 8280: 9, 10333: 7, 15466: 8, 17519: 9, 19572: 7, 1095: 10, 3148: 8, 5201: 9, 9307: 8, 16493: 9, 18546: 9, 2122: 7, 8281: 9, 11361: 6, 13414: 6, 15467: 10, 1096: 9, 3149: 7, 12388: 8, 14441: 6, 16494: 7, 18547: 9, 20600: 9, 4176: 9, 11362: 9, 13415: 6, 15468: 10, 19574: 7, 21627: 10, 1097: 8, 3150: 7, 5203: 10, 9309: 8, 16495: 10, 18548: 9, 2124: 7, 6230: 8, 8283: 8, 15469: 9, 17522: 7, 1098: 9, 5204: 9, 9310: 8, 12390: 8, 14443: 6, 16496: 9, 18549: 9, 20602: 10, 2125: 7, 6231: 7, 10337: 5, 15470: 9, 19576: 6, 21629: 8, 1099: 9, 3152: 8, 5205: 10, 16497: 7, 18550: 8, 2126: 9, 6232: 7, 15471: 10, 1100: 9, 3153: 8, 9312: 9, 12392: 7, 14445: 6, 16498: 8, 18551: 8, 20604: 8, 6233: 10, 13419: 7, 17525: 7, 21631: 10, 1101: 7, 5207: 9, 7260: 10, 9313: 7, 11366: 9, 16499: 7, 6234: 7, 8287: 9, 10340: 7, 13420: 7, 19579: 7, 1102: 9, 3155: 8, 5208: 9, 12394: 7, 14447: 7, 18553: 9, 20606: 6, 13421: 10, 15474: 10, 21633: 8, 1103: 9, 3156: 7, 5209: 9, 9315: 9, 14448: 8, 16501: 10, 8289: 10, 10342: 9, 13422: 7, 17528: 6, 19581: 7, 1104: 9, 3157: 9, 9316: 9, 16502: 8, 18555: 7, 20608: 7, 12396: 6, 13423: 7, 15476: 9, 21635: 9, 1105: 6, 3158: 7, 5211: 10, 9317: 7, 4185: 9, 6238: 10, 13424: 9, 15477: 9, 17530: 9, 19583: 7, 1106: 9, 3159: 8, 5212: 9, 18557: 8, 8292: 8, 10345: 9, 12398: 6, 13425: 8, 15478: 9, 21637: 10, 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: 8, 17533: 6, 21639: 9, 1109: 9, 3162: 10, 7268: 5, 11374: 9, 14454: 6, 16507: 9, 20613: 9, 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, 1111: 9, 3164: 9, 5217: 4, 11376: 9, 14456: 7, 10350: 9, 15483: 8, 19589: 6, 1112: 9, 3165: 9, 5218: 7, 7271: 6, 16510: 9, 18563: 7, 10351: 9, 12404: 7, 15484: 9, 1113: 9, 3166: 8, 5219: 5, 11378: 10, 14458: 6, 18564: 9, 10352: 7, 15485: 9, 19591: 7, 21644: 10, 1114: 9, 3167: 10, 5220: 8, 11379: 9, 20618: 10, 10353: 9, 12406: 5, 15486: 9, 17539: 8, 21645: 10, 1115: 9, 3168: 10, 5221: 9, 7274: 6, 11380: 9, 10354: 6, 15487: 10, 19593: 9, 21646: 8, 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, 17542: 8, 19595: 7, 21648: 10, 1118: 8, 3171: 10, 5224: 6, 11383: 9, 20622: 8, 10357: 9, 12410: 7, 21649: 8, 1119: 9, 3172: 10, 5225: 5, 7278: 9, 9331: 7, 4199: 8, 19597: 8, 21650: 6, 1120: 9, 3173: 9, 5226: 6, 11385: 9, 16518: 7, 18571: 9, 20624: 8, 4200: 7, 12412: 7, 21651: 7, 1121: 7, 3174: 10, 5227: 7, 7280: 9, 11386: 10, 13439: 9, 4201: 9, 15493: 10, 17546: 7, 19599: 9, 21652: 8, 1122: 9, 3175: 9, 11387: 10, 13440: 9, 18573: 6, 20626: 9, 4202: 8, 12414: 7, 21653: 8, 1123: 9, 3176: 9, 5229: 5, 7282: 10, 11388: 10, 4203: 8, 19601: 7, 21654: 7, 1124: 9, 3177: 9, 9336: 6, 11389: 7, 13442: 9, 15495: 9, 16522: 9, 20628: 8, 4204: 8, 12416: 7, 14469: 9, 17549: 6, 21655: 7, 1125: 9, 3178: 10, 5231: 5, 7284: 8, 11390: 7, 13443: 9, 18576: 7, 4205: 7, 19603: 7, 21656: 8, 1126: 9, 3179: 7, 5232: 5, 11391: 9, 13444: 9, 15497: 8, 16524: 9, 20630: 9, 12418: 5, 17551: 9, 1127: 8, 3180: 8, 7286: 6, 11392: 9, 13445: 7, 6260: 9, 12419: 9, 17552: 8, 1128: 9, 3181: 7, 5234: 9, 11393: 7, 13446: 7, 18579: 8, 20632: 7, 10367: 10, 17553: 8, 19606: 7, 21659: 10, 1129: 9, 3182: 10, 5235: 9, 7288: 6, 8315: 10, 17554: 7, 21660: 8, 1130: 9, 3183: 10, 5236: 9, 11395: 10, 13448: 9, 18581: 9, 20634: 10, 4210: 8, 6263: 10, 14475: 9, 17555: 9, 1131: 9, 3184: 7, 7290: 6, 4211: 8, 10370: 7, 17556: 8, 19609: 7, 1132: 8, 3185: 8, 11397: 10, 13450: 7, 18583: 9, 20636: 7, 10371: 7, 14477: 9, 17557: 8, 21663: 5, 1133: 9, 3186: 8, 7292: 8, 11398: 10, 13451: 10, 4213: 9, 10372: 7, 14478: 9, 17558: 9, 1134: 10, 3187: 10, 9346: 7, 11399: 10, 13452: 7, 15505: 9, 18585: 10, 20638: 9, 4214: 8, 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: 9, 7296: 8, 9349: 10, 11402: 8, 13455: 7, 17561: 10, 2164: 8, 4217: 8, 14482: 8, 19615: 7, 21668: 6, 1138: 10, 3191: 10, 5244: 10, 9350: 9, 11403: 10, 13456: 8, 15509: 9, 17562: 10, 2165: 8, 4218: 9, 14483: 10, 1139: 9, 3192: 10, 5245: 9, 7298: 5, 11404: 8, 17563: 8, 2166: 7, 1140: 9, 3193: 7, 5246: 8, 9352: 8, 11405: 7, 13458: 10, 17564: 10, 16538: 10, 19618: 7, 1141: 9, 3194: 10, 5247: 9, 7300: 8, 11406: 10, 13459: 8, 15512: 9, 20645: 10, 2168: 7, 12433: 10, 1142: 8, 3195: 9, 5248: 8, 9354: 9, 11407: 8, 13460: 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, 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: 8, 17569: 9, 2172: 7, 4225: 10, 12437: 8, 1146: 9, 3199: 7, 13464: 8, 15517: 9, 2173: 8, 4226: 9, 10385: 7, 12438: 10, 19624: 7, 21677: 7, 1147: 9, 3200: 8, 7306: 8, 9359: 9, 13465: 7, 15518: 9, 17571: 9, 2174: 9, 4227: 9, 10386: 6, 12439: 9, 14492: 8, 18598: 10, 1148: 8, 3201: 9, 13466: 10, 15519: 9, 2175: 8, 4228: 8, 10387: 7, 12440: 7, 1149: 9, 3202: 8, 9361: 8, 13467: 10, 15520: 9, 2176: 5, 4229: 9, 12441: 8, 14494: 9, 18600: 9, 21680: 5, 1150: 9, 3203: 8, 9362: 8, 11415: 6, 17574: 9, 19627: 7, 2177: 10, 4230: 8, 1151: 9, 3204: 7, 15522: 7, 2178: 9, 4231: 9, 10390: 6, 21682: 6, 1152: 9, 3205: 10, 7311: 8, 11417: 6, 15523: 8, 2179: 9, 4232: 9, 1153: 9, 3206: 9, 9365: 8, 15524: 9, 19630: 7, 4233: 8, 10392: 6, 14498: 9, 18604: 8, 21684: 9, 1154: 9, 3207: 8, 7313: 7, 11419: 7, 20658: 9, 4234: 10, 18605: 10, 1155: 9, 3208: 10, 9367: 8, 20659: 9, 4235: 8, 10394: 6, 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, 10396: 6, 18608: 8, 20661: 10, 1158: 9, 3211: 9, 7317: 7, 9370: 10, 11423: 9, 17582: 8, 20662: 9, 21689: 7, 1159: 6, 3212: 7, 5265: 9, 15530: 8, 17583: 7, 19636: 9, 10398: 7, 18610: 8, 20663: 9, 1160: 6, 3213: 10, 5266: 9, 7319: 4, 9372: 9, 11425: 5, 15531: 10, 17584: 10, 12452: 8, 14505: 6, 20664: 9, 21691: 7, 1161: 7, 3214: 8, 5267: 9, 15532: 7, 17585: 9, 19638: 9, 10400: 6, 1162: 7, 3215: 10, 5268: 6, 7321: 5, 9374: 7, 11427: 7, 15533: 9, 17586: 8, 14507: 9, 18613: 9, 1163: 9, 3216: 7, 5269: 6, 15534: 9, 17587: 8, 19640: 9, 21693: 8, 10402: 7, 20667: 10, 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, 10404: 6, 18616: 9, 20669: 9, 1166: 9, 3219: 7, 5272: 9, 7325: 10, 9378: 8, 11431: 7, 15537: 10, 14511: 9, 1167: 8, 3220: 10, 5273: 8, 9379: 8, 12459: 9, 18618: 9, 1168: 10, 3221: 8, 5274: 9, 7327: 7, 9380: 9, 11433: 8, 15539: 9, 17592: 8, 10407: 6, 12460: 9, 14513: 8, 18619: 9, 20672: 9, 1169: 10, 3222: 9, 5275: 8, 9381: 9, 15540: 9, 12461: 9, 18620: 8, 20673: 8, 1170: 8, 3223: 8, 5276: 8, 7329: 6, 9382: 9, 11435: 5, 17594: 9, 10409: 5, 12462: 9, 18621: 8, 20674: 8, 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, 12464: 9, 14517: 10, 18623: 8, 20676: 8, 1173: 9, 3226: 10, 9385: 8, 19650: 9, 21703: 7, 12465: 8, 18624: 8, 20677: 8, 1174: 10, 3227: 8, 11439: 9, 15545: 9, 17598: 9, 10413: 9, 18625: 9, 1175: 9, 3228: 10, 15546: 9, 17599: 10, 12467: 7, 18626: 9, 1176: 9, 11441: 5, 15547: 9, 21706: 6, 10415: 9, 20680: 10, 1177: 8, 3230: 8, 7336: 8, 19654: 8, 20681: 8, 1178: 7, 3231: 10, 7337: 8, 11443: 8, 10417: 7, 14523: 7, 18629: 9, 20682: 10, 1179: 8, 3232: 9, 5285: 8, 7338: 10, 15550: 7, 19656: 9, 12471: 8, 18630: 9, 1180: 8, 3233: 7, 7339: 9, 11445: 7, 15551: 10, 12472: 7, 14525: 9, 18631: 8, 1181: 8, 3234: 9, 5287: 6, 7340: 8, 9393: 8, 15552: 9, 12473: 9, 1182: 10, 3235: 9, 7341: 8, 11447: 8, 17606: 9, 2209: 8, 14527: 7, 18633: 9, 1183: 7, 3236: 9, 5289: 9, 7342: 9, 9395: 6, 17607: 9, 21713: 8, 10422: 10, 14528: 7, 18634: 9, 20687: 10, 1184: 9, 3237: 8, 5290: 9, 7343: 7, 11449: 8, 15555: 10, 19661: 8, 10423: 10, 12476: 9, 14529: 8, 18635: 10, 1185: 8, 3238: 9, 5291: 9, 9397: 6, 19662: 8, 12477: 9, 14530: 7, 18636: 8, 1186: 9, 3239: 9, 5292: 9, 7345: 7, 11451: 9, 19663: 7, 21716: 6, 10425: 7, 12478: 10, 14531: 10, 18637: 7, 1187: 9, 3240: 7, 7346: 10, 9399: 7, 15558: 10, 17611: 7, 19664: 7, 6320: 9, 10426: 9, 12479: 10, 18638: 7, 1188: 8, 3241: 9, 7347: 10, 11453: 8, 19665: 7, 21718: 8, 6321: 9, 10427: 8, 12480: 8, 1189: 10, 3242: 8, 7348: 7, 9401: 6, 19666: 10, 6322: 9, 10428: 10, 12481: 9, 20693: 9, 1190: 9, 5296: 8, 7349: 7, 11455: 6, 17614: 7, 10429: 9, 18641: 10, 1191: 9, 3244: 9, 7350: 7, 21721: 5, 10430: 7, 18642: 10, 20695: 10, 1192: 9, 3245: 8, 5298: 9, 7351: 7, 9404: 8, 11457: 7, 17616: 7, 12484: 9, 18643: 10, 1193: 9, 3246: 9, 5299: 9, 7352: 7, 15564: 7, 19670: 10, 12485: 9, 18644: 8, 1194: 8, 3247: 9, 5300: 9, 7353: 9, 11459: 6, 15565: 8, 17618: 9, 21724: 7, 2221: 10, 12486: 9, 18645: 10, 20698: 10, 1195: 8, 3248: 8, 5301: 9, 7354: 7, 9407: 7, 15566: 8, 19672: 9, 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, 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, 6331: 10, 12490: 9, 18649: 10, 1199: 10, 3252: 8, 5305: 9, 7358: 7, 9411: 9, 15570: 7, 17623: 7, 19676: 7, 21729: 7, 6332: 9, 12491: 9, 14544: 9, 1200: 9, 3253: 8, 5306: 9, 7359: 8, 11465: 8, 15571: 10, 17624: 9, 2227: 9, 6333: 9, 12492: 9, 1201: 9, 3254: 8, 5307: 9, 7360: 7, 9413: 10, 15572: 9, 17625: 10, 19678: 5, 21731: 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, 1203: 9, 3256: 7, 7362: 9, 9415: 10, 15574: 8, 17627: 10, 19680: 10, 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: 9, 6338: 8, 8391: 7, 10444: 8, 18656: 9, 20709: 9, 1206: 9, 3259: 10, 5312: 9, 7365: 7, 11471: 6, 17630: 9, 21736: 10, 6339: 8, 8392: 9, 10445: 7, 1207: 9, 3260: 7, 5313: 10, 7366: 8, 9419: 9, 15578: 8, 17631: 8, 19684: 8, 6340: 9, 12499: 8, 18658: 9, 1208: 9, 3261: 8, 5314: 10, 7367: 8, 15579: 7, 17632: 8, 6341: 9, 8394: 9, 12500: 9, 1209: 9, 3262: 7, 5315: 10, 9421: 9, 11474: 8, 17633: 9, 8395: 8, 12501: 6, 18660: 10, 1210: 10, 3263: 7, 5316: 8, 17634: 9, 6343: 7, 8396: 8, 10449: 8, 12502: 6, 18661: 9, 1211: 10, 3264: 10, 5317: 8, 9423: 5, 15582: 7, 21741: 10, 8397: 9, 10450: 9, 12503: 6, 18662: 9, 1212: 9, 3265: 10, 5318: 8, 7371: 8, 11477: 7, 17636: 8, 8398: 6, 10451: 9, 12504: 8, 1213: 10, 3266: 7, 5319: 9, 7372: 9, 9425: 7, 15584: 6, 19690: 10, 21743: 9, 6346: 10, 8399: 8, 12505: 8, 14558: 7, 18664: 9, 20717: 10, 1214: 9, 3267: 8, 5320: 8, 7373: 9, 11479: 7, 15585: 7, 19691: 10, 8400: 8, 10453: 10, 12506: 9, 14559: 8, 1215: 10, 3268: 10, 5321: 8, 7374: 6, 9427: 6, 15586: 8, 19692: 9, 21745: 8, 2242: 8, 10454: 9, 12507: 9, 14560: 9, 18666: 10, 20719: 7, 1216: 10, 5322: 10, 7375: 8, 11481: 8, 15587: 10, 19693: 8, 2243: 8, 10455: 9, 14561: 7, 1217: 8, 3270: 10, 5323: 10, 7376: 9, 9429: 6, 15588: 8, 19694: 10, 21747: 8, 2244: 7, 6350: 8, 10456: 10, 14562: 9, 20721: 9, 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: 10, 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, 1221: 7, 5327: 7, 9433: 9, 15592: 9, 19698: 7, 21751: 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, 2250: 9, 6356: 8, 20727: 10, 1224: 9, 3277: 7, 5330: 9, 19701: 9, 6357: 10, 10463: 8, 12516: 6, 1225: 7, 3278: 9, 5331: 8, 9437: 9, 15596: 8, 17649: 9, 19702: 9, 21755: 10, 2252: 8, 6358: 10, 10464: 9, 18676: 9, 20729: 10, 1226: 9, 5332: 8, 15597: 9, 17650: 9, 19703: 9, 2253: 8, 10465: 8, 12518: 6, 18677: 9, 1227: 9, 3280: 8, 5333: 8, 9439: 7, 11492: 10, 15598: 9, 17651: 8, 19704: 10, 21757: 8, 2254: 9, 10466: 9, 20731: 10, 1228: 10, 3281: 9, 5334: 7, 15599: 9, 17652: 9, 19705: 10, 21758: 9, 2255: 10, 10467: 8, 12520: 8, 1229: 7, 3282: 8, 5335: 8, 9441: 10, 15600: 9, 17653: 9, 19706: 8, 21759: 10, 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, 1231: 9, 3284: 7, 5337: 8, 11496: 9, 15602: 9, 17655: 7, 19708: 9, 8417: 9, 20735: 7, 1232: 6, 3285: 9, 9444: 7, 15603: 9, 17656: 9, 21762: 10, 8418: 8, 12524: 9, 18683: 9, 1233: 9, 3286: 9, 15604: 9, 19710: 9, 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, 1235: 8, 3288: 10, 11500: 10, 15606: 10, 19712: 9, 18686: 9, 20739: 10, 1236: 10, 3289: 8, 19713: 9, 6369: 10, 12528: 9, 14581: 9, 18687: 9, 1237: 8, 3290: 7, 5343: 8, 15608: 9, 19714: 9, 18688: 8, 20741: 7, 1238: 8, 3291: 8, 5344: 6, 19715: 9, 10477: 7, 12530: 8, 14583: 8, 18689: 7, 1239: 9, 3292: 7, 15610: 8, 8425: 7, 14584: 10, 18690: 8, 20743: 10, 1240: 10, 3293: 9, 12532: 9, 18691: 8, 1241: 9, 3294: 8, 15612: 6, 8427: 8, 10480: 8, 16639: 9, 20745: 10, 1242: 7, 3295: 9, 5348: 7, 8428: 7, 10481: 9, 12534: 7, 14587: 8, 1243: 8, 3296: 10, 11508: 10, 15614: 9, 10482: 10, 20747: 8, 1244: 8, 3297: 8, 9456: 8, 15615: 8, 2271: 8, 10483: 7, 12536: 7, 14589: 9, 18695: 7, 1245: 9, 3298: 7, 9457: 7, 15616: 7, 8431: 6, 10484: 8, 14590: 9, 20749: 10, 1246: 9, 3299: 10, 9458: 7, 10485: 8, 12538: 8, 14591: 8, 18697: 9, 1247: 7, 3300: 8, 9459: 7, 17671: 9, 2274: 10, 8433: 8, 10486: 7, 18698: 6, 20751: 9, 1248: 8, 3301: 9, 17672: 9, 10487: 7, 14593: 8, 1249: 7, 3302: 7, 2276: 10, 8435: 8, 14594: 9, 20753: 8, 1250: 8, 11515: 8, 16648: 9, 1251: 8, 11516: 7, 15622: 6, 12543: 9, 16649: 9, 18702: 7, 20755: 10, 1252: 8, 9464: 7, 11517: 7, 12544: 8, 1253: 8, 11518: 8, 8439: 6, 12545: 8, 14598: 7, 16651: 9, 20757: 9, 1254: 10, 5360: 9, 11519: 8, 17678: 9, 19731: 9, 10493: 9, 12546: 9, 16652: 9, 1255: 8, 3308: 9, 5361: 8, 9467: 9, 11520: 10, 6388: 7, 10494: 9, 12547: 9, 14600: 9, 16653: 9, 18706: 6, 20759: 9, 1256: 7, 3309: 8, 5362: 5, 9468: 7, 11521: 8, 15627: 9, 17680: 9, 8442: 6, 10495: 9, 12548: 9, 14601: 9, 16654: 9, 1257: 9, 3310: 9, 5363: 5, 11522: 8, 15628: 9, 6390: 7, 10496: 8, 12549: 9, 16655: 8, 18708: 8, 20761: 9, 1258: 9, 5364: 5, 9470: 9, 11523: 9, 13576: 7, 15629: 8, 17682: 9, 10497: 9, 12550: 8, 14603: 9, 16656: 9, 1259: 10, 3312: 8, 5365: 6, 9471: 10, 11524: 10, 15630: 9, 8445: 7, 10498: 9, 16657: 8, 18710: 7, 20763: 10, 1260: 9, 3313: 9, 5366: 7, 9472: 7, 15631: 9, 19737: 6, 6393: 8, 10499: 9, 16658: 9, 1261: 9, 3314: 7, 5367: 5, 9473: 8, 11526: 6, 13579: 5, 15632: 9, 17685: 9, 6394: 9, 12553: 6, 18712: 6, 20765: 10, 1262: 9, 3315: 8, 5368: 6, 9474: 7, 17686: 9, 19739: 7, 8448: 6, 1263: 8, 5369: 5, 9475: 9, 15634: 7, 17687: 9, 6396: 10, 12555: 7, 16661: 7, 18714: 10, 20767: 10, 1264: 7, 5370: 7, 9476: 10, 11529: 10, 13582: 8, 17688: 9, 19741: 6, 6397: 8, 1265: 10, 3318: 8, 5371: 9, 9477: 9, 17689: 7, 8451: 8, 12557: 7, 16663: 7, 18716: 7, 20769: 10, 1266: 8, 9478: 9, 17690: 9, 19743: 9, 10505: 8, 14611: 9, 16664: 8, 1267: 9, 3320: 9, 5373: 7, 9479: 7, 15638: 10, 17691: 9, 6400: 6, 14612: 9, 16665: 8, 18718: 8, 20771: 10, 1268: 9, 3321: 8, 5374: 5, 15639: 8, 17692: 10, 19745: 5, 8454: 9, 10507: 9, 16666: 8, 1269: 9, 17693: 9, 6402: 6, 12561: 6, 16667: 7, 18720: 8, 20773: 7, 1270: 9, 3323: 7, 15641: 9, 17694: 9, 19747: 9, 2297: 8, 10509: 7, 1271: 9, 5377: 6, 15642: 7, 6404: 5, 8457: 8, 18722: 7, 20775: 9, 1272: 7, 3325: 7, 17696: 8, 19749: 9, 1273: 9, 5379: 6, 9485: 9, 11538: 7, 2300: 8, 18724: 9, 20777: 9, 1274: 9, 3327: 9, 5380: 8, 9486: 9, 13592: 4, 19751: 8, 8460: 5, 12566: 9, 1275: 10, 3328: 8, 9487: 9, 17699: 10, 249: 8, 6408: 10, 12567: 10, 18726: 8, 20779: 8, 1276: 9, 11541: 8, 13594: 6, 19753: 9, 12568: 9, 3330: 9, 9489: 9, 15648: 8, 251: 10, 6410: 9, 8463: 6, 12569: 9, 18728: 8, 20781: 9, 9490: 9, 13596: 7, 19755: 7, 6411: 9, 10517: 7, 12570: 9, 1279: 5, 3332: 9, 7438: 7, 9491: 8, 253: 7, 6412: 10, 8465: 8, 12571: 8, 18730: 6, 20783: 10, 1280: 9, 3333: 6, 5386: 7, 7439: 6, 9492: 8, 13598: 9, 19757: 9, 6413: 9, 12572: 9, 16678: 9, 1281: 7, 9493: 9, 15652: 8, 2308: 8, 6414: 9, 8467: 7, 12573: 9, 18732: 8, 20785: 10, 1282: 10, 9494: 10, 13600: 9, 15653: 8, 19759: 7, 2309: 9, 6415: 10, 12574: 9, 16680: 9, 1283: 9, 9495: 9, 15654: 7, 2310: 8, 6416: 9, 8469: 6, 18734: 8, 20787: 9, 1284: 10, 9496: 8, 13602: 7, 19761: 6, 2311: 9, 6417: 9, 10523: 9, 12576: 8, 1285: 10, 9497: 9, 15656: 8, 17709: 6, 2312: 9, 8471: 5, 10524: 9, 12577: 10, 18736: 5, 20789: 10, 1286: 9, 9498: 9, 13604: 8, 15657: 8, 19763: 9, 6419: 9, 10525: 9, 14631: 8, 1287: 9, 9499: 9, 15658: 9, 17711: 8, 6420: 8, 8473: 6, 10526: 8, 14632: 10, 18738: 8, 20791: 8, 1288: 9, 5394: 9, 9500: 9, 13606: 5, 19765: 8, 10527: 9, 12580: 8, 14633: 9, 16686: 9, 1289: 9, 9501: 9, 17713: 6, 8475: 9, 10528: 9, 12581: 9, 14634: 10, 18740: 8, 1290: 9, 9502: 9, 11555: 10, 13608: 7, 19767: 5, 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, 1292: 8, 3345: 7, 5398: 10, 9504: 7, 13610: 8, 17716: 9, 19769: 8, 12584: 9, 14637: 7, 1293: 7, 4373: 10, 6426: 7, 8479: 8, 12585: 9, 14638: 8, 18744: 9, 20797: 8, 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: 9, 1296: 9, 7455: 7, 13614: 8, 15667: 9, 19773: 7, 6429: 9, 12588: 8, 20800: 8, 1297: 10, 9509: 10, 8483: 7, 12589: 8, 16695: 10, 18748: 10, 1298: 10, 5404: 8, 7457: 10, 13616: 7, 19775: 7, 10537: 6, 14643: 7, 16696: 10, 20802: 10, 1299: 9, 9511: 8, 11564: 8, 4379: 6, 8485: 8, 12591: 7, 16697: 9, 18750: 9, 1300: 9, 5406: 7, 7459: 8, 9512: 8, 13618: 8, 19777: 9, 16698: 9, 20804: 7, 1301: 9, 11566: 10, 15672: 8, 17725: 7, 8487: 8, 10540: 6, 12593: 7, 16699: 10, 18752: 9, 1302: 9, 7461: 8, 9514: 10, 19779: 8, 4382: 9, 10541: 9, 14647: 7, 16700: 9, 20806: 8, 1303: 10, 5409: 9, 11568: 8, 13621: 8, 4383: 8, 10542: 9, 12595: 9, 16701: 9, 18754: 6, 1304: 9, 5410: 9, 7463: 7, 15675: 7, 17728: 6, 19781: 5, 4384: 9, 16702: 10, 20808: 8, 1305: 9, 3358: 8, 11570: 7, 13623: 9, 15676: 8, 17729: 6, 4385: 9, 8491: 7, 10544: 6, 12597: 8, 14650: 9, 16703: 9, 18756: 10, 1306: 9, 7465: 7, 15677: 7, 19783: 8, 4386: 9, 16704: 9, 20810: 9, 5413: 9, 13625: 5, 4387: 8, 10546: 6, 12599: 6, 16705: 9, 18758: 9, 5414: 9, 7467: 6, 19785: 6, 4388: 9, 14653: 10, 16706: 9, 20812: 10, 5415: 9, 9521: 6, 11574: 7, 13627: 7, 17733: 9, 2336: 8, 4389: 9, 10548: 7, 12601: 7, 16707: 9, 18760: 7, 1310: 10, 5416: 9, 11575: 9, 17734: 9, 19787: 9, 4390: 9, 6443: 7, 14655: 7, 16708: 10, 20814: 7, 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: 7, 2339: 9, 4392: 9, 6445: 8, 14657: 9, 20816: 7, 1313: 10, 7472: 6, 11578: 10, 13631: 7, 17737: 9, 2340: 6, 4393: 8, 6446: 6, 10552: 9, 12605: 6, 18764: 8, 1314: 9, 11579: 9, 17738: 8, 19791: 7, 2341: 10, 4394: 9, 6447: 10, 14659: 9, 20818: 9, 1315: 9, 11580: 8, 13633: 7, 17739: 8, 2342: 9, 4395: 8, 6448: 7, 8501: 9, 10554: 6, 12607: 9, 16713: 7, 18766: 8, 1316: 10, 5422: 10, 7475: 5, 9528: 5, 11581: 7, 15687: 9, 17740: 8, 19793: 5, 4396: 8, 6449: 9, 14661: 8, 20820: 7, 1317: 10, 7476: 9, 11582: 8, 13635: 7, 15688: 10, 17741: 9, 4397: 8, 6450: 9, 8503: 9, 10556: 7, 12609: 7, 14662: 9, 16715: 6, 18768: 5, 1318: 9, 7477: 8, 15689: 10, 19795: 8, 292: 9, 2345: 9, 4398: 8, 6451: 9, 14663: 8, 20822: 8, 1319: 10, 7478: 7, 13637: 7, 15690: 7, 293: 10, 2346: 8, 12611: 7, 14664: 9, 18770: 9, 1320: 10, 7479: 9, 9532: 8, 19797: 8, 294: 9, 2347: 9, 4400: 8, 10559: 6, 14665: 9, 20824: 10, 1321: 9, 7480: 8, 13639: 8, 15692: 8, 2348: 8, 4401: 9, 12613: 6, 14666: 9, 16719: 6, 18772: 9, 1322: 9, 7481: 7, 11587: 7, 17746: 7, 19799: 6, 2349: 9, 4402: 8, 10561: 8, 14667: 9, 16720: 10, 20826: 9, 1323: 8, 7482: 7, 13641: 5, 15694: 7, 17747: 10, 2350: 9, 4403: 10, 8509: 6, 12615: 8, 18774: 5, 1324: 10, 7483: 9, 11589: 9, 19801: 8, 2351: 9, 4404: 9, 10563: 6, 14669: 10, 20828: 9, 1325: 7, 7484: 8, 13643: 5, 2352: 8, 12617: 9, 14670: 8, 18776: 7, 1326: 7, 7485: 10, 15697: 8, 19803: 7, 20830: 10, 1327: 10, 13645: 7, 15698: 7, 17751: 8, 2354: 9, 4407: 10, 8513: 8, 10566: 8, 12619: 7, 14672: 9, 18778: 6, 1328: 7, 9540: 5, 11593: 8, 17752: 8, 19805: 5, 2355: 9, 16726: 10, 20832: 10, 1329: 7, 13647: 9, 2356: 9, 4409: 9, 8515: 9, 10568: 7, 12621: 6, 16727: 9, 18780: 8, 1330: 9, 7489: 9, 9542: 8, 15701: 9, 19807: 9, 2357: 9, 4410: 9, 8516: 9, 10569: 10, 14675: 4, 20834: 10, 1331: 9, 13649: 5, 2358: 6, 4411: 9, 10570: 8, 12623: 8, 18782: 8, 1332: 10, 9544: 5, 19809: 7, 2359: 6, 4412: 9, 8518: 10, 10571: 9, 14677: 10, 16730: 8, 20836: 10, 1333: 7, 13651: 4, 15704: 9, 2360: 8, 12625: 8, 18784: 7, 1334: 7, 9546: 9, 19811: 8, 2361: 7, 4414: 9, 8520: 10, 14679: 9, 16732: 9, 20838: 7, 1335: 8, 13653: 8, 15706: 10, 2362: 7, 4415: 8, 12627: 5, 14680: 7, 18786: 8, 1336: 8, 9548: 8, 17760: 7, 19813: 7, 310: 7, 2363: 6, 4416: 10, 8522: 9, 14681: 8, 16734: 6, 20840: 9, 1337: 9, 9549: 9, 13655: 8, 2364: 8, 4417: 8, 12629: 7, 18788: 9, 17762: 10, 19815: 7, 2365: 7, 4418: 10, 8524: 8, 16736: 8, 20842: 8, 1339: 6, 7498: 6, 9551: 8, 13657: 8, 17763: 9, 2366: 8, 4419: 9, 12631: 8, 14684: 8, 18790: 7, 1340: 9, 9552: 9, 17764: 8, 19817: 4, 2367: 10, 8526: 10, 10579: 8, 14685: 7, 16738: 7, 20844: 10, 1341: 9, 7500: 7, 13659: 6, 15712: 8, 17765: 7, 2368: 9, 4421: 10, 8527: 9, 10580: 8, 14686: 7, 16739: 8, 18792: 6, 1342: 9, 15713: 8, 17766: 8, 2369: 9, 4422: 10, 8528: 7, 10581: 8, 14687: 10, 20846: 10, 1343: 10, 7502: 6, 9555: 9, 11608: 8, 13661: 8, 15714: 9, 17767: 8, 19820: 7, 8529: 10, 10582: 9, 12635: 6, 14688: 10, 16741: 8, 18794: 9, 1344: 7, 15715: 9, 4424: 9, 8530: 8, 10583: 9, 12636: 9, 14689: 9, 20848: 7, 1345: 8, 7504: 7, 9557: 9, 11610: 8, 13663: 6, 15716: 8, 2372: 8, 8531: 8, 10584: 9, 12637: 9, 16743: 9, 18796: 8, 1346: 9, 9558: 10, 15717: 9, 19823: 8, 8532: 8, 10585: 8, 12638: 9, 14691: 8, 20850: 7, 1347: 7, 7506: 7, 9559: 8, 11612: 9, 13665: 7, 15718: 7, 4427: 8, 10586: 9, 12639: 8, 14692: 10, 16745: 9, 18798: 6, 1348: 7, 9560: 9, 15719: 7, 2375: 10, 4428: 9, 10587: 9, 12640: 9, 14693: 10, 20852: 8, 1349: 7, 7508: 5, 9561: 9, 11614: 8, 13667: 9, 15720: 10, 19826: 6, 2376: 8, 12641: 9, 14694: 8, 18800: 6, 15721: 10, 17774: 8, 2377: 8, 8536: 8, 14695: 8, 20854: 9, 1351: 7, 5457: 8, 7510: 7, 9563: 10, 11616: 9, 13669: 9, 17775: 9, 2378: 8, 8537: 10, 14696: 10, 16749: 9, 18802: 7, 5458: 8, 17776: 9, 19829: 7, 2379: 8, 12644: 7, 14697: 8, 16750: 9, 20856: 9, 1353: 10, 5459: 8, 7512: 9, 9565: 8, 11618: 7, 13671: 6, 17777: 10, 8539: 10, 10592: 8, 14698: 10, 18804: 7, 5460: 9, 9566: 9, 15725: 8, 17778: 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, 5462: 9, 11621: 10, 15727: 8, 2383: 8, 6489: 8, 12648: 8, 14701: 10, 16754: 9, 20860: 9, 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, 2385: 9, 8544: 8, 10597: 9, 14703: 8, 16756: 8, 20862: 9, 1359: 10, 5465: 9, 7518: 7, 11624: 10, 13677: 9, 15730: 8, 6492: 7, 10598: 7, 14704: 7, 16757: 9, 18810: 8, 5466: 9, 9572: 6, 11625: 8, 15731: 9, 6493: 7, 8546: 7, 10599: 10, 14705: 10, 20864: 10, 1361: 7, 5467: 9, 7520: 6, 11626: 10, 13679: 7, 15732: 10, 17785: 9, 19838: 7, 2388: 7, 6494: 7, 8547: 8, 10600: 10, 14706: 7, 16759: 9, 18812: 8, 5468: 9, 11627: 9, 2389: 10, 6495: 8, 8548: 7, 10601: 7, 14707: 9, 20866: 9, 5469: 9, 7522: 9, 11628: 9, 13681: 7, 17787: 8, 2390: 9, 6496: 8, 8549: 10, 10602: 8, 12655: 9, 14708: 8, 16761: 8, 18814: 7, 11629: 9, 17788: 8, 19841: 7, 2391: 7, 6497: 8, 8550: 8, 10603: 10, 14709: 7, 20868: 9, 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, 2393: 9, 4446: 9, 10605: 7, 20870: 8, 1367: 8, 9579: 9, 13685: 6, 15738: 9, 17791: 9, 19844: 7, 2394: 10, 8553: 8, 10606: 8, 12659: 9, 14712: 8, 16765: 9, 18818: 7, 15739: 8, 17792: 8, 2395: 9, 8554: 9, 10607: 8, 14713: 8, 20872: 10, 1369: 8, 9581: 6, 13687: 7, 15740: 9, 17793: 9, 2396: 9, 6502: 8, 8555: 10, 10608: 9, 12661: 7, 14714: 9, 16767: 9, 18820: 7, 7529: 6, 15741: 8, 17794: 9, 2397: 9, 8556: 9, 20874: 7, 1371: 9, 11636: 9, 13689: 8, 15742: 9, 17795: 8, 2398: 8, 8557: 7, 16769: 9, 18822: 8, 7531: 6, 15743: 9, 17796: 7, 2399: 10, 4452: 8, 8558: 10, 20876: 8, 1373: 8, 11638: 9, 13691: 7, 15744: 10, 17797: 9, 2400: 8, 8559: 10, 10612: 8, 16771: 9, 18824: 9, 15745: 10, 17798: 7, 2401: 9, 8560: 9, 14719: 6, 16772: 8, 20878: 8, 1375: 8, 9587: 5, 11640: 8, 13693: 8, 15746: 8, 17799: 8, 349: 7, 2402: 9, 4455: 7, 8561: 10, 10614: 8, 18826: 8, 17800: 9, 350: 8, 2403: 10, 8562: 7, 14721: 10, 16774: 9, 20880: 10, 1377: 7, 9589: 8, 11642: 7, 13695: 7, 17801: 8, 351: 9, 2404: 9, 10616: 9, 14722: 7, 18828: 9, 15749: 7, 17802: 7, 352: 9, 8564: 9, 10617: 8, 14723: 7, 20882: 7, 1379: 9, 9591: 8, 11644: 8, 13697: 7, 353: 8, 8565: 9, 14724: 7, 18830: 9, 15751: 6, 17804: 9, 354: 7, 14725: 8, 16778: 9, 20884: 8, 1381: 9, 11646: 9, 13699: 7, 17805: 8, 355: 10, 14726: 10, 18832: 7, 9594: 6, 15753: 6, 8568: 7, 10621: 7, 14727: 7, 20886: 10, 1383: 7, 11648: 9, 13701: 6, 17807: 9, 6516: 8, 14728: 7, 16781: 7, 18834: 8, 3437: 9, 5490: 9, 9596: 7, 15755: 6, 8570: 7, 20888: 8, 1385: 9, 5491: 9, 13703: 8, 6518: 7, 8571: 9, 18836: 6, 5492: 8, 15757: 5, 17810: 7, 8572: 9, 10625: 9, 14731: 9, 16784: 9, 20890: 10, 1387: 9, 13705: 8, 8573: 7, 16785: 9, 18838: 5, 9600: 7, 15759: 6, 6521: 7, 8574: 7, 10627: 9, 16786: 8, 20892: 9, 1389: 7, 11654: 9, 13707: 6, 8575: 7, 14734: 8, 16787: 8, 18840: 5, 9602: 7, 15761: 7, 17814: 7, 19867: 10, 8576: 7, 10629: 6, 14735: 8, 16788: 7, 20894: 10, 1391: 8, 5497: 9, 11656: 9, 13709: 8, 17815: 10, 8577: 7, 14736: 10, 16789: 10, 18842: 7, 5498: 9, 9604: 9, 11657: 9, 15763: 6, 17816: 7, 19869: 9, 8578: 9, 14737: 8, 16790: 9, 20896: 10, 1393: 7, 5499: 9, 11658: 8, 13711: 6, 17817: 10, 8579: 7, 12685: 9, 14738: 7, 16791: 7, 18844: 6, 5500: 10, 11659: 9, 15765: 6, 17818: 9, 8580: 8, 12686: 9, 14739: 10, 16792: 9, 20898: 7, 1395: 8, 5501: 10, 11660: 9, 13713: 8, 17819: 8, 8581: 7, 10634: 9, 12687: 9, 14740: 7, 18846: 5, 5502: 10, 9608: 9, 11661: 9, 15767: 6, 8582: 9, 10635: 9, 12688: 9, 14741: 8, 20900: 7, 1397: 7, 5503: 8, 9609: 9, 11662: 8, 13715: 7, 19874: 9, 8583: 9, 10636: 9, 12689: 8, 18848: 4, 5504: 9, 9610: 9, 19875: 9, 8584: 9, 10637: 8, 12690: 9, 20902: 7, 1399: 10, 5505: 10, 9611: 9, 13717: 8, 19876: 9, 8585: 9, 10638: 8, 12691: 9, 18850: 8, 5506: 9, 9612: 9, 11665: 10, 19877: 9, 10639: 8, 12692: 8, 14745: 7, 20904: 7, 1401: 9, 5507: 9, 9613: 9, 13719: 8, 19878: 9, 8587: 10, 12693: 9, 18852: 8, 5508: 6, 9614: 8, 16800: 9, 20906: 8, 1403: 7, 5509: 8, 9615: 8, 11668: 9, 13721: 4, 19880: 10, 16801: 7, 18854: 8, 5510: 7, 11669: 9, 19881: 9, 8590: 10, 12696: 5, 14749: 8, 16802: 7, 20908: 9, 1405: 8, 5511: 9, 9617: 8, 11670: 9, 19882: 9, 16803: 9, 18856: 6, 5512: 10, 19883: 10, 8592: 9, 14751: 9, 16804: 10, 20910: 7, 1407: 10, 5513: 8, 11672: 9, 13725: 8, 8593: 10, 16805: 8, 18858: 4, 5514: 8, 11673: 8, 19885: 9, 4488: 8, 8594: 8, 12700: 7, 20912: 7, 1409: 7, 5515: 8, 9621: 9, 13727: 8, 19886: 9, 4489: 9, 8595: 9, 14754: 9, 16807: 8, 18860: 8, 5516: 8, 9622: 9, 4490: 9, 8596: 9, 12702: 6, 16808: 9, 20914: 10, 1411: 10, 5517: 8, 9623: 9, 17835: 8, 4491: 7, 8597: 9, 14756: 7, 16809: 8, 18862: 10, 5518: 8, 11677: 10, 15783: 9, 17836: 8, 19889: 10, 4492: 8, 8598: 7, 12704: 8, 20916: 9, 1413: 9, 9625: 10, 17837: 10, 4493: 10, 8599: 9, 16811: 8, 18864: 7, 9626: 10, 11679: 9, 15785: 9, 17838: 9, 4494: 8, 8600: 8, 12706: 6, 14759: 6, 16812: 8, 20918: 8, 1415: 9, 9627: 7, 11680: 9, 15786: 9, 17839: 9, 19892: 9, 8601: 10, 14760: 9, 18866: 9, 5522: 8, 9628: 8, 11681: 7, 15787: 9, 17840: 9, 19893: 8, 4496: 6, 12708: 7, 14761: 7, 16814: 8, 20920: 10, 1417: 8, 9629: 9, 11682: 7, 13735: 6, 17841: 10, 19894: 10, 8603: 9, 14762: 9, 16815: 9, 18868: 8, 5524: 7, 9630: 10, 11683: 10, 15789: 9, 17842: 7, 19895: 9, 8604: 8, 10657: 6, 12710: 7, 14763: 9, 16816: 9, 20922: 9, 1419: 9, 3472: 9, 9631: 8, 17843: 8, 19896: 9, 4499: 7, 8605: 9, 16817: 8, 18870: 9, 5526: 10, 9632: 8, 11685: 9, 15791: 9, 17844: 8, 19897: 9, 4500: 8, 8606: 7, 10659: 7, 12712: 7, 14765: 9, 16818: 9, 20924: 9, 1421: 9, 11686: 7, 15792: 9, 19898: 9, 4501: 8, 8607: 10, 14766: 9, 16819: 8, 18872: 10, 5528: 7, 9634: 8, 15793: 9, 17846: 6, 19899: 9, 4502: 9, 8608: 10, 10661: 7, 12714: 7, 14767: 9, 20926: 7, 1423: 10, 9635: 9, 11688: 7, 15794: 7, 19900: 9, 4503: 8, 8609: 7, 18874: 5, 5530: 10, 9636: 9, 11689: 6, 15795: 9, 17848: 6, 19901: 9, 8610: 7, 10663: 5, 12716: 9, 20928: 9, 1425: 10, 9637: 9, 15796: 8, 17849: 6, 8611: 7, 14770: 9, 18876: 10, 11691: 9, 15797: 9, 17850: 6, 8612: 10, 10665: 7, 12718: 4, 20930: 7, 1427: 9, 5533: 10, 19904: 10, 8613: 10, 18878: 7, 11693: 6, 17852: 10, 19905: 8, 12720: 7, 20932: 8, 1429: 7, 19906: 10, 8615: 9, 10668: 9, 14774: 10, 16827: 9, 18880: 4, 11695: 6, 15801: 8, 17854: 9, 12722: 5, 20934: 9, 1431: 10, 15802: 8, 10670: 8, 16829: 9, 18882: 7, 11697: 7, 6565: 7, 12724: 10, 14777: 10, 20936: 10, 1433: 9, 15804: 9, 17857: 9, 6566: 9, 8619: 9, 10672: 6, 18884: 7, 5540: 10, 17858: 10, 6567: 8, 8620: 8, 12726: 6, 14779: 8, 20938: 7, 1435: 10, 9647: 9, 11700: 6, 17859: 9, 6568: 7, 10674: 6, 18886: 7, 17860: 9, 6569: 9, 8622: 10, 14781: 10, 20940: 9, 1437: 10, 11702: 6, 17861: 10, 19914: 9, 6570: 8, 8623: 8, 10676: 6, 18888: 6, 9650: 9, 15809: 7, 17862: 9, 19915: 9, 6571: 9, 12730: 5, 16836: 8, 20942: 7, 1439: 9, 9651: 9, 11704: 7, 17863: 8, 6572: 9, 10678: 6, 14784: 9, 16837: 8, 18890: 6, 17864: 10, 19917: 9, 6573: 9, 12732: 7, 14785: 9, 20944: 9, 1441: 8, 9653: 8, 17865: 10, 6574: 9, 8627: 10, 10680: 7, 14786: 9, 18892: 8, 9654: 9, 17866: 9, 6575: 9, 12734: 9, 14787: 9, 20946: 9, 1443: 9, 9655: 9, 17867: 9, 19920: 9, 6576: 9, 8629: 8, 10682: 7, 14788: 9, 18894: 8, 5550: 8, 9656: 8, 11709: 7, 19921: 9, 6577: 7, 8630: 8, 12736: 8, 14789: 8, 16842: 9, 20948: 9, 1445: 8, 5551: 9, 9657: 9, 11710: 7, 6578: 9, 8631: 7, 10684: 6, 14790: 9, 16843: 10, 18896: 5, 9658: 9, 11711: 9, 19923: 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, 6580: 9, 8633: 7, 10686: 5, 14792: 9, 16845: 10, 18898: 6, 5554: 8, 9660: 8, 11713: 8, 19925: 9, 6581: 9, 12740: 6, 14793: 9, 16846: 10, 20952: 8, 1449: 10, 5555: 9, 11714: 10, 19926: 9, 8635: 10, 10688: 9, 16847: 8, 18900: 7, 1450: 9, 5556: 9, 11715: 9, 15821: 7, 8636: 10, 12742: 9, 16848: 8, 20954: 10, 11716: 8, 19928: 10, 8637: 7, 10690: 7, 16849: 10, 18902: 8, 1452: 8, 5558: 9, 9664: 6, 11717: 9, 17876: 10, 12744: 6, 20956: 7, 3506: 9, 5559: 9, 9665: 5, 11718: 7, 19930: 9, 8639: 7, 10692: 7, 16851: 9, 18904: 8, 1454: 9, 5560: 9, 11719: 8, 17878: 10, 19931: 9, 8640: 8, 12746: 7, 16852: 9, 20958: 10, 5561: 7, 9667: 7, 13773: 8, 19932: 10, 6588: 10, 8641: 8, 10694: 7, 18906: 9, 1456: 8, 5562: 9, 15827: 9, 8642: 8, 12748: 7, 16854: 9, 20960: 9, 3510: 9, 5563: 9, 11722: 8, 17881: 8, 19934: 8, 8643: 10, 10696: 6, 18908: 6, 1458: 7, 5564: 9, 9670: 10, 13776: 5, 15829: 9, 8644: 8, 12750: 6, 16856: 9, 20962: 9, 5565: 7, 15830: 9, 19936: 7, 8645: 9, 10698: 6, 18910: 9, 1460: 10, 5566: 9, 11725: 9, 15831: 10, 17884: 6, 8646: 7, 12752: 6, 20964: 9, 5567: 9, 9673: 7, 13779: 8, 15832: 8, 19938: 10, 8647: 8, 10700: 6, 18912: 7, 1462: 8, 11727: 7, 15833: 9, 17886: 7, 8648: 9, 12754: 7, 16860: 8, 20966: 10, 15834: 9, 17887: 10, 19940: 9, 6596: 7, 8649: 9, 10702: 7, 18914: 6, 1464: 7, 9676: 9, 11729: 8, 13782: 6, 15835: 8, 17888: 9, 6597: 10, 8650: 9, 12756: 6, 16862: 7, 20968: 7, 15836: 10, 17889: 7, 19942: 7, 6598: 7, 8651: 8, 10704: 8, 18916: 4, 1466: 7, 15837: 9, 17890: 10, 6599: 8, 8652: 7, 12758: 5, 16864: 9, 20970: 10, 13785: 6, 15838: 8, 17891: 7, 19944: 8, 8653: 7, 10706: 4, 18918: 8, 1468: 9, 5574: 10, 9680: 8, 17892: 10, 8654: 10, 12760: 8, 16866: 8, 20972: 7, 17893: 9, 8655: 9, 10708: 7, 14814: 9, 18920: 6, 1470: 8, 5576: 10, 13788: 8, 17894: 8, 19947: 7, 8656: 10, 12762: 7, 14815: 7, 20974: 10, 6604: 8, 8657: 9, 14816: 9, 16869: 6, 18922: 7, 1472: 10, 9684: 10, 11737: 8, 6605: 7, 8658: 9, 12764: 7, 14817: 7, 5579: 8, 9685: 7, 13791: 6, 15844: 9, 19950: 9, 6606: 8, 8659: 8, 14818: 7, 18924: 8, 20977: 7, 1474: 10, 5580: 9, 9686: 9, 11739: 8, 6607: 7, 8660: 9, 12766: 7, 14819: 9, 5581: 8, 9687: 10, 15846: 8, 8661: 7, 10714: 9, 14820: 7, 16873: 8, 18926: 6, 1476: 10, 5582: 9, 9688: 7, 15847: 10, 17900: 9, 19953: 8, 6609: 7, 8662: 10, 10715: 9, 12768: 6, 14821: 10, 16874: 8, 20980: 9, 5583: 9, 9689: 10, 15848: 7, 8663: 9, 14822: 7, 18928: 8, 1478: 7, 3531: 9, 5584: 9, 9690: 10, 15849: 7, 19955: 9, 6611: 8, 8664: 10, 10717: 6, 12770: 7, 14823: 7, 16876: 8, 9691: 9, 13797: 6, 15850: 10, 19956: 9, 8665: 7, 10718: 9, 14824: 7, 18930: 6, 20983: 10, 1480: 9, 9692: 7, 15851: 7, 6613: 8, 8666: 9, 10719: 7, 12772: 8, 14825: 10, 16878: 5, 3534: 9, 9693: 9, 11746: 9, 15852: 7, 19958: 6, 6614: 7, 8667: 9, 10720: 9, 16879: 7, 18932: 9, 1482: 9, 9694: 9, 13800: 7, 15853: 10, 6615: 9, 8668: 9, 10721: 10, 12774: 8, 20986: 10, 9695: 9, 15854: 7, 19960: 7, 8669: 9, 10722: 7, 12775: 10, 16881: 7, 18934: 6, 1484: 10, 5590: 9, 9696: 10, 6617: 7, 10723: 10, 12776: 9, 14829: 8, 16882: 6, 5591: 9, 9697: 9, 13803: 6, 19962: 7, 10724: 9, 12777: 8, 16883: 7, 18936: 9, 20989: 7, 1486: 7, 5592: 9, 6619: 8, 8672: 10, 10725: 9, 12778: 9, 16884: 7, 19964: 4, 6620: 8, 8673: 10, 10726: 7, 12779: 8, 14832: 7, 18938: 7, 1488: 8, 5594: 8, 13806: 5, 6621: 8, 10727: 7, 12780: 8, 14833: 10, 20992: 8, 15860: 9, 19966: 8, 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, 6624: 10, 10730: 9, 12783: 10, 14836: 10, 18942: 7, 20995: 10, 1492: 8, 15863: 8, 6625: 9, 12784: 7, 14837: 7, 9705: 7, 17917: 7, 19970: 7, 6626: 9, 12785: 7, 14838: 9, 18944: 7, 1494: 9, 6627: 10, 12786: 7, 14839: 10, 20998: 10, 9707: 8, 15866: 7, 19972: 7, 14840: 9, 16893: 6, 18946: 4, 1496: 9, 3549: 8, 11761: 7, 15867: 9, 17920: 7, 6629: 10, 14841: 9, 16894: 10, 13815: 7, 15868: 7, 17921: 8, 19974: 7, 6630: 9, 14842: 7, 16895: 8, 18948: 7, 21001: 7, 1498: 8, 15869: 8, 17922: 7, 6631: 9, 10737: 9, 12790: 6, 14843: 9, 16896: 9, 9711: 7, 11764: 7, 17923: 7, 19976: 4, 6632: 9, 10738: 8, 14844: 10, 16897: 9, 18950: 8, 1500: 7, 9712: 7, 13818: 5, 6633: 8, 10739: 10, 12792: 5, 16898: 7, 21004: 9, 9713: 8, 15872: 10, 17925: 8, 19978: 6, 6634: 8, 10740: 9, 16899: 8, 18952: 6, 1502: 8, 7661: 8, 9714: 8, 11767: 6, 15873: 7, 17926: 9, 6635: 7, 10741: 7, 12794: 8, 16900: 10, 7662: 8, 9715: 8, 13821: 6, 15874: 9, 17927: 7, 19980: 4, 6636: 7, 10742: 7, 16901: 7, 18954: 8, 21007: 9, 1504: 9, 7663: 8, 9716: 10, 15875: 7, 17928: 9, 6637: 10, 12796: 8, 16902: 10, 3558: 9, 7664: 8, 9717: 7, 11770: 7, 15876: 7, 17929: 9, 19982: 7, 6638: 8, 16903: 7, 18956: 7, 7665: 8, 9718: 9, 13824: 6, 15877: 7, 17930: 10, 10745: 9, 12798: 8, 16904: 8, 21010: 10, 7666: 10, 9719: 9, 15878: 9, 17931: 9, 19984: 7, 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, 7668: 8, 9721: 10, 15880: 9, 19986: 7, 483: 9, 6642: 9, 16907: 7, 18960: 5, 21013: 10, 1510: 9, 7669: 9, 9722: 7, 13828: 9, 15881: 9, 484: 5, 6643: 8, 12802: 9, 14855: 5, 16908: 10, 7670: 8, 9723: 9, 11776: 7, 15882: 9, 19988: 8, 485: 7, 6644: 8, 10750: 6, 16909: 8, 18962: 7, 1512: 8, 3565: 8, 7671: 8, 9724: 8, 13830: 8, 15883: 7, 17936: 9, 486: 5, 10751: 9, 12804: 7, 16910: 9, 21016: 9, 3566: 9, 7672: 10, 9725: 8, 19990: 5, 487: 7, 6646: 9, 14858: 9, 16911: 8, 18964: 7, 1514: 10, 3567: 8, 5620: 10, 7673: 10, 11779: 6, 15885: 9, 17938: 9, 488: 10, 6647: 8, 12806: 8, 16912: 9, 21018: 8, 3568: 9, 5621: 8, 7674: 10, 9727: 8, 19992: 5, 489: 7, 10754: 7, 14860: 7, 16913: 8, 18966: 9, 21019: 9, 1516: 8, 3569: 9, 5622: 9, 7675: 9, 9728: 9, 12808: 5, 14861: 7, 21020: 9, 3570: 7, 5623: 9, 7676: 9, 9729: 9, 11782: 7, 13835: 8, 15888: 10, 19994: 9, 491: 5, 6650: 9, 10756: 9, 16915: 10, 21021: 9, 1518: 7, 3571: 7, 5624: 9, 7677: 7, 9730: 9, 492: 6, 6651: 8, 12810: 5, 16916: 9, 18969: 9, 21022: 9, 3572: 9, 5625: 8, 7678: 7, 19996: 6, 493: 5, 6652: 7, 10758: 10, 14864: 10, 21023: 9, 1520: 7, 5626: 9, 7679: 7, 11785: 7, 15891: 7, 494: 8, 6653: 9, 12812: 6, 16918: 8, 21024: 9, 7680: 8, 19998: 6, 495: 6, 6654: 9, 16919: 7, 18972: 7, 21025: 9, 1522: 7, 15893: 9, 496: 5, 4602: 9, 6655: 9, 10761: 7, 12814: 6, 14867: 8, 16920: 7, 21026: 8, 5629: 9, 9735: 8, 11788: 6, 15894: 9, 20000: 7, 497: 5, 6656: 9, 10762: 9, 14868: 8, 16921: 9, 21027: 9, 1524: 10, 5630: 8, 7683: 7, 15895: 7, 17948: 7, 498: 5, 6657: 10, 10763: 9, 12816: 8, 14869: 8, 18975: 7, 7684: 7, 499: 9, 6658: 8, 10764: 8, 16923: 9, 1526: 8, 5632: 9, 7685: 7, 11791: 7, 15897: 7, 17950: 10, 20003: 7, 500: 9, 6659: 8, 10765: 9, 12818: 9, 14871: 7, 5633: 10, 7686: 9, 15898: 7, 501: 7, 10766: 9, 14872: 9, 18978: 6, 1528: 10, 7687: 8, 9740: 7, 15899: 8, 17952: 9, 20005: 6, 502: 8, 10767: 9, 14873: 7, 7688: 7, 11794: 6, 15900: 10, 503: 10, 12821: 6, 14874: 9, 1530: 9, 7689: 7, 15901: 9, 20007: 6, 504: 8, 14875: 8, 18981: 8, 5637: 9, 7690: 10, 9743: 8, 15902: 8, 505: 7, 12823: 10, 14876: 7, 16929: 7, 1532: 7, 5638: 8, 7691: 7, 11797: 9, 15903: 9, 17956: 10, 20009: 7, 506: 9, 7692: 9, 9745: 9, 507: 7, 12825: 6, 14878: 8, 16931: 9, 18984: 7, 21037: 10, 1534: 9, 5640: 7, 7693: 7, 17958: 9, 20011: 8, 508: 9, 5641: 10, 7694: 8, 9747: 7, 11800: 5, 15906: 7, 17959: 9, 509: 7, 10774: 9, 12827: 7, 14880: 9, 1536: 7, 7695: 10, 9748: 8, 13854: 5, 17960: 9, 20013: 8, 510: 7, 18987: 7, 5643: 8, 7696: 8, 9749: 9, 17961: 10, 12829: 7, 14882: 9, 16935: 9, 21041: 9, 1538: 8, 5644: 9, 7697: 8, 9750: 9, 11803: 7, 13856: 8, 15909: 8, 17962: 8, 20015: 9, 14883: 9, 16936: 9, 5645: 9, 7698: 9, 9751: 9, 6672: 9, 10778: 9, 12831: 6, 14884: 9, 16937: 7, 18990: 8, 1540: 7, 5646: 9, 7699: 10, 9752: 9, 13858: 9, 17964: 10, 6673: 9, 10779: 9, 14885: 8, 16938: 10, 21044: 10, 5647: 9, 7700: 8, 9753: 9, 11806: 8, 17965: 8, 10780: 10, 12833: 9, 14886: 8, 16939: 9, 1542: 8, 7701: 7, 9754: 8, 13860: 9, 17966: 10, 20019: 8, 8728: 7, 10781: 9, 14887: 9, 18993: 9, 21046: 7, 5649: 9, 7702: 9, 17967: 9, 2570: 10, 6676: 9, 8729: 10, 10782: 8, 12835: 8, 14888: 9, 16941: 7, 21047: 9, 1544: 9, 5650: 9, 11809: 7, 13862: 7, 17968: 9, 20021: 8, 6677: 8, 8730: 8, 10783: 9, 21048: 10, 5651: 9, 6678: 9, 8731: 8, 12837: 9, 14890: 8, 16943: 7, 18996: 8, 21049: 10, 1546: 10, 7705: 9, 13864: 7, 6679: 8, 8732: 9, 14891: 8, 21050: 8, 7706: 8, 11812: 6, 15918: 9, 6680: 9, 8733: 7, 10786: 9, 12839: 9, 14892: 9, 16945: 9, 21051: 9, 1548: 9, 7707: 8, 13866: 6, 15919: 9, 17972: 9, 20025: 8, 6681: 9, 10787: 9, 16946: 8, 18999: 9, 7708: 9, 15920: 8, 20026: 9, 6682: 9, 8735: 10, 10788: 8, 12841: 7, 16947: 9, 21053: 10, 523: 9, 7709: 9, 9762: 10, 11815: 7, 13868: 9, 15921: 9, 17974: 9, 20027: 8, 1550: 9, 6683: 8, 10789: 9, 16948: 10, 7710: 9, 15922: 9, 20028: 7, 8737: 9, 12843: 6, 14896: 8, 16949: 8, 19002: 7, 7711: 7, 13870: 7, 15923: 8, 20029: 7, 1552: 7, 10791: 8, 16950: 9, 21056: 9, 7712: 9, 9765: 10, 11818: 8, 15924: 8, 17977: 9, 20030: 10, 10792: 9, 12845: 6, 16951: 7, 7713: 9, 13872: 5, 15925: 9, 1554: 7, 2581: 9, 10793: 8, 16952: 8, 19005: 7, 7714: 8, 15926: 9, 17979: 9, 10794: 6, 12847: 8, 14900: 7, 16953: 9, 21059: 10, 9768: 8, 11821: 6, 13874: 7, 15927: 9, 1556: 9, 16954: 7, 21060: 8, 17981: 9, 6690: 7, 10796: 9, 12849: 9, 14902: 10, 19008: 7, 21061: 9, 7717: 7, 13876: 7, 15929: 7, 1558: 7, 16956: 9, 21062: 8, 7718: 9, 9771: 8, 11824: 9, 15930: 9, 12851: 7, 14904: 10, 16957: 8, 21063: 10, 7719: 9, 13878: 6, 15931: 8, 1560: 8, 10799: 7, 14905: 10, 16958: 8, 19011: 8, 21064: 8, 7720: 7, 15932: 8, 6694: 10, 8747: 8, 12853: 6, 14906: 8, 16959: 10, 21065: 10, 9774: 10, 11827: 6, 13880: 8, 15933: 9, 1562: 10, 6695: 9, 8748: 9, 21066: 8, 20040: 8, 6696: 10, 8749: 9, 10802: 6, 12855: 4, 14908: 7, 19014: 8, 9776: 10, 13882: 6, 15935: 8, 17988: 10, 20041: 7, 1564: 8, 6697: 9, 8750: 10, 14909: 8, 16962: 8, 21068: 7, 11830: 7, 15936: 7, 17989: 10, 20042: 8, 6698: 7, 12857: 9, 14910: 9, 19016: 8, 21069: 7, 2592: 9, 9778: 8, 13884: 7, 15937: 9, 17990: 9, 20043: 9, 1566: 8, 6699: 7, 8752: 9, 10805: 6, 14911: 10, 19017: 6, 2593: 9, 15938: 8, 17991: 9, 20044: 8, 12859: 5, 14912: 10, 21071: 8, 2594: 6, 9780: 6, 11833: 6, 13886: 7, 15939: 8, 17992: 10, 20045: 7, 1568: 10, 14913: 10, 16966: 7, 19019: 7, 21072: 8, 2595: 6, 15940: 9, 20046: 9, 8755: 9, 10808: 6, 12861: 7, 14914: 8, 16967: 10, 21073: 9, 543: 10, 9782: 8, 13888: 7, 17994: 8, 1570: 7, 14915: 8, 19021: 6, 21074: 10, 544: 9, 2597: 9, 11836: 8, 17995: 9, 20048: 8, 6704: 8, 12863: 7, 14916: 10, 16969: 9, 21075: 7, 2598: 8, 9784: 4, 11837: 8, 13890: 7, 20049: 9, 1572: 7, 8758: 8, 10811: 5, 21076: 7, 11838: 8, 17997: 9, 20050: 9, 8759: 8, 12865: 9, 21077: 10, 9786: 7, 11839: 9, 13892: 5, 17998: 9, 20051: 7, 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: 10, 12869: 5, 14922: 9, 21081: 8, 9790: 8, 11843: 7, 13896: 9, 18002: 9, 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, 9792: 9, 11845: 10, 13898: 7, 1580: 10, 5686: 10, 16978: 7, 21084: 7, 11846: 7, 13899: 9, 20058: 10, 5687: 7, 10820: 8, 12873: 9, 16979: 10, 21085: 10, 9794: 9, 11847: 9, 13900: 9, 15953: 9, 1582: 7, 16980: 7, 21086: 9, 11848: 7, 13901: 7, 15954: 8, 10822: 9, 16981: 8, 19034: 9, 21087: 7, 6716: 10, 9796: 9, 11849: 10, 13902: 7, 15955: 8, 20061: 9, 1584: 9, 12876: 6, 14929: 10, 16982: 8, 19035: 8, 21088: 10, 11850: 10, 15956: 8, 18009: 9, 10824: 9, 14930: 9, 16983: 10, 21089: 9, 9798: 6, 11851: 8, 13904: 10, 15957: 10, 1586: 10, 5692: 8, 14931: 9, 16984: 9, 19037: 9, 21090: 10, 6719: 9, 11852: 10, 15958: 8, 20064: 9, 5693: 9, 10826: 9, 12879: 8, 14932: 9, 16985: 7, 19038: 9, 21091: 10, 6720: 8, 9800: 6, 13906: 6, 15959: 8, 20065: 8, 1588: 10, 5694: 9, 14933: 9, 16986: 8, 19039: 9, 21092: 7, 6721: 8, 13907: 10, 15960: 10, 5695: 9, 10828: 5, 14934: 9, 16987: 8, 19040: 9, 21093: 9, 6722: 7, 9802: 9, 13908: 7, 15961: 7, 20067: 10, 1590: 9, 5696: 9, 12882: 5, 14935: 9, 16988: 7, 19041: 10, 21094: 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, 1592: 8, 21096: 7, 6725: 8, 11858: 8, 13911: 9, 18017: 9, 20070: 8, 10832: 8, 12885: 6, 19044: 9, 21097: 9, 13912: 8, 15965: 9, 18018: 9, 20071: 10, 1594: 10, 10833: 9, 19045: 9, 21098: 7, 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, 1596: 9, 10835: 9, 12888: 7, 14941: 9, 19047: 8, 21100: 9, 8782: 10, 9809: 10, 13915: 8, 15968: 9, 18021: 10, 20074: 9, 10836: 8, 16995: 9, 19048: 9, 21101: 9, 13916: 10, 15969: 7, 18022: 9, 20075: 9, 1598: 8, 10837: 8, 21102: 9, 6731: 8, 8784: 9, 13917: 8, 15970: 9, 18023: 10, 20076: 9, 10838: 7, 12891: 6, 21103: 7, 8785: 9, 9812: 9, 13918: 9, 15971: 9, 20077: 10, 1600: 10, 10839: 8, 21104: 8, 6733: 8, 8786: 8, 13919: 8, 15972: 9, 18025: 9, 20078: 9, 10840: 8, 19052: 9, 21105: 7, 8787: 10, 13920: 9, 15973: 9, 18026: 10, 20079: 9, 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, 577: 8, 8789: 10, 11869: 8, 13922: 7, 20081: 8, 1604: 7, 9816: 10, 12896: 8, 14949: 10, 17002: 9, 21108: 8, 578: 9, 6737: 10, 13923: 10, 20082: 10, 14950: 9, 17003: 9, 21109: 8, 579: 9, 8791: 10, 13924: 9, 18030: 8, 20083: 9, 1606: 7, 7765: 9, 9818: 10, 10845: 6, 12898: 7, 14951: 8, 17004: 9, 21110: 7, 580: 8, 6739: 9, 8792: 7, 11872: 6, 7766: 9, 14952: 8, 17005: 10, 21111: 8, 581: 10, 8793: 8, 11873: 7, 13926: 5, 18032: 10, 20085: 9, 1608: 9, 9820: 6, 12900: 9, 14953: 8, 17006: 8, 582: 9, 6741: 7, 8794: 7, 10847: 6, 11874: 7, 7768: 8, 14954: 10, 17007: 9, 19060: 9, 583: 9, 8795: 10, 10848: 10, 11875: 10, 13928: 7, 1610: 7, 7769: 9, 9822: 8, 12902: 8, 14955: 7, 17008: 6, 6743: 10, 8796: 10, 10849: 9, 11876: 10, 15982: 6, 18035: 7, 7770: 7, 14956: 8, 17009: 9, 8797: 7, 10850: 9, 11877: 10, 13930: 4, 1612: 8, 7771: 9, 12904: 7, 14957: 10, 17010: 9, 19063: 10, 6745: 8, 8798: 10, 10851: 9, 11878: 7, 18037: 9, 7772: 8, 8799: 9, 10852: 8, 13932: 6, 1614: 8, 7773: 8, 11879: 8, 12906: 6, 14959: 8, 6747: 8, 8800: 7, 10853: 7, 15986: 9, 18039: 8, 11880: 8, 14960: 8, 19066: 8, 8801: 7, 10854: 8, 13934: 5, 1616: 9, 11881: 9, 12908: 5, 14961: 9, 17014: 10, 19067: 9, 21120: 9, 8802: 9, 10855: 7, 18041: 6, 11882: 7, 21121: 8, 6750: 8, 8803: 9, 10856: 10, 13936: 6, 1618: 9, 11883: 9, 19069: 8, 21122: 8, 8804: 7, 10857: 10, 18043: 7, 9831: 10, 12911: 8, 19070: 10, 21123: 9, 6752: 7, 8805: 10, 10858: 9, 13938: 7, 1620: 8, 17018: 8, 19071: 7, 10859: 9, 9833: 7, 17019: 9, 19072: 9, 8807: 8, 10860: 7, 13940: 9, 20099: 9, 1622: 9, 14967: 9, 19073: 9, 6755: 9, 10861: 10, 12914: 9, 20100: 9, 9835: 7, 17021: 9, 19074: 8, 6756: 10, 10862: 9, 12915: 8, 13942: 7, 20101: 10, 1624: 7, 9836: 9, 11889: 6, 14969: 9, 19075: 7, 6757: 10, 10863: 8, 12916: 9, 20102: 9, 6758: 7, 10864: 10, 13944: 7, 20103: 9, 1626: 8, 9838: 9, 14971: 7, 6759: 9, 10865: 7, 20104: 9, 13945: 10, 6760: 7, 8813: 10, 12919: 8, 20105: 9, 13946: 10, 19079: 10, 12920: 9, 20106: 9, 13947: 7, 17027: 9, 8815: 9, 12921: 8, 20107: 9, 13948: 8, 17028: 7, 19081: 9, 8816: 9, 12922: 8, 20108: 9, 9843: 8, 17029: 7, 12923: 9, 9844: 8, 13950: 6, 14977: 9, 17030: 9, 21136: 9, 12924: 7, 20110: 7, 9845: 7, 19084: 9, 6766: 5, 8819: 7, 10872: 7, 12925: 8, 14978: 9, 16005: 8, 9846: 10, 13952: 5, 17032: 10, 19085: 9, 10873: 10, 12926: 9, 14979: 9, 16006: 7, 9847: 7, 13953: 8, 17033: 10, 10874: 10, 12927: 8, 14980: 8, 16007: 9, 1636: 7, 5742: 7, 9848: 8, 13954: 9, 19087: 8, 21140: 10, 6769: 5, 10875: 9, 12928: 7, 14981: 7, 16008: 7, 9849: 7, 13955: 10, 17035: 10, 611: 7, 10876: 9, 12929: 7, 14982: 9, 16009: 7, 1638: 8, 5744: 8, 9850: 7, 13956: 10, 17036: 7, 19089: 9, 21142: 8, 8824: 7, 10877: 8, 12930: 9, 14983: 9, 16010: 9, 5745: 8, 9851: 10, 11904: 9, 13957: 10, 17037: 8, 6772: 5, 10878: 7, 12931: 9, 14984: 9, 18064: 8, 1640: 8, 5746: 8, 9852: 7, 13958: 10, 17038: 8, 21144: 7, 10879: 9, 12932: 9, 20118: 10, 5747: 8, 9853: 9, 13959: 9, 16012: 8, 17039: 10, 8827: 6, 10880: 8, 12933: 8, 1642: 8, 5748: 8, 9854: 9, 16013: 7, 17040: 9, 21146: 9, 10881: 8, 12934: 9, 14987: 9, 5749: 8, 9855: 7, 13961: 7, 17041: 10, 8829: 7, 12935: 9, 14988: 8, 20121: 9, 1644: 9, 5750: 8, 9856: 9, 17042: 10, 21148: 10, 6777: 6, 10883: 8, 12936: 8, 14989: 8, 9857: 8, 13963: 8, 16016: 10, 17043: 10, 19096: 7, 619: 10, 8831: 7, 10884: 10, 12937: 7, 14990: 8, 1646: 7, 9858: 9, 19097: 7, 21150: 7, 620: 10, 10885: 7, 12938: 8, 14991: 8, 17044: 8, 3700: 9, 6780: 5, 10886: 8, 12939: 8, 14992: 8, 17045: 10, 1648: 8, 3701: 8, 21152: 10, 10887: 10, 14993: 7, 17046: 10, 16020: 7, 10888: 9, 14994: 9, 17047: 8, 1650: 10, 9862: 7, 19101: 9, 21154: 8, 6783: 7, 10889: 7, 12942: 9, 14995: 9, 17048: 9, 3704: 10, 11916: 10, 16022: 9, 10890: 10, 14996: 9, 17049: 8, 20129: 8, 1652: 8, 3705: 9, 21156: 7, 6785: 9, 10891: 10, 12944: 7, 14997: 9, 17050: 7, 20130: 9, 3706: 9, 9865: 10, 16024: 8, 627: 7, 10892: 7, 14998: 9, 17051: 7, 20131: 9, 1654: 9, 3707: 9, 9866: 9, 16025: 9, 21158: 10, 6787: 7, 8840: 6, 12946: 9, 17052: 10, 3708: 10, 9867: 8, 13973: 9, 18079: 7, 10894: 8, 20133: 9, 1656: 8, 3709: 10, 9868: 9, 19107: 9, 21160: 7, 630: 9, 6789: 5, 10895: 7, 12948: 9, 3710: 9, 9869: 9, 13975: 9, 16028: 10, 18081: 9, 19108: 7, 631: 7, 8843: 6, 10896: 8, 20135: 9, 1658: 9, 3711: 10, 9870: 7, 11923: 8, 13976: 10, 21162: 8, 632: 8, 6791: 9, 10897: 10, 12950: 10, 20136: 9, 3712: 10, 9871: 8, 13977: 7, 18083: 7, 633: 7, 10898: 9, 20137: 8, 1660: 8, 3713: 10, 11925: 9, 13978: 9, 21164: 9, 634: 9, 6793: 6, 8846: 8, 12952: 9, 20138: 9, 3714: 9, 9873: 8, 13979: 8, 18085: 9, 635: 9, 19112: 9, 20139: 9, 1662: 9, 3715: 9, 9874: 9, 11927: 9, 13980: 9, 18086: 10, 21166: 9, 636: 8, 6795: 6, 8848: 6, 12954: 7, 17060: 8, 19113: 10, 20140: 9, 3716: 8, 13981: 9, 637: 9, 17061: 8, 19114: 9, 20141: 7, 1664: 8, 3717: 8, 13982: 7, 18088: 9, 21168: 10, 638: 8, 6797: 9, 8850: 10, 10903: 7, 12956: 10, 15009: 7, 17062: 8, 19115: 9, 20142: 9, 3718: 10, 13983: 9, 16036: 5, 17063: 8, 19116: 10, 1666: 8, 3719: 9, 11931: 8, 13984: 8, 21170: 9, 6799: 9, 8852: 9, 12958: 8, 17064: 9, 3720: 10, 9879: 9, 11932: 8, 13985: 7, 16038: 6, 15012: 6, 17065: 8, 19118: 10, 1668: 7, 3721: 8, 11933: 8, 13986: 7, 18092: 6, 21172: 7, 6801: 8, 8854: 6, 12960: 8, 17066: 8, 19119: 7, 3722: 9, 9881: 9, 11934: 8, 13987: 9, 16040: 9, 18093: 8, 15014: 9, 17067: 9, 19120: 8, 1670: 8, 3723: 9, 7829: 6, 9882: 9, 11935: 7, 13988: 9, 20147: 9, 21174: 8, 4750: 7, 6803: 5, 8856: 7, 10909: 9, 12962: 8, 15015: 10, 17068: 9, 19121: 8, 3724: 8, 9883: 9, 11936: 9, 13989: 7, 16042: 8, 645: 10, 10910: 8, 1672: 7, 9884: 9, 13990: 7, 20149: 8, 6805: 10, 8858: 7, 10911: 9, 12964: 9, 21176: 8, 3726: 9, 13991: 9, 16044: 9, 18097: 8, 4753: 9, 10912: 8, 1674: 10, 3727: 9, 9886: 10, 11939: 8, 13992: 9, 18098: 9, 20151: 9, 6807: 5, 8860: 8, 10913: 10, 12966: 8, 15019: 8, 17072: 8, 19125: 7, 21178: 8, 9887: 9, 13993: 10, 16046: 8, 18099: 9, 20152: 8, 10914: 10, 17073: 9, 19126: 10, 1676: 7, 9888: 9, 13994: 7, 18100: 8, 20153: 7, 8862: 6, 10915: 10, 12968: 7, 15021: 8, 17074: 9, 19127: 9, 21180: 8, 3730: 9, 9889: 9, 13995: 8, 16048: 9, 18101: 8, 20154: 7, 6810: 6, 10916: 9, 19128: 7, 1678: 10, 9890: 9, 13996: 8, 18102: 8, 20155: 7, 4758: 10, 8864: 6, 10917: 8, 12970: 9, 21182: 9, 5785: 7, 13997: 7, 16050: 6, 18103: 9, 20156: 10, 17077: 9, 19130: 10, 1680: 9, 13998: 7, 18104: 9, 20157: 9, 4760: 9, 6813: 7, 8866: 10, 10919: 10, 12972: 10, 19131: 7, 21184: 7, 5787: 9, 11946: 9, 13999: 8, 16052: 8, 18105: 9, 20158: 10, 10920: 8, 19132: 8, 1682: 7, 5788: 9, 9894: 9, 11947: 9, 14000: 8, 18106: 8, 8868: 10, 12974: 10, 19133: 9, 21186: 9, 5789: 9, 9895: 9, 14001: 7, 16054: 10, 18107: 9, 20160: 10, 6816: 8, 19134: 10, 1684: 7, 5790: 9, 11949: 9, 20161: 9, 4764: 9, 12976: 8, 15029: 7, 17082: 7, 19135: 9, 21188: 10, 5791: 8, 9897: 9, 11950: 9, 16056: 6, 659: 9, 19136: 9, 1686: 7, 5792: 9, 9898: 10, 11951: 9, 14004: 6, 18110: 9, 20163: 9, 4766: 7, 6819: 10, 12978: 9, 17084: 10, 19137: 9, 21190: 10, 5793: 9, 9899: 9, 11952: 9, 16058: 7, 20164: 8, 4767: 9, 15032: 8, 17085: 7, 19138: 10, 1688: 9, 3741: 10, 5794: 9, 9900: 9, 11953: 9, 14006: 7, 18112: 7, 4768: 8, 10927: 6, 12980: 10, 17086: 7, 19139: 10, 21192: 9, 5795: 9, 9901: 7, 11954: 9, 16060: 7, 4769: 10, 19140: 8, 1690: 8, 5796: 8, 9902: 9, 11955: 9, 18114: 9, 664: 8, 4770: 9, 12982: 8, 17088: 9, 19141: 10, 21194: 7, 5797: 9, 9903: 9, 11956: 8, 14009: 9, 16062: 6, 665: 9, 4771: 10, 8877: 5, 10930: 6, 15036: 9, 17089: 10, 1692: 7, 5798: 8, 9904: 9, 11957: 9, 18116: 9, 666: 9, 4772: 10, 8878: 7, 12984: 10, 15037: 7, 17090: 7, 19143: 7, 21196: 10, 5799: 9, 9905: 9, 11958: 9, 16064: 9, 20170: 8, 667: 9, 4773: 9, 8879: 8, 10932: 8, 17091: 9, 19144: 9, 1694: 9, 5800: 9, 11959: 9, 14012: 10, 18118: 6, 20171: 9, 668: 9, 4774: 9, 8880: 7, 10933: 9, 12986: 9, 17092: 9, 19145: 7, 21198: 7, 5801: 9, 11960: 8, 16066: 7, 20172: 9, 669: 9, 4775: 10, 8881: 7, 10934: 9, 17093: 9, 19146: 10, 1696: 7, 5802: 9, 11961: 8, 18120: 7, 20173: 9, 670: 9, 4776: 8, 8882: 7, 10935: 9, 12988: 10, 17094: 10, 19147: 9, 21200: 9, 5803: 9, 9909: 10, 11962: 9, 16068: 6, 20174: 8, 671: 6, 8883: 6, 10936: 9, 15042: 9, 17095: 8, 19148: 7, 1698: 9, 5804: 9, 11963: 9, 20175: 9, 672: 8, 4778: 7, 8884: 7, 10937: 9, 12990: 8, 15043: 7, 17096: 7, 21202: 7, 9911: 10, 16070: 8, 18123: 7, 20176: 9, 673: 7, 4779: 8, 8885: 9, 15044: 10, 17097: 9, 1700: 9, 11965: 10, 18124: 9, 20177: 9, 674: 8, 12992: 10, 15045: 10, 17098: 9, 21204: 8, 11966: 8, 16072: 4, 18125: 8, 675: 6, 10940: 10, 15046: 9, 17099: 7, 18126: 8, 1702: 10, 11967: 7, 14020: 9, 21206: 9, 17100: 10, 15047: 8, 676: 8, 6835: 6, 18127: 10, 16074: 6, 9915: 8, 11968: 8, 19154: 10, 17101: 8, 15048: 9, 677: 9, 6836: 6, 20181: 9, 18128: 8, 1704: 9, 5810: 10, 11969: 8, 14022: 8, 21208: 8, 17102: 7, 15049: 10, 678: 9, 6837: 6, 20182: 7, 9917: 8, 11970: 8, 15050: 8, 679: 9, 6838: 6, 20183: 7, 1706: 9, 5812: 9, 9918: 7, 11971: 9, 21210: 8, 17104: 8, 15051: 9, 680: 9, 6839: 6, 20184: 10, 16078: 5, 5813: 9, 11972: 7, 14025: 7, 19158: 9, 17105: 8, 15052: 9, 681: 9, 6840: 8, 8893: 8, 10946: 9, 20185: 8, 1708: 10, 5814: 9, 11973: 9, 14026: 7, 21212: 10, 19159: 10, 15053: 8, 682: 9, 8894: 8, 20186: 9, 16080: 7, 5815: 9, 7868: 6, 9921: 8, 14027: 10, 19160: 9, 17107: 9, 15054: 10, 683: 9, 6842: 10, 8895: 9, 10948: 9, 20187: 10, 1710: 8, 5816: 9, 14028: 9, 21214: 8, 19161: 10, 17108: 8, 15055: 8, 684: 9, 8896: 7, 20188: 9, 16082: 7, 5817: 9, 7870: 5, 9923: 6, 14029: 7, 19162: 10, 15056: 8, 685: 9, 6844: 7, 8897: 10, 10950: 9, 20189: 8, 1712: 7, 5818: 9, 11977: 9, 14030: 10, 19163: 9, 15057: 9, 686: 9, 6845: 10, 10951: 9, 20190: 9, 16084: 9, 5819: 9, 7872: 6, 14031: 10, 21217: 10, 19164: 8, 15058: 8, 687: 9, 6846: 10, 20191: 9, 16085: 9, 1714: 9, 5820: 9, 9926: 6, 14032: 9, 19165: 9, 688: 10, 8900: 9, 10953: 9, 20192: 10, 5821: 9, 7874: 8, 11980: 7, 19166: 9, 689: 9, 6848: 9, 10954: 8, 20193: 7, 16087: 10, 1716: 8, 5822: 9, 9928: 9, 21220: 9, 19167: 9, 17114: 9, 15061: 9, 690: 9, 6849: 10, 10955: 9, 20194: 9, 16088: 9, 5823: 9, 7876: 9, 9929: 8, 14035: 8, 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, 20196: 9, 16090: 10, 5825: 10, 7878: 9, 9931: 8, 14037: 10, 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, 17119: 9, 15066: 9, 695: 10, 2748: 8, 6854: 8, 20199: 8, 16093: 9, 1722: 9, 9934: 9, 14040: 7, 17120: 9, 15067: 8, 696: 10, 2749: 7, 6855: 10, 20200: 8, 5829: 10, 9935: 7, 14041: 9, 21227: 8, 17121: 8, 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, 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: 8, 2753: 9, 4806: 9, 6859: 8, 13018: 10, 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: 9, 2755: 9, 4808: 8, 6861: 9, 8914: 8, 13020: 7, 20206: 9, 18153: 6, 1729: 8, 5835: 6, 7888: 5, 15074: 9, 703: 9, 2756: 8, 4809: 9, 6862: 7, 8915: 9, 10968: 8, 5836: 6, 11995: 7, 17128: 9, 704: 8, 2757: 8, 6863: 7, 8916: 9, 18155: 9, 16102: 10, 1731: 7, 7890: 5, 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: 8, 20210: 9, 1733: 8, 7892: 9, 9945: 9, 11998: 6, 17131: 9, 707: 9, 2760: 7, 6866: 10, 8919: 8, 16105: 6, 15079: 10, 708: 9, 2761: 7, 6867: 8, 8920: 9, 10973: 9, 13026: 9, 1735: 9, 7894: 7, 9947: 9, 19186: 9, 709: 9, 2762: 9, 6868: 9, 8921: 8, 10974: 9, 9948: 8, 12001: 8, 21240: 7, 19187: 9, 710: 9, 2763: 7, 6869: 7, 8922: 9, 10975: 9, 13028: 5, 18161: 9, 16108: 6, 1737: 7, 7896: 8, 19188: 9, 711: 9, 2764: 8, 6870: 9, 8923: 8, 10976: 9, 20215: 8, 18162: 9, 19189: 9, 712: 9, 6871: 10, 10977: 9, 13030: 6, 20216: 8, 18163: 9, 1739: 8, 7898: 5, 12004: 6, 19190: 9, 17137: 9, 713: 9, 6872: 10, 10978: 9, 20217: 9, 18164: 9, 16111: 6, 19191: 9, 714: 9, 10979: 9, 13032: 8, 20218: 9, 18165: 9, 1741: 8, 7900: 7, 12006: 5, 19192: 8, 17139: 9, 15086: 8, 715: 9, 6874: 7, 10980: 10, 20219: 8, 18166: 9, 21246: 8, 19193: 9, 716: 9, 13034: 6, 20220: 7, 18167: 9, 16114: 6, 1743: 8, 7902: 6, 12008: 7, 14061: 9, 19194: 10, 15088: 6, 717: 10, 20221: 8, 18168: 9, 19195: 9, 718: 9, 13036: 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, 20223: 8, 16117: 9, 21250: 7, 720: 9, 2773: 8, 6879: 8, 8932: 6, 13038: 5, 20224: 8, 16118: 9, 1747: 8, 12012: 7, 14065: 6, 21251: 9, 17145: 5, 721: 9, 2774: 6, 10986: 9, 16119: 9, 7907: 6, 14066: 7, 21252: 10, 15093: 6, 722: 9, 2775: 8, 6881: 7, 13040: 9, 16120: 9, 1749: 9, 12014: 8, 21253: 8, 19200: 9, 17147: 9, 15094: 9, 723: 9, 2776: 10, 8935: 7, 10988: 9, 16121: 10, 14068: 9, 19201: 8, 15095: 7, 724: 9, 2777: 9, 13042: 9, 16122: 9, 1751: 7, 7910: 6, 12016: 6, 14069: 9, 15096: 10, 725: 9, 8937: 10, 10990: 9, 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, 20232: 9, 18179: 9, 16126: 9, 1755: 10, 12020: 9, 14073: 10, 21259: 7, 729: 9, 10994: 8, 16127: 9, 14074: 7, 21260: 10, 19207: 10, 15101: 8, 730: 9, 6889: 10, 13048: 9, 1757: 10, 7916: 6, 9969: 6, 12022: 8, 14075: 10, 15102: 8, 731: 10, 10996: 6, 20235: 7, 14076: 9, 15103: 8, 732: 7, 4838: 9, 6891: 8, 13050: 10, 16130: 9, 12024: 7, 14077: 10, 15104: 7, 733: 9, 4839: 9, 20237: 8, 9972: 9, 21264: 9, 15105: 7, 734: 9, 2787: 6, 4840: 9, 6893: 9, 10999: 7, 13052: 7, 20238: 9, 18185: 6, 16132: 10, 1761: 8, 12026: 6, 19212: 9, 15106: 7, 735: 10, 2788: 6, 4841: 9, 20239: 7, 9974: 6, 15107: 10, 736: 9, 2789: 10, 6895: 5, 11001: 6, 13054: 8, 20240: 7, 16134: 8, 1763: 10, 12028: 7, 14081: 8, 21267: 10, 19214: 9, 15108: 10, 737: 10, 2790: 6, 4843: 9, 20241: 7, 17162: 10, 15109: 9, 738: 10, 2791: 7, 6897: 8, 8950: 7, 11003: 7, 13056: 6, 20242: 8, 18189: 8, 16136: 9, 1765: 8, 9977: 6, 12030: 8, 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, 19218: 7, 741: 9, 2794: 8, 11006: 6, 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, 21273: 9, 19220: 7, 17167: 9, 15114: 9, 743: 9, 2796: 9, 8955: 9, 18194: 9, 9982: 5, 14088: 6, 21274: 9, 17168: 8, 744: 9, 2797: 8, 6903: 8, 8956: 9, 11009: 7, 13062: 7, 20248: 7, 1771: 9, 5877: 8, 12036: 8, 21275: 8, 19222: 10, 17169: 9, 745: 9, 2798: 8, 4851: 9, 8957: 8, 9984: 6, 21276: 8, 17170: 9, 746: 9, 2799: 7, 6905: 9, 8958: 9, 13064: 7, 20250: 7, 18197: 7, 1773: 10, 12038: 6, 14091: 6, 21277: 8, 17171: 8, 15118: 10, 747: 9, 4853: 9, 8959: 10, 11012: 6, 20251: 10, 18198: 9, 16145: 8, 7933: 9, 9986: 6, 21278: 9, 19225: 7, 17172: 9, 15119: 9, 748: 8, 2801: 10, 6907: 6, 13066: 6, 20252: 7, 18199: 9, 1775: 10, 12040: 8, 21279: 9, 17173: 9, 15120: 9, 749: 9, 4855: 10, 11014: 6, 20253: 9, 5882: 8, 7935: 10, 14094: 7, 21280: 8, 17174: 9, 15121: 8, 750: 8, 2803: 10, 13068: 8, 20254: 7, 18201: 7, 1777: 9, 9989: 7, 12042: 5, 21281: 9, 19228: 7, 17175: 9, 15122: 9, 751: 8, 2804: 9, 11016: 8, 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, 21283: 10, 17177: 9, 753: 9, 11018: 5, 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, 21285: 10, 15126: 9, 755: 9, 11020: 6, 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, 21287: 7, 17181: 9, 757: 8, 2810: 10, 20261: 8, 18208: 9, 16155: 8, 5890: 9, 7943: 7, 9996: 5, 21288: 10, 17182: 9, 15129: 7, 758: 8, 2811: 8, 4864: 9, 11023: 6, 13076: 7, 20262: 9, 18209: 8, 16156: 8, 5891: 7, 7944: 8, 12050: 10, 21289: 9, 15130: 7, 759: 8, 2812: 7, 8971: 8, 20263: 7, 16157: 8, 5892: 7, 7945: 9, 9998: 7, 21290: 8, 15131: 7, 760: 7, 2813: 10, 11025: 8, 13078: 7, 20264: 7, 16158: 8, 1787: 10, 5893: 10, 7946: 8, 12052: 5, 21291: 8, 17185: 9, 15132: 8, 761: 7, 2814: 8, 4867: 9, 8973: 9, 20265: 9, 16159: 7, 5894: 10, 7947: 8, 21292: 8, 17186: 8, 15133: 8, 762: 7, 2815: 9, 4868: 6, 11027: 9, 13080: 7, 16160: 9, 1789: 9, 10001: 6, 12054: 8, 21293: 10, 17187: 9, 763: 8, 2816: 10, 8975: 7, 16161: 9, 21294: 8, 17188: 9, 15135: 7, 764: 8, 2817: 9, 11029: 8, 13082: 7, 20268: 9, 16162: 9, 1791: 10, 5897: 9, 12056: 9, 21295: 7, 19242: 9, 17189: 8, 765: 7, 2818: 9, 4871: 7, 8977: 10, 20269: 8, 16163: 6, 5898: 9, 7951: 6, 21296: 10, 766: 10, 2819: 10, 11031: 6, 13084: 8, 20270: 8, 16164: 9, 1793: 8, 5899: 9, 10005: 8, 12058: 4, 21297: 9, 17191: 8, 767: 7, 2820: 10, 4873: 6, 8979: 8, 20271: 8, 7953: 6, 14112: 8, 21298: 9, 19245: 8, 17192: 9, 768: 7, 2821: 9, 11033: 7, 13086: 7, 20272: 7, 12060: 6, 21299: 9, 19246: 9, 17193: 7, 769: 9, 2822: 7, 8981: 5, 16167: 9, 5902: 9, 7955: 5, 14114: 6, 21300: 9, 19247: 9, 17194: 7, 770: 9, 2823: 9, 11035: 9, 13088: 8, 1797: 10, 10009: 8, 12062: 7, 21301: 10, 19248: 8, 17195: 8, 771: 9, 2824: 7, 8983: 10, 20275: 9, 16169: 9, 7957: 7, 14116: 5, 19249: 9, 17196: 8, 772: 9, 2825: 9, 11037: 9, 13090: 9, 18223: 9, 16170: 10, 1799: 10, 10011: 9, 12064: 8, 19250: 9, 773: 9, 2826: 7, 8985: 8, 18224: 9, 16171: 10, 7959: 6, 14118: 7, 21304: 10, 19251: 9, 774: 10, 2827: 8, 4880: 8, 11039: 6, 13092: 8, 18225: 9, 10013: 7, 12066: 7, 19252: 9, 15146: 7, 775: 9, 8987: 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, 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: 7, 2831: 9, 4884: 9, 11043: 5, 13096: 4, 16176: 10, 1805: 10, 779: 6, 2832: 7, 8991: 7, 18230: 9, 16177: 9, 10018: 8, 12071: 9, 14124: 6, 19257: 9, 780: 10, 2833: 9, 4886: 9, 11045: 7, 13098: 9, 18231: 9, 1807: 7, 21311: 9, 15152: 8, 781: 9, 2834: 8, 8993: 9, 18232: 9, 10020: 7, 12073: 8, 14126: 6, 15153: 8, 782: 9, 2835: 9, 4888: 8, 11047: 7, 13100: 7, 18233: 8, 1809: 8, 19260: 8, 17207: 7, 15154: 7, 783: 9, 2836: 9, 8995: 5, 20287: 8, 16181: 6, 7969: 9, 10022: 7, 12075: 8, 14128: 9, 15155: 9, 784: 10, 2837: 8, 4890: 8, 11049: 6, 13102: 6, 1811: 8, 17209: 7, 15156: 9, 785: 8, 2838: 8, 8997: 8, 20289: 10, 18236: 10, 7971: 8, 10024: 7, 12077: 9, 14130: 8, 21316: 7, 15157: 7, 786: 10, 11051: 8, 13104: 8, 1813: 7, 7972: 8, 15158: 10, 787: 9, 2840: 7, 8999: 9, 18238: 9, 7973: 8, 10026: 9, 12079: 8, 14132: 7, 21318: 8, 19265: 8, 15159: 9, 788: 9, 2841: 8, 11053: 5, 13106: 8, 18239: 9, 16186: 8, 1815: 8, 7974: 8, 10027: 10, 19266: 8, 17213: 8, 15160: 6, 789: 8, 2842: 9, 9001: 8, 16187: 7, 7975: 9, 10028: 9, 12081: 7, 14134: 7, 21320: 9, 19267: 8, 15161: 7, 790: 9, 2843: 9, 11055: 6, 13108: 7, 20294: 8, 18241: 10, 16188: 10, 1817: 8, 7976: 9, 10029: 10, 19268: 7, 17215: 10, 15162: 7, 791: 8, 2844: 9, 9003: 9, 7977: 9, 12083: 7, 14136: 4, 21322: 7, 17216: 10, 15163: 8, 792: 8, 2845: 9, 11057: 8, 13110: 6, 20296: 8, 16190: 8, 1819: 8, 5925: 9, 7978: 8, 10031: 9, 15164: 6, 793: 6, 2846: 9, 9005: 9, 18244: 6, 16191: 9, 5926: 8, 7979: 9, 10032: 9, 12085: 6, 14138: 8, 21324: 9, 17218: 9, 15165: 6, 794: 8, 2847: 9, 11059: 7, 13112: 8, 20298: 9, 18245: 9, 1821: 10, 5927: 9, 17219: 10, 15166: 6, 795: 8, 2848: 8, 9007: 9, 16193: 9, 12087: 9, 14140: 6, 21326: 7, 19273: 9, 17220: 10, 796: 9, 2849: 10, 9008: 8, 11061: 8, 13114: 6, 20300: 8, 1823: 10, 10035: 7, 21327: 9, 17221: 10, 15168: 9, 797: 8, 2850: 10, 9009: 10, 18248: 9, 10036: 7, 12089: 8, 14142: 7, 798: 9, 2851: 7, 9010: 9, 11063: 6, 13116: 9, 20302: 9, 1825: 9, 10037: 9, 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, 1827: 9, 7986: 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, 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: 5, 18255: 9, 1831: 8, 21335: 7, 19282: 9, 17229: 9, 805: 7, 2858: 7, 12097: 5, 19283: 8, 806: 8, 2859: 7, 11071: 9, 13124: 9, 18257: 9, 1833: 9, 7992: 6, 10045: 10, 21337: 7, 19284: 8, 17231: 8, 15178: 5, 807: 7, 2860: 10, 13125: 9, 18258: 8, 10046: 9, 12099: 8, 19285: 9, 15179: 9, 808: 8, 2861: 7, 13126: 9, 18259: 8, 1835: 7, 5941: 7, 7994: 7, 10047: 9, 21339: 9, 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: 9, 13128: 9, 18261: 9, 1837: 9, 7996: 6, 10049: 8, 19288: 9, 17235: 8, 811: 6, 6970: 8, 9023: 9, 13129: 8, 20315: 9, 18262: 9, 5944: 9, 10050: 10, 12103: 7, 14156: 7, 19289: 10, 812: 8, 2865: 8, 9024: 10, 11077: 6, 13130: 6, 18263: 8, 16210: 9, 1839: 8, 5945: 9, 10051: 10, 19290: 9, 17237: 9, 15184: 9, 813: 9, 2866: 7, 6972: 7, 13131: 9, 5946: 10, 12105: 6, 21344: 10, 19291: 9, 814: 9, 2867: 10, 13132: 8, 1841: 8, 5947: 9, 8000: 8, 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, 20320: 8, 18267: 10, 16214: 9, 1843: 9, 8002: 7, 10055: 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, 20322: 8, 18269: 8, 16216: 10, 1845: 9, 8004: 6, 10057: 8, 15190: 9, 819: 7, 2872: 10, 6978: 7, 9031: 10, 18270: 9, 16217: 9, 10058: 9, 12111: 6, 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, 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, 17247: 9, 15194: 7, 823: 7, 9035: 9, 16221: 7, 10062: 9, 12115: 7, 21354: 7, 15195: 10, 824: 6, 9036: 9, 11089: 7, 20328: 9, 16222: 10, 1851: 10, 8010: 8, 10063: 8, 15196: 7, 825: 9, 9037: 9, 13143: 10, 18276: 9, 8011: 10, 10064: 8, 12117: 6, 14170: 9, 21356: 8, 19303: 9, 17250: 10, 15197: 8, 826: 9, 9038: 9, 1853: 8, 10065: 7, 14171: 9, 19304: 9, 17251: 8, 15198: 8, 827: 7, 2880: 7, 6986: 8, 9039: 10, 11092: 7, 13145: 8, 12119: 7, 21358: 10, 19305: 8, 15199: 10, 828: 6, 2881: 8, 9040: 9, 16226: 7, 1855: 10, 19306: 8, 15200: 10, 829: 7, 2882: 7, 20333: 8, 18280: 10, 12121: 8, 21360: 8, 19307: 9, 17254: 8, 15201: 8, 830: 7, 2883: 7, 6989: 8, 11095: 6, 18281: 7, 1857: 7, 10069: 8, 831: 7, 2884: 10, 20335: 8, 16229: 7, 12123: 6, 14176: 8, 21362: 7, 19309: 9, 17256: 7, 832: 7, 2885: 10, 9044: 9, 18283: 9, 1859: 8, 8018: 9, 14177: 8, 19310: 7, 17257: 9, 833: 10, 2886: 7, 11098: 6, 12125: 9, 14178: 7, 21364: 7, 19311: 8, 834: 7, 2887: 7, 9046: 9, 18285: 7, 16232: 8, 1861: 8, 8020: 10, 14179: 8, 19312: 9, 17259: 9, 835: 7, 2888: 8, 6994: 10, 9047: 9, 20339: 9, 12127: 9, 14180: 8, 21366: 7, 836: 8, 2889: 7, 9048: 9, 11101: 7, 18287: 7, 1863: 7, 8022: 9, 10075: 6, 14181: 9, 19314: 9, 837: 8, 2890: 8, 6996: 9, 16235: 7, 8023: 7, 12129: 6, 21368: 9, 19315: 9, 838: 8, 2891: 10, 18289: 7, 1865: 8, 10077: 9, 19316: 8, 839: 8, 2892: 10, 6998: 9, 11104: 7, 16237: 8, 10078: 10, 12131: 6, 14184: 10, 21370: 7, 19317: 9, 840: 8, 2893: 10, 1867: 7, 10079: 8, 14185: 7, 19318: 10, 841: 7, 2894: 8, 7000: 10, 8027: 9, 12133: 6, 14186: 9, 21372: 8, 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, 18294: 8, 8029: 8, 12135: 8, 21374: 7, 19321: 9, 844: 8, 2897: 7, 9056: 7, 11109: 10, 18295: 9, 1871: 10, 8030: 8, 19322: 8, 845: 9, 2898: 7, 11110: 10, 18296: 9, 8031: 10, 12137: 6, 14190: 9, 21376: 7, 19323: 10, 846: 9, 2899: 10, 9058: 8, 11111: 9, 18297: 10, 1873: 9, 8032: 10, 10085: 9, 14191: 8, 19324: 9, 17271: 6, 847: 9, 2900: 10, 9059: 10, 11112: 7, 18298: 7, 3927: 6, 10086: 9, 12139: 7, 14192: 7, 21378: 7, 19325: 9, 848: 9, 2901: 9, 9060: 8, 11113: 8, 18299: 10, 1875: 10, 3928: 7, 8034: 8, 10087: 9, 14193: 7, 17273: 5, 849: 9, 2902: 9, 11114: 8, 18300: 10, 3929: 7, 8035: 9, 10088: 9, 12141: 6, 14194: 8, 21380: 8, 850: 9, 9062: 10, 11115: 8, 18301: 10, 1877: 10, 3930: 7, 8036: 10, 10089: 8, 14195: 9, 17275: 7, 851: 9, 2904: 8, 9063: 7, 11116: 8, 18302: 8, 3931: 6, 5984: 9, 8037: 9, 10090: 9, 12143: 5, 21382: 9, 19329: 8, 852: 7, 2905: 9, 7011: 9, 9064: 9, 18303: 10, 1879: 9, 10091: 8, 14197: 9, 17277: 10, 15224: 8, 853: 9, 2906: 7, 11118: 7, 18304: 8, 3933: 6, 12145: 9, 21384: 8, 19331: 9, 854: 9, 2907: 10, 7013: 7, 11119: 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, 18306: 10, 16253: 9, 3935: 9, 8041: 9, 12147: 9, 21386: 9, 19333: 9, 17280: 8, 856: 10, 2909: 10, 7015: 5, 9068: 9, 11121: 7, 1883: 10, 3936: 9, 8042: 8, 10095: 7, 19334: 9, 17281: 10, 857: 10, 2910: 7, 9069: 7, 11122: 8, 20361: 10, 12149: 7, 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, 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, 16259: 9, 3941: 9, 12153: 7, 14206: 8, 21392: 8, 19339: 9, 17286: 7, 862: 7, 2915: 8, 9074: 8, 20366: 8, 18313: 6, 16260: 8, 1889: 10, 3942: 9, 10101: 7, 19340: 9, 17287: 8, 863: 6, 2916: 9, 9075: 9, 11128: 7, 16261: 9, 3943: 9, 12155: 7, 14208: 8, 21394: 8, 19341: 9, 17288: 9, 864: 9, 2917: 8, 9076: 10, 11129: 7, 18315: 4, 16262: 6, 1891: 9, 3944: 9, 14209: 9, 19342: 9, 17289: 9, 865: 7, 2918: 10, 11130: 8, 20369: 9, 16263: 7, 3945: 6, 12157: 8, 14210: 9, 21396: 10, 19343: 10, 17290: 8, 866: 7, 2919: 9, 9078: 9, 11131: 8, 18317: 5, 16264: 9, 1893: 9, 3946: 9, 8052: 8, 14211: 9, 17291: 7, 15238: 8, 867: 10, 2920: 8, 11132: 7, 16265: 8, 3947: 9, 8053: 8, 12159: 7, 14212: 9, 21398: 10, 17292: 8, 868: 10, 2921: 10, 9080: 9, 18319: 6, 1895: 10, 3948: 9, 8054: 8, 19346: 8, 17293: 10, 869: 9, 2922: 7, 9081: 9, 20373: 9, 12161: 8, 21400: 9, 17294: 9, 15241: 10, 870: 9, 2923: 7, 11135: 7, 20374: 8, 18321: 5, 16268: 9, 1897: 10, 17295: 7, 15242: 7, 871: 9, 2924: 10, 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, 18324: 9, 8059: 7, 10112: 7, 12165: 5, 14218: 9, 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, 20379: 9, 8061: 10, 10114: 7, 12167: 6, 14220: 9, 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, 21407: 10, 19354: 8, 17301: 7, 15248: 9, 877: 9, 2930: 8, 7036: 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: 5, 20382: 10, 18329: 6, 1905: 8, 8064: 8, 10117: 10, 14223: 7, 21409: 8, 19356: 7, 17303: 9, 15250: 8, 879: 9, 2932: 10, 7038: 9, 9091: 7, 20383: 9, 8065: 9, 10118: 10, 12171: 8, 14224: 9, 19357: 10, 17304: 9, 15251: 10, 880: 9, 2933: 10, 7039: 9, 9092: 9, 11145: 4, 20384: 10, 18331: 5, 16278: 7, 1907: 8, 3960: 9, 8066: 9, 10119: 9, 14225: 10, 19358: 10, 15252: 8, 881: 9, 2934: 7, 20385: 7, 3961: 9, 8067: 9, 10120: 9, 12173: 7, 14226: 7, 21412: 10, 19359: 8, 17306: 7, 15253: 9, 882: 9, 2935: 10, 9094: 10, 11147: 6, 20386: 7, 18333: 5, 3962: 9, 8068: 10, 10121: 9, 14227: 7, 21413: 9, 17307: 10, 15254: 10, 883: 9, 2936: 7, 9095: 9, 20387: 8, 16281: 7, 8069: 9, 10122: 7, 12175: 7, 14228: 7, 21414: 10, 17308: 9, 884: 9, 2937: 8, 9096: 8, 20388: 9, 18335: 7, 1911: 9, 8070: 9, 10123: 10, 21415: 6, 17309: 8, 15256: 10, 885: 9, 2938: 8, 7044: 9, 9097: 7, 11150: 7, 3965: 9, 8071: 9, 10124: 10, 12177: 7, 21416: 6, 17310: 7, 886: 9, 2939: 8, 7045: 9, 9098: 7, 16284: 6, 1913: 9, 10125: 9, 14231: 9, 21417: 8, 17311: 8, 887: 9, 2940: 10, 7046: 8, 9099: 7, 11152: 7, 18338: 7, 16285: 10, 1914: 8, 8073: 9, 12179: 8, 14232: 10, 17312: 8, 15259: 7, 888: 9, 2941: 9, 9100: 10, 11153: 9, 14233: 9, 19366: 10, 17313: 7, 889: 8, 2942: 7, 11154: 9, 16287: 8, 1916: 10, 6022: 8, 12181: 7, 21420: 9, 17314: 8, 890: 8, 2943: 8, 7049: 7, 11155: 9, 20394: 9, 18341: 7, 6023: 9, 19368: 9, 17315: 9, 891: 8, 2944: 10, 1918: 7, 3971: 7, 6024: 7, 10130: 8, 12183: 9, 17316: 10, 892: 8, 2945: 7, 20396: 9, 6025: 8, 21423: 7, 17317: 9, 893: 10, 2946: 9, 11158: 9, 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, 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, 20400: 7, 18347: 7, 6029: 10, 8082: 10, 10135: 7, 21427: 6, 19374: 9, 17321: 8, 15268: 10, 897: 7, 2950: 10, 9109: 9, 20401: 9, 3977: 8, 6030: 8, 8083: 8, 10136: 8, 12189: 8, 19375: 9, 17322: 9, 898: 9, 9110: 9, 20402: 9, 6031: 8, 8084: 10, 21429: 8, 19376: 10, 17323: 8, 15270: 9, 899: 9, 2952: 9, 9111: 9, 20403: 7, 18350: 7, 3979: 8, 6032: 7, 8085: 7, 10138: 7, 12191: 8, 19377: 9, 17324: 10, 15271: 9, 900: 9, 2953: 7, 9112: 9, 11165: 9, 20404: 8, 6033: 9, 8086: 9, 10139: 8, 14245: 9, 21431: 7, 19378: 9, 17325: 10, 15272: 8, 901: 9, 2954: 8, 9113: 9, 20405: 8, 8087: 10, 12193: 7, 19379: 8, 17326: 7, 15273: 9, 902: 9, 2955: 10, 7061: 7, 9114: 9, 11167: 9, 18353: 7, 10141: 9, 14247: 6, 19380: 9, 17327: 8, 15274: 9, 903: 9, 2956: 10, 7062: 7, 9115: 9, 8089: 5, 10142: 7, 12195: 8, 21434: 9, 19381: 9, 17328: 10, 904: 9, 2957: 7, 11169: 8, 20408: 8, 10143: 7, 19382: 9, 905: 9, 2958: 7, 7064: 7, 18356: 8, 8091: 9, 12197: 7, 19383: 9, 17330: 10, 906: 10, 2959: 7, 11171: 9, 14251: 7, 21437: 9, 19384: 9, 17331: 7, 907: 9, 2960: 8, 7066: 5, 16305: 9, 3987: 10, 8093: 6, 10146: 10, 12199: 6, 19385: 9, 17332: 8, 908: 9, 2961: 10, 18359: 7, 16306: 9, 3988: 9, 14253: 8, 21439: 9, 17333: 9, 15280: 9, 909: 9, 2962: 8, 7068: 9, 3989: 9, 8095: 7, 12201: 5, 21440: 9, 17334: 10, 910: 9, 2963: 7, 3990: 9, 8096: 9, 14255: 7, 21441: 9, 19388: 9, 911: 9, 2964: 7, 20415: 9, 18362: 7, 16309: 8, 10150: 10, 12203: 8, 17336: 8, 912: 9, 2965: 7, 9124: 7, 8098: 10, 10151: 9, 14257: 9, 21443: 9, 913: 9, 2966: 9, 7072: 6, 9125: 10, 11178: 10, 16311: 9, 10152: 7, 12205: 8, 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, 16313: 10, 12207: 7, 14260: 8, 21446: 8, 15287: 10, 916: 9, 2969: 8, 9128: 9, 11181: 9, 18367: 7, 16314: 8, 8102: 9, 10155: 9, 14261: 9, 21447: 9, 17341: 7, 917: 9, 2970: 9, 7076: 8, 9129: 9, 16315: 10, 12209: 6, 14262: 9, 21448: 9, 15289: 8, 918: 9, 2971: 7, 9130: 9, 18369: 9, 16316: 9, 8104: 5, 14263: 9, 21449: 9, 15290: 9, 919: 9, 2972: 10, 9131: 9, 20423: 9, 16317: 9, 3999: 8, 10158: 9, 12211: 9, 14264: 9, 21450: 8, 920: 9, 2973: 8, 7079: 7, 9132: 9, 20424: 9, 18371: 6, 16318: 8, 4000: 10, 8106: 9, 14265: 9, 21451: 9, 921: 9, 2974: 7, 11186: 10, 20425: 8, 4001: 10, 10160: 9, 12213: 6, 21452: 9, 15293: 9, 922: 9, 2975: 10, 11187: 9, 20426: 8, 18373: 6, 16320: 9, 8108: 9, 21453: 8, 15294: 9, 923: 9, 2976: 10, 20427: 7, 10162: 10, 12215: 8, 17348: 11, 924: 9, 2977: 7, 7083: 5, 11189: 8, 20428: 7, 18375: 7, 16322: 10, 8110: 6, 17349: 11, 19402: 9, 15296: 9, 925: 9, 2978: 7, 11190: 7, 20429: 7, 16323: 9, 10164: 8, 12217: 6, 14270: 9, 21456: 9, 926: 8, 2979: 7, 7085: 6, 11191: 9, 20430: 9, 18377: 9, 16324: 9, 8112: 7, 14271: 8, 15298: 7, 927: 9, 2980: 8, 11192: 7, 20431: 7, 18378: 8, 16325: 9, 10166: 7, 12219: 7, 14272: 7, 21458: 9, 19405: 9, 928: 8, 2981: 9, 7087: 7, 11193: 8, 18379: 8, 8114: 7, 21459: 9, 15300: 6, 929: 9, 2982: 8, 11194: 7, 18380: 9, 10168: 10, 12221: 7, 19407: 9, 930: 9, 2983: 7, 7089: 7, 18381: 9, 8116: 7, 21461: 9, 15302: 8, 931: 9, 2984: 7, 18382: 8, 16329: 8, 4011: 8, 8117: 10, 12223: 7, 19409: 6, 932: 8, 2985: 9, 7091: 6, 9144: 7, 20436: 9, 18383: 9, 4012: 7, 8118: 10, 10171: 7, 15304: 7, 933: 8, 2986: 8, 18384: 8, 4013: 6, 10172: 7, 12225: 8, 19411: 6, 17358: 10, 934: 8, 2987: 9, 7093: 10, 20438: 9, 16332: 7, 4014: 9, 10173: 9, 15306: 10, 935: 9, 2988: 8, 18386: 10, 8121: 5, 10174: 9, 12227: 8, 21466: 8, 936: 9, 2989: 8, 7095: 5, 9148: 5, 18387: 9, 4016: 8, 10175: 8, 14281: 8, 19414: 8, 17361: 9, 15308: 7, 937: 8, 2990: 10, 20441: 9, 18388: 8, 16335: 7, 4017: 10, 10176: 7, 12229: 6, 21468: 8, 938: 8, 2991: 7, 7097: 5, 9150: 6, 20442: 9, 18389: 7, 4018: 6, 8124: 6, 10177: 7, 939: 8, 2992: 9, 20443: 8, 18390: 9, 10178: 7, 12231: 7, 21470: 9, 940: 8, 2993: 10, 7099: 9, 9152: 9, 20444: 9, 16338: 6, 10179: 9, 941: 8, 2994: 7, 20445: 9, 18392: 6, 8127: 8, 12233: 8, 21472: 8, 17366: 9, 942: 8, 2995: 7, 7101: 5, 9154: 7, 20446: 9, 14287: 8, 943: 8, 2996: 8, 11208: 4, 20447: 9, 18394: 7, 16341: 7, 12235: 6, 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, 18396: 8, 12237: 6, 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, 20451: 8, 18398: 7, 16345: 7, 8133: 6, 10186: 9, 12239: 9, 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, 20453: 7, 18400: 9, 10188: 7, 12241: 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: 6, 20455: 7, 18402: 8, 12243: 8, 14296: 6, 15323: 10, 952: 8, 9164: 8, 20456: 8, 18403: 9, 16350: 9, 19430: 9, 17377: 9, 953: 8, 9165: 8, 11218: 6, 20457: 7, 18404: 9, 16351: 7, 10192: 6, 12245: 6, 21484: 7, 19431: 10, 954: 7, 3007: 10, 20458: 7, 18405: 8, 6087: 7, 14299: 5, 955: 9, 9167: 8, 11220: 8, 20459: 6, 18406: 9, 6088: 7, 10194: 6, 12247: 7, 956: 9, 18407: 8, 16354: 9, 14301: 9, 21487: 7, 19434: 9, 15328: 8, 957: 10, 6090: 7, 10196: 7, 12249: 8, 14302: 8, 21488: 7, 19435: 9, 17382: 6, 958: 10, 11223: 8, 16356: 9, 14303: 7, 21489: 8, 19436: 8, 17383: 9, 15330: 7, 959: 9, 3012: 8, 18410: 9, 12251: 9, 14304: 7, 21490: 7, 19437: 9, 17384: 9, 15331: 7, 960: 10, 3013: 8, 16358: 9, 10199: 6, 14305: 10, 21491: 7, 17385: 9, 961: 8, 3014: 8, 9173: 8, 11226: 7, 20465: 7, 6094: 10, 12253: 8, 14306: 10, 21492: 7, 17386: 9, 962: 9, 3015: 8, 9174: 5, 20466: 7, 16360: 9, 6095: 7, 10201: 7, 14307: 7, 21493: 8, 19440: 7, 17387: 9, 963: 10, 3016: 8, 9175: 7, 20467: 9, 16361: 9, 6096: 10, 12255: 7, 14308: 10, 21494: 9, 17388: 9, 964: 7, 3017: 7, 9176: 5, 11229: 5, 20468: 9, 6097: 10, 10203: 6, 14309: 9, 21495: 10, 19442: 9, 17389: 9, 965: 5, 3018: 8, 9177: 7, 13283: 8, 18416: 8, 6098: 7, 12257: 8, 14310: 7, 17390: 9, 966: 9, 3019: 9, 9178: 9, 20470: 7, 6099: 9, 8152: 9, 10205: 9, 14311: 7, 17391: 9, 967: 10, 3020: 9, 9179: 7, 11232: 7, 13285: 9, 16365: 9, 6100: 8, 8153: 9, 12259: 8, 14312: 10, 19445: 8, 17392: 9, 15339: 8, 968: 9, 3021: 8, 9180: 6, 13286: 9, 16366: 9, 6101: 8, 8154: 9, 10207: 6, 14313: 10, 17393: 9, 15340: 9, 969: 9, 3022: 10, 9181: 6, 13287: 9, 6102: 7, 8155: 9, 12261: 8, 14314: 7, 21500: 5, 17394: 7, 970: 9, 3023: 9, 9182: 5, 11235: 8, 6103: 9, 8156: 9, 10209: 6, 17395: 7, 15342: 7, 971: 9, 3024: 9, 5077: 8, 9183: 8, 13289: 8, 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, 21503: 6, 17397: 9, 15344: 8, 973: 9, 3026: 10, 5079: 9, 9185: 5, 11238: 6, 13291: 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, 6108: 7, 8161: 8, 21506: 7, 19453: 7, 15347: 9, 976: 9, 3029: 7, 5082: 9, 9188: 8, 11241: 10, 13294: 7, 18427: 9, 6109: 8, 8162: 9, 10215: 7, 19454: 8, 15348: 9, 977: 10, 3030: 9, 9189: 9, 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, 6112: 10, 14324: 7, 21510: 10, 980: 10, 3033: 10, 16378: 9, 6113: 9, 14325: 7, 19458: 9, 17405: 8, 981: 9, 3034: 8, 6114: 9, 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, 20487: 7, 18434: 8, 6116: 8, 10222: 9, 984: 9, 3037: 8, 13302: 9, 20488: 9, 6117: 9, 19462: 6, 17409: 8, 985: 10, 3038: 7, 9197: 8, 11250: 6, 20489: 8, 6118: 9, 10224: 7, 21516: 6, 15357: 9, 986: 10, 3039: 8, 5092: 9, 13304: 9, 20490: 7, 18437: 7, 6119: 9, 19464: 6, 17411: 8, 15358: 8, 987: 10, 3040: 9, 5093: 10, 9199: 7, 20491: 8, 16385: 9, 6120: 7, 12279: 5, 15359: 8, 988: 10, 3041: 9, 5094: 9, 11253: 8, 13306: 7, 20492: 7, 16386: 9, 6121: 7, 8174: 10, 21519: 5, 19466: 6, 17413: 9, 15360: 9, 989: 9, 3042: 8, 5095: 8, 9201: 8, 18440: 7, 16387: 9, 6122: 8, 8175: 9, 10228: 8, 12281: 8, 15361: 10, 990: 10, 3043: 8, 5096: 7, 13308: 8, 16388: 7, 6123: 7, 8176: 9, 12282: 7, 21521: 9, 19468: 6, 17415: 8, 991: 10, 3044: 9, 5097: 9, 9203: 9, 11256: 7, 20495: 10, 16389: 8, 6124: 7, 10230: 8, 12283: 9, 15363: 10, 992: 10, 3045: 9, 5098: 8, 13310: 8, 18443: 8, 16390: 8, 6125: 7, 12284: 8, 21523: 7, 19470: 10, 17417: 9, 15364: 7, 993: 10, 3046: 9, 5099: 9, 9205: 8, 16391: 9, 6126: 7, 10232: 9, 12285: 10, 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, 18446: 9, 16393: 8, 6128: 9, 10234: 9, 12287: 7, 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: 8, 11262: 6, 16395: 9, 10236: 9, 12289: 10, 14342: 8, 15369: 8, 998: 9, 3051: 9, 13316: 8, 18449: 10, 8184: 9, 10237: 8, 12290: 10, 21529: 9, 19476: 8, 17423: 8, 15370: 9, 999: 8, 3052: 8, 9211: 10, 8185: 8, 10238: 9, 14344: 9, 17424: 10, 1000: 7, 3053: 9, 11265: 5, 13318: 9, 18451: 9, 16398: 10, 8186: 10, 10239: 9, 14345: 9, 21531: 8, 19478: 5, 1001: 8, 3054: 8, 18452: 8, 8187: 10, 10240: 9, 14346: 9, 1002: 9, 3055: 9, 9214: 5, 13320: 5, 20506: 9, 18453: 8, 16400: 7, 8188: 9, 12294: 10, 14347: 8, 21533: 8, 19480: 8, 15374: 9, 1003: 9, 3056: 8, 5109: 9, 11268: 8, 20507: 10, 18454: 7, 8189: 9, 14348: 8, 15375: 10, 1004: 9, 3057: 9, 9216: 7, 20508: 9, 18455: 10, 16402: 9, 8190: 8, 10243: 10, 14349: 7, 21535: 8, 19482: 9, 15376: 10, 1005: 9, 3058: 8, 5111: 8, 9217: 8, 20509: 9, 18456: 9, 12297: 9, 14350: 7, 15377: 10, 1006: 9, 3059: 7, 11271: 6, 20510: 8, 18457: 10, 8192: 8, 12298: 10, 21537: 7, 19484: 9, 15378: 10, 1007: 9, 3060: 9, 20511: 10, 18458: 10, 8193: 9, 12299: 8, 14352: 9, 1008: 9, 3061: 8, 5114: 10, 9220: 10, 13326: 7, 20512: 8, 18459: 8, 6141: 7, 10247: 6, 12300: 9, 14353: 8, 21539: 9, 19486: 6, 15380: 9, 1009: 9, 3062: 9, 11274: 9, 20513: 10, 18460: 7, 6142: 8, 8195: 8, 14354: 7, 15381: 8, 1010: 10, 3063: 7, 11275: 8, 20514: 9, 18461: 9, 16408: 9, 6143: 9, 10249: 6, 14355: 9, 21541: 9, 19488: 6, 17435: 10, 1011: 9, 3064: 9, 11276: 7, 20515: 8, 18462: 8, 6144: 10, 10250: 7, 12303: 10, 14356: 6, 17436: 9, 15383: 9, 1012: 9, 3065: 8, 11277: 9, 13330: 8, 18463: 9, 16410: 9, 6145: 8, 8198: 8, 10251: 10, 19490: 6, 17437: 8, 15384: 10, 1013: 8, 3066: 9, 9225: 8, 11278: 8, 18464: 7, 6146: 8, 8199: 10, 10252: 7, 12305: 8, 14358: 9, 17438: 7, 15385: 8, 1014: 9, 3067: 10, 11279: 9, 18465: 7, 16412: 9, 6147: 10, 8200: 8, 12306: 9, 19492: 7, 17439: 7, 15386: 8, 1015: 9, 3068: 7, 11280: 9, 18466: 10, 8201: 9, 12307: 8, 14360: 9, 21546: 9, 17440: 9, 15387: 9, 1016: 10, 3069: 8, 9228: 5, 11281: 9, 13334: 8, 18467: 10, 6149: 10, 8202: 9, 12308: 9, 19494: 8, 17441: 8, 15388: 10, 1017: 9, 3070: 8, 13335: 9, 18468: 9, 6150: 9, 10256: 8, 12309: 7, 14362: 10, 17442: 7, 15389: 9, 1018: 10, 3071: 9, 9230: 7, 13336: 9, 20522: 7, 18469: 8, 6151: 7, 12310: 7, 14363: 10, 21549: 9, 19496: 7, 17443: 10, 15390: 10, 1019: 9, 3072: 9, 9231: 9, 13337: 8, 18470: 10, 6152: 7, 8205: 10, 12311: 10, 17444: 7, 15391: 10, 1020: 9, 3073: 10, 7179: 8, 9232: 8, 13338: 7, 20524: 8, 18471: 7, 6153: 8, 8206: 9, 12312: 7, 14365: 9, 21551: 10, 19498: 9, 17445: 10, 1021: 9, 3074: 10, 9233: 10, 13339: 8, 18472: 10, 6154: 10, 8207: 9, 12313: 7, 17446: 7, 15393: 8, 1022: 7, 3075: 7, 5128: 8, 9234: 10, 20526: 7, 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, 18474: 7, 6156: 9, 8209: 10, 12315: 9, 17448: 8, 15395: 9, 1024: 9, 3077: 9, 5130: 8, 7183: 10, 9236: 9, 20528: 8, 18475: 8, 6157: 7, 12316: 8, 14369: 10, 21555: 8, 19502: 5, 17449: 10, 15396: 9, 1025: 9, 3078: 8, 5131: 8, 9237: 10, 13343: 8, 18476: 8, 16423: 9, 6158: 9, 8211: 7, 10264: 7, 12317: 7, 14370: 8}};