{
  "bytes": [
    {
      "corrected": false,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 0
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 0,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 0,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 0
    },
    {
      "corrected": false,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 123
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 0,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 0,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 123
    },
    {
      "corrected": false,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 255
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 0,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 0,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 255
    },
    {
      "corrected": false,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 0
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 7,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 7,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 0
    },
    {
      "corrected": false,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 123
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 7,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 7,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 123
    },
    {
      "corrected": false,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 255
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 7,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 7,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 255
    },
    {
      "corrected": false,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 0
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 255,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 255,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 0
    },
    {
      "corrected": false,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 123
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 255,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 255,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 123
    },
    {
      "corrected": false,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 255
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 255,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 255,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 255
    },
    {
      "corrected": true,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 0
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 0,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 0,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 0
    },
    {
      "corrected": true,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 123
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 123,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 0,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 123
    },
    {
      "corrected": true,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 255
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 255,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 0,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 255
    },
    {
      "corrected": true,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 0
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 0,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 7,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 0
    },
    {
      "corrected": true,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 123
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 123,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 7,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 123
    },
    {
      "corrected": true,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 255
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 255,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 7,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 255
    },
    {
      "corrected": true,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 0
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 0,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 255,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 0
    },
    {
      "corrected": true,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 123
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 123,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 255,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 123
    },
    {
      "corrected": true,
      "execution": {
        "byte_writes": [
          {
            "address": 2097252,
            "value": 255
          }
        ],
        "calls": [
          {
            "args": {},
            "instruction": 4,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 4,
              "target": 99
            },
            "effect": {
              "command_supplied": [
                127,
                -128,
                0
              ]
            }
          }
        ],
        "return": 255,
        "trace": null,
        "trace_length": 9,
        "trace_sha256": "5cfc4211e4918b07c75c1ec51a90d9f5423607c3fb588a14a3bd8d0d415f8886"
      },
      "initial_byte": 255,
      "returned_commands": [
        127,
        128,
        0
      ],
      "written_byte": 255
    }
  ],
  "command": {
    "commands": [
      127,
      128,
      255
    ],
    "execution": {
      "byte_writes": [],
      "calls": [
        {
          "args": {},
          "instruction": 1,
          "target": 99
        }
      ],
      "children": [
        {
          "call": {
            "args": {},
            "instruction": 1,
            "target": 99
          },
          "effect": {}
        }
      ],
      "return": -128,
      "trace": null,
      "trace_length": 7,
      "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
    }
  },
  "countdowns": [
    {
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {
              "8": 1
            },
            "instruction": 5,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {
                "8": 1
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 0
            }
          }
        ],
        "return": 0,
        "trace": null,
        "trace_length": 18,
        "trace_sha256": "4f06ec74f19244e77bf08536cbf44117be74d100b4a99be99a8df27d1f82ab80"
      },
      "initial": 1,
      "stored_result": 0
    },
    {
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {
              "8": 2
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 1
            },
            "instruction": 5,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {
                "8": 2
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 1
            }
          },
          {
            "call": {
              "args": {
                "8": 1
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 0
            }
          }
        ],
        "return": 0,
        "trace": null,
        "trace_length": 33,
        "trace_sha256": "4220ac15c1cbd620da915d850d221b5e9c9b7136dcb1a762f5030cec7a2c6ae3"
      },
      "initial": 2,
      "stored_result": 0
    },
    {
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {
              "8": 3
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 2
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 1
            },
            "instruction": 5,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {
                "8": 3
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 2
            }
          },
          {
            "call": {
              "args": {
                "8": 2
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 1
            }
          },
          {
            "call": {
              "args": {
                "8": 1
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 0
            }
          }
        ],
        "return": 0,
        "trace": null,
        "trace_length": 48,
        "trace_sha256": "1a90dbaf7505044b2fce520a2b5df1fc663b54204157da31c7a7427f773bba50"
      },
      "initial": 3,
      "stored_result": 0
    },
    {
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {
              "8": 7
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 6
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 5
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 4
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 3
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 2
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 1
            },
            "instruction": 5,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {
                "8": 7
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 6
            }
          },
          {
            "call": {
              "args": {
                "8": 6
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 5
            }
          },
          {
            "call": {
              "args": {
                "8": 5
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 4
            }
          },
          {
            "call": {
              "args": {
                "8": 4
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 3
            }
          },
          {
            "call": {
              "args": {
                "8": 3
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 2
            }
          },
          {
            "call": {
              "args": {
                "8": 2
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 1
            }
          },
          {
            "call": {
              "args": {
                "8": 1
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 0
            }
          }
        ],
        "return": 0,
        "trace": null,
        "trace_length": 108,
        "trace_sha256": "9f07914bd00ef9647219cd0a723bc6ce7724cfc790f5fa905d2fbeebe38a6f21"
      },
      "initial": 7,
      "stored_result": 0
    },
    {
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {
              "8": 64
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 63
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 62
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 61
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 60
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 59
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 58
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 57
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 56
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 55
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 54
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 53
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 52
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 51
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 50
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 49
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 48
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 47
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 46
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 45
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 44
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 43
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 42
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 41
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 40
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 39
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 38
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 37
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 36
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 35
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 34
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 33
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 32
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 31
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 30
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 29
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 28
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 27
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 26
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 25
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 24
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 23
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 22
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 21
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 20
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 19
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 18
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 17
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 16
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 15
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 14
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 13
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 12
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 11
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 10
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 9
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 8
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 7
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 6
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 5
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 4
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 3
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 2
            },
            "instruction": 5,
            "target": 99
          },
          {
            "args": {
              "8": 1
            },
            "instruction": 5,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {
                "8": 64
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 63
            }
          },
          {
            "call": {
              "args": {
                "8": 63
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 62
            }
          },
          {
            "call": {
              "args": {
                "8": 62
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 61
            }
          },
          {
            "call": {
              "args": {
                "8": 61
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 60
            }
          },
          {
            "call": {
              "args": {
                "8": 60
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 59
            }
          },
          {
            "call": {
              "args": {
                "8": 59
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 58
            }
          },
          {
            "call": {
              "args": {
                "8": 58
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 57
            }
          },
          {
            "call": {
              "args": {
                "8": 57
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 56
            }
          },
          {
            "call": {
              "args": {
                "8": 56
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 55
            }
          },
          {
            "call": {
              "args": {
                "8": 55
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 54
            }
          },
          {
            "call": {
              "args": {
                "8": 54
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 53
            }
          },
          {
            "call": {
              "args": {
                "8": 53
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 52
            }
          },
          {
            "call": {
              "args": {
                "8": 52
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 51
            }
          },
          {
            "call": {
              "args": {
                "8": 51
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 50
            }
          },
          {
            "call": {
              "args": {
                "8": 50
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 49
            }
          },
          {
            "call": {
              "args": {
                "8": 49
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 48
            }
          },
          {
            "call": {
              "args": {
                "8": 48
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 47
            }
          },
          {
            "call": {
              "args": {
                "8": 47
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 46
            }
          },
          {
            "call": {
              "args": {
                "8": 46
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 45
            }
          },
          {
            "call": {
              "args": {
                "8": 45
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 44
            }
          },
          {
            "call": {
              "args": {
                "8": 44
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 43
            }
          },
          {
            "call": {
              "args": {
                "8": 43
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 42
            }
          },
          {
            "call": {
              "args": {
                "8": 42
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 41
            }
          },
          {
            "call": {
              "args": {
                "8": 41
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 40
            }
          },
          {
            "call": {
              "args": {
                "8": 40
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 39
            }
          },
          {
            "call": {
              "args": {
                "8": 39
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 38
            }
          },
          {
            "call": {
              "args": {
                "8": 38
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 37
            }
          },
          {
            "call": {
              "args": {
                "8": 37
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 36
            }
          },
          {
            "call": {
              "args": {
                "8": 36
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 35
            }
          },
          {
            "call": {
              "args": {
                "8": 35
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 34
            }
          },
          {
            "call": {
              "args": {
                "8": 34
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 33
            }
          },
          {
            "call": {
              "args": {
                "8": 33
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 32
            }
          },
          {
            "call": {
              "args": {
                "8": 32
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 31
            }
          },
          {
            "call": {
              "args": {
                "8": 31
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 30
            }
          },
          {
            "call": {
              "args": {
                "8": 30
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 29
            }
          },
          {
            "call": {
              "args": {
                "8": 29
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 28
            }
          },
          {
            "call": {
              "args": {
                "8": 28
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 27
            }
          },
          {
            "call": {
              "args": {
                "8": 27
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 26
            }
          },
          {
            "call": {
              "args": {
                "8": 26
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 25
            }
          },
          {
            "call": {
              "args": {
                "8": 25
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 24
            }
          },
          {
            "call": {
              "args": {
                "8": 24
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 23
            }
          },
          {
            "call": {
              "args": {
                "8": 23
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 22
            }
          },
          {
            "call": {
              "args": {
                "8": 22
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 21
            }
          },
          {
            "call": {
              "args": {
                "8": 21
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 20
            }
          },
          {
            "call": {
              "args": {
                "8": 20
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 19
            }
          },
          {
            "call": {
              "args": {
                "8": 19
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 18
            }
          },
          {
            "call": {
              "args": {
                "8": 18
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 17
            }
          },
          {
            "call": {
              "args": {
                "8": 17
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 16
            }
          },
          {
            "call": {
              "args": {
                "8": 16
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 15
            }
          },
          {
            "call": {
              "args": {
                "8": 15
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 14
            }
          },
          {
            "call": {
              "args": {
                "8": 14
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 13
            }
          },
          {
            "call": {
              "args": {
                "8": 13
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 12
            }
          },
          {
            "call": {
              "args": {
                "8": 12
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 11
            }
          },
          {
            "call": {
              "args": {
                "8": 11
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 10
            }
          },
          {
            "call": {
              "args": {
                "8": 10
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 9
            }
          },
          {
            "call": {
              "args": {
                "8": 9
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 8
            }
          },
          {
            "call": {
              "args": {
                "8": 8
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 7
            }
          },
          {
            "call": {
              "args": {
                "8": 7
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 6
            }
          },
          {
            "call": {
              "args": {
                "8": 6
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 5
            }
          },
          {
            "call": {
              "args": {
                "8": 5
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 4
            }
          },
          {
            "call": {
              "args": {
                "8": 4
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 3
            }
          },
          {
            "call": {
              "args": {
                "8": 3
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 2
            }
          },
          {
            "call": {
              "args": {
                "8": 2
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 1
            }
          },
          {
            "call": {
              "args": {
                "8": 1
              },
              "instruction": 5,
              "target": 99
            },
            "effect": {
              "result": 0
            }
          }
        ],
        "return": 0,
        "trace": null,
        "trace_length": 963,
        "trace_sha256": "1a7818edc4ea2a270563735b9fd67387bffd5a94027e2d5c5dee3a04a90bf7aa"
      },
      "initial": 64,
      "stored_result": 0
    }
  ],
  "limits": "Synthetic corrected execute mode preserves arbitrary byte writes across segments, reinjects handler-returned command bytes, and handles repeated calls/explicit result placement. Legacy byte snapshots included as counterexamples. No automatic migration of movement consumers."
}