Download docs/research/qvm-stat-ratios.json from nmarshall/urt-rs: direct link, hf CLI and curl.
- Browser
- Download file 226 kB
-
https://huggingface.co/nmarshall/urt-rs/resolve/main/docs/research/qvm-stat-ratios.json
- Command line
-
hf download hf://nmarshall/urt-rs/docs/research/qvm-stat-ratios.json
-
curl -L -o qvm-stat-ratios.json https://huggingface.co/nmarshall/urt-rs/resolve/main/docs/research/qvm-stat-ratios.json
226 kB
{
"divisor_probes": [
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 31,
"trace_sha256": "8793fd5186c030a3b163687aa7892ea1ef765641e9ee98290e3a2b8324771452"
},
"first": -2,
"second": -3
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 10,
"trace_sha256": "5053a006dedc1314f0f3b95d8fee215476e2ff9eadc1cc3a8a1f252f129ff29d"
},
"first": -2,
"second": 0
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 44,
"trace_sha256": "0e316d91f35f1a10178a4f821553d8f2f07da020a60b1079a6e3cc58345e0cb9"
},
"first": -2,
"second": 1
},
{
"divisor": 2,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283554,
"trace": null,
"trace_length": 44,
"trace_sha256": "0e316d91f35f1a10178a4f821553d8f2f07da020a60b1079a6e3cc58345e0cb9"
},
"first": -2,
"second": 2
},
{
"divisor": 2,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283554,
"trace": null,
"trace_length": 316,
"trace_sha256": "fba33da665d9fce1b9174aca92b44dc5a0580086870ec372a3aefc588c2553c6"
},
"first": -2,
"second": 18
},
{
"divisor": 2,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283554,
"trace": null,
"trace_length": 690,
"trace_sha256": "d645cf3f2f4024717f4e13ad9aea0eac8ca52910c929d13e8e75fd4c92cf5c58"
},
"first": -2,
"second": 40
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 6,
"trace_sha256": "ed7af8f27fcc09232a26a5bc11e8edf87303e6f2624700b146d0711ee0a9792a"
},
"first": 0,
"second": -3
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 6,
"trace_sha256": "ed7af8f27fcc09232a26a5bc11e8edf87303e6f2624700b146d0711ee0a9792a"
},
"first": 0,
"second": 0
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 6,
"trace_sha256": "ed7af8f27fcc09232a26a5bc11e8edf87303e6f2624700b146d0711ee0a9792a"
},
"first": 0,
"second": 1
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 6,
"trace_sha256": "ed7af8f27fcc09232a26a5bc11e8edf87303e6f2624700b146d0711ee0a9792a"
},
"first": 0,
"second": 2
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 6,
"trace_sha256": "ed7af8f27fcc09232a26a5bc11e8edf87303e6f2624700b146d0711ee0a9792a"
},
"first": 0,
"second": 18
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 6,
"trace_sha256": "ed7af8f27fcc09232a26a5bc11e8edf87303e6f2624700b146d0711ee0a9792a"
},
"first": 0,
"second": 40
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 46,
"trace_sha256": "6c8a82483230f553fb70df5a81edcc7ea676c041d5ee0fbe54d813955ab01639"
},
"first": 1,
"second": -3
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 10,
"trace_sha256": "5053a006dedc1314f0f3b95d8fee215476e2ff9eadc1cc3a8a1f252f129ff29d"
},
"first": 1,
"second": 0
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 44,
"trace_sha256": "0e316d91f35f1a10178a4f821553d8f2f07da020a60b1079a6e3cc58345e0cb9"
},
"first": 1,
"second": 1
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 61,
"trace_sha256": "416b6eedbf356b474fc7e5a1913aef3097ebfbb30ede06b2e74c98c0014eb40b"
},
"first": 1,
"second": 2
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 333,
"trace_sha256": "c21cb0fcbe85ed3035e9030dcd4145ec741c334de448c7a08c75edee4f910cd6"
},
"first": 1,
"second": 18
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 707,
"trace_sha256": "9bc3c55e1bcf5a7222316167736d0ef5d3cf2962123fc6a22de9bbe6f4e2c71f"
},
"first": 1,
"second": 40
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 70,
"trace_sha256": "331f422383df9d74172dce80503facdf3386a482cecfb43f78d54cbef4826d78"
},
"first": 2,
"second": -3
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 10,
"trace_sha256": "5053a006dedc1314f0f3b95d8fee215476e2ff9eadc1cc3a8a1f252f129ff29d"
},
"first": 2,
"second": 0
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 70,
"trace_sha256": "331f422383df9d74172dce80503facdf3386a482cecfb43f78d54cbef4826d78"
},
"first": 2,
"second": 1
},
{
"divisor": 2,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283554,
"trace": null,
"trace_length": 44,
"trace_sha256": "0e316d91f35f1a10178a4f821553d8f2f07da020a60b1079a6e3cc58345e0cb9"
},
"first": 2,
"second": 2
},
{
"divisor": 2,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283554,
"trace": null,
"trace_length": 316,
"trace_sha256": "fba33da665d9fce1b9174aca92b44dc5a0580086870ec372a3aefc588c2553c6"
},
"first": 2,
"second": 18
},
{
"divisor": 2,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283554,
"trace": null,
"trace_length": 690,
"trace_sha256": "d645cf3f2f4024717f4e13ad9aea0eac8ca52910c929d13e8e75fd4c92cf5c58"
},
"first": 2,
"second": 40
},
{
"divisor": 3,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283554,
"trace": null,
"trace_length": 220,
"trace_sha256": "ee00b06bb841038e638c4644d23fcb0b329b51e0d09f2bf255deeb3e540ce51f"
},
"first": 12,
"second": -3
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 10,
"trace_sha256": "5053a006dedc1314f0f3b95d8fee215476e2ff9eadc1cc3a8a1f252f129ff29d"
},
"first": 12,
"second": 0
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 268,
"trace_sha256": "eeb37fe84616eb8f969970ffa96bcd3d5e2dc4204ce38198c05da81b552f7ad3"
},
"first": 12,
"second": 1
},
{
"divisor": 2,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283554,
"trace": null,
"trace_length": 244,
"trace_sha256": "7f0ba195083fc120694478ff120a937c64b2923047d166a24d387a2cde5d9095"
},
"first": 12,
"second": 2
},
{
"divisor": 6,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283554,
"trace": null,
"trace_length": 255,
"trace_sha256": "06110e6fe72483a743e585613b9db90ec581d735c2c8dac467b3904240931085"
},
"first": 12,
"second": 18
},
{
"divisor": 4,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 4,
"stop": 283554,
"trace": null,
"trace_length": 670,
"trace_sha256": "f8b03de86a0caf10b7072d364dbad22fd7e288db9ed7bd8fd68bc9f52db9f99c"
},
"first": 12,
"second": 40
},
{
"divisor": 3,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283554,
"trace": null,
"trace_length": 540,
"trace_sha256": "e7902b15e7de062992ca1fce2487cf41e897cc3aa5220657c1991518e1d40b90"
},
"first": 30,
"second": -3
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 10,
"trace_sha256": "5053a006dedc1314f0f3b95d8fee215476e2ff9eadc1cc3a8a1f252f129ff29d"
},
"first": 30,
"second": 0
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 588,
"trace_sha256": "539bc6c986c2af1144bf762233633ef482e529cb1b3195162daef6c64a389d09"
},
"first": 30,
"second": 1
},
{
"divisor": 2,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283554,
"trace": null,
"trace_length": 564,
"trace_sha256": "e5be609002ef20a994f5e5339b3cb680eebda2ca7423c221291625984a675e8c"
},
"first": 30,
"second": 2
},
{
"divisor": 6,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283554,
"trace": null,
"trace_length": 475,
"trace_sha256": "dfcb06ffe3cc71113de23212a91d5a09c072586852e4e54763dc6c4865f90583"
},
"first": 30,
"second": 18
},
{
"divisor": 10,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 10,
"stop": 283554,
"trace": null,
"trace_length": 568,
"trace_sha256": "fcca8f6e61833daf6a6cf616dc988b8fa96f686f41e51c85fdac05503cdf6482"
},
"first": 30,
"second": 40
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 44,
"trace_sha256": "0e316d91f35f1a10178a4f821553d8f2f07da020a60b1079a6e3cc58345e0cb9"
},
"first": -2147483648,
"second": 1
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 10,
"trace_sha256": "5053a006dedc1314f0f3b95d8fee215476e2ff9eadc1cc3a8a1f252f129ff29d"
},
"first": 2147483647,
"second": 0
}
],
"limits": "Complete283488 and279586 with actual283085/283166. Source divisor scans downward from signed maximum, returns1 on zero input or nonpositive maximum. Finite small-positive fixtures bound execution; very large positive scan cost/native parity remain open.",
"probes": [
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 4294967295,
"920": 4294967295,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": -1,
"12": -1
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": -1,
"12": -1
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 29,
"trace_sha256": "be3d15ab87e44ef58d2d979aa16e9e367397865306263624a71eecb2e34fae7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 4294967295,
"3084": 4294967295,
"3088": 1065353216
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": -1,
"second": -1
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 4294967295,
"920": 0,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": -1,
"12": 0
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": -1,
"12": 0
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 10,
"trace_sha256": "5053a006dedc1314f0f3b95d8fee215476e2ff9eadc1cc3a8a1f252f129ff29d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 98,
"trace_sha256": "e8a58f74fc52f48b5cda2f7a1a5674ccd3c88bf851264c8c5601b134c68acdb9"
},
"final": {
"3080": 4294967295,
"3084": 0,
"3088": 0
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": -1,
"second": 0
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 4294967295,
"920": 1,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": -1,
"12": 1
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": -1,
"12": 1
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 44,
"trace_sha256": "0e316d91f35f1a10178a4f821553d8f2f07da020a60b1079a6e3cc58345e0cb9"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 4294967295,
"3084": 1,
"3088": 3212836864
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": -1,
"second": 1
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 4294967295,
"920": 3,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": -1,
"12": 3
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": -1,
"12": 3
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 78,
"trace_sha256": "07395867b3fc99c06696801a1a5f750551e01c77d0ac1c2e0606d8eb73c858a3"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 4294967295,
"3084": 3,
"3088": 3198855851
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": -1,
"second": 3
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 4294967295,
"920": 6,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": -1,
"12": 6
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": -1,
"12": 6
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 129,
"trace_sha256": "93382720f3ecf1f75ae3627989d4823bcf8417b855b7fbf0855d2cde02d9893f"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 4294967295,
"3084": 6,
"3088": 3190467243
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": -1,
"second": 6
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 0,
"920": 4294967295,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 0,
"12": -1
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 0,
"12": -1
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 6,
"trace_sha256": "ed7af8f27fcc09232a26a5bc11e8edf87303e6f2624700b146d0711ee0a9792a"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 0,
"3084": 4294967295,
"3088": 2147483648
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 0,
"second": -1
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 0,
"920": 0,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 0,
"12": 0
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 0,
"12": 0
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 6,
"trace_sha256": "ed7af8f27fcc09232a26a5bc11e8edf87303e6f2624700b146d0711ee0a9792a"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 98,
"trace_sha256": "e8a58f74fc52f48b5cda2f7a1a5674ccd3c88bf851264c8c5601b134c68acdb9"
},
"final": {
"3080": 0,
"3084": 0,
"3088": 0
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 0,
"second": 0
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 0,
"920": 1,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 0,
"12": 1
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 0,
"12": 1
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 6,
"trace_sha256": "ed7af8f27fcc09232a26a5bc11e8edf87303e6f2624700b146d0711ee0a9792a"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 0,
"3084": 1,
"3088": 0
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 0,
"second": 1
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 0,
"920": 3,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 0,
"12": 3
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 0,
"12": 3
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 6,
"trace_sha256": "ed7af8f27fcc09232a26a5bc11e8edf87303e6f2624700b146d0711ee0a9792a"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 0,
"3084": 3,
"3088": 0
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 0,
"second": 3
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 0,
"920": 6,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 0,
"12": 6
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 0,
"12": 6
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 6,
"trace_sha256": "ed7af8f27fcc09232a26a5bc11e8edf87303e6f2624700b146d0711ee0a9792a"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 0,
"3084": 6,
"3088": 0
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 0,
"second": 6
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 1,
"920": 4294967295,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 1,
"12": -1
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 1,
"12": -1
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 46,
"trace_sha256": "6c8a82483230f553fb70df5a81edcc7ea676c041d5ee0fbe54d813955ab01639"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 1,
"3084": 4294967295,
"3088": 3212836864
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 1,
"second": -1
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 1,
"920": 0,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 1,
"12": 0
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 1,
"12": 0
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 10,
"trace_sha256": "5053a006dedc1314f0f3b95d8fee215476e2ff9eadc1cc3a8a1f252f129ff29d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 98,
"trace_sha256": "e8a58f74fc52f48b5cda2f7a1a5674ccd3c88bf851264c8c5601b134c68acdb9"
},
"final": {
"3080": 1,
"3084": 0,
"3088": 0
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 1,
"second": 0
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 1,
"920": 1,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 1,
"12": 1
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 1,
"12": 1
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 44,
"trace_sha256": "0e316d91f35f1a10178a4f821553d8f2f07da020a60b1079a6e3cc58345e0cb9"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 1,
"3084": 1,
"3088": 1065353216
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 1,
"second": 1
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 1,
"920": 3,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 1,
"12": 3
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 1,
"12": 3
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 78,
"trace_sha256": "07395867b3fc99c06696801a1a5f750551e01c77d0ac1c2e0606d8eb73c858a3"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 1,
"3084": 3,
"3088": 1051372203
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 1,
"second": 3
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 1,
"920": 6,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 1,
"12": 6
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 1,
"12": 6
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 129,
"trace_sha256": "93382720f3ecf1f75ae3627989d4823bcf8417b855b7fbf0855d2cde02d9893f"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 1,
"3084": 6,
"3088": 1042983595
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 1,
"second": 6
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 2,
"920": 4294967295,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 2,
"12": -1
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2,
"12": -1
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 70,
"trace_sha256": "331f422383df9d74172dce80503facdf3386a482cecfb43f78d54cbef4826d78"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 2,
"3084": 4294967295,
"3088": 3221225472
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 2,
"second": -1
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 2,
"920": 0,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 2,
"12": 0
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2,
"12": 0
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 10,
"trace_sha256": "5053a006dedc1314f0f3b95d8fee215476e2ff9eadc1cc3a8a1f252f129ff29d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 98,
"trace_sha256": "e8a58f74fc52f48b5cda2f7a1a5674ccd3c88bf851264c8c5601b134c68acdb9"
},
"final": {
"3080": 2,
"3084": 0,
"3088": 0
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 2,
"second": 0
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 2,
"920": 1,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 2,
"12": 1
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2,
"12": 1
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 70,
"trace_sha256": "331f422383df9d74172dce80503facdf3386a482cecfb43f78d54cbef4826d78"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 2,
"3084": 1,
"3088": 1073741824
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 2,
"second": 1
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 2,
"920": 3,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 2,
"12": 3
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2,
"12": 3
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 85,
"trace_sha256": "f448510062e17a2f10eef9ed6797e509f3b13e1c78b6c1a528e790174a2c3d5d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 2,
"3084": 3,
"3088": 1059760811
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 2,
"second": 3
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 2,
"920": 6,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 2,
"12": 6
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2,
"12": 6
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283554,
"trace": null,
"trace_length": 112,
"trace_sha256": "cd417e908f129e3fde2527f8f492c50017f21f6c4383d318a60f56f38bea43b5"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 1,
"3084": 3,
"3088": 1051372203
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 2,
"second": 6
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 7,
"920": 4294967295,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 7,
"12": -1
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 7,
"12": -1
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 155,
"trace_sha256": "6dead7fac2ecf416f4d92b972a174fb2e7febccd2ad7289848ede50c251bca53"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 7,
"3084": 4294967295,
"3088": 3235905536
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 7,
"second": -1
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 7,
"920": 0,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 7,
"12": 0
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 7,
"12": 0
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 10,
"trace_sha256": "5053a006dedc1314f0f3b95d8fee215476e2ff9eadc1cc3a8a1f252f129ff29d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 0,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 98,
"trace_sha256": "e8a58f74fc52f48b5cda2f7a1a5674ccd3c88bf851264c8c5601b134c68acdb9"
},
"final": {
"3080": 7,
"3084": 0,
"3088": 0
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 7,
"second": 0
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 7,
"920": 1,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 7,
"12": 1
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 7,
"12": 1
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 155,
"trace_sha256": "6dead7fac2ecf416f4d92b972a174fb2e7febccd2ad7289848ede50c251bca53"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 7,
"3084": 1,
"3088": 1088421888
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 7,
"second": 1
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 7,
"920": 3,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 7,
"12": 3
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 7,
"12": 3
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 155,
"trace_sha256": "6dead7fac2ecf416f4d92b972a174fb2e7febccd2ad7289848ede50c251bca53"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 3,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 7,
"3084": 3,
"3088": 1075139925
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 7,
"second": 3
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 0,
"1072": 0,
"1144": 0,
"1148": 0,
"1220": 0,
"1224": 0,
"1296": 0,
"1300": 0,
"1372": 0,
"1376": 0,
"1448": 0,
"1452": 0,
"1524": 0,
"1528": 0,
"1600": 0,
"1604": 0,
"1676": 0,
"1680": 0,
"1752": 0,
"1756": 0,
"1828": 0,
"1832": 0,
"1904": 0,
"1908": 0,
"1980": 0,
"1984": 0,
"2056": 0,
"2060": 0,
"2132": 0,
"2136": 0,
"2208": 0,
"2212": 0,
"2284": 0,
"2288": 0,
"2360": 0,
"2364": 0,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 7,
"920": 6,
"992": 0,
"996": 0
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 7,
"12": 6
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 7,
"12": 6
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 155,
"trace_sha256": "6dead7fac2ecf416f4d92b972a174fb2e7febccd2ad7289848ede50c251bca53"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 7,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 6,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 7,
"3084": 6,
"3088": 1066751317
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": false,
"first": 7,
"second": 6
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 1,
"1072": 1,
"1144": 1,
"1148": 1,
"1220": 1,
"1224": 1,
"1296": 1,
"1300": 1,
"1372": 1,
"1376": 1,
"1448": 1,
"1452": 1,
"1524": 1,
"1528": 1,
"1600": 1,
"1604": 1,
"1676": 1,
"1680": 1,
"1752": 1,
"1756": 1,
"1828": 1,
"1832": 1,
"1904": 1,
"1908": 1,
"1980": 1,
"1984": 1,
"2056": 1,
"2060": 1,
"2132": 1,
"2136": 1,
"2208": 1,
"2212": 1,
"2284": 1,
"2288": 1,
"2360": 1,
"2364": 1,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 1,
"920": 1,
"992": 1,
"996": 1
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 20,
"12": 20
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 20,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 20,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 20,
"12": 20
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 20,
"stop": 283554,
"trace": null,
"trace_length": 44,
"trace_sha256": "0e316d91f35f1a10178a4f821553d8f2f07da020a60b1079a6e3cc58345e0cb9"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 20,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 20,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 20,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 20,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 20,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 1,
"3084": 1,
"3088": 1065353216
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": true,
"first": 1,
"second": 1
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 3,
"1072": 6,
"1144": 3,
"1148": 6,
"1220": 3,
"1224": 6,
"1296": 3,
"1300": 6,
"1372": 3,
"1376": 6,
"1448": 3,
"1452": 6,
"1524": 3,
"1528": 6,
"1600": 3,
"1604": 6,
"1676": 3,
"1680": 6,
"1752": 3,
"1756": 6,
"1828": 3,
"1832": 6,
"1904": 3,
"1908": 6,
"1980": 3,
"1984": 6,
"2056": 3,
"2060": 6,
"2132": 3,
"2136": 6,
"2208": 3,
"2212": 6,
"2284": 3,
"2288": 6,
"2360": 3,
"2364": 6,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 3,
"920": 6,
"992": 3,
"996": 6
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": 60,
"12": 120
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 60,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 120,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 60,
"12": 120
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 60,
"stop": 283554,
"trace": null,
"trace_length": 1064,
"trace_sha256": "9f33963699ea158f34b9d95775851ccab76ed69cc712c642bd26eb786da33642"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 60,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 120,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 120,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 60,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 120,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 1,
"3084": 2,
"3088": 1056964608
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": true,
"first": 3,
"second": 6
}
},
{
"arguments": {
"8": 2065760256
},
"counters": {
"1068": 4294967295,
"1072": 1,
"1144": 4294967295,
"1148": 1,
"1220": 4294967295,
"1224": 1,
"1296": 4294967295,
"1300": 1,
"1372": 4294967295,
"1376": 1,
"1448": 4294967295,
"1452": 1,
"1524": 4294967295,
"1528": 1,
"1600": 4294967295,
"1604": 1,
"1676": 4294967295,
"1680": 1,
"1752": 4294967295,
"1756": 1,
"1828": 4294967295,
"1832": 1,
"1904": 4294967295,
"1908": 1,
"1980": 4294967295,
"1984": 1,
"2056": 4294967295,
"2060": 1,
"2132": 4294967295,
"2136": 1,
"2208": 4294967295,
"2212": 1,
"2284": 4294967295,
"2288": 1,
"2360": 4294967295,
"2364": 1,
"2376": 0,
"2380": 0,
"2384": 0,
"2388": 0,
"2392": 0,
"2396": 0,
"2400": 0,
"2404": 0,
"2408": 0,
"2412": 0,
"2416": 0,
"2420": 0,
"2424": 0,
"2428": 0,
"2432": 0,
"2436": 0,
"2440": 0,
"2444": 0,
"2448": 0,
"2452": 0,
"2456": 0,
"2460": 0,
"2464": 0,
"2468": 0,
"2472": 0,
"2476": 0,
"2480": 0,
"2484": 0,
"2488": 0,
"2492": 0,
"2496": 0,
"2500": 0,
"2504": 0,
"2508": 0,
"2512": 0,
"2516": 0,
"916": 4294967295,
"920": 1,
"992": 4294967295,
"996": 1
},
"execution": {
"byte_writes": [],
"calls": [
{
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
{
"args": {
"8": -20,
"12": 20
},
"instruction": 279609,
"target": 283488
},
{
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
{
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
{
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
}
],
"children": [
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279592,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -20,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279599,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 20,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": -20,
"12": 20
},
"instruction": 279609,
"target": 283488
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 20,
"stop": 283554,
"trace": null,
"trace_length": 44,
"trace_sha256": "0e316d91f35f1a10178a4f821553d8f2f07da020a60b1079a6e3cc58345e0cb9"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279624,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -20,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279648,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 20,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279668,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 20,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279694,
"target": 283085
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": -20,
"stop": 283165,
"trace": null,
"trace_length": 1220,
"trace_sha256": "7515d1cbbf6628414e8040835be778365a2b21769dac32351c87a22df6714b7d"
}
},
{
"call": {
"args": {
"8": 2065760256
},
"instruction": 279701,
"target": 283166
},
"effect": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 20,
"stop": 283242,
"trace": null,
"trace_length": 1170,
"trace_sha256": "610de684a2eaa7389a7e63e2767c8746744c18f0c85534f3c5887dc04d31e196"
}
}
],
"return": null,
"stop": 279718,
"trace": null,
"trace_length": 120,
"trace_sha256": "d05ef36ea38b8474471e2eeebd342eb3ace860480b16210c58b921ce35bcd54d"
},
"final": {
"3080": 4294967295,
"3084": 1,
"3088": 3212836864
},
"initial": {
"3080": 99,
"3084": 98,
"3088": 97
},
"input": {
"bulk": true,
"first": -1,
"second": 1
}
}
],
"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
}
}
}
{
"divisor_probes": [
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 31,
"trace_sha256": "8793fd5186c030a3b163687aa7892ea1ef765641e9ee98290e3a2b8324771452"
},
"first": -2,
"second": -3
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 10,
"trace_sha256": "5053a006dedc1314f0f3b95d8fee215476e2ff9eadc1cc3a8a1f252f129ff29d"
},
"first": -2,
"second": 0
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,
"trace": null,
"trace_length": 44,
"trace_sha256": "0e316d91f35f1a10178a4f821553d8f2f07da020a60b1079a6e3cc58345e0cb9"
},
"first": -2,
"second": 1
},
{
"divisor": 2,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283554,
"trace": null,
"trace_length": 44,
"trace_sha256": "0e316d91f35f1a10178a4f821553d8f2f07da020a60b1079a6e3cc58345e0cb9"
},
"first": -2,
"second": 2
},
{
"divisor": 2,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283554,
"trace": null,
"trace_length": 316,
"trace_sha256": "fba33da665d9fce1b9174aca92b44dc5a0580086870ec372a3aefc588c2553c6"
},
"first": -2,
"second": 18
},
{
"divisor": 2,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 2,
"stop": 283554,
"trace": null,
"trace_length": 690,
"trace_sha256": "d645cf3f2f4024717f4e13ad9aea0eac8ca52910c929d13e8e75fd4c92cf5c58"
},
"first": -2,
"second": 40
},
{
"divisor": 1,
"execution": {
"byte_writes": [],
"calls": [],
"children": [],
"return": 1,
"stop": 283554,