{
  "status": "pass",
  "exact_cases": 40,
  "exact_row_inequalities": 40,
  "symbolic_cases": 16448,
  "symbolic_exponent_inequalities": 16448,
  "weak_degree_failures": 8510,
  "weak_distance_failures": 16383,
  "samples": [
    {
      "alphabet_size": 1,
      "horizon": 0,
      "degree": 2,
      "radius": 0,
      "continuations": 1,
      "floor_log2_views": 1
    },
    {
      "alphabet_size": 1,
      "horizon": 1,
      "degree": 2,
      "radius": 2,
      "continuations": 2,
      "floor_log2_views": 7
    },
    {
      "alphabet_size": 1,
      "horizon": 4,
      "degree": 2,
      "radius": 5,
      "continuations": 5,
      "floor_log2_views": 65
    },
    {
      "alphabet_size": 1,
      "horizon": 7,
      "degree": 2,
      "radius": 8,
      "continuations": 8,
      "floor_log2_views": 533
    },
    {
      "alphabet_size": 2,
      "horizon": 0,
      "degree": 2,
      "radius": 0,
      "continuations": 1,
      "floor_log2_views": 1
    },
    {
      "alphabet_size": 2,
      "horizon": 1,
      "degree": 2,
      "radius": 2,
      "continuations": 3,
      "floor_log2_views": 7
    },
    {
      "alphabet_size": 2,
      "horizon": 4,
      "degree": 2,
      "radius": 5,
      "continuations": 31,
      "floor_log2_views": 65
    },
    {
      "alphabet_size": 2,
      "horizon": 7,
      "degree": 2,
      "radius": 8,
      "continuations": 255,
      "floor_log2_views": 533
    },
    {
      "alphabet_size": 3,
      "horizon": 0,
      "degree": 3,
      "radius": 0,
      "continuations": 1,
      "floor_log2_views": 1
    },
    {
      "alphabet_size": 3,
      "horizon": 1,
      "degree": 3,
      "radius": 2,
      "continuations": 4,
      "floor_log2_views": 13
    },
    {
      "alphabet_size": 3,
      "horizon": 4,
      "degree": 3,
      "radius": 5,
      "continuations": 121,
      "floor_log2_views": 371
    },
    {
      "alphabet_size": 3,
      "horizon": 7,
      "degree": 3,
      "radius": 8,
      "continuations": 3280,
      "floor_log2_views": 10032
    },
    {
      "alphabet_size": 4,
      "horizon": 0,
      "degree": 4,
      "radius": 0,
      "continuations": 1,
      "floor_log2_views": 1
    },
    {
      "alphabet_size": 4,
      "horizon": 1,
      "degree": 4,
      "radius": 2,
      "continuations": 5,
      "floor_log2_views": 21
    },
    {
      "alphabet_size": 4,
      "horizon": 4,
      "degree": 4,
      "radius": 5,
      "continuations": 341,
      "floor_log2_views": 1376
    },
    {
      "alphabet_size": 4,
      "horizon": 7,
      "degree": 4,
      "radius": 8,
      "continuations": 21845,
      "floor_log2_views": 88108
    },
    {
      "alphabet_size": 5,
      "horizon": 0,
      "degree": 5,
      "radius": 0,
      "continuations": 1,
      "floor_log2_views": 1
    },
    {
      "alphabet_size": 5,
      "horizon": 1,
      "degree": 5,
      "radius": 2,
      "continuations": 6,
      "floor_log2_views": 31
    },
    {
      "alphabet_size": 5,
      "horizon": 4,
      "degree": 5,
      "radius": 5,
      "continuations": 781,
      "floor_log2_views": 3919
    },
    {
      "alphabet_size": 5,
      "horizon": 7,
      "degree": 5,
      "radius": 8,
      "continuations": 97656,
      "floor_log2_views": 490028
    }
  ]
}