| { |
| "limits": "Actual276586 with actual276505/69386 and36717 across168 cases plus5 six-step random sequences. First32 eligible matches cap, seed mutation and modulo selection verified.2294 diagnostics captured; native RNG initialization and live world ownership remain open.", |
| "probes": [ |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": false, |
| "needle": null, |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": false, |
| "needle": null, |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": false, |
| "needle": null, |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": false, |
| "needle": null, |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": true, |
| "needle": null, |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": true, |
| "needle": null, |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": true, |
| "needle": null, |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": true, |
| "needle": null, |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 0, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": false, |
| "needle": null, |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": false, |
| "needle": null, |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": false, |
| "needle": null, |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": false, |
| "needle": null, |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 98, |
| "trace_sha256": "5d688a6228394613c100de3f8b94670bc6ae29ee1a3106f6812dbd956fb8265c" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 0 |
| }, |
| "matches": [ |
| 0 |
| ], |
| "random_calls": [ |
| { |
| "state": 0, |
| "value": 0 |
| } |
| ], |
| "result": 0, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 69206049, |
| "before": 1 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 98, |
| "trace_sha256": "5d688a6228394613c100de3f8b94670bc6ae29ee1a3106f6812dbd956fb8265c" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 1 |
| }, |
| "matches": [ |
| 0 |
| ], |
| "random_calls": [ |
| { |
| "state": 69206049, |
| "value": 33 |
| } |
| ], |
| "result": 0, |
| "rng_state": 69206049, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 65011743, |
| "before": 4294967295 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 98, |
| "trace_sha256": "5d688a6228394613c100de3f8b94670bc6ae29ee1a3106f6812dbd956fb8265c" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 4294967295 |
| }, |
| "matches": [ |
| 0 |
| ], |
| "random_calls": [ |
| { |
| "state": 65011743, |
| "value": 31 |
| } |
| ], |
| "result": 0, |
| "rng_state": 65011743, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 2076088695, |
| "before": 305419896 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 98, |
| "trace_sha256": "5d688a6228394613c100de3f8b94670bc6ae29ee1a3106f6812dbd956fb8265c" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 305419896 |
| }, |
| "matches": [ |
| 0 |
| ], |
| "random_calls": [ |
| { |
| "state": 2076088695, |
| "value": 6519 |
| } |
| ], |
| "result": 0, |
| "rng_state": 2076088695, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": true, |
| "needle": null, |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": true, |
| "needle": null, |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": true, |
| "needle": null, |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": true, |
| "needle": null, |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 98, |
| "trace_sha256": "5d688a6228394613c100de3f8b94670bc6ae29ee1a3106f6812dbd956fb8265c" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 0 |
| }, |
| "matches": [ |
| 0 |
| ], |
| "random_calls": [ |
| { |
| "state": 0, |
| "value": 0 |
| } |
| ], |
| "result": 0, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 69206049, |
| "before": 1 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 98, |
| "trace_sha256": "5d688a6228394613c100de3f8b94670bc6ae29ee1a3106f6812dbd956fb8265c" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 1 |
| }, |
| "matches": [ |
| 0 |
| ], |
| "random_calls": [ |
| { |
| "state": 69206049, |
| "value": 33 |
| } |
| ], |
| "result": 0, |
| "rng_state": 69206049, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 65011743, |
| "before": 4294967295 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 98, |
| "trace_sha256": "5d688a6228394613c100de3f8b94670bc6ae29ee1a3106f6812dbd956fb8265c" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 4294967295 |
| }, |
| "matches": [ |
| 0 |
| ], |
| "random_calls": [ |
| { |
| "state": 65011743, |
| "value": 31 |
| } |
| ], |
| "result": 0, |
| "rng_state": 65011743, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 2076088695, |
| "before": 305419896 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 98, |
| "trace_sha256": "5d688a6228394613c100de3f8b94670bc6ae29ee1a3106f6812dbd956fb8265c" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 305419896 |
| }, |
| "matches": [ |
| 0 |
| ], |
| "random_calls": [ |
| { |
| "state": 2076088695, |
| "value": 6519 |
| } |
| ], |
| "result": 0, |
| "rng_state": 2076088695, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 1, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": false, |
| "needle": null, |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": false, |
| "needle": null, |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": false, |
| "needle": null, |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": false, |
| "needle": null, |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 278, |
| "trace_sha256": "628edcc5a56201dd34324ad7ee7393c2342c41a96a59c6750a9d09f842703721" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 0 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4 |
| ], |
| "random_calls": [ |
| { |
| "state": 0, |
| "value": 0 |
| } |
| ], |
| "result": 0, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 69206049, |
| "before": 1 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 278, |
| "trace_sha256": "628edcc5a56201dd34324ad7ee7393c2342c41a96a59c6750a9d09f842703721" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 1 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4 |
| ], |
| "random_calls": [ |
| { |
| "state": 69206049, |
| "value": 33 |
| } |
| ], |
| "result": 3, |
| "rng_state": 69206049, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 65011743, |
| "before": 4294967295 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 278, |
| "trace_sha256": "628edcc5a56201dd34324ad7ee7393c2342c41a96a59c6750a9d09f842703721" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 4294967295 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4 |
| ], |
| "random_calls": [ |
| { |
| "state": 65011743, |
| "value": 31 |
| } |
| ], |
| "result": 1, |
| "rng_state": 65011743, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 2076088695, |
| "before": 305419896 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 278, |
| "trace_sha256": "628edcc5a56201dd34324ad7ee7393c2342c41a96a59c6750a9d09f842703721" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 305419896 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4 |
| ], |
| "random_calls": [ |
| { |
| "state": 2076088695, |
| "value": 6519 |
| } |
| ], |
| "result": 4, |
| "rng_state": 2076088695, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 5, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 5, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 5, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 5, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": true, |
| "needle": null, |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": true, |
| "needle": null, |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": true, |
| "needle": null, |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": true, |
| "needle": null, |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 143, |
| "trace_sha256": "b9c03063077b732482949445e1d23abda6bd2964a8809e74cdcccba3723f8a8a" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 0 |
| }, |
| "matches": [ |
| 0, |
| 2 |
| ], |
| "random_calls": [ |
| { |
| "state": 0, |
| "value": 0 |
| } |
| ], |
| "result": 0, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 69206049, |
| "before": 1 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 143, |
| "trace_sha256": "b9c03063077b732482949445e1d23abda6bd2964a8809e74cdcccba3723f8a8a" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 1 |
| }, |
| "matches": [ |
| 0, |
| 2 |
| ], |
| "random_calls": [ |
| { |
| "state": 69206049, |
| "value": 33 |
| } |
| ], |
| "result": 2, |
| "rng_state": 69206049, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 65011743, |
| "before": 4294967295 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 143, |
| "trace_sha256": "b9c03063077b732482949445e1d23abda6bd2964a8809e74cdcccba3723f8a8a" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 4294967295 |
| }, |
| "matches": [ |
| 0, |
| 2 |
| ], |
| "random_calls": [ |
| { |
| "state": 65011743, |
| "value": 31 |
| } |
| ], |
| "result": 2, |
| "rng_state": 65011743, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 2076088695, |
| "before": 305419896 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 143, |
| "trace_sha256": "b9c03063077b732482949445e1d23abda6bd2964a8809e74cdcccba3723f8a8a" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 305419896 |
| }, |
| "matches": [ |
| 0, |
| 2 |
| ], |
| "random_calls": [ |
| { |
| "state": 2076088695, |
| "value": 6519 |
| } |
| ], |
| "result": 2, |
| "rng_state": 2076088695, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 2, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 2, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 2, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 5, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 2, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": false, |
| "needle": null, |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": false, |
| "needle": null, |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": false, |
| "needle": null, |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": false, |
| "needle": null, |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1448, |
| "trace_sha256": "60b4b5c0361a1563434defc498de26e1e4e12e40735f2225e469a9dda0ca502f" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 0 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30 |
| ], |
| "random_calls": [ |
| { |
| "state": 0, |
| "value": 0 |
| } |
| ], |
| "result": 0, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 69206049, |
| "before": 1 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1448, |
| "trace_sha256": "60b4b5c0361a1563434defc498de26e1e4e12e40735f2225e469a9dda0ca502f" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 1 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30 |
| ], |
| "random_calls": [ |
| { |
| "state": 69206049, |
| "value": 33 |
| } |
| ], |
| "result": 2, |
| "rng_state": 69206049, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 65011743, |
| "before": 4294967295 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1448, |
| "trace_sha256": "60b4b5c0361a1563434defc498de26e1e4e12e40735f2225e469a9dda0ca502f" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 4294967295 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30 |
| ], |
| "random_calls": [ |
| { |
| "state": 65011743, |
| "value": 31 |
| } |
| ], |
| "result": 0, |
| "rng_state": 65011743, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 2076088695, |
| "before": 305419896 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1448, |
| "trace_sha256": "60b4b5c0361a1563434defc498de26e1e4e12e40735f2225e469a9dda0ca502f" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 305419896 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30 |
| ], |
| "random_calls": [ |
| { |
| "state": 2076088695, |
| "value": 6519 |
| } |
| ], |
| "result": 9, |
| "rng_state": 2076088695, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 31, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 31, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 31, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 31, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": true, |
| "needle": null, |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": true, |
| "needle": null, |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": true, |
| "needle": null, |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": true, |
| "needle": null, |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 503, |
| "trace_sha256": "38c68f8479df0b8b6fa674ea5a110cea8906e50a1b3dea33dd9e365bbb1b9e93" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 0 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30 |
| ], |
| "random_calls": [ |
| { |
| "state": 0, |
| "value": 0 |
| } |
| ], |
| "result": 0, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 69206049, |
| "before": 1 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 503, |
| "trace_sha256": "38c68f8479df0b8b6fa674ea5a110cea8906e50a1b3dea33dd9e365bbb1b9e93" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 1 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30 |
| ], |
| "random_calls": [ |
| { |
| "state": 69206049, |
| "value": 33 |
| } |
| ], |
| "result": 8, |
| "rng_state": 69206049, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 65011743, |
| "before": 4294967295 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 503, |
| "trace_sha256": "38c68f8479df0b8b6fa674ea5a110cea8906e50a1b3dea33dd9e365bbb1b9e93" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 4294967295 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30 |
| ], |
| "random_calls": [ |
| { |
| "state": 65011743, |
| "value": 31 |
| } |
| ], |
| "result": 2, |
| "rng_state": 65011743, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 2076088695, |
| "before": 305419896 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 503, |
| "trace_sha256": "38c68f8479df0b8b6fa674ea5a110cea8906e50a1b3dea33dd9e365bbb1b9e93" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 305419896 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30 |
| ], |
| "random_calls": [ |
| { |
| "state": 2076088695, |
| "value": 6519 |
| } |
| ], |
| "result": 30, |
| "rng_state": 2076088695, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 18, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 18, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 18, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 31, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 18, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": false, |
| "needle": null, |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": false, |
| "needle": null, |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": false, |
| "needle": null, |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": false, |
| "needle": null, |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1471, |
| "trace_sha256": "a7a25e1cb472d42680e1ebc5cb4e4c937442385bef4fd81555e398d9f0d93462" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 0 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30, |
| 31 |
| ], |
| "random_calls": [ |
| { |
| "state": 0, |
| "value": 0 |
| } |
| ], |
| "result": 0, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34118648 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 69206049, |
| "before": 1 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1471, |
| "trace_sha256": "a7a25e1cb472d42680e1ebc5cb4e4c937442385bef4fd81555e398d9f0d93462" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 1 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30, |
| 31 |
| ], |
| "random_calls": [ |
| { |
| "state": 69206049, |
| "value": 33 |
| } |
| ], |
| "result": 1, |
| "rng_state": 69206049, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34118648 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 65011743, |
| "before": 4294967295 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1471, |
| "trace_sha256": "a7a25e1cb472d42680e1ebc5cb4e4c937442385bef4fd81555e398d9f0d93462" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 4294967295 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30, |
| 31 |
| ], |
| "random_calls": [ |
| { |
| "state": 65011743, |
| "value": 31 |
| } |
| ], |
| "result": 31, |
| "rng_state": 65011743, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34118648 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 2076088695, |
| "before": 305419896 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1471, |
| "trace_sha256": "a7a25e1cb472d42680e1ebc5cb4e4c937442385bef4fd81555e398d9f0d93462" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 305419896 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30, |
| 31 |
| ], |
| "random_calls": [ |
| { |
| "state": 2076088695, |
| "value": 6519 |
| } |
| ], |
| "result": 23, |
| "rng_state": 2076088695, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34118648 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 32, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 32, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 32, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 32, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": true, |
| "needle": null, |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": true, |
| "needle": null, |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": true, |
| "needle": null, |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": true, |
| "needle": null, |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 503, |
| "trace_sha256": "38c68f8479df0b8b6fa674ea5a110cea8906e50a1b3dea33dd9e365bbb1b9e93" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 0 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30 |
| ], |
| "random_calls": [ |
| { |
| "state": 0, |
| "value": 0 |
| } |
| ], |
| "result": 0, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 69206049, |
| "before": 1 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 503, |
| "trace_sha256": "38c68f8479df0b8b6fa674ea5a110cea8906e50a1b3dea33dd9e365bbb1b9e93" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 1 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30 |
| ], |
| "random_calls": [ |
| { |
| "state": 69206049, |
| "value": 33 |
| } |
| ], |
| "result": 8, |
| "rng_state": 69206049, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 65011743, |
| "before": 4294967295 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 503, |
| "trace_sha256": "38c68f8479df0b8b6fa674ea5a110cea8906e50a1b3dea33dd9e365bbb1b9e93" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 4294967295 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30 |
| ], |
| "random_calls": [ |
| { |
| "state": 65011743, |
| "value": 31 |
| } |
| ], |
| "result": 2, |
| "rng_state": 65011743, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 2076088695, |
| "before": 305419896 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 503, |
| "trace_sha256": "38c68f8479df0b8b6fa674ea5a110cea8906e50a1b3dea33dd9e365bbb1b9e93" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 305419896 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30 |
| ], |
| "random_calls": [ |
| { |
| "state": 2076088695, |
| "value": 6519 |
| } |
| ], |
| "result": 30, |
| "rng_state": 2076088695, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 18, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 18, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 18, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 32, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 18, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": false, |
| "needle": null, |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": false, |
| "needle": null, |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": false, |
| "needle": null, |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": false, |
| "needle": null, |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1471, |
| "trace_sha256": "a7a25e1cb472d42680e1ebc5cb4e4c937442385bef4fd81555e398d9f0d93462" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 0 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30, |
| 31 |
| ], |
| "random_calls": [ |
| { |
| "state": 0, |
| "value": 0 |
| } |
| ], |
| "result": 0, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34118648 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 69206049, |
| "before": 1 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1471, |
| "trace_sha256": "a7a25e1cb472d42680e1ebc5cb4e4c937442385bef4fd81555e398d9f0d93462" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 1 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30, |
| 31 |
| ], |
| "random_calls": [ |
| { |
| "state": 69206049, |
| "value": 33 |
| } |
| ], |
| "result": 1, |
| "rng_state": 69206049, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34118648 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 65011743, |
| "before": 4294967295 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1471, |
| "trace_sha256": "a7a25e1cb472d42680e1ebc5cb4e4c937442385bef4fd81555e398d9f0d93462" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 4294967295 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30, |
| 31 |
| ], |
| "random_calls": [ |
| { |
| "state": 65011743, |
| "value": 31 |
| } |
| ], |
| "result": 31, |
| "rng_state": 65011743, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34118648 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 2076088695, |
| "before": 305419896 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1471, |
| "trace_sha256": "a7a25e1cb472d42680e1ebc5cb4e4c937442385bef4fd81555e398d9f0d93462" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 305419896 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30, |
| 31 |
| ], |
| "random_calls": [ |
| { |
| "state": 2076088695, |
| "value": 6519 |
| } |
| ], |
| "result": 23, |
| "rng_state": 2076088695, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34118648 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 33, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 33, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 33, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 33, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": true, |
| "needle": null, |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": true, |
| "needle": null, |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": true, |
| "needle": null, |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": true, |
| "needle": null, |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 548, |
| "trace_sha256": "9822cffd93b4066e36a55f8c8e2f5ef7dffdfb213baa5546e0b42e21db4fa2e6" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 0 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30, |
| 32 |
| ], |
| "random_calls": [ |
| { |
| "state": 0, |
| "value": 0 |
| } |
| ], |
| "result": 0, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34119528 |
| }, |
| { |
| "after": 34119528, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 69206049, |
| "before": 1 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 548, |
| "trace_sha256": "9822cffd93b4066e36a55f8c8e2f5ef7dffdfb213baa5546e0b42e21db4fa2e6" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 1 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30, |
| 32 |
| ], |
| "random_calls": [ |
| { |
| "state": 69206049, |
| "value": 33 |
| } |
| ], |
| "result": 0, |
| "rng_state": 69206049, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34119528 |
| }, |
| { |
| "after": 34119528, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 65011743, |
| "before": 4294967295 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 548, |
| "trace_sha256": "9822cffd93b4066e36a55f8c8e2f5ef7dffdfb213baa5546e0b42e21db4fa2e6" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 4294967295 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30, |
| 32 |
| ], |
| "random_calls": [ |
| { |
| "state": 65011743, |
| "value": 31 |
| } |
| ], |
| "result": 30, |
| "rng_state": 65011743, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34119528 |
| }, |
| { |
| "after": 34119528, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 2076088695, |
| "before": 305419896 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 548, |
| "trace_sha256": "9822cffd93b4066e36a55f8c8e2f5ef7dffdfb213baa5546e0b42e21db4fa2e6" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 305419896 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30, |
| 32 |
| ], |
| "random_calls": [ |
| { |
| "state": 2076088695, |
| "value": 6519 |
| } |
| ], |
| "result": 20, |
| "rng_state": 2076088695, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34119528 |
| }, |
| { |
| "after": 34119528, |
| "comparisons": 0, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 19, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 19, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 19, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 33, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 19, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": false, |
| "needle": null, |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": false, |
| "needle": null, |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": false, |
| "needle": null, |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": false, |
| "needle": null, |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1471, |
| "trace_sha256": "a7a25e1cb472d42680e1ebc5cb4e4c937442385bef4fd81555e398d9f0d93462" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 0 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30, |
| 31 |
| ], |
| "random_calls": [ |
| { |
| "state": 0, |
| "value": 0 |
| } |
| ], |
| "result": 0, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34118648 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 69206049, |
| "before": 1 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1471, |
| "trace_sha256": "a7a25e1cb472d42680e1ebc5cb4e4c937442385bef4fd81555e398d9f0d93462" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 1 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30, |
| 31 |
| ], |
| "random_calls": [ |
| { |
| "state": 69206049, |
| "value": 33 |
| } |
| ], |
| "result": 1, |
| "rng_state": 69206049, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34118648 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 65011743, |
| "before": 4294967295 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1471, |
| "trace_sha256": "a7a25e1cb472d42680e1ebc5cb4e4c937442385bef4fd81555e398d9f0d93462" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 4294967295 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30, |
| 31 |
| ], |
| "random_calls": [ |
| { |
| "state": 65011743, |
| "value": 31 |
| } |
| ], |
| "result": 31, |
| "rng_state": 65011743, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34118648 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 2076088695, |
| "before": 305419896 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 1471, |
| "trace_sha256": "a7a25e1cb472d42680e1ebc5cb4e4c937442385bef4fd81555e398d9f0d93462" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": false, |
| "needle": "6e6f6465", |
| "seed": 305419896 |
| }, |
| "matches": [ |
| 0, |
| 1, |
| 2, |
| 3, |
| 4, |
| 5, |
| 6, |
| 7, |
| 8, |
| 9, |
| 10, |
| 11, |
| 12, |
| 13, |
| 14, |
| 15, |
| 16, |
| 17, |
| 18, |
| 19, |
| 20, |
| 21, |
| 22, |
| 23, |
| 24, |
| 25, |
| 26, |
| 27, |
| 28, |
| 29, |
| 30, |
| 31 |
| ], |
| "random_calls": [ |
| { |
| "state": 2076088695, |
| "value": 6519 |
| } |
| ], |
| "result": 23, |
| "rng_state": 2076088695, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34092248 |
| }, |
| { |
| "after": 34092248, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 1, |
| "result": 34094008 |
| }, |
| { |
| "after": 34094008, |
| "comparisons": 1, |
| "result": 34094888 |
| }, |
| { |
| "after": 34094888, |
| "comparisons": 1, |
| "result": 34095768 |
| }, |
| { |
| "after": 34095768, |
| "comparisons": 1, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34097528 |
| }, |
| { |
| "after": 34097528, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 1, |
| "result": 34099288 |
| }, |
| { |
| "after": 34099288, |
| "comparisons": 1, |
| "result": 34100168 |
| }, |
| { |
| "after": 34100168, |
| "comparisons": 1, |
| "result": 34101048 |
| }, |
| { |
| "after": 34101048, |
| "comparisons": 1, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34102808 |
| }, |
| { |
| "after": 34102808, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 1, |
| "result": 34104568 |
| }, |
| { |
| "after": 34104568, |
| "comparisons": 1, |
| "result": 34105448 |
| }, |
| { |
| "after": 34105448, |
| "comparisons": 1, |
| "result": 34106328 |
| }, |
| { |
| "after": 34106328, |
| "comparisons": 1, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108088 |
| }, |
| { |
| "after": 34108088, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 1, |
| "result": 34109848 |
| }, |
| { |
| "after": 34109848, |
| "comparisons": 1, |
| "result": 34110728 |
| }, |
| { |
| "after": 34110728, |
| "comparisons": 1, |
| "result": 34111608 |
| }, |
| { |
| "after": 34111608, |
| "comparisons": 1, |
| "result": 34112488 |
| }, |
| { |
| "after": 34112488, |
| "comparisons": 1, |
| "result": 34113368 |
| }, |
| { |
| "after": 34113368, |
| "comparisons": 1, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 1, |
| "result": 34115128 |
| }, |
| { |
| "after": 34115128, |
| "comparisons": 1, |
| "result": 34116008 |
| }, |
| { |
| "after": 34116008, |
| "comparisons": 1, |
| "result": 34116888 |
| }, |
| { |
| "after": 34116888, |
| "comparisons": 1, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34118648 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 70, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 70, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 70, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": false, |
| "needle": "6d697373696e67", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 70, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": true, |
| "needle": null, |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": true, |
| "needle": null, |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": true, |
| "needle": null, |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97367 |
| } |
| ], |
| "execution": { |
| "stop": 276604, |
| "trace_length": 17, |
| "trace_sha256": "c708c43fd6f15be5d956fcd0167b6195dc862de4b8188c1cdec6f7054d347502" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": true, |
| "needle": null, |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 998, |
| "trace_sha256": "6fd547792c7ccf76652b301ed7099217ffc1072f3ebac417c4ca62713f28d5a2" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 0 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30, |
| 32, |
| 36, |
| 42, |
| 44, |
| 48, |
| 50, |
| 54, |
| 56, |
| 60, |
| 62, |
| 68 |
| ], |
| "random_calls": [ |
| { |
| "state": 0, |
| "value": 0 |
| } |
| ], |
| "result": 0, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34119528 |
| }, |
| { |
| "after": 34119528, |
| "comparisons": 3, |
| "result": 34123048 |
| }, |
| { |
| "after": 34123048, |
| "comparisons": 3, |
| "result": 34128328 |
| }, |
| { |
| "after": 34128328, |
| "comparisons": 1, |
| "result": 34130088 |
| }, |
| { |
| "after": 34130088, |
| "comparisons": 2, |
| "result": 34133608 |
| }, |
| { |
| "after": 34133608, |
| "comparisons": 1, |
| "result": 34135368 |
| }, |
| { |
| "after": 34135368, |
| "comparisons": 3, |
| "result": 34138888 |
| }, |
| { |
| "after": 34138888, |
| "comparisons": 1, |
| "result": 34140648 |
| }, |
| { |
| "after": 34140648, |
| "comparisons": 2, |
| "result": 34144168 |
| }, |
| { |
| "after": 34144168, |
| "comparisons": 1, |
| "result": 34145928 |
| }, |
| { |
| "after": 34145928, |
| "comparisons": 3, |
| "result": 34151208 |
| }, |
| { |
| "after": 34151208, |
| "comparisons": 1, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 69206049, |
| "before": 1 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 998, |
| "trace_sha256": "6fd547792c7ccf76652b301ed7099217ffc1072f3ebac417c4ca62713f28d5a2" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 1 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30, |
| 32, |
| 36, |
| 42, |
| 44, |
| 48, |
| 50, |
| 54, |
| 56, |
| 60, |
| 62, |
| 68 |
| ], |
| "random_calls": [ |
| { |
| "state": 69206049, |
| "value": 33 |
| } |
| ], |
| "result": 42, |
| "rng_state": 69206049, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34119528 |
| }, |
| { |
| "after": 34119528, |
| "comparisons": 3, |
| "result": 34123048 |
| }, |
| { |
| "after": 34123048, |
| "comparisons": 3, |
| "result": 34128328 |
| }, |
| { |
| "after": 34128328, |
| "comparisons": 1, |
| "result": 34130088 |
| }, |
| { |
| "after": 34130088, |
| "comparisons": 2, |
| "result": 34133608 |
| }, |
| { |
| "after": 34133608, |
| "comparisons": 1, |
| "result": 34135368 |
| }, |
| { |
| "after": 34135368, |
| "comparisons": 3, |
| "result": 34138888 |
| }, |
| { |
| "after": 34138888, |
| "comparisons": 1, |
| "result": 34140648 |
| }, |
| { |
| "after": 34140648, |
| "comparisons": 2, |
| "result": 34144168 |
| }, |
| { |
| "after": 34144168, |
| "comparisons": 1, |
| "result": 34145928 |
| }, |
| { |
| "after": 34145928, |
| "comparisons": 3, |
| "result": 34151208 |
| }, |
| { |
| "after": 34151208, |
| "comparisons": 1, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 65011743, |
| "before": 4294967295 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 998, |
| "trace_sha256": "6fd547792c7ccf76652b301ed7099217ffc1072f3ebac417c4ca62713f28d5a2" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 4294967295 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30, |
| 32, |
| 36, |
| 42, |
| 44, |
| 48, |
| 50, |
| 54, |
| 56, |
| 60, |
| 62, |
| 68 |
| ], |
| "random_calls": [ |
| { |
| "state": 65011743, |
| "value": 31 |
| } |
| ], |
| "result": 32, |
| "rng_state": 65011743, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34119528 |
| }, |
| { |
| "after": 34119528, |
| "comparisons": 3, |
| "result": 34123048 |
| }, |
| { |
| "after": 34123048, |
| "comparisons": 3, |
| "result": 34128328 |
| }, |
| { |
| "after": 34128328, |
| "comparisons": 1, |
| "result": 34130088 |
| }, |
| { |
| "after": 34130088, |
| "comparisons": 2, |
| "result": 34133608 |
| }, |
| { |
| "after": 34133608, |
| "comparisons": 1, |
| "result": 34135368 |
| }, |
| { |
| "after": 34135368, |
| "comparisons": 3, |
| "result": 34138888 |
| }, |
| { |
| "after": 34138888, |
| "comparisons": 1, |
| "result": 34140648 |
| }, |
| { |
| "after": 34140648, |
| "comparisons": 2, |
| "result": 34144168 |
| }, |
| { |
| "after": 34144168, |
| "comparisons": 1, |
| "result": 34145928 |
| }, |
| { |
| "after": 34145928, |
| "comparisons": 3, |
| "result": 34151208 |
| }, |
| { |
| "after": 34151208, |
| "comparisons": 1, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [ |
| { |
| "address": 21044, |
| "after": 2076088695, |
| "before": 305419896 |
| } |
| ], |
| "diagnostics": [], |
| "execution": { |
| "stop": 276686, |
| "trace_length": 998, |
| "trace_sha256": "6fd547792c7ccf76652b301ed7099217ffc1072f3ebac417c4ca62713f28d5a2" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": true, |
| "needle": "6e6f6465", |
| "seed": 305419896 |
| }, |
| "matches": [ |
| 0, |
| 2, |
| 6, |
| 8, |
| 12, |
| 14, |
| 18, |
| 20, |
| 26, |
| 30, |
| 32, |
| 36, |
| 42, |
| 44, |
| 48, |
| 50, |
| 54, |
| 56, |
| 60, |
| 62, |
| 68 |
| ], |
| "random_calls": [ |
| { |
| "state": 2076088695, |
| "value": 6519 |
| } |
| ], |
| "result": 30, |
| "rng_state": 2076088695, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 1, |
| "result": 34091368 |
| }, |
| { |
| "after": 34091368, |
| "comparisons": 1, |
| "result": 34093128 |
| }, |
| { |
| "after": 34093128, |
| "comparisons": 2, |
| "result": 34096648 |
| }, |
| { |
| "after": 34096648, |
| "comparisons": 1, |
| "result": 34098408 |
| }, |
| { |
| "after": 34098408, |
| "comparisons": 3, |
| "result": 34101928 |
| }, |
| { |
| "after": 34101928, |
| "comparisons": 1, |
| "result": 34103688 |
| }, |
| { |
| "after": 34103688, |
| "comparisons": 2, |
| "result": 34107208 |
| }, |
| { |
| "after": 34107208, |
| "comparisons": 1, |
| "result": 34108968 |
| }, |
| { |
| "after": 34108968, |
| "comparisons": 3, |
| "result": 34114248 |
| }, |
| { |
| "after": 34114248, |
| "comparisons": 3, |
| "result": 34117768 |
| }, |
| { |
| "after": 34117768, |
| "comparisons": 1, |
| "result": 34119528 |
| }, |
| { |
| "after": 34119528, |
| "comparisons": 3, |
| "result": 34123048 |
| }, |
| { |
| "after": 34123048, |
| "comparisons": 3, |
| "result": 34128328 |
| }, |
| { |
| "after": 34128328, |
| "comparisons": 1, |
| "result": 34130088 |
| }, |
| { |
| "after": 34130088, |
| "comparisons": 2, |
| "result": 34133608 |
| }, |
| { |
| "after": 34133608, |
| "comparisons": 1, |
| "result": 34135368 |
| }, |
| { |
| "after": 34135368, |
| "comparisons": 3, |
| "result": 34138888 |
| }, |
| { |
| "after": 34138888, |
| "comparisons": 1, |
| "result": 34140648 |
| }, |
| { |
| "after": 34140648, |
| "comparisons": 2, |
| "result": 34144168 |
| }, |
| { |
| "after": 34144168, |
| "comparisons": 1, |
| "result": 34145928 |
| }, |
| { |
| "after": 34145928, |
| "comparisons": 3, |
| "result": 34151208 |
| }, |
| { |
| "after": 34151208, |
| "comparisons": 1, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 0 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 0, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 40, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 1 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 1, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 40, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 4294967295 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 4294967295, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 40, |
| "result": 0 |
| } |
| ] |
| }, |
| { |
| "changes": [], |
| "diagnostics": [ |
| { |
| "8": 97332, |
| "12": 2073690112 |
| } |
| ], |
| "execution": { |
| "stop": 276669, |
| "trace_length": 48, |
| "trace_sha256": "610754fa7bc06aa45eedc9c2073cedf10bdb46b153638e5d70fad0a44a0d18a9" |
| }, |
| "input": { |
| "count": 70, |
| "mixed": true, |
| "needle": "6d697373696e67", |
| "seed": 305419896 |
| }, |
| "matches": [], |
| "random_calls": [], |
| "result": -1, |
| "rng_state": 305419896, |
| "searches": [ |
| { |
| "after": 0, |
| "comparisons": 40, |
| "result": 0 |
| } |
| ] |
| } |
| ], |
| "sequences": [ |
| { |
| "seed": 0, |
| "steps": [ |
| { |
| "state": 0, |
| "value": 0 |
| }, |
| { |
| "state": 0, |
| "value": 0 |
| }, |
| { |
| "state": 0, |
| "value": 0 |
| }, |
| { |
| "state": 0, |
| "value": 0 |
| }, |
| { |
| "state": 0, |
| "value": 0 |
| }, |
| { |
| "state": 0, |
| "value": 0 |
| } |
| ] |
| }, |
| { |
| "seed": 1, |
| "steps": [ |
| { |
| "state": 69206049, |
| "value": 33 |
| }, |
| { |
| "state": 1025, |
| "value": 1025 |
| }, |
| { |
| "state": 2216723505, |
| "value": 1073 |
| }, |
| { |
| "state": 1108345369, |
| "value": 537 |
| }, |
| { |
| "state": 657473853, |
| "value": 16701 |
| }, |
| { |
| "state": 311977631, |
| "value": 26271 |
| } |
| ] |
| }, |
| { |
| "seed": 4294967295, |
| "steps": [ |
| { |
| "state": 65011743, |
| "value": 31 |
| }, |
| { |
| "state": 1023, |
| "value": 1023 |
| }, |
| { |
| "state": 2212527119, |
| "value": 31759 |
| }, |
| { |
| "state": 1108344295, |
| "value": 32231 |
| }, |
| { |
| "state": 588267779, |
| "value": 16643 |
| }, |
| { |
| "state": 1836605806, |
| "value": 24942 |
| } |
| ] |
| }, |
| { |
| "seed": 305419896, |
| "steps": [ |
| { |
| "state": 2076088695, |
| "value": 6519 |
| }, |
| { |
| "state": 4270700424, |
| "value": 14216 |
| }, |
| { |
| "state": 4265297559, |
| "value": 18071 |
| }, |
| { |
| "state": 3081999457, |
| "value": 5217 |
| }, |
| { |
| "state": 1239488584, |
| "value": 6216 |
| }, |
| { |
| "state": 1556222275, |
| "value": 4419 |
| } |
| ] |
| }, |
| { |
| "seed": 2147483648, |
| "steps": [ |
| { |
| "state": 2147483664, |
| "value": 16 |
| }, |
| { |
| "state": 3254780424, |
| "value": 520 |
| }, |
| { |
| "state": 3808445204, |
| "value": 17172 |
| }, |
| { |
| "state": 2978488706, |
| "value": 8578 |
| }, |
| { |
| "state": 3100381653, |
| "value": 4565 |
| }, |
| { |
| "state": 3488492396, |
| "value": 11116 |
| } |
| ] |
| } |
| ], |
| "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 |
| } |
| } |
| } |
|
|
