{
  "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
    }
  }
}