readback-evidence.json

back to table · edit · history · where entries came from · files · download

3334 bytes, as of the version from 2026-11-09 09:52 (current). Recorded here, not run.

{
  "table": "T685",
  "generator_verify_ok": true,
  "entries": [
    {
      "n": 3,
      "k": 1,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 3,
      "k": 2,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 3,
      "k": 3,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 3,
      "k": 4,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 3,
      "k": 5,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 3,
      "k": 6,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 3,
      "k": 7,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 3,
      "k": 8,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 3,
      "k": 9,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 3,
      "k": 10,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 3,
      "k": 11,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 3,
      "k": 12,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 4,
      "k": 1,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 4,
      "k": 2,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 4,
      "k": 3,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 4,
      "k": 4,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 4,
      "k": 5,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 4,
      "k": 6,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 4,
      "k": 7,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 4,
      "k": 8,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 4,
      "k": 9,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 4,
      "k": 10,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 4,
      "k": 11,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    },
    {
      "n": 4,
      "k": 12,
      "high_precision_ball_contained": true,
      "independent_quadrature_inside": true
    }
  ],
  "stored_properties_checked": true,
  "low_order_controls": 5,
  "T283_boundary_containment": true,
  "live_ingredient_containment": 3
}