{"key":"eng3-12003328","seeds":{"from":12003328,"to":12003583},"ib":{"n":256,"sum":46768.97431401889,"sumsq":9022140.065505197,"rows":[[12003328,175.729403],[12003329,192.094818],[12003330,127.520998],[12003331,242.58133],[12003332,338.955496],[12003333,229.298306],[12003334,119.772407],[12003335,195.567504],[12003336,173.349039],[12003337,174.87625],[12003338,193.192458],[12003339,180.035366],[12003340,135.30517],[12003341,238.481751],[12003342,164.802153],[12003343,168.247707],[12003344,225.297618],[12003345,188.959674],[12003346,195.795955],[12003347,186.106514],[12003348,200.164801],[12003349,242.858289],[12003350,150.047536],[12003351,212.815928],[12003352,137.766979],[12003353,120.267811],[12003354,137.786406],[12003355,172.376924],[12003356,233.859832],[12003357,150.39259],[12003358,198.251415],[12003359,134.852496],[12003360,147.659097],[12003361,199.231946],[12003362,256.237533],[12003363,200.299926],[12003364,134.690313],[12003365,191.016549],[12003366,118.5632],[12003367,217.255381],[12003368,190.820836],[12003369,186.947402],[12003370,169.224662],[12003371,112.679169],[12003372,159.123327],[12003373,149.144542],[12003374,134.296199],[12003375,185.13792],[12003376,172.252304],[12003377,197.765233],[12003378,216.565097],[12003379,210.669998],[12003380,209.797453],[12003381,216.308013],[12003382,190.446095],[12003383,198.055586],[12003384,119.962232],[12003385,175.375362],[12003386,173.708463],[12003387,192.33151],[12003388,148.104441],[12003389,177.644557],[12003390,235.08291],[12003391,185.869026],[12003392,148.962093],[12003393,175.930453],[12003394,149.732188],[12003395,136.879008],[12003396,269.875353],[12003397,245.314225],[12003398,129.860701],[12003399,219.923687],[12003400,165.962295],[12003401,198.866778],[12003402,157.789278],[12003403,180.591654],[12003404,163.403503],[12003405,189.804749],[12003406,171.600409],[12003407,288.18965],[12003408,163.096115],[12003409,216.629304],[12003410,159.169697],[12003411,190.49356],[12003412,170.234702],[12003413,187.386169],[12003414,177.89116],[12003415,241.694083],[12003416,172.526704],[12003417,121.827091],[12003418,179.494153],[12003419,205.139812],[12003420,192.635088],[12003421,165.91194],[12003422,214.893092],[12003423,143.981041],[12003424,149.057552],[12003425,167.910371],[12003426,194.879548],[12003427,104.495893],[12003428,146.538052],[12003429,182.470899],[12003430,138.877376],[12003431,191.501352],[12003432,255.296599],[12003433,190.885566],[12003434,174.46684],[12003435,138.303989],[12003436,184.075396],[12003437,169.760951],[12003438,152.398109],[12003439,246.49697],[12003440,140.74314],[12003441,191.837891],[12003442,245.659068],[12003443,201.272832],[12003444,243.864898],[12003445,202.494513],[12003446,150.649683],[12003447,221.315149],[12003448,131.07689],[12003449,204.884031],[12003450,155.01015],[12003451,211.533877],[12003452,116.140145],[12003453,197.50066],[12003454,207.066215],[12003455,169.418599],[12003456,193.706225],[12003457,248.518479],[12003458,131.861563],[12003459,167.842192],[12003460,281.021637],[12003461,183.059909],[12003462,147.680446],[12003463,262.607083],[12003464,146.704173],[12003465,166.246475],[12003466,180.151048],[12003467,170.314707],[12003468,223.715293],[12003469,206.149037],[12003470,165.810554],[12003471,216.614684],[12003472,132.825124],[12003473,184.99973],[12003474,185.952024],[12003475,287.42107],[12003476,175.419377],[12003477,201.393506],[12003478,170.116124],[12003479,217.331043],[12003480,128.729147],[12003481,162.687357],[12003482,190.199677],[12003483,202.616913],[12003484,180.003614],[12003485,167.877913],[12003486,160.1177],[12003487,127.480106],[12003488,177.274947],[12003489,220.778055],[12003490,219.177268],[12003491,148.622823],[12003492,217.102575],[12003493,202.538626],[12003494,181.540275],[12003495,169.545594],[12003496,201.02249],[12003497,183.683717],[12003498,183.42007],[12003499,124.826552],[12003500,126.617385],[12003501,174.655748],[12003502,135.045032],[12003503,185.446268],[12003504,142.023079],[12003505,177.044705],[12003506,196.572568],[12003507,176.93351],[12003508,185.310488],[12003509,204.840635],[12003510,150.539039],[12003511,216.679113],[12003512,121.135065],[12003513,120.34591],[12003514,197.761142],[12003515,226.066805],[12003516,119.2933],[12003517,232.816717],[12003518,208.917274],[12003519,244.492076],[12003520,181.150496],[12003521,166.077078],[12003522,121.867248],[12003523,117.775932],[12003524,199.529595],[12003525,203.12288],[12003526,153.615811],[12003527,202.658671],[12003528,210.819652],[12003529,217.408907],[12003530,179.399781],[12003531,229.897585],[12003532,164.624955],[12003533,222.251351],[12003534,149.619963],[12003535,158.702579],[12003536,198.719904],[12003537,157.505641],[12003538,389.848261],[12003539,276.360082],[12003540,319.756991],[12003541,215.170438],[12003542,105.729738],[12003543,168.904978],[12003544,149.687261],[12003545,133.906646],[12003546,124.894578],[12003547,172.650655],[12003548,285.612756],[12003549,123.006914],[12003550,108.81777],[12003551,146.068733],[12003552,155.334953],[12003553,190.057619],[12003554,204.30309],[12003555,118.746095],[12003556,96.601444],[12003557,254.689639],[12003558,144.252763],[12003559,229.333031],[12003560,242.735812],[12003561,222.001126],[12003562,144.293694],[12003563,136.45542],[12003564,138.815597],[12003565,188.466745],[12003566,148.594494],[12003567,216.792582],[12003568,135.570275],[12003569,151.619994],[12003570,191.889414],[12003571,174.352555],[12003572,196.645058],[12003573,162.999916],[12003574,128.507196],[12003575,243.529331],[12003576,126.591724],[12003577,244.143492],[12003578,144.111825],[12003579,218.92952],[12003580,113.464863],[12003581,247.083378],[12003582,218.706262],[12003583,161.698652]]},"q2":{"n":256,"sum":47308.06754209438,"sumsq":9281014.479962368,"rows":[[12003328,175.247147],[12003329,201.004376],[12003330,124.317698],[12003331,242.851635],[12003332,345.055227],[12003333,233.283818],[12003334,118.670564],[12003335,203.735592],[12003336,179.976443],[12003337,174.963115],[12003338,190.94624],[12003339,182.096311],[12003340,144.601881],[12003341,245.448107],[12003342,163.560634],[12003343,175.457244],[12003344,226.918112],[12003345,186.17968],[12003346,198.42801],[12003347,191.782557],[12003348,201.972455],[12003349,249.311732],[12003350,148.478474],[12003351,217.215738],[12003352,132.139401],[12003353,116.347948],[12003354,136.339681],[12003355,171.001667],[12003356,242.499036],[12003357,152.096023],[12003358,199.764226],[12003359,131.859889],[12003360,146.20182],[12003361,205.609681],[12003362,263.129689],[12003363,204.581749],[12003364,131.679585],[12003365,195.822136],[12003366,119.054863],[12003367,219.873236],[12003368,194.283207],[12003369,192.984742],[12003370,169.861318],[12003371,107.045536],[12003372,155.239828],[12003373,151.44752],[12003374,130.211218],[12003375,187.838718],[12003376,173.153901],[12003377,199.064526],[12003378,224.021548],[12003379,211.997199],[12003380,208.221566],[12003381,221.580858],[12003382,189.974265],[12003383,213.073581],[12003384,112.64778],[12003385,176.157907],[12003386,181.940791],[12003387,197.867262],[12003388,142.168745],[12003389,184.712231],[12003390,241.747873],[12003391,196.099232],[12003392,144.808434],[12003393,181.063006],[12003394,145.853453],[12003395,131.707129],[12003396,274.603982],[12003397,252.751477],[12003398,128.625102],[12003399,232.540929],[12003400,175.704979],[12003401,198.51156],[12003402,155.57354],[12003403,180.561459],[12003404,170.87599],[12003405,194.782155],[12003406,171.415248],[12003407,295.951169],[12003408,162.413051],[12003409,215.979443],[12003410,165.548999],[12003411,200.40118],[12003412,171.028343],[12003413,188.342645],[12003414,174.948219],[12003415,244.227057],[12003416,173.246102],[12003417,115.740528],[12003418,177.431211],[12003419,204.574563],[12003420,200.967733],[12003421,163.647552],[12003422,216.672528],[12003423,140.91627],[12003424,151.372624],[12003425,172.842177],[12003426,199.834374],[12003427,103.991049],[12003428,144.654343],[12003429,187.929305],[12003430,134.924477],[12003431,193.48573],[12003432,260.737494],[12003433,198.610734],[12003434,176.500365],[12003435,133.46623],[12003436,182.021871],[12003437,170.140053],[12003438,149.157572],[12003439,252.58067],[12003440,143.841199],[12003441,191.54908],[12003442,251.419126],[12003443,199.777198],[12003444,249.303192],[12003445,208.972381],[12003446,153.269493],[12003447,231.413341],[12003448,129.063723],[12003449,204.803654],[12003450,161.763362],[12003451,219.868179],[12003452,110.456003],[12003453,202.055634],[12003454,214.117954],[12003455,182.745892],[12003456,193.734798],[12003457,257.231744],[12003458,129.752919],[12003459,166.376884],[12003460,283.166897],[12003461,190.590364],[12003462,143.309033],[12003463,272.443565],[12003464,150.744241],[12003465,166.840567],[12003466,177.713161],[12003467,169.563458],[12003468,231.066087],[12003469,215.915048],[12003470,165.51527],[12003471,222.872843],[12003472,134.537089],[12003473,184.267835],[12003474,191.634199],[12003475,301.400691],[12003476,175.931731],[12003477,202.627447],[12003478,166.651744],[12003479,224.283068],[12003480,126.544154],[12003481,158.168823],[12003482,189.986159],[12003483,202.542851],[12003484,190.70487],[12003485,171.241408],[12003486,162.515632],[12003487,121.688747],[12003488,179.302341],[12003489,221.252469],[12003490,224.288478],[12003491,145.777485],[12003492,218.887948],[12003493,205.6899],[12003494,179.440937],[12003495,168.184693],[12003496,204.248245],[12003497,188.211934],[12003498,185.253032],[12003499,122.180363],[12003500,122.977552],[12003501,178.289792],[12003502,130.50594],[12003503,191.069032],[12003504,140.638067],[12003505,177.507277],[12003506,203.441412],[12003507,174.496537],[12003508,181.633368],[12003509,210.805376],[12003510,150.863337],[12003511,222.670904],[12003512,118.545543],[12003513,119.1294],[12003514,204.713196],[12003515,233.709026],[12003516,112.322478],[12003517,239.033222],[12003518,213.808903],[12003519,255.747219],[12003520,182.402992],[12003521,174.001809],[12003522,121.51444],[12003523,112.782266],[12003524,204.695752],[12003525,207.640618],[12003526,151.23009],[12003527,213.098195],[12003528,218.656415],[12003529,217.364457],[12003530,175.348817],[12003531,230.350422],[12003532,171.415166],[12003533,227.394679],[12003534,150.274686],[12003535,164.213291],[12003536,197.279186],[12003537,153.63466],[12003538,390.310501],[12003539,283.456077],[12003540,320.056979],[12003541,217.497749],[12003542,101.970967],[12003543,174.057052],[12003544,151.029436],[12003545,127.553853],[12003546,122.832966],[12003547,171.319976],[12003548,295.153503],[12003549,121.129411],[12003550,107.820565],[12003551,143.640984],[12003552,158.544902],[12003553,193.900672],[12003554,209.481944],[12003555,121.868796],[12003556,94.647783],[12003557,262.776155],[12003558,142.545878],[12003559,228.837168],[12003560,246.698757],[12003561,229.088988],[12003562,147.428591],[12003563,132.757199],[12003564,134.103981],[12003565,189.848369],[12003566,145.57192],[12003567,223.486259],[12003568,138.066074],[12003569,151.168531],[12003570,193.68962],[12003571,172.475599],[12003572,197.855352],[12003573,169.546265],[12003574,128.627499],[12003575,252.846386],[12003576,122.838298],[12003577,246.552998],[12003578,150.8998],[12003579,226.612482],[12003580,109.495871],[12003581,251.276392],[12003582,224.841165],[12003583,171.442866]]},"pb":{"n":256,"sum":47809.86553808391,"sumsq":9468449.228886647,"rows":[[12003328,177.571116],[12003329,202.221571],[12003330,125.405539],[12003331,244.104583],[12003332,347.04103],[12003333,236.332925],[12003334,120.973689],[12003335,205.89828],[12003336,181.489846],[12003337,176.982697],[12003338,193.051466],[12003339,184.663813],[12003340,145.478891],[12003341,246.552057],[12003342,164.911715],[12003343,177.631929],[12003344,228.375374],[12003345,187.838819],[12003346,200.38422],[12003347,192.798208],[12003348,202.222083],[12003349,251.529996],[12003350,150.530022],[12003351,220.26588],[12003352,134.670943],[12003353,117.149153],[12003354,137.991273],[12003355,172.948708],[12003356,244.146295],[12003357,153.384967],[12003358,201.971808],[12003359,134.047718],[12003360,148.369205],[12003361,208.960427],[12003362,264.587515],[12003363,206.296676],[12003364,134.526137],[12003365,198.243469],[12003366,121.102174],[12003367,221.248939],[12003368,197.489532],[12003369,195.782163],[12003370,171.654706],[12003371,108.037386],[12003372,155.744743],[12003373,153.906792],[12003374,132.475101],[12003375,190.99742],[12003376,175.788291],[12003377,201.593588],[12003378,225.517393],[12003379,213.991809],[12003380,210.181],[12003381,223.30357],[12003382,192.86617],[12003383,215.743597],[12003384,114.879536],[12003385,178.470351],[12003386,185.09816],[12003387,198.92651],[12003388,144.287279],[12003389,186.822954],[12003390,246.011813],[12003391,197.800828],[12003392,147.1875],[12003393,183.085643],[12003394,148.009497],[12003395,133.830891],[12003396,277.668521],[12003397,255.217797],[12003398,130.80247],[12003399,234.153264],[12003400,178.226353],[12003401,200.051699],[12003402,156.357563],[12003403,181.673563],[12003404,172.695097],[12003405,196.96489],[12003406,173.610287],[12003407,297.461416],[12003408,164.706434],[12003409,217.861455],[12003410,168.181321],[12003411,201.901471],[12003412,172.353179],[12003413,190.805839],[12003414,177.163322],[12003415,245.037158],[12003416,175.13049],[12003417,118.053817],[12003418,179.027481],[12003419,206.921907],[12003420,202.700341],[12003421,166.026989],[12003422,217.908751],[12003423,143.443506],[12003424,153.412746],[12003425,174.955237],[12003426,202.255788],[12003427,105.645549],[12003428,147.471278],[12003429,190.40963],[12003430,137.816268],[12003431,193.97972],[12003432,263.014164],[12003433,201.901018],[12003434,176.996533],[12003435,134.751523],[12003436,184.107196],[12003437,174.060635],[12003438,149.945684],[12003439,254.314314],[12003440,145.268942],[12003441,193.358209],[12003442,252.698538],[12003443,201.983293],[12003444,250.353277],[12003445,211.612164],[12003446,155.499179],[12003447,233.187632],[12003448,130.185866],[12003449,207.922074],[12003450,163.937418],[12003451,220.411528],[12003452,111.317549],[12003453,205.532275],[12003454,216.731874],[12003455,185.11689],[12003456,196.453788],[12003457,259.741378],[12003458,131.757238],[12003459,168.067574],[12003460,285.337669],[12003461,192.557504],[12003462,145.200432],[12003463,273.264449],[12003464,154.446555],[12003465,168.934071],[12003466,179.554621],[12003467,171.759607],[12003468,233.751406],[12003469,220.017417],[12003470,167.029176],[12003471,224.716573],[12003472,136.495904],[12003473,185.205925],[12003474,194.428125],[12003475,302.19272],[12003476,177.102935],[12003477,204.789501],[12003478,169.300925],[12003479,226.140598],[12003480,128.500176],[12003481,160.062948],[12003482,190.672296],[12003483,203.275677],[12003484,193.234655],[12003485,173.774381],[12003486,163.671634],[12003487,123.713267],[12003488,180.531509],[12003489,223.381497],[12003490,225.364926],[12003491,149.403096],[12003492,220.740097],[12003493,208.279272],[12003494,181.90476],[12003495,170.48722],[12003496,206.361578],[12003497,189.979222],[12003498,186.285755],[12003499,123.316819],[12003500,125.739395],[12003501,180.463292],[12003502,131.298511],[12003503,194.077485],[12003504,142.758251],[12003505,180.854479],[12003506,206.255577],[12003507,176.230705],[12003508,183.577749],[12003509,212.757965],[12003510,153.176605],[12003511,226.006232],[12003512,119.785721],[12003513,121.246132],[12003514,205.89612],[12003515,236.206647],[12003516,114.040929],[12003517,241.213594],[12003518,215.609224],[12003519,257.393279],[12003520,183.588496],[12003521,176.557903],[12003522,123.543773],[12003523,115.176349],[12003524,206.047853],[12003525,209.643877],[12003526,154.232547],[12003527,215.62699],[12003528,219.811439],[12003529,218.588997],[12003530,177.309737],[12003531,232.474075],[12003532,174.115287],[12003533,231.178901],[12003534,150.997274],[12003535,166.803502],[12003536,198.522344],[12003537,154.597604],[12003538,392.514318],[12003539,285.308579],[12003540,324.340852],[12003541,219.675794],[12003542,103.419995],[12003543,175.933543],[12003544,152.607625],[12003545,129.171884],[12003546,125.05996],[12003547,173.132],[12003548,297.101375],[12003549,123.415956],[12003550,109.136388],[12003551,143.55197],[12003552,160.519427],[12003553,195.182713],[12003554,210.563457],[12003555,123.601352],[12003556,96.850116],[12003557,261.960486],[12003558,144.839965],[12003559,230.548075],[12003560,247.361466],[12003561,230.519126],[12003562,149.949664],[12003563,134.533781],[12003564,135.711742],[12003565,191.048191],[12003566,146.317989],[12003567,224.782204],[12003568,139.768107],[12003569,152.563678],[12003570,196.327475],[12003571,174.380066],[12003572,199.726243],[12003573,170.449663],[12003574,130.298502],[12003575,254.430623],[12003576,125.201221],[12003577,248.149436],[12003578,153.671384],[12003579,229.344946],[12003580,110.763797],[12003581,254.029265],[12003582,227.941778],[12003583,173.921895]]},"pb_minus_ib":{"n":256,"mean_diff":4.065981344004015,"se":0.29478269190728695,"sum":1040.891224065028,"sumsq":9904.869716238298,"worst5":[[12003516,-5.252371],[12003384,-5.082696],[12003452,-4.822596],[12003545,-4.734761],[12003371,-4.641783]]},"q2_minus_ib":{"n":256,"mean_diff":2.1058329221699084,"se":0.2865267021156836,"sum":539.0932280754965,"sumsq":6494.568398731141,"worst5":[[12003384,-7.314452],[12003516,-6.970822],[12003545,-6.352793],[12003417,-6.086563],[12003388,-5.935696]]},"pb_minus_q2":{"n":256,"mean_diff":1.960148421834107,"se":0.04747793346546269,"sum":501.7979959895314,"sumsq":1130.7497338847284,"worst5":[[12003557,-0.815669],[12003551,-0.089014],[12003348,0.249628],[12003431,0.49399],[12003434,0.496168]]},"gas":{"ib":{"peak_afterswap":236908,"mean_afterswap":135143.4459004888,"oog":0,"reverts":0},"q2":{"peak_afterswap":200557,"mean_afterswap":92646.47639068011,"oog":0,"reverts":0},"pb":{"peak_afterswap":203053,"mean_afterswap":99887.33481639317,"oog":0,"reverts":0}},"validate":{"ib":true,"q2":true,"pb":true},"valid":true,"engine":"ok","notes":"Pinned engine commit; four 64-seed blocks per contract, seeds 12003328..12003583. Config variance follows MatchRunner._build_configs with absolute simulation seeds. SolidityCompiler and amm-match validate passed for all three."}