{
  "key": "f-jump-scale",
  "candidate_sha256": "499530021c3f72e8da491724f289913282998f1a183036e4ca65bfa1d3ccd86f",
  "incumbent_sha256": "bf0d179f3e47d28819f6fa7e0d25548c2ced43374c216d36460b00a26a26ffae",
  "seeds": {
    "start": 411500,
    "end": 411999
  },
  "n": 500,
  "complete": true,
  "missing_seeds": [],
  "failures": [],
  "check_values": [
    17.1160017503,
    20.0171113118,
    2.3903113616,
    241.4847522404
  ],
  "python_version": "3.12.3",
  "seconds_per_simulation": 0.48869279761775397,
  "overall": {
    "n": 500,
    "sum_d": -38.30966572459991,
    "sum_d2": 856.8878007043563,
    "mean_diff": -0.07661933144919982,
    "se": 0.05850346545166096,
    "incumbent_mean": 96.9505197446568,
    "candidate_mean": 96.8739004132076,
    "retail_diff": -0.18965036676819993,
    "arb_diff": 0.11303103532480002
  },
  "by_spread": {
    "1": {
      "n": 134,
      "sum_d": 0.0,
      "sum_d2": 0.0,
      "mean_diff": 0.0,
      "se": 0.0,
      "incumbent_mean": 29.359725108174626,
      "candidate_mean": 29.359725108174626,
      "retail_diff": 0.0,
      "arb_diff": 0.0
    },
    "2": {
      "n": 129,
      "sum_d": -32.246240352399965,
      "sum_d2": 655.7943036440515,
      "mean_diff": -0.24997085544496098,
      "se": 0.1980607416272259,
      "incumbent_mean": 88.38297657891395,
      "candidate_mean": 88.133005723469,
      "retail_diff": -0.4885344888666672,
      "arb_diff": 0.2385636334372094
    },
    "3": {
      "n": 126,
      "sum_d": -6.063425372199942,
      "sum_d2": 201.09349706030486,
      "mean_diff": -0.04812242358888843,
      "se": 0.11291286437770237,
      "incumbent_mean": 128.00387517305475,
      "candidate_mean": 127.95575274946587,
      "retail_diff": -0.2524145580976182,
      "arb_diff": 0.20429213451587294
    },
    "4": {
      "n": 111,
      "sum_d": 0.0,
      "sum_d2": 0.0,
      "mean_diff": 0.0,
      "se": 0.0,
      "incumbent_mean": 153.2537338499838,
      "candidate_mean": 153.2537338499838,
      "retail_diff": 0.0,
      "arb_diff": 0.0
    }
  },
  "per_seed": [
    [
      411500,
      4,
      0.0
    ],
    [
      411501,
      1,
      0.0
    ],
    [
      411502,
      4,
      0.0
    ],
    [
      411503,
      1,
      0.0
    ],
    [
      411504,
      4,
      0.0
    ],
    [
      411505,
      4,
      0.0
    ],
    [
      411506,
      1,
      0.0
    ],
    [
      411507,
      1,
      0.0
    ],
    [
      411508,
      2,
      -0.048661
    ],
    [
      411509,
      4,
      0.0
    ],
    [
      411510,
      4,
      0.0
    ],
    [
      411511,
      2,
      -0.003606
    ],
    [
      411512,
      2,
      -0.005029
    ],
    [
      411513,
      3,
      -1.018492
    ],
    [
      411514,
      1,
      0.0
    ],
    [
      411515,
      4,
      0.0
    ],
    [
      411516,
      3,
      -0.009681
    ],
    [
      411517,
      3,
      0.0
    ],
    [
      411518,
      1,
      0.0
    ],
    [
      411519,
      4,
      0.0
    ],
    [
      411520,
      4,
      0.0
    ],
    [
      411521,
      1,
      0.0
    ],
    [
      411522,
      3,
      0.000213
    ],
    [
      411523,
      4,
      0.0
    ],
    [
      411524,
      2,
      0.008801
    ],
    [
      411525,
      1,
      0.0
    ],
    [
      411526,
      3,
      -0.116162
    ],
    [
      411527,
      4,
      0.0
    ],
    [
      411528,
      4,
      0.0
    ],
    [
      411529,
      1,
      0.0
    ],
    [
      411530,
      4,
      0.0
    ],
    [
      411531,
      3,
      -0.07469
    ],
    [
      411532,
      3,
      -0.218891
    ],
    [
      411533,
      3,
      -0.347041
    ],
    [
      411534,
      4,
      0.0
    ],
    [
      411535,
      1,
      0.0
    ],
    [
      411536,
      3,
      -0.125697
    ],
    [
      411537,
      2,
      -0.217338
    ],
    [
      411538,
      1,
      0.0
    ],
    [
      411539,
      3,
      0.019245
    ],
    [
      411540,
      1,
      0.0
    ],
    [
      411541,
      2,
      -0.117106
    ],
    [
      411542,
      4,
      0.0
    ],
    [
      411543,
      2,
      0.153676
    ],
    [
      411544,
      3,
      0.001003
    ],
    [
      411545,
      2,
      0.0
    ],
    [
      411546,
      4,
      0.0
    ],
    [
      411547,
      1,
      0.0
    ],
    [
      411548,
      4,
      0.0
    ],
    [
      411549,
      2,
      -0.01571
    ],
    [
      411550,
      3,
      -1.180771
    ],
    [
      411551,
      3,
      -0.152415
    ],
    [
      411552,
      3,
      -0.486285
    ],
    [
      411553,
      1,
      0.0
    ],
    [
      411554,
      4,
      0.0
    ],
    [
      411555,
      4,
      0.0
    ],
    [
      411556,
      3,
      -2.174407
    ],
    [
      411557,
      1,
      0.0
    ],
    [
      411558,
      4,
      0.0
    ],
    [
      411559,
      4,
      0.0
    ],
    [
      411560,
      2,
      -0.148203
    ],
    [
      411561,
      2,
      9e-05
    ],
    [
      411562,
      4,
      0.0
    ],
    [
      411563,
      3,
      -0.000161
    ],
    [
      411564,
      4,
      0.0
    ],
    [
      411565,
      3,
      0.08655
    ],
    [
      411566,
      1,
      0.0
    ],
    [
      411567,
      2,
      0.047168
    ],
    [
      411568,
      3,
      5.752199
    ],
    [
      411569,
      2,
      -0.17824
    ],
    [
      411570,
      3,
      -0.103027
    ],
    [
      411571,
      3,
      -2.059188
    ],
    [
      411572,
      2,
      -3.319228
    ],
    [
      411573,
      1,
      0.0
    ],
    [
      411574,
      2,
      -3.162316
    ],
    [
      411575,
      3,
      -0.391358
    ],
    [
      411576,
      1,
      0.0
    ],
    [
      411577,
      1,
      0.0
    ],
    [
      411578,
      1,
      0.0
    ],
    [
      411579,
      1,
      0.0
    ],
    [
      411580,
      1,
      0.0
    ],
    [
      411581,
      4,
      0.0
    ],
    [
      411582,
      2,
      0.000174
    ],
    [
      411583,
      2,
      0.000138
    ],
    [
      411584,
      4,
      0.0
    ],
    [
      411585,
      4,
      0.0
    ],
    [
      411586,
      1,
      0.0
    ],
    [
      411587,
      2,
      0.010821
    ],
    [
      411588,
      1,
      0.0
    ],
    [
      411589,
      2,
      0.168893
    ],
    [
      411590,
      1,
      0.0
    ],
    [
      411591,
      4,
      0.0
    ],
    [
      411592,
      2,
      -0.02112
    ],
    [
      411593,
      3,
      0.063723
    ],
    [
      411594,
      2,
      -0.002642
    ],
    [
      411595,
      3,
      0.0
    ],
    [
      411596,
      2,
      -4.990037
    ],
    [
      411597,
      3,
      0.001093
    ],
    [
      411598,
      4,
      0.0
    ],
    [
      411599,
      4,
      0.0
    ],
    [
      411600,
      4,
      0.0
    ],
    [
      411601,
      3,
      -0.641437
    ],
    [
      411602,
      1,
      0.0
    ],
    [
      411603,
      3,
      0.001319
    ],
    [
      411604,
      4,
      0.0
    ],
    [
      411605,
      2,
      -0.001857
    ],
    [
      411606,
      1,
      0.0
    ],
    [
      411607,
      1,
      0.0
    ],
    [
      411608,
      3,
      0.309117
    ],
    [
      411609,
      1,
      0.0
    ],
    [
      411610,
      3,
      -5.57388
    ],
    [
      411611,
      3,
      0.8317
    ],
    [
      411612,
      4,
      0.0
    ],
    [
      411613,
      3,
      -0.327908
    ],
    [
      411614,
      4,
      0.0
    ],
    [
      411615,
      3,
      0.169606
    ],
    [
      411616,
      1,
      0.0
    ],
    [
      411617,
      2,
      -0.010007
    ],
    [
      411618,
      3,
      0.000778
    ],
    [
      411619,
      4,
      0.0
    ],
    [
      411620,
      4,
      0.0
    ],
    [
      411621,
      1,
      0.0
    ],
    [
      411622,
      3,
      9.207282
    ],
    [
      411623,
      3,
      -0.049808
    ],
    [
      411624,
      1,
      0.0
    ],
    [
      411625,
      2,
      0.000646
    ],
    [
      411626,
      2,
      0.0
    ],
    [
      411627,
      3,
      -0.133769
    ],
    [
      411628,
      2,
      -0.240747
    ],
    [
      411629,
      1,
      0.0
    ],
    [
      411630,
      1,
      0.0
    ],
    [
      411631,
      3,
      0.0
    ],
    [
      411632,
      4,
      0.0
    ],
    [
      411633,
      3,
      -0.572189
    ],
    [
      411634,
      2,
      0.001214
    ],
    [
      411635,
      3,
      -0.233921
    ],
    [
      411636,
      2,
      0.391168
    ],
    [
      411637,
      4,
      0.0
    ],
    [
      411638,
      2,
      -0.10289
    ],
    [
      411639,
      3,
      0.266076
    ],
    [
      411640,
      4,
      0.0
    ],
    [
      411641,
      1,
      0.0
    ],
    [
      411642,
      1,
      0.0
    ],
    [
      411643,
      1,
      0.0
    ],
    [
      411644,
      4,
      0.0
    ],
    [
      411645,
      1,
      0.0
    ],
    [
      411646,
      1,
      0.0
    ],
    [
      411647,
      2,
      -0.587997
    ],
    [
      411648,
      2,
      0.085156
    ],
    [
      411649,
      3,
      -0.022048
    ],
    [
      411650,
      2,
      0.044558
    ],
    [
      411651,
      3,
      -0.430998
    ],
    [
      411652,
      4,
      0.0
    ],
    [
      411653,
      4,
      0.0
    ],
    [
      411654,
      3,
      0.000227
    ],
    [
      411655,
      3,
      -0.925938
    ],
    [
      411656,
      2,
      -0.013307
    ],
    [
      411657,
      4,
      0.0
    ],
    [
      411658,
      2,
      -0.512378
    ],
    [
      411659,
      3,
      0.023235
    ],
    [
      411660,
      1,
      0.0
    ],
    [
      411661,
      2,
      0.0
    ],
    [
      411662,
      3,
      -0.086185
    ],
    [
      411663,
      2,
      -0.207704
    ],
    [
      411664,
      4,
      0.0
    ],
    [
      411665,
      3,
      0.0
    ],
    [
      411666,
      2,
      -0.567701
    ],
    [
      411667,
      4,
      0.0
    ],
    [
      411668,
      3,
      0.00029
    ],
    [
      411669,
      4,
      0.0
    ],
    [
      411670,
      3,
      0.0
    ],
    [
      411671,
      2,
      -0.021308
    ],
    [
      411672,
      1,
      0.0
    ],
    [
      411673,
      2,
      0.000331
    ],
    [
      411674,
      3,
      0.123301
    ],
    [
      411675,
      2,
      -0.953634
    ],
    [
      411676,
      4,
      0.0
    ],
    [
      411677,
      4,
      0.0
    ],
    [
      411678,
      4,
      0.0
    ],
    [
      411679,
      2,
      0.0001
    ],
    [
      411680,
      4,
      0.0
    ],
    [
      411681,
      4,
      0.0
    ],
    [
      411682,
      1,
      0.0
    ],
    [
      411683,
      3,
      -0.791154
    ],
    [
      411684,
      3,
      0.672064
    ],
    [
      411685,
      4,
      0.0
    ],
    [
      411686,
      4,
      0.0
    ],
    [
      411687,
      1,
      0.0
    ],
    [
      411688,
      4,
      0.0
    ],
    [
      411689,
      1,
      0.0
    ],
    [
      411690,
      4,
      0.0
    ],
    [
      411691,
      1,
      0.0
    ],
    [
      411692,
      1,
      0.0
    ],
    [
      411693,
      2,
      -0.049604
    ],
    [
      411694,
      4,
      0.0
    ],
    [
      411695,
      3,
      -0.090944
    ],
    [
      411696,
      3,
      -0.028202
    ],
    [
      411697,
      3,
      -0.036283
    ],
    [
      411698,
      3,
      -0.118761
    ],
    [
      411699,
      4,
      0.0
    ],
    [
      411700,
      4,
      0.0
    ],
    [
      411701,
      1,
      0.0
    ],
    [
      411702,
      3,
      -0.141675
    ],
    [
      411703,
      4,
      0.0
    ],
    [
      411704,
      2,
      -2.355228
    ],
    [
      411705,
      2,
      0.058441
    ],
    [
      411706,
      2,
      -0.155934
    ],
    [
      411707,
      2,
      -1.652611
    ],
    [
      411708,
      1,
      0.0
    ],
    [
      411709,
      1,
      0.0
    ],
    [
      411710,
      3,
      -0.391771
    ],
    [
      411711,
      2,
      -0.148602
    ],
    [
      411712,
      1,
      0.0
    ],
    [
      411713,
      3,
      1e-06
    ],
    [
      411714,
      3,
      0.188284
    ],
    [
      411715,
      3,
      0.0
    ],
    [
      411716,
      1,
      0.0
    ],
    [
      411717,
      3,
      0.000679
    ],
    [
      411718,
      1,
      0.0
    ],
    [
      411719,
      1,
      0.0
    ],
    [
      411720,
      2,
      0.025759
    ],
    [
      411721,
      4,
      0.0
    ],
    [
      411722,
      4,
      0.0
    ],
    [
      411723,
      1,
      0.0
    ],
    [
      411724,
      2,
      0.000255
    ],
    [
      411725,
      3,
      1.12228
    ],
    [
      411726,
      1,
      0.0
    ],
    [
      411727,
      2,
      -0.502298
    ],
    [
      411728,
      2,
      0.0
    ],
    [
      411729,
      2,
      0.000391
    ],
    [
      411730,
      3,
      0.1527
    ],
    [
      411731,
      1,
      0.0
    ],
    [
      411732,
      4,
      0.0
    ],
    [
      411733,
      2,
      0.0
    ],
    [
      411734,
      4,
      0.0
    ],
    [
      411735,
      2,
      0.022996
    ],
    [
      411736,
      2,
      0.0
    ],
    [
      411737,
      1,
      0.0
    ],
    [
      411738,
      4,
      0.0
    ],
    [
      411739,
      4,
      0.0
    ],
    [
      411740,
      1,
      0.0
    ],
    [
      411741,
      4,
      0.0
    ],
    [
      411742,
      2,
      0.021548
    ],
    [
      411743,
      3,
      -0.628044
    ],
    [
      411744,
      1,
      0.0
    ],
    [
      411745,
      3,
      0.001326
    ],
    [
      411746,
      4,
      0.0
    ],
    [
      411747,
      1,
      0.0
    ],
    [
      411748,
      3,
      -1.154119
    ],
    [
      411749,
      4,
      0.0
    ],
    [
      411750,
      4,
      0.0
    ],
    [
      411751,
      3,
      -1.72141
    ],
    [
      411752,
      1,
      0.0
    ],
    [
      411753,
      4,
      0.0
    ],
    [
      411754,
      4,
      0.0
    ],
    [
      411755,
      4,
      0.0
    ],
    [
      411756,
      1,
      0.0
    ],
    [
      411757,
      2,
      -0.011292
    ],
    [
      411758,
      2,
      0.438682
    ],
    [
      411759,
      3,
      -1.559476
    ],
    [
      411760,
      1,
      0.0
    ],
    [
      411761,
      3,
      0.000202
    ],
    [
      411762,
      1,
      0.0
    ],
    [
      411763,
      2,
      0.217023
    ],
    [
      411764,
      2,
      0.004074
    ],
    [
      411765,
      4,
      0.0
    ],
    [
      411766,
      1,
      0.0
    ],
    [
      411767,
      1,
      0.0
    ],
    [
      411768,
      2,
      0.000192
    ],
    [
      411769,
      1,
      0.0
    ],
    [
      411770,
      1,
      0.0
    ],
    [
      411771,
      1,
      0.0
    ],
    [
      411772,
      1,
      0.0
    ],
    [
      411773,
      2,
      0.0
    ],
    [
      411774,
      1,
      0.0
    ],
    [
      411775,
      2,
      0.0001
    ],
    [
      411776,
      2,
      0.000381
    ],
    [
      411777,
      3,
      0.000221
    ],
    [
      411778,
      4,
      0.0
    ],
    [
      411779,
      2,
      -0.521273
    ],
    [
      411780,
      2,
      6.631194
    ],
    [
      411781,
      1,
      0.0
    ],
    [
      411782,
      4,
      0.0
    ],
    [
      411783,
      3,
      -5.5e-05
    ],
    [
      411784,
      2,
      1.097823
    ],
    [
      411785,
      1,
      0.0
    ],
    [
      411786,
      1,
      0.0
    ],
    [
      411787,
      3,
      -1.305145
    ],
    [
      411788,
      1,
      0.0
    ],
    [
      411789,
      2,
      1.015778
    ],
    [
      411790,
      4,
      0.0
    ],
    [
      411791,
      3,
      -0.358889
    ],
    [
      411792,
      1,
      0.0
    ],
    [
      411793,
      2,
      0.000989
    ],
    [
      411794,
      1,
      0.0
    ],
    [
      411795,
      4,
      0.0
    ],
    [
      411796,
      3,
      0.0
    ],
    [
      411797,
      1,
      0.0
    ],
    [
      411798,
      1,
      0.0
    ],
    [
      411799,
      3,
      0.090044
    ],
    [
      411800,
      1,
      0.0
    ],
    [
      411801,
      4,
      0.0
    ],
    [
      411802,
      4,
      0.0
    ],
    [
      411803,
      1,
      0.0
    ],
    [
      411804,
      3,
      0.0
    ],
    [
      411805,
      3,
      0.022671
    ],
    [
      411806,
      2,
      -0.202117
    ],
    [
      411807,
      3,
      -0.046785
    ],
    [
      411808,
      2,
      0.000571
    ],
    [
      411809,
      2,
      -0.335779
    ],
    [
      411810,
      3,
      0.0
    ],
    [
      411811,
      3,
      0.135134
    ],
    [
      411812,
      1,
      0.0
    ],
    [
      411813,
      3,
      0.0
    ],
    [
      411814,
      2,
      0.0003
    ],
    [
      411815,
      3,
      0.0
    ],
    [
      411816,
      1,
      0.0
    ],
    [
      411817,
      1,
      0.0
    ],
    [
      411818,
      2,
      -0.274465
    ],
    [
      411819,
      1,
      0.0
    ],
    [
      411820,
      4,
      0.0
    ],
    [
      411821,
      3,
      0.000128
    ],
    [
      411822,
      2,
      0.074635
    ],
    [
      411823,
      3,
      0.198438
    ],
    [
      411824,
      1,
      0.0
    ],
    [
      411825,
      4,
      0.0
    ],
    [
      411826,
      4,
      0.0
    ],
    [
      411827,
      2,
      -0.159681
    ],
    [
      411828,
      2,
      3.963514
    ],
    [
      411829,
      4,
      0.0
    ],
    [
      411830,
      4,
      0.0
    ],
    [
      411831,
      1,
      0.0
    ],
    [
      411832,
      3,
      0.32161
    ],
    [
      411833,
      2,
      0.061052
    ],
    [
      411834,
      4,
      0.0
    ],
    [
      411835,
      1,
      0.0
    ],
    [
      411836,
      2,
      0.001736
    ],
    [
      411837,
      1,
      0.0
    ],
    [
      411838,
      2,
      0.000283
    ],
    [
      411839,
      4,
      0.0
    ],
    [
      411840,
      2,
      0.000288
    ],
    [
      411841,
      4,
      0.0
    ],
    [
      411842,
      3,
      0.0
    ],
    [
      411843,
      1,
      0.0
    ],
    [
      411844,
      4,
      0.0
    ],
    [
      411845,
      4,
      0.0
    ],
    [
      411846,
      2,
      -0.225096
    ],
    [
      411847,
      3,
      0.0
    ],
    [
      411848,
      1,
      0.0
    ],
    [
      411849,
      4,
      0.0
    ],
    [
      411850,
      1,
      0.0
    ],
    [
      411851,
      2,
      0.0
    ],
    [
      411852,
      3,
      -4.4e-05
    ],
    [
      411853,
      1,
      0.0
    ],
    [
      411854,
      2,
      0.004939
    ],
    [
      411855,
      1,
      0.0
    ],
    [
      411856,
      1,
      0.0
    ],
    [
      411857,
      1,
      0.0
    ],
    [
      411858,
      3,
      0.0
    ],
    [
      411859,
      2,
      0.000466
    ],
    [
      411860,
      3,
      -0.000356
    ],
    [
      411861,
      4,
      0.0
    ],
    [
      411862,
      1,
      0.0
    ],
    [
      411863,
      4,
      0.0
    ],
    [
      411864,
      1,
      0.0
    ],
    [
      411865,
      2,
      -0.026372
    ],
    [
      411866,
      2,
      -3.156446
    ],
    [
      411867,
      1,
      0.0
    ],
    [
      411868,
      2,
      -0.789694
    ],
    [
      411869,
      3,
      -1.208658
    ],
    [
      411870,
      1,
      0.0
    ],
    [
      411871,
      1,
      0.0
    ],
    [
      411872,
      2,
      0.113571
    ],
    [
      411873,
      3,
      0.000124
    ],
    [
      411874,
      1,
      0.0
    ],
    [
      411875,
      3,
      0.000309
    ],
    [
      411876,
      2,
      4.933364
    ],
    [
      411877,
      1,
      0.0
    ],
    [
      411878,
      1,
      0.0
    ],
    [
      411879,
      1,
      0.0
    ],
    [
      411880,
      3,
      -2.911828
    ],
    [
      411881,
      3,
      0.026293
    ],
    [
      411882,
      1,
      0.0
    ],
    [
      411883,
      2,
      0.139576
    ],
    [
      411884,
      1,
      0.0
    ],
    [
      411885,
      2,
      -20.730234
    ],
    [
      411886,
      3,
      0.00012
    ],
    [
      411887,
      2,
      0.0
    ],
    [
      411888,
      1,
      0.0
    ],
    [
      411889,
      1,
      0.0
    ],
    [
      411890,
      4,
      0.0
    ],
    [
      411891,
      3,
      0.064177
    ],
    [
      411892,
      3,
      0.0
    ],
    [
      411893,
      1,
      0.0
    ],
    [
      411894,
      2,
      0.0
    ],
    [
      411895,
      1,
      0.0
    ],
    [
      411896,
      2,
      0.0
    ],
    [
      411897,
      1,
      0.0
    ],
    [
      411898,
      1,
      0.0
    ],
    [
      411899,
      2,
      -0.001899
    ],
    [
      411900,
      2,
      -0.039183
    ],
    [
      411901,
      3,
      0.801172
    ],
    [
      411902,
      2,
      0.929959
    ],
    [
      411903,
      1,
      0.0
    ],
    [
      411904,
      1,
      0.0
    ],
    [
      411905,
      3,
      -1.002603
    ],
    [
      411906,
      3,
      -0.005806
    ],
    [
      411907,
      4,
      0.0
    ],
    [
      411908,
      2,
      0.001779
    ],
    [
      411909,
      3,
      0.0
    ],
    [
      411910,
      2,
      -0.134966
    ],
    [
      411911,
      1,
      0.0
    ],
    [
      411912,
      4,
      0.0
    ],
    [
      411913,
      4,
      0.0
    ],
    [
      411914,
      1,
      0.0
    ],
    [
      411915,
      2,
      -0.150292
    ],
    [
      411916,
      2,
      -0.005561
    ],
    [
      411917,
      3,
      1.952601
    ],
    [
      411918,
      2,
      -0.347167
    ],
    [
      411919,
      2,
      0.067778
    ],
    [
      411920,
      4,
      0.0
    ],
    [
      411921,
      4,
      0.0
    ],
    [
      411922,
      2,
      1.084562
    ],
    [
      411923,
      2,
      -0.100137
    ],
    [
      411924,
      1,
      0.0
    ],
    [
      411925,
      3,
      -0.184576
    ],
    [
      411926,
      3,
      -0.532091
    ],
    [
      411927,
      4,
      0.0
    ],
    [
      411928,
      3,
      0.000308
    ],
    [
      411929,
      2,
      -6.940823
    ],
    [
      411930,
      4,
      0.0
    ],
    [
      411931,
      3,
      0.928117
    ],
    [
      411932,
      1,
      0.0
    ],
    [
      411933,
      1,
      0.0
    ],
    [
      411934,
      3,
      -0.176568
    ],
    [
      411935,
      4,
      0.0
    ],
    [
      411936,
      2,
      -0.833196
    ],
    [
      411937,
      3,
      -0.004285
    ],
    [
      411938,
      2,
      -0.019529
    ],
    [
      411939,
      4,
      0.0
    ],
    [
      411940,
      2,
      -0.042605
    ],
    [
      411941,
      4,
      0.0
    ],
    [
      411942,
      1,
      0.0
    ],
    [
      411943,
      2,
      -0.527504
    ],
    [
      411944,
      4,
      0.0
    ],
    [
      411945,
      1,
      0.0
    ],
    [
      411946,
      1,
      0.0
    ],
    [
      411947,
      3,
      1.846321
    ],
    [
      411948,
      2,
      -0.406465
    ],
    [
      411949,
      2,
      -0.10929
    ],
    [
      411950,
      1,
      0.0
    ],
    [
      411951,
      3,
      -1.177052
    ],
    [
      411952,
      4,
      0.0
    ],
    [
      411953,
      3,
      -0.009102
    ],
    [
      411954,
      2,
      -1.029684
    ],
    [
      411955,
      1,
      0.0
    ],
    [
      411956,
      4,
      0.0
    ],
    [
      411957,
      3,
      0.923508
    ],
    [
      411958,
      2,
      -0.362299
    ],
    [
      411959,
      2,
      -0.213378
    ],
    [
      411960,
      1,
      0.0
    ],
    [
      411961,
      2,
      -0.024588
    ],
    [
      411962,
      3,
      -0.042721
    ],
    [
      411963,
      1,
      0.0
    ],
    [
      411964,
      3,
      -0.000198
    ],
    [
      411965,
      3,
      0.0
    ],
    [
      411966,
      4,
      0.0
    ],
    [
      411967,
      3,
      -0.001435
    ],
    [
      411968,
      2,
      -0.613666
    ],
    [
      411969,
      2,
      -0.004783
    ],
    [
      411970,
      2,
      -0.253579
    ],
    [
      411971,
      4,
      0.0
    ],
    [
      411972,
      1,
      0.0
    ],
    [
      411973,
      2,
      -0.385883
    ],
    [
      411974,
      3,
      0.0002
    ],
    [
      411975,
      1,
      0.0
    ],
    [
      411976,
      4,
      0.0
    ],
    [
      411977,
      2,
      -0.034656
    ],
    [
      411978,
      1,
      0.0
    ],
    [
      411979,
      3,
      -0.257061
    ],
    [
      411980,
      3,
      7.2e-05
    ],
    [
      411981,
      3,
      -0.005736
    ],
    [
      411982,
      2,
      0.00014
    ],
    [
      411983,
      4,
      0.0
    ],
    [
      411984,
      4,
      0.0
    ],
    [
      411985,
      1,
      0.0
    ],
    [
      411986,
      1,
      0.0
    ],
    [
      411987,
      2,
      0.186412
    ],
    [
      411988,
      3,
      9.7e-05
    ],
    [
      411989,
      3,
      -0.629932
    ],
    [
      411990,
      4,
      0.0
    ],
    [
      411991,
      2,
      0.0
    ],
    [
      411992,
      2,
      4.169126
    ],
    [
      411993,
      2,
      0.876562
    ],
    [
      411994,
      3,
      0.0
    ],
    [
      411995,
      1,
      0.0
    ],
    [
      411996,
      1,
      0.0
    ],
    [
      411997,
      3,
      -0.063826
    ],
    [
      411998,
      2,
      0.021208
    ],
    [
      411999,
      3,
      1.673354
    ]
  ],
  "notes": "Frozen candidate; all four requested SHA-256 hashes verified. Unmodified simulator b244530ee2a6247b5f930830eeca9dd950da0e7e; default ChallengeConfig and ParameterVariance, 2000 steps, serial execution, no sandbox. Four reference checks matched to six decimals. No tuning or finalist seeds used. check_values retain full simulator precision; seconds_per_simulation excludes reference checks."
}