{
  "name": "trefoil-local-III-II-I",
  "knownKnot": "3_1",
  "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
    ]
  ],
  "bounds": {
    "depth": 5,
    "maxEdges": 68,
    "region": {
      "min": [
        0,
        3,
        -2
      ],
      "max": [
        2,
        3,
        0
      ]
    },
    "stateCap": 60000
  },
  "provenance": "trefoil-source-provenance.json",
  "note": "The source is certified from the KnotInfo trefoil. Search sees only vertices and these declared finite bounds; no construction path, names, or invariants. The move support is a fixed four-square patch in the plane y=3, not a bound on the whole knot."
}