Raw File
increment_tm.json
{
    "cell_types": {
        "Tape cell": {
            "domains": [
                "(a,0)-1",
                "(a,0)-2",
                "(a,1)-1",
                "(a,1)-2",
                "(a, )-1",
                "(a, )-2",
                "(b,0)-1",
                "(b,0)-2",
                "(b,1)-1",
                "(b,1)-2",
                "1",
                "2",
                "3",
                "4",
                "5",
                "6",
                "7",
                "8"
            ],
            "strand_labels": [
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_full"
                        ],
                        [
                            2,
                            "(a,1)_full"
                        ],
                        [
                            4,
                            "(a, )_full"
                        ],
                        [
                            6,
                            "(b,0)_full"
                        ],
                        [
                            8,
                            "(b,1)_full"
                        ],
                        [
                            10,
                            "symbol_123"
                        ],
                        [
                            13,
                            "symbol_456"
                        ],
                        [
                            16,
                            "symbol_78"
                        ]
                    ],
                    "label": "\u23b5"
                },
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_full"
                        ],
                        [
                            2,
                            "(a,1)_full"
                        ],
                        [
                            4,
                            "(a, )_full"
                        ],
                        [
                            6,
                            "(b,0)_full"
                        ],
                        [
                            8,
                            "(b,1)_full"
                        ],
                        [
                            10,
                            "symbol_123"
                        ],
                        [
                            13,
                            "symbol_45"
                        ],
                        [
                            15,
                            "symbol_678"
                        ]
                    ],
                    "label": "0"
                },
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_full"
                        ],
                        [
                            2,
                            "(a,1)_full"
                        ],
                        [
                            4,
                            "(a, )_full"
                        ],
                        [
                            6,
                            "(b,0)_full"
                        ],
                        [
                            8,
                            "(b,1)_full"
                        ],
                        [
                            10,
                            "symbol_12"
                        ],
                        [
                            12,
                            "symbol_345678"
                        ]
                    ],
                    "label": "1"
                },
                {
                    "strands": [
                        [
                            2,
                            "(a,1)_full"
                        ],
                        [
                            4,
                            "(a, )_full"
                        ],
                        [
                            6,
                            "(b,0)_full"
                        ],
                        [
                            8,
                            "(b,1)_full"
                        ],
                        [
                            10,
                            "symbol_covered"
                        ]
                    ],
                    "label": "(a,0)"
                },
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_plug"
                        ],
                        [
                            2,
                            "(a,1)_full"
                        ],
                        [
                            4,
                            "(a, )_full"
                        ],
                        [
                            6,
                            "(b,0)_full"
                        ],
                        [
                            8,
                            "(b,1)_full"
                        ],
                        [
                            10,
                            "symbol_covered"
                        ]
                    ],
                    "label": "(a,0)"
                },
                {
                    "strands": [
                        [
                            -1,
                            "(a,0)_final"
                        ],
                        [
                            2,
                            "(a,1)_full"
                        ],
                        [
                            4,
                            "(a, )_full"
                        ],
                        [
                            6,
                            "(b,0)_full"
                        ],
                        [
                            8,
                            "(b,1)_full"
                        ],
                        [
                            10,
                            "symbol_covered"
                        ]
                    ],
                    "label": "(a,0)"
                },
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_full"
                        ],
                        [
                            4,
                            "(a, )_full"
                        ],
                        [
                            6,
                            "(b,0)_full"
                        ],
                        [
                            8,
                            "(b,1)_full"
                        ],
                        [
                            10,
                            "symbol_covered"
                        ]
                    ],
                    "label": "(a,1)"
                },
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_full"
                        ],
                        [
                            2,
                            "(a,1)_plug"
                        ],
                        [
                            4,
                            "(a, )_full"
                        ],
                        [
                            6,
                            "(b,0)_full"
                        ],
                        [
                            8,
                            "(b,1)_full"
                        ],
                        [
                            10,
                            "symbol_covered"
                        ]
                    ],
                    "label": "(a,1)"
                },
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_full"
                        ],
                        [
                            1,
                            "(a,1)_final"
                        ],
                        [
                            4,
                            "(a, )_full"
                        ],
                        [
                            6,
                            "(b,0)_full"
                        ],
                        [
                            8,
                            "(b,1)_full"
                        ],
                        [
                            10,
                            "symbol_covered"
                        ]
                    ],
                    "label": "(a,1)"
                },
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_full"
                        ],
                        [
                            2,
                            "(a,1)_full"
                        ],
                        [
                            6,
                            "(b,0)_full"
                        ],
                        [
                            8,
                            "(b,1)_full"
                        ],
                        [
                            10,
                            "symbol_covered"
                        ]
                    ],
                    "label": "(a,\u23b5)"
                },
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_full"
                        ],
                        [
                            2,
                            "(a,1)_full"
                        ],
                        [
                            4,
                            "(a, )_plug"
                        ],
                        [
                            6,
                            "(b,0)_full"
                        ],
                        [
                            8,
                            "(b,1)_full"
                        ],
                        [
                            10,
                            "symbol_covered"
                        ]
                    ],
                    "label": "(a,\u23b5)"
                },
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_full"
                        ],
                        [
                            2,
                            "(a,1)_full"
                        ],
                        [
                            3,
                            "(a, )_final"
                        ],
                        [
                            6,
                            "(b,0)_full"
                        ],
                        [
                            8,
                            "(b,1)_full"
                        ],
                        [
                            10,
                            "symbol_covered"
                        ]
                    ],
                    "label": "(a,\u23b5)"
                },
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_full"
                        ],
                        [
                            2,
                            "(a,1)_full"
                        ],
                        [
                            4,
                            "(a, )_full"
                        ],
                        [
                            8,
                            "(b,1)_full"
                        ],
                        [
                            10,
                            "symbol_covered"
                        ]
                    ],
                    "label": "(b,0)"
                },
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_full"
                        ],
                        [
                            2,
                            "(a,1)_full"
                        ],
                        [
                            4,
                            "(a, )_full"
                        ],
                        [
                            6,
                            "(b,0)_plug"
                        ],
                        [
                            8,
                            "(b,1)_full"
                        ],
                        [
                            10,
                            "symbol_covered"
                        ]
                    ],
                    "label": "(b,0)"
                },
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_full"
                        ],
                        [
                            2,
                            "(a,1)_full"
                        ],
                        [
                            4,
                            "(a, )_full"
                        ],
                        [
                            5,
                            "(b,0)_final"
                        ],
                        [
                            8,
                            "(b,1)_full"
                        ],
                        [
                            10,
                            "symbol_covered"
                        ]
                    ],
                    "label": "(b,0)"
                },
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_full"
                        ],
                        [
                            2,
                            "(a,1)_full"
                        ],
                        [
                            4,
                            "(a, )_full"
                        ],
                        [
                            6,
                            "(b,0)_full"
                        ],
                        [
                            10,
                            "symbol_covered"
                        ]
                    ],
                    "label": "(b,1)"
                },
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_full"
                        ],
                        [
                            2,
                            "(a,1)_full"
                        ],
                        [
                            4,
                            "(a, )_full"
                        ],
                        [
                            6,
                            "(b,0)_full"
                        ],
                        [
                            8,
                            "(b,1)_plug"
                        ],
                        [
                            10,
                            "symbol_covered"
                        ]
                    ],
                    "label": "(b,1)"
                },
                {
                    "strands": [
                        [
                            0,
                            "(a,0)_full"
                        ],
                        [
                            2,
                            "(a,1)_full"
                        ],
                        [
                            4,
                            "(a, )_full"
                        ],
                        [
                            6,
                            "(b,0)_full"
                        ],
                        [
                            7,
                            "(b,1)_final"
                        ],
                        [
                            10,
                            "symbol_covered"
                        ]
                    ],
                    "label": "(b,1)"
                }
            ]
        }
    },
    "strand_types": {
        "(a,0)_full": {
            "domains": [
                "(a,0)-1",
                "(a,0)-2"
            ],
            "is_complementary": false,
            "color": "#1f77b4"
        },
        "(a,1)_full": {
            "domains": [
                "(a,1)-1",
                "(a,1)-2"
            ],
            "is_complementary": false,
            "color": "#ff7f0e"
        },
        "(a, )_full": {
            "domains": [
                "(a, )-1",
                "(a, )-2"
            ],
            "is_complementary": false,
            "color": "#2ca02c"
        },
        "(b,0)_full": {
            "domains": [
                "(b,0)-1",
                "(b,0)-2"
            ],
            "is_complementary": false,
            "color": "#d62728"
        },
        "(b,1)_full": {
            "domains": [
                "(b,1)-1",
                "(b,1)-2"
            ],
            "is_complementary": false,
            "color": "#9467bd"
        },
        "symbol_covered": {
            "domains": [
                "1",
                "2",
                "3",
                "4",
                "5",
                "6",
                "7",
                "8"
            ],
            "is_complementary": false,
            "color": "#000000"
        },
        "symbol_12": {
            "domains": [
                "1",
                "2"
            ],
            "is_complementary": false,
            "color": "#7f7f7f"
        },
        "symbol_345678": {
            "domains": [
                "3",
                "4",
                "5",
                "6",
                "7",
                "8"
            ],
            "is_complementary": false,
            "color": "#7f7f7f"
        },
        "symbol_123": {
            "domains": [
                "1",
                "2",
                "3"
            ],
            "is_complementary": false,
            "color": "#e377c2"
        },
        "symbol_45": {
            "domains": [
                "4",
                "5"
            ],
            "is_complementary": false,
            "color": "#e377c2"
        },
        "symbol_678": {
            "domains": [
                "6",
                "7",
                "8"
            ],
            "is_complementary": false,
            "color": "#e377c2"
        },
        "symbol_456": {
            "domains": [
                "4",
                "5",
                "6"
            ],
            "is_complementary": false,
            "color": "#8c564b"
        },
        "symbol_78": {
            "domains": [
                "7",
                "8"
            ],
            "is_complementary": false,
            "color": "#8c564b"
        },
        "(a,0)_plug": {
            "domains": [
                "(a,0)-1",
                "(a,0)-2",
                "9"
            ],
            "is_complementary": false,
            "color": "#1f77b4"
        },
        "(a,0)_unplug": {
            "domains": [
                "(a,0)-1",
                "(a,0)-2",
                "9"
            ],
            "is_complementary": true,
            "color": "#1f77b4"
        },
        "(a,0)_final": {
            "domains": [
                "10",
                "(a,0)-1",
                "(a,0)-2"
            ],
            "is_complementary": false,
            "color": "#1f77b4"
        },
        "(a,0)_restart": {
            "domains": [
                "10",
                "(a,0)-1",
                "(a,0)-2"
            ],
            "is_complementary": true,
            "color": "#1f77b4"
        },
        "(a,1)_plug": {
            "domains": [
                "(a,1)-1",
                "(a,1)-2",
                "9"
            ],
            "is_complementary": false,
            "color": "#ff7f0e"
        },
        "(a,1)_unplug": {
            "domains": [
                "(a,1)-1",
                "(a,1)-2",
                "9"
            ],
            "is_complementary": true,
            "color": "#ff7f0e"
        },
        "(a,1)_final": {
            "domains": [
                "10",
                "(a,1)-1",
                "(a,1)-2"
            ],
            "is_complementary": false,
            "color": "#ff7f0e"
        },
        "(a,1)_restart": {
            "domains": [
                "10",
                "(a,1)-1",
                "(a,1)-2"
            ],
            "is_complementary": true,
            "color": "#ff7f0e"
        },
        "(a, )_plug": {
            "domains": [
                "(a, )-1",
                "(a, )-2",
                "9"
            ],
            "is_complementary": false,
            "color": "#2ca02c"
        },
        "(a, )_unplug": {
            "domains": [
                "(a, )-1",
                "(a, )-2",
                "9"
            ],
            "is_complementary": true,
            "color": "#2ca02c"
        },
        "(a, )_final": {
            "domains": [
                "10",
                "(a, )-1",
                "(a, )-2"
            ],
            "is_complementary": false,
            "color": "#2ca02c"
        },
        "(a, )_restart": {
            "domains": [
                "10",
                "(a, )-1",
                "(a, )-2"
            ],
            "is_complementary": true,
            "color": "#2ca02c"
        },
        "(b,0)_plug": {
            "domains": [
                "(b,0)-1",
                "(b,0)-2",
                "9"
            ],
            "is_complementary": false,
            "color": "#d62728"
        },
        "(b,0)_unplug": {
            "domains": [
                "(b,0)-1",
                "(b,0)-2",
                "9"
            ],
            "is_complementary": true,
            "color": "#d62728"
        },
        "(b,0)_final": {
            "domains": [
                "10",
                "(b,0)-1",
                "(b,0)-2"
            ],
            "is_complementary": false,
            "color": "#d62728"
        },
        "(b,0)_restart": {
            "domains": [
                "10",
                "(b,0)-1",
                "(b,0)-2"
            ],
            "is_complementary": true,
            "color": "#d62728"
        },
        "(b,1)_plug": {
            "domains": [
                "(b,1)-1",
                "(b,1)-2",
                "9"
            ],
            "is_complementary": false,
            "color": "#9467bd"
        },
        "(b,1)_unplug": {
            "domains": [
                "(b,1)-1",
                "(b,1)-2",
                "9"
            ],
            "is_complementary": true,
            "color": "#9467bd"
        },
        "(b,1)_final": {
            "domains": [
                "10",
                "(b,1)-1",
                "(b,1)-2"
            ],
            "is_complementary": false,
            "color": "#9467bd"
        },
        "(b,1)_restart": {
            "domains": [
                "10",
                "(b,1)-1",
                "(b,1)-2"
            ],
            "is_complementary": true,
            "color": "#9467bd"
        },
        "(a,1)_right": {
            "domains": [
                "(a,0)-2",
                "(a,1)-1",
                "11"
            ],
            "is_complementary": false,
            "color": "#ff7f0e"
        },
        "(a,1)_right_strip": {
            "domains": [
                "(a,0)-2",
                "(a,1)-1",
                "11"
            ],
            "is_complementary": true,
            "color": "#ff7f0e"
        },
        "(a, )_right": {
            "domains": [
                "(a,1)-2",
                "(a, )-1",
                "11"
            ],
            "is_complementary": false,
            "color": "#2ca02c"
        },
        "(a, )_right_strip": {
            "domains": [
                "(a,1)-2",
                "(a, )-1",
                "11"
            ],
            "is_complementary": true,
            "color": "#2ca02c"
        },
        "(b,0)_right": {
            "domains": [
                "(a, )-2",
                "(b,0)-1",
                "11"
            ],
            "is_complementary": false,
            "color": "#d62728"
        },
        "(b,0)_right_strip": {
            "domains": [
                "(a, )-2",
                "(b,0)-1",
                "11"
            ],
            "is_complementary": true,
            "color": "#d62728"
        },
        "(b,1)_right": {
            "domains": [
                "(b,0)-2",
                "(b,1)-1",
                "11"
            ],
            "is_complementary": false,
            "color": "#9467bd"
        },
        "(b,1)_right_strip": {
            "domains": [
                "(b,0)-2",
                "(b,1)-1",
                "11"
            ],
            "is_complementary": true,
            "color": "#9467bd"
        },
        "symbol_right": {
            "domains": [
                "(b,1)-2",
                "1",
                "2",
                "3",
                "4",
                "5",
                "6",
                "7",
                "11"
            ],
            "is_complementary": false,
            "color": "#000000"
        },
        "symbol_right_strip": {
            "domains": [
                "(b,1)-2",
                "1",
                "2",
                "3",
                "4",
                "5",
                "6",
                "7",
                "11"
            ],
            "is_complementary": true,
            "color": "#000000"
        },
        "symbol_67": {
            "domains": [
                "6",
                "7"
            ],
            "is_complementary": false,
            "color": "#e377c2"
        },
        "(a,0)_next_right": {
            "domains": [
                "8",
                "(a,0)-1",
                "11"
            ],
            "is_complementary": false,
            "color": "#1f77b4"
        },
        "(a,0)_next_right_strip": {
            "domains": [
                "8",
                "(a,0)-1",
                "11"
            ],
            "is_complementary": true,
            "color": "#1f77b4"
        },
        "(a,1)_next_right": {
            "domains": [
                "(a,0)-2",
                "(a,1)-1",
                "11"
            ],
            "is_complementary": false,
            "color": "#ff7f0e"
        },
        "(a,1)_next_right_strip": {
            "domains": [
                "(a,0)-2",
                "(a,1)-1",
                "11"
            ],
            "is_complementary": true,
            "color": "#ff7f0e"
        },
        "(a, )_next_right": {
            "domains": [
                "(a,1)-2",
                "(a, )-1",
                "11"
            ],
            "is_complementary": false,
            "color": "#2ca02c"
        },
        "(a, )_next_right_strip": {
            "domains": [
                "(a,1)-2",
                "(a, )-1",
                "11"
            ],
            "is_complementary": true,
            "color": "#2ca02c"
        },
        "(b,0)_next_right": {
            "domains": [
                "(a, )-2",
                "(b,0)-1",
                "11"
            ],
            "is_complementary": false,
            "color": "#d62728"
        },
        "(b,0)_next_right_strip": {
            "domains": [
                "(a, )-2",
                "(b,0)-1",
                "11"
            ],
            "is_complementary": true,
            "color": "#d62728"
        },
        "(b,1)_next_right": {
            "domains": [
                "(b,0)-2",
                "(b,1)-1",
                "11"
            ],
            "is_complementary": false,
            "color": "#9467bd"
        },
        "(b,1)_next_right_strip": {
            "domains": [
                "(b,0)-2",
                "(b,1)-1",
                "11"
            ],
            "is_complementary": true,
            "color": "#9467bd"
        },
        "next_right_1": {
            "domains": [
                "(b,1)-2",
                "1",
                "2",
                "11"
            ],
            "is_complementary": false,
            "color": "#000000"
        },
        "next_right_1_strip": {
            "domains": [
                "(b,1)-2",
                "1",
                "2",
                "11"
            ],
            "is_complementary": true,
            "color": "#000000"
        },
        "next_right_2": {
            "domains": [
                "3",
                "4",
                "5",
                "11"
            ],
            "is_complementary": false,
            "color": "#000000"
        },
        "next_right_2_strip": {
            "domains": [
                "3",
                "4",
                "5",
                "11"
            ],
            "is_complementary": true,
            "color": "#000000"
        },
        "right_blank": {
            "domains": [
                "4",
                "5",
                "6",
                "12"
            ],
            "is_complementary": false,
            "color": "#000000"
        },
        "right_blank_strip": {
            "domains": [
                "4",
                "5",
                "6",
                "12"
            ],
            "is_complementary": true,
            "color": "#000000"
        },
        "8_right_plug": {
            "domains": [
                "8",
                "(a,0)-1",
                "(a,0)-2",
                "12"
            ],
            "is_complementary": false,
            "color": "#1f77b4"
        },
        "8_right_plug_strip": {
            "domains": [
                "8",
                "(a,0)-1",
                "(a,0)-2",
                "12"
            ],
            "is_complementary": true,
            "color": "#1f77b4"
        },
        "symbol_34567": {
            "domains": [
                "3",
                "4",
                "5",
                "6",
                "7"
            ],
            "is_complementary": false,
            "color": "#7f7f7f"
        },
        "left_start": {
            "domains": [
                "7",
                "8",
                "(a,0)-1",
                "11"
            ],
            "is_complementary": false,
            "color": "#000000"
        },
        "left_start_strip": {
            "domains": [
                "7",
                "8",
                "(a,0)-1",
                "11"
            ],
            "is_complementary": true,
            "color": "#000000"
        },
        "(a,0)_left": {
            "domains": [
                "(a,0)-2",
                "(a,1)-1",
                "11"
            ],
            "is_complementary": false,
            "color": "#1f77b4"
        },
        "(a,1)_left_extended": {
            "domains": [
                "(a,1)-2",
                "(a, )-1",
                "(a, )-2",
                "11"
            ],
            "is_complementary": false,
            "color": "#ff7f0e"
        },
        "(a,1)_left_extended_strip": {
            "domains": [
                "(a,1)-2",
                "(a, )-1",
                "(a, )-2",
                "11"
            ],
            "is_complementary": true,
            "color": "#ff7f0e"
        },
        "one_left_start": {
            "domains": [
                "3",
                "4",
                "5",
                "6",
                "7",
                "8",
                "(a,0)-1",
                "13"
            ],
            "is_complementary": false,
            "color": "#7f7f7f"
        },
        "one_left_strip": {
            "domains": [
                "3",
                "4",
                "5",
                "6",
                "7",
                "8",
                "(a,0)-1",
                "13"
            ],
            "is_complementary": true,
            "color": "#7f7f7f"
        },
        "(b,0)_left": {
            "domains": [
                "(b,0)-2",
                "(b,1)-1",
                "11"
            ],
            "is_complementary": false,
            "color": "#d62728"
        },
        "(b,1)_left": {
            "domains": [
                "(b,1)-2",
                "1",
                "11"
            ],
            "is_complementary": false,
            "color": "#9467bd"
        },
        "zero_symbol_displace": {
            "domains": [
                "2",
                "3",
                "4",
                "5",
                "6",
                "12"
            ],
            "is_complementary": false,
            "color": "#e377c2"
        },
        "temp_one": {
            "domains": [
                "4",
                "5",
                "6",
                "7",
                "8",
                "(a,0)-1",
                "13"
            ],
            "is_complementary": false,
            "color": "#7f7f7f"
        },
        "one_symbol_displace": {
            "domains": [
                "2",
                "3",
                "12"
            ],
            "is_complementary": false,
            "color": "#7f7f7f"
        },
        "(a,1)_left": {
            "domains": [
                "(a,1)-2",
                "(a, )-1",
                "11"
            ],
            "is_complementary": false,
            "color": "#ff7f0e"
        },
        "(a, )_left": {
            "domains": [
                "(a, )-2",
                "(b,0)-1",
                "11"
            ],
            "is_complementary": false,
            "color": "#2ca02c"
        },
        "(b,0)_left_extended": {
            "domains": [
                "(b,0)-2",
                "(b,1)-1",
                "(b,1)-2",
                "11"
            ],
            "is_complementary": false,
            "color": "#d62728"
        },
        "(b,0)_left_extended_strip": {
            "domains": [
                "(b,0)-2",
                "(b,1)-1",
                "(b,1)-2",
                "11"
            ],
            "is_complementary": true,
            "color": "#d62728"
        }
    },
    "registers": {
        "BinaryTM": {
            "cells": [
                "Tape cell",
                "Tape cell",
                "Tape cell",
                "Tape cell",
                "Tape cell",
                "Tape cell",
                "Tape cell"
            ],
            "top_strands": [
                {
                    "start_index": 0,
                    "strand_name": "(a,0)_full"
                },
                {
                    "start_index": 4,
                    "strand_name": "(a, )_full"
                },
                {
                    "start_index": 6,
                    "strand_name": "(b,0)_full"
                },
                {
                    "start_index": 8,
                    "strand_name": "(b,1)_full"
                },
                {
                    "start_index": 10,
                    "strand_name": "symbol_covered"
                },
                {
                    "start_index": 18,
                    "strand_name": "(a,0)_full"
                },
                {
                    "start_index": 20,
                    "strand_name": "(a,1)_full"
                },
                {
                    "start_index": 22,
                    "strand_name": "(a, )_full"
                },
                {
                    "start_index": 24,
                    "strand_name": "(b,0)_full"
                },
                {
                    "start_index": 26,
                    "strand_name": "(b,1)_full"
                },
                {
                    "start_index": 28,
                    "strand_name": "symbol_123"
                },
                {
                    "start_index": 31,
                    "strand_name": "symbol_45"
                },
                {
                    "start_index": 33,
                    "strand_name": "symbol_678"
                },
                {
                    "start_index": 36,
                    "strand_name": "(a,0)_full"
                },
                {
                    "start_index": 38,
                    "strand_name": "(a,1)_full"
                },
                {
                    "start_index": 40,
                    "strand_name": "(a, )_full"
                },
                {
                    "start_index": 42,
                    "strand_name": "(b,0)_full"
                },
                {
                    "start_index": 44,
                    "strand_name": "(b,1)_full"
                },
                {
                    "start_index": 46,
                    "strand_name": "symbol_123"
                },
                {
                    "start_index": 49,
                    "strand_name": "symbol_45"
                },
                {
                    "start_index": 51,
                    "strand_name": "symbol_678"
                },
                {
                    "start_index": 54,
                    "strand_name": "(a,0)_full"
                },
                {
                    "start_index": 56,
                    "strand_name": "(a,1)_full"
                },
                {
                    "start_index": 58,
                    "strand_name": "(a, )_full"
                },
                {
                    "start_index": 60,
                    "strand_name": "(b,0)_full"
                },
                {
                    "start_index": 62,
                    "strand_name": "(b,1)_full"
                },
                {
                    "start_index": 64,
                    "strand_name": "symbol_12"
                },
                {
                    "start_index": 66,
                    "strand_name": "symbol_345678"
                },
                {
                    "start_index": 72,
                    "strand_name": "(a,0)_full"
                },
                {
                    "start_index": 74,
                    "strand_name": "(a,1)_full"
                },
                {
                    "start_index": 76,
                    "strand_name": "(a, )_full"
                },
                {
                    "start_index": 78,
                    "strand_name": "(b,0)_full"
                },
                {
                    "start_index": 80,
                    "strand_name": "(b,1)_full"
                },
                {
                    "start_index": 82,
                    "strand_name": "symbol_12"
                },
                {
                    "start_index": 84,
                    "strand_name": "symbol_345678"
                },
                {
                    "start_index": 90,
                    "strand_name": "(a,0)_full"
                },
                {
                    "start_index": 92,
                    "strand_name": "(a,1)_full"
                },
                {
                    "start_index": 94,
                    "strand_name": "(a, )_full"
                },
                {
                    "start_index": 96,
                    "strand_name": "(b,0)_full"
                },
                {
                    "start_index": 98,
                    "strand_name": "(b,1)_full"
                },
                {
                    "start_index": 100,
                    "strand_name": "symbol_12"
                },
                {
                    "start_index": 102,
                    "strand_name": "symbol_345678"
                },
                {
                    "start_index": 108,
                    "strand_name": "(a,0)_full"
                },
                {
                    "start_index": 110,
                    "strand_name": "(a,1)_full"
                },
                {
                    "start_index": 112,
                    "strand_name": "(a, )_full"
                },
                {
                    "start_index": 114,
                    "strand_name": "(b,0)_full"
                },
                {
                    "start_index": 116,
                    "strand_name": "(b,1)_full"
                },
                {
                    "start_index": 118,
                    "strand_name": "symbol_123"
                },
                {
                    "start_index": 121,
                    "strand_name": "symbol_456"
                },
                {
                    "start_index": 124,
                    "strand_name": "symbol_78"
                }
            ]
        }
    },
    "instructions": [
        [
            "(a,0)_plug",
            "(a,1)_plug",
            "(a, )_plug",
            "(b,0)_plug",
            "(b,1)_plug"
        ],
        [
            "(a,0)_unplug"
        ],
        [
            "(a,1)_right",
            "(a, )_right",
            "(b,0)_right",
            "(b,1)_right",
            "symbol_right"
        ],
        [
            "(a,1)_right_strip",
            "(a, )_right_strip",
            "(b,0)_right_strip",
            "(b,1)_right_strip",
            "symbol_right_strip"
        ],
        [
            "(a,0)_full",
            "(a,1)_full",
            "(a, )_full",
            "(b,0)_full",
            "(b,1)_full",
            "symbol_123",
            "symbol_45",
            "symbol_67"
        ],
        [
            "(a,0)_next_right",
            "(a,1)_next_right",
            "(a, )_next_right",
            "(b,0)_next_right",
            "(b,1)_next_right",
            "next_right_1",
            "next_right_2"
        ],
        [
            "8_right_plug",
            "(a,1)_full",
            "(a, )_final",
            "(b,0)_full",
            "(b,1)_full",
            "symbol_123",
            "right_blank"
        ],
        [
            "right_blank_strip"
        ],
        [
            "symbol_covered"
        ],
        [
            "8_right_plug_strip"
        ],
        [
            "symbol_678",
            "(a,0)_full"
        ],
        [
            "next_right_2_strip"
        ],
        [
            "symbol_covered"
        ],
        [
            "8_right_plug",
            "(a,1)_full",
            "(a, )_full",
            "(b,0)_full",
            "(b,1)_full"
        ],
        [
            "8_right_plug_strip"
        ],
        [
            "symbol_678",
            "(a,0)_final"
        ],
        [
            "(a,0)_next_right_strip",
            "(a,1)_next_right_strip",
            "(a, )_next_right_strip",
            "(b,0)_next_right_strip",
            "(b,1)_next_right_strip",
            "next_right_1_strip"
        ],
        [
            "symbol_678",
            "(a,0)_full",
            "(a,1)_final",
            "(a, )_full",
            "(b,0)_full",
            "(b,1)_full"
        ],
        [
            "symbol_covered"
        ],
        [
            "(a,1)_unplug"
        ],
        [
            "(a, )_right",
            "(b,0)_right",
            "(b,1)_right",
            "symbol_right"
        ],
        [
            "(a, )_right_strip",
            "(b,0)_right_strip",
            "(b,1)_right_strip",
            "symbol_right_strip"
        ],
        [
            "(a,0)_full",
            "(a,1)_full",
            "(a, )_full",
            "(b,0)_full",
            "(b,1)_full",
            "symbol_12",
            "symbol_34567"
        ],
        [
            "(a,0)_next_right",
            "(a,1)_next_right",
            "(a, )_next_right",
            "(b,0)_next_right",
            "(b,1)_next_right",
            "next_right_1",
            "next_right_2"
        ],
        [
            "8_right_plug",
            "(a,1)_full",
            "(a, )_final",
            "(b,0)_full",
            "(b,1)_full",
            "symbol_123",
            "right_blank"
        ],
        [
            "right_blank_strip"
        ],
        [
            "symbol_covered"
        ],
        [
            "8_right_plug_strip"
        ],
        [
            "symbol_345678",
            "(a,0)_full"
        ],
        [
            "next_right_2_strip"
        ],
        [
            "symbol_covered"
        ],
        [
            "8_right_plug",
            "(a,1)_full",
            "(a, )_full",
            "(b,0)_full",
            "(b,1)_full"
        ],
        [
            "8_right_plug_strip"
        ],
        [
            "symbol_345678",
            "(a,0)_final"
        ],
        [
            "(a,0)_next_right_strip",
            "(a,1)_next_right_strip",
            "(a, )_next_right_strip",
            "(b,0)_next_right_strip",
            "(b,1)_next_right_strip",
            "next_right_1_strip"
        ],
        [
            "symbol_345678",
            "(a,0)_full",
            "(a,1)_final",
            "(a, )_full",
            "(b,0)_full",
            "(b,1)_full"
        ],
        [
            "symbol_covered"
        ],
        [
            "(a, )_unplug"
        ],
        [
            "left_start",
            "(a,0)_left",
            "(a,1)_left_extended"
        ],
        [
            "(b,0)_left",
            "(b,1)_left",
            "zero_symbol_displace"
        ],
        [
            "one_left_start"
        ],
        [
            "(b,0)_final",
            "(b,1)_full",
            "symbol_covered"
        ],
        [
            "one_left_strip"
        ],
        [
            "temp_one"
        ],
        [
            "(b,1)_left",
            "one_symbol_displace"
        ],
        [
            "(b,1)_final",
            "symbol_covered"
        ],
        [
            "left_start_strip"
        ],
        [
            "symbol_78"
        ],
        [
            "(a,1)_left_extended_strip"
        ],
        [
            "(a,0)_full",
            "(a,1)_full",
            "(b,0)_right",
            "(b,1)_right",
            "symbol_right"
        ],
        [
            "(b,0)_right_strip",
            "(b,1)_right_strip",
            "symbol_right_strip"
        ],
        [
            "(a, )_full",
            "(b,0)_full",
            "(b,1)_full",
            "symbol_123",
            "symbol_456",
            "symbol_78"
        ],
        [
            "(b,0)_unplug"
        ],
        [
            "(b,1)_right",
            "symbol_right"
        ],
        [
            "(b,1)_right_strip",
            "symbol_right_strip"
        ],
        [
            "(a,0)_full",
            "(a,1)_full",
            "(a, )_full",
            "(b,0)_full",
            "(b,1)_full",
            "symbol_12",
            "symbol_34567"
        ],
        [
            "(a,0)_next_right",
            "(a,1)_next_right",
            "(a, )_next_right",
            "(b,0)_next_right",
            "(b,1)_next_right",
            "next_right_1",
            "next_right_2"
        ],
        [
            "8_right_plug",
            "(a,1)_full",
            "(a, )_full",
            "(b,0)_full",
            "(b,1)_full",
            "symbol_123",
            "right_blank"
        ],
        [
            "right_blank_strip"
        ],
        [
            "symbol_456"
        ],
        [
            "8_right_plug_strip"
        ],
        [
            "symbol_345678",
            "(a,0)_full"
        ],
        [
            "next_right_2_strip"
        ],
        [
            "symbol_123",
            "symbol_45"
        ],
        [
            "8_right_plug",
            "(a,1)_full",
            "(a, )_full",
            "(b,0)_full",
            "(b,1)_full"
        ],
        [
            "8_right_plug_strip"
        ],
        [
            "symbol_345678",
            "(a,0)_full"
        ],
        [
            "(a,0)_next_right_strip",
            "(a,1)_next_right_strip",
            "(a, )_next_right_strip",
            "(b,0)_next_right_strip",
            "(b,1)_next_right_strip",
            "next_right_1_strip"
        ],
        [
            "symbol_345678",
            "(a,0)_full",
            "(a,1)_full",
            "(a, )_full",
            "(b,0)_full",
            "(b,1)_full"
        ],
        [
            "symbol_12",
            "symbol_345678"
        ],
        [
            "(b,1)_unplug"
        ],
        [
            "left_start",
            "(a,0)_left",
            "(a,1)_left",
            "(a, )_left",
            "(b,0)_left_extended"
        ],
        [
            "(b,0)_left",
            "(b,1)_left",
            "zero_symbol_displace"
        ],
        [
            "one_left_start"
        ],
        [
            "(b,0)_final",
            "(b,1)_full",
            "symbol_covered"
        ],
        [
            "one_left_strip"
        ],
        [
            "temp_one"
        ],
        [
            "(b,1)_left",
            "one_symbol_displace"
        ],
        [
            "(b,1)_final",
            "symbol_covered"
        ],
        [
            "left_start_strip"
        ],
        [
            "symbol_78"
        ],
        [
            "(b,0)_left_extended_strip"
        ],
        [
            "(a,0)_full",
            "(a,1)_full",
            "(a, )_full",
            "(b,0)_full",
            "symbol_right"
        ],
        [
            "symbol_right_strip"
        ],
        [
            "(b,1)_full",
            "symbol_123",
            "symbol_45",
            "symbol_678"
        ],
        [
            "(a,0)_restart",
            "(a,1)_restart",
            "(a, )_restart",
            "(b,0)_restart",
            "(b,1)_restart"
        ]
    ]
}
back to top