{"part": "par_j2_p2.json", "j": 2, "V": 0.23654364801600003, "items": 2977498, "chunks": {"ok": 2977495, "unresolved": 3, "sub_empty": 973890, "sub_leaf": 1432350}, "reverified_originals": 3, "reverify": {"ok": 0, "unresolved": 3, "face": 0}, "unresolved_after": 3, "max_ub": 0.23654364798931385, "still": [{"index": 542426, "box": {"lo": [0.9993489583333334, 0.90625, -0.875, 0.875, -0.8125, -1.0], "hi": [1.0, 0.921875, -0.8125, 0.890625, -0.75, -0.90625], "cuts": [[-0.4223287745506492, 0.3408769615360746, 0.6296912661835029, 0.5558149085556249], [0.08855921454042608, -0.1947813927078297, 0.7362438920580789, 0.6419987585517225], [-0.44668455677340824, 0.2666954678585616, 0.6815943768014996, 0.5145634457250357], [0.24923399122841855, -0.4137112996601196, 0.6836154382702273, 0.5471702757903542]]}, "unresolved": [{"lo": [0.9993489583333334, 0.90625, -0.833984375, 0.888671875, -0.8125, -0.9912109375], "hi": [1.0, 0.908203125, -0.83203125, 0.890625, -0.80859375, -0.98828125], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.83203125, 0.888671875, -0.8125, -0.9912109375], "hi": [1.0, 0.908203125, -0.830078125, 0.890625, -0.80859375, -0.98828125], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.833984375, 0.888671875, -0.8125, -0.98828125], "hi": [1.0, 0.908203125, -0.83203125, 0.890625, -0.80859375, -0.9853515625], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.833984375, 0.888671875, -0.8125, -0.9853515625], "hi": [1.0, 0.908203125, -0.83203125, 0.890625, -0.80859375, -0.982421875], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.83203125, 0.888671875, -0.8125, -0.98828125], "hi": [1.0, 0.908203125, -0.830078125, 0.890625, -0.80859375, -0.9853515625], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.830078125, 0.888671875, -0.8125, -0.98828125], "hi": [1.0, 0.908203125, -0.828125, 0.890625, -0.80859375, -0.9853515625], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.83203125, 0.888671875, -0.8125, -0.9853515625], "hi": [1.0, 0.908203125, -0.830078125, 0.890625, -0.80859375, -0.982421875], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.830078125, 0.888671875, -0.80859375, -0.98828125], "hi": [1.0, 0.908203125, -0.828125, 0.890625, -0.8046875, -0.9853515625], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.830078125, 0.888671875, -0.80859375, -0.9853515625], "hi": [1.0, 0.908203125, -0.828125, 0.890625, -0.8046875, -0.982421875], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.828125, 0.888671875, -0.8125, -0.9853515625], "hi": [1.0, 0.908203125, -0.826171875, 0.890625, -0.80859375, -0.982421875], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.828125, 0.888671875, -0.80859375, -0.98828125], "hi": [1.0, 0.908203125, -0.826171875, 0.890625, -0.8046875, -0.9853515625], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.826171875, 0.888671875, -0.80859375, -0.98828125], "hi": [1.0, 0.908203125, -0.82421875, 0.890625, -0.8046875, -0.9853515625], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.828125, 0.888671875, -0.80859375, -0.9853515625], "hi": [1.0, 0.908203125, -0.826171875, 0.890625, -0.8046875, -0.982421875], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.826171875, 0.888671875, -0.8046875, -0.98828125], "hi": [1.0, 0.908203125, -0.82421875, 0.890625, -0.80078125, -0.9853515625], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.82421875, 0.888671875, -0.8046875, -0.98828125], "hi": [1.0, 0.908203125, -0.822265625, 0.890625, -0.80078125, -0.9853515625], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.822265625, 0.888671875, -0.8046875, -0.98828125], "hi": [1.0, 0.908203125, -0.8203125, 0.890625, -0.80078125, -0.9853515625], "why": "fail"}, {"lo": [0.9993489583333334, 0.90625, -0.822265625, 0.888671875, -0.80078125, -0.98828125], "hi": [1.0, 0.908203125, -0.8203125, 0.890625, -0.796875, -0.9853515625], "why": "fail"}]}, {"index": 1650068, "box": {"lo": [0.9993489583333334, 0.9921875, -1.0, 0.98828125, -1.0, -1.0], "hi": [0.9998372395833334, 0.994140625, -0.984375, 0.9921875, -0.984375, -0.9765625], "cuts": [[-0.7071067811865442, 0.707106781186551, -4.384833244894495e-15, 2.2520775216237548e-15], [0.7071067811865376, -0.7071067811865573, 2.3300076834114196e-14, 3.791384248726359e-15], [-0.7905524736712245, 0.4363624834873713, -0.06299897824796657, -0.4250243500280349], [0.7731314022475976, -0.6174594314180308, -0.014362665425517956, 0.1442407683474442]], "x0": [0.9993489583333334, 0.9921875, -0.984375, 0.98828125, -1.0, -1.0], "x1": [0.9995930989583334, 0.9931640625, -0.9921875, 0.990234375, -0.9921875, -0.98828125]}, "unresolved": [{"lo": [0.9993489583333334, 0.9921875, -0.990234375, 0.98974609375, -0.99267578125, -0.994873046875], "hi": [0.9998372395833334, 0.99267578125, -0.98974609375, 0.990234375, -0.9921875, -0.994140625], "why": "fail"}]}, {"index": 1651474, "box": {"lo": [0.9993489583333334, 0.98828125, -1.0, 0.984375, -1.0, -1.0], "hi": [0.9998372395833334, 0.990234375, -0.984375, 0.98828125, -0.984375, -0.9765625], "cuts": [[0.7551666501754388, -0.6471063898358492, -0.10465309403203753, 0.004937672117786104], [-0.7772641621176654, 0.44702320672967877, -0.09495790821897881, -0.4324507724577613], [0.4335259019019814, -0.47005603413875663, 0.5600932551485677, 0.5266860190729379], [-0.39291730134398856, 0.5747618422124559, 0.4084873855088811, 0.5902566178546579]], "x0": [0.9993489583333334, 0.98828125, -0.984375, 0.984375, -0.984375, -0.9765625], "x1": [0.9995930989583334, 0.9892578125, -0.9921875, 0.986328125, -0.9921875, -0.98828125]}, "unresolved": [{"lo": [0.9993489583333334, 0.98828125, -0.986328125, 0.98583984375, -0.98876953125, -0.994873046875], "hi": [0.9998372395833334, 0.98876953125, -0.98583984375, 0.986328125, -0.98828125, -0.994140625], "why": "fail"}]}]}