{"item":"calibration","status":"recheck_complete_with_scoped_unknowns","not_model_qualification":true,"blocked":null,"source_flag_reason":"not supplied; no inference made","checks":{"calibration":"pass","configuration":"pass","decomposition":"pass","independent_retail_classification":"unknown","telemetry_observed_aggregate_bound":"pass","telemetry_per_event":"unknown","parity_capability_stateful_native":"unknown","parity_vanilla_smoke":"pass","offline_reproducibility":"unknown"},"calibration":{"source":"ch","seeds":[0,999],"steps":10000,"workers":8,"expected_mean":525.5258821780834,"mean":525.5258821780834,"difference":0.0,"tolerance":1e-09,"prior_max_abs_edge_difference":4.99827820021892e-07,"per_seed_edges":{"encoding":"base64 -> zlib -> 1000 little-endian IEEE754 binary64 numbers; number at offset8*i belongs to seed i; exact native values","sha256":"2728805fbff63a02fc566b6583af8a48997760e6d4627598d7323f52380235d3","data":"eNoVl3dczf8fxVuipWQLRSWSdhLSSSUUyWgJUSklZdTd934+nzuKiopCUmRl74aV7KJNJL6i0tAUKYXf+/fnfdzPeH/e7/M65zyVKsv+KjUJsHvnvlnltxkY/5OayMo58BINKZ4qEEBr3NVVzh4UHmdP+pq5Jhbn+65slfXzscL4d+Y7gRR94ReYdXZS7B+WFl9ZIIT88PI0pw9c/M7+e+SOhwilrOkNIxaL0eQa+vLIGAk0qFK1F98oZHclCDLrJZiyJ+yByhADj8LZSqUsLhSibGz6XtH4wjNbmv5egnnaGrKz2kKEXPus5RhB4eK+iu17XvKhtXDhy9kuNFhZ71y2CgRYZ2VqaGPHRufMpL8KfiJMNBvW9M5ZiFbzo+prf1G4cTHgWawvjbJLCj7cTTyEKvulCsbQmDPee6V3sghz9y47LKJorBxffXb9Agr+osdWL2ZQUP2rfPr4TS7mhkT/qf5D4eVTllajtRA6LTGie8UUhgcp5Pe6Mqjbx2IdmcugG/pr2jtFKE8cjFH7yIOz1ZIxlddY8LQ1CEz0EsJ2g4ftHgM+vBJGb/TPEmOsxuaAmNUivH5kvmfrIxHMqw4t7DwnhlXtNC9ZuwjeWudbx2tQUEtx8fKvESKn9ZJc52MaJzWGBpW+STHKyb9Q9ywHjlMLZTbzKTwsVeXUTmAQMrHvyc9ECS6cylx/sYOF8IaX/2VNo3Gxp87KopiB3cLtR29flGB9nzqHtYfGrdywJJUdFFT4O06pHY3FObvXq+/1caCm2DT5uFSKpdo5hRlLGHROY0vq0mic8U238XAWwPX3vXGvQjhYZcV/ow4eTGbuiT5Fzu9C1YlR+yr5yMwebf7vTxw+VX4MjrlJY9KDov7L32TwGKUw/0olBx3L+q2nrRTh0oBF6ThPDqYkz/6g+1CCvU6cuW39XPisraw3302+Ry/L3v0+0dcEv4onq7hQbVx72tlRjDIbXmhIBQ0enZ6V2khh9a2h1KLHDOYEefVMMWfQlBWbUryTXO+uXf/cjUGpodTDr5DC9O/P5+6aLoa/ZemwzCAKTxbEDQA0bGVn9xUUidFxf6bjiSsUJMaKywxmiZEWIDTdEUQjKrbkY5dMjPKSBmuRuwgXNA00fx9nMMJaTeA2QYw+i0gdg0k8JJv6KydfpDBfv2dqwhIagX4ufYumiHF0ZMSzBd0MBL4nt8dFkXOzLXce8YPCq5LAr9UuMcic5UCd2S7AqZ/1939spXBv/XYNz780Pk+1vPvelYf119hiWWQcdgewnuQlMmi5NYN6WMqGcYzPUcdDPCiIQxdkb+Qjx/S1u9EBNjoKxhXyGsQYU3bcoXqTEIXX5COlz2lkdlt5pZ/ngRlK8FDeScF1ROvJ9koujL0D4iewBCjW6/E8V0nBfMLVrA4TGquLirY/1qPx3pMT+duOxrIXFZpZOXzYnagedqqNBacSf6tqDRHcdCfV/DVhsONJinH3eyEmf2gp8teToCV1zA/tH1J0SY7PXm0bg3FU9Qr5MQxObDVV+zOGiyOHAwd3hwih8F3w82U7BdsHwuP2l8Roteh99NaSRsCJybOv/WKj+7ry7Yo4GjeMd89fEUPDb01wb8EvGi6bRHkj11Eosb5ywKufRvvyR7JNZJ8NK3O5fdUxGGqXdHj8E8Mpd1jw3OFSbM4OuTupgQJ/+q8pc5cLsUzR6loW8YeD5vMkfHM+Kl139BdXsFBl/P6yGYeCWN3CKNhfgPAXlqEJPjwM0/2aMmWRkPhlucqCPzGQzeJ+N3WjsHnX2zrTbAmUjyrsrKig8OPP997aYAae9YJGDvGV6ncqpqUrxLA4XUZlEt0WXxx6svwfDcMjHgUO22mE/hrkpJhykOuxx/Z9sQy1ARvzQ3cyGNSnLpc003Dd4X9EGCdExeIDHyInS+CS7Hei4TkPx3ol4Y3jBJiQ8rMk7zWNhPU2q0NaBSjaPHWEfpgAI9b13lAl+kjx1trkWcjBzunsS4Zssr9Z8nFBQWI8nCQufMrjI/bzDbyTl+Kd2qc5Oq0xMOkuDjihRCNYpc/lzjIGnBXjHtcFMVB/+ME3lJyPZfNCjZv/3/cT39dvcJTgUpdRVramENpOCk6jqyhYC3SWmg7SmOyfMs03kwt2ZtzEoU9EN+VrTt8pE6FjJ76ryDPI0qrSitSloLWguuemPg0Fv4W2VS4UPMe1pebsFmLxUq5JUyON1yajbrm1CWBlq5XT3stGn/+bMS5VDKxa7j1oOshgRWHzyJ82FCpfbystIX719vbMtwYveOiNruiQvRMhPuj+leOHKERUXlSJIn6Sd0/DZ4oWD5HZxnNNTSn8/TrcWVODQYRNw2AMmZcs46ln+RcFSF2tUqXwQ4zOxMI1KvP4GDq5y6ptuwTG3fv+vNWhsGHltOQpy0S4LC/NVxPw8ffmmIP7yXM7Do7d7T6Cwn9jZ3l+JX43WP3dZP9dGomz5iz98YRCqWx7e/xiDs4cKrLr/UBhML4+crMvAxthk+9LI6KbELfd6y0onPoe42VyToiP762GWkcKcGH76mPPGsXgP7mzao+PGPXtahYu5jIIte9HX0ijwB5VsG3AXoLVmnZjT6UL0ak249XoVDLnv27FPP1MY1BqmNH9hoLAKku/cJcMwXWbXtjHSGBuNUZozzCQK1nQ6ZNIw8p94x+vFjESXt0Jdd1M49qZlSOMVCWIsbQ832XFxSHz2xv1rHgwpz65Dc7mgbN0ejVkfNwZ9NisMFaE39H5yjbk/XMn3GyponnQbMjIbCJ5vOf667vCMgaTjswzybsrBD/+gFO3IgNTy2WjnW0pCP8sTbtkLiX+uD3RzUWE8IDE5GdabHjZ7h1vqsfCUOEJ266HYkyk03mK8xjkjWp2l1iJkbph6YPPnkLoN63IHU/ybrVewfurHiRHEmpq9afzMeHOEb/so2IMPXt9PSeH+JnK9AOn/uPB9OQeZ4MULuwThwt1K9jYcd75vUEXDYnLR4mtNpnX7HmZub8Z5Mddn3b0KI2gNzVfLo9kY1hxMvvPNgrSxzYpByO4uB0daF37gYHF2MKiPqKz0s6T9dXDRXDV6w9Kuc+HTiX2vROL0VuaV3+5ToBzPS4Gpt5iLD6lsvkSWa/clLN6QYoCqCkb5baS/PohqQiNqqUQlOy2ypj0naIvI0/qukpxurTjyD8B8Y8018S+c3x4CKyfbw6gYFxrHFtbSfLawmCCkaoMj17tEzSl8mE+3K4rUYcPJl43odJaihi5h81+PAYLf/vN0DlOQ37S6NSxxA8q6nceUXQRYP+vrQvySd/ZNTVG1zGcrGPSHa0xd3mIbrx2/oktD9bhFx52tfCQvZKuN+DTEMvyvj1cKEB9q3KSQaQEQ3LuF9lFfHhLzFVXmJP/nya9EGqJcaw7qThutAwdcrvWVrYLsePKIv30VtK/Qt03ts0n8/tGbGW2WwJbtd2ZDjqxGOXs3PLgDIPR3soJ8m8p1J21bxLXEf0Iv6qZ2rMwvVBFkKVC4diArcUOYzKnKe4RKYwQ9tMOz1U6LURiaYcgv5XGmtMVKSkvKch5l98rekXOMW/w0sUVFJaYXT+7voqGfqaKxX55FrqVeiOex/ExzUlUdnGIxtsMi6rxdwSQm3GlXEGTCz/fGRM1VEmu/L21RsmXgk3SDd7suRIwHu6Fax+KkF0obtCeRuGo/CqxeYAUN2V+e5YTHdx0HvNu0VkG3Bkif3mBGMrnLfO7N0hxp95ydinJCc8EccLlQ3yoxUxRr9sgweGF398vK6LxSMQvLfamMVPbVX/KNxFS9mVa/jxH4cix4hXa8hIcHL6cZfeQgWNh54nSczx8HNnsNtjEgo9zb1/SEQm2dNRLZnzmoOyXcWumTIJxbyfpt4WLcMTxVfbcLQxMVi2Z5BLBQIn1vOzweRHyYmaZnyE50PDQaySnQYR/ewubv+qI8Ur+OderTQiVsglpPcQ/JEOK7FoVGgvWFd+qcSbnss2oM+8bF//lP7RufMXBpnUpfnP/iaCwfXFyAS1Ako0kY3gqjeSf6sWRe4X47nB9aet+Bquex9SGd5M59L4RvCZUhEp9/5i5T2g432z+fuIIjXk289p+DeMj/VNuU7kZHz8yh28oqWajq1IoyrrMQ4HntOZfihJ4WeTkPPvMhWyXZGZHlBiwz+g3cpLAanQT/eQMhZjaW0Z5k4Wo97ySX75DhDT5YE1VAwbSc9ZvAvNF2HW/yJlrRnrNRD1NTdJfNYPyst2vyVBxINfVWU2KGRphcgp3WPDvjo7lXSbrHf6s2G0cg3hdvwQ/WyF+X6kIiM1mo3GUV6DrWz7GPhkemBEqhdcnzX8dnRQSetKOJw9wsd2srsRkNtG30Rz3x5slOGMUuTnHWYywieNNN22kkDFV7Ro3XYwuy/lppw4TXX/e5lkH0jMyrtZ/IHwS9DzylZOMwfnONV1JhgzMzr6Ss7rMR7xweLRjjQB2F0RT828w2G12Xu5uPB9d13aGHN/JR8x8s0Mzf+zBr3aLBblVYsiqSizCcxmEPl8W9dgxBrEf7yf9uiGASN6i5/oWPraZpe9KOMNG/kWFBIVaDtbe6pY6lwjx8+yIm1xHHmw0ig1e60qRYf2m9I2pEN4j9kz5MpuGdupaochBgMZEs5N/VUQYdXJe7Qc+6b32JB1Jvi+/5r/FoUOMQOEKj3sWfGgf+DB4+Q8fS//+ThKsIO8deBh4bB8fK9XkJrVyKUyrGmgbQfaroLy5Y1ifGM++Ja57d4QHxytbnq6Zz0KPf5b7olAJrjYvv/8yUYSkEfuLFhsI8d/JgxbHyf0X256MqCE+1K07O81lLMl3Lb1ndhtFWPzgWLoyRLjxQhIaJ0dyYu2tB6HrKTh927h52ww+sjO3NPIb2YjdVTqYvZ/GHl+T0xV/RUiYeczTq04GVS9P3wg7DrYdyFuafSgaM4viMz+dolH1bpTXyck8aMjeRlmdk2FMAjt1pC4Nm1xNG2sxjUUT9141I/P/9l3mgjP6Ulx1SzNreCGAuKSkoL+axvYvL77MHSlGUpq8yEqNguX8dYdWnyS9ULpm/niSbx/c7YPGyCgoCnw5j+3IXMy9KX+pnY0jho92n9hHQ2axNuYF6Qmvbwysm9HOQ2By0TXLRQJscN6z0sJaDIfjN8J/5dOY1fE2TDuQwvGPsl8GZRLc+sNky9vx0N/+wOzSGymYgzfc1eXYaB+7P+nAC7L+nbu7y+VFmPWr8T+PXjHU1874ptsfAwFfr0KaxUXawPvpjQUkZze1nykgORYReKxr+VoGQ8NU8mbXU9AcsUuWQXotFX/Xx840GmWfWlddkSc9RWnpC9dFFGpnlPq2kHy7r3mDo/aajb356jFypIfsCvnnPFyVPH/t5V4rklP9yR1740cxGDvfbM2INwKMi4vKvLCMjWqzU8PjTosRt3iajucpku+nTaNmZfGwW2+oRymADQOVc1eECiIczp5ZlnFPirJbL8f9J0fmJOxjw/j7Ykw9ZV6TKpWgZttJRG2jMWZVZcQBwt1X/eZnO00WwbT77GG1UtJ/NacvWUN0ZVxjaW9N/Nj/eK9msYSDh89SAzdOEoG3vP6NK+HLaerzbhgRrhjPdVQ958DBeNut4V2TGbgoH/UdmsFDM3dWqms7g9vVQu8Razg4u2RC1PivYiRGVds/SODAd5SSRtAH0tPGe0yfQ/bPkV1c7Up+x+cM+1mxUYKwjGlyi0oYGCVcdVsaJsXLwvm5RosFKDy4fUbUGzZam3vu9M4j+vb/WWVnz8eLmdmyQ5fFqDXur8sbK0aRh4JeVDUX+aMGvoTZSzHPnaYddMn5HVxT8UGJAyfRhwvlO8h6qZS0yfYx6Kj8arI6joWZ+4wENxLYqBqH7+mEN/b0hcZbk+8+fvd1VYONGAuCFlQcGimCVtmXZTWLWdjwZcrGK5tjwZ4ZqXHmDg89rQvveSlzkeNXGt6hI4B3lYFecikX57Qj9IriJNgec1Lqc4uPgdKM9wO5UghMzJfPa6XAeXZmU/83kgsTwv7lJ5Ac6w29cDlAjHddNkv2Lucil71uUU0VFzqhxR8y7GkcP6zemtrOh5vi3ZO3FnAwxLtXl32Yhrr34txHXRQWUr5jVVdSeH7/d4Yruf7Pd5X168i8tFxX9Em/yseKn/Y/bhK+flXaPWmCBQc7VA9mze6h8Xxyw3/huWzkLr5QO3GQD0//f8M4trH4OMwkJVWdi54H547rLxZBUJP/PjSKwqedKhNPkj6vvqtgkSfx9yvVnb1yy2LA6hjwuTTAoNUs94UOw8LEfW6WmsOF2FQVv319EQWvmdFUOulD6ubMCbknJH+PvZizfqMQRtfLvzSqk7lc/rsg9zcfM7q37b2cSXoXnZvuq8wgqXZVtgfh873qpQPJmhQ6r+c0r+nnoN0u+2X4Uy6st5qs3bmSxqhDvreyWTKM0C/lfY6jwGr8WzKZ9AzWQFOp00LC09OXXvi4gwtVBQUd8SEhSh7t64iZyMcn3/fzbOp4GOr+5BFdH4Pa+OsOLw1Jj53us+DIPQafXOacTif9wODAd+WvhO/HPZ7p/dyXhcmL3KtPHRBgtPVgCS+FgTjvcEPeeDYyThiGnCJzbb3t+ZjnoTJcdNxq3EX05cPjTV9jEw3Drf0lyZ9kUJgTenPmHtKvXZdaq/qxwT4eXNPtzIHc0RTHWyIavpkfqZVLCN9WfHfU3CEEa9+VHYPET9Njvlm0Eh72DGH9jQ6MRoJnYXQNI4D7axv1nYwYW/mlXlvsSf8qPLjQI0KMVcrBeY82iyHfbn104QEGq6WqWhkfKWw87s70kR6scV1R8vY5A29rj4vBL7hg2Rk91JBxcG/csGhFkvuq2rHP9/SK8P7NffX3L8UoG1UnW7leBKu6zVuqpjKY+6ZqfeB3kuM7GOPwazSawnbGJ/VyMel0af5+No3YRY9/vm6XoPznUF12KIUdgrKAkLFsLPrsLo2eQM65Uyeem0PhY0CRoSrh6BbWuzNRc/kw1rkXdIrkBf/nMcp1oQyuS6v7jk8V4e4PuTk3ia833ms2Xj1AuMBywpsbalyEb2042/+PgbuMWjttQIwQQdutFFUW3tqZeO0VknyljYLiCZf7vfloEJ8chyPxrm5fHYRQbvlo7lNE/KxFKaxshgDr0pXmixg+NuVGlu63oVGenSain3GhrDkuPs5XQjhzvCiqV4I5086drjKgUOTXNVRL/HFYmUFS5goyT/LfLjYfY6MyTD9hxm4uop9q9bJuMWic2d9RO12Ae28NeRzC1xdiPM95nZTBxEAt/HetEPNz79poOIrxtDWpuz9LAjQ23BCS3rhXs5AbupM8P0U1TkZydNmoc0lnLpD1Kq76pZVNIevtJ9niJglOj+9LlE6i0dN1ys7GnOynS8X0pCoBbtq7jI6LIXMfdWNXcACNlGPeaQ71IhhkuoaJXpHrXrc7KJoyaKlPzzleHIOad94La0KJb09doHq6RoKZuXdiYh+IsFBbZ7eGiMH0czZUXCSFtPLgsZ3lPDyd6JQcvZQHQ5V/qyLeEP30zes8PEOCYGXzXj9XDuY/9tQcU0h4MFZzg+dzGah5K2pPSgQInXfxrw9Ncn34NqV/wRQm7ApQXdJH+DsyyY1zh0Lu+QeRmkTX0ZteZXT3C/B5xD5DOdJ7I725ujU/adSKlZu+kj75zI8tbxlC+FSr+9NDkq9jBI8N9l5gsCln6k97kpsXeTpnDFcxOLF3ishnLI2BjFfDPD1EeKPgvcR1OYMBT3m7AMLny52iH28jeerVkujYa0zhm+rAq97FPHypdX8UOIuFAcrfXXaNhyPmsY/vbhfiZqT72ORTbOj7K06sMhTirkT9vMhbANtJit3n1wthfSVvVnYQg7/ant90SD6UF3Rbh1wivD77VoPhVgY72BqN545yoe5V19Z0U4xcZvdeud80zPe7CxYmCzHpx7HGfJEURolq5geDaThcaQzcWs7CItvlcWc6BIjQmTC8y1+IvMSnJsdCaIS/bpu3V4fB0Z053T0bKLSFWcRlFvJhZP5tTSzJh/eXMr6OURdhWbpTtM9wCVbdzH0VasvG927lV//JUXhtd9uybLQE1SUPoiMyhAgOP2zIJ9ym+LFC4wPpf24rrtfqx5EetDBV35josdpyiDWB8O78WBY7XpEL1/DkSRVphA+ftwVyGMLHnd5Rfz2FqAg6PSZrOQuckqDS5SdFiPBu61IroyGnfWO8ypAALj1G0ljCcXP8l0StEEqgoPYmcBmZo2ha86l6AxuPEk/tX9VMY1zt8GGdWjTYrWY/NRu5oGl53esfSK7Hu/OUm7nQfNLoG1gkQvA1t1CNTi4CDupf0iB98GYCNbk+hwHzQ6XJvIGB3iMfFStTAS7Njh2rfY8L8d62gg/32XAKmbZ8V1wMAlZt045iC6D1iZ0zUp6D6H1y20QjY6EnnxH49CyFlq7Vn15PFeDyLOftF04LYPh0k3UELYHRxa2f09Yz+FHqYL3nkgi6WWvisxVILqG5W3s2D8rpFtrVlVL8G+Vm4j8oBZ8VyCidE2BGyMv9a68S/lkTzX6zWIiOw0ssdDdzYFlm3RF6QIxtuW3VJwrEcN60KDZrkEJwj5vB091S1HtdGvMpm48HE6S7LGMIN78f/t6Z9KqAHoX9teZ8BJeuTTxWQMHwmHnRJtLP5FUjS4uzRPgY9uWr/GUR9DcnfC0toFFywYUbKuHiRdnYxNkWNNa69hgH3OfBOO5a5MQaIeGXN5N0b4jg+rTB4el0CfquGP297SiC8Vm10l9raXhx2+4oe3Owbp+m9Uc38nzLhsD7EYSXFz2plL9NI/ujzo7MYhYeZb/1PxQtg4thfpTpJsLZyUatmUcJZ5stX1xE9KD0sDeC38TFX91bj97eJvu+VTn8IeHCDbqjEm9fFUP0zMtn8zTCVYoGxo0vSW8K03Ipnkr0GNActe83F1/PCw1u5FPYb7tSJG9F+HVv4DjdERSizM65/iQ+vDSBV9CymfDO7O6WZ+ZshMVuXHh2Jskry5ney1ZIMCPTnrdhoQjWY5eYGZL75Cv8d4z8LMaKLf7NV9u4qDOY21o1JRpTds6frWlLk7xqsawivTn3z+9LBSQfnV+cXn7xLTnnxw7GevN5eJ9aIvBoj8F3gWvcd9L/fj62d+bYclDhdaWknfS+w2tvr2rmi/C85oDljwIWqqquXnd2lWJ6ulNqAekn4VucfS8RjixZ8tRtv3YMunMNvziVSNGSc71hKI3GK7PWzg+qYqzeOXtWJeG4Xwrp1N3DbPDnjh4vf1uAqPr+x44hfJz782q4AuHjnBO8STQtwp3tvv++LBBha/ZHvQrSc7a2GYUUCMW4mlomXLBOgO17Fu2XkJ62711H6rgGCmdP+8mSyL7vtnvTobiHwekiuR8+P8WkP70LziPrGCsdd7cgWISan6btGWtFCLhYblCzQoR7R8pXhO2l0Ztq9TjIXYwX13vNmlk0NGZGZZ8xEeHv4ZQMkyAWrkzoD2E94yF7iuSZG5nfiUtX3Lx3jIu1NkvyrxMuDmq8pGE6h4FT9/fy7aMpjFtw3fcqW4yZUU8ez18ghn2egjLzlsKJTu1B3lcGibuzv9FPKDxoUnKwJv7W2zD7fVovhbKrg1PatUkPWirU2PVAgGX6ydEqV1iIVMrKHpZOIZYu1WMRvjJyydLqGSGG/7awzBRjNtrcK66Vf6WwrOP1pPunKOhEOuyp05HAJrRDdoXkvt62lhFhqgyu+hzqcyK5ZW0zOJIqEkL/xLOIfgGDeueBWx7pEiRvc1Xpr+GjJjnX1e8ag/SOHj0Z0Y3cM8k71QVkDiLjwgz8aFQrPSvkxQqh9uqjnc/ZGMzf96HHMScGd8QcJTcfwkcv+uOWVxKfTwqq9iM6/M9z8+TaYUJoJTsNlH9gUPUlIfzrdR4inliP2eXKRVZOT11EDx8eOv8U58YLUKX71uqFgwiNAUp3Wx0YZFs9S++awcfEkX9aSv9x8T9NKn1z","decoder_python":"struct.unpack('<1000d',zlib.decompress(base64.b64decode(data)))"}},"rs2_recheck":{"seeds":[10000,10015],"steps":10000,"workers":8,"engine_call":"amm_sim_rs.run_batch(RS2,VanillaStrategy,configs,8)","columns":["seed","prior_6decimal_edge","instrumented_edge","unmodified_edge","instrumented_minus_unmodified","instrumented_minus_prior","retail_residual","arb_reconstructed"],"rows":[[10000,489.909696,489.90969570658075,489.90969570658075,0.0,-2.9341924800974084e-07,514.1295057458227,-24.219810039241928],[10001,552.576114,552.5761140914296,552.5761140914296,0.0,9.142968337982893e-08,579.2601669372677,-26.68405284583808],[10002,443.143242,443.1432423948935,443.1432423948935,0.0,3.948935045627877e-07,465.0936096626563,-21.95036726776285],[10003,653.496103,653.4961032393982,653.4961032393982,0.0,2.3939821858220967e-07,682.4413168991294,-28.945213659731262],[10004,484.625131,484.6251312475976,484.6251312475976,0.0,2.475975975357869e-07,509.8847197960359,-25.259588548438288],[10005,457.127026,457.1270264029569,457.1270264029569,0.0,4.029569140584499e-07,480.25118351822016,-23.12415711526322],[10006,537.593079,537.5930794087669,537.5930794087669,0.0,4.0876693674363196e-07,563.6541787347277,-26.061099325960775],[10007,377.081494,377.0814943073449,377.0814943073449,0.0,3.073448624490993e-07,398.58541874816814,-21.503924440823276],[10008,547.810269,547.8102694814894,547.8102694814894,0.0,4.81489450976369e-07,576.387771320195,-28.577501838705693],[10009,531.187081,531.1870812472924,531.1870812472924,0.0,2.4729240521992324e-07,555.7961615320326,-24.609080284740173],[10010,387.501271,387.5012711157267,387.5012711157267,0.0,1.1572672065085499e-07,408.97349753720545,-21.472226421478766],[10011,626.72877,626.728769582154,626.728769582154,0.0,-4.1784608129091794e-07,653.7863010775901,-27.05753149543617],[10012,386.535241,386.5352406817992,386.5352406817992,0.0,-3.1820076173971756e-07,407.25412256264184,-20.718881880842623],[10013,513.51344,513.5134402052125,513.5134402052125,0.0,2.0521258647931973e-07,536.1989643180877,-22.685524112875214],[10014,583.308016,583.3080164244632,583.3080164244632,0.0,4.244632236805046e-07,610.1897396293008,-26.88172320483766],[10015,512.303623,512.3036233924718,512.3036233924718,0.0,3.9247174754564185e-07,536.3583331023277,-24.054709709855945]],"max_abs_engine_difference":0.0,"max_abs_prior_rounding_difference":4.81489450976369e-07,"max_abs_split_sum_minus_total":1.1368683772161603e-13},"configuration":{"status":"pass","native_prefix_n":10016,"all_selected_configs_equal":1016,"chunk_cases":[[0,20],[17,23],[980,20],[10000,16]],"reserved_guard":true,"exact_configs_sha256":"9ca86995b120ed341bca7a3afaceb2e145bfcb223d6b9e4b282a1cf93c69125c","representation":"Exact executable specification: scratch/measure.py::configs(start,n), pinned numpy2.5.4 default_rng(global_seed); three uniform draws in order size,arrival,sigma. Full expanded1016-config JSON SHA256 supplied. No implicit engine defaults.","selected_seeds":[[0,999],[10000,10015]],"constants":{"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_dt":1.0,"retail_size_sigma":1.2,"retail_buy_prob":0.5},"draws":[["retail_mean_size",19.0,21.0],["retail_arrival_rate",0.6,1.0],["gbm_sigma",0.000882,0.001008]],"exact_rs2_config_columns":["n_steps","initial_price","initial_x","initial_y","gbm_mu","gbm_sigma","gbm_dt","retail_arrival_rate","retail_mean_size","retail_size_sigma","retail_buy_prob","seed"],"exact_rs2_configs":[[10000,100.0,100.0,10000.0,0.0,0.000954358735331156,1.0,0.7694796610065723,20.033380804660926,1.2,0.5,10000],[10000,100.0,100.0,10000.0,0.0,0.0009246490912777145,1.0,0.851788093248639,20.42961284632293,1.2,0.5,10001],[10000,100.0,100.0,10000.0,0.0,0.0009512269504415097,1.0,0.7000059873823519,20.270371798858697,1.2,0.5,10002],[10000,100.0,100.0,10000.0,0.0,0.0010077558891265835,1.0,0.8952497098054712,20.37632373129853,1.2,0.5,10003],[10000,100.0,100.0,10000.0,0.0,0.0009399064157663117,1.0,0.7208066214068025,20.678805297427633,1.2,0.5,10004],[10000,100.0,100.0,10000.0,0.0,0.0010049655743203248,1.0,0.7313353063943955,19.422557440276872,1.2,0.5,10005],[10000,100.0,100.0,10000.0,0.0,0.000934014167369303,1.0,0.8865168636488951,19.279160657599785,1.2,0.5,10006],[10000,100.0,100.0,10000.0,0.0,0.0009306782702941031,1.0,0.6207990309800911,20.646605521510352,1.2,0.5,10007],[10000,100.0,100.0,10000.0,0.0,0.0009620865658934596,1.0,0.7807389811752196,20.152786156840165,1.2,0.5,10008],[10000,100.0,100.0,10000.0,0.0,0.0009580707163637922,1.0,0.8244737490403351,20.04467945582986,1.2,0.5,10009],[10000,100.0,100.0,10000.0,0.0,0.0009734841306473331,1.0,0.6165722515590287,19.251735905018222,1.2,0.5,10010],[10000,100.0,100.0,10000.0,0.0,0.0009202615270617584,1.0,0.9466653350368872,19.99837837961131,1.2,0.5,10011],[10000,100.0,100.0,10000.0,0.0,0.0009892804130930651,1.0,0.6798305846099603,19.18326337101358,1.2,0.5,10012],[10000,100.0,100.0,10000.0,0.0,0.0009657669014200036,1.0,0.8271790689391268,19.88748139723647,1.2,0.5,10013],[10000,100.0,100.0,10000.0,0.0,0.0009267944411956647,1.0,0.9476652931987379,19.250784020968634,1.2,0.5,10014],[10000,100.0,100.0,10000.0,0.0,0.0009094091758191528,1.0,0.7234305562407853,19.966419335393958,1.2,0.5,10015]],"serialization_for_sha256":"json.dumps({'columns':fields,'rows':rows},separators=(',',':')).encode(); rows ordered0..999 then10000..10015; fields as listed"},"gas":{"CH":[{"role":"Baseline","callback":"afterInitialize","calls":1000,"ok":1000,"max_ok_gas":21796,"sum_ok_gas":21796000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":10741746,"ok":10741746,"max_ok_gas":22592,"sum_ok_gas":242365461576,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":1000,"ok":1000,"max_ok_gas":21526,"sum_ok_gas":21526000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":1000,"ok":1000,"max_ok_gas":185532,"sum_ok_gas":185532000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":10445223,"ok":10445223,"max_ok_gas":151647,"sum_ok_gas":811927105393,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":1000,"ok":1000,"max_ok_gas":21530,"sum_ok_gas":21530000,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"RS2_16":[{"role":"Baseline","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":21796,"sum_ok_gas":348736,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":167224,"ok":167224,"max_ok_gas":22592,"sum_ok_gas":3773033024,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":16,"ok":16,"max_ok_gas":21526,"sum_ok_gas":344416,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":16,"ok":16,"max_ok_gas":243099,"sum_ok_gas":3889584,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":163893,"ok":163893,"max_ok_gas":197183,"sum_ok_gas":19325856381,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":16,"ok":16,"max_ok_gas":21607,"sum_ok_gas":345712,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"probes":{"revert":{"batch_returned":true,"fees_preserved":true,"raw":{"role":"Submission","callback":"afterSwap","calls":19,"ok":0,"max_ok_gas":0,"sum_ok_gas":0,"oog":0,"revert":19,"other_halt":0,"tx_error":0,"bad_return":0}},"oog":{"batch_returned":true,"fees_preserved":true,"raw":{"role":"Submission","callback":"afterSwap","calls":19,"ok":0,"max_ok_gas":0,"sum_ok_gas":0,"oog":19,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"bad_return":{"batch_returned":true,"fees_preserved":true,"raw":{"role":"Submission","callback":"afterSwap","calls":19,"ok":19,"max_ok_gas":22522,"sum_ok_gas":427558,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":19}},"other_halt":{"batch_returned":true,"fees_preserved":true,"raw":{"role":"Submission","callback":"afterSwap","calls":19,"ok":0,"max_ok_gas":0,"sum_ok_gas":0,"oog":0,"revert":0,"other_halt":19,"tx_error":0,"bad_return":0}}},"failure_partition":"calls = ok + oog + revert + other_halt + tx_error; bad_return overlaps ok. Successful max/sum only, transaction-inclusive native revm gas; deployments excluded.","native_limit":250000,"required_observed_bound":245000,"bound_scope":"CH1000 and RS2 specified16 only; no future-seed guarantee","CH_matches_prior_all_counters":true},"decomposition":{"method":"scratch/measure.py::decomposition uses old init fees queried from EVM and preceding end-step fees; algebraic retail residual, not independent classification. audit.py crosscheck explicitly uses RS2 source init(.0004,.0004).","supplemental":{"configured_rate":0.0,"engine_floor":0.01,"steps":100,"rows":[[13002,-0.023438697961510414,-0.023438697955462474,0.0,-6.04793992664554e-12],[13011,-0.01088333579296305,-0.010883335797786164,0.0,4.823114130303452e-12]],"zero_own_retail_seeds":2,"max_abs_edge_minus_arb":6.04793992664554e-12,"all_runs_n":16},"rival_band_counterexample":{"fair":100.0,"pre_spot":100.0,"fee":0.003,"total_retail_order_y":100.0,"each_pool_input_y":50.0,"post_spot":100.9994850225,"upper_no_arb_spot":100.30090270812437},"ambiguous_callback":{"isBuy":false,"amountX":0.1,"amountY":10.040130401213505,"timestamp":0,"reserveX":99.9,"reserveY":10010.01001001001,"arb_world_fair":100.50180581795446,"retail_world_fair":100.0,"retail_world_total_order_y":20.08026080242701,"incorrect_pin_error_bps":50.18058179544704},"first_diffusion_sample":[13000,100.0,0,100.01165106849363]},"parity":{"callback_replay":{"seed_range":[20000,20255],"steps_per_seed":256,"counts":{"init":256,"swap":74986,"errors":0,"buy":37465,"sell":37521,"same_timestamp":28939,"gap":11409,"timestamp_zero":212},"max_abs_fee_error":0.0,"max_bps_error":0.0,"first_divergence":null,"seconds":16.93124865810387,"negative_control_wrong_fee_detected":true,"scope":"EVM-vs-Python callback replay on replica trajectories; not real-engine trajectory parity and not future-candidate certification","negative_control_scope":"Arithmetic fee_error helper check only; not an injected wrong-policy callback replay."},"native_end_step_smoke":{"seed_range":[20000,20255],"n":256,"steps_checked":65536,"max_abs_end_step_fee_error":0.0,"seconds":6.289950388018042,"scope":"Native engine end-step quotes for known Vanilla only; intermediate callback return pairs are not exported."},"stateful_native_certification":false},"discrepancy_ledger":[{"claim":"Prior HTTP bytes and six decoded source hashes","status":"pass","finding":"Artifact SHA256 equals URL identifier; all six decoded sources match their advertised hashes. Decoded CH and RS2 also equal independently downloaded source/code bytes.","sources":["prior","ch","rs2"]},{"claim":"Prior source flag reason","status":"unknown","finding":"Requester supplied no reason. Original sources.json and its actual quotations are absent from the artifact; cannot audit those quotes or infer why it was flagged.","sources":["prior"]},{"claim":"Prior cited HTTP-source hashes","status":"pass","finding":"All 17 cited text/content-addressed response hashes match. Mutable release API response differs; see separate row. Primary source downloads equal pinned checkout bytes.","sources":["retail","patch","config","executor","match","compiler","router","oracle","brief","replica","ch","arb","setup","rs2","cfmm","trade","engine"]},{"claim":"Prior release API response hash","status":"unknown","finding":"Current response hash differs from prior recorded hash; original response bytes absent. Published wheel digests match downloaded bytes. Change cause is not determined.","sources":["release","prior"]},{"claim":"Prior historical execution freshness/timing","status":"unknown","finding":"Independent numerical rerun supports results, but does not authenticate when/how the prior worker ran them. Prior wall-clock history is not independently observable.","sources":["prior"]},{"claim":"CH source identity and compiler settings","status":"pass","finding":"Fresh compilation matches prior creation-bytecode hashes for CH, RS2 and Vanilla. Runtime hashes added. solc0.8.24, optimizer200, viaIR, paris and Strategy.sol filename match primary compiler.","sources":["ch","rs2","compiler"]},{"claim":"Global seed configuration and chunk invariance","status":"pass","finding":"All 1016 selected configs match indices in a fresh MatchRunner prefix of 10016 configs, across all 12 fields. Four chunk boundaries checked. Reserved range rejected.","sources":["match","config"]},{"claim":"CH 0..999 native calibration mean","status":"pass","finding":"Independent mean 525.5258821780834; expected 525.5258821780834; tolerance1e-9. All full-precision edges included. Prior six-decimal edges differ by at most 4.99827820021892e-07.","sources":["brief","prior"]},{"claim":"RS2 native edge and instrumented/unmodified compatibility","status":"pass","finding":"Exact edge equality on 10000..10015, both alone vs Vanilla at10000steps; prior rounded per-seed edges agree within5e-7. No replica/native edge comparison.","sources":["rs2","engine","prior"]},{"claim":"Prior RS2 256-seed mean and gas maxima","status":"unknown","finding":"Only requested16-seed subset rerun. Prior aggregate523.5786885775232 and swap gas maximum200268 across256 seeds are not independently recertified. Observed16-seed swap max197183 is not contradictory.","sources":["prior"]},{"claim":"Retail+arb split reconciliation","status":"pass","finding":"Closed-form arb reconstructed from preceding final spot, old fees and fixed initial k; fees excluded from reserves. Retail=total-arb. Sum residual is algebraic, not independent retail classification. Two zero-own-retail supplementary runs check arb to6.05e-12.","sources":["arb","cfmm","engine","prior"]},{"claim":"Observed native gas bound and counter completeness","status":"pass","finding":"CH counters match prior exactly. CH1000 and RS2 requested16 have calls=ok, zero failure counters and all init/swap successful maxima<245000. This establishes the observed bound only.","sources":["patch","native_evm","prior"]},{"claim":"Swallowed failures and retained old fees","status":"pass","finding":"All four deliberate afterSwap probes reproduced19 failures each while batches returned and every step retained(.003,.003). Malformed return counts both ok and bad_return.","sources":["cfmm","patch"]},{"claim":"Python executor gas_used","status":"pass","finding":"Half-limit gas value is explicitly an estimate, excluded from measured gas evidence. Native patch reads revm gas_used for successful calls.","sources":["executor","patch"]},{"claim":"Instrumentation coverage limits","status":"unknown","finding":"No per-event gas, failed-call gas distribution or deployment gas counters. tx_error branch inspected, not injected. Aggregate count resets/snapshots bracket completed batches; source patch applies cleanly to pin. No binary-from-source reproducible build/attestation performed.","sources":["patch","native_evm","release"]},{"claim":"Vanilla fee parity smoke infrastructure","status":"pass","finding":"Repeated256x256-step replica callback replay and native end-step quote checks match zero fee error, including wrong-fee negative control. Exact counts reproduced.","sources":["replica","compiler","prior"]},{"claim":"Stateful native callback parity capability","status":"unknown","finding":"Fixed Vanilla ignores inputs. Native per-event inputs/return pairs are not exported; end-step quotes miss intermediate callbacks. Neither this nor prior smoke certifies RS2/stateful/future-port parity, or256 full10000-step native trajectories.","sources":["engine","trade","prior"]},{"claim":"Callback observability and trade-side semantics","status":"pass","finding":"Only six TradeInfo fields exposed; isBuy means AMM buys X. No arb flag/fair price/rival/flow configuration enters callback. Replica exposes privileged inputs.","sources":["trade","cfmm","replica"]},{"claim":"First diffusion and timestamp gaps","status":"pass","finding":"Native price step precedes timestamp0 arb. First observed timestamp t entails t+1 diffusions; subsequent gaps d entail d. Silent complete steps can constrain no-arb band, subject to successful callbacks and numerical tests.","sources":["engine","arb","cfmm"]},{"claim":"Arb pinning and fill classification","status":"pass","finding":"Pin applies only to correctly identified, uncapped successful arb with OLD fees. Side alone is not arb classification. Native code has99% buy-X reserve cap; prior feasible ambiguity example is mathematical, not sampled-seed evidence.","sources":["arb","cfmm","trade","prior"]},{"claim":"Router order and rival fee-band assumption","status":"pass","finding":"Native executes own arb before rival and own retail leg before rival; allocations computed before either leg. No arb between retail orders. Rival can leave30bps band during retail; prior100Y equal-split example follows equations. Replica pending rival state is oracle information.","sources":["engine","router","replica","prior"]},{"claim":"Replica/native pairing and zero-retail configuration","status":"pass","finding":"Replica Python RNG and NumPy config/native RNG differ. Configured zero arrivals is floored to.01; only actually zero-own-retail runs count as no-retail evidence.","sources":["replica","match","retail"]},{"claim":"Reusable aggregate helper in prior source bundle","status":"fail","finding":"measure.aggregate expected chunk['raw'], but measure checkpoints write 'gas'. Unused helper was incompatible with its own checkpoint schema. Final source accepts gas/raw and was checked against native checkpoint; measurement loop and generated fees unchanged.","sources":["prior"]},{"claim":"Offline reproduction / dependency completeness","status":"unknown","finding":"Source bundle is complete harness code, not an offline runtime. Installed packages, native wheels, Python interpreter/system libraries and solc are absent as executable assets. Manifest hashes and download URLs do not provide offline availability.","sources":["setup","release","prior"]},{"claim":"Model qualification / goal gain","status":"unknown","finding":"No optimization,4000-seed confirmation,top10 claim or new-model qualification. Reserved5148000..5151999 never used.","sources":["brief"]}],"source_manifest":{"brief":{"url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/main/research/filter-brief.md","sha256":"0ef2200226b68aa58de6aad268442ba09ada710c54b3fb0ec35c77b491f78a4b","bytes":7234,"matches_prior":true},"oracle":{"url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/main/research/oracle_table.json","sha256":"3e9d1fc8874c6d796d4c26948d486b587f2a6b5610b20fba99923a60954cf4b5","bytes":843,"matches_prior":true},"replica":{"url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/main/research/replica.py","sha256":"d079712fa1f4850ad8337e656e7ee8dbdde806cd4762d597fae50f547ef9c7c4","bytes":6907,"matches_prior":true},"setup":{"url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/main/research/setup.sh","sha256":"dc7fa6a1e59f5b043d3954cf68d538318b7affaf5c0db3ca69a1822680f300d4","bytes":1092,"matches_prior":true},"rs2":{"url":"https://api.imd.fun/artifacts/19f2ec857df536e8ab62ab1da89ec6623332521ce46849f15bccff402c63e1e5","sha256":"19f2ec857df536e8ab62ab1da89ec6623332521ce46849f15bccff402c63e1e5","bytes":61524,"matches_prior":true},"ch":{"url":"https://raw.githubusercontent.com/ChengHua926/amm-challenge/d34a5199c59a4c44d5336a25f1436b4ae1f21104/contracts/src/Strategy.sol","sha256":"6dd68f77a70900319460215374143dbd5d924198450a46d9f5f91f6b1e3d35c3","bytes":9399,"matches_prior":true},"config":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/config.py","sha256":"e4b13d9f271fe27e184157904e6e9f5079db7c49ec5c0e1a31b52daeea2c1f9c","bytes":3550,"matches_prior":true},"match":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/competition/match.py","sha256":"78915a1aa36341e61c29f333fb18b31a319f70ce3e8bc2f737ba8b003aea5c17","bytes":7452,"matches_prior":true},"compiler":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/evm/compiler.py","sha256":"52f6a4627a4aef298d3f3602ecc8dcdfa9c7e1b9c2d2145400af4898622307f4","bytes":10438,"matches_prior":true},"engine":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/simulation/engine.rs","sha256":"b505e05c1ab072855c708747421e382c31223fd65b7ae0402282bb07f6db2e56","bytes":9500,"matches_prior":true},"arb":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/market/arbitrageur.rs","sha256":"f81bceb19ce315dfb457253f35e5dfc6cd78c587c54f06e873f0ef2e978f5503","bytes":9112,"matches_prior":true},"router":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/market/router.rs","sha256":"3d726a0fff1f69e639a8345d722226888089fd33b4a825fd85ece6bbc565994d","bytes":9783,"matches_prior":true},"cfmm":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/amm/cfmm.rs","sha256":"bfaab0d22531d2d920d4fe108ae78ebde759e2b75e96ca4c8503f7979a92a80f","bytes":10130,"matches_prior":true},"trade":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/types/trade_info.rs","sha256":"96d3db718b665b86c99a9a879280e02947a7ddc9c27e2101158cba8387184627","bytes":5839,"matches_prior":true},"executor":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_competition/evm/executor.py","sha256":"cfda99d85a4678b558d96ab58e8c157e1f1c35a6fc95e5c09374974dc32d27f2","bytes":9422,"matches_prior":true},"patch":{"url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/main/instrumentation.patch","sha256":"11f79c95f30eb7d829be6c34d57caf28f5b3de39dce8f81bb62a8029231e0e1e","bytes":8514,"matches_prior":true},"release":{"url":"https://api.github.com/repos/gtmcknight/amm-sim/releases/tags/sim-6b6921f8","sha256":"1f550fc7d3427d2401defd71f117d6d8d72c6b7a2f3750224693968041f4b210","bytes":18463,"matches_prior":false},"retail":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/market/retail.rs","sha256":"45e723d23462c1a00fc2db4da6aea0db73e49e871b21cdf060e9a470053ecbe1","bytes":4107,"matches_prior":true},"prior":{"url":"https://api.imd.fun/artifacts/939d954a3de669ad66c90951fe406a6f2b799fa8d4771978ba9d4d6a6d517e27","bytes":63610,"sha256":"939d954a3de669ad66c90951fe406a6f2b799fa8d4771978ba9d4d6a6d517e27"},"native_evm":{"url":"https://raw.githubusercontent.com/benedictbrady/amm-challenge/6b6921f8d463314aa7c96234e1be25a25245f704/amm_sim_rs/src/evm/strategy.rs","sha256":"c87a48231191436fa1bd8d009173980b74e6af0335d3d35fb4ec505e17263e4d","bytes":8705}},"dependency_asset_manifest":{"python":"3.12.3","packages":[{"name":"amm-challenge","version":"0.1.0"},{"name":"amm_sim_rs","version":"0.1.0.post1"},{"name":"certifi","version":"2026.10.23"},{"name":"charset-normalizer","version":"3.5.2"},{"name":"cma","version":"4.5.0"},{"name":"idna","version":"3.20"},{"name":"llvmlite","version":"0.50.0"},{"name":"numba","version":"0.68.1"},{"name":"numpy","version":"2.5.4"},{"name":"packaging","version":"26.3"},{"name":"py-solc-x","version":"2.1.0"},{"name":"pyrevm","version":"0.3.7"},{"name":"requests","version":"2.34.2"},{"name":"urllib3","version":"2.8.0"}],"binary_assets":{"native":{"filename":"amm_sim_rs.abi3.so","bytes":1643000,"sha256":"ff88b6353c2aad7342f0a26194f7347e78b9c3b38d683a7449006d423978cd14","delivered":false},"solc":{"filename":"solc-v0.8.24","bytes":15020760,"sha256":"fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f","delivered":false},"unmodified":{"filename":"amm_sim_rs.abi3.so","bytes":1626664,"sha256":"414ea6d201d299b2967b2aee72c9704758fa69acf6df6cd295d83598118efd37","delivered":false},"instrumented_wheel":{"filename":"amm_sim_rs-0.1.0.post1-cp310-abi3-manylinux2014_x86_64.manylinux_2_17_x86_64.whl","bytes":727586,"sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a","delivered":false},"unmodified_wheel":{"filename":"unmodified.whl","bytes":719147,"sha256":"4ef4bd39fffb8bc3844b7d3df9024d647ac17f765165a71442ef80268f8c880c","delivered":false}},"compiled":{"CH":{"source_sha256":"6dd68f77a70900319460215374143dbd5d924198450a46d9f5f91f6b1e3d35c3","creation_bytecode_sha256":"5394c5867ef07044de4ed82dc598e1b53126b430901e9458ef0aa53d5259771b","creation_bytecode_bytes":4161,"runtime_bytecode_sha256":"d8f16518e85dfefac93b2ecf06428d584565b809f24201dd7dc5528175464117","runtime_bytecode_bytes":4133},"RS2":{"source_sha256":"f24b6ca198b744c380842c3a17964a6dc21f311bb04984b26733afa3fee8eaf2","creation_bytecode_sha256":"fe151c817393f5805eb613d1dee3a4841ef68f9693100d2a3a3d49d8c059acca","creation_bytecode_bytes":9850,"runtime_bytecode_sha256":"df4165eeb2b26998b0c139cc2ea0ac4df78fe32e6f678e9e3153fe4e322b7d43","runtime_bytecode_bytes":9822},"VanillaStrategy":{"source_sha256":"62d40ccef0de99a385e332a36ddf9cbd1da73eda06bd7954492a9880cb91a572","creation_bytecode_sha256":"3bcbd8a295b9d9c357e76df36a08c6232f8afa692a2189c643fe0d029a9efc05","creation_bytecode_bytes":668,"runtime_bytecode_sha256":"69ed6562da17454439bad4fbe3690194539001ef8ca2068ea50d937ee50c670b","runtime_bytecode_bytes":640}},"engine_repository":"https://github.com/benedictbrady/amm-challenge","engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","compiler_settings":{"version":"0.8.24+commit.e11b9ed9.Linux.g++","optimizer":{"enabled":true,"runs":200},"viaIR":true,"evmVersion":"paris","source_filename":"Strategy.sol","outputSelection":{"*":{"*":["abi","evm.bytecode.object","evm.deployedBytecode.object","storageLayout"]}},"sources":["compiler"]},"binary_hash_scope":"SHA256 of actual .so and solc bytes; creation/runtime hashes over decoded bytecode bytes, not hex ASCII. Runtime bytecode means compiler deployedBytecode; not a traced deployed memory image.","absent":["Native wheels and shared objects","solc executable","Python interpreter and installed dependency files","Full engine checkout and system shared libraries","Original prior sources.json and prior release API response bytes","Pinned IAMMStrategy.sol, AMMStrategyBase.sol and instrumentation.patch source bytes (hash manifest only)","Per-callback native trace and failed/deploy gas measurements","New stateful Python port and model qualification"],"offline_reproducible":false,"pinned_base_contracts":{"IAMMStrategy.sol":"85b2a0fce484b1c4f70c5bebe6c06042293b2099983f0b641c4a6656c7ea15ff","AMMStrategyBase.sol":"3f4154a6c4bb8f1223c7fc0bde1f9cd9dba10cef502e300d0f6d229f610b8869"}},"source_bundle":{"encoding":"base64 -> zlib -> UTF-8 JSON mapping relative path to full source; SHA256 over UTF-8 source bytes","sha256":{"scratch/measure.py":"5eedf295190981ee0fcf4c1434706b98726878e272728e0663a2dde4676f0eae","scratch/audit.py":"53d7f17facaec81e6cb2c33ef58070ae278500656a647a8dbf7bbbd8883cf241","scratch/observability.py":"2710bba18a1dd8b60095a5a4fe9496b2a8f01eae4f5bb09909823bc66a9b9bf6","scratch/recheck.py":"2ee9aed40383a5524c0e77177254685269b49b0fa190c14a5230560bb81be73c","scratch/replica.py":"d079712fa1f4850ad8337e656e7ee8dbdde806cd4762d597fae50f547ef9c7c4","scratch/CH.sol":"6dd68f77a70900319460215374143dbd5d924198450a46d9f5f91f6b1e3d35c3","scratch/RS2.sol":"f24b6ca198b744c380842c3a17964a6dc21f311bb04984b26733afa3fee8eaf2","scratch/setup.sh":"dc7fa6a1e59f5b043d3954cf68d538318b7affaf5c0db3ca69a1822680f300d4","contracts/src/VanillaStrategy.sol":"62d40ccef0de99a385e332a36ddf9cbd1da73eda06bd7954492a9880cb91a572"},"archive_zlib_base64":"eNrtfQl720iO6F/hpOetSJukRcl2ZCl01kmcaX+Ta2P39Rw/LiVSMtsSqSYpWep0/vsDUAeLl+1098zO7jo9Y5F1oKpQAApAoYqfn2ST1M8n13uL0M9WaWgvt0+GT6LFMklzzU9nSz/NQvPaz67n0dj8OUtic+Hn15/iaZostCU8QrrGy3+gHP4SrxbLreZnWryUaf5i4WXRwkszzIAnDgfTJ8liGeZRHiWxHa4XNr5H8zAVwM+TeRRE+fYlT/8U439BONUmSTyNZpme5X6am7Ex/BRr8M/PshDqUeqx29X8ONDi4249czd+5h44+4Nut6slKa9w4Bw4R0dHpvbpSRpC2XUYaFkYBtmnJwwCb9W9vGLvU6wKBbQo1lI/noW8P7wJ0Sv8l8YzN17aUCpIFjYMwV/Ncw9SdQRgFAWz6NfQhXR7FUcAf6E7R7bZc2ylCMxeuYh9aJYKZNFs4ZdLwEAHg54Jvw48KWX5mGx/uQzjQIcJss+jxWru46y8pEw99rI8XGYuVO12zSiGGfPn3jKNJiGm2WYBDv+JAhuWKV63rL5tzsYLb7Fy+RPrLP2l9yB3nSrENMz9aO75aRqtARJDAPwxeQZQMvQRMYd/RCo+c/CO3WsGOV5tYSDJ2LUPTJwJl6aD4wfKrNJYoKigviBESk0yolw9lSOchqGLmN4XM48Z3jgKqITnZzeurpRV6xlaNNWiLIqBduJJWCoGL7k5nSd+bhhaOM9CTcllDX2jvQ5D4LA01JJVnkVBqHESzkwtS7QbJPFtpk2jDZDraqnliUYQo3hmLRNoQEuTFdDmdGoLiBfXIQAca/4kz7RxCHQUcqyZ2gp6OtNyKLFMw0kY4BvSSAebiP25li2TnNgPuphxkIyIUpt+OQf5UYp8ATPrb/XLzMYERlmMu5C1qPwVnxMEnClVUlsgQwz4spOtxosoy2ByOleXztXevWW6V1e70DjCZo1XClT6cjm0nCvRIZhetT9iygkgDr7W1F3AgERqwCCtDZhzJ7BN19x23fsGP7pxN92dLReSG2w9+yXN9Zs9QrUx2hZJOyyJFZ0BW1nY4dFsDE+IB5YBFIhVFtDuYrXQ8dHf0OPGKqDrM38HZ9swzK5h2kdHOxsOeOlHgYslNhaAMqytsTfzObJXW+DWaUQN3F6HaahDkeOuqTQCCQTYQjgIuys6nCYZYVeU1IuBzcZ71BlrA42NZRUk7gjWAXdrYX92Z+MdgiKIMZzPq/2h/HKPBBSL8qhzar+AyVyLuJE6xFDGgBG+n1EFOXSzaNWoSCqAZKZ2GMyqk2xBTiG//NksDWcgP/XJ9Sq+yYS4won7/KVY2ygXaYsVU5YzzE2TW8xjMOxZmOudmZ91SJLRk6zJhJZSLvVvOyDLAMjl1bAsl2/CrasD6MtOmszDzpVJzxN/Ph/7k5vOlVEuHoRZ7kK/7SzM+aqqAwjzM6s+VCEVUIYVoF8qUHF4N+aa1vXk1o7ycJHpRqWnJOCnGiGIt6E0cTWEZQPE6yqs18JOX95cuUAfOj4TUm6QJNaEvRvX7UCel9x4hEdCX6ng7ro07/Moy5HubVgdVyF01aiqSt7kOpzcyDE0qmDq8wI1RKGHvcWXj6s4RhXsQdVZo6L+eBXNA2/sZ6HHMswXJ+enb87enXrfn3w8O3n38pTBjWFBWoeu0h7qHlIdYRqIyWC4NaikSrnvkjg0zNi7TdKbMM3cgbn20wgXVbfWqmF7DIrQJzkdTKNwDlK9wxUfraTyFPqNfNpqTKfRpEKjMVWmSXPRqkqLVtNXqtoJaZkdWJ/mUS76mKxgcKLfXRMxY5QUXaBEHejFz/NU980bw3XF2xjeiMZ9c4zU+2u01BGcyfDP8oiuGSL+CFzRQ+ep2esbJjZz6Twd7nev2prhNB1EE5CHbMb5fLAfE6QakWeYuUAMKFW8KJaTfJGuQqMgfrIcvAzaBa0KjRcY5CJ0O+c5zsVs2xEswYq4aNBQOcNOQz/w8nADKB9Bd2YoarhZZGfXfu/gUGeV7DCeJEEIbGdfhxtWUkxTuFmGkxzo8nPn5bedYecwCA4H06dP/afdo2637xztH3Z7zkH/6b6z3w/GwUFw1Nt3jgb7B11//zA4mh5Mj5zp4dgJ+0H/YNIHGfPxvAeApr398eHEh6Ljp/v7k/6gO9jvTfq+8/TocN8/DCY9Z9p3nPG4uw/Qxr3Dp/2+P/X7oEYMQn/a63BBD/JGGTPQ+wJnRHR7KGadj98VGZeVSlfCRGKmmlu13QQ+UL5XkMixuIsTs4v2ph2AIZnpApbtwdpYcDpMHGikumFmIFs8gJexOd/tZMl80rUHdm/fWkf+2UfQANIos5Jl3ut2O8Zd0zTxgZ7Y5HeEfczbtzq70Mhux8audQyJNapihxuQvbg4CLqlAWCHYQBUQiEjw2St8jZdOUL+wDFBJAo0x1E/AZ1gAjppZk7sME2TNFP6bN+msDwx+AruaEWY2ONtHuKYq4pCNVv2i7EN9wzofrowKyY2F+l5tOALW+7is71I4iRP4miCzOKb126F9SRWO7sAFbAJk9WBomPTqxWVk7yXpZO97/04ms99wbBU0exUUsW80MoE9lm0ACOE9/UVe71j6ULnQ7gJJ6s8kc6H0+/fCuCnPKsw6tyGXB2xmek+kJc/zcPU46sDSHWdd0EHaWaYygu8loUr1pHTTS8040XL3OzLXJ1pjFQGdG8yIk0lDTRzSjMKfW4apVne4qwwe11VwZmANZi7oMLrva4oYlF9lIUoCYhXpnJaP8OsfrE+UxH4pfpfSizD2Yb0GMk1FW3OVbiHCqrMIxkiuOygCOlcue41GZmQQH3EFDZInhpjCvWl3FBdN4OeAUxaxkDhMFGBhcXfzzMym3JYJtA1UknVlaGNmxhhjLhxsWa6ij16gzVzbIpVkTprUgcNU3XLgNpZ+Jmkxo1zR0AALxmoulkFf6T/k+rg3uGjyCraLrYl/D9gT6Ou0WxFcNgmNHNV6auNwlgvpugyFZZuyrXoDGaCxA4jPjZy+rvLxl/ycN26JXTrRvsEdbhTBBW/AgRoWxFTBrEmANSijIqwwqjExOSi2OqpVKsLjUTvJMkMxEwarmE48JDkYJB51/4cX/KNR2wJj2OgTyZU0aJBstNT1bTQsBUCSELhTMoEqEsp57f+skO2ENRTtP6rZz3QAbq8UwyLOIoplmMWDZgJ58X0KPgLXNKegCVdFOHILO41Y2PGH2bMuMIkOsM/JrTpQgMmIc6Dtm9cegRzE6gVtK8qdVvjXGkyXyxd4tjbKL/2stV0Gm30jg3JIOXhb8s6FZiAqeTWi/3Yfe3DzBisdBou5z6sBQhSaQUU8LhU//PNcK2aa4Ew1phpJpGPQ+yYzED9gnJyBSjhqmJhls0Zd3E3BLXVCef+MgPt26yNPy+D+RRDk56Ha7fnwdR43sKPYs/rcCZdusK5bp+ks9UijPMP+Aaq0Whp+0EAVgJLBlpJF516KpNxZr5dhi76BGPIAivlecfkpq/brVeK76wAUn/ku0ub+oW1pA0Eg/FtpCC3Q7ZjZ1hDftm0FAyM/KXIJWE1ICw7QtckiF7Q5GHYpoYD1RYrENhj4Ekt86chV8Q10kRXoI6kmlQdCqhSQ0Gwpm+ztcy3Y+jEE1Nucfgr0EFLGxy0n5FtM5pOuctx7wbHVJuHsQ71oL3Z2jh2iNXF+6WDvLiKF0mAQws6Q8xBSHYU4/B1XERTvaxfKuXR2AC9Zh0yNFJH+BBFR3akTYNOpLI57zcoUaIVsBa4rvUnq1q/Z71jOwjOYbHYlRa6exe5OxY42uPYN5n/3Rj9kUVNtUALAdkqB3OUnZ6/jNy2BYqkw4eP71+cup1OZ5n6aONn3ELS/h+zWUZyz+zzyVupXb4Aq+cL01o/PbH3Kjk4Q5+eKDUvUj8Iz+JpotQ5UyrJCmLiNZGD62MFuvYZSHEVTxDDWmX50lcgDMB6M/kvLMIbKIC+/yVSbQLrZsr2IRCZWa38Z5ah90PnwMQ/xuhLtTlcG3U5JA1X1cDP/a9v68X7Vz+p0GHBfwdyWr8XEnAt7m0swkWSbkWfAavolQkBkV8AKkyp4M0pUBLAKTTbP43nRlXnLK4z5jgJtuR/1AtNhT0AN3YMU6gxKIQX4/lW+0x1P3/RHPwD//tCpRQtplSYz1EXdSNWsqQHKSXRAwP0rFM51anrN7gCpL1LPCEX+w5OU4cGBRwsFw5hDvkl65fU+OlMusCcHokWYwSJoHvaYtOy11U3RhtU+FGT0CJN1VcMZJBh01lZRa8rqSOwi2LUcDaE5o2itG2alTZaRjaqwgj5il5YW0ez/BJn/uq4W19iQadt2iZyXZSNfRSNfaPYMCrJWMQY4UtpESiOtcW0SSrPqSQMSOsxsTFvKXbLWRrhJS+LUgAlWSQMmfKsAwuswCK59QMTQGAbYSD4htdDD7k/zvT1nhM6A+uWdX9t3gr3YiMM6f5D/0++LXu9m50DJkgE5EuYPL5ZJN+BXHGT0x10/ywPQov7PA3tHGWdqC8FX8nzgswSTXzhQrqLuUjbuF/alDydTaKn6ocSrj4wIDJGG+QTAR0HaBZ+GJvCw3i1xdRwPscfVIxx8QRmWWCxGRWWKd6vYZq4womNlhDBcbv2iGwWtzDwJnPokvYRxcZ2qCrwU/KR6NDi1Ny5jgJQNqs+Bsyzw0YHTuEQMye2P46An7EwNKY2LvnfZaC+ztsjkJlKsZaqLp6S/wX4GKF2rnZdp6jHnT2umwofj+uKRjrI4x2jFuqAvCRlQBlhSewR1TGkwYyZ/sb0t2ZubsxtGxLjJJ4nILOKaWKmfLnUGtT98Rxd8pyQYaFZbTsoDuGXGeIdpI6OxBJaGP5mB7ndMPYK3O3sQEK51LatVF4q9yBgbbCM5llBOmezIlJaxlUqU6Z0zMOmc1fSvOKLkoSHahlasUh/DRuQskcl5lJgS0CG7MfMLwocy/xdx2hgFKL9yrTm6XaoMcFbZgFEizeFGjqf+QrEcDMJlyAX6Qdk3h3jYSKE4S/1o6zCe1LWq0tbpbE0datrjbJGjAoBg4tMQcfwtz4dkHjshNYhC2lhblTmThoy2URSUAYQFULNBaOUYaraA7foS8WJxxgdmnzmYpuNzCwrl7zHxXj1/g6RMKjW/MEgC6nvMFwZbDjfaDEGAkTrkFyioKEMtds0AY0XQDHDHFVaLQfVJcXttTbTry0grkcGX6+LWviwWXEjhDkGaCCKbsUWOVTIWD6T9Tpu7HK1DtR7hKLDH7u6o2oqierWK6XLPVqjwdzDxjzquntZ9P3gyqRWvSVSOc4yNc8WQPZjIgWBquLJOXALmsKnMVSvpO8wc5goyAtgEtJZiFuYzEV3h70pJs3jk+bRnFHTQZiz/UbSxbJJsgzdDix21jqzPmzzazB+hK5JWPa3sAIIfANr+z9D9SSNwmxEcgdUg7kVxrMoDovcLdesWIAllJquAIWhNYH3KMA97gmQYzQFkDl3TTKFjG0wexW9zP9zHRPNWn6Du4JRUrd1g0QhXvRZtNAvmy3ILzvrJxT+Mp0NJ7ZCs8p+QaOrxK+ZGULvB90vDHTmyWhxlBitHnbonfGVewnEywwZzDJokNbSJrnP6qhXJZAg3TkL1m2pWsyBdNdf3lz9YUe96lP/GjEQE+czYUA+OJT4+Cb5P4wDmm5FEHRtMorQu34HU3NefcfEMWc5gGYhNO2XVZKHGRt3nNzGGid+4N75dgQjgQV4AWsCMV/B4Gyx8KOUBYciDsPNkmjJ7jzAab0AZdhV3JwCVUgxruqJxFWSCpf8oEwXKrwiSimRyMtUJINSsJTDS4tirDtltyr5fK3OLlaXu/Yt2w9sIA17EDVfNytpXA6RHK7KXuZkjPYvGAxz6FTd24zOZZNtmLd7mO92+SKOs/9ady/IpSLeyOlzP64SLMjlXaYIPFjfRpOmhRhYgvvH2hzGAEiKwW+0U8YNDBIoPwlaThjBDEoixcNjQLPddWztJFhEOTEFV1HhAdVta53MVwsAsYpFPDJ3PY+45fZneKGru6IPckCzqE2OJdZNb9vopFZ3XXmv603InV4ZSm1yCY5OHqmZqolFUdEC2eKXaXkHl20+9kG0C12Ni2csTbqA8NekICqs9LJ3pUhaLGQ8A7XzqZjVl/MkCwMLTyiAVII+zcNsqLEdIjQuBV/NSfUIQCEFbQU3iijSFbdMRaQcrNzzOZ9WNFsxbD7g5w/4qQO2GPH1Jt64GyvYjOKtu9nZ7sWbUbB19XiLsca6Y2HcxChbujFm8d07D8N0s6XI5ntdv6D3aZmACpakAaw7W7e3E2zFAE80aPwn0UcqoVEQH6sIpLlcZdcg1l+8v/hWQzCZjN/H4Pp+F7RGIMM4ECRLHETWFg5uR3d2D/AvdWmPuRh2dnoNgXSJxwmMZAmzVxg3g8AJBFOabNnxiLNcYChTMrKyVYwz6cEaJEDSIRkXN8hojoulEIjdW0TxKiPk3UschoxSgOVjukLSd3mK6S/G0NUEQInVjXuesherLRPbUAZV8R/dYMMff3KDram6nLin8kc33ojnn2CWkQUxYHQeENe4NNniGImSTvRUSs6T3C/mvk4OMKJJkqagNXtLWFdJH0BTwNWpDZwy23IMZgkYJptfnHCPzIow5XzBBlt0Auw/D4PD2Rv6gJDkWW94B0WnqEToT65Zx6J4ucoh+QChJGB4EBiFsMzVEs0coBjEimhE0D3qkXerDIErlqtReWEuL5N3rstB0xIcwOrr1FdfQC62x9bdT/TfGayaKBVBkPC1EwQGnm8hrgJVMQpvQVZiQMm1BXojKSti9cVtc8hJY1higO0+rmLmsIX5i6EUwQMmBYkIyhRGO2i23KEO47WdXTM7Auqy3sjdudKZOtp/xo1olonxkAuYONzfwpNyi+BrtQW+NpvqrrxZVgBazt49LPD7HxH0/YeOAqJmlF37+tgYclFXCSwdVwI9KbQRaJUpUo1OjH/5yO+HhMg7h//oGHku8Qtjk8LPjd1KCoWlc9sTBNkkZzpWcWYJwZDYmBTuIOYLwg1891JElk9EZLkSLn4lXeJQsijKEHSZXTVWoV4InQkqGqI7LMqV7aWitWeYImRdPxqIBBG9wPY3Rajb3b1UlOPKoVXQox5cV4wKqw55PObVVVPn+bFWwKKJz0/xRGuPntnpVof3Hr241R5hOnfSntDggKJOcckaLn227UPBPeSQrZTADWjlzKw2W/lpQJYfhrdA1fJaQPNgicOnd68FTFUBtTiWRwBIFyEYBpjUYA36Oe446WC+mJ1hh8UicRkSsG1zOpeQLkx5BoDvm7/8FqqIbr38lhtBhfVj6hRwb9YsrEqhqtlk/j5ji01OVjuHwIKLjdHdW36ZHYQsxp3HkN8ZQk4B5EE9VluiSNZnrbPyhusWG2Wk9V+7LsphtncssH4JyL5yP3cYTI+J5M6QFQTkwKiQeDwBqVRCDU1vKErd6QxR4yyVBOMOZXobTFAK5sk2DLy7qpRg12sgKS1B+/RhUXG5U+7ycwex1RkGcgm/7GB8CR46A/WCbDjI5I9fiBbJSb4I7CDCGJPxiqS3boDYCrfuHNTdwNeCIcYwEyB7ntziVCOOa0frTTz5sDGXsAagMQVFcN7yrKD8uT8O5+aS0zyTJh2TiKwAY3veFMnAM5CgESYvQuAxStajJ4+OKc/BxEzmAXVqj0pbaxbJRPygeIHMtri3vaJt5RG3XvvAH8DGjBtA31zadGwHtU06FOuButcZLlnkIihse52G+kJI59kljR/JEQfIJouBNDt8wpcYQ4ib/agS4x5CRyWeZYkLiQq+0c7iNTSN7nDmatA4XkD8lWYV2AcsVeQqK1I00zwNQ1JZbD5JLSRBOIAK6JTnTgpyVrN4VxxQph6lxN1DWFCmeN4lyFBB1TuArQkLMq5lBRFZJ6t0zsUwluqEIGDQ8O6wo8VYp3ygcekGNm4Bg8DGHkC+aHxpRxlLM4a819JJwSCZDRhljgc6WVCNoBHsxsNoGD+4bp3ZjBGdrOzIaWDkTJYU1ECW5h1qKbkAaTwNkQDY1F+RXFPWIs7wAkrz2lOcM/pEkS+qsc3N788Yy5uvgOw6uLJCReHlTMNptPFAXDA9roNsloVz2tMRKphHdiaTUXwR7LBzcBPQ9ADo5SVqLFfmJakw8MtUGEzgKszVlSkXbI/W6s6Qdow6BFC2pPLAA1bwMpOYcgUWD6YUneLB5JKK/ZhL2qJyhSSz2bvHJSce+mp1oNeVDGEZ3qle4BHzBmOTkttNXWZGVOxQtmep2KEfcFOM77qJLbZkqo3DmHZvx6kfbFHwWZNrpEJQm7V/PxwfHvWc6UDTmS/GBvGuTaaLBT58isEmj0BZmIWrlHLArAWbnT2S6QCPhqnhWPOQW65o9PKoalIoQ7DA4xmd8UsjNHfJzn33N2T00F9kGrpfwPaSlT/iRjDrDl0n4Y9B3EO7YPcmQEXaIlmHKOSooZBUwJxiTBconbUlKCwT4BfaiIBcwAaVRCWMTAA0leMTVm6LoVdgrxe7GOSV0HB/Z8v9gAAggjK4DYI+DU3n7kCGARj+PLoJixBSQNtyvsrQb5iAQjYPNXQAaHoOBE9XUGjMvFuSNsMcbxp63hB4J2OXWWQ93hG69QKkGaAQpoPFk8KkyhGFuChAHxAWDyPVdB60Y2riWJZd8Q3QJoHG7odBbPxdc9F5aHe1HY15MLuf4rcnP76G9C66Md+xp263j57GGJiFgo9SjS4FkTsHoEkspyi9Sz5BhAukPdWe0SPtqegEnVKPNXpmmzfKWXK5Hc+nytTKV8PQvigZl7y5SQqd5JfefKQfMKI8KIr/13Y15fIbsoHRMoYak1S9/gbg9hxbBMnAgMoluvahqRX5zIyulODX3xC+lAtw8BTndDYs375DnTCxHbMANp2JQyG1ASljSJtzYaAiuCZIo2kOhayufQAzy+DzX77jtvLmiAMkCFhhwWIXfTI0S2PVHLvH/nIv9IIhhaoAV+sWvIvLNAQdcee4Y2pbR6SZBWlRJmBo22vJnI5N4BXIZFNvs0A7urZH4Er0s1JB0OAYmEI8+8KBjn0Je4yUJYliIrC0w5KRvkF6CTf6Hjn/0bfMy6+p+NpRgWSrhTcdQwo9+GrWjEYIYC3t3Wte+pc0F/jD52IfSIkG4KSuhgEstR0F62xud+WkLlN75q+yTGfItLvqHvw3mmVZmpTmZomDKQxBZ/sBKEAVrRFwCJImpuP/Ct3imGDq9mAOS2caIeOZtqxG720QMXjxyd+hhj5DYlrS+UrM2PQAM2LbQwEFmcdatykKAGvhUVF/Y2LtHcD10VHDnn+cSvj+ZgSvW3jFLkAGvIJ5gQmYbMFgRlpOr5S8B9NWB4i3oODcb3AAUCnfNl7RQcWa+14ie+iGic2PkCItl+oVVcI5w+dxDZ+bdYHPHaSvPUAnx6YOmRY0YTQM4S6kSlztsuHNejWEbRM26RZmtCIHSlkcQ43IgXzoAa1Wfw6eMmREkDFAi06ZFp0GWpxJZpz6NezM2pBTIeAy/ToN9Hsfuut07LTTsTI/zoNo2anScjPMh5Dzw0i6JOqV6XLEdI2YfC3eQHzuuq0tNi0AMnCYbb5piLUcVILc5E2bGlkU2tIUosl4APS7VouCDZ0GNlRIafxgUqrwbgPrOkbzjN1HTpJCBAe3MLDTxsAPZeKvZuTfSx3b5HdQB6MBJI5t8g8nDraqMkWhSEV1qjvSfkHlLOV3MKpH92+vwTaF7GOmSVVXSxy6g9V3WuqjouApikLtyAFu9VBd0OdwnafdljzUSddD1aA6eAwjLzVGivpBjaqh3BBHTahO8TXTfmSbkj/V0TnzW4UtyT9HsAIJvxnqMFsHuaEnM3psgYOMHmSguuujpPcbFucAMgHGLpTaaVy9V9iejrn6Ftc5gou4MkhmItsFdGOE9heYP2aNECr3tDZo3K5Z4UojzBqqwhKPWX1KXzkNBLeikWIZCwo08vwKNQAntPZb2X7LluVdLCoW7o3ke2C0TSLVrHTTys+b5B4WhsUXKHOFcKAsiIZRfYluHoLzoCGg5FoxSmgZgvOHh4BEsnKUEYQkacJgxOwA8cwEUNOUtAq037+SbUBQrZySsOI5f660kqflFRbGYyPAw3Xo+UaQ5l7TIjAbt65+JFAkb29pRsfwZ4O8PZa8vZW8vRG8PUbeHrfx9vgO3l4XvL2RvJ1vDLmg1jgbxtfI12uFr9cqX0MFlnSMdSlt3cTTaxwhlLAgu5Ed1vdytFTF173fpYqXVuh7OZoaQf1vmzyUo9fOg4aAHL1m8/97lJEHDQFJg9oQI7iTo+9SKf4MjmZKxtqpaR//EIbmXgcY1xQQzF0P+ObXI/LQgeGGDjP83bAn/LcuYsmkS0FRCYPktZviAPy1C3qYWe/mdOzyhveEPw69Q+E+9trlvahmNUTkKxcxo0fHlV4dV3Xt4H/s/OVrvExYBH2F6ChnW3PsJKE2NYbsDBkqsNOiWHFCU9vxi3vTWFGT/xbFy+cT76xSdO09uXn/A2PmeQeZu5VS0AerLXVnd8Eu7BlHAb5a+FpEiV18/O5UdQ6rXmh0PFOnpBe3BQcLgQNyz92LA3LnMi9lvxUDUYbRQUyl9rm9BVRMJEMEnfVUBTRDtkYKV/TVQg/M0H5eoph2yB2LXS0dFSmWFV7KEqWgZqae2KIRMFapT8VLiu8qT8bf4+T2Pp+7rZ3AZNHhhyG7DWayylkUH4ZVdTKazPFWW5nihuAczOw1KsPhHOHjPM8TXOlgmjmgZJXjmwoG3wkMr+2PcU+DyAJq3zvPc1QZ4Pc6ctHRp+KfsIX59LTiv1ASSaKo969CHCkSR4YykSb73WvUBcYsbUemFeV/8clzuqlSEWDNJG9K6pcIZwXJlaLXkaHS3C9j7oepUByDCC2l41J9BaLVDJFjkNHxLygnM1NhgF/80kYeCwJ6Mnyyt6edf3j1o/UG+D/OQutM3l001N6eXXyK229y+afe5fLw21zIxmGXomA4Gl42n2unb04+nJ++8l6efADED0Ytxc7P/vbu5I138e3H0/Nv3795BWV/OHkF6Ds86LbVeXX20Xt1+vLkJyj8FG8zK/1rq3Xy8kLWOug/tNb52f89/R3VLt7/KGsdOQ9v7G9vT2S9w6OH1ntz8vbFq6Li0dFXje7Fm9N3r2TlQW/wFWMs1z1wvmIuylWPBgcPrPvh25ML7+QN/EC13tPuV1fzPp5enJy9QQw/tDJS3NnbD9jtt9+9uYCq+21F/3ZyceqxieRFn/a6D23n7dk7DwFArYeT2seTV6ceTcb79+fYYB9QCZLrxYfz1nm/OHlz6p1cQF0Y0mv4S/tzD+YlwCBnbMas/YO7iEQteXD3MD6eXJy9f1gFTvSsrDPoPZjmL04/eC/ff/dODOGwdS4xbNl7fYrTsX8PQmnCX74/xf3zh8+3GAOr5/TubuT1m/c/eMSyvML+YP+eKoR+Vrh/H1Fg2f/47uSV7A6Sw91VkHp46SNnsN+/uzRykUTR/UWVvjsPI2ilgUOQJw+ZMqWRe7kGpYb393dED4cPKnz+5v2HU+/Dx/cXpy+RM48eztVFdc6mKJubGJRvK99zo5o4W/CjqVVSflKuK6veVKbJS880eSPbZ0XRmyd0yRN0TbDKiCc6TYm9K+YzZ2/9K8bk4n2f5VbBH2Cy6D1tRjzXboNoLb5m85Mpcw1tyEkFwVYBHSKgozIKRdtPMW9Q51uePbhqYOtaA0el4Tnd6ni4wqgLtJgSQQYv9aV5OlturGPW4u+fPkEIyzRcv4iC1yHuJ4g5HZWywV5Ssx0lGy9zuchkVu9qVG8hiNLzHM+quHLuCwCgYZ5SPIwgA6Xpb/1cZhw0QSbPglrqsNQ1DHhWc58queh/UPMGTfDzZKN27kitn4dLmpSXGApa4KZ7JbmSbEeMJYuyd+HtOR65d7mNLw8QAkkzFI5K+9q6rFKaM7Vv/BLZj/5tA1SrDrWhLsbJFFCOS1r789LbUClYganMrheEE3/7MqRDhoEucsxCZzcFHKMCRZLB7WI119mbqXnL5PYHP9Cl9l7UrwIo5pMg8NcCRKHKt8OQ000g2FsBQWr17QBw5iqEgSLr3/6tjOdubVLVyWF0ewZLAfq7K+BIuKGfpHU+RD8UMMeKumSU4RcZDWBUDiKUyASzZHUYYDYr+QjaJAXOKherNPGlMoNVjlKl55caU1FE01nM2apauVxbMi16gAS3iIO76qpSyoGJLpfEFQaFUoVXmZxycVqFyIJ2SmJAdGAaht8xxmOQ6agxNK4I4aEichuGMPMXRKIC0jNC9HOObpE6bBz+8myxnEdhUOk/B0kD+CwLiWGo00Q7IqUi5WEw1oNaJusnIozwqqaNypPZIt5gEUPfO+JTmR9/nL2KplNd9MCkEgb/qQxbBefPl9eENoVqnqvW5LBuI7aBCvwlBtb/jQk9Lm7YQmRWLcAmCVEC8EyafUYVsshoAIHYeeaWKtDcKby6pO4wsqDRSy4tkMfSR1VOxBYURDVKK9GLY2EOGnzK+OuoZTegJKMF0hTXh+wlQBPdV7PbZciXJoYj+vyIZ72qfP9Tne/5Cf8K2/9UpSscugL3uGq9GuVWK7kluVADVfWItS7/eMuDGBKrvFN1VDTQDdU65sb1viGg8PeGCgp/N5KBsvrLx10C27IsyVLHWk+sZgqQXk19p6nlkudh7R+zYT0vUiyWUhcPXx6ihVT8VZJCC9wLQq2WfKCOUnXE3dFCrWiTBsKbOWbYLVotI7aZX5LNHWKXifE7RC6RTIIhbNz1Y3CI/FUp2qxsVdyKBSaSjUBBtUiz3n4ezdAocnk7Ja6r6+7lhF3NqYypptSV/UhGHWS5QLMyME9uz1kcV1W74nPWNLYpOd4L81pgqHBCmVLSSvQpriazUOtkdtm3ZMqeNbb/NsKFn3WD1xd+FLPAvKHmSceSKWeTlVIryBrCr2RyflR7IVrHn9LAiy5U1halgcZZACHxKlyPmFKJoTIfQO7jJRgVEijEi8v46jOvqooei7s0FDAkpFdhkx4l6zPCFlBq9acYWDBqZtjsJrwVBCQ8YCaHLDGqOtQ4gliJKnqq0MekkyrWelUtJeZQeltbJMbCtcCnDPtbtf2Ee4GKHLMhPWdvFnsrS5nm5aAMprGlcmce0tIDNFU87hmeX7NDOIwiS/5IFcdtKmVOW20lIAVYs8Fj3yj30bo5drlgblgs5fD5w67S91HTVYwcofzhuNzP5yLdKqc3rLKty3e1iXt6VB1ArUc8/f4ePWyKSSbQInwyhwkki0dVidCyL2P9t980/S9NJZ6xAm0qFod/p2OACr5IkkzSSGX3x1TUQaNF/yordA0kUbRSswsU0VWfuDvqtWH74cKDIqPgUadbfbD4hR/Nf4jy6/N5sgx1VtBs8LvXfDSy5/fBZAXNBmd8CeY9wuh3tNLW8z+Cjcael3SiwpsvhL7iy+dyX/XkV1yONX84OfiVJa3w8rNVfaR6+CteFcVlLxbykq9eajAlFz1Xmpo981wNLLnny0pbSTsQ3nqBSoaAdk99y0wofp9i6yXDLIPdryo/E1N12pd4gQxymHow+eU2lCHjo0oLMk8sdqu4CjAlsSiTTd6L9gFxr6ccgY+3NBeDCDfL+4bA73QtjYQl1WwRdlxCB6CN7lEcP+b9m+agn8oxCjjcV0B3rvJOVvmGpYqyYiDNZakHx27JAPjSiqOyv1tu4/GEAllU7nUVg9yJ/DWEIOrCQNDfzueoBL7BwY7oE51S1FdOKqh8ciKRhUiPNbGZsndI6oUUCMcxyrTXYtRUq0aRrErZXcnSiuW5juKHflVJq3xWqRjepydx4k1W42jy6QmN5UspMotfvfQYmvUYmvUYmvXfLjRLqXx+8vaUwmgeHsb0/enHC+87ZafpMfTrMfTrMfTrMfTrMfTrzw39KoK9/vvGdznU1f0aFO03iSy9CsTQnj3TnMOuIbFDmDjq9g6qnXDINJaxTtr/msAxTDjc14VnwXgMIGvcpqCevk7S1z65/6RbpGGDBkqoHQPKaigFlBKmuQ9v26JkvxlH8zDO7whdA5Ztiz+ruF4fo+Eeo+Eeo+EeFA23t6d94N+kERepo5W/TJOlPwMywotd5Uc90GGRoN9mtcRPpdn1eVDZ/VhzqstUWRo4rUvhY5ze/9o4PXSPDYHo8BZPX4sTi39YGMXbGrQI5v8rLvikL43i10B4QQRtt6wuk/ActJOw5hauBKLRZhpbjY7RCdyyFsxofaRiVsmRKxHJqtPlTi1rwq3clRcCr64/AqLaNnTViHjt+LgwNUuykc9lVt8AKZkGKPjYjAk5UpAhCRuaOTWPUaWBkrHX0PCk2K8kRtjlAu3WhMasxo1K9ok0LGwVhdm7NqmvPtU5hVJUqd+AxFvjKzfc/3VDQwH3H679vHk+eYAJ3jX8Aa8GhlJ/qRJ3TTo6jUD8RfgqSovIEEpNlks1sYHeirabwwMQymqJN4NIyXHcOJSScu4U+mPp+EcpeMaha1lQbhWdx1S2mwN/od1RMYS/8FKNW9A0FpZvyNmreALvXlzrAa7FCBpGD+TgABX0ar35VwkJFkhg6iK+mCUmrOmXDf1V0+6u/c8JQOa0AFwhHbX36YrLVLE1nTZaxFLHqvjjkyw6l4ZcBpqy5aZgikIiukIQymEzMdxe/39evDVoB2e4/kfyymy6RpzuBMeb5cEAyVDrsfzg51WG6uvCT2cR7efhXSiZXdY0VuMM6rFPGoA8pE/7+CQftYkf4zdHx0z15d6h4tpbcYtKSYmoClqhfx3jFSHkzsNUpmA1UZmgMHaj7rmqnpJOVUc+X5VqmpbAsWi34Y6gYa1qpYrU0CpfMK8x3xH3loEe4KCaz6e6GAVeyFwqMmqf35fCyPCzbLUIAyuABNwHRSWPZt7W3iWKWynl33DW6PtwWYPyB5MGRs6Yf79NaVvnTgxTtUzMSnmDbYHzxvUP4ukMm9OrMQBN8ApBxPBcVtnM2gfiudJlKkqWqeoNXG7mpkobZvVT97//EEIBqWRsq75FZXz1EuRj5KgYPR6WeDws8XhY4vGwxH+PwxJJGpG68IZ9xqoUA1gtww9VFPGA5f7193v73cOnR0fOUX/fGfS7+3eu+fhZmTB4zQKe5F5QiwWYMvbC10FXL6q2OQomHAO1CrgEDbpt1fDiPD7Kxpq059SgtVPvyBDjHd1v27JWqxWtUVWl8d79ldt99+qAIuaAZejY48toi1SMmBe3LyQir9tvlIYVxwGGdCWxEjt3VAvKMQsf0+E+MDX8GfKkJjsgVWyolGwn2YxkyEj4gK0irwHUpMGh2iB4pY8qjGbXec1zgc2UFSXofx0xBQXSt4TD4AcBjsFtmMoeEkDvznmkz4vHMxlsyfRsUDOPDrv97mDQ7R8dOv2j/d7RYDBoi1EXQGCOK/+eHhpKE/XcRqTWxkfaNb2xSeEQ77HS2OzsulWILXidh34aK6jAhpqIjXWk2rbCY954jh86EylqkL8pW6mtnkJOuUSfv2k66/6zZyhV8F22ILaoW51tYMx9rBF5//CwP0BJeuT097tPncPB3RCEwCAZAlQqFtohAypH5wwG/R7QyMHAcY6ASkA6VwGrGzEcOcVWTNFfsy7n23UMDkdoGUWf74Hy5fFY37/WsT6VOMo6w0iZblVTGD2eCXw8E/iPOBNYc8fUYmILl4z0T9R3SFr3mLCNCzIYGuwO0QNDeWzcn+dAFCNEAVy3RL7u5KMA9c85+CgH+nj48fHwY5NiWXUDK0DRZuLu1XJbIvnxPOXjecqvOE95354O7foJ0cJ7AhQpeVs6+4tu9ruNlEjoQnCFXGBwAZxsoQAnMdkArjaCO0Ee1kHWeUX27s7BHtYHW4D6A4dU2dIAFs7hPho9/+vPrPJvU4LyOcm18oZJ8zHDQs1bK362cTYqxWqVon7PWVBVg9pY0hlHSnjYqBJsyvPGq2053rYYSvWsavMmED8NqG3uO2QpI52bQ56Rfjf2YsUdYOwRfrLyUFmxNSx3jqriYVIpqK4BO/NELGsbm+OQ+SY2NiCuSQ2ny/5J8avVAOwatW4RohvFEIyDsH7sIFNKaMd3b7bzkEtX1h48HwzFS8NiiVjYLce+7+gciOU0rdiEchPqGa439sE6F+/mPDGvo3vcNVBu1y1F2t9ptS8+sl1rl2a3Ad9rpcB6VNoZPZE+qeQ2tpZSb8KATb8IzmQf/QDmwYA5JFy7cY5Kk9DomdZ5Z03RKdoJLVCEPTQ1/A5EGUtfKpvibURBQ5r7GM5HHzHHcfAvgWvv4/kWv3odyd1+/Fo4jTRWx1aDyL9nncCflL7IYbKPyoUb/Ih5lKuV1V1Mu9lymNIqAdxBAY3EJaDqEu03qJnTyiJ4B12zzXEFdrEZzxiecRl+cJs99bs7zfv41b18tTqvVMC6022dRcGK+lQy9FhPTSJYw6S/o7vGFZGDqeSBLII/WBOmeLgL0k0heNbIjrsEutE3zlck7l0j4uS9vjFMjpS1iTiA9+49HC2gSTHQvccTF1YxtrGByMxmfBXbYWCEfc/YHNDTaxQgovCv0p2MYwlNoAlWv/EYC4+XKDYfqCqetIf/7/66NzDM/aaKSRBkYnngQEyqWt29Mb2IvrvG+rCDLimjvhLQF9+Oa54Go9QOPpv7CGLP6TbBKMJwa9UGDdXkMo5mJO8mYJj62FDsNgrya4Hc68gCYdY2YUGEJ+cmIRfdz+bJ83li4eOQSOX4OnqOv9Z1NGzs0q8v8HtBYiLxjwDJSSVrXIAX+CkiEQxLVbHPJv3d7e1AJbM0v1SQ2jLpb31qCCIFiu9RuA5vgb8rhQXGETxhHEs29XGZJuNSQewIPjQVvjlJxyprt1PygpVU2ZqxFoJorBD6sbKVwZcvBGNiFxvdjGF+G4ZxlYWpDgfQzsTyyITwv0EjFXmDPZXuN0yhMmJBLUseXqoAJcpzIcb7avLf2sTK7jQcvVC62n7uQog+xKMpapRQV9OJGaqlwm1KvMqn2xatuPHmEXGLx7Hro/OLUfPY8s1bDGvwLRYEYgGW23vkKx0CkpGTZRZasFmot/f0zmzqJYYOJtO8OJUwj27CeXSdJIHmr5MI2AZ4G+/PiOJVlEchqC259svKD1KfQtXiJAibItWywGX7VCshY5noaiA+tCK53eFPJqPSN33l8H92u6Ofnz0d/by72x544P78rA/IhkaP9b71swEy5TnIMfE8dBD1i9Wu/rPVx4S2swzuz67bf/60N9Thoffbb/B3//n+Ab069Hrw3OkCuDY3rZCH7pJL1+VQX6JcXdaEakmwullw3H1eFqkgF4dtofjFbLkl0bm/w4Sn+Wuti7dsXm5xNsyifv1E3eSye7Xr3o7wycEndohh2Tpmt3yswMSVoK5iIbheAY6t0WZg3KOaLDh06ozJete4uJV7sWjohSRRCu8v4Paa4DImAjis9LHs73OWYMmEoVPfgni89+rx3qvHe6/+gfdewfr1ep7ApGWwJiFSkiQfauMot2A1n4FGnIUYgA3qahauQTl6F97mMCHsK6y6P59L95VdnTO2aomBbO4n4roHTISO8Y9HqjIonlyHGIDWtpah1bOp0FzacP4O29lSBFtvII8MbRlp9gb4Celnz+jmlqYzFFsWt12ph4VZtX6vvVq/V6mGhVk157C9mnNY7eWhqDZor1UdmhzYHeOqDkuO6o5BFWPiI6kVTdk3tXc1/FQ2TDkOafQ/vYg09ZEosdSo0dEAONNwXzUFTs0fIhf/jMvqhLfQc7qN99VlUHBpZ9dPhk+++cveOIr3sutP8TfaOaZr43kyuUFX29nbV9os8eeZ1hv0puNJt09Sw18srGk0h85ZzlBLV7GWoOkhD+1i/uQa5AhIm1Ajnk5WOYmhERaItf+0NdGVMF5DR/4TJA10SrPC1eij+9cPP7za4wVGi5sgSjVrqf31416+oB/oMP5kyXyy+RSHk+sExgyLD16Bd/H2w6szAMEK//jqb97Lk5ffnnrfvn97iqmbifbd9zyNF1ytKe3DTxffvn/nnb3DeIE3ReZyq52/f/PyR+/F2buTjz95H04uvnVF89r3Zx8vvjt5452++5712waRutZYIfmOXR6yng8/ffor5n56oh1DChv/yNbkM17Nt1ggoq21tlprx3tBuN6LV/P5b7991iardK5Zb7LzqXad58tsuLc3A41pNbah1p4PNOHPrewa+r2XhvPQz8JsD72wWb4XJLfxPPEDyLM2g0PvcN9axTcxupvnYMlsrFm8snM/tWe//gY/mmXFiYVnJC0oEsL75lfNesnnYTQRM4LgduAPn5m9EdDaDy4QgZdFCy/NrK7t2F0bt1cca7LsO13LH0d9C4a4pXZ7XWffYx2yZaLX85ynIvX2ej66e+CzfDG5iTEIcg/JD1ouhi/HDanW4fjwqOdMB3t//UGzEuzzX3+QNOSHwfgQ78jzJ35/f+I43aPDwbQL/Rv0B08nRweDwUGv+/TI6U/HvcnUOfIdf7w/OZhMg8PB4KmvcXhPfsuufRAO2WqhWRPN+hQDeoguLGu5za+Bzfu209OINkaQt4yWFIGMiy+B0OLVAggP/o59bbLwteXWQoKzNmB8IT4hIQ3XC9ft2n37aRUGTV2A67kVasBbvFHoy6cn/K5IIt8R/bV5NQ/f9A67kbJj4HelEZkL5EMNDOEI74XQxMWR2V6WTvbOgVLwmiD1gkkUNeVS3/txNJ/7aqn/+ssy1YsxTe0rrs7cg47/ex7loHXzgeHFmfIiTV4gTnLcqnkVTn3UtjNxzSZtWEzxG/X0aXE/wxs5EtwhATMj45WB5bWLa9wyWcX4LXESrMy6orZAAgI1r+a00wG5Cd9yQK9sNklwYVCu+Kyg/46bPtWev6Y+ou0TMUVX559CB3XA7nf/D23/h86+Ub6FbLkaz6OJcvHc6Wk5UEBpKYqvwzTKg2Siqbh+2K1kyjbrfUtlOezQrIQdNvmodLokq+l+rK/teMsNWv+ynf79CkitP5+ecMrz+l0gHGIf3i1USL78f6OlBnI="},"source_bundle_extractor":"import base64,hashlib,json,pathlib,zlib\nr=json.load(open('result.json'))\nf=json.loads(zlib.decompress(base64.b64decode(r['source_bundle']['archive_zlib_base64'])))\nfor n,s in f.items():\n p=pathlib.Path(n); assert not p.is_absolute() and '..' not in p.parts\n b=s.encode(); assert hashlib.sha256(b).hexdigest()==r['source_bundle']['sha256'][n]\n p.parent.mkdir(parents=True,exist_ok=True); p.write_bytes(b)\n","commands":[{"command":". scratch/env.sh && timeout 470 python scratch/measure.py CH 0 200","seconds":145.10259352903813},{"command":". scratch/env.sh && timeout 470 python scratch/measure.py CH 200 200","seconds":141.83939876104705},{"command":". scratch/env.sh && timeout 470 python scratch/measure.py CH 400 200","seconds":189.74362406297587},{"command":". scratch/env.sh && timeout 470 python scratch/measure.py CH 600 200","seconds":187.15879639890045},{"command":". scratch/env.sh && timeout 470 python scratch/measure.py CH 800 200","seconds":184.17058906098828},{"command":". scratch/env.sh && timeout 470 python scratch/measure.py RS2 10000 16","seconds":56.72072128509171},{"command":". scratch/env.sh && timeout 470 python scratch/audit.py unmodified","seconds":36.98875705897808},{"command":". scratch/env.sh && timeout 470 python scratch/audit.py failures","seconds":null},{"command":". scratch/env.sh && timeout 470 python scratch/audit.py parity","seconds":16.93124865810387},{"command":". scratch/env.sh && timeout 470 python scratch/audit.py native_parity","seconds":6.289950388018042},{"command":". scratch/env.sh && timeout 470 python scratch/observability.py","seconds":null},{"command":". scratch/env.sh && timeout 470 python scratch/recheck.py","seconds":48.339475558139384},{"command":"git clone https://github.com/benedictbrady/amm-challenge test/scratch/engine; git checkout 6b6921f8d463314aa7c96234e1be25a25245f704","seconds":null},{"command":"From checkout: fetch research/setup.sh to scratch/setup.sh; timeout 470 sh scratch/setup.sh","seconds":null},{"command":"git apply --check ../url-patch","seconds":null}],"timing_scope":"Seconds from logs/program timers; null=not separately measured. Batch timers exclude compile; measure elapsed includes compilation. Processes overlapped; times must not be summed as task wall time. No command exceeded470s.","checkpoints":{"batch_size":20,"format":"scratch/CH-{start}-{count}.json; scratch/RS2-10000-16.json; resume same command; hashes checked","batch_timings_columns":["start","n","seconds"],"CH":[[0,20,8.183819300029427],[20,20,12.349141974933445],[40,20,11.237941229017451],[60,20,10.926273019053042],[80,20,11.664121134206653],[100,20,13.696847037877887],[120,20,15.387683945009485],[140,20,25.160900665912777],[160,20,13.22870668489486],[180,20,15.248583324020728],[200,20,14.546584628988057],[220,20,13.508013776969165],[240,20,11.141747378977016],[260,20,10.882997618988156],[280,20,13.291304670041427],[300,20,22.571249385830015],[320,20,18.65622938098386],[340,20,13.903357431991026],[360,20,10.102096930146217],[380,20,7.387652553850785],[400,20,18.55042245518416],[420,20,22.67622291413136],[440,20,17.17802875698544],[460,20,17.835362704005092],[480,20,17.861437673913315],[500,20,17.351100963074714],[520,20,19.038803559029475],[540,20,18.358117228141055],[560,20,20.539334852946922],[580,20,16.225368638988584],[600,20,19.303137094015256],[620,20,20.822082004975528],[640,20,16.55564729683101],[660,20,18.26386845507659],[680,20,18.36616939213127],[700,20,15.31700229505077],[720,20,18.862217652145773],[740,20,17.69577617198229],[760,20,20.01303763501346],[780,20,17.435090319020674],[800,20,20.658613143954426],[820,20,19.3923159011174],[840,20,16.47998954495415],[860,20,13.830244911136106],[880,20,19.893654506187886],[900,20,19.85404140292667],[920,20,13.753028254956007],[940,20,14.386805418180302],[960,20,18.700272188987583],[980,20,17.271098379977047]]},"reserved_seeds_used":false,"local_validation":{"JSON_parse":"pass","source_bundle_hashes_and_Python_syntax":"pass","1000_lossless_edges_equal_native_checkpoints":"pass","exact_1016_config_digest_from_delivered_generator":"pass","corrected_aggregate_50_checkpoints":"pass","20_live_source_quotations":"pass","authority":"Local self-checks, not independent certification."}}