{
  "key": "side-jump-budget-c",
  "candidate_sha256": "8c249a7d2ea89675599b3605807a195ee3c960f7db34650935c1f158ab210f14",
  "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.14.4",
  "seconds_per_simulation": 0.3212257998178538,
  "overall": {
    "n": 500,
    "sum_d": -48.316762453299894,
    "sum_d2": 5790.012735665979,
    "mean_diff": -0.0966335249065998,
    "se": 0.15227524541804693,
    "incumbent_mean": 96.9505197446568,
    "candidate_mean": 96.85388621975021,
    "retail_diff": -0.878043053887801,
    "arb_diff": 0.7814095289848001
  },
  "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": -6.3879846241000156,
      "sum_d2": 2941.9103578598138,
      "mean_diff": -0.0495192606519381,
      "se": 0.42207684516659477,
      "incumbent_mean": 88.38297657891395,
      "candidate_mean": 88.33345731826202,
      "retail_diff": -1.5636260250496126,
      "arb_diff": 1.5141067643945738
    },
    "3": {
      "n": 126,
      "sum_d": -41.92877782919988,
      "sum_d2": 2848.1023778061654,
      "mean_diff": -0.33276807800952285,
      "se": 0.4242004482006459,
      "incumbent_mean": 128.00387517305475,
      "candidate_mean": 127.67110709504523,
      "retail_diff": -1.8834426167658764,
      "arb_diff": 1.55067453877381
    },
    "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.215661
    ],
    [
      411509,
      4,
      0.0
    ],
    [
      411510,
      4,
      0.0
    ],
    [
      411511,
      2,
      1.816818
    ],
    [
      411512,
      2,
      2.219818
    ],
    [
      411513,
      3,
      -14.265428
    ],
    [
      411514,
      1,
      0.0
    ],
    [
      411515,
      4,
      0.0
    ],
    [
      411516,
      3,
      -5.060225
    ],
    [
      411517,
      3,
      -0.23095
    ],
    [
      411518,
      1,
      0.0
    ],
    [
      411519,
      4,
      0.0
    ],
    [
      411520,
      4,
      0.0
    ],
    [
      411521,
      1,
      0.0
    ],
    [
      411522,
      3,
      0.597423
    ],
    [
      411523,
      4,
      0.0
    ],
    [
      411524,
      2,
      -0.403282
    ],
    [
      411525,
      1,
      0.0
    ],
    [
      411526,
      3,
      11.615371
    ],
    [
      411527,
      4,
      0.0
    ],
    [
      411528,
      4,
      0.0
    ],
    [
      411529,
      1,
      0.0
    ],
    [
      411530,
      4,
      0.0
    ],
    [
      411531,
      3,
      -0.247453
    ],
    [
      411532,
      3,
      -0.392508
    ],
    [
      411533,
      3,
      0.240886
    ],
    [
      411534,
      4,
      0.0
    ],
    [
      411535,
      1,
      0.0
    ],
    [
      411536,
      3,
      13.956565
    ],
    [
      411537,
      2,
      -0.561867
    ],
    [
      411538,
      1,
      0.0
    ],
    [
      411539,
      3,
      -0.705787
    ],
    [
      411540,
      1,
      0.0
    ],
    [
      411541,
      2,
      -0.54433
    ],
    [
      411542,
      4,
      0.0
    ],
    [
      411543,
      2,
      -0.604745
    ],
    [
      411544,
      3,
      -1.694228
    ],
    [
      411545,
      2,
      0.590494
    ],
    [
      411546,
      4,
      0.0
    ],
    [
      411547,
      1,
      0.0
    ],
    [
      411548,
      4,
      0.0
    ],
    [
      411549,
      2,
      0.532772
    ],
    [
      411550,
      3,
      -2.2942
    ],
    [
      411551,
      3,
      0.029496
    ],
    [
      411552,
      3,
      -0.829832
    ],
    [
      411553,
      1,
      0.0
    ],
    [
      411554,
      4,
      0.0
    ],
    [
      411555,
      4,
      0.0
    ],
    [
      411556,
      3,
      -2.787147
    ],
    [
      411557,
      1,
      0.0
    ],
    [
      411558,
      4,
      0.0
    ],
    [
      411559,
      4,
      0.0
    ],
    [
      411560,
      2,
      -0.649891
    ],
    [
      411561,
      2,
      -8.075399
    ],
    [
      411562,
      4,
      0.0
    ],
    [
      411563,
      3,
      -0.174492
    ],
    [
      411564,
      4,
      0.0
    ],
    [
      411565,
      3,
      -0.77926
    ],
    [
      411566,
      1,
      0.0
    ],
    [
      411567,
      2,
      0.013248
    ],
    [
      411568,
      3,
      1.466303
    ],
    [
      411569,
      2,
      -0.023546
    ],
    [
      411570,
      3,
      -0.824868
    ],
    [
      411571,
      3,
      -4.979562
    ],
    [
      411572,
      2,
      15.951879
    ],
    [
      411573,
      1,
      0.0
    ],
    [
      411574,
      2,
      2.539471
    ],
    [
      411575,
      3,
      0.196036
    ],
    [
      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,
      -1.134784
    ],
    [
      411583,
      2,
      -0.230912
    ],
    [
      411584,
      4,
      0.0
    ],
    [
      411585,
      4,
      0.0
    ],
    [
      411586,
      1,
      0.0
    ],
    [
      411587,
      2,
      3.617206
    ],
    [
      411588,
      1,
      0.0
    ],
    [
      411589,
      2,
      -4.60584
    ],
    [
      411590,
      1,
      0.0
    ],
    [
      411591,
      4,
      0.0
    ],
    [
      411592,
      2,
      3.507697
    ],
    [
      411593,
      3,
      -0.512548
    ],
    [
      411594,
      2,
      0.509756
    ],
    [
      411595,
      3,
      -0.628429
    ],
    [
      411596,
      2,
      -13.780966
    ],
    [
      411597,
      3,
      -0.505138
    ],
    [
      411598,
      4,
      0.0
    ],
    [
      411599,
      4,
      0.0
    ],
    [
      411600,
      4,
      0.0
    ],
    [
      411601,
      3,
      -0.316122
    ],
    [
      411602,
      1,
      0.0
    ],
    [
      411603,
      3,
      -0.402861
    ],
    [
      411604,
      4,
      0.0
    ],
    [
      411605,
      2,
      3.595626
    ],
    [
      411606,
      1,
      0.0
    ],
    [
      411607,
      1,
      0.0
    ],
    [
      411608,
      3,
      -0.850504
    ],
    [
      411609,
      1,
      0.0
    ],
    [
      411610,
      3,
      -13.842807
    ],
    [
      411611,
      3,
      1.581349
    ],
    [
      411612,
      4,
      0.0
    ],
    [
      411613,
      3,
      -0.051303
    ],
    [
      411614,
      4,
      0.0
    ],
    [
      411615,
      3,
      0.408662
    ],
    [
      411616,
      1,
      0.0
    ],
    [
      411617,
      2,
      0.89526
    ],
    [
      411618,
      3,
      0.1321
    ],
    [
      411619,
      4,
      0.0
    ],
    [
      411620,
      4,
      0.0
    ],
    [
      411621,
      1,
      0.0
    ],
    [
      411622,
      3,
      -1.532379
    ],
    [
      411623,
      3,
      2.660411
    ],
    [
      411624,
      1,
      0.0
    ],
    [
      411625,
      2,
      -0.494472
    ],
    [
      411626,
      2,
      0.848757
    ],
    [
      411627,
      3,
      -0.391288
    ],
    [
      411628,
      2,
      -6.212757
    ],
    [
      411629,
      1,
      0.0
    ],
    [
      411630,
      1,
      0.0
    ],
    [
      411631,
      3,
      -0.073242
    ],
    [
      411632,
      4,
      0.0
    ],
    [
      411633,
      3,
      2.003226
    ],
    [
      411634,
      2,
      4.383901
    ],
    [
      411635,
      3,
      0.157672
    ],
    [
      411636,
      2,
      0.183795
    ],
    [
      411637,
      4,
      0.0
    ],
    [
      411638,
      2,
      7.244433
    ],
    [
      411639,
      3,
      3.329768
    ],
    [
      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.0031
    ],
    [
      411648,
      2,
      0.609708
    ],
    [
      411649,
      3,
      -0.965564
    ],
    [
      411650,
      2,
      -0.055401
    ],
    [
      411651,
      3,
      -1.906703
    ],
    [
      411652,
      4,
      0.0
    ],
    [
      411653,
      4,
      0.0
    ],
    [
      411654,
      3,
      -0.399877
    ],
    [
      411655,
      3,
      -7.781005
    ],
    [
      411656,
      2,
      0.024835
    ],
    [
      411657,
      4,
      0.0
    ],
    [
      411658,
      2,
      1.166841
    ],
    [
      411659,
      3,
      -0.526069
    ],
    [
      411660,
      1,
      0.0
    ],
    [
      411661,
      2,
      -2.12742
    ],
    [
      411662,
      3,
      -0.164302
    ],
    [
      411663,
      2,
      -0.283414
    ],
    [
      411664,
      4,
      0.0
    ],
    [
      411665,
      3,
      -0.174811
    ],
    [
      411666,
      2,
      2.140089
    ],
    [
      411667,
      4,
      0.0
    ],
    [
      411668,
      3,
      5.035216
    ],
    [
      411669,
      4,
      0.0
    ],
    [
      411670,
      3,
      -0.155175
    ],
    [
      411671,
      2,
      0.083985
    ],
    [
      411672,
      1,
      0.0
    ],
    [
      411673,
      2,
      0.339301
    ],
    [
      411674,
      3,
      8.073858
    ],
    [
      411675,
      2,
      -5.192291
    ],
    [
      411676,
      4,
      0.0
    ],
    [
      411677,
      4,
      0.0
    ],
    [
      411678,
      4,
      0.0
    ],
    [
      411679,
      2,
      -3.290968
    ],
    [
      411680,
      4,
      0.0
    ],
    [
      411681,
      4,
      0.0
    ],
    [
      411682,
      1,
      0.0
    ],
    [
      411683,
      3,
      4.667907
    ],
    [
      411684,
      3,
      0.204746
    ],
    [
      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.862976
    ],
    [
      411694,
      4,
      0.0
    ],
    [
      411695,
      3,
      -0.543943
    ],
    [
      411696,
      3,
      -18.965519
    ],
    [
      411697,
      3,
      -0.916113
    ],
    [
      411698,
      3,
      -4.669854
    ],
    [
      411699,
      4,
      0.0
    ],
    [
      411700,
      4,
      0.0
    ],
    [
      411701,
      1,
      0.0
    ],
    [
      411702,
      3,
      -0.291863
    ],
    [
      411703,
      4,
      0.0
    ],
    [
      411704,
      2,
      1.650997
    ],
    [
      411705,
      2,
      6.051026
    ],
    [
      411706,
      2,
      -0.000875
    ],
    [
      411707,
      2,
      -0.705333
    ],
    [
      411708,
      1,
      0.0
    ],
    [
      411709,
      1,
      0.0
    ],
    [
      411710,
      3,
      -9.131637
    ],
    [
      411711,
      2,
      9.170903
    ],
    [
      411712,
      1,
      0.0
    ],
    [
      411713,
      3,
      -0.763986
    ],
    [
      411714,
      3,
      -3.412935
    ],
    [
      411715,
      3,
      -1.684782
    ],
    [
      411716,
      1,
      0.0
    ],
    [
      411717,
      3,
      0.251854
    ],
    [
      411718,
      1,
      0.0
    ],
    [
      411719,
      1,
      0.0
    ],
    [
      411720,
      2,
      -0.226427
    ],
    [
      411721,
      4,
      0.0
    ],
    [
      411722,
      4,
      0.0
    ],
    [
      411723,
      1,
      0.0
    ],
    [
      411724,
      2,
      -7.129547
    ],
    [
      411725,
      3,
      0.192122
    ],
    [
      411726,
      1,
      0.0
    ],
    [
      411727,
      2,
      1.957323
    ],
    [
      411728,
      2,
      -0.085189
    ],
    [
      411729,
      2,
      4.709428
    ],
    [
      411730,
      3,
      1.259504
    ],
    [
      411731,
      1,
      0.0
    ],
    [
      411732,
      4,
      0.0
    ],
    [
      411733,
      2,
      -0.008372
    ],
    [
      411734,
      4,
      0.0
    ],
    [
      411735,
      2,
      -0.848162
    ],
    [
      411736,
      2,
      5.162723
    ],
    [
      411737,
      1,
      0.0
    ],
    [
      411738,
      4,
      0.0
    ],
    [
      411739,
      4,
      0.0
    ],
    [
      411740,
      1,
      0.0
    ],
    [
      411741,
      4,
      0.0
    ],
    [
      411742,
      2,
      -0.012438
    ],
    [
      411743,
      3,
      -0.63162
    ],
    [
      411744,
      1,
      0.0
    ],
    [
      411745,
      3,
      0.339823
    ],
    [
      411746,
      4,
      0.0
    ],
    [
      411747,
      1,
      0.0
    ],
    [
      411748,
      3,
      0.860008
    ],
    [
      411749,
      4,
      0.0
    ],
    [
      411750,
      4,
      0.0
    ],
    [
      411751,
      3,
      0.609841
    ],
    [
      411752,
      1,
      0.0
    ],
    [
      411753,
      4,
      0.0
    ],
    [
      411754,
      4,
      0.0
    ],
    [
      411755,
      4,
      0.0
    ],
    [
      411756,
      1,
      0.0
    ],
    [
      411757,
      2,
      0.729239
    ],
    [
      411758,
      2,
      -1.769087
    ],
    [
      411759,
      3,
      1.364869
    ],
    [
      411760,
      1,
      0.0
    ],
    [
      411761,
      3,
      -0.822029
    ],
    [
      411762,
      1,
      0.0
    ],
    [
      411763,
      2,
      -0.143987
    ],
    [
      411764,
      2,
      1.129318
    ],
    [
      411765,
      4,
      0.0
    ],
    [
      411766,
      1,
      0.0
    ],
    [
      411767,
      1,
      0.0
    ],
    [
      411768,
      2,
      -0.26189
    ],
    [
      411769,
      1,
      0.0
    ],
    [
      411770,
      1,
      0.0
    ],
    [
      411771,
      1,
      0.0
    ],
    [
      411772,
      1,
      0.0
    ],
    [
      411773,
      2,
      3.407008
    ],
    [
      411774,
      1,
      0.0
    ],
    [
      411775,
      2,
      -0.556815
    ],
    [
      411776,
      2,
      -0.552592
    ],
    [
      411777,
      3,
      -0.055806
    ],
    [
      411778,
      4,
      0.0
    ],
    [
      411779,
      2,
      -6.182194
    ],
    [
      411780,
      2,
      -9.733543
    ],
    [
      411781,
      1,
      0.0
    ],
    [
      411782,
      4,
      0.0
    ],
    [
      411783,
      3,
      -0.705996
    ],
    [
      411784,
      2,
      -0.012881
    ],
    [
      411785,
      1,
      0.0
    ],
    [
      411786,
      1,
      0.0
    ],
    [
      411787,
      3,
      6.069261
    ],
    [
      411788,
      1,
      0.0
    ],
    [
      411789,
      2,
      -0.002093
    ],
    [
      411790,
      4,
      0.0
    ],
    [
      411791,
      3,
      0.385281
    ],
    [
      411792,
      1,
      0.0
    ],
    [
      411793,
      2,
      3.675328
    ],
    [
      411794,
      1,
      0.0
    ],
    [
      411795,
      4,
      0.0
    ],
    [
      411796,
      3,
      -0.622286
    ],
    [
      411797,
      1,
      0.0
    ],
    [
      411798,
      1,
      0.0
    ],
    [
      411799,
      3,
      -0.696
    ],
    [
      411800,
      1,
      0.0
    ],
    [
      411801,
      4,
      0.0
    ],
    [
      411802,
      4,
      0.0
    ],
    [
      411803,
      1,
      0.0
    ],
    [
      411804,
      3,
      -1.568314
    ],
    [
      411805,
      3,
      -1.097359
    ],
    [
      411806,
      2,
      1.056828
    ],
    [
      411807,
      3,
      -0.616359
    ],
    [
      411808,
      2,
      0.787847
    ],
    [
      411809,
      2,
      5.207812
    ],
    [
      411810,
      3,
      -3.758326
    ],
    [
      411811,
      3,
      0.470729
    ],
    [
      411812,
      1,
      0.0
    ],
    [
      411813,
      3,
      -0.313181
    ],
    [
      411814,
      2,
      -0.292231
    ],
    [
      411815,
      3,
      0.222036
    ],
    [
      411816,
      1,
      0.0
    ],
    [
      411817,
      1,
      0.0
    ],
    [
      411818,
      2,
      -0.022727
    ],
    [
      411819,
      1,
      0.0
    ],
    [
      411820,
      4,
      0.0
    ],
    [
      411821,
      3,
      0.156637
    ],
    [
      411822,
      2,
      0.184953
    ],
    [
      411823,
      3,
      2.391325
    ],
    [
      411824,
      1,
      0.0
    ],
    [
      411825,
      4,
      0.0
    ],
    [
      411826,
      4,
      0.0
    ],
    [
      411827,
      2,
      -2.199009
    ],
    [
      411828,
      2,
      20.926739
    ],
    [
      411829,
      4,
      0.0
    ],
    [
      411830,
      4,
      0.0
    ],
    [
      411831,
      1,
      0.0
    ],
    [
      411832,
      3,
      -0.162281
    ],
    [
      411833,
      2,
      -0.200075
    ],
    [
      411834,
      4,
      0.0
    ],
    [
      411835,
      1,
      0.0
    ],
    [
      411836,
      2,
      0.366188
    ],
    [
      411837,
      1,
      0.0
    ],
    [
      411838,
      2,
      3.142074
    ],
    [
      411839,
      4,
      0.0
    ],
    [
      411840,
      2,
      -0.215019
    ],
    [
      411841,
      4,
      0.0
    ],
    [
      411842,
      3,
      1.001356
    ],
    [
      411843,
      1,
      0.0
    ],
    [
      411844,
      4,
      0.0
    ],
    [
      411845,
      4,
      0.0
    ],
    [
      411846,
      2,
      -4.003625
    ],
    [
      411847,
      3,
      -0.412122
    ],
    [
      411848,
      1,
      0.0
    ],
    [
      411849,
      4,
      0.0
    ],
    [
      411850,
      1,
      0.0
    ],
    [
      411851,
      2,
      -0.732767
    ],
    [
      411852,
      3,
      -8.006457
    ],
    [
      411853,
      1,
      0.0
    ],
    [
      411854,
      2,
      -0.290244
    ],
    [
      411855,
      1,
      0.0
    ],
    [
      411856,
      1,
      0.0
    ],
    [
      411857,
      1,
      0.0
    ],
    [
      411858,
      3,
      -0.595058
    ],
    [
      411859,
      2,
      -0.289274
    ],
    [
      411860,
      3,
      -0.345221
    ],
    [
      411861,
      4,
      0.0
    ],
    [
      411862,
      1,
      0.0
    ],
    [
      411863,
      4,
      0.0
    ],
    [
      411864,
      1,
      0.0
    ],
    [
      411865,
      2,
      10.916134
    ],
    [
      411866,
      2,
      -17.544226
    ],
    [
      411867,
      1,
      0.0
    ],
    [
      411868,
      2,
      -0.56844
    ],
    [
      411869,
      3,
      -0.276714
    ],
    [
      411870,
      1,
      0.0
    ],
    [
      411871,
      1,
      0.0
    ],
    [
      411872,
      2,
      -0.121481
    ],
    [
      411873,
      3,
      -6.427704
    ],
    [
      411874,
      1,
      0.0
    ],
    [
      411875,
      3,
      0.761355
    ],
    [
      411876,
      2,
      11.960894
    ],
    [
      411877,
      1,
      0.0
    ],
    [
      411878,
      1,
      0.0
    ],
    [
      411879,
      1,
      0.0
    ],
    [
      411880,
      3,
      0.298816
    ],
    [
      411881,
      3,
      -0.200783
    ],
    [
      411882,
      1,
      0.0
    ],
    [
      411883,
      2,
      7.179521
    ],
    [
      411884,
      1,
      0.0
    ],
    [
      411885,
      2,
      -1.341651
    ],
    [
      411886,
      3,
      2.893045
    ],
    [
      411887,
      2,
      -11.53307
    ],
    [
      411888,
      1,
      0.0
    ],
    [
      411889,
      1,
      0.0
    ],
    [
      411890,
      4,
      0.0
    ],
    [
      411891,
      3,
      -1.01165
    ],
    [
      411892,
      3,
      -0.805869
    ],
    [
      411893,
      1,
      0.0
    ],
    [
      411894,
      2,
      -0.374242
    ],
    [
      411895,
      1,
      0.0
    ],
    [
      411896,
      2,
      -6.927112
    ],
    [
      411897,
      1,
      0.0
    ],
    [
      411898,
      1,
      0.0
    ],
    [
      411899,
      2,
      -2.942955
    ],
    [
      411900,
      2,
      0.880742
    ],
    [
      411901,
      3,
      21.333928
    ],
    [
      411902,
      2,
      -0.773495
    ],
    [
      411903,
      1,
      0.0
    ],
    [
      411904,
      1,
      0.0
    ],
    [
      411905,
      3,
      0.157157
    ],
    [
      411906,
      3,
      0.64128
    ],
    [
      411907,
      4,
      0.0
    ],
    [
      411908,
      2,
      -4.113132
    ],
    [
      411909,
      3,
      -0.126845
    ],
    [
      411910,
      2,
      1.882102
    ],
    [
      411911,
      1,
      0.0
    ],
    [
      411912,
      4,
      0.0
    ],
    [
      411913,
      4,
      0.0
    ],
    [
      411914,
      1,
      0.0
    ],
    [
      411915,
      2,
      -0.40222
    ],
    [
      411916,
      2,
      -1.605154
    ],
    [
      411917,
      3,
      -2.5932
    ],
    [
      411918,
      2,
      -0.17777
    ],
    [
      411919,
      2,
      0.679535
    ],
    [
      411920,
      4,
      0.0
    ],
    [
      411921,
      4,
      0.0
    ],
    [
      411922,
      2,
      0.165728
    ],
    [
      411923,
      2,
      -5.787193
    ],
    [
      411924,
      1,
      0.0
    ],
    [
      411925,
      3,
      -0.617866
    ],
    [
      411926,
      3,
      -2.920865
    ],
    [
      411927,
      4,
      0.0
    ],
    [
      411928,
      3,
      -0.508881
    ],
    [
      411929,
      2,
      -2.090337
    ],
    [
      411930,
      4,
      0.0
    ],
    [
      411931,
      3,
      -0.525324
    ],
    [
      411932,
      1,
      0.0
    ],
    [
      411933,
      1,
      0.0
    ],
    [
      411934,
      3,
      -0.438345
    ],
    [
      411935,
      4,
      0.0
    ],
    [
      411936,
      2,
      -0.911281
    ],
    [
      411937,
      3,
      -0.835866
    ],
    [
      411938,
      2,
      -0.438399
    ],
    [
      411939,
      4,
      0.0
    ],
    [
      411940,
      2,
      -0.230864
    ],
    [
      411941,
      4,
      0.0
    ],
    [
      411942,
      1,
      0.0
    ],
    [
      411943,
      2,
      -0.856979
    ],
    [
      411944,
      4,
      0.0
    ],
    [
      411945,
      1,
      0.0
    ],
    [
      411946,
      1,
      0.0
    ],
    [
      411947,
      3,
      -1.117165
    ],
    [
      411948,
      2,
      -0.228225
    ],
    [
      411949,
      2,
      -0.132971
    ],
    [
      411950,
      1,
      0.0
    ],
    [
      411951,
      3,
      10.681808
    ],
    [
      411952,
      4,
      0.0
    ],
    [
      411953,
      3,
      2.385608
    ],
    [
      411954,
      2,
      -0.118234
    ],
    [
      411955,
      1,
      0.0
    ],
    [
      411956,
      4,
      0.0
    ],
    [
      411957,
      3,
      -0.198091
    ],
    [
      411958,
      2,
      -0.643885
    ],
    [
      411959,
      2,
      0.81388
    ],
    [
      411960,
      1,
      0.0
    ],
    [
      411961,
      2,
      -0.122355
    ],
    [
      411962,
      3,
      -3.819481
    ],
    [
      411963,
      1,
      0.0
    ],
    [
      411964,
      3,
      -0.088053
    ],
    [
      411965,
      3,
      -10.037005
    ],
    [
      411966,
      4,
      0.0
    ],
    [
      411967,
      3,
      -0.672954
    ],
    [
      411968,
      2,
      -4.237042
    ],
    [
      411969,
      2,
      0.325641
    ],
    [
      411970,
      2,
      1.701001
    ],
    [
      411971,
      4,
      0.0
    ],
    [
      411972,
      1,
      0.0
    ],
    [
      411973,
      2,
      -0.580084
    ],
    [
      411974,
      3,
      2.738606
    ],
    [
      411975,
      1,
      0.0
    ],
    [
      411976,
      4,
      0.0
    ],
    [
      411977,
      2,
      -0.081911
    ],
    [
      411978,
      1,
      0.0
    ],
    [
      411979,
      3,
      -0.026358
    ],
    [
      411980,
      3,
      0.16314
    ],
    [
      411981,
      3,
      18.915094
    ],
    [
      411982,
      2,
      -0.173625
    ],
    [
      411983,
      4,
      0.0
    ],
    [
      411984,
      4,
      0.0
    ],
    [
      411985,
      1,
      0.0
    ],
    [
      411986,
      1,
      0.0
    ],
    [
      411987,
      2,
      -9.790377
    ],
    [
      411988,
      3,
      -0.80717
    ],
    [
      411989,
      3,
      -9.434422
    ],
    [
      411990,
      4,
      0.0
    ],
    [
      411991,
      2,
      -0.496808
    ],
    [
      411992,
      2,
      6.993649
    ],
    [
      411993,
      2,
      -15.35913
    ],
    [
      411994,
      3,
      0.083693
    ],
    [
      411995,
      1,
      0.0
    ],
    [
      411996,
      1,
      0.0
    ],
    [
      411997,
      3,
      -0.782141
    ],
    [
      411998,
      2,
      4.516839
    ],
    [
      411999,
      3,
      -3.406081
    ]
  ],
  "notes": "Frozen strategies; hashes verified before execution. Unmodified simulator commit b244530ee2a6247b5f930830eeca9dd950da0e7e; default ChallengeConfig and ParameterVariance; 2000 steps; serial unsandboxed, chunks of 50 seeds. Check values correspond to N on 310000..310003. Statistics use unrounded paired edges; timing excludes reference checks. No tuning or promotion."
}