{
  "checks_passed": 174743,
  "exhaustive_systems": 43681,
  "compatible_systems": 31713,
  "incompatible_systems": 11968,
  "compatible_reduced_modulus_one_cases": 576,
  "possible": {
    "solution": [
      14,
      18
    ],
    "trace": {
      "normalized": [
        [
          2,
          6
        ],
        [
          5,
          9
        ]
      ],
      "gcd": 3,
      "difference": 3,
      "residues_mod_gcd": [
        2,
        2
      ],
      "reduced_modulus": 3,
      "compatible": true,
      "reduced_coefficient": 2,
      "reduced_right_side": 1,
      "inverse": 2,
      "t": 2,
      "period": 18
    }
  },
  "impossible": {
    "solution": null,
    "trace": {
      "normalized": [
        [
          2,
          6
        ],
        [
          4,
          9
        ]
      ],
      "gcd": 3,
      "difference": 2,
      "residues_mod_gcd": [
        2,
        1
      ],
      "reduced_modulus": 3,
      "compatible": false
    }
  },
  "redundant": {
    "solution": [
      5,
      12
    ],
    "trace": {
      "normalized": [
        [
          5,
          12
        ],
        [
          1,
          4
        ]
      ],
      "gcd": 4,
      "difference": -4,
      "residues_mod_gcd": [
        1,
        1
      ],
      "reduced_modulus": 1,
      "compatible": true,
      "reduced_coefficient": 3,
      "reduced_right_side": -1,
      "inverse": null,
      "t": 0,
      "period": 12
    }
  },
  "solutions_in_product_window_0_to_53": [
    14,
    32,
    50
  ],
  "invalid_inputs_rejected": 11,
  "scope": "two exact integer congruences; normalized solution modulo lcm; no real calendar model"
}
