{"part": "par_j3_p0.json", "j": 3, "V": 0.22346547202400005, "items": 2006748, "chunks": {"ok": 2006742, "unresolved": 6, "sub_empty": 747214, "sub_leaf": 727871}, "reverified_originals": 6, "reverify": {"ok": 0, "unresolved": 6, "face": 6}, "unresolved_after": 6, "max_ub": 0.2234654716222028, "still": [{"index": 702630, "box": {"lo": [-1.0, -1.0, -1.0, 0.12499999999999992, 0.96875, -0.25000000000000006], "hi": [-0.6666666666666666, -0.75, -0.5, 0.3124999999999999, 1.0, 0.12499999999999992], "cuts": [[0.23254979614938354, -0.6349094748432139, 0.11587871319975933, 0.7275868847720951], [0.18883558559601393, -0.6561967664238979, 0.08649486638494402, 0.7254416333768565], [0.0, -0.7071067811865476, -1.6940279406976732e-17, 0.7071067811865476], [0.0, -0.7071067811865476, -1.6940279406976732e-17, 0.7071067811865476]]}, "unresolved": [{"lo": [-0.7708333333333333, -0.765625, -0.765625, 0.12499999999999992, 0.96875, 0.10156249999999992], "hi": [-0.75, -0.75, -0.75, 0.1484374999999999, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7708333333333333, -0.765625, -0.765625, 0.1484374999999999, 0.96875, 0.10156249999999992], "hi": [-0.75, -0.75, -0.75, 0.1718749999999999, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.75, -0.765625, -0.765625, 0.12499999999999992, 0.96875, 0.10156249999999992], "hi": [-0.7291666666666666, -0.75, -0.75, 0.1484374999999999, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7291666666666666, -0.765625, -0.765625, 0.12499999999999992, 0.96875, 0.10156249999999992], "hi": [-0.7083333333333333, -0.75, -0.75, 0.1484374999999999, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.75, -0.765625, -0.765625, 0.1484374999999999, 0.96875, 0.10156249999999992], "hi": [-0.7291666666666666, -0.75, -0.75, 0.1718749999999999, 1.0, 0.12499999999999992], "why": "fail"}]}, {"index": 703975, "box": {"lo": [-0.6666666666666666, -1.0, -1.0, -0.25000000000000006, 0.96875, -0.25000000000000006], "hi": [-0.3333333333333333, -0.75, -0.5, 0.12499999999999992, 1.0, 0.12499999999999992], "cuts": [[-0.34593981764253356, 0.5227418048712984, -0.3651063776386169, -0.6883051510899475], [0.23254979614938354, -0.6349094748432139, 0.11587871319975933, 0.7275868847720951], [0.18883558559601393, -0.6561967664238979, 0.08649486638494402, 0.7254416333768565], [0.18883558559601393, -0.6561967664238979, 0.08649486638494402, 0.7254416333768565]]}, "unresolved": [{"lo": [-0.6041666666666666, -0.765625, -0.78125, -0.10937500000000006, 0.96875, 0.10156249999999992], "hi": [-0.5833333333333333, -0.75, -0.75, -0.08593750000000006, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.625, -0.765625, -0.78125, -0.08593750000000006, 0.96875, 0.10156249999999992], "hi": [-0.6041666666666666, -0.75, -0.75, -0.06250000000000007, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6041666666666666, -0.765625, -0.78125, -0.08593750000000006, 0.96875, 0.10156249999999992], "hi": [-0.5833333333333333, -0.75, -0.75, -0.06250000000000007, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.5833333333333333, -0.765625, -0.78125, -0.13281250000000006, 0.96875, 0.10156249999999992], "hi": [-0.5625, -0.75, -0.75, -0.10937500000000006, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.5625, -0.765625, -0.78125, -0.13281250000000006, 0.96875, 0.10156249999999992], "hi": [-0.5416666666666666, -0.75, -0.75, -0.10937500000000006, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.5833333333333333, -0.765625, -0.78125, -0.10937500000000006, 0.96875, 0.10156249999999992], "hi": [-0.5625, -0.75, -0.75, -0.08593750000000006, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6458333333333333, -0.765625, -0.78125, -0.06250000000000007, 0.96875, 0.10156249999999992], "hi": [-0.625, -0.75, -0.75, -0.03906250000000007, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6666666666666666, -0.765625, -0.78125, -0.03906250000000007, 0.96875, 0.10156249999999992], "hi": [-0.6458333333333333, -0.75, -0.75, -0.015625000000000073, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6458333333333333, -0.765625, -0.78125, -0.03906250000000007, 0.96875, 0.10156249999999992], "hi": [-0.625, -0.75, -0.75, -0.015625000000000073, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.625, -0.765625, -0.78125, -0.06250000000000007, 0.96875, 0.10156249999999992], "hi": [-0.6041666666666666, -0.75, -0.75, -0.03906250000000007, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6041666666666666, -0.765625, -0.78125, -0.06250000000000007, 0.96875, 0.10156249999999992], "hi": [-0.5833333333333333, -0.75, -0.75, -0.03906250000000007, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.625, -0.765625, -0.78125, -0.03906250000000007, 0.96875, 0.10156249999999992], "hi": [-0.6041666666666666, -0.75, -0.75, -0.015625000000000073, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6666666666666666, -0.765625, -0.78125, -0.015625000000000073, 0.96875, 0.10156249999999992], "hi": [-0.6458333333333333, -0.75, -0.75, 0.007812499999999925, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6458333333333333, -0.765625, -0.78125, -0.015625000000000073, 0.96875, 0.10156249999999992], "hi": [-0.625, -0.75, -0.75, 0.007812499999999925, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6666666666666666, -0.765625, -0.78125, 0.007812499999999925, 0.96875, 0.10156249999999992], "hi": [-0.6458333333333333, -0.75, -0.75, 0.031249999999999924, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6666666666666666, -0.765625, -0.78125, 0.031249999999999924, 0.96875, 0.10156249999999992], "hi": [-0.6458333333333333, -0.75, -0.75, 0.05468749999999992, 1.0, 0.12499999999999992], "why": "fail"}]}, {"index": 704027, "box": {"lo": [-1.0, -1.0, -1.0, -0.25000000000000006, 0.96875, -0.25000000000000006], "hi": [-0.6666666666666666, -0.75, -0.5, 0.12499999999999992, 1.0, 0.12499999999999992], "cuts": [[-0.34593981764253356, 0.5227418048712984, -0.3651063776386169, -0.6883051510899475], [0.23254979614938354, -0.6349094748432139, 0.11587871319975933, 0.7275868847720951], [0.18883558559601393, -0.6561967664238979, 0.08649486638494402, 0.7254416333768565], [0.0, -0.7071067811865476, -1.6940279406976732e-17, 0.7071067811865476]]}, "unresolved": [{"lo": [-0.6875, -0.765625, -0.78125, -0.015625000000000073, 0.96875, 0.10156249999999992], "hi": [-0.6666666666666666, -0.75, -0.75, 0.007812499999999925, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6875, -0.765625, -0.78125, 0.007812499999999925, 0.96875, 0.10156249999999992], "hi": [-0.6666666666666666, -0.75, -0.75, 0.031249999999999924, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7708333333333333, -0.765625, -0.78125, 0.10156249999999992, 0.96875, 0.10156249999999992], "hi": [-0.75, -0.75, -0.75, 0.12499999999999992, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7291666666666666, -0.765625, -0.78125, 0.05468749999999992, 0.96875, 0.10156249999999992], "hi": [-0.7083333333333333, -0.75, -0.75, 0.07812499999999992, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7083333333333333, -0.765625, -0.78125, 0.031249999999999924, 0.96875, 0.10156249999999992], "hi": [-0.6875, -0.75, -0.75, 0.05468749999999992, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6875, -0.765625, -0.78125, 0.031249999999999924, 0.96875, 0.10156249999999992], "hi": [-0.6666666666666666, -0.75, -0.75, 0.05468749999999992, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7083333333333333, -0.765625, -0.78125, 0.05468749999999992, 0.96875, 0.10156249999999992], "hi": [-0.6875, -0.75, -0.75, 0.07812499999999992, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6875, -0.765625, -0.78125, 0.05468749999999992, 0.96875, 0.10156249999999992], "hi": [-0.6666666666666666, -0.75, -0.75, 0.07812499999999992, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.75, -0.765625, -0.78125, 0.07812499999999992, 0.96875, 0.10156249999999992], "hi": [-0.7291666666666666, -0.75, -0.75, 0.10156249999999992, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7291666666666666, -0.765625, -0.78125, 0.07812499999999992, 0.96875, 0.10156249999999992], "hi": [-0.7083333333333333, -0.75, -0.75, 0.10156249999999992, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.75, -0.765625, -0.78125, 0.10156249999999992, 0.96875, 0.10156249999999992], "hi": [-0.7291666666666666, -0.75, -0.75, 0.12499999999999992, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7291666666666666, -0.765625, -0.78125, 0.10156249999999992, 0.96875, 0.10156249999999992], "hi": [-0.7083333333333333, -0.75, -0.75, 0.12499999999999992, 1.0, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7083333333333333, -0.765625, -0.78125, 0.07812499999999992, 0.96875, 0.10156249999999992], "hi": [-0.6875, -0.75, -0.75, 0.10156249999999992, 1.0, 0.12499999999999992], "why": "fail"}]}, {"index": 760748, "box": {"lo": [-1.0, -1.0, -1.0, 0.96875, 0.12499999999999992, -0.25000000000000006], "hi": [-0.6666666666666666, -0.75, -0.5, 1.0, 0.3124999999999999, 0.12499999999999992], "cuts": [[-0.23254979614938373, 0.6349094748432141, -0.7275868847720953, -0.11587871319975936], [-0.1888355855960143, 0.6561967664238977, -0.7254416333768564, -0.0864948663849444], [1.770341658541349e-16, -0.7071067811865475, 0.7071067811865477, 1.3471900614345929e-16], [1.770341658541349e-16, -0.7071067811865475, 0.7071067811865477, 1.3471900614345929e-16]]}, "unresolved": [{"lo": [-0.7708333333333333, -0.765625, -0.765625, 0.96875, 0.12499999999999992, 0.10156249999999992], "hi": [-0.75, -0.75, -0.75, 1.0, 0.1484374999999999, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7708333333333333, -0.765625, -0.765625, 0.96875, 0.1484374999999999, 0.10156249999999992], "hi": [-0.75, -0.75, -0.75, 1.0, 0.1718749999999999, 0.12499999999999992], "why": "fail"}, {"lo": [-0.75, -0.765625, -0.765625, 0.96875, 0.12499999999999992, 0.10156249999999992], "hi": [-0.7291666666666666, -0.75, -0.75, 1.0, 0.1484374999999999, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7291666666666666, -0.765625, -0.765625, 0.96875, 0.12499999999999992, 0.10156249999999992], "hi": [-0.7083333333333333, -0.75, -0.75, 1.0, 0.1484374999999999, 0.12499999999999992], "why": "fail"}, {"lo": [-0.75, -0.765625, -0.765625, 0.96875, 0.1484374999999999, 0.10156249999999992], "hi": [-0.7291666666666666, -0.75, -0.75, 1.0, 0.1718749999999999, 0.12499999999999992], "why": "fail"}]}, {"index": 764485, "box": {"lo": [-0.6666666666666666, -1.0, -1.0, 0.96875, -0.25000000000000006, -0.25000000000000006], "hi": [-0.3333333333333333, -0.75, -0.5, 1.0, 0.12499999999999992, 0.12499999999999992], "cuts": [[0.34593981764253334, -0.5227418048712986, 0.6883051510899474, 0.36510637763861703], [-0.23254979614938373, 0.6349094748432141, -0.7275868847720953, -0.11587871319975936], [-0.1888355855960143, 0.6561967664238977, -0.7254416333768564, -0.0864948663849444], [-0.1888355855960143, 0.6561967664238977, -0.7254416333768564, -0.0864948663849444]]}, "unresolved": [{"lo": [-0.6041666666666666, -0.765625, -0.78125, 0.96875, -0.10937500000000006, 0.10156249999999992], "hi": [-0.5833333333333333, -0.75, -0.75, 1.0, -0.08593750000000006, 0.12499999999999992], "why": "fail"}, {"lo": [-0.625, -0.765625, -0.78125, 0.96875, -0.08593750000000006, 0.10156249999999992], "hi": [-0.6041666666666666, -0.75, -0.75, 1.0, -0.06250000000000007, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6041666666666666, -0.765625, -0.78125, 0.96875, -0.08593750000000006, 0.10156249999999992], "hi": [-0.5833333333333333, -0.75, -0.75, 1.0, -0.06250000000000007, 0.12499999999999992], "why": "fail"}, {"lo": [-0.5833333333333333, -0.765625, -0.78125, 0.96875, -0.13281250000000006, 0.10156249999999992], "hi": [-0.5625, -0.75, -0.75, 1.0, -0.10937500000000006, 0.12499999999999992], "why": "fail"}, {"lo": [-0.5625, -0.765625, -0.78125, 0.96875, -0.13281250000000006, 0.10156249999999992], "hi": [-0.5416666666666666, -0.75, -0.75, 1.0, -0.10937500000000006, 0.12499999999999992], "why": "fail"}, {"lo": [-0.5833333333333333, -0.765625, -0.78125, 0.96875, -0.10937500000000006, 0.10156249999999992], "hi": [-0.5625, -0.75, -0.75, 1.0, -0.08593750000000006, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6458333333333333, -0.765625, -0.78125, 0.96875, -0.06250000000000007, 0.10156249999999992], "hi": [-0.625, -0.75, -0.75, 1.0, -0.03906250000000007, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6666666666666666, -0.765625, -0.78125, 0.96875, -0.03906250000000007, 0.10156249999999992], "hi": [-0.6458333333333333, -0.75, -0.75, 1.0, -0.015625000000000073, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6458333333333333, -0.765625, -0.78125, 0.96875, -0.03906250000000007, 0.10156249999999992], "hi": [-0.625, -0.75, -0.75, 1.0, -0.015625000000000073, 0.12499999999999992], "why": "fail"}, {"lo": [-0.625, -0.765625, -0.78125, 0.96875, -0.06250000000000007, 0.10156249999999992], "hi": [-0.6041666666666666, -0.75, -0.75, 1.0, -0.03906250000000007, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6041666666666666, -0.765625, -0.78125, 0.96875, -0.06250000000000007, 0.10156249999999992], "hi": [-0.5833333333333333, -0.75, -0.75, 1.0, -0.03906250000000007, 0.12499999999999992], "why": "fail"}, {"lo": [-0.625, -0.765625, -0.78125, 0.96875, -0.03906250000000007, 0.10156249999999992], "hi": [-0.6041666666666666, -0.75, -0.75, 1.0, -0.015625000000000073, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6666666666666666, -0.765625, -0.78125, 0.96875, -0.015625000000000073, 0.10156249999999992], "hi": [-0.6458333333333333, -0.75, -0.75, 1.0, 0.007812499999999925, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6458333333333333, -0.765625, -0.78125, 0.96875, -0.015625000000000073, 0.10156249999999992], "hi": [-0.625, -0.75, -0.75, 1.0, 0.007812499999999925, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6666666666666666, -0.765625, -0.78125, 0.96875, 0.007812499999999925, 0.10156249999999992], "hi": [-0.6458333333333333, -0.75, -0.75, 1.0, 0.031249999999999924, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6666666666666666, -0.765625, -0.78125, 0.96875, 0.031249999999999924, 0.10156249999999992], "hi": [-0.6458333333333333, -0.75, -0.75, 1.0, 0.05468749999999992, 0.12499999999999992], "why": "fail"}]}, {"index": 764559, "box": {"lo": [-1.0, -1.0, -1.0, 0.96875, -0.25000000000000006, -0.25000000000000006], "hi": [-0.6666666666666666, -0.75, -0.5, 1.0, 0.12499999999999992, 0.12499999999999992], "cuts": [[0.34593981764253334, -0.5227418048712986, 0.6883051510899474, 0.36510637763861703], [-0.23254979614938373, 0.6349094748432141, -0.7275868847720953, -0.11587871319975936], [-0.1888355855960143, 0.6561967664238977, -0.7254416333768564, -0.0864948663849444], [-3.839265756735575e-16, -0.7071067811865478, 0.7071067811865475, -2.4128592615172584e-16]]}, "unresolved": [{"lo": [-0.6875, -0.765625, -0.78125, 0.96875, -0.015625000000000073, 0.10156249999999992], "hi": [-0.6666666666666666, -0.75, -0.75, 1.0, 0.007812499999999925, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6875, -0.765625, -0.78125, 0.96875, 0.007812499999999925, 0.10156249999999992], "hi": [-0.6666666666666666, -0.75, -0.75, 1.0, 0.031249999999999924, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7708333333333333, -0.765625, -0.78125, 0.96875, 0.10156249999999992, 0.10156249999999992], "hi": [-0.75, -0.75, -0.75, 1.0, 0.12499999999999992, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7291666666666666, -0.765625, -0.78125, 0.96875, 0.05468749999999992, 0.10156249999999992], "hi": [-0.7083333333333333, -0.75, -0.75, 1.0, 0.07812499999999992, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7083333333333333, -0.765625, -0.78125, 0.96875, 0.031249999999999924, 0.10156249999999992], "hi": [-0.6875, -0.75, -0.75, 1.0, 0.05468749999999992, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6875, -0.765625, -0.78125, 0.96875, 0.031249999999999924, 0.10156249999999992], "hi": [-0.6666666666666666, -0.75, -0.75, 1.0, 0.05468749999999992, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7083333333333333, -0.765625, -0.78125, 0.96875, 0.05468749999999992, 0.10156249999999992], "hi": [-0.6875, -0.75, -0.75, 1.0, 0.07812499999999992, 0.12499999999999992], "why": "fail"}, {"lo": [-0.6875, -0.765625, -0.78125, 0.96875, 0.05468749999999992, 0.10156249999999992], "hi": [-0.6666666666666666, -0.75, -0.75, 1.0, 0.07812499999999992, 0.12499999999999992], "why": "fail"}, {"lo": [-0.75, -0.765625, -0.78125, 0.96875, 0.07812499999999992, 0.10156249999999992], "hi": [-0.7291666666666666, -0.75, -0.75, 1.0, 0.10156249999999992, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7291666666666666, -0.765625, -0.78125, 0.96875, 0.07812499999999992, 0.10156249999999992], "hi": [-0.7083333333333333, -0.75, -0.75, 1.0, 0.10156249999999992, 0.12499999999999992], "why": "fail"}, {"lo": [-0.75, -0.765625, -0.78125, 0.96875, 0.10156249999999992, 0.10156249999999992], "hi": [-0.7291666666666666, -0.75, -0.75, 1.0, 0.12499999999999992, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7291666666666666, -0.765625, -0.78125, 0.96875, 0.10156249999999992, 0.10156249999999992], "hi": [-0.7083333333333333, -0.75, -0.75, 1.0, 0.12499999999999992, 0.12499999999999992], "why": "fail"}, {"lo": [-0.7083333333333333, -0.765625, -0.78125, 0.96875, 0.07812499999999992, 0.10156249999999992], "hi": [-0.6875, -0.75, -0.75, 1.0, 0.10156249999999992, 0.12499999999999992], "why": "fail"}]}]}