{
  "fixture": "trefoil-local-III-II-I",
  "knownKnot": "3_1",
  "bounds": {
    "depth": 5,
    "maxEdges": 68,
    "region": {
      "min": [
        0,
        3,
        -2
      ],
      "max": [
        2,
        3,
        0
      ]
    },
    "stateCap": 60000
  },
  "seed": 31,
  "runs": [
    {
      "lane": "unmarked",
      "status": "equivalent",
      "selected": [
        0,
        3,
        12,
        24,
        42
      ],
      "stats": {
        "nodes": 7,
        "attempts": 6,
        "forced": 2,
        "branches": 5,
        "backtracks": 2,
        "markingEliminations": 205,
        "learnedMarkingEliminations": 0,
        "graphBuilds": 11,
        "peakIncidences": 39,
        "learningAttempts": 0,
        "learningNodes": 0,
        "unresolvedLabels": 0,
        "contextDependentFailures": 0,
        "markingVersion": 0
      },
      "learning": {
        "cold": true,
        "initialAssignedValues": 0,
        "failures": 0,
        "assignedValues": 0,
        "events": [],
        "scope": "this exact finite point problem; no transfer to other bounds or targets",
        "proofNodeCap": 10000,
        "learningAttemptCap": 64,
        "seed": 31,
        "candidateOrder": "content-free seeded permutation",
        "attemptBudgetReached": false
      },
      "knotEquivalence": "equivalent",
      "certificate": {
        "version": "lattice-face-reidemeister-v1",
        "source": [
          [
            1,
            1,
            1
          ],
          [
            1,
            2,
            1
          ],
          [
            1,
            3,
            1
          ],
          [
            1,
            4,
            1
          ],
          [
            1,
            4,
            0
          ],
          [
            1,
            3,
            0
          ],
          [
            1,
            3,
            -1
          ],
          [
            2,
            3,
            -1
          ],
          [
            2,
            3,
            0
          ],
          [
            3,
            3,
            0
          ],
          [
            3,
            3,
            1
          ],
          [
            3,
            3,
            2
          ],
          [
            3,
            4,
            2
          ],
          [
            3,
            4,
            1
          ],
          [
            3,
            5,
            1
          ],
          [
            2,
            5,
            1
          ],
          [
            2,
            5,
            0
          ],
          [
            3,
            5,
            0
          ],
          [
            3,
            6,
            0
          ],
          [
            3,
            6,
            -1
          ],
          [
            3,
            5,
            -1
          ],
          [
            4,
            5,
            -1
          ],
          [
            4,
            5,
            0
          ],
          [
            5,
            5,
            0
          ],
          [
            5,
            5,
            1
          ],
          [
            6,
            5,
            1
          ],
          [
            6,
            4,
            1
          ],
          [
            5,
            4,
            1
          ],
          [
            5,
            3,
            1
          ],
          [
            5,
            3,
            2
          ],
          [
            6,
            3,
            2
          ],
          [
            6,
            3,
            1
          ],
          [
            6,
            3,
            0
          ],
          [
            6,
            2,
            0
          ],
          [
            6,
            2,
            1
          ],
          [
            5,
            2,
            1
          ],
          [
            5,
            2,
            0
          ],
          [
            4,
            2,
            0
          ],
          [
            3,
            2,
            0
          ],
          [
            2,
            2,
            0
          ],
          [
            2,
            2,
            1
          ],
          [
            2,
            3,
            1
          ],
          [
            2,
            4,
            1
          ],
          [
            2,
            4,
            0
          ],
          [
            3,
            4,
            0
          ],
          [
            4,
            4,
            0
          ],
          [
            4,
            4,
            1
          ],
          [
            4,
            3,
            1
          ],
          [
            4,
            2,
            1
          ],
          [
            4,
            2,
            2
          ],
          [
            4,
            1,
            2
          ],
          [
            4,
            1,
            1
          ],
          [
            4,
            1,
            0
          ],
          [
            4,
            0,
            0
          ],
          [
            3,
            0,
            0
          ],
          [
            3,
            1,
            0
          ],
          [
            2,
            1,
            0
          ],
          [
            2,
            1,
            1
          ]
        ],
        "target": [
          [
            0,
            3,
            -2
          ],
          [
            0,
            3,
            -1
          ],
          [
            0,
            3,
            0
          ],
          [
            1,
            3,
            0
          ],
          [
            1,
            4,
            0
          ],
          [
            1,
            4,
            1
          ],
          [
            1,
            3,
            1
          ],
          [
            1,
            2,
            1
          ],
          [
            1,
            1,
            1
          ],
          [
            2,
            1,
            1
          ],
          [
            2,
            1,
            0
          ],
          [
            3,
            1,
            0
          ],
          [
            3,
            0,
            0
          ],
          [
            4,
            0,
            0
          ],
          [
            4,
            1,
            0
          ],
          [
            4,
            1,
            1
          ],
          [
            4,
            1,
            2
          ],
          [
            4,
            2,
            2
          ],
          [
            4,
            2,
            1
          ],
          [
            4,
            3,
            1
          ],
          [
            4,
            4,
            1
          ],
          [
            4,
            4,
            0
          ],
          [
            3,
            4,
            0
          ],
          [
            2,
            4,
            0
          ],
          [
            2,
            4,
            1
          ],
          [
            2,
            3,
            1
          ],
          [
            2,
            2,
            1
          ],
          [
            2,
            2,
            0
          ],
          [
            3,
            2,
            0
          ],
          [
            4,
            2,
            0
          ],
          [
            5,
            2,
            0
          ],
          [
            5,
            2,
            1
          ],
          [
            6,
            2,
            1
          ],
          [
            6,
            2,
            0
          ],
          [
            6,
            3,
            0
          ],
          [
            6,
            3,
            1
          ],
          [
            6,
            3,
            2
          ],
          [
            5,
            3,
            2
          ],
          [
            5,
            3,
            1
          ],
          [
            5,
            4,
            1
          ],
          [
            6,
            4,
            1
          ],
          [
            6,
            5,
            1
          ],
          [
            5,
            5,
            1
          ],
          [
            5,
            5,
            0
          ],
          [
            4,
            5,
            0
          ],
          [
            4,
            5,
            -1
          ],
          [
            3,
            5,
            -1
          ],
          [
            3,
            6,
            -1
          ],
          [
            3,
            6,
            0
          ],
          [
            3,
            5,
            0
          ],
          [
            2,
            5,
            0
          ],
          [
            2,
            5,
            1
          ],
          [
            3,
            5,
            1
          ],
          [
            3,
            4,
            1
          ],
          [
            3,
            4,
            2
          ],
          [
            3,
            3,
            2
          ],
          [
            3,
            3,
            1
          ],
          [
            3,
            3,
            0
          ],
          [
            2,
            3,
            0
          ],
          [
            2,
            3,
            -1
          ],
          [
            2,
            3,
            -2
          ],
          [
            1,
            3,
            -2
          ]
        ],
        "options": {
          "depth": 5,
          "stateCap": 60000,
          "maxEdges": 68,
          "region": {
            "min": [
              0,
              3,
              -2
            ],
            "max": [
              2,
              3,
              0
            ]
          },
          "direction": [
            11,
            13,
            17
          ]
        },
        "steps": [
          {
            "face": [
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                0
              ],
              [
                1,
                3,
                0
              ],
              [
                1,
                3,
                -1
              ]
            ],
            "old": [
              [
                1,
                3,
                0
              ],
              [
                1,
                3,
                -1
              ],
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                0
              ]
            ],
            "replacement": [
              [
                1,
                3,
                0
              ],
              [
                2,
                3,
                0
              ]
            ],
            "vertices": [
              [
                1,
                3,
                0
              ],
              [
                2,
                3,
                0
              ],
              [
                3,
                3,
                0
              ],
              [
                3,
                3,
                1
              ],
              [
                3,
                3,
                2
              ],
              [
                3,
                4,
                2
              ],
              [
                3,
                4,
                1
              ],
              [
                3,
                5,
                1
              ],
              [
                2,
                5,
                1
              ],
              [
                2,
                5,
                0
              ],
              [
                3,
                5,
                0
              ],
              [
                3,
                6,
                0
              ],
              [
                3,
                6,
                -1
              ],
              [
                3,
                5,
                -1
              ],
              [
                4,
                5,
                -1
              ],
              [
                4,
                5,
                0
              ],
              [
                5,
                5,
                0
              ],
              [
                5,
                5,
                1
              ],
              [
                6,
                5,
                1
              ],
              [
                6,
                4,
                1
              ],
              [
                5,
                4,
                1
              ],
              [
                5,
                3,
                1
              ],
              [
                5,
                3,
                2
              ],
              [
                6,
                3,
                2
              ],
              [
                6,
                3,
                1
              ],
              [
                6,
                3,
                0
              ],
              [
                6,
                2,
                0
              ],
              [
                6,
                2,
                1
              ],
              [
                5,
                2,
                1
              ],
              [
                5,
                2,
                0
              ],
              [
                4,
                2,
                0
              ],
              [
                3,
                2,
                0
              ],
              [
                2,
                2,
                0
              ],
              [
                2,
                2,
                1
              ],
              [
                2,
                3,
                1
              ],
              [
                2,
                4,
                1
              ],
              [
                2,
                4,
                0
              ],
              [
                3,
                4,
                0
              ],
              [
                4,
                4,
                0
              ],
              [
                4,
                4,
                1
              ],
              [
                4,
                3,
                1
              ],
              [
                4,
                2,
                1
              ],
              [
                4,
                2,
                2
              ],
              [
                4,
                1,
                2
              ],
              [
                4,
                1,
                1
              ],
              [
                4,
                1,
                0
              ],
              [
                4,
                0,
                0
              ],
              [
                3,
                0,
                0
              ],
              [
                3,
                1,
                0
              ],
              [
                2,
                1,
                0
              ],
              [
                2,
                1,
                1
              ],
              [
                1,
                1,
                1
              ],
              [
                1,
                2,
                1
              ],
              [
                1,
                3,
                1
              ],
              [
                1,
                4,
                1
              ],
              [
                1,
                4,
                0
              ]
            ],
            "key": "[[1,1,1],[1,2,1],[1,3,1],[1,4,1],[1,4,0],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,3,2],[3,4,2],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[3,6,0],[3,6,-1],[3,5,-1],[4,5,-1],[4,5,0],[5,5,0],[5,5,1],[6,5,1],[6,4,1],[5,4,1],[5,3,1],[5,3,2],[6,3,2],[6,3,1],[6,3,0],[6,2,0],[6,2,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,2,2],[4,1,2],[4,1,1],[4,1,0],[4,0,0],[3,0,0],[3,1,0],[2,1,0],[2,1,1]]",
            "kind": "II−",
            "beforeDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ O10- U5- O8- O11- O12+ U12+ U11- U10- U4- U3+ U2- O9-",
            "afterDiagram": "O1+ O2- O3- O4- O5+ O6- U4- U7- U8- U9+ O9+ O8- O10- U3- O7- U5+ U6- U10- U2- U1+",
            "direction": [
              11,
              13,
              17
            ]
          },
          {
            "face": [
              [
                1,
                3,
                0
              ],
              [
                2,
                3,
                0
              ],
              [
                2,
                3,
                -1
              ],
              [
                1,
                3,
                -1
              ]
            ],
            "old": [
              [
                1,
                3,
                0
              ],
              [
                2,
                3,
                0
              ]
            ],
            "replacement": [
              [
                1,
                3,
                0
              ],
              [
                1,
                3,
                -1
              ],
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                0
              ]
            ],
            "vertices": [
              [
                1,
                3,
                0
              ],
              [
                1,
                3,
                -1
              ],
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                0
              ],
              [
                3,
                3,
                0
              ],
              [
                3,
                3,
                1
              ],
              [
                3,
                3,
                2
              ],
              [
                3,
                4,
                2
              ],
              [
                3,
                4,
                1
              ],
              [
                3,
                5,
                1
              ],
              [
                2,
                5,
                1
              ],
              [
                2,
                5,
                0
              ],
              [
                3,
                5,
                0
              ],
              [
                3,
                6,
                0
              ],
              [
                3,
                6,
                -1
              ],
              [
                3,
                5,
                -1
              ],
              [
                4,
                5,
                -1
              ],
              [
                4,
                5,
                0
              ],
              [
                5,
                5,
                0
              ],
              [
                5,
                5,
                1
              ],
              [
                6,
                5,
                1
              ],
              [
                6,
                4,
                1
              ],
              [
                5,
                4,
                1
              ],
              [
                5,
                3,
                1
              ],
              [
                5,
                3,
                2
              ],
              [
                6,
                3,
                2
              ],
              [
                6,
                3,
                1
              ],
              [
                6,
                3,
                0
              ],
              [
                6,
                2,
                0
              ],
              [
                6,
                2,
                1
              ],
              [
                5,
                2,
                1
              ],
              [
                5,
                2,
                0
              ],
              [
                4,
                2,
                0
              ],
              [
                3,
                2,
                0
              ],
              [
                2,
                2,
                0
              ],
              [
                2,
                2,
                1
              ],
              [
                2,
                3,
                1
              ],
              [
                2,
                4,
                1
              ],
              [
                2,
                4,
                0
              ],
              [
                3,
                4,
                0
              ],
              [
                4,
                4,
                0
              ],
              [
                4,
                4,
                1
              ],
              [
                4,
                3,
                1
              ],
              [
                4,
                2,
                1
              ],
              [
                4,
                2,
                2
              ],
              [
                4,
                1,
                2
              ],
              [
                4,
                1,
                1
              ],
              [
                4,
                1,
                0
              ],
              [
                4,
                0,
                0
              ],
              [
                3,
                0,
                0
              ],
              [
                3,
                1,
                0
              ],
              [
                2,
                1,
                0
              ],
              [
                2,
                1,
                1
              ],
              [
                1,
                1,
                1
              ],
              [
                1,
                2,
                1
              ],
              [
                1,
                3,
                1
              ],
              [
                1,
                4,
                1
              ],
              [
                1,
                4,
                0
              ]
            ],
            "key": "[[1,1,1],[1,2,1],[1,3,1],[1,4,1],[1,4,0],[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,3,2],[3,4,2],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[3,6,0],[3,6,-1],[3,5,-1],[4,5,-1],[4,5,0],[5,5,0],[5,5,1],[6,5,1],[6,4,1],[5,4,1],[5,3,1],[5,3,2],[6,3,2],[6,3,1],[6,3,0],[6,2,0],[6,2,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,2,2],[4,1,2],[4,1,1],[4,1,0],[4,0,0],[3,0,0],[3,1,0],[2,1,0],[2,1,1]]",
            "kind": "II+",
            "beforeDiagram": "O1+ O2- O3- O4- O5+ O6- U4- U7- U8- U9+ O9+ O8- O10- U3- O7- U5+ U6- U10- U2- U1+",
            "afterDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ O10- U5- O8- O11- O12+ U12+ U11- U10- U4- U3+ U2- O9-",
            "direction": [
              11,
              13,
              17
            ]
          },
          {
            "face": [
              [
                1,
                3,
                -1
              ],
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                -2
              ],
              [
                1,
                3,
                -2
              ]
            ],
            "old": [
              [
                1,
                3,
                -1
              ],
              [
                2,
                3,
                -1
              ]
            ],
            "replacement": [
              [
                1,
                3,
                -1
              ],
              [
                1,
                3,
                -2
              ],
              [
                2,
                3,
                -2
              ],
              [
                2,
                3,
                -1
              ]
            ],
            "vertices": [
              [
                1,
                3,
                -1
              ],
              [
                1,
                3,
                -2
              ],
              [
                2,
                3,
                -2
              ],
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                0
              ],
              [
                3,
                3,
                0
              ],
              [
                3,
                3,
                1
              ],
              [
                3,
                3,
                2
              ],
              [
                3,
                4,
                2
              ],
              [
                3,
                4,
                1
              ],
              [
                3,
                5,
                1
              ],
              [
                2,
                5,
                1
              ],
              [
                2,
                5,
                0
              ],
              [
                3,
                5,
                0
              ],
              [
                3,
                6,
                0
              ],
              [
                3,
                6,
                -1
              ],
              [
                3,
                5,
                -1
              ],
              [
                4,
                5,
                -1
              ],
              [
                4,
                5,
                0
              ],
              [
                5,
                5,
                0
              ],
              [
                5,
                5,
                1
              ],
              [
                6,
                5,
                1
              ],
              [
                6,
                4,
                1
              ],
              [
                5,
                4,
                1
              ],
              [
                5,
                3,
                1
              ],
              [
                5,
                3,
                2
              ],
              [
                6,
                3,
                2
              ],
              [
                6,
                3,
                1
              ],
              [
                6,
                3,
                0
              ],
              [
                6,
                2,
                0
              ],
              [
                6,
                2,
                1
              ],
              [
                5,
                2,
                1
              ],
              [
                5,
                2,
                0
              ],
              [
                4,
                2,
                0
              ],
              [
                3,
                2,
                0
              ],
              [
                2,
                2,
                0
              ],
              [
                2,
                2,
                1
              ],
              [
                2,
                3,
                1
              ],
              [
                2,
                4,
                1
              ],
              [
                2,
                4,
                0
              ],
              [
                3,
                4,
                0
              ],
              [
                4,
                4,
                0
              ],
              [
                4,
                4,
                1
              ],
              [
                4,
                3,
                1
              ],
              [
                4,
                2,
                1
              ],
              [
                4,
                2,
                2
              ],
              [
                4,
                1,
                2
              ],
              [
                4,
                1,
                1
              ],
              [
                4,
                1,
                0
              ],
              [
                4,
                0,
                0
              ],
              [
                3,
                0,
                0
              ],
              [
                3,
                1,
                0
              ],
              [
                2,
                1,
                0
              ],
              [
                2,
                1,
                1
              ],
              [
                1,
                1,
                1
              ],
              [
                1,
                2,
                1
              ],
              [
                1,
                3,
                1
              ],
              [
                1,
                4,
                1
              ],
              [
                1,
                4,
                0
              ],
              [
                1,
                3,
                0
              ]
            ],
            "key": "[[1,1,1],[1,2,1],[1,3,1],[1,4,1],[1,4,0],[1,3,0],[1,3,-1],[1,3,-2],[2,3,-2],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,3,2],[3,4,2],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[3,6,0],[3,6,-1],[3,5,-1],[4,5,-1],[4,5,0],[5,5,0],[5,5,1],[6,5,1],[6,4,1],[5,4,1],[5,3,1],[5,3,2],[6,3,2],[6,3,1],[6,3,0],[6,2,0],[6,2,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,2,2],[4,1,2],[4,1,1],[4,1,0],[4,0,0],[3,0,0],[3,1,0],[2,1,0],[2,1,1]]",
            "kind": "III",
            "beforeDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ O10- U5- O8- O11- O12+ U12+ U11- U10- U4- U3+ U2- O9-",
            "afterDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ U4- O10- O8- O11- O12+ U12+ U11- U5- U10- U3+ U2- O9-",
            "direction": [
              11,
              13,
              17
            ]
          },
          {
            "face": [
              [
                1,
                3,
                -1
              ],
              [
                1,
                3,
                -2
              ],
              [
                0,
                3,
                -2
              ],
              [
                0,
                3,
                -1
              ]
            ],
            "old": [
              [
                1,
                3,
                -1
              ],
              [
                1,
                3,
                -2
              ]
            ],
            "replacement": [
              [
                1,
                3,
                -1
              ],
              [
                0,
                3,
                -1
              ],
              [
                0,
                3,
                -2
              ],
              [
                1,
                3,
                -2
              ]
            ],
            "vertices": [
              [
                1,
                3,
                -1
              ],
              [
                0,
                3,
                -1
              ],
              [
                0,
                3,
                -2
              ],
              [
                1,
                3,
                -2
              ],
              [
                2,
                3,
                -2
              ],
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                0
              ],
              [
                3,
                3,
                0
              ],
              [
                3,
                3,
                1
              ],
              [
                3,
                3,
                2
              ],
              [
                3,
                4,
                2
              ],
              [
                3,
                4,
                1
              ],
              [
                3,
                5,
                1
              ],
              [
                2,
                5,
                1
              ],
              [
                2,
                5,
                0
              ],
              [
                3,
                5,
                0
              ],
              [
                3,
                6,
                0
              ],
              [
                3,
                6,
                -1
              ],
              [
                3,
                5,
                -1
              ],
              [
                4,
                5,
                -1
              ],
              [
                4,
                5,
                0
              ],
              [
                5,
                5,
                0
              ],
              [
                5,
                5,
                1
              ],
              [
                6,
                5,
                1
              ],
              [
                6,
                4,
                1
              ],
              [
                5,
                4,
                1
              ],
              [
                5,
                3,
                1
              ],
              [
                5,
                3,
                2
              ],
              [
                6,
                3,
                2
              ],
              [
                6,
                3,
                1
              ],
              [
                6,
                3,
                0
              ],
              [
                6,
                2,
                0
              ],
              [
                6,
                2,
                1
              ],
              [
                5,
                2,
                1
              ],
              [
                5,
                2,
                0
              ],
              [
                4,
                2,
                0
              ],
              [
                3,
                2,
                0
              ],
              [
                2,
                2,
                0
              ],
              [
                2,
                2,
                1
              ],
              [
                2,
                3,
                1
              ],
              [
                2,
                4,
                1
              ],
              [
                2,
                4,
                0
              ],
              [
                3,
                4,
                0
              ],
              [
                4,
                4,
                0
              ],
              [
                4,
                4,
                1
              ],
              [
                4,
                3,
                1
              ],
              [
                4,
                2,
                1
              ],
              [
                4,
                2,
                2
              ],
              [
                4,
                1,
                2
              ],
              [
                4,
                1,
                1
              ],
              [
                4,
                1,
                0
              ],
              [
                4,
                0,
                0
              ],
              [
                3,
                0,
                0
              ],
              [
                3,
                1,
                0
              ],
              [
                2,
                1,
                0
              ],
              [
                2,
                1,
                1
              ],
              [
                1,
                1,
                1
              ],
              [
                1,
                2,
                1
              ],
              [
                1,
                3,
                1
              ],
              [
                1,
                4,
                1
              ],
              [
                1,
                4,
                0
              ],
              [
                1,
                3,
                0
              ]
            ],
            "key": "[[0,3,-2],[0,3,-1],[1,3,-1],[1,3,0],[1,4,0],[1,4,1],[1,3,1],[1,2,1],[1,1,1],[2,1,1],[2,1,0],[3,1,0],[3,0,0],[4,0,0],[4,1,0],[4,1,1],[4,1,2],[4,2,2],[4,2,1],[4,3,1],[4,4,1],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[5,2,1],[6,2,1],[6,2,0],[6,3,0],[6,3,1],[6,3,2],[5,3,2],[5,3,1],[5,4,1],[6,4,1],[6,5,1],[5,5,1],[5,5,0],[4,5,0],[4,5,-1],[3,5,-1],[3,6,-1],[3,6,0],[3,5,0],[2,5,0],[2,5,1],[3,5,1],[3,4,1],[3,4,2],[3,3,2],[3,3,1],[3,3,0],[2,3,0],[2,3,-1],[2,3,-2],[1,3,-2]]",
            "kind": "II+",
            "beforeDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ U4- O10- O8- O11- O12+ U12+ U11- U5- U10- U3+ U2- O9-",
            "afterDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ U4- O10- O8- O11- O12+ U12+ U11- O13+ O14- U14- U13+ U5- U10- U3+ U2- O9-",
            "direction": [
              11,
              13,
              17
            ]
          },
          {
            "face": [
              [
                1,
                3,
                -1
              ],
              [
                1,
                3,
                0
              ],
              [
                0,
                3,
                0
              ],
              [
                0,
                3,
                -1
              ]
            ],
            "old": [
              [
                0,
                3,
                -1
              ],
              [
                1,
                3,
                -1
              ],
              [
                1,
                3,
                0
              ]
            ],
            "replacement": [
              [
                0,
                3,
                -1
              ],
              [
                0,
                3,
                0
              ],
              [
                1,
                3,
                0
              ]
            ],
            "vertices": [
              [
                0,
                3,
                -1
              ],
              [
                0,
                3,
                0
              ],
              [
                1,
                3,
                0
              ],
              [
                1,
                4,
                0
              ],
              [
                1,
                4,
                1
              ],
              [
                1,
                3,
                1
              ],
              [
                1,
                2,
                1
              ],
              [
                1,
                1,
                1
              ],
              [
                2,
                1,
                1
              ],
              [
                2,
                1,
                0
              ],
              [
                3,
                1,
                0
              ],
              [
                3,
                0,
                0
              ],
              [
                4,
                0,
                0
              ],
              [
                4,
                1,
                0
              ],
              [
                4,
                1,
                1
              ],
              [
                4,
                1,
                2
              ],
              [
                4,
                2,
                2
              ],
              [
                4,
                2,
                1
              ],
              [
                4,
                3,
                1
              ],
              [
                4,
                4,
                1
              ],
              [
                4,
                4,
                0
              ],
              [
                3,
                4,
                0
              ],
              [
                2,
                4,
                0
              ],
              [
                2,
                4,
                1
              ],
              [
                2,
                3,
                1
              ],
              [
                2,
                2,
                1
              ],
              [
                2,
                2,
                0
              ],
              [
                3,
                2,
                0
              ],
              [
                4,
                2,
                0
              ],
              [
                5,
                2,
                0
              ],
              [
                5,
                2,
                1
              ],
              [
                6,
                2,
                1
              ],
              [
                6,
                2,
                0
              ],
              [
                6,
                3,
                0
              ],
              [
                6,
                3,
                1
              ],
              [
                6,
                3,
                2
              ],
              [
                5,
                3,
                2
              ],
              [
                5,
                3,
                1
              ],
              [
                5,
                4,
                1
              ],
              [
                6,
                4,
                1
              ],
              [
                6,
                5,
                1
              ],
              [
                5,
                5,
                1
              ],
              [
                5,
                5,
                0
              ],
              [
                4,
                5,
                0
              ],
              [
                4,
                5,
                -1
              ],
              [
                3,
                5,
                -1
              ],
              [
                3,
                6,
                -1
              ],
              [
                3,
                6,
                0
              ],
              [
                3,
                5,
                0
              ],
              [
                2,
                5,
                0
              ],
              [
                2,
                5,
                1
              ],
              [
                3,
                5,
                1
              ],
              [
                3,
                4,
                1
              ],
              [
                3,
                4,
                2
              ],
              [
                3,
                3,
                2
              ],
              [
                3,
                3,
                1
              ],
              [
                3,
                3,
                0
              ],
              [
                2,
                3,
                0
              ],
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                -2
              ],
              [
                1,
                3,
                -2
              ],
              [
                0,
                3,
                -2
              ]
            ],
            "key": "[[0,3,-2],[0,3,-1],[0,3,0],[1,3,0],[1,4,0],[1,4,1],[1,3,1],[1,2,1],[1,1,1],[2,1,1],[2,1,0],[3,1,0],[3,0,0],[4,0,0],[4,1,0],[4,1,1],[4,1,2],[4,2,2],[4,2,1],[4,3,1],[4,4,1],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[5,2,1],[6,2,1],[6,2,0],[6,3,0],[6,3,1],[6,3,2],[5,3,2],[5,3,1],[5,4,1],[6,4,1],[6,5,1],[5,5,1],[5,5,0],[4,5,0],[4,5,-1],[3,5,-1],[3,6,-1],[3,6,0],[3,5,0],[2,5,0],[2,5,1],[3,5,1],[3,4,1],[3,4,2],[3,3,2],[3,3,1],[3,3,0],[2,3,0],[2,3,-1],[2,3,-2],[1,3,-2]]",
            "kind": "I−",
            "beforeDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ U4- O10- O8- O11- O12+ U12+ U11- O13+ O14- U14- U13+ U5- U10- U3+ U2- O9-",
            "afterDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ U4- O10- O8- O11- O12+ U12+ U11- O13+ U13+ U5- U10- U3+ U2- O9-",
            "direction": [
              11,
              13,
              17
            ]
          }
        ]
      },
      "catalogMs": 48.002250000000004,
      "searchMs": 0.9559589999999929,
      "verificationMs": 22.155541999999997,
      "totalMs": 71.178,
      "stateCount": 26,
      "tileCount": 53,
      "runtime": {
        "node": "v24.19.0",
        "platform": "darwin",
        "arch": "arm64",
        "memoryAtEndBytes": {
          "rss": 72384512,
          "heapTotal": 15761408,
          "heapUsed": 7005496,
          "external": 2190153,
          "arrayBuffers": 137503
        },
        "maxRSSKiB": 70688
      }
    },
    {
      "lane": "online-gcts",
      "status": "equivalent",
      "selected": [
        0,
        3,
        12,
        24,
        42
      ],
      "stats": {
        "nodes": 7,
        "attempts": 6,
        "forced": 2,
        "branches": 5,
        "backtracks": 2,
        "markingEliminations": 208,
        "learnedMarkingEliminations": 4,
        "graphBuilds": 11,
        "peakIncidences": 39,
        "learningAttempts": 2,
        "learningNodes": 4,
        "unresolvedLabels": 0,
        "contextDependentFailures": 0,
        "markingVersion": 2
      },
      "learning": {
        "cold": true,
        "initialAssignedValues": 0,
        "failures": 2,
        "assignedValues": 4,
        "events": [
          {
            "candidate": 23,
            "observedPrefix": [
              0,
              3,
              11
            ],
            "outcome": "exhausted-finite-search",
            "proofNodes": 1,
            "proofMs": 0.19387499999999847,
            "marking": {
              "point": "learned:1:23",
              "boundaryValue": 0,
              "candidateValue": 1,
              "version": 1
            }
          },
          {
            "candidate": 11,
            "observedPrefix": [
              0,
              3
            ],
            "outcome": "exhausted-finite-search",
            "proofNodes": 3,
            "proofMs": 0.10495899999999381,
            "marking": {
              "point": "learned:2:11",
              "boundaryValue": 0,
              "candidateValue": 1,
              "version": 2
            }
          }
        ],
        "scope": "this exact finite point problem; no transfer to other bounds or targets",
        "proofNodeCap": 10000,
        "learningAttemptCap": 64,
        "seed": 31,
        "candidateOrder": "content-free seeded permutation",
        "attemptBudgetReached": false
      },
      "knotEquivalence": "equivalent",
      "certificate": {
        "version": "lattice-face-reidemeister-v1",
        "source": [
          [
            1,
            1,
            1
          ],
          [
            1,
            2,
            1
          ],
          [
            1,
            3,
            1
          ],
          [
            1,
            4,
            1
          ],
          [
            1,
            4,
            0
          ],
          [
            1,
            3,
            0
          ],
          [
            1,
            3,
            -1
          ],
          [
            2,
            3,
            -1
          ],
          [
            2,
            3,
            0
          ],
          [
            3,
            3,
            0
          ],
          [
            3,
            3,
            1
          ],
          [
            3,
            3,
            2
          ],
          [
            3,
            4,
            2
          ],
          [
            3,
            4,
            1
          ],
          [
            3,
            5,
            1
          ],
          [
            2,
            5,
            1
          ],
          [
            2,
            5,
            0
          ],
          [
            3,
            5,
            0
          ],
          [
            3,
            6,
            0
          ],
          [
            3,
            6,
            -1
          ],
          [
            3,
            5,
            -1
          ],
          [
            4,
            5,
            -1
          ],
          [
            4,
            5,
            0
          ],
          [
            5,
            5,
            0
          ],
          [
            5,
            5,
            1
          ],
          [
            6,
            5,
            1
          ],
          [
            6,
            4,
            1
          ],
          [
            5,
            4,
            1
          ],
          [
            5,
            3,
            1
          ],
          [
            5,
            3,
            2
          ],
          [
            6,
            3,
            2
          ],
          [
            6,
            3,
            1
          ],
          [
            6,
            3,
            0
          ],
          [
            6,
            2,
            0
          ],
          [
            6,
            2,
            1
          ],
          [
            5,
            2,
            1
          ],
          [
            5,
            2,
            0
          ],
          [
            4,
            2,
            0
          ],
          [
            3,
            2,
            0
          ],
          [
            2,
            2,
            0
          ],
          [
            2,
            2,
            1
          ],
          [
            2,
            3,
            1
          ],
          [
            2,
            4,
            1
          ],
          [
            2,
            4,
            0
          ],
          [
            3,
            4,
            0
          ],
          [
            4,
            4,
            0
          ],
          [
            4,
            4,
            1
          ],
          [
            4,
            3,
            1
          ],
          [
            4,
            2,
            1
          ],
          [
            4,
            2,
            2
          ],
          [
            4,
            1,
            2
          ],
          [
            4,
            1,
            1
          ],
          [
            4,
            1,
            0
          ],
          [
            4,
            0,
            0
          ],
          [
            3,
            0,
            0
          ],
          [
            3,
            1,
            0
          ],
          [
            2,
            1,
            0
          ],
          [
            2,
            1,
            1
          ]
        ],
        "target": [
          [
            0,
            3,
            -2
          ],
          [
            0,
            3,
            -1
          ],
          [
            0,
            3,
            0
          ],
          [
            1,
            3,
            0
          ],
          [
            1,
            4,
            0
          ],
          [
            1,
            4,
            1
          ],
          [
            1,
            3,
            1
          ],
          [
            1,
            2,
            1
          ],
          [
            1,
            1,
            1
          ],
          [
            2,
            1,
            1
          ],
          [
            2,
            1,
            0
          ],
          [
            3,
            1,
            0
          ],
          [
            3,
            0,
            0
          ],
          [
            4,
            0,
            0
          ],
          [
            4,
            1,
            0
          ],
          [
            4,
            1,
            1
          ],
          [
            4,
            1,
            2
          ],
          [
            4,
            2,
            2
          ],
          [
            4,
            2,
            1
          ],
          [
            4,
            3,
            1
          ],
          [
            4,
            4,
            1
          ],
          [
            4,
            4,
            0
          ],
          [
            3,
            4,
            0
          ],
          [
            2,
            4,
            0
          ],
          [
            2,
            4,
            1
          ],
          [
            2,
            3,
            1
          ],
          [
            2,
            2,
            1
          ],
          [
            2,
            2,
            0
          ],
          [
            3,
            2,
            0
          ],
          [
            4,
            2,
            0
          ],
          [
            5,
            2,
            0
          ],
          [
            5,
            2,
            1
          ],
          [
            6,
            2,
            1
          ],
          [
            6,
            2,
            0
          ],
          [
            6,
            3,
            0
          ],
          [
            6,
            3,
            1
          ],
          [
            6,
            3,
            2
          ],
          [
            5,
            3,
            2
          ],
          [
            5,
            3,
            1
          ],
          [
            5,
            4,
            1
          ],
          [
            6,
            4,
            1
          ],
          [
            6,
            5,
            1
          ],
          [
            5,
            5,
            1
          ],
          [
            5,
            5,
            0
          ],
          [
            4,
            5,
            0
          ],
          [
            4,
            5,
            -1
          ],
          [
            3,
            5,
            -1
          ],
          [
            3,
            6,
            -1
          ],
          [
            3,
            6,
            0
          ],
          [
            3,
            5,
            0
          ],
          [
            2,
            5,
            0
          ],
          [
            2,
            5,
            1
          ],
          [
            3,
            5,
            1
          ],
          [
            3,
            4,
            1
          ],
          [
            3,
            4,
            2
          ],
          [
            3,
            3,
            2
          ],
          [
            3,
            3,
            1
          ],
          [
            3,
            3,
            0
          ],
          [
            2,
            3,
            0
          ],
          [
            2,
            3,
            -1
          ],
          [
            2,
            3,
            -2
          ],
          [
            1,
            3,
            -2
          ]
        ],
        "options": {
          "depth": 5,
          "stateCap": 60000,
          "maxEdges": 68,
          "region": {
            "min": [
              0,
              3,
              -2
            ],
            "max": [
              2,
              3,
              0
            ]
          },
          "direction": [
            11,
            13,
            17
          ]
        },
        "steps": [
          {
            "face": [
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                0
              ],
              [
                1,
                3,
                0
              ],
              [
                1,
                3,
                -1
              ]
            ],
            "old": [
              [
                1,
                3,
                0
              ],
              [
                1,
                3,
                -1
              ],
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                0
              ]
            ],
            "replacement": [
              [
                1,
                3,
                0
              ],
              [
                2,
                3,
                0
              ]
            ],
            "vertices": [
              [
                1,
                3,
                0
              ],
              [
                2,
                3,
                0
              ],
              [
                3,
                3,
                0
              ],
              [
                3,
                3,
                1
              ],
              [
                3,
                3,
                2
              ],
              [
                3,
                4,
                2
              ],
              [
                3,
                4,
                1
              ],
              [
                3,
                5,
                1
              ],
              [
                2,
                5,
                1
              ],
              [
                2,
                5,
                0
              ],
              [
                3,
                5,
                0
              ],
              [
                3,
                6,
                0
              ],
              [
                3,
                6,
                -1
              ],
              [
                3,
                5,
                -1
              ],
              [
                4,
                5,
                -1
              ],
              [
                4,
                5,
                0
              ],
              [
                5,
                5,
                0
              ],
              [
                5,
                5,
                1
              ],
              [
                6,
                5,
                1
              ],
              [
                6,
                4,
                1
              ],
              [
                5,
                4,
                1
              ],
              [
                5,
                3,
                1
              ],
              [
                5,
                3,
                2
              ],
              [
                6,
                3,
                2
              ],
              [
                6,
                3,
                1
              ],
              [
                6,
                3,
                0
              ],
              [
                6,
                2,
                0
              ],
              [
                6,
                2,
                1
              ],
              [
                5,
                2,
                1
              ],
              [
                5,
                2,
                0
              ],
              [
                4,
                2,
                0
              ],
              [
                3,
                2,
                0
              ],
              [
                2,
                2,
                0
              ],
              [
                2,
                2,
                1
              ],
              [
                2,
                3,
                1
              ],
              [
                2,
                4,
                1
              ],
              [
                2,
                4,
                0
              ],
              [
                3,
                4,
                0
              ],
              [
                4,
                4,
                0
              ],
              [
                4,
                4,
                1
              ],
              [
                4,
                3,
                1
              ],
              [
                4,
                2,
                1
              ],
              [
                4,
                2,
                2
              ],
              [
                4,
                1,
                2
              ],
              [
                4,
                1,
                1
              ],
              [
                4,
                1,
                0
              ],
              [
                4,
                0,
                0
              ],
              [
                3,
                0,
                0
              ],
              [
                3,
                1,
                0
              ],
              [
                2,
                1,
                0
              ],
              [
                2,
                1,
                1
              ],
              [
                1,
                1,
                1
              ],
              [
                1,
                2,
                1
              ],
              [
                1,
                3,
                1
              ],
              [
                1,
                4,
                1
              ],
              [
                1,
                4,
                0
              ]
            ],
            "key": "[[1,1,1],[1,2,1],[1,3,1],[1,4,1],[1,4,0],[1,3,0],[2,3,0],[3,3,0],[3,3,1],[3,3,2],[3,4,2],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[3,6,0],[3,6,-1],[3,5,-1],[4,5,-1],[4,5,0],[5,5,0],[5,5,1],[6,5,1],[6,4,1],[5,4,1],[5,3,1],[5,3,2],[6,3,2],[6,3,1],[6,3,0],[6,2,0],[6,2,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,2,2],[4,1,2],[4,1,1],[4,1,0],[4,0,0],[3,0,0],[3,1,0],[2,1,0],[2,1,1]]",
            "kind": "II−",
            "beforeDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ O10- U5- O8- O11- O12+ U12+ U11- U10- U4- U3+ U2- O9-",
            "afterDiagram": "O1+ O2- O3- O4- O5+ O6- U4- U7- U8- U9+ O9+ O8- O10- U3- O7- U5+ U6- U10- U2- U1+",
            "direction": [
              11,
              13,
              17
            ]
          },
          {
            "face": [
              [
                1,
                3,
                0
              ],
              [
                2,
                3,
                0
              ],
              [
                2,
                3,
                -1
              ],
              [
                1,
                3,
                -1
              ]
            ],
            "old": [
              [
                1,
                3,
                0
              ],
              [
                2,
                3,
                0
              ]
            ],
            "replacement": [
              [
                1,
                3,
                0
              ],
              [
                1,
                3,
                -1
              ],
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                0
              ]
            ],
            "vertices": [
              [
                1,
                3,
                0
              ],
              [
                1,
                3,
                -1
              ],
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                0
              ],
              [
                3,
                3,
                0
              ],
              [
                3,
                3,
                1
              ],
              [
                3,
                3,
                2
              ],
              [
                3,
                4,
                2
              ],
              [
                3,
                4,
                1
              ],
              [
                3,
                5,
                1
              ],
              [
                2,
                5,
                1
              ],
              [
                2,
                5,
                0
              ],
              [
                3,
                5,
                0
              ],
              [
                3,
                6,
                0
              ],
              [
                3,
                6,
                -1
              ],
              [
                3,
                5,
                -1
              ],
              [
                4,
                5,
                -1
              ],
              [
                4,
                5,
                0
              ],
              [
                5,
                5,
                0
              ],
              [
                5,
                5,
                1
              ],
              [
                6,
                5,
                1
              ],
              [
                6,
                4,
                1
              ],
              [
                5,
                4,
                1
              ],
              [
                5,
                3,
                1
              ],
              [
                5,
                3,
                2
              ],
              [
                6,
                3,
                2
              ],
              [
                6,
                3,
                1
              ],
              [
                6,
                3,
                0
              ],
              [
                6,
                2,
                0
              ],
              [
                6,
                2,
                1
              ],
              [
                5,
                2,
                1
              ],
              [
                5,
                2,
                0
              ],
              [
                4,
                2,
                0
              ],
              [
                3,
                2,
                0
              ],
              [
                2,
                2,
                0
              ],
              [
                2,
                2,
                1
              ],
              [
                2,
                3,
                1
              ],
              [
                2,
                4,
                1
              ],
              [
                2,
                4,
                0
              ],
              [
                3,
                4,
                0
              ],
              [
                4,
                4,
                0
              ],
              [
                4,
                4,
                1
              ],
              [
                4,
                3,
                1
              ],
              [
                4,
                2,
                1
              ],
              [
                4,
                2,
                2
              ],
              [
                4,
                1,
                2
              ],
              [
                4,
                1,
                1
              ],
              [
                4,
                1,
                0
              ],
              [
                4,
                0,
                0
              ],
              [
                3,
                0,
                0
              ],
              [
                3,
                1,
                0
              ],
              [
                2,
                1,
                0
              ],
              [
                2,
                1,
                1
              ],
              [
                1,
                1,
                1
              ],
              [
                1,
                2,
                1
              ],
              [
                1,
                3,
                1
              ],
              [
                1,
                4,
                1
              ],
              [
                1,
                4,
                0
              ]
            ],
            "key": "[[1,1,1],[1,2,1],[1,3,1],[1,4,1],[1,4,0],[1,3,0],[1,3,-1],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,3,2],[3,4,2],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[3,6,0],[3,6,-1],[3,5,-1],[4,5,-1],[4,5,0],[5,5,0],[5,5,1],[6,5,1],[6,4,1],[5,4,1],[5,3,1],[5,3,2],[6,3,2],[6,3,1],[6,3,0],[6,2,0],[6,2,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,2,2],[4,1,2],[4,1,1],[4,1,0],[4,0,0],[3,0,0],[3,1,0],[2,1,0],[2,1,1]]",
            "kind": "II+",
            "beforeDiagram": "O1+ O2- O3- O4- O5+ O6- U4- U7- U8- U9+ O9+ O8- O10- U3- O7- U5+ U6- U10- U2- U1+",
            "afterDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ O10- U5- O8- O11- O12+ U12+ U11- U10- U4- U3+ U2- O9-",
            "direction": [
              11,
              13,
              17
            ]
          },
          {
            "face": [
              [
                1,
                3,
                -1
              ],
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                -2
              ],
              [
                1,
                3,
                -2
              ]
            ],
            "old": [
              [
                1,
                3,
                -1
              ],
              [
                2,
                3,
                -1
              ]
            ],
            "replacement": [
              [
                1,
                3,
                -1
              ],
              [
                1,
                3,
                -2
              ],
              [
                2,
                3,
                -2
              ],
              [
                2,
                3,
                -1
              ]
            ],
            "vertices": [
              [
                1,
                3,
                -1
              ],
              [
                1,
                3,
                -2
              ],
              [
                2,
                3,
                -2
              ],
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                0
              ],
              [
                3,
                3,
                0
              ],
              [
                3,
                3,
                1
              ],
              [
                3,
                3,
                2
              ],
              [
                3,
                4,
                2
              ],
              [
                3,
                4,
                1
              ],
              [
                3,
                5,
                1
              ],
              [
                2,
                5,
                1
              ],
              [
                2,
                5,
                0
              ],
              [
                3,
                5,
                0
              ],
              [
                3,
                6,
                0
              ],
              [
                3,
                6,
                -1
              ],
              [
                3,
                5,
                -1
              ],
              [
                4,
                5,
                -1
              ],
              [
                4,
                5,
                0
              ],
              [
                5,
                5,
                0
              ],
              [
                5,
                5,
                1
              ],
              [
                6,
                5,
                1
              ],
              [
                6,
                4,
                1
              ],
              [
                5,
                4,
                1
              ],
              [
                5,
                3,
                1
              ],
              [
                5,
                3,
                2
              ],
              [
                6,
                3,
                2
              ],
              [
                6,
                3,
                1
              ],
              [
                6,
                3,
                0
              ],
              [
                6,
                2,
                0
              ],
              [
                6,
                2,
                1
              ],
              [
                5,
                2,
                1
              ],
              [
                5,
                2,
                0
              ],
              [
                4,
                2,
                0
              ],
              [
                3,
                2,
                0
              ],
              [
                2,
                2,
                0
              ],
              [
                2,
                2,
                1
              ],
              [
                2,
                3,
                1
              ],
              [
                2,
                4,
                1
              ],
              [
                2,
                4,
                0
              ],
              [
                3,
                4,
                0
              ],
              [
                4,
                4,
                0
              ],
              [
                4,
                4,
                1
              ],
              [
                4,
                3,
                1
              ],
              [
                4,
                2,
                1
              ],
              [
                4,
                2,
                2
              ],
              [
                4,
                1,
                2
              ],
              [
                4,
                1,
                1
              ],
              [
                4,
                1,
                0
              ],
              [
                4,
                0,
                0
              ],
              [
                3,
                0,
                0
              ],
              [
                3,
                1,
                0
              ],
              [
                2,
                1,
                0
              ],
              [
                2,
                1,
                1
              ],
              [
                1,
                1,
                1
              ],
              [
                1,
                2,
                1
              ],
              [
                1,
                3,
                1
              ],
              [
                1,
                4,
                1
              ],
              [
                1,
                4,
                0
              ],
              [
                1,
                3,
                0
              ]
            ],
            "key": "[[1,1,1],[1,2,1],[1,3,1],[1,4,1],[1,4,0],[1,3,0],[1,3,-1],[1,3,-2],[2,3,-2],[2,3,-1],[2,3,0],[3,3,0],[3,3,1],[3,3,2],[3,4,2],[3,4,1],[3,5,1],[2,5,1],[2,5,0],[3,5,0],[3,6,0],[3,6,-1],[3,5,-1],[4,5,-1],[4,5,0],[5,5,0],[5,5,1],[6,5,1],[6,4,1],[5,4,1],[5,3,1],[5,3,2],[6,3,2],[6,3,1],[6,3,0],[6,2,0],[6,2,1],[5,2,1],[5,2,0],[4,2,0],[3,2,0],[2,2,0],[2,2,1],[2,3,1],[2,4,1],[2,4,0],[3,4,0],[4,4,0],[4,4,1],[4,3,1],[4,2,1],[4,2,2],[4,1,2],[4,1,1],[4,1,0],[4,0,0],[3,0,0],[3,1,0],[2,1,0],[2,1,1]]",
            "kind": "III",
            "beforeDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ O10- U5- O8- O11- O12+ U12+ U11- U10- U4- U3+ U2- O9-",
            "afterDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ U4- O10- O8- O11- O12+ U12+ U11- U5- U10- U3+ U2- O9-",
            "direction": [
              11,
              13,
              17
            ]
          },
          {
            "face": [
              [
                1,
                3,
                -1
              ],
              [
                1,
                3,
                -2
              ],
              [
                0,
                3,
                -2
              ],
              [
                0,
                3,
                -1
              ]
            ],
            "old": [
              [
                1,
                3,
                -1
              ],
              [
                1,
                3,
                -2
              ]
            ],
            "replacement": [
              [
                1,
                3,
                -1
              ],
              [
                0,
                3,
                -1
              ],
              [
                0,
                3,
                -2
              ],
              [
                1,
                3,
                -2
              ]
            ],
            "vertices": [
              [
                1,
                3,
                -1
              ],
              [
                0,
                3,
                -1
              ],
              [
                0,
                3,
                -2
              ],
              [
                1,
                3,
                -2
              ],
              [
                2,
                3,
                -2
              ],
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                0
              ],
              [
                3,
                3,
                0
              ],
              [
                3,
                3,
                1
              ],
              [
                3,
                3,
                2
              ],
              [
                3,
                4,
                2
              ],
              [
                3,
                4,
                1
              ],
              [
                3,
                5,
                1
              ],
              [
                2,
                5,
                1
              ],
              [
                2,
                5,
                0
              ],
              [
                3,
                5,
                0
              ],
              [
                3,
                6,
                0
              ],
              [
                3,
                6,
                -1
              ],
              [
                3,
                5,
                -1
              ],
              [
                4,
                5,
                -1
              ],
              [
                4,
                5,
                0
              ],
              [
                5,
                5,
                0
              ],
              [
                5,
                5,
                1
              ],
              [
                6,
                5,
                1
              ],
              [
                6,
                4,
                1
              ],
              [
                5,
                4,
                1
              ],
              [
                5,
                3,
                1
              ],
              [
                5,
                3,
                2
              ],
              [
                6,
                3,
                2
              ],
              [
                6,
                3,
                1
              ],
              [
                6,
                3,
                0
              ],
              [
                6,
                2,
                0
              ],
              [
                6,
                2,
                1
              ],
              [
                5,
                2,
                1
              ],
              [
                5,
                2,
                0
              ],
              [
                4,
                2,
                0
              ],
              [
                3,
                2,
                0
              ],
              [
                2,
                2,
                0
              ],
              [
                2,
                2,
                1
              ],
              [
                2,
                3,
                1
              ],
              [
                2,
                4,
                1
              ],
              [
                2,
                4,
                0
              ],
              [
                3,
                4,
                0
              ],
              [
                4,
                4,
                0
              ],
              [
                4,
                4,
                1
              ],
              [
                4,
                3,
                1
              ],
              [
                4,
                2,
                1
              ],
              [
                4,
                2,
                2
              ],
              [
                4,
                1,
                2
              ],
              [
                4,
                1,
                1
              ],
              [
                4,
                1,
                0
              ],
              [
                4,
                0,
                0
              ],
              [
                3,
                0,
                0
              ],
              [
                3,
                1,
                0
              ],
              [
                2,
                1,
                0
              ],
              [
                2,
                1,
                1
              ],
              [
                1,
                1,
                1
              ],
              [
                1,
                2,
                1
              ],
              [
                1,
                3,
                1
              ],
              [
                1,
                4,
                1
              ],
              [
                1,
                4,
                0
              ],
              [
                1,
                3,
                0
              ]
            ],
            "key": "[[0,3,-2],[0,3,-1],[1,3,-1],[1,3,0],[1,4,0],[1,4,1],[1,3,1],[1,2,1],[1,1,1],[2,1,1],[2,1,0],[3,1,0],[3,0,0],[4,0,0],[4,1,0],[4,1,1],[4,1,2],[4,2,2],[4,2,1],[4,3,1],[4,4,1],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[5,2,1],[6,2,1],[6,2,0],[6,3,0],[6,3,1],[6,3,2],[5,3,2],[5,3,1],[5,4,1],[6,4,1],[6,5,1],[5,5,1],[5,5,0],[4,5,0],[4,5,-1],[3,5,-1],[3,6,-1],[3,6,0],[3,5,0],[2,5,0],[2,5,1],[3,5,1],[3,4,1],[3,4,2],[3,3,2],[3,3,1],[3,3,0],[2,3,0],[2,3,-1],[2,3,-2],[1,3,-2]]",
            "kind": "II+",
            "beforeDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ U4- O10- O8- O11- O12+ U12+ U11- U5- U10- U3+ U2- O9-",
            "afterDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ U4- O10- O8- O11- O12+ U12+ U11- O13+ O14- U14- U13+ U5- U10- U3+ U2- O9-",
            "direction": [
              11,
              13,
              17
            ]
          },
          {
            "face": [
              [
                1,
                3,
                -1
              ],
              [
                1,
                3,
                0
              ],
              [
                0,
                3,
                0
              ],
              [
                0,
                3,
                -1
              ]
            ],
            "old": [
              [
                0,
                3,
                -1
              ],
              [
                1,
                3,
                -1
              ],
              [
                1,
                3,
                0
              ]
            ],
            "replacement": [
              [
                0,
                3,
                -1
              ],
              [
                0,
                3,
                0
              ],
              [
                1,
                3,
                0
              ]
            ],
            "vertices": [
              [
                0,
                3,
                -1
              ],
              [
                0,
                3,
                0
              ],
              [
                1,
                3,
                0
              ],
              [
                1,
                4,
                0
              ],
              [
                1,
                4,
                1
              ],
              [
                1,
                3,
                1
              ],
              [
                1,
                2,
                1
              ],
              [
                1,
                1,
                1
              ],
              [
                2,
                1,
                1
              ],
              [
                2,
                1,
                0
              ],
              [
                3,
                1,
                0
              ],
              [
                3,
                0,
                0
              ],
              [
                4,
                0,
                0
              ],
              [
                4,
                1,
                0
              ],
              [
                4,
                1,
                1
              ],
              [
                4,
                1,
                2
              ],
              [
                4,
                2,
                2
              ],
              [
                4,
                2,
                1
              ],
              [
                4,
                3,
                1
              ],
              [
                4,
                4,
                1
              ],
              [
                4,
                4,
                0
              ],
              [
                3,
                4,
                0
              ],
              [
                2,
                4,
                0
              ],
              [
                2,
                4,
                1
              ],
              [
                2,
                3,
                1
              ],
              [
                2,
                2,
                1
              ],
              [
                2,
                2,
                0
              ],
              [
                3,
                2,
                0
              ],
              [
                4,
                2,
                0
              ],
              [
                5,
                2,
                0
              ],
              [
                5,
                2,
                1
              ],
              [
                6,
                2,
                1
              ],
              [
                6,
                2,
                0
              ],
              [
                6,
                3,
                0
              ],
              [
                6,
                3,
                1
              ],
              [
                6,
                3,
                2
              ],
              [
                5,
                3,
                2
              ],
              [
                5,
                3,
                1
              ],
              [
                5,
                4,
                1
              ],
              [
                6,
                4,
                1
              ],
              [
                6,
                5,
                1
              ],
              [
                5,
                5,
                1
              ],
              [
                5,
                5,
                0
              ],
              [
                4,
                5,
                0
              ],
              [
                4,
                5,
                -1
              ],
              [
                3,
                5,
                -1
              ],
              [
                3,
                6,
                -1
              ],
              [
                3,
                6,
                0
              ],
              [
                3,
                5,
                0
              ],
              [
                2,
                5,
                0
              ],
              [
                2,
                5,
                1
              ],
              [
                3,
                5,
                1
              ],
              [
                3,
                4,
                1
              ],
              [
                3,
                4,
                2
              ],
              [
                3,
                3,
                2
              ],
              [
                3,
                3,
                1
              ],
              [
                3,
                3,
                0
              ],
              [
                2,
                3,
                0
              ],
              [
                2,
                3,
                -1
              ],
              [
                2,
                3,
                -2
              ],
              [
                1,
                3,
                -2
              ],
              [
                0,
                3,
                -2
              ]
            ],
            "key": "[[0,3,-2],[0,3,-1],[0,3,0],[1,3,0],[1,4,0],[1,4,1],[1,3,1],[1,2,1],[1,1,1],[2,1,1],[2,1,0],[3,1,0],[3,0,0],[4,0,0],[4,1,0],[4,1,1],[4,1,2],[4,2,2],[4,2,1],[4,3,1],[4,4,1],[4,4,0],[3,4,0],[2,4,0],[2,4,1],[2,3,1],[2,2,1],[2,2,0],[3,2,0],[4,2,0],[5,2,0],[5,2,1],[6,2,1],[6,2,0],[6,3,0],[6,3,1],[6,3,2],[5,3,2],[5,3,1],[5,4,1],[6,4,1],[6,5,1],[5,5,1],[5,5,0],[4,5,0],[4,5,-1],[3,5,-1],[3,6,-1],[3,6,0],[3,5,0],[2,5,0],[2,5,1],[3,5,1],[3,4,1],[3,4,2],[3,3,2],[3,3,1],[3,3,0],[2,3,0],[2,3,-1],[2,3,-2],[1,3,-2]]",
            "kind": "I−",
            "beforeDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ U4- O10- O8- O11- O12+ U12+ U11- O13+ O14- U14- U13+ U5- U10- U3+ U2- O9-",
            "afterDiagram": "O1+ O2- O3+ O4- O5- O6- O7+ U7+ U6- U8- U9- U1+ U4- O10- O8- O11- O12+ U12+ U11- O13+ U13+ U5- U10- U3+ U2- O9-",
            "direction": [
              11,
              13,
              17
            ]
          }
        ]
      },
      "catalogMs": 40.968834,
      "searchMs": 0.9757499999999979,
      "verificationMs": 23.015457999999995,
      "totalMs": 65.033209,
      "stateCount": 26,
      "tileCount": 53,
      "runtime": {
        "node": "v24.19.0",
        "platform": "darwin",
        "arch": "arm64",
        "memoryAtEndBytes": {
          "rss": 72417280,
          "heapTotal": 16023552,
          "heapUsed": 9209184,
          "external": 2190153,
          "arrayBuffers": 137503
        },
        "maxRSSKiB": 70720
      }
    }
  ],
  "scope": "Finite square-face Reidemeister inventory; positive spatial certificates only. Separate fresh Node process per lane, cold learning, no persisted marking import. RSS peak includes process/module startup; totalMs includes catalog, search/probes and JS replay but excludes startup and separate Python replay."
}