{
  "mask_completeness_mass": 147573952589676413000,
  "expected_mass": 147573952589676413000,
  "all_60_sums_equal": true,
  "geometric_series_inverses": true,
  "quadratic_interval_cases": 1248480,
  "failures": 0,
  "checked_rows": [
    [
      1,
      1
    ],
    [
      1,
      2
    ],
    [
      1,
      3
    ],
    [
      1,
      4
    ],
    [
      1,
      5
    ],
    [
      1,
      6
    ],
    [
      1,
      7
    ],
    [
      1,
      8
    ],
    [
      1,
      9
    ],
    [
      1,
      10
    ],
    [
      1,
      11
    ],
    [
      1,
      12
    ],
    [
      1,
      13
    ],
    [
      1,
      14
    ],
    [
      1,
      15
    ],
    [
      2,
      1
    ],
    [
      2,
      2
    ],
    [
      2,
      3
    ],
    [
      2,
      4
    ],
    [
      2,
      5
    ],
    [
      2,
      6
    ],
    [
      2,
      7
    ],
    [
      2,
      8
    ],
    [
      2,
      9
    ],
    [
      2,
      10
    ],
    [
      2,
      11
    ],
    [
      2,
      12
    ],
    [
      2,
      13
    ],
    [
      2,
      14
    ],
    [
      2,
      15
    ],
    [
      3,
      1
    ],
    [
      3,
      2
    ],
    [
      3,
      3
    ],
    [
      3,
      4
    ],
    [
      3,
      5
    ],
    [
      3,
      6
    ],
    [
      3,
      7
    ],
    [
      3,
      8
    ],
    [
      3,
      9
    ],
    [
      3,
      10
    ],
    [
      3,
      11
    ],
    [
      3,
      12
    ],
    [
      3,
      13
    ],
    [
      3,
      14
    ],
    [
      3,
      15
    ],
    [
      "all_r_ge_4",
      1
    ],
    [
      "all_r_ge_4",
      2
    ],
    [
      "all_r_ge_4",
      3
    ],
    [
      "all_r_ge_4",
      4
    ],
    [
      "all_r_ge_4",
      5
    ],
    [
      "all_r_ge_4",
      6
    ],
    [
      "all_r_ge_4",
      7
    ],
    [
      "all_r_ge_4",
      8
    ],
    [
      "all_r_ge_4",
      9
    ],
    [
      "all_r_ge_4",
      10
    ],
    [
      "all_r_ge_4",
      11
    ],
    [
      "all_r_ge_4",
      12
    ],
    [
      "all_r_ge_4",
      13
    ],
    [
      "all_r_ge_4",
      14
    ],
    [
      "all_r_ge_4",
      15
    ]
  ]
}