{
  "inputs": {
    "P": {
      "type": {
        "sort": "Buf",
        "level": {
          "n": 1
        },
        "size": {
          "const": 5,
          "p": 1
        }
      },
      "word": [
        "P"
      ],
      "path_depth": 0
    },
    "H": {
      "type": {
        "sort": "Buf",
        "level": {
          "n": 1
        },
        "size": {
          "const": 6,
          "r": 1
        }
      },
      "word": [
        "H"
      ],
      "path_depth": 1
    },
    "D": {
      "type": {
        "sort": "Semi",
        "level": {
          "const": 1,
          "n": 1
        }
      },
      "word": [
        "D"
      ]
    },
    "S": {
      "type": {
        "sort": "Buf",
        "level": {
          "n": 1
        },
        "size": {
          "const": 3,
          "s": 1
        }
      },
      "word": [
        "S"
      ],
      "path_depth": 1
    },
    "T": {
      "type": {
        "sort": "Chain",
        "level": {
          "const": 1,
          "n": 1
        },
        "arity": 2,
        "kind": "only",
        "left": 1,
        "right": 8
      },
      "word": [
        "T"
      ],
      "path_depth": 1
    }
  },
  "instructions": [
    {
      "op": "small",
      "buffer": "S",
      "out": "s1"
    },
    {
      "op": "push",
      "stored": "s1",
      "child": "D",
      "out": "d1"
    },
    {
      "op": "pack",
      "chain": "T",
      "out": "t1"
    },
    {
      "op": "concat",
      "left": "t1",
      "right": "d1",
      "out": "d2"
    },
    {
      "op": "split3",
      "buffer": "H",
      "case": "long",
      "remainder": {
        "const": 3,
        "r": 1
      },
      "three": "U",
      "rest": "V"
    },
    {
      "op": "inject3",
      "prefix": "P",
      "items": "U",
      "out": "p1"
    },
    {
      "op": "small",
      "buffer": "V",
      "out": "v1"
    },
    {
      "op": "push",
      "stored": "v1",
      "child": "d2",
      "out": "d3"
    }
  ],
  "outputs": [
    {
      "value": "p1",
      "min_size": 8
    },
    {
      "value": "d3",
      "type": {
        "sort": "Semi",
        "level": {
          "const": 1,
          "n": 1
        }
      }
    }
  ],
  "target_word": [
    "P",
    "H",
    "T",
    "S",
    "D"
  ]
}