{
"limits": "Complete23092 on explicit packed model surfaces with actual strlen/classifier and finite sqrt models. Actual geometric outcomes, not supplied hit replies. Unknown names retain initialized word4; live data/domain/model ownership parity remains open.",
"probes": [
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 847,
"trace_sha256": "e18b526e082e5f8cc73254eafee2780beb05cb25202ffb9771fd6af6f55e5969"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "empty",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": []
}
},
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 847,
"trace_sha256": "e18b526e082e5f8cc73254eafee2780beb05cb25202ffb9771fd6af6f55e5969"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "empty",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": []
}
},
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 847,
"trace_sha256": "e18b526e082e5f8cc73254eafee2780beb05cb25202ffb9771fd6af6f55e5969"
},
"input": {
"direction": [
0,
0,
1065353216
],
"kind": "empty",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": []
}
},
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 847,
"trace_sha256": "e18b526e082e5f8cc73254eafee2780beb05cb25202ffb9771fd6af6f55e5969"
},
"input": {
"direction": [
0,
0,
1065353216
],
"kind": "empty",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": []
}
},
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 847,
"trace_sha256": "e18b526e082e5f8cc73254eafee2780beb05cb25202ffb9771fd6af6f55e5969"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "empty",
"null_word4": 34089888,
"origin": [
1073741824,
1073741824,
1065353216
],
"surfaces": []
}
},
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 847,
"trace_sha256": "e18b526e082e5f8cc73254eafee2780beb05cb25202ffb9771fd6af6f55e5969"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "empty",
"null_word4": 34089888,
"origin": [
1073741824,
1073741824,
1065353216
],
"surfaces": []
}
},
{
"after": [
3180721690,
3191145715,
0,
3180721690,
3191145715,
0,
0,
0,
1065353216,
0,
0,
1065353216,
1065353216,
1065353216,
0,
0,
1,
1,
3180721690,
3191145715,
0,
1065353216,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 2266,
"trace_sha256": "68a0e1821b52d7e9709a78cc4264cceb651c93f1aa7e7682517ec87afbfab61f"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "head",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
3180721690,
3191145715,
0,
3180721690,
3191145715,
0,
0,
0,
1065353216,
0,
0,
1065353216,
1065353216,
1065353216,
0,
0,
10,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
1,
3180721690,
3191145715,
0,
1065353216,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 2266,
"trace_sha256": "68a0e1821b52d7e9709a78cc4264cceb651c93f1aa7e7682517ec87afbfab61f"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "head",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
3180721690,
3191145715,
0,
305397784,
305397788,
305397792,
0,
0,
1065353216,
0,
3212836864,
305397816,
0,
1,
1,
3180721690,
3191145715,
0,
3212836864,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 2241,
"trace_sha256": "188595a1ad4338673c08a42d9ec63ba30348b32d8ad6a9817e18b2ce24c503f2"
},
"input": {
"direction": [
0,
0,
1065353216
],
"kind": "head",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
3180721690,
3191145715,
0,
305397784,
305397788,
305397792,
0,
0,
1065353216,
0,
3212836864,
305397816,
0,
10,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
1,
3180721690,
3191145715,
0,
3212836864,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 2241,
"trace_sha256": "188595a1ad4338673c08a42d9ec63ba30348b32d8ad6a9817e18b2ce24c503f2"
},
"input": {
"direction": [
0,
0,
1065353216
],
"kind": "head",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 1702,
"trace_sha256": "b0022da6191e0744ce6cee815b536e0920e4db81f47a2ffd1f164836461fb36e"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "head",
"null_word4": 34089888,
"origin": [
1073741824,
1073741824,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 1702,
"trace_sha256": "b0022da6191e0744ce6cee815b536e0920e4db81f47a2ffd1f164836461fb36e"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "head",
"null_word4": 34089888,
"origin": [
1073741824,
1073741824,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
3180721690,
3191145715,
0,
3180721690,
3191145715,
0,
0,
0,
1065353216,
0,
0,
1065353216,
1065353216,
1065353216,
0,
0,
1,
3,
3180721690,
3191145715,
0,
1065353216,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"trace": null,
"trace_length": 90,
"trace_sha256": "b7078cfb4bed4538e09055d3538145ff1dc05dd118126a45ffb8a1dfdcff699c"
},
"length": 7
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 3,
"result_pointer": 3940,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 2266,
"trace_sha256": "68a0e1821b52d7e9709a78cc4264cceb651c93f1aa7e7682517ec87afbfab61f"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "torso",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "u_torso",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
3180721690,
3191145715,
0,
3180721690,
3191145715,
0,
0,
0,
1065353216,
0,
0,
1065353216,
1065353216,
1065353216,
0,
0,
10,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
3,
3180721690,
3191145715,
0,
1065353216,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"trace": null,
"trace_length": 90,
"trace_sha256": "b7078cfb4bed4538e09055d3538145ff1dc05dd118126a45ffb8a1dfdcff699c"
},
"length": 7
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 3,
"result_pointer": 3940,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 2266,
"trace_sha256": "68a0e1821b52d7e9709a78cc4264cceb651c93f1aa7e7682517ec87afbfab61f"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "torso",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "u_torso",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
3180721690,
3191145715,
0,
305397784,
305397788,
305397792,
0,
0,
1065353216,
0,
3212836864,
305397816,
0,
1,
3,
3180721690,
3191145715,
0,
3212836864,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"trace": null,
"trace_length": 90,
"trace_sha256": "b7078cfb4bed4538e09055d3538145ff1dc05dd118126a45ffb8a1dfdcff699c"
},
"length": 7
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 3,
"result_pointer": 3940,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 2241,
"trace_sha256": "188595a1ad4338673c08a42d9ec63ba30348b32d8ad6a9817e18b2ce24c503f2"
},
"input": {
"direction": [
0,
0,
1065353216
],
"kind": "torso",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "u_torso",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
3180721690,
3191145715,
0,
305397784,
305397788,
305397792,
0,
0,
1065353216,
0,
3212836864,
305397816,
0,
10,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
3,
3180721690,
3191145715,
0,
3212836864,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"trace": null,
"trace_length": 90,
"trace_sha256": "b7078cfb4bed4538e09055d3538145ff1dc05dd118126a45ffb8a1dfdcff699c"
},
"length": 7
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 3,
"result_pointer": 3940,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 2241,
"trace_sha256": "188595a1ad4338673c08a42d9ec63ba30348b32d8ad6a9817e18b2ce24c503f2"
},
"input": {
"direction": [
0,
0,
1065353216
],
"kind": "torso",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "u_torso",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 1702,
"trace_sha256": "b0022da6191e0744ce6cee815b536e0920e4db81f47a2ffd1f164836461fb36e"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "torso",
"null_word4": 34089888,
"origin": [
1073741824,
1073741824,
1065353216
],
"surfaces": [
{
"name": "u_torso",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 1702,
"trace_sha256": "b0022da6191e0744ce6cee815b536e0920e4db81f47a2ffd1f164836461fb36e"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "torso",
"null_word4": 34089888,
"origin": [
1073741824,
1073741824,
1065353216
],
"surfaces": [
{
"name": "u_torso",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
3180721690,
3191145715,
0,
3180721690,
3191145715,
0,
0,
0,
1065353216,
0,
0,
1065353216,
1065353216,
1065353216,
0,
0,
1,
34089888,
3180721690,
3191145715,
0,
1065353216,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"trace": null,
"trace_length": 90,
"trace_sha256": "b7078cfb4bed4538e09055d3538145ff1dc05dd118126a45ffb8a1dfdcff699c"
},
"length": 7
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 0,
"result_pointer": 0,
"trace_length": 32,
"trace_sha256": "5617b0595eb5f858542e4a4adb357f3cf6650db91b5a40aed505f6b45e25e844"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 2266,
"trace_sha256": "68a0e1821b52d7e9709a78cc4264cceb651c93f1aa7e7682517ec87afbfab61f"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "unknown",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "unknown",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
3180721690,
3191145715,
0,
3180721690,
3191145715,
0,
0,
0,
1065353216,
0,
0,
1065353216,
1065353216,
1065353216,
0,
0,
10,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
34089888,
3180721690,
3191145715,
0,
1065353216,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"trace": null,
"trace_length": 90,
"trace_sha256": "b7078cfb4bed4538e09055d3538145ff1dc05dd118126a45ffb8a1dfdcff699c"
},
"length": 7
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 0,
"result_pointer": 0,
"trace_length": 32,
"trace_sha256": "5617b0595eb5f858542e4a4adb357f3cf6650db91b5a40aed505f6b45e25e844"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 2266,
"trace_sha256": "68a0e1821b52d7e9709a78cc4264cceb651c93f1aa7e7682517ec87afbfab61f"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "unknown",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "unknown",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
3180721690,
3191145715,
0,
305397784,
305397788,
305397792,
0,
0,
1065353216,
0,
3212836864,
305397816,
0,
1,
34089888,
3180721690,
3191145715,
0,
3212836864,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"trace": null,
"trace_length": 90,
"trace_sha256": "b7078cfb4bed4538e09055d3538145ff1dc05dd118126a45ffb8a1dfdcff699c"
},
"length": 7
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 0,
"result_pointer": 0,
"trace_length": 32,
"trace_sha256": "5617b0595eb5f858542e4a4adb357f3cf6650db91b5a40aed505f6b45e25e844"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 2241,
"trace_sha256": "188595a1ad4338673c08a42d9ec63ba30348b32d8ad6a9817e18b2ce24c503f2"
},
"input": {
"direction": [
0,
0,
1065353216
],
"kind": "unknown",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "unknown",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
3180721690,
3191145715,
0,
305397784,
305397788,
305397792,
0,
0,
1065353216,
0,
3212836864,
305397816,
0,
10,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
34089888,
3180721690,
3191145715,
0,
3212836864,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"trace": null,
"trace_length": 90,
"trace_sha256": "b7078cfb4bed4538e09055d3538145ff1dc05dd118126a45ffb8a1dfdcff699c"
},
"length": 7
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 7
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 0,
"result_pointer": 0,
"trace_length": 32,
"trace_sha256": "5617b0595eb5f858542e4a4adb357f3cf6650db91b5a40aed505f6b45e25e844"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 2241,
"trace_sha256": "188595a1ad4338673c08a42d9ec63ba30348b32d8ad6a9817e18b2ce24c503f2"
},
"input": {
"direction": [
0,
0,
1065353216
],
"kind": "unknown",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "unknown",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 1702,
"trace_sha256": "b0022da6191e0744ce6cee815b536e0920e4db81f47a2ffd1f164836461fb36e"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "unknown",
"null_word4": 34089888,
"origin": [
1073741824,
1073741824,
1065353216
],
"surfaces": [
{
"name": "unknown",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 1702,
"trace_sha256": "b0022da6191e0744ce6cee815b536e0920e4db81f47a2ffd1f164836461fb36e"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "unknown",
"null_word4": 34089888,
"origin": [
1073741824,
1073741824,
1065353216
],
"surfaces": [
{
"name": "unknown",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
3180721690,
3191145715,
0,
3180721690,
3191145715,
1056964608,
0,
0,
1065353216,
0,
0,
1065353216,
1065353216,
1056964608,
0,
1,
2,
1,
3180721690,
3191145715,
0,
1065353216,
3,
3180721690,
3191145715,
1056964608,
1056964608,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026907652
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026907652,
"12": 7
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026907652
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"trace": null,
"trace_length": 90,
"trace_sha256": "b7078cfb4bed4538e09055d3538145ff1dc05dd118126a45ffb8a1dfdcff699c"
},
"length": 7
}
},
{
"call": {
"args": {
"8": 2026907652,
"12": 7
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 3,
"result_pointer": 3940,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 3664,
"trace_sha256": "595de680847b2b180f2ecb98f05de79414051b4b352b87151e09672e2d8b62ca"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "two",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
},
{
"name": "u_torso",
"packed_vertices": [
[
0,
0,
32
],
[
64,
0,
32
],
[
0,
64,
32
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
3180721690,
3191145715,
0,
3180721690,
3191145715,
1056964608,
0,
0,
1065353216,
0,
0,
1065353216,
1065353216,
1056964608,
0,
1,
10,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
1,
3180721690,
3191145715,
0,
1065353216,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026907652
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026907652,
"12": 7
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026907652
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"trace": null,
"trace_length": 90,
"trace_sha256": "b7078cfb4bed4538e09055d3538145ff1dc05dd118126a45ffb8a1dfdcff699c"
},
"length": 7
}
},
{
"call": {
"args": {
"8": 2026907652,
"12": 7
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 3,
"result_pointer": 3940,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 3617,
"trace_sha256": "7ff4ea9fc7aa5be37ba04e1bbb7b4e84bc66f3a72e1cbccef28e8b0ab4e3d394"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "two",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
},
{
"name": "u_torso",
"packed_vertices": [
[
0,
0,
32
],
[
64,
0,
32
],
[
0,
64,
32
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
3180721690,
3191145715,
0,
305397784,
305397788,
305397792,
0,
0,
1065353216,
0,
3212836864,
305397816,
0,
2,
1,
3180721690,
3191145715,
0,
3212836864,
3,
3180721690,
3191145715,
1056964608,
3204448256,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026907652
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026907652,
"12": 7
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026907652
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"trace": null,
"trace_length": 90,
"trace_sha256": "b7078cfb4bed4538e09055d3538145ff1dc05dd118126a45ffb8a1dfdcff699c"
},
"length": 7
}
},
{
"call": {
"args": {
"8": 2026907652,
"12": 7
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 3,
"result_pointer": 3940,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 3612,
"trace_sha256": "48d1d136dd23b05a26407b15f9e9cfa92331242f097a221d3af30e7b9693fd37"
},
"input": {
"direction": [
0,
0,
1065353216
],
"kind": "two",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
},
{
"name": "u_torso",
"packed_vertices": [
[
0,
0,
32
],
[
64,
0,
32
],
[
0,
64,
32
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
3180721690,
3191145715,
0,
305397784,
305397788,
305397792,
0,
0,
1065353216,
0,
3212836864,
305397816,
0,
10,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
1,
3180721690,
3191145715,
0,
3212836864,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026907652
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026907652,
"12": 7
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026907652
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"trace": null,
"trace_length": 90,
"trace_sha256": "b7078cfb4bed4538e09055d3538145ff1dc05dd118126a45ffb8a1dfdcff699c"
},
"length": 7
}
},
{
"call": {
"args": {
"8": 2026907652,
"12": 7
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 3,
"result_pointer": 3940,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 3565,
"trace_sha256": "7724d6cf141d0e77f5947448026b088b3f724225ca75fe71e66ba9c7ac9ed190"
},
"input": {
"direction": [
0,
0,
1065353216
],
"kind": "two",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
},
{
"name": "u_torso",
"packed_vertices": [
[
0,
0,
32
],
[
64,
0,
32
],
[
0,
64,
32
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 2557,
"trace_sha256": "8083c7df79b957315ca011bf129bb0acfb5198063b350d2105b645dfc35a990f"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "two",
"null_word4": 34089888,
"origin": [
1073741824,
1073741824,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
},
{
"name": "u_torso",
"packed_vertices": [
[
0,
0,
32
],
[
64,
0,
32
],
[
0,
64,
32
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 2557,
"trace_sha256": "8083c7df79b957315ca011bf129bb0acfb5198063b350d2105b645dfc35a990f"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "two",
"null_word4": 34089888,
"origin": [
1073741824,
1073741824,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
]
]
},
{
"name": "u_torso",
"packed_vertices": [
[
0,
0,
32
],
[
64,
0,
32
],
[
0,
64,
32
]
],
"triangles": [
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
3180721690,
3191145715,
0,
3180721690,
3191145715,
0,
0,
0,
1065353216,
0,
0,
1065353216,
1065353216,
1065353216,
0,
0,
10,
1,
3180721690,
3191145715,
0,
1065353216,
1,
3180721690,
3191145715,
0,
1065353216,
1,
3180721690,
3191145715,
0,
1065353216,
1,
3180721690,
3191145715,
0,
1065353216,
1,
3180721690,
3191145715,
0,
1065353216,
1,
3180721690,
3191145715,
0,
1065353216,
1,
3180721690,
3191145715,
0,
1065353216,
1,
3180721690,
3191145715,
0,
1065353216,
1,
3180721690,
3191145715,
0,
1065353216,
1,
3180721690,
3191145715,
0,
1065353216,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 16780,
"trace_sha256": "1676a0dd7ed3d02948f581d461996fdcca6f066460b9e50afa606294bf1728e4"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "twelve",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
3180721690,
3191145715,
0,
3180721690,
3191145715,
0,
0,
0,
1065353216,
0,
0,
1065353216,
1065353216,
1065353216,
0,
0,
10,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
1,
3180721690,
3191145715,
0,
1065353216,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 16357,
"trace_sha256": "958dbeb113c164b686ebdd34a75b51395d412d9f581b22e2d302244340adff38"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "twelve",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
3180721690,
3191145715,
0,
305397784,
305397788,
305397792,
0,
0,
1065353216,
0,
3212836864,
305397816,
0,
10,
1,
3180721690,
3191145715,
0,
3212836864,
1,
3180721690,
3191145715,
0,
3212836864,
1,
3180721690,
3191145715,
0,
3212836864,
1,
3180721690,
3191145715,
0,
3212836864,
1,
3180721690,
3191145715,
0,
3212836864,
1,
3180721690,
3191145715,
0,
3212836864,
1,
3180721690,
3191145715,
0,
3212836864,
1,
3180721690,
3191145715,
0,
3212836864,
1,
3180721690,
3191145715,
0,
3212836864,
1,
3180721690,
3191145715,
0,
3212836864,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 16711,
"trace_sha256": "93aca74f2d4fb6d0a65d2454b3db397f444ad531f51637cad64c9473e1236d5a"
},
"input": {
"direction": [
0,
0,
1065353216
],
"kind": "twelve",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
3180721690,
3191145715,
0,
305397784,
305397788,
305397792,
0,
0,
1065353216,
0,
3212836864,
305397816,
0,
10,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
1,
3180721690,
3191145715,
0,
3212836864,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
{
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
{
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
{
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
{
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
{
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
}
],
"children": [
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24927,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1065353216
},
"instruction": 24988,
"target": -107
},
"effect": {
"argument": 1065353216,
"finite_sqrt_model": true,
"result": 1065353216
}
},
{
"call": {
"args": {
"8": 1073741824
},
"instruction": 25049,
"target": -107
},
"effect": {
"argument": 1073741824,
"finite_sqrt_model": true,
"result": 1068827891
}
},
{
"call": {
"args": {
"8": 2026906628
},
"instruction": 25144,
"target": 36038
},
"effect": {
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"trace": null,
"trace_length": 84,
"trace_sha256": "57437437d3e3b45443aee2d41ffbcaaa475d7e6f3af8976188ab5229da1e4522"
},
"length": 6
}
},
{
"call": {
"args": {
"8": 2026906628,
"12": 6
},
"instruction": 25156,
"target": 21493
},
"effect": {
"category": 1,
"result_pointer": 3884,
"trace_length": 81,
"trace_sha256": "2c367cf674241160d1be6270ffd60b0b5e8cc6d5c645c2e8d293c4bced269fb4"
}
}
],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 16288,
"trace_sha256": "569a5d40abc00aa184b283e10c9fa6534e6b0a2f279161b530b66284ba030dab"
},
"input": {
"direction": [
0,
0,
1065353216
],
"kind": "twelve",
"null_word4": 34089888,
"origin": [
1048576000,
1048576000,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 10590,
"trace_sha256": "96a7d22347b4ceeed08959292b9b71659aa0fda86899b35fa157d64bf97ec804"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "twelve",
"null_word4": 34089888,
"origin": [
1073741824,
1073741824,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
]
]
}
]
}
},
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
305397808,
305397812,
305397816,
305397820,
9,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": null,
"stop": 25339,
"trace": null,
"trace_length": 10590,
"trace_sha256": "96a7d22347b4ceeed08959292b9b71659aa0fda86899b35fa157d64bf97ec804"
},
"input": {
"direction": [
0,
0,
3212836864
],
"kind": "twelve",
"null_word4": 34089888,
"origin": [
1073741824,
1073741824,
1065353216
],
"surfaces": [
{
"name": "h_head",
"packed_vertices": [
[
0,
0,
0
],
[
64,
0,
0
],
[
0,
64,
0
]
],
"triangles": [
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
],
[
0,
1,
2
]
]
}
]
}
}
],
"sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
"source": {
"archive": "zUrT43_qvm.pk3",
"archive_sha256": "b59bf0c5bedf11d50e0edd220da7eade96de40601e98ae14c54c819047df0796",
"member": {
"bytes": 983300,
"comment_hex": "",
"compressed_bytes": 246560,
"compression": 8,
"crc32": "98ea1768",
"create_system": 0,
"create_version": 63,
"date_time": [
2018,
6,
18,
22,
11,
50
],
"directory": false,
"entry_index": 2,
"external_attr": 32,
"extra_hex": "0a0020000000000001001800d1e24e974007d40116dcbf962f1fd20116dcbf962f1fd201",
"extract_version": 20,
"flags": 0,
"header_offset": 221309,
"internal_attr": 0,
"occurrence": 0,
"output": "assets/extracted/zUrT43_qvm.pk3/members/000002/vm/qagame.qvm",
"path": "vm/qagame.qvm",
"sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d",
"type": "member",
"volume": 0
}
}
}
{
"limits": "Complete23092 on explicit packed model surfaces with actual strlen/classifier and finite sqrt models. Actual geometric outcomes, not supplied hit replies. Unknown names retain initialized word4; live data/domain/model ownership parity remains open.",
"probes": [
{
"after": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,
305397800,
305397804,
0,
1259902592,
305397816,
305397820,
0,
305397828,
305397832,
305397836,
305397840,
305397844,
305397848,
305397852,
305397856,
305397860,
305397864,
305397868,
305397872,
305397876,
305397880,
305397884,
305397888,
305397892,
305397896,
305397900,
305397904,
305397908,
305397912,
305397916,
305397920,
305397924,
305397928,
305397932,
305397936,
305397940,
305397944,
305397948,
305397952,
305397956,
305397960,
305397964,
305397968,
305397972,
305397976,
305397980,
305397984,
305397988,
305397992,
305397996,
305398000,
305398004,
305398008,
305398012,
305398016,
305398020,
305398024,
305398028,
305398032,
305398036,
305398040,
305398044,
305398048,
305398052,
305398056,
305398060,
305398064
],
"arguments": {
"8": 2026901504,
"12": 2026963456,
"16": 2026963472,
"20": 2026962944
},
"before": [
305397760,
305397764,
305397768,
305397772,
305397776,
305397780,
305397784,
305397788,
305397792,
305397796,