{
  "status": "PASS",
  "arithmetic": "Arb 256-bit outward balls via python-flint",
  "data_sha256": "4f25f11271f070d8051ab2891f66ced4622d7f319062f9f9688769a0a33a6920",
  "row_enclosures": [
    [
      "64.00000000000000000000000000000000000000000000000000000000000000000000000000",
      "[125.090909090909090909090909090909090909090909090909090909090909090909090909 +/- 2.19e-73]",
      "[245.45087235996326905417814508723599632690541781450872359963269054178145087 +/- 3.13e-72]"
    ],
    [
      "96.00000000000000000000000000000000000000000000000000000000000000000000000000",
      "[153.760434602302190025782071344065403657809792898704376502219195730561420072 +/- 9.76e-73]",
      "[411.08651304008053144799276723521451565634361177685239138431077019454053511 +/- 7.75e-72]"
    ],
    [
      "128.0000000000000000000000000000000000000000000000000000000000000000000000000",
      "[135.195916338991699134967152123263197894098447908552765739785607850051928797 +/- 8.80e-73]",
      "[301.35412845629791414903660762121202270761993368981293252461927074605653756 +/- 7.18e-72]"
    ]
  ],
  "counts_at_2_3_4": [
    [
      0,
      0,
      0
    ],
    [
      16,
      2,
      0
    ],
    [
      3,
      2,
      0
    ]
  ],
  "weight_enclosures": [
    "[0.4746910042691921727001091216442946009215114340978798716212693969092205782 +/- 3.20e-74]",
    "[0.2710007177979803108497817567114107981569771318042402567574612061815588436 +/- 6.39e-74]",
    "[0.2543082779328275164501091216442946009215114340978798716212693969092205782 +/- 3.19e-74]"
  ],
  "denominator": "[-275.3680252638998796927707817619810122781618720493831266443695791012430818 +/- 1.64e-71]",
  "mean_Fp": "[135.4301580751827577845913595588101870552727987889957884182731976358361463 +/- 3.08e-71]",
  "Fp_strict_margins": [
    "[7.0894881426911047845913595588101870552727987889957884182731976358361463 +/- 3.08e-71]",
    "[6.4200560607290692154086404411898129447272012110042115817268023641638537 +/- 3.08e-71]"
  ],
  "all_threshold_bucket_margins": {
    "0<V<=2": "7.000000000000000000000000000000000000000000000000000000000000000000000000000",
    "2<V<=3": "[2.80229824933506704495439909558577799462506615673975084491804707826863134 +/- 5.39e-72]",
    "3<V<4": "[1.449382008538384345400218243288589201843022868195759743242538793818441156 +/- 5.57e-73]"
  },
  "equalities": "By exact definitions: sum weights=1, mean F1=B1(1+epsilon), mean Cp=B3",
  "cubic_absolute_slack": "[3.200000000000000000000000000000000000000000000000000000000000000000000000000 +/- 6.22e-77]",
  "distinct_corner_exact": "103052247242763669/128000000000000000",
  "simple_corner_exact": "39052247242763669/64000000000000000",
  "scope": "One N=64 atom-only model with all-V ladder C=10 (and hence every C>=10)."
}