{
  "verified": true,
  "studySHA256": "dde5efe467054c268ef64ad3a6111a374ebd0a7da3773280fc59b62ee585a6e1",
  "walkPlacements": 15,
  "corePlacements": 5,
  "removedTiles": 10,
  "properSubsets": 31,
  "properSubsetMinimumDegree": 2,
  "blockedPointCandidates": 120,
  "faceContacts": [
    [
      0,
      1
    ],
    [
      0,
      3
    ],
    [
      0,
      4
    ],
    [
      1,
      2
    ],
    [
      1,
      3
    ],
    [
      2,
      3
    ],
    [
      3,
      4
    ]
  ],
  "faceConnected": true,
  "prototypeAssignments": 240,
  "symmetryTranslationSubsetChecks": 3072,
  "repeatedOrientations": true,
  "tileStabilizerCovariance": true,
  "exactOrbitOnly": true,
  "exactMarkingRollback": true,
  "finiteTargetGuard": true,
  "failedDecision": {
    "choices": 4,
    "excluded": [
      "2@-4,6,0"
    ],
    "failedCandidateRejected": true
  },
  "scope": "First-dead-branch mining from an unmarked center-and-corner point model. Proper subsets pass forced propagation, not a complete-corona or infinite-extension test."
}