{"item":"eng-12012928","batch":"a10-confirm-t1-c","status":"complete","blocked":null,"allocation":{"first":12012928,"last":12013183,"count":256,"exclusive":true,"missing":{"ib":[],"m09":[],"t1":[]},"reruns":0,"commands_per_arm":4,"seeds_per_command":64},"arms":{"ib":{"n":256,"sum":138218.81472354793,"sumsq":76709431.649199,"rows":[[12012928,564.7416796873655],[12012929,597.6174726646183],[12012930,607.5231045200125],[12012931,535.5012562266595],[12012932,509.6153532451283],[12012933,450.2446644562814],[12012934,612.1390633930564],[12012935,688.1532967838424],[12012936,650.5033714039408],[12012937,526.8360258715988],[12012938,471.26060740659705],[12012939,505.86209279642156],[12012940,488.70346877552953],[12012941,469.3878636781561],[12012942,532.335650276771],[12012943,391.3958158027805],[12012944,461.9399656550459],[12012945,428.50778305570674],[12012946,616.4116774510782],[12012947,580.6836109970112],[12012948,529.2935812789384],[12012949,412.10631506504865],[12012950,513.4975293618511],[12012951,686.0610838964864],[12012952,365.159999129742],[12012953,542.9136261176614],[12012954,490.7091581348361],[12012955,420.09638657790754],[12012956,637.8254378450534],[12012957,454.0546201036916],[12012958,332.15524535289427],[12012959,520.8733231116887],[12012960,584.6500221742758],[12012961,484.50227482607085],[12012962,637.7185625509622],[12012963,663.5159936475136],[12012964,600.062644077931],[12012965,546.6330636020637],[12012966,520.0172434646433],[12012967,634.4206498723601],[12012968,595.7797087538396],[12012969,564.6784440408893],[12012970,625.1602482512437],[12012971,613.4099571804923],[12012972,512.5192043665442],[12012973,601.6523852953936],[12012974,540.498631421436],[12012975,619.4802029914028],[12012976,467.77297519918176],[12012977,602.4432808626588],[12012978,554.8352739600883],[12012979,431.89513013894924],[12012980,557.254783366462],[12012981,650.3941422456027],[12012982,641.7749701733062],[12012983,628.820262905659],[12012984,677.0293007534393],[12012985,513.4896613943868],[12012986,371.51193900839735],[12012987,556.878569360924],[12012988,505.84814044001695],[12012989,583.9675003354154],[12012990,413.79684698171866],[12012991,420.1444279255839],[12012992,562.0982863954206],[12012993,560.2804344067837],[12012994,424.61641176646225],[12012995,453.7037940549049],[12012996,574.1876954262165],[12012997,449.52877496218053],[12012998,474.07187830559116],[12012999,400.40460861261585],[12013000,413.92508192541254],[12013001,443.57529730480917],[12013002,620.9684474250959],[12013003,634.4768498573378],[12013004,628.7072310688178],[12013005,573.9848606357587],[12013006,333.43401563582705],[12013007,462.2718653126659],[12013008,612.5302777792658],[12013009,398.34172487497716],[12013010,616.1128797903289],[12013011,475.67832651611275],[12013012,507.24711887617076],[12013013,571.1764651863928],[12013014,650.4369695156794],[12013015,416.0256271048418],[12013016,557.0534311086884],[12013017,654.9590088116472],[12013018,452.25808910321524],[12013019,702.5903242057518],[12013020,619.2724124669556],[12013021,622.831553823512],[12013022,548.9090820596093],[12013023,422.59220483549166],[12013024,403.5701394503829],[12013025,513.3814410345354],[12013026,546.0773419280567],[12013027,435.9959070955209],[12013028,448.9112959600405],[12013029,489.2995809787961],[12013030,416.1259558857974],[12013031,421.90136336156627],[12013032,579.476489667742],[12013033,597.1340499814326],[12013034,634.34497037906],[12013035,490.1718683352579],[12013036,659.5575673800669],[12013037,519.6060773448945],[12013038,384.4080378892671],[12013039,446.31215996191224],[12013040,520.853328880946],[12013041,571.4429835393765],[12013042,517.4284928103102],[12013043,663.1503767031975],[12013044,463.91592328916295],[12013045,705.2389294360958],[12013046,586.6972340171627],[12013047,500.5615924452405],[12013048,543.7536461367143],[12013049,510.10780968873286],[12013050,658.2276345624621],[12013051,512.6864252737719],[12013052,561.2366809669409],[12013053,565.3270414138475],[12013054,559.5298314341857],[12013055,479.94193092222787],[12013056,685.1163380557626],[12013057,597.7612726540799],[12013058,400.77964151676724],[12013059,464.5588961147037],[12013060,669.3420784650835],[12013061,681.6055169877515],[12013062,462.11452197524073],[12013063,414.7908234434038],[12013064,674.4332684390907],[12013065,536.5993868519798],[12013066,443.6031002649018],[12013067,518.7488072344527],[12013068,596.1316269633944],[12013069,441.96228540043165],[12013070,442.74416960515856],[12013071,743.1906123538271],[12013072,382.77851422377296],[12013073,543.9609289034717],[12013074,548.3891454481732],[12013075,598.2447040669776],[12013076,647.6305009368066],[12013077,630.3766948284085],[12013078,505.7432219449582],[12013079,550.8981554224152],[12013080,582.5937438151954],[12013081,724.5190591078143],[12013082,399.9133934500027],[12013083,590.0620150142793],[12013084,605.6154077467536],[12013085,532.4913452806003],[12013086,533.1202257427512],[12013087,589.613834568238],[12013088,559.3700914623713],[12013089,445.02706449928985],[12013090,589.5599359872542],[12013091,636.7704274706018],[12013092,418.70027495923455],[12013093,474.5339728755988],[12013094,464.66490351122786],[12013095,709.5455526662051],[12013096,398.06407774043134],[12013097,563.7460269246487],[12013098,440.38207964528164],[12013099,532.9421947311237],[12013100,545.2704469250095],[12013101,632.9286149133897],[12013102,425.5470918684704],[12013103,600.8349930451003],[12013104,427.59456572365286],[12013105,391.8649669418339],[12013106,632.9829274540053],[12013107,539.3323493821011],[12013108,681.0238987390255],[12013109,356.12003275873576],[12013110,570.5083131846727],[12013111,546.3140485525072],[12013112,424.38679430176336],[12013113,677.9704836827358],[12013114,414.5254046871443],[12013115,608.0777156684093],[12013116,436.4658348374452],[12013117,671.351065748238],[12013118,518.0680282561876],[12013119,435.0833878810394],[12013120,551.9063098980663],[12013121,657.705808985428],[12013122,454.42876794655035],[12013123,612.259434517033],[12013124,609.0800916828083],[12013125,557.539815780467],[12013126,561.7808794977404],[12013127,616.01524648768],[12013128,598.2711398787509],[12013129,437.3870696432999],[12013130,573.4610467973695],[12013131,516.9876513114929],[12013132,565.9647352274692],[12013133,501.0831524733314],[12013134,426.8401166190465],[12013135,564.17395415413],[12013136,547.9533036985113],[12013137,492.494616128499],[12013138,628.9602096451222],[12013139,496.48977677855464],[12013140,637.1163869246006],[12013141,662.9237345562816],[12013142,413.71447213074714],[12013143,401.72936353172105],[12013144,594.1120220047787],[12013145,539.7594271053749],[12013146,566.5198820084489],[12013147,430.6439980959438],[12013148,555.268632729231],[12013149,593.2978631191743],[12013150,514.6017475388765],[12013151,507.09808914392113],[12013152,786.7724058437537],[12013153,569.7347889851947],[12013154,707.0969205449571],[12013155,407.2523065799783],[12013156,515.2410025901202],[12013157,767.9642490360776],[12013158,609.4830765340306],[12013159,497.6253925342295],[12013160,554.881521384923],[12013161,552.3248070869728],[12013162,446.3326554726893],[12013163,474.0126766709952],[12013164,714.5424196016305],[12013165,607.8933955694039],[12013166,619.2707375916499],[12013167,460.6619000754588],[12013168,581.3615326486271],[12013169,496.47533641782684],[12013170,613.0577546646367],[12013171,557.01737587317],[12013172,463.47040862882227],[12013173,543.7974373687033],[12013174,438.12345356554823],[12013175,566.554982699064],[12013176,594.0590011047194],[12013177,481.3882473249495],[12013178,716.9497147817267],[12013179,604.9186043220448],[12013180,406.38130958165624],[12013181,545.0816892685606],[12013182,590.5927676242069],[12013183,570.6435926782757]]},"m09":{"n":256,"sum":139261.1248417395,"sumsq":77879328.24047916,"rows":[[12012928,568.8734490973723],[12012929,603.2547308747635],[12012930,613.6712910402947],[12012931,539.5778606945019],[12012932,514.9615525486934],[12012933,452.83948736952743],[12012934,617.6545952431205],[12012935,691.630445858548],[12012936,653.5476152025991],[12012937,531.2365522904923],[12012938,473.3786070327671],[12012939,510.03587707973526],[12012940,490.9313527997477],[12012941,471.5015938770572],[12012942,538.5598709119298],[12012943,393.3059292011501],[12012944,466.5917942031793],[12012945,431.5962685382597],[12012946,620.8810204704972],[12012947,586.0873137212812],[12012948,532.4838691795119],[12012949,414.185839424207],[12012950,517.1178938738424],[12012951,691.1758182263003],[12012952,367.5568926766039],[12012953,545.9590894761546],[12012954,493.948117179388],[12012955,423.18722837746236],[12012956,643.9566857884192],[12012957,457.46751631083987],[12012958,334.4906693415927],[12012959,523.9540435061107],[12012960,590.4298113469974],[12012961,488.5705070317199],[12012962,642.5779939537122],[12012963,667.5517978250671],[12012964,606.5960188541895],[12012965,550.5486106966029],[12012966,524.4905904877326],[12012967,637.5641007355483],[12012968,598.524051876025],[12012969,568.843590328708],[12012970,631.5627532613576],[12012971,618.5954371153165],[12012972,516.5031904960505],[12012973,607.341267948011],[12012974,545.3406486448224],[12012975,622.9457669242137],[12012976,470.63137253844667],[12012977,606.8703255045896],[12012978,558.2191846829736],[12012979,436.69489669414713],[12012980,563.3796548144659],[12012981,653.3890299442854],[12012982,646.4707617835566],[12012983,630.5513710094166],[12012984,680.7881067338806],[12012985,516.2947131739611],[12012986,374.444797995202],[12012987,561.7219038633203],[12012988,509.4642186188717],[12012989,585.4921965563047],[12012990,416.5588102319322],[12012991,424.62578813020457],[12012992,567.7844882114316],[12012993,564.9360717228553],[12012994,428.4228879998619],[12012995,457.55546504430197],[12012996,578.7328992281582],[12012997,454.2204721524535],[12012998,477.09186199287484],[12012999,401.92832209631325],[12013000,418.9744701623105],[12013001,444.46053620325074],[12013002,623.7346146710522],[12013003,644.4438112681345],[12013004,634.1726232049915],[12013005,578.7738489865629],[12013006,335.8433801664992],[12013007,466.0044758564416],[12013008,617.1638725684737],[12013009,398.5249017756467],[12013010,622.5373748024881],[12013011,478.66893905240005],[12013012,511.3128750591092],[12013013,575.0483210464376],[12013014,654.1541126401222],[12013015,418.5436491296656],[12013016,562.7160863001777],[12013017,661.1104955752998],[12013018,454.6282506806844],[12013019,707.7190006393702],[12013020,622.90178067962],[12013021,627.7774503053586],[12013022,554.4266033106217],[12013023,425.5039581683048],[12013024,407.32119551174486],[12013025,516.2790034957678],[12013026,548.6785187335103],[12013027,439.6843224574726],[12013028,452.4783372244089],[12013029,491.84230115094806],[12013030,419.81755550686637],[12013031,423.068514350713],[12013032,580.9107622288872],[12013033,604.1293793793692],[12013034,639.8145344388748],[12013035,496.5794232721941],[12013036,666.1013870985282],[12013037,523.0335161994623],[12013038,386.9878751104286],[12013039,448.5333999090092],[12013040,523.1679070024302],[12013041,573.5699778679339],[12013042,520.5751920342101],[12013043,667.8959339845345],[12013044,466.7647940787511],[12013045,710.7343764114559],[12013046,591.2029792239471],[12013047,504.88463596809225],[12013048,549.4379433561123],[12013049,513.8784768423908],[12013050,662.3797449499515],[12013051,515.7109758249867],[12013052,566.8523938312884],[12013053,569.2062340005689],[12013054,563.8552117217002],[12013055,482.8772804239059],[12013056,691.4164671589136],[12013057,602.3294523908543],[12013058,402.20721544071273],[12013059,467.77692079092776],[12013060,672.5531099521517],[12013061,687.8935691827462],[12013062,465.5921411163132],[12013063,417.98133276211166],[12013064,679.2766827257591],[12013065,540.1395112528634],[12013066,446.5109251824579],[12013067,523.5649582630892],[12013068,600.1676327944605],[12013069,445.81154555611636],[12013070,445.8717597502542],[12013071,751.0929081973175],[12013072,385.90612597222497],[12013073,547.8237390425837],[12013074,551.148073779561],[12013075,601.1080369421674],[12013076,654.9670082383847],[12013077,633.1440553292509],[12013078,510.2913163561448],[12013079,556.8467054207849],[12013080,585.5283579307348],[12013081,729.3658965825198],[12013082,402.97588209129316],[12013083,595.5105174286887],[12013084,608.144386989702],[12013085,536.2240076983957],[12013086,537.8376943351892],[12013087,593.930203081549],[12013088,563.2786411587853],[12013089,449.72960354025986],[12013090,593.6683443014833],[12013091,641.5735447133685],[12013092,422.99978258842987],[12013093,478.0887316139074],[12013094,468.46275588607244],[12013095,714.9026549130493],[12013096,401.4852460575622],[12013097,569.3641244570455],[12013098,442.9678317735445],[12013099,537.3004918545312],[12013100,548.5586707248691],[12013101,637.1079919712059],[12013102,428.23914728223156],[12013103,607.3944737864815],[12013104,428.94126894044035],[12013105,395.5050227355506],[12013106,639.05907205693],[12013107,542.1100815108601],[12013108,687.8377860432915],[12013109,358.67705908526733],[12013110,573.9134304641168],[12013111,550.5809789102959],[12013112,428.92731446897477],[12013113,682.0920850373063],[12013114,416.2340844495544],[12013115,613.171869398233],[12013116,438.574886093273],[12013117,677.6211655586345],[12013118,520.6792761846076],[12013119,439.1190963686174],[12013120,555.0784738941294],[12013121,663.4355734206132],[12013122,458.2672245410047],[12013123,616.7432281134146],[12013124,613.6319075423004],[12013125,561.0211363466531],[12013126,564.682983683304],[12013127,619.3414852022181],[12013128,604.5317908909948],[12013129,441.0357161664324],[12013130,578.5597838423482],[12013131,519.5889875964648],[12013132,571.1014640493121],[12013133,504.4969173833975],[12013134,428.99342476547577],[12013135,567.1848482197718],[12013136,552.3219415427029],[12013137,496.6691069889289],[12013138,636.3877615632687],[12013139,499.12145295256653],[12013140,643.7824963181996],[12013141,671.4698688508208],[12013142,417.67823560875377],[12013143,404.34650439755507],[12013144,601.0197181323506],[12013145,543.5097675914367],[12013146,570.4447836497748],[12013147,432.74782154456847],[12013148,560.8232121260215],[12013149,596.2887101552266],[12013150,517.5427689073733],[12013151,509.7067296223869],[12013152,791.0809050374763],[12013153,574.540389381023],[12013154,710.0632656394972],[12013155,411.24959116289875],[12013156,519.4772513638463],[12013157,777.0014695934165],[12013158,614.6908542611857],[12013159,503.07564516633624],[12013160,560.1443091752687],[12013161,554.9037364054176],[12013162,448.3937667699726],[12013163,478.02128354197737],[12013164,718.716487028842],[12013165,613.7975341916077],[12013166,627.2917506228151],[12013167,464.88942248536114],[12013168,584.5439874732804],[12013169,501.50994291103774],[12013170,618.1136013464445],[12013171,560.9706035836231],[12013172,465.89810873564824],[12013173,545.6580387344715],[12013174,440.11587976683177],[12013175,570.6324571852158],[12013176,601.5614022425267],[12013177,483.93283389672695],[12013178,724.8990868162886],[12013179,612.4841644217778],[12013180,409.4456547877115],[12013181,548.4163670079163],[12013182,594.3240744602031],[12013183,573.3643717587917]]},"t1":{"n":256,"sum":139877.93429968788,"sumsq":78566696.48589447,"rows":[[12012928,572.6677315648324],[12012929,605.4995545961069],[12012930,615.275565047445],[12012931,541.9692208093974],[12012932,517.5289725176136],[12012933,456.2111665328392],[12012934,619.8322754666335],[12012935,694.5298103011011],[12012936,657.5410725629191],[12012937,533.1371954685758],[12012938,476.6161370333259],[12012939,511.28891963710055],[12012940,493.36366247457767],[12012941,474.53754136428506],[12012942,541.3914179247471],[12012943,395.4226048905657],[12012944,468.4804374764694],[12012945,434.08458314169656],[12012946,624.8294551904153],[12012947,589.8000199892107],[12012948,535.2171454080409],[12012949,416.8656534668028],[12012950,520.1015626481022],[12012951,695.203825482162],[12012952,369.2802554993432],[12012953,547.2488346444136],[12012954,496.4480155975734],[12012955,425.89777133527576],[12012956,646.000812933644],[12012957,459.789529589603],[12012958,336.2064343747615],[12012959,525.4435439928704],[12012960,593.9002805057211],[12012961,491.1513807636373],[12012962,644.0651859519603],[12012963,669.5539250308318],[12012964,609.6006124195665],[12012965,551.9437667788062],[12012966,525.8914808148915],[12012967,639.8050971686413],[12012968,601.3942462859522],[12012969,571.5509037900968],[12012970,633.4628920670627],[12012971,620.0337824065582],[12012972,519.8545265812951],[12012973,611.0746434726238],[12012974,549.0921989267077],[12012975,625.6417539118875],[12012976,474.35653978902315],[12012977,610.543846529051],[12012978,560.70010215314],[12012979,438.76755413674584],[12012980,564.7291728098241],[12012981,657.0140521958353],[12012982,648.6349668091935],[12012983,634.3096024920437],[12012984,682.9272918701178],[12012985,519.6386085084416],[12012986,377.0285797536564],[12012987,564.2804962346477],[12012988,512.930326675338],[12012989,587.3872098143956],[12012990,419.06730350252224],[12012991,426.9515761024765],[12012992,569.6304051376299],[12012993,567.894911178901],[12012994,429.71900522492416],[12012995,460.4533992715495],[12012996,583.0545020275159],[12012997,455.6349212488595],[12012998,478.57963138785817],[12012999,403.52517224237516],[12013000,420.25409701878095],[12013001,446.70234139212477],[12013002,625.4087096193578],[12013003,646.0640114988367],[12013004,637.0846502011782],[12013005,581.5057664791261],[12013006,337.18723777144174],[12013007,467.45159928993576],[12013008,619.0948846935922],[12013009,401.23536624684124],[12013010,625.0651968577386],[12013011,480.39121147399374],[12013012,514.082629659445],[12013013,577.4577271422721],[12013014,656.1581455727453],[12013015,420.5979065569589],[12013016,564.5807733801305],[12013017,664.6063436179026],[12013018,457.0547113593145],[12013019,711.5691076301106],[12013020,624.9699330273144],[12013021,630.400448249831],[12013022,557.145239111124],[12013023,426.7294156591337],[12013024,409.246562340815],[12013025,518.4886724917237],[12013026,550.3362853476731],[12013027,441.5638233259672],[12013028,453.9790981284852],[12013029,495.97207346838525],[12013030,421.00965197766],[12013031,425.0595891707983],[12013032,583.5078978179394],[12013033,605.96618097378],[12013034,643.0236348903667],[12013035,498.94514121268264],[12013036,669.436220604755],[12013037,524.9596446985074],[12013038,389.4378434327927],[12013039,450.70923732296535],[12013040,526.5859453604224],[12013041,575.914885073117],[12013042,523.799748271371],[12013043,670.9964830701384],[12013044,468.6243417022402],[12013045,712.475553274058],[12013046,594.0993117019199],[12013047,505.9064854545712],[12013048,550.2092100677033],[12013049,516.3083468058096],[12013050,664.8701391869276],[12013051,517.089683115562],[12013052,569.0603860909259],[12013053,572.2210233118889],[12013054,566.8438764820993],[12013055,485.874415412215],[12013056,693.7293986891381],[12013057,602.9938037937136],[12013058,403.887344797864],[12013059,470.2416250725353],[12013060,674.7848005138901],[12013061,690.2767977535348],[12013062,466.0279133603629],[12013063,420.1200256032694],[12013064,682.4825891734479],[12013065,542.8121352443518],[12013066,448.5668917198725],[12013067,524.512564249778],[12013068,601.6068297549702],[12013069,449.2887716134356],[12013070,447.026193845893],[12013071,753.468289077861],[12013072,387.1602207915854],[12013073,549.8992052879748],[12013074,553.2214129812842],[12013075,604.6954820340695],[12013076,658.56325500139],[12013077,636.2594578198521],[12013078,511.97351618281215],[12013079,558.7693317228908],[12013080,587.823203507656],[12013081,734.1284195351486],[12013082,405.3489971711639],[12013083,598.8948453751218],[12013084,610.4000411581621],[12013085,537.6625633284872],[12013086,541.1188741160885],[12013087,596.0585603083721],[12013088,565.6667913076143],[12013089,452.103185147075],[12013090,597.0225447033431],[12013091,642.2381845285158],[12013092,423.5035749213622],[12013093,480.83757063279455],[12013094,470.349550051766],[12013095,718.2552576346134],[12013096,402.44077166636686],[12013097,572.0863304174956],[12013098,444.6550101005421],[12013099,540.5080348071676],[12013100,550.3435779879094],[12013101,639.3024066470771],[12013102,430.7993965066416],[12013103,609.9663144405945],[12013104,431.33186687711594],[12013105,397.52137757732226],[12013106,641.8803845288805],[12013107,544.6964634233012],[12013108,689.6891041293031],[12013109,360.24063498175315],[12013110,575.8030593880108],[12013111,552.803319187606],[12013112,430.2194573811412],[12013113,685.8429733046158],[12013114,418.35528395222093],[12013115,615.524037220795],[12013116,441.0254811863536],[12013117,680.2873944918184],[12013118,523.3376409850184],[12013119,439.8152417479681],[12013120,556.6468043250946],[12013121,666.324070391301],[12013122,461.0937184986954],[12013123,618.606037913296],[12013124,618.2898291469703],[12013125,564.175151622925],[12013126,567.5402603785678],[12013127,621.3084864889827],[12013128,606.5597215485926],[12013129,444.5718707898891],[12013130,582.5387101681821],[12013131,521.6249745275607],[12013132,574.3113098553108],[12013133,506.8303846331157],[12013134,431.2004706035044],[12013135,570.8893758538723],[12013136,554.6401728081094],[12013137,497.69698924623077],[12013138,639.8679276275507],[12013139,500.1133745267808],[12013140,647.0813432315688],[12013141,674.7862583742552],[12013142,420.06198496390243],[12013143,406.33131312025506],[12013144,602.9065346269608],[12013145,545.3459830698162],[12013146,572.5366067887886],[12013147,435.5971088328759],[12013148,564.30985274896],[12013149,598.9387209844549],[12013150,518.8124307236375],[12013151,513.2481607817974],[12013152,793.3643396578383],[12013153,576.0695215685531],[12013154,712.7975136005633],[12013155,412.84178257447206],[12013156,521.210987192707],[12013157,781.8526134271632],[12013158,618.633357653375],[12013159,505.2818684691964],[12013160,561.3781016152285],[12013161,558.3370157176449],[12013162,450.06783632431484],[12013163,480.34502870290805],[12013164,722.4046521894819],[12013165,616.9150820964894],[12013166,630.1863686760993],[12013167,467.56293107692505],[12013168,585.8881077732834],[12013169,502.4775756479297],[12013170,621.4555465489286],[12013171,563.5808589658533],[12013172,467.16623689786877],[12013173,546.8203347076333],[12013174,442.23569942031486],[12013175,573.2671416648283],[12013176,603.6746599106062],[12013177,487.2055612173567],[12013178,729.6810651595669],[12013179,615.8002600811368],[12013180,411.6825200751873],[12013181,549.9397574088055],[12013182,596.6007621744423],[12013183,575.3622618090558]]}},"paired":{"t1_minus_ib":{"n":256,"sum":1659.11957613996,"sumsq":11652.815385806842,"mean_diff":6.480935844296718,"se":0.11742800352319278,"worst5":[[12013009,2.893641371864078],[12013173,3.0228973389299654],[12013058,3.1077032810967467],[12012999,3.1205636297593173],[12013001,3.1270440873155962]]},"t1_minus_m09":{"n":256,"sum":616.8094579483815,"sumsq":1670.6455976517288,"mean_diff":2.409411945110865,"se":0.05316247550943014,"worst5":[[12013062,0.4357722440497014],[12013092,0.5037923329323348],[12013057,0.6643514028593245],[12013091,0.664639815147325],[12013119,0.6961453793506962]]},"m09_minus_ib":{"n":256,"sum":1042.3101181915786,"sumsq":4846.271238070282,"mean_diff":4.071523899185854,"se":0.09606860624657088,"worst5":[[12013009,0.18317690066953674],[12013001,0.8852388984415711],[12013031,1.1671509891467053],[12013104,1.346703216787489],[12013058,1.4275739239454879]]}},"gas":{"ib":{"submission_afterSwap_peak":234945,"submission_afterSwap_mean":134927.8166713887,"submission_afterInitialize_peak":243227,"calls_equal_ok":true,"all_fault_counters_zero":true,"valid":true,"callbacks_both_roles":[{"bad_return":0,"callback":"afterInitialize","calls":256,"max_ok_gas":21796,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":5579776,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":2808213,"max_ok_gas":22592,"ok":2808213,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":63361152828,"tx_error":0},{"bad_return":0,"callback":"getName","calls":256,"max_ok_gas":21526,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":5510656,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":256,"max_ok_gas":243227,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":62266112,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":2806005,"max_ok_gas":234945,"ok":2806005,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":378608128219,"tx_error":0},{"bad_return":0,"callback":"getName","calls":256,"max_ok_gas":21735,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":5564160,"tx_error":0}]},"m09":{"submission_afterSwap_peak":202117,"submission_afterSwap_mean":111349.5513240459,"submission_afterInitialize_peak":229594,"calls_equal_ok":true,"all_fault_counters_zero":true,"valid":true,"callbacks_both_roles":[{"bad_return":0,"callback":"afterInitialize","calls":256,"max_ok_gas":21796,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":5579776,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":2820563,"max_ok_gas":22592,"ok":2820563,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":63639626404,"tx_error":0},{"bad_return":0,"callback":"getName","calls":256,"max_ok_gas":21526,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":5510656,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":256,"max_ok_gas":229594,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":58776064,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":2866668,"max_ok_gas":202117,"ok":2866668,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":319202195595,"tx_error":0},{"bad_return":0,"callback":"getName","calls":256,"max_ok_gas":21530,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":5511680,"tx_error":0}]},"t1":{"submission_afterSwap_peak":196517,"submission_afterSwap_mean":107212.92934849637,"submission_afterInitialize_peak":229429,"calls_equal_ok":true,"all_fault_counters_zero":true,"valid":true,"callbacks_both_roles":[{"bad_return":0,"callback":"afterInitialize","calls":256,"max_ok_gas":21796,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":5579776,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":2813429,"max_ok_gas":22592,"ok":2813429,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":63478688068,"tx_error":0},{"bad_return":0,"callback":"getName","calls":256,"max_ok_gas":21526,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":5510656,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":256,"max_ok_gas":229429,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":58733824,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":2829777,"max_ok_gas":196517,"ok":2829777,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":303388681573,"tx_error":0},{"bad_return":0,"callback":"getName","calls":256,"max_ok_gas":21530,"ok":256,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":5511680,"tx_error":0}]}},"gas_per_command":{"ib":[{"first":12012928,"last":12012991,"n":64,"elapsed_seconds":23.52364821708761,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":713818,"max_ok_gas":22592,"ok":713818,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":16105732460,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":243227,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":15566528,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":709720,"max_ok_gas":234945,"ok":709720,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":95624395739,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21735,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1391040,"tx_error":0}]},{"first":12012992,"last":12013055,"n":64,"elapsed_seconds":21.54933387809433,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":685912,"max_ok_gas":22592,"ok":685912,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15476089640,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":243227,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":15566528,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":689328,"max_ok_gas":232003,"ok":689328,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":93221606476,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21735,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1391040,"tx_error":0}]},{"first":12013056,"last":12013119,"n":64,"elapsed_seconds":23.590379822067916,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":701277,"max_ok_gas":22592,"ok":701277,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15822779460,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":243227,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":15566528,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":700633,"max_ok_gas":231962,"ok":700633,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":94547512659,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21735,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1391040,"tx_error":0}]},{"first":12013120,"last":12013183,"n":64,"elapsed_seconds":21.540684378007427,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":707206,"max_ok_gas":22592,"ok":707206,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15956551268,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":243227,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":15566528,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":706324,"max_ok_gas":234844,"ok":706324,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":95214613345,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21735,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1391040,"tx_error":0}]}],"m09":[{"first":12012928,"last":12012991,"n":64,"elapsed_seconds":20.92190682911314,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":716345,"max_ok_gas":22592,"ok":716345,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":16162719604,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229594,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14694016,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":726276,"max_ok_gas":201753,"ok":726276,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":80730180992,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]},{"first":12012992,"last":12013055,"n":64,"elapsed_seconds":19.07620058883913,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":689893,"max_ok_gas":22592,"ok":689893,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15565860812,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229594,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14694016,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":702716,"max_ok_gas":201954,"ok":702716,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":78464032851,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]},{"first":12013056,"last":12013119,"n":64,"elapsed_seconds":21.548799105919898,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":704472,"max_ok_gas":22592,"ok":704472,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15894821520,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229594,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14694016,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":716072,"max_ok_gas":202117,"ok":716072,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":79748555337,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]},{"first":12013120,"last":12013183,"n":64,"elapsed_seconds":18.75441041099839,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":709853,"max_ok_gas":22592,"ok":709853,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":16016224468,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229594,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14694016,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":721604,"max_ok_gas":201985,"ok":721604,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":80259426415,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]}],"t1":[{"first":12012928,"last":12012991,"n":64,"elapsed_seconds":20.381825319025666,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":714397,"max_ok_gas":22592,"ok":714397,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":16118773664,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229429,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14683456,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":717148,"max_ok_gas":194468,"ok":717148,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":76776029770,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]},{"first":12012992,"last":12013055,"n":64,"elapsed_seconds":19.472660606028512,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":688043,"max_ok_gas":22592,"ok":688043,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15524126668,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229429,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14683456,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":692917,"max_ok_gas":196517,"ok":692917,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":74481761750,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]},{"first":12013056,"last":12013119,"n":64,"elapsed_seconds":20.36742416396737,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":702954,"max_ok_gas":22592,"ok":702954,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15860581572,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229429,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14683456,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":707192,"max_ok_gas":191241,"ok":707192,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":75834352018,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]},{"first":12013120,"last":12013183,"n":64,"elapsed_seconds":18.739137838128954,"reset_before":true,"gas_before":[],"gas_after":[{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":21796,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1394944,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":708035,"max_ok_gas":22592,"ok":708035,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":15975206164,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21526,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Baseline","sum_ok_gas":1377664,"tx_error":0},{"bad_return":0,"callback":"afterInitialize","calls":64,"max_ok_gas":229429,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":14683456,"tx_error":0},{"bad_return":0,"callback":"afterSwap","calls":712520,"max_ok_gas":195691,"ok":712520,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":76296538035,"tx_error":0},{"bad_return":0,"callback":"getName","calls":64,"max_ok_gas":21530,"ok":64,"oog":0,"other_halt":0,"revert":0,"role":"Submission","sum_ok_gas":1377920,"tx_error":0}]}]},"validate":{"ib":{"passed":true,"exit_code":0},"m09":{"passed":true,"exit_code":0},"t1":{"passed":true,"exit_code":0}},"valid":true,"hashes":{"arms":{"ib":{"creation_bytecode_sha256":"345cbfe273190c3b629d6e624b4f19ecae919477786d13539b8bdd1ca87ed8b0","creation_bytes":14556,"runtime_bytecode_sha256":"a4f70330df778c7a4c916170f1b3036522789028ae2dfd8f715b93ff7f24ab2d","runtime_bytes":14528,"source_sha256":"301941829a44bb60977bb28181a5e4bfa6544f3696763f987054789b2611d686"},"m09":{"creation_bytecode_sha256":"1340c99e746d6166e0b81eb7db8b6d871854407a7042274ae48f7e0224134d3f","creation_bytes":22013,"runtime_bytecode_sha256":"e95f44d13169747859490d2f5fb627a55b4a9cb3c84dae0c95a6b37e0023e281","runtime_bytes":21984,"source_sha256":"a44cca4b0155ca3953f27ccb6b43ac8ee74b1cdc4f27022ee5fc51d8ab67ed5f"},"t1":{"creation_bytecode_sha256":"ba446cb0b7e5bb40a22c15ac4d4793e985b6cc43e471024079063dec30896ca6","creation_bytes":22861,"runtime_bytecode_sha256":"8e10f67ca334ce8959f19520245254f7d9f2f47ab5299b2a62cd08ae49844208","runtime_bytes":22832,"source_sha256":"6ee77c053e29d23a89b926c33b13e32365bdd09d880cac5557ce06c043dcf1ac"},"vanilla":{"creation_bytecode_sha256":"3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05","creation_bytes":668,"runtime_bytecode_sha256":"69ed6562da17454439bad4fbe3690194539001ef8ca2068ea50d937ee50c670b","runtime_bytes":640,"source_sha256":"62d40ccef0de99a385e332a36ddf9cbd1da73eda06bd7954492a9880cb91a572"}},"wheel_sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a","native_extension_sha256":"ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14","all_frozen_identities_exact":true},"evidence":{"measurements":"Local saved rows and per-command gas_stats snapshots in this result; recomputable with bundled summarize.py.","contracts":{"ib":"https://api.imdnotdead.fun/artifacts/db67c7a0e8fa98f87b069766df6e213890861b15f967695293f519ecc46eeeb6","m09":"https://api.imdnotdead.fun/artifacts/063270cb0315aaded47d5cb3f437297bf8e9aac55e179fc4d26534a6d0e269d3","t1":"https://api.imdnotdead.fun/artifacts/6b308b7219a0cf0bab1e5168e2f2b94b68bc6c118ae09a6d5ca30ea0173638ff"},"runner_base":"https://api.imdnotdead.fun/artifacts/37096a34a13345a470a4fbfdca0be064dba0c81da6c06afc47b5af3a725111da","pilot":"https://api.imdnotdead.fun/artifacts/4528695b3a181b79340bf6e476b94d7f8ec2ee0a36dd9cd896416026cb6a7ccf"},"engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","compiler":{"evmVersion":"paris","optimizer":{"enabled":true,"runs":200},"solc":"0.8.24","viaIR":true},"configs":{"method":"build_config with BASELINE_SETTINGS defaults and BASELINE_VARIANCE; numpy.default_rng(absolute seed); uniform draws retail_mean_size, retail_arrival_rate, gbm_sigma in that order; same configs for each arm","baseline_settings":{"gbm_dt":1.0,"gbm_mu":0.0,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"n_simulations":1000,"n_steps":10000,"retail_buy_prob":0.5,"retail_size_sigma":1.2},"baseline_variance":{"gbm_sigma_max":0.001008,"gbm_sigma_min":0.000882,"retail_arrival_rate_max":1.0,"retail_arrival_rate_min":0.6,"retail_mean_size_max":21.0,"retail_mean_size_min":19.0,"vary_gbm_sigma":true,"vary_retail_arrival_rate":true,"vary_retail_mean_size":true},"numpy_version":"2.5.4","MatchRunner_build_configs_checks":[{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":0},{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":1},{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":2},{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":3},{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":4},{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":5},{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":6},{"fields_equal":{"gbm_dt":true,"gbm_mu":true,"gbm_sigma":true,"initial_price":true,"initial_x":true,"initial_y":true,"n_steps":true,"retail_arrival_rate":true,"retail_buy_prob":true,"retail_mean_size":true,"retail_size_sigma":true,"seed":true},"index":7}],"block0_sha256":"034501941734bbd17bb3c87c75688346165b378491a321cf1cca64eac7449f63","blocks":[{"first":12012928,"last":12012991,"sha256":"034501941734bbd17bb3c87c75688346165b378491a321cf1cca64eac7449f63"},{"first":12012992,"last":12013055,"sha256":"c95d263f3f714cd0db1c65a111409e9bb31a44d5aa2b7f1b92e89f003a848761"},{"first":12013056,"last":12013119,"sha256":"a2787c659bf254ecd9954f70ae87f2713ecf2be5ff9bee6e6e12fb07e40dbb48"},{"first":12013120,"last":12013183,"sha256":"105758693953f7219e8518969dee48b1aef824af6a314395654f3c5b5484196d"}],"hash_encoding":"sha256 of JSON config field objects sorted keys, compact separators; rows ordered by absolute seed","workers":8,"opponent":"VanillaStrategy alone","edge_field":"edges['submission']","allocated_builder_equality":{"method":"Original MatchRunner._build_configs AST with only range(self.n_simulations) changed to range(12012928,12013184); no engine simulations","count":256,"all_fields_equal":true,"original_method_sha256":"e962be7a43988614f63897f51b6bbd05c904690b94ad6ae8c3b9985ae710e0b5","hash_encoding":"SHA256 of textwrap.dedent(inspect.getsource(MatchRunner._build_configs)).encode()"},"allocation_sha256":"ce39be16bec329e2613e15a031e4155ad08b1508f4493dc8d4a82fc47aed1ebc"},"reading":{"interpretation":"Fresh-engine paired confirmation on exactly the allocated seeds. Differences and sample SE use unrounded per-seed edges on common seeds; results are not a leaderboard score or the 4000-seed goal gate."},"limitations":["256 paired fresh engine seeds is a confirmation block, not the 4000-seed goal gate or a leaderboard score. No board entry.","Only observed engine callbacks and amm-match validation were tested; no claim of universal gas or correctness bounds.","All numbers in arms, paired and gas are computed from these local runs; source artifacts supply contracts and reference runner, not independent certification. Nothing was fabricated.","Prior audits cover applied-WAD/model/numerical equivalence, not ideal-double autonomous trajectory equality; this confirmation does not resolve that distinction.","No tuning, board entry, additional engine seeds, or reruns were performed. Nothing was fabricated; missing ranges, if any, are explicit."],"runner":{"code_zb64":"eNrtWltz5LZy9rN+BY8fQtKiKM79tkyV7LObbMpeb632+GUyxQJJzIgWbyY4uqyi/56vAfAy0tjrpE6dpJLh1mpIXBpAd6P76wbKJC3qy4jlRZ5ELHXLx2/+7o+HZzoey188L34HnjceNWWqfDAYzUbfGN43/4BnL2pWYfhv/n8+33777ad9biS5USZ5zmMjuuHRbbGvjfukvjFEVLE6urnk+Z0r8Fnsq4jHrlFWvGQVN6p9Loy8MHi+S3JuCM5j4Z5dxaysQWtbVFRzMRh6g+FiODcsVmXCSEIn8xZOPVgZLE2LiNVJkRtNI9elt9FgPrJd4y2Lbgx0UgP1Whd5xFdGzu94ZVQ8K+4wOARJo2asuuWVMAqq2QtuREUu9hlq9PSw5rMkK4uqBukd1iG4E7OaRSkTggvnhombFJP8VRS5U7JaftRJxpte+T4rHw2GlZctoSwLRJIFGBfllTjbVkUmS6MiK3md0Kzdw/d8m+wM3T/cJ2kcqDJHfYRM8Kbk+6vrtz++//A2uH77+fP7D/9y3ZX8cvXp/dWHH95+fcSMRNkM+BN9QPQ5r4735HeZ7J2kYLHudF2kSZzUjz/o8rN379/++Ndr38wDUfMSos3RmaVBWSURb78e2rdHYxdmQbaXPyLZZUy+xTVEVbMkDVhVJXdoCLXjTVnGGegnX9oCete9dUm4f8SYRShFbLqiTJPass/+9e2nt76WoPsRv1YQbDHxILDdiosiveOW7ZIm5/XZ9eerT5/9Rg3Pfvj5bx8++9Px2VnMt4a4YVZoLzHcvsoNrSHYEmw4maLCveEPcbLjgkal9kX4qxW17Z9ulztMtK4rK3JubbkxbmnTKf49yy7RdmcJe3lmVH5euhXL4yJzUcH2aR1UOVWu7vzXcjcyv3L3eQKimXXnvmRakCW5c6yYPdhnBjvWty+Ew+6HNZLC7oBCK1fdr/ctW2uG9NXdIpn5wmmb+jvnyHA+c16uwc8Us++rpOZW6TzYy9KVH0HNH2qLNrAbY7MK68ERUODglj8K/3O1544gA8bqohK+ZTr4tzRt+9z899xUNLWFs2AKSSaR8NdSplJISoKk7gbktOOW1B1H/j2XimNvzshmYXf5vZ1m0byzfSptmPDnjuKA/2rDK558KHJuO3lwX0iLhvZ3rEoYTN9rNZC83XJoMmrVyG7QZ7OAZirrjqU8mUke8wdzmTjmNuFpLAL+256l5rKvqlhrYkNffb8paodYJ5tjivwsS5KOMXNiBJlVspFpatH/h/XhmBsXMt5zTFARJHOhZ4op19XjshLudcu3HxSH7JXeG/6TSRa+rvZRnYTY3OS5ILZADWIuSd7PZwZ/iHhZG58fS/62qjAODDVf/lki71gKN2Fy6mku0dDiNog2FtJ/aRoxP7ISXPhPaEbLghtzRBU5OcvINBpry0xC0yEbdWm+/96FOYIaXtek7LtH03Yssx409Z8Hx+rhRpsGP3mLYy3uWJ6kKTOdAytIa0WrqBaXmNHlL6pR01HSsR3zRbFpb7ARjNBHF9gDBoV9rElqq8hv2NB4DCuE5YqKGObVacYKaOE+/YFUG52IXLGPIi6EE7mStwJ1tOkuCSucm26YYEfaelerASOXfok6EVJcXqP1BkJUCCVQhhlykmbbMSPMl3QnaHoetOgRdEzsHfL1v9cy5mVaPPI46HU5oA5dSXn++zTb+teUoCiv4IR7iCxyDHTHz7TJIz6Z2lK5ZO1MR+ox9kegNpC5VL+OSdYlBUgLBK/rJN+hqgd6XCbiJKqtV0DD7vVsrM8f92wtEq1b1IHeYTSeenP0FGlyovk4YHPPcKPFn7HcLoySVDeMqjTCXKpfx1Q8C+AReC5ITP2hDvaFaun2QUKn5iRoreYwk9C0NMLQnjt3h2PMoighYjglWclzBiMSK9sj5Y/5DD3v2THvEvb+U1MBkPULLDsmBVJYViJMNJH4MrhrKoAGguYrCJ6Vf4K+k/ilNSEHpVCvL3cOlWHraEBs2itV6RYlFM98MPV2sramRtTAxk/SeT277lPPi10MnjuQjUVI7yh9ofKDf84NCnfHBAAiq0UA1MWBkVYhR1c4ql4dSrVR0JX+euOoV3gBnzaQmxV5UVOoSs4sJMdKJDCzQH5YaQIEZvWZoO3HoSC7Zo2BVO1eNIPuzQnhMPFyolVxDyZslGGviAFyfAKVpOrLzsCZYh9miZCSlIxyeQyciAZEw2UlZBJb68olj+/o2nW/12ZDvp0a00bouLSu1t6mmwC12Pi+XNrvScPuG46GQ9Ju2DAcRMFc0l+ooLJS9AG9b5duLvGqvpVkzKX6hSqnrBSwZgK2LCeP+VJgFzVUN9kagXQEQeD7ZgBUmECnTTCs9JtgzL2qdojX8vojfZEnLV0Wx0CDqtgy4U2IM050UyDOgCQaI4h9SD5VOUZyn5vXnS8usHrTqYEDDmIDwMvf9kkF3EV781g/uaF0zySvv94hKmD4ex0asDEdQ4p+6crlUg/SKRV/MLVtVyr8YK4k0Yh88MaX5W9AYcVcrMPNbuOkslQIow0kf4AOBMWtmtZZC2VlB9uACJirOAgRNIwzOPCNtCqymdM0sc++OT3/d59S5v/EPoOLgPP6n8j/zbzZ9GX+bzybnPJ//6D833UjfKPI00dDsDtKAwLppJyAgU7thQAKgJEaDaRsn0c3KsVWAvzq1Fovs0agcTpuc2lJodJpGRnaNqfGKgJazhd8nH3804maK996YeXt1bv3n6675M3qxyv9RXlElcFJCxZbZZuSkRCTyoRVKrcvUwa2/d9K9yhcIL0lXBnCWfikaj146Z5XuU9elertlfCJGe4Wm68pOSj67k72vqPesr7NnjyRe84dgIQMIFb+it/whtfOh6ukUsngHR6cR5oW8yVQfwD6Um+PDZBZC4etxeYixJ9NB+oIb/AYDoHAt2X/U6hf7M0q9ntLxrLiNea06WZ4u4zXt5suP0DVasLNdDfP//FkylROnGy3CA7WsnpzmZOHypU/ogwIOgBmSMaI3wCAMvZgeY6l2hOhi6brd98NL3MbwOZiYONFurr8nwd9UvcIG+oJeKWWJsEOFuWnLAtjZlRLi8TmELSy7fVyslFsZLtdxXcAytZOSjiO27Bebgxa4k7CPiraSUBI5VRiEH1rt4ZsUm5uHLxFwN0hi25NgnYGTRNtDCAl6hjHyxjM44+IZ2+XSgluHakGOxfgLYMEnqkbLUsOcLSJqpG0qdxSwzvd2PaSIvMk33PVUg8KsfnE4u7TuZOcvAVaQAWARQD8pwFD1+r8rpX+Oj4UvmZ2HCMcIG4S6LNi7B6plVVGOZIVoWz8wPBkDPiR3iUCznf0ig2QKJylkylE92qpYTSg+Gon/zbd12wj8bkSUeJIUEV9OIIrTgkNy5I2w5F/z2Gq1MtgOG/eFkNbcbH0P15uTSnQpzB5Ni8t1uJmLT+SXelK5EW873M29rXpaVAc1LUHoDe+mqhxHNbHa7WnN4fYXq5HrQpzt+U0qN2533YAR5rwQo+oIDwgcY9LTZMnc5tga1BqiyibCO6bj/PpSAYE4NFrlA/SL8s2MEMU5rUhgop1+0EDIjv5zbY1BcyH83u2e+w4Rv/NeOZ1ERZZVGnOpC2yfb8NXKgNtIt0oW+ttFrJYqWZFJMqviqdIPdxPrDti45uY/pAE/qzA+g/sAkoFves9HNyItauMwOqMalIawGwj657QSEEYRzYBNRLvlyDIAIzmQUGfTpD+bvSf68OZeD5e6MgbAiLIrUUXVv2pqStpiCoO94L0Hk5CequUj1+k+rdkTXxvb4fCOFqlZ2gpEmxo7/1Da+CG5YiVoLqAGDQS/0QqGzrxj42EiSrjEJxKyepRpavJIl131Zt3vjD8QTYkvhEtcp4yZwuSCk68q9aryaNKvQmPXnqBeRBK5wA0OcWm+TVcIfDaCd2jAD5v4YAXFhL4FIVSS43tLqVyeI/IN0JVs+QVOf1DKm0T0bKV+Xk0c5cFrcOJYgCdQIlA1FeieALrwpzqdjtmJJR5rJhWedfsNkh14BUEmZCye1ZBaPKIH68VCbVuzzIYNqr+xvOU63pHzXos91dWoSW+Z17f5Oatm5EwMwnrCa/DrM3jbXtGkLteRxO58O5xyI2GkeDgbeYzreIQcbz0XwWLSbz+WTozRaD0TYcRtvBgg1YOI4m0TaezuczZp4pXZHZ3i6x3/oigpC+Rc5CN+MXT+wZMHPX5JYUyFx1VJR2lTRZsLHtB1GrvPh2n6aPf5GpI+oLC/yQkDBiWNGGjR01zUIQXfcabhr/2an4wQTWzfjwQwQYYdyeAKvpCG8vAkDtpYSR0pbKpErjYhxVhBZtke10PQmff6UrNen3xffxYQ8aHhsXwqjYvZ8U7vekAe9/phShvMSgwwyV/qS3IvzVR1snA3N889506PCS1X7T8G+Uigne/fzpp6vPNmXdUdFgu/b0xuxfmlGoto2hTXlSYoSkCzJBe3he0o30mWGzbgvLVHG4eS5br2pXHm+SIwvpK6Ncmu/RG03ZKxBOr0CDEk5Ex6qd3rpD8lIkeFqku+O1PF7DuF9CX4Vlbjgd64Q5xV7y1AYuW1hU5Cxsuz29aXaRbEaFumFHR7f8EpLrpVeCgUIdqREUhVL374CYdJ5QRzcoZgPvQib/q+yiHlxExES46T3MhdnEn2YDrlj+aGnH3TsulNaLEudk74g0GRTaSMqidRdGKCmvAY5y8RrgkKenvD7l6ZYI7mh/ReleJHctbtGjwoapF3JRKqHvyRMBiaRgaKsAWmkuxxSvcF2iqwk7PWM60FppKmE31T5TKs5jiYZ6ydWDvs0YTmsdzGW3f1sTLN22fO+dgTzpQcnErptSgC9pFduDkNZG/sFhiaLwe9WbZzrMSGIuj4dkYCf2FadEKInzR4gh1akF2q/SBmGRF3ptRgv/DJED7d0UtYxA65tEaHVa4Ze0Yl/T0Yra2eE+j1NpK7u955pOd7xJUyFDYt7UdSmWl5esTNwki93tPr8krdnKQ1B4hVk0Yx6fb9livp3PQm+6mE2n8XbKh4PRfOHNp4NwMNkuprPpYjJcjLaTwYJH0XjKOQ+nOhfxtWG86Wg486LQGw0mjMU8Hs/iSRSOtuPRbLiYhds5XzAWTSZ8MFtso3E8nE5GYzaNPT6cLuKRSnZ8bZRpOPLm4WwI7+VFWy9k4YBPBtM5H26H4WIMBxhGU/i+OePeAsQn8IUeZ95gNpqO5gjFn+WBVQ4VpF3+1fFGM3hRuFM2GI3GEwZszsbbcBtHzAu5BwMRYh7zQcymkTdlWNYsnLDtiM2Gk8EAxTSeSjJJlU+wEc1pOF0MB9t5PJ6ORoMxY3DO0+FozAchH06gcYBz25k3NvtnckpD2+9N75yRFLK+KcjD9u9EKC16deZpNEeWUk1fHWyu1AWwg7s5LBRFuq/VFTh7ZegbMUYMEyxeXWRyjl13cnqXoqTqs9ooqphXK2ycTF5jo8WoW3X6Xpx59FxXMeJ1xeboWe6L1m3F5tVBpDYBB4Vo1bvgcnjjpD2DbiTTP5jeaGvtvbAwh8fBTSvRoR3dQBU3p1fStAXSp0lbbar+RrE1/u365w+aeYa8zUGXs3hEpkZGf5R7EY7MeEKfje54eaVMlZQBmoWPxoGUTZlNoos55nJO578lfA65kZcXJxA/oQbN6WxPXSgxl98eOej7lnYegIJcwREExuP1QSHAT5dA2xwDXgc9NIQ66PIab1GXg9KXXRIKA0pSYOVYzY88pyn3csYH1h+LShNsa3XpCbG/SYJRQxlbGPebg+ujBiw+MzQuUJc9pagdCQMQKRpjBHIX1NbYFfAqFIIbEoan4B2vwoJVcAlRgYgCkY2hvjGVSvqGnynJXYRANXdddrsNWlT8l2UX6rJk52aNeygBILjA+lZ05TVKWZKRfmGr02aQM5G3TjEyXFWdAydhcLgoQeNepSnZjZCupmJ7SxTQcEF7QIOu1CofJ1lTZLReIJxUuk8CHSt9B9do7S+cX1liSa3Pk9Tai1r6Fpqjs4sxp2wPmGFEnCgkCh4Ro+BrIcR7TGPLwiqR1wJcmcyRFEgj5X2YLwB95vJL6Jivr8eo6y69bahwokSZFgArwjKj14tkTRLtgCXWjWaGJup0IDuAzekPJS1BH4G/uqyBaWMC74iL/4W7zWQIykdi/heeG+palmPo21WOoe5hGSEXwDpGfwLdpWh5wKyU1jP0qXF7vdnQp8LGdLxSQ31Hdw+MulA9Bo76HerfkWu86xn87vI0CVZeg9ZBDiIEGhbuF0qYqw4qNy0TBzQJ0c7CUS+LoXwZeQC+6rRk6EEVugsf7aVqdb5j/KIBqCKvVVGO/2rPYPP1YVmL3rhotB5eDfbCuH7rGCot3+6DuqhZKtQOUKBRW3vz+ZnuY5T+183hKvP/hDk7k5kzVpIm0g6huEFOI+uXyDyzRKHr1kCDzgtLuPG35k/K8sVQFEMOCRUynjDA8tydbp9XjWJBoXr1WVPb9qJ66nahq1zDPLfMH9ICdot0hXYNC0ng51N3DLuUphfkjWgL84cS5kdZLaCI/EX7kTsn8hcpxJz2G7sy2IKPs2hgkLXfNB/o0wRbR+fwuzSPTeCPJrxSkF+Gw0ZccCUDWF2A/gS7VJLJ6yRKSpklITqQX4LJ040gv391TEns6H0xhyLD+yBnuS+TgPrmb3uLbNXLLYf2m8kcLmdFJxYHFxHDrh1hE3mi4ftqWMp0QT/683kye/f/6FbiyxhQB3I6kSYjwie2fHUIJFOSzTGPPJn5i3887fbcy089PzuJtPz+0P6jezj6/FY8ijN1UHNwLItil1W7u/VgY5+uhpye03N6Ts/pOT2n5/ScntNzek7P6Tk9p+f0nJ7Tc3pOz+k5Pafn9Jye0/O/6/lP1HkPFA==","code_sha256":"341192a05bf4be7920d4d21a0ac9692a30a7b87de0d1036462b8a6c297fa31c3","encoding":"base64(zlib(tar)); code_sha256 is the decompressed tar sha256","canonical_py_sha256":"018729c432218e2eeeb1a137c2dc0af68b4ac1e52371c7be84f671a9d2087016","run":"From pinned checkout with scratch/env.sh sourced, copy frozen IB.sol, M09.sol, T1.sol beside canonical.py. prepare --out block0 --start 12012928 --count 64; copy *.bin to block1, block2, block3. For each arm ib,m09,t1 run once with timeout 470s on each block and starts 12012928,12012992,12013056,12013120. Never rerun started seeds. Validate each source with amm-match validate. summarize.py recomputes paired sample SE, worst5 and gas totals from saved blocks.","pilot_tar_sha256":"db6ca583c4d60a3bec4202b17a122944d90d292226deaf52404c5f9f03fe8b4d","adaptations":"Only allocated range/count, item identity, four-block traversal, and structured validation status in place of raw output; frozen contracts unchanged."},"audits":[{"input":"after-audit-1","sha256":"dd606564acfea059712453ef8f6a15d0294516f741b2c25c88f15cbcb5d22fdb","status":"complete","verdict":"PASS for frozen T1 applied-WAD/model/numerical scope; FAIL for ideal-double trajectory equality","scope":"Prior replica audit only; no allocated confirmation seeds supplied by this input."},{"input":"after-audit-2","sha256":"4f33bdc52e056d9c1bd1682593cd4f81de1c95ea4ff44bd9f433b31d150dbaf1","status":"complete","verdict":null,"scope":"Prior replica audit only; no allocated confirmation seeds supplied by this input."}],"missing":{"ib":[],"m09":[],"t1":[]}}