{
  "rom_sha256": "b29af4d9300da2f4d989e9537a0c94f2da43f701fdb6054f4c5b9ce5040fc3d8",
  "source": "Final fresh112 native maintenance runs; actual packed64-byte records and native commit evidence",
  "samples": [
    {
      "case": 7,
      "proof": {
        "frame": 255,
        "fields": [
          "positions"
        ],
        "current_PC": "0xa774",
        "reference_PC": "0xa6ec",
        "record_pointer": "0xffff3f8c",
        "identical_native_record": true,
        "partially_committed_components": [
          {
            "actor": 8,
            "axis": 0,
            "current": 58,
            "parent": 59,
            "current_written": false,
            "parent_written": true,
            "decoded_component": 59
          },
          {
            "actor": 8,
            "axis": 1,
            "current": 113,
            "parent": 112,
            "current_written": false,
            "parent_written": true,
            "decoded_component": 112
          }
        ]
      },
      "current_native_context": {
        "frame": 255,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42868,
        "a0": 4294918056,
        "a3": 4294947786,
        "a4": 4294918028,
        "payload": "0410037441f0008c01a003744490008c053003741213fbfa0460037402b0008c4071c03b4560008c03500374141c57ff19543000196bd00018b1d02518a1d425",
        "flip": 0,
        "direction": 1,
        "auto": 0
      },
      "reference_native_context": {
        "frame": 255,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42732,
        "a0": 4294918060,
        "a3": 4294947914,
        "a4": 4294918028,
        "payload": "0410037441f0008c01a003744490008c053003741213fbfa0460037402b0008c4071c03b4560008c03500374141c57ff19543000196bd00018b1d02518a1d425",
        "flip": 0,
        "direction": 1,
        "auto": 0
      },
      "current_row": {
        "frame": 255,
        "owner": 65288,
        "carrier": 8,
        "passer": 8,
        "target": 65535,
        "shooter": 8,
        "shot_clock": 65531,
        "puck": [
          35,
          118
        ],
        "height": 0,
        "positions": [
          [
            -140,
            0
          ],
          [
            140,
            0
          ],
          [
            -140,
            0
          ],
          [
            140,
            0
          ],
          [
            -140,
            0
          ],
          [
            -6,
            254
          ],
          [
            -140,
            0
          ],
          [
            140,
            0
          ],
          [
            58,
            113
          ],
          [
            140,
            0
          ],
          [
            -140,
            0
          ],
          [
            -1,
            -233
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          4,
          4,
          6,
          2,
          2,
          14,
          4,
          4,
          7,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 246,
        "animations": [
          0,
          0,
          1292,
          0,
          0,
          2,
          0,
          0,
          3836,
          0,
          0,
          984
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 140,
        "controls": [
          2,
          65535
        ],
        "controller_teams": [
          1,
          0
        ],
        "score": [
          0,
          1
        ]
      },
      "reference_row": {
        "frame": 255,
        "owner": 65288,
        "carrier": 8,
        "passer": 8,
        "target": 65535,
        "shooter": 8,
        "shot_clock": 65531,
        "puck": [
          35,
          118
        ],
        "height": 0,
        "positions": [
          [
            -140,
            0
          ],
          [
            140,
            0
          ],
          [
            -140,
            0
          ],
          [
            140,
            0
          ],
          [
            -140,
            0
          ],
          [
            -6,
            254
          ],
          [
            -140,
            0
          ],
          [
            140,
            0
          ],
          [
            59,
            112
          ],
          [
            140,
            0
          ],
          [
            -140,
            0
          ],
          [
            -1,
            -233
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          4,
          4,
          6,
          2,
          2,
          14,
          4,
          4,
          7,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 246,
        "animations": [
          0,
          0,
          1292,
          0,
          0,
          2,
          0,
          0,
          3836,
          0,
          0,
          984
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 140,
        "controls": [
          2,
          65535
        ],
        "controller_teams": [
          1,
          0
        ],
        "score": [
          0,
          1
        ]
      }
    },
    {
      "case": 7,
      "proof": {
        "frame": 257,
        "fields": [
          "positions"
        ],
        "current_PC": "0xa798",
        "reference_PC": "0xa6ec",
        "record_pointer": "0xffff34d4",
        "identical_native_record": true,
        "partially_committed_components": [
          {
            "actor": 4,
            "axis": 0,
            "current": -104,
            "parent": -105,
            "current_written": false,
            "parent_written": true,
            "decoded_component": -105
          },
          {
            "actor": 4,
            "axis": 1,
            "current": -128,
            "parent": -127,
            "current_written": false,
            "parent_written": true,
            "decoded_component": -127
          }
        ]
      },
      "current_native_context": {
        "frame": 257,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42904,
        "a0": 4294915300,
        "a3": 4294947402,
        "a4": 4294915284,
        "payload": "0400f05041ffdbf705614bda449ee3d0053e0797197c28000451440f02afa431440193f8456357ca0343502a1a33d80019543000196bd00018bfcc0418afd004",
        "flip": 0,
        "direction": 1,
        "auto": 0
      },
      "reference_native_context": {
        "frame": 257,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42732,
        "a0": 4294915300,
        "a3": 4294947402,
        "a4": 4294915284,
        "payload": "0400f05041ffdbf705614bda449ee3d0053e0797197c28000451440f02afa431440193f8456357ca0343502a1a33d80019543000196bd00018bfcc0418afd004",
        "flip": 0,
        "direction": 1,
        "auto": 0
      },
      "current_row": {
        "frame": 257,
        "owner": 65288,
        "carrier": 8,
        "passer": 8,
        "target": 65535,
        "shooter": 8,
        "shot_clock": 65531,
        "puck": [
          4,
          -13
        ],
        "height": 0,
        "positions": [
          [
            80,
            60
          ],
          [
            -9,
            -10
          ],
          [
            -38,
            82
          ],
          [
            -48,
            -72
          ],
          [
            -104,
            -128
          ],
          [
            0,
            -246
          ],
          [
            14,
            81
          ],
          [
            48,
            -21
          ],
          [
            -8,
            99
          ],
          [
            -52,
            213
          ],
          [
            43,
            212
          ],
          [
            0,
            246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          4,
          4,
          6,
          2,
          2,
          14,
          4,
          4,
          7,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 246,
        "animations": [
          0,
          0,
          1292,
          0,
          0,
          2,
          0,
          0,
          3836,
          0,
          0,
          984
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 140,
        "controls": [
          2,
          65535
        ],
        "controller_teams": [
          1,
          0
        ],
        "score": [
          0,
          1
        ]
      },
      "reference_row": {
        "frame": 257,
        "owner": 65288,
        "carrier": 8,
        "passer": 8,
        "target": 65535,
        "shooter": 8,
        "shot_clock": 65531,
        "puck": [
          4,
          -13
        ],
        "height": 0,
        "positions": [
          [
            80,
            60
          ],
          [
            -9,
            -10
          ],
          [
            -38,
            82
          ],
          [
            -48,
            -72
          ],
          [
            -105,
            -127
          ],
          [
            0,
            -246
          ],
          [
            14,
            81
          ],
          [
            48,
            -21
          ],
          [
            -8,
            99
          ],
          [
            -52,
            213
          ],
          [
            43,
            212
          ],
          [
            0,
            246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          4,
          4,
          6,
          2,
          2,
          14,
          4,
          4,
          7,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 246,
        "animations": [
          0,
          0,
          1292,
          0,
          0,
          2,
          0,
          0,
          3836,
          0,
          0,
          984
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 140,
        "controls": [
          2,
          65535
        ],
        "controller_teams": [
          1,
          0
        ],
        "score": [
          0,
          1
        ]
      }
    },
    {
      "case": 7,
      "proof": {
        "frame": 265,
        "fields": [
          "positions"
        ],
        "current_PC": "0xa6ca",
        "reference_PC": "0xa792",
        "record_pointer": "0xffff0a56",
        "identical_native_record": true,
        "partially_committed_components": [
          {
            "actor": 3,
            "axis": 1,
            "current": -53,
            "parent": -52,
            "current_written": false,
            "parent_written": true,
            "decoded_component": -52
          }
        ]
      },
      "current_native_context": {
        "frame": 265,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42698,
        "a0": 4294904418,
        "a3": 4294947274,
        "a4": 4294904406,
        "payload": "05afe43241ffdbd900bfc400454f300f015f37dc197c2800051027d703402c34456083ff4530cbd905f0c8181a33d80019543000196bd00018bfcfe518afd3e5",
        "flip": 0,
        "direction": 1,
        "auto": 0
      },
      "reference_native_context": {
        "frame": 265,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42898,
        "a0": 4294904418,
        "a3": 4294947274,
        "a4": 4294904406,
        "payload": "05afe43241ffdbd900bfc400454f300f015f37dc197c2800051027d703402c34456083ff4530cbd905f0c8181a33d80019543000196bd00018bfcfe518afd3e5",
        "flip": 0,
        "direction": 1,
        "auto": 0
      },
      "current_row": {
        "frame": 265,
        "owner": 65288,
        "carrier": 8,
        "passer": 8,
        "target": 65535,
        "shooter": 8,
        "shot_clock": 65531,
        "puck": [
          -26,
          -13
        ],
        "height": 0,
        "positions": [
          [
            50,
            -7
          ],
          [
            -39,
            -10
          ],
          [
            0,
            -15
          ],
          [
            15,
            -53
          ],
          [
            -36,
            -51
          ],
          [
            0,
            -246
          ],
          [
            -40,
            9
          ],
          [
            53,
            11
          ],
          [
            -1,
            34
          ],
          [
            -40,
            50
          ],
          [
            23,
            50
          ],
          [
            0,
            246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          4,
          4,
          6,
          2,
          2,
          14,
          4,
          4,
          7,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 246,
        "animations": [
          0,
          0,
          1292,
          0,
          0,
          2,
          0,
          0,
          3836,
          0,
          0,
          984
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 140,
        "controls": [
          2,
          65535
        ],
        "controller_teams": [
          1,
          0
        ],
        "score": [
          0,
          1
        ]
      },
      "reference_row": {
        "frame": 265,
        "owner": 65288,
        "carrier": 8,
        "passer": 8,
        "target": 65535,
        "shooter": 8,
        "shot_clock": 65531,
        "puck": [
          -26,
          -13
        ],
        "height": 0,
        "positions": [
          [
            50,
            -7
          ],
          [
            -39,
            -10
          ],
          [
            0,
            -15
          ],
          [
            15,
            -52
          ],
          [
            -36,
            -51
          ],
          [
            0,
            -246
          ],
          [
            -40,
            9
          ],
          [
            53,
            11
          ],
          [
            -1,
            34
          ],
          [
            -40,
            50
          ],
          [
            23,
            50
          ],
          [
            0,
            246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          4,
          4,
          6,
          2,
          2,
          14,
          4,
          4,
          7,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 246,
        "animations": [
          0,
          0,
          1292,
          0,
          0,
          2,
          0,
          0,
          3836,
          0,
          0,
          984
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 140,
        "controls": [
          2,
          65535
        ],
        "controller_teams": [
          1,
          0
        ],
        "score": [
          0,
          1
        ]
      }
    },
    {
      "case": 25,
      "proof": {
        "frame": 272,
        "fields": [
          "positions"
        ],
        "current_PC": "0xa6f4",
        "reference_PC": "0xa73c",
        "record_pointer": "0xffff6cb8",
        "identical_native_record": true,
        "partially_committed_components": [
          {
            "actor": 4,
            "axis": 1,
            "current": 97,
            "parent": 98,
            "current_written": true,
            "parent_written": false,
            "decoded_component": 97
          }
        ]
      },
      "current_native_context": {
        "frame": 272,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42740,
        "a0": 4294929608,
        "a3": 4294947402,
        "a4": 4294929592,
        "payload": "0bdc9410410cbc6209acfc5b53bed3ed0c1e7c351973d3fd01fd27ef01fd97a041500374410cf46b015c14281f6d6bec19543000196bd00018bbc3fa23db5000",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "reference_native_context": {
        "frame": 272,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42812,
        "a0": 4294929604,
        "a3": 4294947274,
        "a4": 4294929592,
        "payload": "0bdc9410410cbc6209acfc5b53bed3ed0c1e7c351973d3fd01fd27ef01fd97a041500374410cf46b015c14281f6d6bec19543000196bd00018bbc3fa23db5000",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "current_row": {
        "frame": 272,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          -6,
          272
        ],
        "height": 0,
        "positions": [
          [
            16,
            219
          ],
          [
            98,
            209
          ],
          [
            91,
            193
          ],
          [
            -19,
            76
          ],
          [
            53,
            97
          ],
          [
            -3,
            -244
          ],
          [
            -18,
            184
          ],
          [
            -97,
            156
          ],
          [
            -140,
            0
          ],
          [
            107,
            195
          ],
          [
            41,
            252
          ],
          [
            -21,
            168
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      },
      "reference_row": {
        "frame": 272,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          -6,
          272
        ],
        "height": 0,
        "positions": [
          [
            16,
            219
          ],
          [
            98,
            209
          ],
          [
            91,
            193
          ],
          [
            -19,
            76
          ],
          [
            53,
            98
          ],
          [
            -3,
            -244
          ],
          [
            -18,
            184
          ],
          [
            -97,
            156
          ],
          [
            -140,
            0
          ],
          [
            107,
            195
          ],
          [
            41,
            252
          ],
          [
            -21,
            168
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      }
    },
    {
      "case": 25,
      "proof": {
        "frame": 276,
        "fields": [
          "positions"
        ],
        "current_PC": "0xa6c6",
        "reference_PC": "0xa6d2",
        "record_pointer": "0xffff57aa",
        "identical_native_record": true,
        "partially_committed_components": [
          {
            "actor": 9,
            "axis": 1,
            "current": 176,
            "parent": 177,
            "current_written": true,
            "parent_written": false,
            "decoded_component": 176
          },
          {
            "actor": 10,
            "axis": 0,
            "current": -11,
            "parent": -10,
            "current_written": true,
            "parent_written": false,
            "decoded_component": -11
          }
        ]
      },
      "current_native_context": {
        "frame": 276,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42694,
        "a0": 4294924242,
        "a3": 4294948170,
        "a4": 4294924202,
        "payload": "05ed7c4f42ecfc62084db059436f143505cfafef1973d7fd048d643c049e601041500374657d406b03fdd7f51f7db81919543000196bd00018bc4c1018ac5010",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "reference_native_context": {
        "frame": 276,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42706,
        "a0": 4294924238,
        "a3": 4294948042,
        "a4": 4294924202,
        "payload": "05ed7c4f42ecfc62084db059436f143505cfafef1973d7fd048d643c049e601041500374657d406b03fdd7f51f7db81919543000196bd00018bc4c1018ac5010",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "current_row": {
        "frame": 276,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          15,
          239
        ],
        "height": 0,
        "positions": [
          [
            79,
            161
          ],
          [
            98,
            193
          ],
          [
            89,
            148
          ],
          [
            53,
            59
          ],
          [
            -17,
            21
          ],
          [
            -3,
            -245
          ],
          [
            60,
            167
          ],
          [
            16,
            104
          ],
          [
            -140,
            0
          ],
          [
            107,
            176
          ],
          [
            -11,
            141
          ],
          [
            26,
            139
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      },
      "reference_row": {
        "frame": 276,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          15,
          239
        ],
        "height": 0,
        "positions": [
          [
            79,
            161
          ],
          [
            98,
            193
          ],
          [
            89,
            148
          ],
          [
            53,
            59
          ],
          [
            -17,
            21
          ],
          [
            -3,
            -245
          ],
          [
            60,
            167
          ],
          [
            16,
            104
          ],
          [
            -140,
            0
          ],
          [
            107,
            177
          ],
          [
            -10,
            141
          ],
          [
            26,
            139
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      }
    },
    {
      "case": 25,
      "proof": {
        "frame": 278,
        "fields": [
          "positions"
        ],
        "current_PC": "0xa76a",
        "reference_PC": "0xa774",
        "record_pointer": "0xffff4cf2",
        "identical_native_record": true,
        "partially_committed_components": [
          {
            "actor": 3,
            "axis": 0,
            "current": 102,
            "parent": 101,
            "current_written": true,
            "parent_written": false,
            "decoded_component": 102
          },
          {
            "actor": 3,
            "axis": 1,
            "current": 31,
            "parent": 32,
            "current_written": true,
            "parent_written": false,
            "decoded_component": 31
          }
        ]
      },
      "current_native_context": {
        "frame": 278,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42858,
        "a0": 4294921470,
        "a3": 4294947274,
        "a4": 4294921458,
        "payload": "07cd984e460cb83e084dc858453f8466039ff7b91973d80000bd6842043f285141500374454e3c7b05cedbc319ac280c19543000196bd00018bd2c3418ad3034",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "reference_native_context": {
        "frame": 278,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42868,
        "a0": 4294921466,
        "a3": 4294947146,
        "a4": 4294921458,
        "payload": "07cd984e460cb83e084dc858453f8466039ff7b91973d80000bd6842043f285141500374454e3c7b05cedbc319ac280c19543000196bd00018bd2c3418ad3034",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "current_row": {
        "frame": 278,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          50,
          183
        ],
        "height": 0,
        "positions": [
          [
            78,
            154
          ],
          [
            62,
            210
          ],
          [
            88,
            142
          ],
          [
            102,
            31
          ],
          [
            -69,
            4
          ],
          [
            0,
            -246
          ],
          [
            66,
            166
          ],
          [
            79,
            56
          ],
          [
            -140,
            0
          ],
          [
            122,
            115
          ],
          [
            -59,
            76
          ],
          [
            12,
            246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      },
      "reference_row": {
        "frame": 278,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          50,
          183
        ],
        "height": 0,
        "positions": [
          [
            78,
            154
          ],
          [
            62,
            210
          ],
          [
            88,
            142
          ],
          [
            101,
            32
          ],
          [
            -69,
            4
          ],
          [
            0,
            -246
          ],
          [
            66,
            166
          ],
          [
            79,
            56
          ],
          [
            -140,
            0
          ],
          [
            122,
            115
          ],
          [
            -59,
            76
          ],
          [
            12,
            246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      }
    },
    {
      "case": 25,
      "proof": {
        "frame": 284,
        "fields": [
          "positions"
        ],
        "current_PC": "0xa76a",
        "reference_PC": "0xa774",
        "record_pointer": "0xffff2d2c",
        "identical_native_record": true,
        "partially_committed_components": [
          {
            "actor": 9,
            "axis": 0,
            "current": -73,
            "parent": -72,
            "current_written": true,
            "parent_written": false,
            "decoded_component": -73
          }
        ]
      },
      "current_native_context": {
        "frame": 284,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42858,
        "a0": 4294913360,
        "a3": 4294948042,
        "a4": 4294913324,
        "payload": "0151245041ffdbf505713016458f17c4054ebf85197c280004316821057f38544ad187f845e323b70553201f1a33d80019543000196bd00018bfcc0218afd002",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "reference_native_context": {
        "frame": 284,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42868,
        "a0": 4294913356,
        "a3": 4294947914,
        "a4": 4294913324,
        "payload": "0151245041ffdbf505713016458f17c4054ebf85197c280004316821057f38544ad187f845e323b70553201f1a33d80019543000196bd00018bfcc0218afd002",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "current_row": {
        "frame": 284,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          2,
          13
        ],
        "height": 0,
        "positions": [
          [
            80,
            -73
          ],
          [
            -11,
            10
          ],
          [
            22,
            -76
          ],
          [
            -60,
            59
          ],
          [
            -123,
            81
          ],
          [
            0,
            246
          ],
          [
            33,
            -90
          ],
          [
            84,
            50
          ],
          [
            -8,
            -97
          ],
          [
            -73,
            -200
          ],
          [
            31,
            -201
          ],
          [
            0,
            -246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      },
      "reference_row": {
        "frame": 284,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          2,
          13
        ],
        "height": 0,
        "positions": [
          [
            80,
            -73
          ],
          [
            -11,
            10
          ],
          [
            22,
            -76
          ],
          [
            -60,
            59
          ],
          [
            -123,
            81
          ],
          [
            0,
            246
          ],
          [
            33,
            -90
          ],
          [
            84,
            50
          ],
          [
            -8,
            -97
          ],
          [
            -72,
            -200
          ],
          [
            31,
            -201
          ],
          [
            0,
            -246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      }
    },
    {
      "case": 25,
      "proof": {
        "frame": 285,
        "fields": [
          "positions"
        ],
        "current_PC": "0xa760",
        "reference_PC": "0xa76e",
        "record_pointer": "0xffff27d0",
        "identical_native_record": true,
        "partially_committed_components": [
          {
            "actor": 7,
            "axis": 0,
            "current": 104,
            "parent": 102,
            "current_written": true,
            "parent_written": false,
            "decoded_component": 104
          }
        ]
      },
      "current_native_context": {
        "frame": 285,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42848,
        "a0": 4294911980,
        "a3": 4294947786,
        "a4": 4294911952,
        "payload": "00b1285041ffdbf304a1083a4b0f4fc6040f3f80197c280005c1442302af18684ad143f84ad2b3b705d2b01d1a33d80019543000196bd00018bfcc0018afd000",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "reference_native_context": {
        "frame": 285,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42862,
        "a0": 4294911976,
        "a3": 4294947658,
        "a4": 4294911952,
        "payload": "00b1285041ffdbf304a1083a4b0f4fc6040f3f80197c280005c1442302af18684ad143f84ad2b3b705d2b01d1a33d80019543000196bd00018bfcc0018afd000",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "current_row": {
        "frame": 285,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          0,
          13
        ],
        "height": 0,
        "positions": [
          [
            80,
            -74
          ],
          [
            -13,
            10
          ],
          [
            58,
            -66
          ],
          [
            -58,
            45
          ],
          [
            -128,
            49
          ],
          [
            0,
            246
          ],
          [
            35,
            -81
          ],
          [
            104,
            58
          ],
          [
            -8,
            -81
          ],
          [
            -73,
            -176
          ],
          [
            29,
            -176
          ],
          [
            0,
            -246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      },
      "reference_row": {
        "frame": 285,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          0,
          13
        ],
        "height": 0,
        "positions": [
          [
            80,
            -74
          ],
          [
            -13,
            10
          ],
          [
            58,
            -66
          ],
          [
            -58,
            45
          ],
          [
            -128,
            49
          ],
          [
            0,
            246
          ],
          [
            35,
            -81
          ],
          [
            102,
            58
          ],
          [
            -8,
            -81
          ],
          [
            -73,
            -176
          ],
          [
            29,
            -176
          ],
          [
            0,
            -246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      }
    },
    {
      "case": 25,
      "proof": {
        "frame": 286,
        "fields": [
          "positions"
        ],
        "current_PC": "0xa6a2",
        "reference_PC": "0xa6b8",
        "record_pointer": "0xffff2274",
        "identical_native_record": true,
        "partially_committed_components": [
          {
            "actor": 4,
            "axis": 0,
            "current": -108,
            "parent": -109,
            "current_written": true,
            "parent_written": false,
            "decoded_component": -108
          }
        ]
      },
      "current_native_context": {
        "frame": 286,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42658,
        "a0": 4294910600,
        "a3": 4294947530,
        "a4": 4294910580,
        "payload": "09111c5041ffdbf00480dc4c456f6bbc03ef7f94197c28000ab0ec29060f347841513bf84af22fb80af22c1a1a33d80019543000196bd00018bfcffd18afd3fd",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "reference_native_context": {
        "frame": 286,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42680,
        "a0": 4294910596,
        "a3": 4294947402,
        "a4": 4294910580,
        "payload": "09111c5041ffdbf00480dc4c456f6bbc03ef7f94197c28000ab0ec29060f347841513bf84af22fb80af22c1a1a33d80019543000196bd00018bfcffd18afd3fd",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "current_row": {
        "frame": 286,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          -3,
          13
        ],
        "height": 0,
        "positions": [
          [
            80,
            -71
          ],
          [
            -16,
            10
          ],
          [
            76,
            -55
          ],
          [
            -68,
            38
          ],
          [
            -108,
            33
          ],
          [
            0,
            246
          ],
          [
            41,
            -60
          ],
          [
            119,
            52
          ],
          [
            -8,
            -78
          ],
          [
            -72,
            -141
          ],
          [
            26,
            -141
          ],
          [
            0,
            -246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      },
      "reference_row": {
        "frame": 286,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          -3,
          13
        ],
        "height": 0,
        "positions": [
          [
            80,
            -71
          ],
          [
            -16,
            10
          ],
          [
            76,
            -55
          ],
          [
            -68,
            38
          ],
          [
            -109,
            33
          ],
          [
            0,
            246
          ],
          [
            41,
            -60
          ],
          [
            119,
            52
          ],
          [
            -8,
            -78
          ],
          [
            -72,
            -141
          ],
          [
            26,
            -141
          ],
          [
            0,
            -246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      }
    },
    {
      "case": 25,
      "proof": {
        "frame": 287,
        "fields": [
          "positions"
        ],
        "current_PC": "0xa6c6",
        "reference_PC": "0xa6d8",
        "record_pointer": "0xffff1d18",
        "identical_native_record": true,
        "partially_committed_components": [
          {
            "actor": 2,
            "axis": 0,
            "current": 77,
            "parent": 78,
            "current_written": true,
            "parent_written": false,
            "decoded_component": 77
          }
        ]
      },
      "current_native_context": {
        "frame": 287,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42694,
        "a0": 4294909216,
        "a3": 4294947146,
        "a4": 4294909208,
        "payload": "0920fc5041ffdbed05707c4d457f47b9056f8bb0197c280005409c2805ff907f41513bf84ae1a3b80ad1a4161a33d80019543000196bd00018bfcffa18afd3fa",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "reference_native_context": {
        "frame": 287,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42712,
        "a0": 4294909212,
        "a3": 4294947018,
        "a4": 4294909208,
        "payload": "0920fc5041ffdbed05707c4d457f47b9056f8bb0197c280005409c2805ff907f41513bf84ae1a3b80ad1a4161a33d80019543000196bd00018bfcffa18afd3fa",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "current_row": {
        "frame": 287,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          -6,
          13
        ],
        "height": 0,
        "positions": [
          [
            80,
            -63
          ],
          [
            -19,
            10
          ],
          [
            77,
            -33
          ],
          [
            -71,
            46
          ],
          [
            -82,
            30
          ],
          [
            0,
            246
          ],
          [
            40,
            -40
          ],
          [
            127,
            30
          ],
          [
            -8,
            -78
          ],
          [
            -72,
            -106
          ],
          [
            22,
            -107
          ],
          [
            0,
            -246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      },
      "reference_row": {
        "frame": 287,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          -6,
          13
        ],
        "height": 0,
        "positions": [
          [
            80,
            -63
          ],
          [
            -19,
            10
          ],
          [
            78,
            -33
          ],
          [
            -71,
            46
          ],
          [
            -82,
            30
          ],
          [
            0,
            246
          ],
          [
            40,
            -40
          ],
          [
            127,
            30
          ],
          [
            -8,
            -78
          ],
          [
            -72,
            -106
          ],
          [
            22,
            -107
          ],
          [
            0,
            -246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      }
    },
    {
      "case": 25,
      "proof": {
        "frame": 290,
        "fields": [
          "puck"
        ],
        "current_PC": "0xa73c",
        "reference_PC": "0xa764",
        "record_pointer": "0xffff0d66",
        "identical_native_record": true,
        "partially_committed_components": [
          {
            "actor": 14,
            "axis": 0,
            "current": -22,
            "parent": -21,
            "current_written": true,
            "parent_written": false,
            "decoded_component": -22
          }
        ]
      },
      "current_native_context": {
        "frame": 290,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42812,
        "a0": 4294905246,
        "a3": 4294948682,
        "a4": 4294905190,
        "payload": "02fff83441ffdbde035fc407453f1bfe0b6f37db197c280005b02fe105c0383d45d0c7fe4520cbcf0600c80e1a33d80019543000196bd00018bfcfea18afd3ea",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "reference_native_context": {
        "frame": 290,
        "state": 42242,
        "counter": 0,
        "pause": 16640,
        "pc": 42852,
        "a0": 4294905242,
        "a3": 4294948554,
        "a4": 4294905190,
        "payload": "02fff83441ffdbde035fc407453f1bfe0b6f37db197c280005b02fe105c0383d45d0c7fe4520cbcf0600c80e1a33d80019543000196bd00018bfcfea18afd3ea",
        "flip": 0,
        "direction": -1,
        "auto": 0
      },
      "current_row": {
        "frame": 290,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          -22,
          13
        ],
        "height": 0,
        "positions": [
          [
            52,
            2
          ],
          [
            -34,
            10
          ],
          [
            7,
            15
          ],
          [
            -2,
            58
          ],
          [
            -37,
            51
          ],
          [
            0,
            246
          ],
          [
            -31,
            -11
          ],
          [
            61,
            -14
          ],
          [
            -2,
            -49
          ],
          [
            -49,
            -50
          ],
          [
            14,
            -50
          ],
          [
            0,
            -246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      },
      "reference_row": {
        "frame": 290,
        "owner": 65282,
        "carrier": 2,
        "passer": 2,
        "target": 65280,
        "shooter": 65535,
        "shot_clock": 65281,
        "puck": [
          -21,
          13
        ],
        "height": 0,
        "positions": [
          [
            52,
            2
          ],
          [
            -34,
            10
          ],
          [
            7,
            15
          ],
          [
            -2,
            58
          ],
          [
            -37,
            51
          ],
          [
            0,
            246
          ],
          [
            -31,
            -11
          ],
          [
            61,
            -14
          ],
          [
            -2,
            -49
          ],
          [
            -49,
            -50
          ],
          [
            14,
            -50
          ],
          [
            0,
            -246
          ]
        ],
        "nearest": 0.0,
        "jobs": [
          7,
          7,
          7,
          7,
          7,
          14,
          3,
          3,
          6,
          2,
          2,
          14
        ],
        "cpu_pending": 0,
        "shot_power": 172,
        "animations": [
          3722,
          1292,
          1292,
          3366,
          3722,
          2,
          1292,
          1292,
          1292,
          1292,
          1292,
          2
        ],
        "one_timer": [
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false,
          false
        ],
        "clock": 285,
        "sprite_bytes": 224,
        "controls": [
          8,
          65535
        ],
        "controller_teams": [
          2,
          0
        ],
        "score": [
          1,
          0
        ]
      }
    }
  ]
}