{"item":"min-lookup","status":"gates_failed","submission":false,"summary":"Built BASE + TellMath + the specified odds rule, soft=1 and tables unchanged. Integer-vector, size, validation, storage and engine-gas gates pass. The literal TellPolicy closed-loop fee gate fails on 3 of 8 seeds: distinct adjacent paid doubles map to the same callback integer; tellref.is_arb and the supplied float TellPolicy.on_grid disagree. No paired scoring was run because all gates must pass first.","source_sha256":"3a799de034a2482ff960dc0d89316a18a70ccff80b1d80af2e3b2d110977ec40","runtime_bytes":22499,"code_zb64":"eNq9vWl3I8eVLfrdvyK7P9QjikAxIyJHkmAtWde618uS28+2nrqtpfaKzIysggpTASiSZUn//e59InIAQJZs2f1ko5hDZIxn2GeIzKur6E9/+F//OftyUbv13s1+27j1YdEu3O46+uq3f/7VdmffrGy03ywXzeLwMfrv+FXxSic3v1qstpvdIfrhs6+++tNhZw/uzcdf2737KWp3m1X076+uTm68QhX/Pjz2551t3G/X7WZ44LejJ0LpK/Rus7x3TYR70RadqD9G1cfoz/bjcrOLLt4cVvW79eLN28NkGtnVarZfrKKkUNpmpoh2bu/srn57tZc6rqP/bT/s9wu7jtrF8uB20WX0fhUdbLV0++ji/eqv75Sbpa++32/Wkynbbp2Ldh+WLtq0qMwuX20//j97PnNvd6jmEF3sm2jp7t1yGm3fYpDTaP9xXaO77dK+mbyKPlsuo3rnMHNRi/4e3rowiGnXBbtuQg+uw6heseU/+07Vm9UWo9ijRoz6Pca3XS7WLrqoP1SLOvp1ON9Po//3qz+pqFpuqmj/1uo0i4yt87oqilevXk1uQmvTyMz2y80h2h8wy9NoZQ9vpQccaL1Z37vdfrFZy9C5KIfdYjXT0QWXbGYwdF8N6hsNE5VtMMRosY4qjFOnKadLmtEyluVm8+7DdvbW2Wa32ayuo89jTJzvZZ0VRZHXLXsZPSzQnXrj2nZRL0CG0cNm1+zxPEiliTZoMdpiymq7XFa2focWD5to5Vab3Uc/j28d29s7DKWJ3q03B8wPVttTAXvlLP7ax8U+erDLd4v1Gy7Lg901YbxYn3ax2x8wQLtyEVb58HblDot66i9gnvZhfYQA95sPu9pdR28Ph+3++urqDcp/qF5h2a4G0rwKhHl12Dl31VGnNkplOnEqjTNbW2VUbU1am7xoSxM35dUJ9f4KgwJz1Ieo45EIwzhhsuiHX0X4DxMjk7tZY6Exj1/PlVPFzZP3vvy9nmelUUmuijhNyzJJTVz6sh9OC3+VJfP4sT35zxfmzGPR99/G30XzaBVd4GGli0n0Y3Tfn9ze4t/oJpRULLnfjovunimqWbStUKK1t7dZgoODL/FjVK95WGrpRvthXR9AxNEbd/g91uxiErlHEO3aLqPthx14GVS+WzTgbHf4sFvvL/Ygc1CCJ6RJ9EOEGt66+h1o7gdfJvr3P7vl8qvF+ksh5X+/+Sn66bix1YflRZgsOw0H1YSTPWq5a9DfnzzVkH1ZXX19Xn2zuF/8i+r/+qo6r99WXe2Pv6DSx9v49ezx+vG83nq52PY1T/8VA3i8ta/t9cXjXfW6un6cnDe5XP+dQ4n+dtyAVMP/du79h8XOoY0Yki4UfnfT3394u1ji7m309eSHx5dzffNuNrv56fT23Vy/ZIErFri8HBUINX6cy6o+zr6ePl5+PbT0Uc9JTR+nH4dr7+cfb6K/4Z++EsitbhzrublZ3851ebO+nOvJD+/l+ffTj3py87fL+fur9ajxMI365d8u370E7/saz2bRPW5/EUUMg2w5Q7OEkxDajG+Gqb3NYty4OZ2Td3NOXPz68RJdu9LXjzP5O7liT7tCu/njbNT30eM7P3W76e68amjp9TzLUl2g5Usppqd5msWj0yLhyU5Pzh/fNE2o2xidJaOHVByPq5QRP1HB3i83u3GJyqY8mOFgVDLM0zvOwP6lf+4iyOALBYHYHb+bTK73V58oMHvX9eBsZaGCD/+CpZ3Ho2X90FNi14HHyUtROd2dv83X/fFurm7Glf3t7g5yHMz2A47mOLzZ3d7OswS87e9mSXcTF3nP6DE7SRmjuzK4yTIq659XWV95JveKs8f75n3jQ9t9075l3d+Q9qShUWXkym6Yi3l8s7jNbxaXl5Pd/GJ3ub7aTa702XKHGdvd4v7r3TVLPbN026b9RSuHDkPAP07uVDzmxnDgyRL8PiMFP04f0cnJVAOWZLrQeZIZUHis43gQtlD1/8cCxQN4oF/ownqzW+HPwS6Wkd1ud5vHxUru3URuB3KZQBj+4S2E3cv9+93hAgw2U69OVMVocJ2CgC2yh9Hxy6i0k7Iy9BvMwce7Yhg+hPvrr6/D3Mfn7AqhmmrgszIDJCpKTsFQZi2iYA0JfZnHsSlMnCVJYoBlWWx0NzO5KTOtY5MalaXxc7UYU4LusyzOC9Ym/43rUUrHealLlZR5katQ4KmatFZambTMVFaWRp1Xhc7oOCuyHC2aPDutqpv5eYGeFCbJs6QwCoJxVMZLwkY6lqdpluUKRFJQLLKu8e0MM6PyPEXn4/y0rVFB9KeIc8POlUnmuz2uSGMdskQnRZ6XWZ58oiZOuTEZfjn6303AqEBeAnxnqdKpAtgtPlFVksSJQnVpoZM81c9MFYlenpHnPMU+yT5T4bT1tIFsHlPhjDVc859n+P6ww1HHHKuOOe67g+WmO3q7+BnI85eu5OrQV3N4Xszfj8T8xXJzO1+9eLG6nb9djFlnupo+wT/7Zi6a5h6sF2CfV4DLzWw13Tf95cpffrsIl08r2to55Z7tH9hWcqEaFf3LnNKjmm6ryYxHdrq1kyMd85db5bIwlIu/TFe3y83r5eb67WJ6f5WcN7rzndra2baa/mV0f3WYr0TT7xuCjPuDrPz99OtLeYAn0rjIUukQHp91oETE0P3hNp7gwfh4tSFTZ/hvZOR7uzm6+JRpP41UPFVZHv16ch2lkXcLHECEME5774CYPNHFbvMwhSm3/LBaw5wNjovJtGvd7t9Fe9pFm/USaLNaNLC4thvMSLRa7Hab3avo88E233OqVBZdqKsiqrb7CZ6P/vD1n/6P0dFitXLNAkbpHt0DfVrpQxtd1JdG5xnsPJrxNO5fdY2fW/0oL36R6FChkVEtoRKx5adSOIrRU9ru8oC4KWDDs+lRtfvJtPNUnHkSTjTRw6FX4odqGg6/LZLvOmdDfcpmz3LQoZqDhX6oYRTDcIZoS8ukrsokL8rEWgofiCAoGMgKHhepLqFEcG7KIsnwy8sCh3LPuJsaJjPq4XkB0VI4qAMeu9gVbZoXri4Lp9LCQfY51fp7KdqwiW+rNWWiatSjpZ4UdUBEQ7w3hanwa6CAbCzPmcoWuWl8W5UqsrIqct0WeYGf0UWeWdRjpB7VQEam0kahY1UY32d02RXaVRhWA5nbFtqm8lfKFapIa6kf9SShHv9cbOvCpCn6gvIqKVRrClWlck/VdZGiLzzOavQ3LdA2ZL3OUE8q9Zi4kPKqxrN54Z8rWdaPx2DuMRSpCwoH91DWWV+u0qgn6+c5bi2u1f5eDt1h0fMasp3nBv0CMco9rKFRxtcv6rBFPbmvB/2IsSix03lrKzzjcqfy8BzOne+XRh8VZ4bn7BcGpuMU9RSsJ2+bLG9j34b0t/BzHheW6jNva8ytckWM+eazuJc3icIYijDP5TAu+dV5izWKVZK3LeviHDj/XAWaDDQE/YX7Jdpv0X+OS8WhIgyo5QMKf2VR0Alea/yx3DM8D/cL3PcDiJOGFalxj1CoHfXu7Dz8VPjFXQdYkT4Z2i/6sSLzr6oo+UcqemaoUpFQdQnGLrOkKk0Vg17LID0UpIaXJFiysrA1UA1gorUl2LXM6yxID3KHykbiIynaOAnioyxjrYDRqqIGSbcgH+hRfy+ByEp8A0DEpclksj1dp8ZCdDVFUls0QBEFvs3LXn5klW8gB11liQPf2gJMX2QNkJwzrEgIu9AAm6qpggBpwaBChEWiIEw0/oKYTQxmBTNrmwUBkhdpZbs58pRtjOdigxp1hR+oWmc1OBYNhAlWDXpr/HFSOAhYlM9RecqKtKdsDBU9wYM5GFJVQTRkgMRBPJYUZxUqAqthksF1KBsHEcWh6RFlt3gwD7IBMo08ry35G7zfYKhZJ0MyNOrLaco/RV7TOswRBAYEqwYadSUKqjq3TR4YFELDFkEYQNhSuXAEOgXDNlwcVuQpGwuR1XWYbEx8nCeeAFMMQ9ncYYJ1XeQ1JAEY3t8DOSiVhMnWSRBHgXKhPuIcEiCDqIRIaTC8LBeVlrvaBrESUyShDIZaG4g/ilmd+ooweZA1qBAF09ZXCr0RqyDfUsipGvOU5BgOKsjRSJ2Ge9RDuqfswEfhwbil4GIP8JeTDCHmypHoCEMXwSk9ChIbrNPK2NFym3rB1epO/gTBFodraWgEvWs51IoVFaFHrEgND7rMP5iwRYhzinHFnhiej0aQd5Nd+jmSmtnVJLTI8ySI2nQQGUEHxZlD5dBbir0lQRoPQqBiSo3+ggxhCgUxYqF588aLihaABFyfQ5KU1MgKYqVuO4DCikYoJAWNBO3omozlisplZQwN2RRF0ba+Vy6D+ChT31iV0ShmRZ6yE6hhA4JM0Bh/BuSQJEFVY5iF89IAvF+g6/gVQEhcEVByQco2nrI19LsufW90Ugn+kErA5Qkfr2lel14/W886GrpWgh8y2SYJAEIFLoeiBxloGwuHwwIFn3kygKVNBvXHBDigK4NCXvEbj0QopBTEp9boie3EAwcShBiQlIb40NT0KeaavawCMqhJR2aQ2SomNAjDg8WsMfmKXE65U9JcDwIuK2RYvhwqzyn8TaDshDoDVG3w12VAIsB/Lg20RTGc9fKH2Ec3wCpgHW0y8JxgPg9GAL6wlJ5/KgK3NIAkrQgSMJQcbIr5AI7MgvCDgkGlbTfZgbJrLx7iuspbzTkweZMSAQL+6iYgL3K/5wBHCZpABgAFpg2XPwloxIAkKiILcH3qAjtkHhLJ8HCcgdcg9ZRBRTlIJFX+XpawojEaUR1DQhpQtGaeeRX5CvdM3kEcVNzNH8SMI15LAhoxjS/ACVaV53addFwOgeelZGttYGSUFZbhMzI0EyQkUVozPFiGnol4weRStFJ6Qn63TTqMQNcdwu5kdlgJgXwBkQk8TMPfIEZMHcRwEIIyAumRRyOJcbBlAA6MpRvFc3YCAyTp7BUsZUqRwQu4rkwJQvL3fI/GaKSFMdMEgwWGDYwRBwDaQDnCgMFfP1yn0KjXLJBZgO6p9MhTdkJKBoig6EiwYgkoz7QdkNAkR98YNC8oEucNZB6uG1g2BSVkEtAIecYELodOg47sVbcBQRpQN1GJrvELSgHzjJHrbrI9GtFNuFlQzoDTIYd0QXsGf/NwD5LBBPlNMGEUJQKkgdghaUAjIG0N8lcl+SnwGSQBEYg8GFMa4Fd5JCJ4qrCdbGJFA2UrTI5OApdnjVhdIuCgbTXgX9zjJPQioDmWQ8OsyFO2Ig6CKahMIhQrXF8GrQuFoayXoArgVFH/OfAcUR2UKRphRQFnp03u0kCxinqrI1DOmvOUXoFpG1ZiO7tFKvKTnQbKdgGNiH4nr6GCBLYHjUUb+IxGTdwEnATWofxKQfm+R+mI+zMPDlQHzm1nc6Anjdf/isdgD41eFl3PClaUnRg1wTKi2BCV7YKOH1tK7aDGlVhLrCgPTNvp+s7UYmEzMhO6B4sRLqhDA7JqHRpRJ3ZG4HiVdz0ZlVGjEXQGZNpZkOqk8HMPdlIy6ew2lgkO0OM4DJ0lauQsMRAuxB4aP1goeYOFLQGAc+jJxNFpguvAXboOP57D7CHwjbPeWdJAkjUg3wYc3aQVdBagSAX8k6WoLSt1YkoDQWKqBAKtpHwpE9SXZIrt986SzGRFiuFlkN8p4DCPU1B+A+1gK1hO+NvCRqPEbMFKDgilbtAuFG5Tqt5ZorGYGjKR0EDTisi8M0QndI7gKjQ57DgxnpIKwAU8n8ImSgELMi+mPEZBGwQyhmIOViCUOSADVCP6QmSHO+DOFGIxF1GYgPtoqCWYD8zi4CyhRIMhoutc2F3zGNBfZEhJvIM6oXpUQtGgBBOJoUdhFde9s8T3p6XgwrgoOiBFIcs1xY2ifQJJQOEXs2+Z8CtmGKhFs67OWeJxOuZMV4nIMy0OeycSWYGMFISqglCgNFF0UBF6A2vGmiJMd84S1IFrDSwN8nyjxdHDedJYJ20oPxXmi2gYf0tKsFYMtZhcWuSDs0TmEUxllVfwDW1XwmKuWS4/BX0FIxHIC/1L8ReGqoppDbmRs4Twg0KpALdWtP4SmOwVFzCvgFYtjTtGGyDBlUWjGTom3huYoZ6ggxCnniEUKQhRUFkdS4UyCxamEQV5lkKxgYoINGsrPYwdG417Z4kodQWdFBNA0i9HEwDdj0FWMcEkZXEOYVSmUN3QqvQXAtdTeCpbDs4S6p+UMATDoKSPGQtLKXwIinJ/HbA+5nolWuSzg+hMQVeZ4BwVhLg4ikAQIPycIIiFKUOUwLeAg1oCKY/GQLVcENqnsba9syTgmTYIIPQI6iORc2Ib40GnYhlKPhPEZe0Fuip6Z0kwG7NQUREsPS2ehbTAA2nonZTT4W/u/WVtOzhLYmrINjjdRJ6WoXAhrSsq/gaImU7R1AkYB+LyyCu2vbMEYJHoEy3VtO6MnxOpTIfKZch5rclIQO05elNaLgCH1ztL8iqtPL6jscu/qhys5B4blmEuHalZuMaAaEEyvbPEP8wWaNzT3hTjIw+VmaBadJhk01nP0gBG2ztLSmMhEWBI5TUZtSlzCzu0YigTAwDzlhXuwbzMIbuLFH+rGnoBf5uSynxwltSAJzWgR4Pqm9iUKQxcdLtMqQBcU0JIlbSUWyBToMEyUxAzdYF7MGrKZnCW5JT2UCoZ4EYKpQOzokjByBYSowHFg07RGOO3bWmggVIAyxoSvaLWaZreWQLxC57BsmtN2FZ4MQtxqGHyUcQVoKeMaJTuGQaVDX3nEHMMD7i2d5bgIh4C9YpMpHsrbQSqwbzAX4gNmE0tTPKEZjywTwLTKYFeSRrok6QanCUGXEovOD30ukZlZSFWMwWbqmjA0TNN5MWe5OLZkygBeg7jZ3CWUNIbpby0xoOabnJUpBXRKN3w6CFsLUVJqTvJAAxN2F3GvbMEMKwRzjd4SPAyzUcaumiOUWtxstWViH0lPu42oFVIjSLtnSW8CdFREWlmDIbEDb11ICk620GMqvVuDVVRtkOf0CimqWlZYdM7S/AgpWMpwFG1lNN1UaGilBEAR6VWewWQp14hQYkr+tRECLqRswSzH9NbyTAJLUDynIQuHOwSRR8uKgDILjhXCcUrKnOU19Reg7NEaaoVGrLoblV571RKgQbOwMSjMxh6KnEcymuBARwqEb+wSHCWKGoNcjflDNVMQRHaeGYWmxWriIm1IA+lLBAJcAiUBFdQiTs5OEuYIKDb1kccKOzpT6yIQAupRNH5RgWb0sWU0hbL25ieYLovzOAsQa1iv5dY7iTNvctPTG6GTYKc4vCoQGHBtUBRDKU0dGYWce8s8UMwkIQ0KdHfJlZePevCxzK4EDl6RfdXVvsGOB0ZBJ1oEROwCP0V7L54XTg3IqvLhPhIyAITX2X+QUJPU1HEehAuWMQEMMJu03OnOndoOhKzYEwQqFH0xtBfhL8ceu1yRvTiTPfOEixpCk6iDWVhNlFFN34+6ACouIKJKAK6eCxABGhO7DJFcSyeKe8sSRuIUEUjuAbNWEhcwrwc8wCxEkOKtQ2GbGJZQTHZLTAAIwqwz71g650lmVg2WUrZaemRyh15qUZPMnGeBK9D6/0foqK8Q1fVRe8sKQFyObFlAaEuIL+CBKuhAEp0T2G2M3Sj1t5BSWFUEuhDUWQk78FZUjgApwZcXgPZNTUqTXPgUXQODRisXtpCsxiO2cECqKEM6FWgNWBgdZS9s6RIwckC80tAFUjHDBWnGKqDnK5BQ7T7HMSxbaAQAI8xBzSJ8avYcO8sAVcTf0NK1olEECS6QLGaaol3MLjKychAqJkxEiQpgCWhj0AaZnCWGEUjv/KGfk173YrzETgKfxk59YhOBD+kaJJCCmAYBg2Z1A3OEkMLpKW8QWXoumYEoaFkBLfXRMSVCDflKvGOmwoiBdeNJYpOBmeJQRcNZItmrBcTzlgs3RUCr6GGxBTJCf3xP8yPWGiaPj4636rBWQKUClyNIQGpGfIXTT/aI9Caqk29bUNITBtCBzSiUwlZQBEPzhJGdRTdW+ApCaDTl2g4zFo0igyTgD2NxX2qGCygIaCJzbORs4Q+RHQ9dqmIVAZFwFQYLuYNAlu71oemKeTSyltIDFvQzdWowVkS0z+YUUhVVH6+4hoIDeomRQOZIjilKYJKVSoeGkUMTrvfZSNnCeUQBHpcmuDaaz1qS/lwkdONH2Mhcq4mhB/dOQpSQhHMO9c7S8RUoOKLCeWI6AWcEpzHQPrU+cBWMPYKaJiaeNyIJYChUsflg7Mko7GSUWg13sChCBEXhBZgDmCG3jJcA6IUXa4FseRQmKmIWu8syRtQbgz6KUpGmkqZi5hmV0YCrDt8zYAcFsPKCjcYdoJzlzW9s8T7Welpon+HbEHfY5J610TZED6DbTUJERKzFNARp9ZHr7K8d5Z4CRh7ewSjQS8q8TwZdF3cfqW4m1EO1ytUqoPVpMXw6Z0leQPi815x5x20rgkaIhEzAQCVqRC5JZqDtnFUTaw0EwVKCzsOLgisQQPx0cB8okclqQOWDsYMrUuanU2bNzADyN5MkqhyTHrFOco8ZdPvkGYJCDDzflmxb603KQSglx5YiGEDEgC/JQRf0HfGkbKzYEHSsVaiByVao9FL8EmtWyReMUo2gRr51Lz1BFSbV2LUZMYjfwAeQ8jKFJg0RJ1UEjw7eCoBmdeGk4W/oM4Gy2vKMnOU5RQjWRLcPQ4AHPI5V0UtDgb8gOATVJokVAAQ9A3+MhfHMgUQ1+MEP1xPufxZoGxwdQZcmCkY7CkVAQ2+tmiqWLRLA0XZwOBpwJMNwIPD6tbocI2/jfjKsiCzmcVCDzAVgKKzp/USE8IMVggawiIB+mVY2QxlssT/UktrgNyfBZxNgU+vQ+6pmh5fBZNKE3szeEvwzqwhRY9PI2EvEquh50OAVhYc3HT12Nbj65QINhZ7hPaJuFfI5bQCyPGQ2aZigC6X8BZGwIpCuL0g0GSovfHCn74eAlRqEWhyqiXB2KyMljWpHsLQQB8aS3mUB5mdeesRKhg3a4niibyOG0kMEOHPH+V3TquIUoLxakIcDi33lK0Y6yG8Y8AtBjbFJNJfT+c750ksJRjQ4mBJ6a0BkXAejSgEVhRkNm1Vn7ODLjc+IAsNawDkGVUQOU06pW4j+jdtcJHRlKc6yoPMFijXerlNcyJF68RCSSwWAI0d5jdIj6gwU1YmlbBxVhRktkt8ZaAZPOq1Cf3OTeplFW1ggAaQDkigGBxSTF9oSUd5wNmip2jthNQDqiaaB5ThjHVo8SXlDYee12JBGmJKRvUMuT8PlE07jUtNnSYpB9Rt1ntoWpHn3m9PNzyHTYcDICHhMwxGVhRkNoV8E4veT8BzMVUT/fYC1oN7nY4FOqd0CLjBxBBfSSLLXwxRcobVOdFMp46VUDnj0WLcMFZNhz8VJeNpOsh3+lFKQr88oBHVOa+D0yn2MltD2Jka93xghMjWpySwVy4O8X1OdhEou4LmyKtQQRr89p0vRHuChDp0hMi28HkPtO8EJlOwFULZEiRh1LLl3NCckKyCwmNpcbD4yIKDFeXoZNBVDvBPwsyBb1lRSCRJoY417TWGQimZIPglQ7AOqtuMchzofwRzYzpq9MyIR6voUqSCxUi3YZ5IapsACUnja8MQVfDDtcNxgR5CHj0XBNBDEMAAAYpq0IX8oCehrQAPmN/EIABVRULHaRlURVGK5GE6kh6CADX4AwKsqEDSVcsf7Hgsaw3eqGBHQp+XkNOlpjlQV/ibldoBZiVJacQkCKkKCvxFPFTGwmMGi5BAvSeWvhyiEQB9QMGEMBXWeA15VuFaY3hcDxmThEWMrwF7okqUrQWspZjzJKYcLEVkMdNQpLH4GjgkugaKPghARa6ITQorlBQzFEcSJLcx7wlsznQKwbdEmJDyScsgAGVD3QcBRJJ1aUz8y34xLyqNxRsMUQtxQF9CITarpqCiPgNl69wOGZMUEZnzQTbxLtNzU0rmpKLTXBz3uYTiGZyIRc5nAneUWANeIIiHg1YorQflfOoQVRwNS4pqZi8YekKo8loRY4pWqsTjmiEIQKnEuaa7l6YwbXDdejlAhxmzZJiXwQSFhEGAwJXkg9J0QYBAvtmQykPjX9rzjhLvqGXmJdso6O/IJb2udqcZk2Vgsuwk9tdlIuUe1tkmZC11XG6CXPFBAC/xmRclOcB0TbThgbRzfndpmf6YsUHOgpFspaOMyeOYIMUnpycpAuju/NV5x9Fd/tRRxmRZpYRsWVlK0DiXiD8YBHCNoM+FStrgHdajCCXPVR8EKOlkbBUYPStKRmcA74sWasXVjMhhWUCtugFcM2BYMK9kKlVgWTK9WMshCABeRQfAlTWtYFVUqJRUy1AF828xySWkZkEpiL6LdGBWSQUBU/seZYHtwTbGJzB7FmklK5DuPqgoNGNFCWYtk4wrAay08U3OLtRDEIDu0ZjxS9qjBEzUPXTjUFczuEUvMSBJEntr0UDmZrWPCSXpEATwiKLNJGivGP3PvG1OP55OPZTT9BPRRlW1QGn60hj9it0oY5KuPeGkpPBYJxMJAqOlEFOSwyNXGVbCTCXgQUIUcowaZ0wqWjmMZZpKQjaq6kJdBADOe+80vb4gAcYGWTETscWxW/VBgNyh1cTm4iskxqNJLb2jI4A8R53F1MPCeHAAHmyIWsnXLumDANCUtdfjNNJIdBlsK1rGkqvA4VFwVj4vIaOgqb2ASCS4PwQBCE8c1GkLacsUzJhJDwyokZfENZj6xCIyLe2wRJJDvC9NjYIA0nV6NpnDITH3VLCMeD5plzL2mFIKdFxPEai9KJTEopAxySx/xehTHJyOlG0if2i8hUwByGxHViR4otokG5YSnemDAF5cMJjEgFpCkVL6jAnlxpkBg01PzzCJWNLDTR8EgF0Fxky56ayi/7YsHIwz6DHSecYcoTIXf04Oq00iKcwJgo2O+Q9phSFjkhGXHKtA714N1qighiwYtoGqqRzUc87YP9R5igJFXpZg4gySIc+Yf2OHIADQbJGDajX0UAZlnWEIOegprWOvn8F/KWxVAx3EQHsDHZw5V9LN5TOUQhAAUyCxDObYka9M4tF5AvTp7THrs24aMrQq/CYOWDl0U9T5EAQg8zG/P65rqVR8+TQDqE1rn2VjUhAi8+3ISkqcTuJsUqJluyAA5sPIw0Y2XFDlSgybANz5RBlFfxrDOBV91SAXTXnESs0QBIhz0A7+5xhkLK13ZWkmAtTeCKFupCuCv86pi3lLCHfzURBARAc1hzj9W7G9VKKZhyfInhEWTTeFbURKSDIkTQN6Hkw8BAEYtue4aXgwz1dS5FgRW8wYgm+ARNBrunkkOu4kAC6VV2oUBGBPiMzp+yH3U6DVweIhWq0Dt0tedSUKVdwXFMeJHoIATR8YKUMOIn3yufdv0J+P40bTxwh7mQGkJlg/VPFNMgQBMJkg0rZwYCrGEMXSUbWPR5PPmtI7mQyZFItSQAQynACgYmo9yphs5MEACmLYDq7IIDbkbSoGdNzmIYxcemuRgEKcTpJk1AcBAKPBQ2kq6jqvuIXAgk0hK4DZcgb/IYfpUElge9WEXAwlExtQXknALQmBW6he2bxZu1IZ/MoGmpbMaj2uhnFF3aoTHOepBHEL4IU8Aai1+ZAxmarYg2rIhQSqpsIkNxCvZct4qsKMJEUDGqoT8LqldMjwSwsL47gy9RAE0GABEzfeMUK9Rc8Lvec04lJMLO4x2TjF/QTCTEKkVPNVgo4lQxBA01sIU1EYkcRJ+OmC+53wswle4EbJ1gJdWY8ByJtuyJgM7obgFddORArlAR0j4udgpU0tipGYVkKANOAgo5RthiAADXo6r8lzTBBRSvncDwH4pWefxgi4kOwWcQTQOUfQbYcgAMEC8Y9OjUfrzHar6EBpfFiQe50q4+1R1/h9C9Q81MR5PgQBxGSkNqWuovZsMu/sp5+auowGMNO/eQ0mQVw0IkYUN2Slqg8CBN0VMilIwbTLU7ooSi8JBN9TNsXe20DpRYhMrSz4KA0pCYwXWtiZAhRArWnstw9Q5hCk07bneRW2PLFHFILUuBK6STuc3fjWRWUbSTJ2FBUkDBXLhgfZ1CBh99yn7jJDg/BZlr/LmGQiDSeaDmy6blTQ80b5DJSS4pYuN8Poi9+A1VqJPAAK9kEAYhwPCJi1k6C1tPI2DUlAdXsQmiHnjg7eRrxVzPZ+1uw249y7rEwIYHPIgRJaPWMcxfmfpmM993l5DKRrRTvI5+LJOuRD7h1kaYOi4ifNoFqhXlPQtWqoZnMRDYk2uMa/JdrN8YslYpcoO+TeATcy/877Y3OcQ1VD/zlQftMkpd9+oAsHbmhAtEAHRQPaa8A6jcxdEAqoRzN0z41/VSob7uiWZXyOkbAU16CcIJlhimf0yleM6RVMIsiSYaOi4S6FipsJbEiXyLzjlKxNbiNjQxynrAfMgvH5bUaad9oh9w4EJaiB7YM2JGdO8uKcd3ESAtO8JcHRCwcAIflymFdTu97sFncplIJmBoGgklRQiWamuw2+WCYDUMwwpYqeYg14hpZRYsi9YzITlSlz7tpWwL7k8LEexuAo65hjwuQDKhPhGOOdo+KGDfKAwRvZQmOEOWRjBr3UEq60XsTBghHpxG0PkuZVeJ+fG+XeUQTSB9jIZki6o2UumJ9o8IBibIeuC8Yx6BoOnlwhRW93dbl3uTeZmJsgIgEasmByoskdt3lR6rmAeyR5MgtOWB061OXesZdUvwxXMeG0kpw7yTCJhWuVbAstgfQTer5V7h0qdMiKy7M3u+nNrn1qMkVmLunKtC18kgiNF3olgJgdXewMdJMUGLn0m/A8Tacw6jN6D2R9uZ0r9TKmDVsBsrADInchbY5bUWAYg9ayNh1tVKQ4JHwls9EwybRPP6HTsWrDjizvqBVvAvEP2NsxhU5EpkoHm0IS02LRDDgsUvFYpl7aSWZbHCJNuc/W5opJQrUe597VQ9a1HGeCYZg/n9FooaIjDurSCuSvDZlw2Sj3Ti66UWXtaNuWEncZbRNHYS+bzUo/RKkwHZnd2u+F63fOSiV1cL7moaGGyY0wPwHhGhu2eLF8O+TeWXI0kxeZ3EzTsum24WajSru9GdrPo4bt0aQA68ko907SLrmkjVd64mlRYa7s2JM7ysNrJWHEiU3R5d45yF3iPthYJWQwqEPy7gqm2TSAagyYZiFxijqgSiTXmt6XXOioz72rxN/ZQIA1EO6AueAGgkqmyelSQ2lAoJSAwmVa12gjl+TrNFZsbzC7s9j5jIjS+exrx+2mqBxzx/CHLS0qykoFrUPwW3LzGaBKUxFj68HshnntzSDZV2F9AI0ik5Fc6OqUGzuhEujeVNCuCeytRLZ9MB27GXLvZNcnqDgBiqfHWdHjQtkkuXeluFfpLk9hJnDPE0N/3PRqsDAmU0PunWYqBTeNNZWkYbASbucSZ4j12yckQUuSk7VYhZo5QgAFRsLmXe5dFbLImRRiq5B1XUmmGyw92ZOqgi9OouA0L8n9QBWJSUe5d6kWL7PfMdvKvHDLCXfPasqqJkTdRMR6T7IkO9ADI+kXweyOS+/iYg5ZxXwOwlz2kl4qnXn9QbktcXlyQeL1SC2G8Sj3jkFo6/OgJNxCIOSonLRXloxY0tBlz5h3Q3xN/63I8nice+c8nOWWezF2a3HPWGJk7odkfiLjBrXyWeacCm7co9T09nuAcGRCagQmhdiQF8W9KCbJLXjKWpuXVknefMo5MiE2SJw9zr3jKskumThseOX/OmeS3xkCHFDDrlR+6xITkCiO6WOTIHUwuyXewK04nDxGkBhklBBe5qFuoyQeryCfaHLRbm9AkFltCDBHZjcd2UAPBcaeiNAnfi4C9KXo4P7e0oNyHZLZAMUcfRy6HJnd9DEzwTNjcjqdJE7MpNgGxzazBaSBxL9fwASkb7irzYxy79qRSHVtn51MV0VKBC/nlJ6t903zZQjiuyYczka5d0zuqMogRrv86Da4KXLhK0lzisUPC/LQPn+BmfG6HpndnDyCiEacJr7LfJuBCgno0iOxkDG5RnLxHLNzGRAwQ+4dOAows8ryxvG9GJDDYiplntp10GOC5P3eHqazMhOwVgB1rR3n3ikJP0CposXgFCBwEEtHh2TsdpR6kfYbFkGYQ+5dwtxn+ogtxuAsAD+ZT3nAD94oMwilCseQ5fJmklx2fOJvQWUwyr0DU3LMlKYOkoxbAtNSieGflnWZlBnQvi6x8qVJnLz+JMlqn3vnE9Q8ZcMAKVLoce7yIfDLYFqn6LZjZndbltzSUZvSp2Pohql+Be2uBlKg8XPkKTtlOJyb6XWwy7mvhN7x0tvyFB6EZwwUUDOkkO8ZXZcQv6nsmw9mtwbHG5rb9O4StNM7TnjHhOzYx6Qwz+J35FtLMhF0qAREZerRRkWmODNOye2Bkr8h/jHn8+4k9671CoD2fVrKywkSot6SQYCR2c1hmIxJIexREYR+6yugCUH3XxaykxMxIeT9IYbyXbJKkyFf2tF3wV3EZIkyDbl3JrglrHjtuJsvZsBfG7ETmN8BSD3KvSOAopSkAkiD4G9Crou4URM/LBGzxgN1STimuGlHuXfMMhYM2XrHfqIBNL1Kkl3W3DCda/+Kl8IHFxn8lA7k1Tj3LvE5d6WWfXQ0wxsG8S3BuuRS+f3gTe6TQbgHWnmTy2uRkHsnycP0Z1Cc+3Q5/0IUvpuCaDpnjj1dy424dHzOS+XJQsLmXe4dvQb0ydNskES+0otXyGoAUGYCQDIYJoVKVm6K2mqq9Upy9obcO6NrGYIi3KXYZToz8TU3xDiX87VAMHYgoxsJspb0weayaZr5tUPuHbOOuf+HXBmLqUiXjfOSk1tvJbqpaDL6dDkoT0fzt4GA89sCR69NoKalfOQ2SSJb2OKSQJM4vx9IkkS0v097k8nrxAxlO8q9o22htU8lYCWslD4uYiX2kmmGzHthwpplIg3juqnsd8GiDLl3jqvFgHPbvQmiGWmTXBLR+VajhvhIERKbwU6RnQAh9w76IIeS5U6J3JXeq9K23etvkm7PC4QjyA/Kk4HPthQ/dYjYZ6oH7NqmdOpy/1zeMO9HhTxyZTo53b3cAQKfcqjNm0Qc36Pcu1r7PCBbS8xMskj4JgNuUuNf2mpinCchScTvzVSlzRuxILvcOwN7X94oI68M8fl1Lc0heoTx1yZA+9yBWYcdObAGaAHEuK7bUe5dypiULWrYqLXlfnBdJjAbkjyT+FCiGcClEsA1U+GaCj90IG5HuXcwIbjRjHYttIbfeWNbeaUEGBwKAEKfeXaJ9qkVjBVxryUkZe3zE4PMdk72uRi+DYI7bWrut8uF2+kIypi4Ll5zmBjQwnJew1YFkWZNPMq9Y9IDY6zd7kh6hAEYNEmCWcmMDVEOcNsFvSZMCGHDTBiVvPsu945xHQaNmAtLkMlYD/eFC8YOWxwrv0tbyXuwGp93J+6hepR7J2+e9C+NEtOB8WnZ3+g8LBZflPG2CZ0GJAnuvm75sp50yL0Try99IQxec2jisFESURHhz0ooFbmFh/mUdMMwAkxBJ28TyzucXcsmD64TZTFd8OJupwddNpTTq1X7naCSd2f8hhm+VcNX1OFs+qBjcWZL9omkInB/fCLD1gxFyLu9Mh/6ouuDeJvxNQFaXe4dXRXi7lECgQk0FYMj3M/K/XYFIXEmIkWS1omvuReIURnJvO1y7xg4ojOFoT06sBlVIRTkOytSUdfcHSHvH/JmhCRrBeFfjXLvqiI4oyrv3uH2E8aBRNxKrrTPJaMwowEKoZfKi3mI/Nsh944uOsMJZUhZ9q6EbZY6uDUY4uLQZW8Qd+QYSjCfyW11n3vnJSOhjGRRae8vKsMWQ/GGE6AzxGxCVlwhQTjZ7a/zce5dFyo2ggGY50q2iSVgFOQ1cbi8OUMHJVp5V4c4e7vcu7CHJWyj7HNlmLhvSArceEHtwWBA2vjNjYLBVdgpWQTfiLyexIQ9LPnJ3njlX1LAcDw92BwiU6CpMDhn8maRogsCxH7vj7xQpwyeGTc4U/xfhuV9fIzH1HV06OVmyL0DY4bIXOtTvLlazjyxMT/8aNum3MNJBm763DuvozJ0l0FZBgMYk5c3jGSdE+rpDfkV8f0TuXed6x/IDovfipdGZapUANvAkqWqANprplJhCY31W+0THdxBsY/liyUQYt1NJq/HkdRgun+5LTwL0BJkVqLDFoRPp421VWE1MBHYz0I+Wp8zEYiBW9gZBkkk0JUAFVRQmRmDO5YJJiVz54qSbmXqMLqpW756hqk4eef65x5m5rP4LVvy9gbj3+vC0C+Nf+pybnTh8ubMnGDf8Zeu6irvXP+kkSBK8pCnWXSmacizYo5r6xP9ResGD6AkRNrO9e9JSd6rl3UkFFyT4Zz9YtIBwa9wSRZyQ8WS7Vz/pRhjGuoGVNXyBW7iRcN0VDlspLJMXVWSwpy2ZVbVZWOxAmUV3ssyZNzRoqERUji/g5Hufu5TTShfLSQ02B/dyGvZT5fCwLMFt8zmIIlK3k0Z9gOZOq/A/YmTtGc6DWQvB5QHIEwlGSFZAtjjiJWMV1VJI5l+Oil6179i1izfvUggS2FJU5auNO5QoaLh/ljZu278Kwo0MSnQM+WgsyPXf+X8C0a4RaFV4nXljsHEMOmW+bStj1XylXBMOKD7iJ58ivmsGLn+IVFriGv0Oq9p29BXysAIURgTmDVzr1vZy09d3SgZbV7RwTPKuOOsFQ14CfDBGkxzy93LzGgxMAcapsNYSaSrIJI1va5pXmZZyZfnAXsVg+ufOiClqc9Ur6bwxrq8T5JJKgn4qyks5kdCi1g3vmW6Qi/5kr9SNgSEbfcOEIBR9Fje1cDUTx8xTakbIHJTcJTlNgWfpCzvmqN3jCZJ3AzvKAQy5paDkJVBYcgcLVIvrS8Ii8QmeUn9yPAJs8Rl/hrZz61Hrv8iKWm3t2UGWQa0lzO6F9ddijRIqUn46lICeG9IUQ2aWpJUY9mg1Ln+U4dFjSVPHxPO7AbME1ZHoqgkyxZ8AiqX/DYGKtAgU2uYNCa43bv+S8XUhbSGYLRFVVclHaBgbJxnqKCQtGSstWQtlk0QlABkWcncpHz0jkIG5/h+ojzxOzC4UYsoENKML9EoHV3bFXfuFA7KuOJGwAozjkuA1ON3FCoRI5LdY/wmNiZqO/oX+MYNEitJKa7EnSueV8sXHjKRNhm9o1BeXc6gFn1wrU9Ekbyb2ueuV85nBlGR0CIjGqL/l7ijVqOMO4lbYlBUbVBxjRjVmX9DIDU0pwXM7kgOFGZsgNE0I+8D6V3/fsMogHhbhAR3OomNDRaXkhdrOao6ShgqIdgY8q4ITkmbn71bma/7ldcDX0e7zYN8HGgfXWj/suFJ917k8+vrHX71NLxSePya4sW6cY834YnFOlJXWRK92S2a6MN6cdifvMLbVqN3Cj/3lu5QYvoP/j1+gffw2uHwuuv4UZctDHNwSNY60Aw0aglK5ivQYybbWW0qaFUNho5zpZrw0vThv2n8eHopPfmBo1rDuE7TtLpOamifTFucW9tqaOpxFebkp1v8XOzfi0YFB9bDwd/Ri3/0v6lOpirm+8r71w0Nk1RYH1zPawDeLNaZa4FXcp1iFMCIOsHIDGiMnj5dp79kkhpTMSdH1zEmSDP7DxOENSgLvtxfsYoa5fjjJwdyW8ZZyxc0N3GGmUob+m8N6rJMapOJ+xdOUmhaJimZQvL206RH02QxBRaiugSiKFqYPGmqc1vpPC4xXRpQz4Cuas137PM9O7+8g2fTxyzfpqzG09T9aPvxuwBAOHGWpHFaVXHKF/jXgvf/J2hJFVOlpxhh0s+TOSInyHiTgZws5DP4DhrMkxN+mKikksQXjS5Ck+S/iJy4bwXV1FmlK/CcLUlOZSAnc0ROmJPcGdAa5qgkOYGMauA40FUC3ktUA4Fe/c+RkwGU7b57gOk5GwugJ/eUoP+YthpcaGpMlWMSnXKV/p9YwCeqOCOrnBtRQE6AtHxf8v8EGelpMU0gjCc3559+eLfu1cbv4ml/qPrDL/+Rj6OcfHLm4stblb3+XXx3d6Gyl19Orn+n/OHFlzOVTSaTF/5bb6OO8VX9R58ejCq7X+wje4ge+S0AqEDRfhN+r/DzzeOscdGvN5vdTdevSL7It5pGv//2PT/p5h/na/1HqnU1M5fvo4tvPvtfk+PpQOmfmY/19OQjMt8Or+3/fV9qFf+MCo5Wn/j40d0cy4Lm0ex6MvlhNV/P1M1Pbrl3vL2K+WWg1XwV3/hPgfWFV5dqcjt/nKz4OTAW/+FD/wmPuem/j/R2MV+HR98uZsvNnZr0BVfN/GK5uXy7mNzdKUqdofJG6kZNq+ZG+oJ6cPjTar7cnH99bKn4Fa3+4f7rGkt9dH2mhjvm+I5+4rMZan402NnjzfBlrtEdPb5jxncM75x9YWU7//rqYqcul0Nv1vF8p14etv25mi/lvH8YT61j/xi6elp+fz9fap6zmEIxLbWjmv395U6Pa9afqNlMbn5Pv4mvm5Wak0o1SwBl99UetaxRyEjLv6e7g4Wkgt/TaTFqdsR/68/le4yu/nBY3LsjvvHfyNgf7O7ALxqCKf0nNASqRovm8Zib+OHDrbt46gMXbc8qeGpgrs9/jm0en2Gb7v5mjvpeqPTmcV633+L47i75zgudzfEXWzaX68/vIIUef2TJC190cqm+u70VEaWy2ebZj5wt1yob+tT3f/vPCMtH383tIBZn8iGSI+G4WR+viJ/iqPt2J+qVj5zKx0oeNsHqmK03jQhSfgT2YPlNzA+r6PP42+13UY1/pvwGSriowsXLpv7u9MNuD/qJMTf1uSD8PH7imvqZbwcd+u82woB5epUPdo5ex9+9lPl/BM6+xLnqz5Wc6/5cy7npz80xCTS1fDwFwArDPq5VndSqTmpVx7UO4k/E7mmNTX1SZVNfntaKS6cV41Jf9xkJVpjJfjmW/XLs/5mPmdl5IMbl6PNJ+cyefVNuj4l7Xb3E/64vcKxem5e2P9NyhvNr/mtPmYgihvR4b5cfaC3bB6G8C9j/WfQSZu5F8dIkZuK/+jO7i6CmeQwbemlXW/Qbcic+/Q5oR0Vf/EMs+MX8i6uvr3SeJN0Xs764jV/3n566/uKI+fgV4/2HXWtrF30h8MH3cfwpIfRNbHT/YaOL7cN0qye+7GC7T67x/Hg0IkrBs4lMzR5YR/dfUNr3X1CqFkREdkdvwPhrS5MpH4ZU6u/i2Yvhg9J/xNEf5LPQr8I3n+gxQHONqzf89LH/QPQJFuJIx98p6mTcQ3+ke6p717Pu4cnvGbW/iCoHKPbHERb74wDGfvf56PrnI5C2Gw7r6WRO78hh/EGv4RuK3Qcltw9XX4uZtbgzqpws5vi344F2vn2YhXKLycuvz+v5fqhHs54eT32/mouv5LVS10nO+r+/+341+X7+/ermp1DmzXyru+q/P6r+TIh+Ft+cX1M3TwjgJ66p836vFnNCXs4v5xXz1g3zZZZMpp+JK6OX9LtPFL6U8oBYi8lstXiipe/9w1gxrtS60xoX30tLnx+3VH+isLSEq6vv0dL3Z5NV9AP+5uYbQicRlO9Y/TfESeFU8VT3p5qnpj81PE2600vln05HF+T5bHRBashHF8bKBsz7xf23y5dJdEk9SiZ/qXEM/uXxd88P4ov7J6g2nl+sFjMzebmuL1ffzwZov1/P1ztcvXnyi6Hv5/HN+9tmd5ncvL+8nAyMNv6MbWxv+sOqP1TDVVXdHD04bmGPFva3yc3+rPpx/x/nARkCBi7iy/3L/fryPXpNhTf+WF4vB55ACHoyF0BCLUnqAbw4fzCUfojn33y7/64bwYPi6WXy3fkDGP3l/CF+ebA3GL0/rPQNho9jJZdV5Q8rffz4T8ez2V68v00mP3RGiJ1/FsMgvQEVxN9dznf2JScaZ6o7q3iWhDMl99LurLo5r/1u3uxevPDLObRTzT9T376fNTtpSrOCqmvKdGfSVBbOfFN5dzZu6tyou4/7L1FC5cpgJtOvZ+3kcrikcanl1Tf+6nBHnRc2vvCbc1tvea9O2krOH8+ebSs9L5yftxWUPstgbHjgcPBPoPUpjp+B/w96efGLHCRnrPy7ufhI+uSGzO/Yl8xkLXt0W8d03ZyvXvN5d0xW5yZpho/4mRUGkrP4+uLLW6NfS8puFzdOw0s/TIj9quHrHvKBgCbEjysfQ5ZXshWsKCmkIm4kzxjECl/r4HuBGNBm1jqD2Px4EneGyivY6uBbD9uX4+L6n/NdMetuMnnua8YXv+s8STD2Jmcm0yngDFjoygF0bjfL6K/bzV77z1bi9K+rRQOY9I3+MroYQBphXSoAbyoQFLDKrpto8+Fw8tVkVNVJqPtf+sHr+9v5TGVHn0+Wy/yk9OhqUjyFPpYbiN2RdycpTj8m//N+HpL0qgH6uJ3fP+HkObcU+MBy039ptjMcNqji8uJ+ZtHpK6kVbczsc5y0bwZOevfPWM/xo9bKqkTFEjNMYnodi5fvAmkcuxjfrwTL7z4wXAcY/QBaaNu9Y2iuQ/XTaPsWFvM02n9c12ixXdo3U1hdy4VrYbvsFpZf+byXB6bRcj3b7ha1+299gqLRTm/h9sj5YUDO27fTagOKRCvTv4+IorbH4q39tD03fCT3pcTceiJ5d0og726zFy/2zd2cCwL0glWcvLu8PHeVHeb1crG9uNg3Myk6kXXungrXJlPI0ic+tfvgH364Si+FrFHMaJJ3r5rfz4HEAye8TM9J/dBDkq3uHWj18ffet287sz6+2erQpL5Kp7MMTeI3ucQ/N3hsrvQTprtUoF6razO5vMC6vI6vAS5Qk3A6a5rIw8n4M+9PWj03/NQrTCfYP2eT8WjnYmHhthiJ03dQOCx5+fB+9nBevOqLy5TN8BA6wYPxo7OH9yPsV80fK/kCtHx+/bG6EiqYjD5L3tr5ox0VsedFxtXJXIL+sLwoKI/7S7a/9DSf2xYE/VuI1YVdLv7mnvAjfZxE7jFQPQXzjp8KfiZw/TNUv+3cGB9f8iXBV4+jQeyXm8OeZkFnsPGv0sVF+LNcX+y3UChnj6hnH5HyLy/UZdfNCzW5vcWd80pgYTze+ENYFx/DITNbTkvCNOFXRLI4U9y0m6VFedYEDKEzBXlx+tT09MK5O6ZdLDHx0YdtYw/Oa0UbvbFbasCGPka33Q8BlrV7YHzlfhrtFlCnmO7NIdqJbqRPwe4qkZXH6+/rfv4b42OZNu3XsTva9Ze8sKw+fBz8jwd/7e2i/+R4/Zay+dNSdHr8R6pA1z9NWdCLoA/5PPeW6LKa9JILehK35CPd/p6dPOFvWM+bw0z07fpO6cmaAuhJU20Biljcrm8WNKTuL+dFaWIdUgJuLqar6f1k7j/bjsPpcjOFlh1Jo9MnzgayZW8xja9lMH4s1773Z51/9ovry/DJdX4u3X97fes/sj45/tL6p78Ofz6O05abua0u+tmdCr9xDptb5cpJM8e/57pmMR+6hUch85kvVqZMgUpNnmRlkkyVyrMT3PnEyJfhc+2dhfGXqT59Kp5Mt4vJlHebn6sV1YmJsZsGQh1uodeg4xcvlvZyuYNY9t23UzkfC2WQ6ny7uPv6Sh+rvsVd6lT64sV2ccvMTGDjYzN8JU1vF9Pl1hs60B+L6epwYjzfd8Wko1xV/jMZPXJ/8AbXAff4z3iAfahSGGo1X25v7kHPPiSJHhxwen84B5VbN6cWWgFUerWyk/a3bloy+S2dTD259efn0o9UtJuy3U8poj892O3Fn3e2cb9dtxv5TDvEk40O/7wO6j0h8bxTNYN3Rs07XTJc0/NO4J/R3arTY0HRdHpnH08GwXP/bCEge+qgJzh5+9wzalTx7tlCz1YMhBCe2esXX2VJX1drhxt3d1nib3ZzUK8Pc15XpQ52HP+76XCx3NNpClB2PpSu3sOrndu73b37L6/z+/P/nNx0wv2IVQ6vDouV2x/sansnvcKYpFsnHNMpl/mf3XL5lT28fbXYf7ar8Pxi/2voocMru9p8WB/+sz/6r+nQ+HD4X9MOAkw7ANCREhDVZDg+kr2joXphQfnQBSj6Hn1Ybv8D5Pq/Qa/f2Kbr2uu+a9fjrvl7XWeu+84MT3Wdvx46P3kSEYpwH1huHrQ8r0ChQ5NDFe6m++kwV/2cz47mfErt3UlDkkN8w4VvLSTGzRP+qB5NDZ0dYNXQ63MFvH17RAT/JhLqydmed/PRi/6gJjvhcz260cknUZ03p766rqb6dndd3+0mP0C8yfig+dyJaw+Dh9kFC4SzIFaIvnneIfcwF8A6gfwNFl7HvDu5sxvdGdSxrM1kLqbpw3S3m8IIpf15fwz233ywu+YL50ieRPrDuf0HADU0w+THZ+7d454g5X8AbH+iut1z1emhOozlxxGrEUT/OCJLefxHzD0OSv2jmH9jyA0xdB2fq51PMzKVUIe1P9+stkt3cAJO39D/tHOLlX3jCLb/P7teLJfE3quVhXppcP+3v/nNb6Jqsba7j1nCQD8YfQ9N9qqvcbnZo/N9hZsPhz311uGt9Rd3QOk30WHB1A23dLUPNS43DygMGnh1rCD7Ve5E9whHnzhkjl1Y7d1cl+P/kuLFi/Z2fpyhmeaTHzqrB4QevDjt7OTR/Oy5YtZ2cu+0bC+bTh8BJO4aCCvxxFj/9HbRHvYXI9V/v4CJc6L2Mdgu9h16f3NSmVcL3j7prRM7GLh2sFlGVu/gCBqlkQxX26Eq0NPQxSOLhm0O/TvRU9UUfUDbj9OPU7SBuj37o/s//Wq5qHYgrP6ZsKK9FdItPBOCDnZ9EEfoPKKGvfmZkn/+5j9Sw7LR7W2Umr+nuO6L658r/uVvv+oK9/z+fOkvfvObv37+2R98z/Objhlh+S43MLqWmzf64nEyiS4jNY1iGmLRIwrHU2YZet6L1pvdir4Le+iZb8jFWBy+dOtRktLTpucQ0F6PeecpGOl5Krp4jO6GYeIh9OuOVzDmaB1dhqOfPvEctGv/WJaEp3jwqYeMHh4yOjzEg089pLJRB7Ouf9mnHxoNqhvSzwxoNJ5uOD8zmtFgurH83FBGI+kG8vQT/wYymXQlThT1TwOhrT+srhq3jsCr4LI7PrPbUMA30WETMW0DInzm7lGk2XxgLsnqpf5vN430f4MtbufRKrrlsXnVV/kfaxcRglAZXItIBxnOlm79Bi2gNmgVqhnGMVrSMbTBagM9wRQy0nTjuOvkET3gzWhPMXhC16MMIwxg2nMYRvKzJP5+2oeUx8TuwFdBWgeuQc1gvdnJVTbBq53kOLKt1jfDcTMGdNGFwzzFXL39Gi2hbi5np5JnQJfMjZlzBIwIiKE6lB1ujp/iQ8PSv2em3Dq6OmoZy9HP+JvFPTTte8aLvuXqyRomk+ujBaBPDSv9wAAGIUAty3g0kvekRpGikxPB4E6obTT2+c8M/hcN+dlhn7m/o50vNkP5l0dFewf+w6ImDWjc3x0vnb91xw79+GN3Op/z/MULzscL8iUuwEo9mZH3z8zIexbv5lDGIHrmppvC6KfnWdaDsDl0xIXCgPCH/3furw+TKypAdMLuaf6AwE8xFB/9jyF7Ck9987MMs3qaYTgMPs+RUGp4JX8h45hGs3ScJu07gz6DcfnMNFJPOSG56iNWPmWgu0BEpB8RPMd0QVKZEwiMqCkUHd08p7wneylihbx+3k2ySRDHRxWR18jk0X7BCBwDeRDYT9bOKmacWBx0WHxYYOdzZSFmmXaIFSX7PIicvXCXILVw9eJBBPaZzqcI7Vfv4dn1/fuk4INIuyy+8Yl+ck2oDCWz+GiF/u2vFrft/gDjDdUCFUazI+oP7rfo4qgg0Y0UHlglTEY/pr58P6oxTW7p74eAOx5eAJ+ncXpPRtFrH1A9IqGJn+drTyZzzu/xGp8vFe6R+0QnhmXx7PfWdjrU9knQJwvlizzNZp9myckTfr0tiLx3Vz7NORdbtLHtaPBihQ5zp8nxJByzpqzY8XPhsekZB5znRGz7yd4ecSvruua1u7uhgu0JJwyLv1qsO2K1/SRVz617P0VdLyw4p0IfLNqsbsarR3wtSbLAKMyvuI7YVGCgygFucz7CuThoverXp2IVz/7mcdsvpX/0mwGXyLPf/AwnPkGsfz3rzzcnHfom9OiMMvkkjIYPy+3F1i6ayRU7OYn2tV16ZEVaxbLintclPPrGKxDoOCbherxXubeLdSMFv5kMKO+PofPeKoFtP9u0s4rQkZuCt7D1X3kptXIWxVihtOX9fYR/6w1g3prbk8EJ/RqcTO2JB7GndvZmmN9/dMI/POUoiPwUiD6jovdnIGDadDgPjfT3u/OhhG+1LxBO/f1eQ44dXtOBZQN3hYGRL8/DTSjSkVo/4m6kszO2bwLqCu1SMZ7cvxMj7LxfwxNjDm2e4U9vzv/qyC/t3arDcnh37zenV/5rdKXzl55fQqlzcbdz9388f2J0eVx3taDnaNz8/h0vSLXPUsmpBnmO+tqjqp+lxbmflSMsCDU0zE3fy5PB9TMzOXr2unuWIw0Dmp7OQD+Fk5v/30idFwQZ3nUOjuOOd66vYyd6P7tvBk34RtiiQ62CVs+4QhLjnmeMJ2Emyvshv0Rr5yUGJHkW1qExytaI39jk8az6217beitn3rOP3ANMFJXqzZrh5izcPe9sjNYuaJSwvktv4V75K8fwtOthmAv2zz1RH62r2K/ba6jwa57NxiCN4vyCvoVbKXlJa+Tycn1q2XQV3g+4496dGzr7DnvcMzWjR9djNMCUtjerbmZOCvLWEc7Yn0Wh0EqAUv2jYXl72SbxjCesw3NKpPPx/wJ4f9Kq","code_encoding":"base64(zlib(UTF-8 Strategy.sol)); contains TellMath inline; imports AMMStrategyBase.sol and IAMMStrategy.sol from the pinned engine contracts/src/","input_hashes":{"C0_source":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","BASE_source":"85ba1c4be0cfe9414a2ad747191dc39f35c2f1bc36020901835552da688060f5","TellMath_source":"77075345fd956b35fce09dc6a9b59135b18276c0bf4a5a21bdff060874b90e92","artifact_bodies":"All four SHA256 body digests matched their URL names; all three decoded code digests matched code_sha256."},"compiler":{"solc":"0.8.24","optimizer_runs":200,"viaIR":true,"evmVersion":"paris"},"gates":{"setup":{"pass":true,"research_files":34,"hash_mismatches":0,"engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","starter_validate":true},"isArb_vectors":{"n":11856,"mismatches":0,"bad_first20":[],"pass":true,"gas":{"n":11856,"min":37328,"max":43238,"mean":40072.53247300944,"includes_transaction_base":true}},"closed_loop":{"pass":false,"seeds":[60000,60007],"seed_range_inclusive":true,"calls":90554,"threshold_bps":0.01,"max_abs_raw_shadow_fee_diff_bps":[458.62902019074807,15.324825506245277],"max_abs_engine_clamped_shadow_fee_diff_bps":[25.961658883156016,15.324825506245277],"runs":[{"seed":60000,"calls":11100,"max_diff_bps":[4.811843198199162e-07,4.77213372984675e-07],"guard_shifts":0,"gamma_collisions":0,"pass":true,"raw_shadow_max_diff_bps":[4.811843198199162e-07,4.77213372984675e-07],"first_failure":null,"classifier_disagreements":1},{"seed":60001,"calls":10825,"max_diff_bps":[8.68441619886125,15.324825506245277],"guard_shifts":0,"gamma_collisions":0,"pass":false,"raw_shadow_max_diff_bps":[8.68441619886125,15.324825506245277],"first_failure":{"t":4596,"expected":[0.0005835215742074906,0.0049927227968754595],"got":[6.4876992243134e-05,0.005410605519527482]},"classifier_disagreements":4},{"seed":60002,"calls":11984,"max_diff_bps":[4.770661123087994e-07,4.7322225998902567e-07],"guard_shifts":0,"gamma_collisions":0,"pass":true,"raw_shadow_max_diff_bps":[4.770661123087994e-07,4.7322225998902567e-07],"first_failure":null,"classifier_disagreements":0},{"seed":60003,"calls":12003,"max_diff_bps":[4.829896465413652e-07,4.703753012091916e-07],"guard_shifts":0,"gamma_collisions":0,"pass":true,"raw_shadow_max_diff_bps":[4.829896465413652e-07,4.703753012091916e-07],"first_failure":null,"classifier_disagreements":1},{"seed":60004,"calls":12346,"max_diff_bps":[7.527033564010601,9.79847182312956],"guard_shifts":0,"gamma_collisions":0,"pass":false,"raw_shadow_max_diff_bps":[7.527033564010601,9.79847182312956],"first_failure":{"t":5303,"expected":[0.0044867127034264875,0.0010032504808541454],"got":[0.005239416059827548,0.000211597994726961]},"classifier_disagreements":3},{"seed":60005,"calls":12378,"max_diff_bps":[4.793924111845538e-07,4.789107305169793e-07],"guard_shifts":0,"gamma_collisions":0,"pass":true,"raw_shadow_max_diff_bps":[4.793924111845538e-07,4.789107305169793e-07],"first_failure":null,"classifier_disagreements":2},{"seed":60006,"calls":10768,"max_diff_bps":[25.961658883156016,9.458685976763832],"guard_shifts":0,"gamma_collisions":0,"pass":false,"raw_shadow_max_diff_bps":[458.62902019074807,9.458685976763832],"first_failure":{"t":4707,"expected":[3.055903671478344e-05,0.005237413970191507],"got":[0.002626724925030385,0.004291545372515124]},"classifier_disagreements":2},{"seed":60007,"calls":9150,"max_diff_bps":[4.831604213939578e-07,4.816184517170141e-07],"guard_shifts":0,"gamma_collisions":0,"pass":true,"raw_shadow_max_diff_bps":[4.831604213939578e-07,4.816184517170141e-07],"first_failure":null,"classifier_disagreements":1}],"method":"pyrevm candidate drives replica2.run for 10000 steps per seed. Original tellpol.TellPolicy(soft=1), Q = C0 coefficient/knots decoded using the supplied qmref surfaces function; fb/fa overwritten with exact candidate-returned fees converted to binary64 after every call. Both unclamped literal shadow and engine-clamped shadow comparisons fail. No true-price or arb flag passed to the shadow."},"engine_afterSwap_gas":{"pass":true,"peak":222798,"limit":245000,"calls":86129,"seeds":[60000,60001,60002,60003,60004,60005,60006,60007]},"engine_zero_errors":{"pass":true,"OutOfGas":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"validate":{"pass":true,"output":"Validating strategy...\nCompiling strategy...\nStrategy 'TellMinLookup' validated successfully!"},"runtime":{"pass":true,"bytes":22499,"limit":24576},"no_assembly":{"pass":true,"assembly_token_count":0},"storage":{"pass":true,"declared_slots":32,"used_slot_indices":[0,1,2,3,4,5],"additional_state_variables":0},"guard":{"cases":2113,"shifted_cases":110,"counter":110,"pass":true,"low":2999999999999948,"high":3000000000000057,"method":"Exact guardFee function extracted from candidate, compiled in test harness; independent IEEE binary64 reference, all forbidden integers and 1000 neighbors each side, zero and cap."}},"guard_shifts":{"closed_loop":0,"closed_loop_gamma_collisions":0,"engine":null,"engine_note":"run_batch does not expose final contract storage; the candidate maintains an exact slots[5] counter accessible through guardShifts(). No engine shift count is inferred from end-of-step fees.","test_harness":110},"isArb_gas":{"n":11856,"min":37328,"max":43238,"mean":40072.53247300944,"includes_transaction_base":true},"isArb_gas_per_call":{"encoding":"base64(zlib(little-endian uint16 array)); add 21000 to each element to recover transaction gas, vector order unchanged","n":11856,"data_zb64":"eNpcnAV0VVfw7inubsGCu7tnz5zgsGf2SQIUQtHiFHdpgVLcKVDcPbi7u7s7FA/u8r7k9f3Xe291tUBz77nn7JlPfqS0rVak81pGttBWXirHeLIYze6eyRx6r+c0nc6ieTqPh3BrOiMv7XQTzy2XKXrXv2G74DVvJYVupj+8lXJBPspxaS2bbGWJ0LJ6V0LpXwnQMJePctl59Fzy6VHyvTCXV3+X81TUZXQ7bVVcM5aek1h01nblHHpAXprWfEhbyzm5JY8kg7stVbSgjJT3ekZia0c5I/PMZYmrM9wnPWbfCWtu2eBXplIunQ53vciTs/yzm6a/83b70oyWBl42ucvpZboMlOd4ht81qczWSbLKdKQjssyl15vmtc2nEbpbiutcreoe2xJ6XIpofa0m9TUfZ5AP0oLWy3e7lu5LKjlqS/EluaAXNKHcEeey6Fq9a/+RbDpAGnvbNEJ6yt90zT2yC6iDVNQwnYOvTfO+uY5U3K00R+WpPSMxOQWvloxUSYe6ERJTt2kpSSoFvdz6kVNIas2hb0xi/cv0p9iUX99qQ4qjnamcZAjdJtcpkddBfkh511dPaj6tp41pqk4wg2W5EGUWRxldItzVIcmgD6WrtObNNMmdE0/m49oFpIcclUqaC38XosnidLTWohFynLrafZJb11BJnEw8F6FH7Tm8ui1me07b0wFNx9nda7mjM+WuuS9tQuNTRbFUXFYL6QcbKOMoUrO6vzQnXrOJ6ms7ueqS6z6biO7b5jSZZspIfmcOSUETpu9dKsxvpgx3CbydEkTDcKW12JE1clWmcW8JwzkXwl39wuekkivspslzG8Zr5YkW9j66weJTKkyxlCtJeziHJKUFus+0oKV6RzNLGl2LZ1ttG+sYVbdb7vAHGwebEofyh0ziINdVD/Bod84M1Iq8RbL7A2SabpGYbojs4zpymk7Z1pjbPPpb+tNbuqELZDFtkUR6nfrrRbtYY3NuSoCtbUoDMYtk2JaelEnH4klzyxdvuFbVu+YGreB47o4kUc8/J6dkgQS5sXwQW2axc0spCGr5qMm1i3SXA3JGK1BxVZNBbrsISckHZLb8pRP1u71hZ1J1DTYBUivkgiSTePpE9ulBZrzutW0m2V1WScCxSbWppvRxda6mc9xxfa/95C85JJ2h7WAaSDllEu12t+Qf1xaqTKHlKKUcpTmuMsfUBK4bpaYn2G2hISahLqJ98tgetgvw+afklNkiEZxch0uEdHX5eIQexb0X1+84/w+mpktAFfWhxnaxsH17ZION4c7irmtAbyvNPe8qFaB+Utkd5awaKC09JyWkqEzAa5dLNY0lnXQnVBTLm+A6yHmbwC/mksp0V1zy6EidELpbjmomfmy/yRparpn9JBpfesthsxM+0QO70BrqFGWvpqaS+xKpjzHn/b6VT3JF5lE6Giz9sPmFNTGPlu/SF3tbzyXENIiqSwvZou/sSZluduLpLspK+igD5IbdSZdliPyr5+0uu0jPWMGJp6MaUEFWbNB68t0Lie0fkmKyxh2zYzih9NQarozED1ltnsMBI91sPYr7OkoJnKGhkpMvaw8tQG8xic5UTfNiV0prbu0pBSnInaS7cp/vUmHZLnv8Rhwmmfw32IiTmknXS7ibKQ38Wi6/OMwyBjatgQSZ8joZp/JIj7qemhin+NKWlptQILm00OJN21K3uFTuop2qOzWTl1xrwl86yhfcxWVsVWGdQ5skpy42dWiM9NWzHKQbzAQapWOlAuXHKc502+S1lJIR3mLNYkt5neiT/YBrZNESWl92ynh5qPnMdpknw6in/AO3HkQf7HGZTun1Bhzrtfwm6dwSTiU5Zaw/VmbxSjx3N9rkxlF5yiV/8S17T/fKHToqW3UkL3Jb5DGdlE4UqJGyXTM7gv/vsxO1HfXAGewWY0a7DLLUPKCqFFv/MciGoH0y3juoqfBMp2wKt14SSiAFyik9rgU4IV202fkR5pmXUslOOPpJKexay0NJIm1pu82qEfTCTZZh2Ij9UNg+e810xH4GU218XjmaCd+cqwM0Dpz4MreBk53UEq6ehkhZnP0hGQrtBvMfGq5LsWspgz/YxNrHFJcleGWQ6wH3itBmmOLvmHNWXQ0lOO8bnKYZdH1ICmGeqXSk8+FEedwJm9z47jmeoi2ds4ukAjatL+WWohob/txMlpnSLok7hFyeJI7T2Rw6W2PoCm7KD8186DtO6Cn7HslWGZ/ShmI7o4v9M3JQfkIiLoZPtZDTckBv4lQZuu1MiSWjSyDXdIQOlq68DH47WNZLEk7ghVEKaUUv7c860y7VKzbKhwriPZtsd/mN0/usGaQU3H0L/rnHCi2TrHDVHsjuf0O2S5HQSFtXe3A6zY7nzsC5XGf/d73G5E7pQyhpEF2Va7Yfrdc2cO/z9hby/LJdIuqKcBVXTKE2yQBV5qoSidP/hC06z3ncI8ysPzY8DQVhzw4hn8LkttamkZxYblCkxJMULgchm6HUCjJIT+sO6GS3TDXLkd4nuIEWDuuteXU6bZPm0PUCaH6GN1TTQPGHbXokSAd9ZtPraJcRT35GttvC0R0kt1bS/rRb2/oPkcMXLeMdNbQP8qmmvpdkyAPyD4qh45IeZ19b7purcPIsbqR7YFgv+t+phKK5uP0U2/+mp00h9KhNMtIdQD490a9yRFPID04tTbkUNDxZS0o4OtJHWew/xDWzapA2kptea+lObeiAbKVEkgB53EHWSjm0sgI6HD4koR/sBilOi80XrSf5uRvy/q220BW2iiyjxsjuqm6JDIbD10eaZqPnFM9tpc5yTR7oECi0MHpeJGegnykmNr2Ey6cXeC5mtwjdq5/el+zw1ADZo+XdPItnlzpI6c7cQw/BvwZLCHK2EDrJAUy1GsfDNA/DfX6mxbYlusSvbo/NDNV0kLds+Zp0k2ouJq4UiMTLipmul4943jxS002Xseh/3+W5LJInLtjd5wqaCc5RVOa4TjjDirQd/eIWzjtC5+kDmQaH+hmdajunh6u95/dwsowyVT/iV+nhG8W1nD7F80JLaAM5pQetxtO11icue1Sy2kwarPmxUd2kpqSQNVJYcsgOTDK1Lpd6cKF7+ovON2XQ+uJhGzYhnW5wQVcVM/7J5XQT0PWWU0No6JZJJfVdAzpucrmE6FUN6QkmPNe1RX9IrJNlsezDX7PhMUgACZIZchJqXWdLaUNpKe+Q5fu0AzxqiPzJP9EjaUyLxHPWTdG2uJO58K3L5hsNpYkymFbLJumuy2Q4F3adoIfk3Bs9c7AUoiqyif+QOBIotfWBPWXradOwgd5BtJlhSOM15r2dbG8r2oZmQ8tD0w7dY+9oOL22ke6b3uKMIZ9dJBpAHGzHOikD585GMVxm+Pp9mSyX0QQ+Sxseoym9VdKOItDD+9FHWw9NqJ304ltQ5D5odq1UdDmhCTQKo35sempH6EEkwkn0+8H6PSqPNb3E0kjsbXN46AI5QkftDxlDcUPPomselxL6tzyVk+6b7EIPrInTuYXzyMf5JaG2hN9WptlSEil6Eh1mg43pVmk8fPYoGgZdbsLef7KxpJbpja18aW6Y63pCdks+pFhmKeiaghX+ppiSQ5/Di3voV/eKy7vj1F7yUBU6YCeh0+SCv1fTUZQfd3AVba0Z2nhxva5T0erW0Ujtgd7kJK1uQXNKpO31OV5RAVqegERNTKGuF7rcAVlF5UJv2dPoE/HQkl/bBm6AV9ANlInSC3ovKnllPGV3mdEyHvIhqWRO2Mvw+Y1SCJuYT5keSGtsTxy5hFNtzqdlqvTn4+CgcP8GlNg2mtVqyk46xjMl6u8oVvso6ygmGl8isNpksNofYLUDcjya1fbB+X8KuWEH4FQj0YBmUTdvK5SWHKnZGglb4D9WqwNWy6VNHVGAnUyfJLPupDpgtTTaCjPN6Uq4u2C1rzaZbkPne2BH/sdq4XwhmtWeRrPaCXhTABT1BQ0xtmo0qx2XLLrePUfXT6LVolmtOFVEMg1yzcFqB7kOWG0kH7ZfzQTQU5poVhssbeQcusGvmHEUq80wzWmNbIR3PDHfbWa0+i3/w2p50IlygNVColktKe6kE/wzM87ohuSWi7Yqv5fn/7FaFZcymtWGwbkGSCfvHDhhrAynfS6xbKemmESYDoPPjvFeuXCw2mJzA6x2AP36AxRYgmpEs9p7ma8ekqqsl0GfQfcF8Vyx0Xy6ovlkItZ4riacrTOUWTw0IprVGoPV6rjhYLWiYLV2YJUpZjr6b1qwmoDVfuApo1jtujSUcF5Bw8BqdWUVTiI9fPNiNKsVQxeYJ410oXYEs+2mVmC1QF0IVovEeUcgSbfBA3rgKa9qE9oCVivsvv8/rCZSkrJhs0tFs9pwsFpB9zt68wVdTrXhylfBjBdtDqRgcxpBQ8Bqj81uqWeagtXiIZ2XSg/oZqf8ihQoHaVNXfY/rHbZZsBdNeerUhqpshZ+FI5XPtE8Xmx/OhpXIM41n8sLVksn780CPQVW26CP0IgLaRSLzrPt9G8Nj2a1WNDNL5qCKoHVisFvjzLY1XTX6rhidn+ELMLmPUF+neKfcbrXolltOpwppx6hM9D3Cmx/Oj1NHfVaNKsVRwc6JDWoO8juKzpZT0qug3UTziDS6w9WO2X2/cdqAdrKfyo3cEa13HQ+C8JTlxOsVhVemA4721s6oftc1ir/sdoD9Na4HEUyE9DJolhtKVitrMkqzUPuwMEu0xVZi34djtd9t63QQD/bV/TRBGsD/exmSA0O0enuJFxxGHzkHDyiABrosGhWWw+fmw7PCdI4mHxquUizXBtOqt+0KVgtHrpqTbBaLF1Lp6KYBV3/O7LqIljtb46t/XGfU1x5nozT3Q1mfK3gn2hWI/w8E1htqpyXPdGsdtGGyWh0x8hoVhuGRN7CqXH9dl4jyYUcnoDsmQ2vS4hOsBz79YF/dzXw3ihWyyDzwGrJtBVYbYvsRC7dgKtvjWa1n6JZ7TxY7asZg9wIhzprammvuCZFv7gHVvtkF4LV3soJsFoOsNpY8GhhjcET4PkT5QVYLT1YrRRVlPrwqcf2nKwDq8XG/NeBoSaDUY/SfdDIeUxznY3A9jYEq2VBwjxHg/pg/g+rnfu/WK23hoHVUoesBKt1jGa1BZxA9oHVaiNpi/KZaFb7ogKmCQGVx0ZXqAxWywNWe0hxkZinKDs+c3o0qyUHq+2UQ8jWudiVDdLU910x5MQ5SYy77CJlTWFdrHnBahfRZZJKEb1lM8lBfWozu+d2gZwFq51xgW4f5jdVY3uxo1mtB9L7f7Nadh1Gy6NZrSoNknDdyhl1iOkDVpssIdGsthSaeS0VwULrNKUt6vUDq92PZrUg7YRtn4wOljma1fpRfRkGt+5BseQyzjq93oVjPUSOpXMRYLWieKaxsoLHUg5tTctdL8pDSdD7n9ovehWsthOs9ns0q91AS2oDTV+Xw5rP/QzPPWWHas+oO8Td5AWrFZKt5hVYL7YujGa1azLE2woWugyW+ASuTSsFqEA0qwXyB3MXrHYBrFYSneeMDcKnFXbhOMMAuNR2m1oX0WO3FE9yzVwHq52yjw1Ugb5cX5q7QLDaa/jnCOxnQT3A9aHSvRrgVKvh15NBErPlm9bjLtpaN6CHxI5mtUmmsqzHVGtBYQ1kN1jt+H+stkkW/3+sVhqs9rvL6pqgIVyxiUxV91pO2B50y+5E27iD+8iA5HgmGcBq801+9wa+YaDoKFZLB19IqJO4xn+sljh0UzSrFf+P1QrpZH8n9j+JKwIq/yb9cL0zeg+pbjGj/mA1cknlX12AWbYCq10AY6xHD0oDVvtuG4K6O+sGsNp5sNomSYlJHLbNpA8n9vP/x2oHpI6eAKtNkNTSAG19azSrVQv9Ypv9x2rtNSlY7Ve/l/4bzWoXMMsetB7toB8dx3NEsdplNIaXYLWyLgc7V0nP2vWSBr0vZZV7OOFIkN15dOTnyIM/sdvvTR5tjrOrDFY7r7mjWe0ifUGf/q7pcN9Rv6tSTYaC1ZZB/edkJljN6AY2mjZsgBrdip7aGi68CZof9/+x2kewWh+XByl1Q85Hs1o4WC0crLZIff8qWO2oLa05QG99dLNU+Y/VSvmHsV27JUU0q301r2WgpHS/u1fG6k4QVx5wRgm3mT6693rBlKPFui+a1XIiaeIjpxJKgFdQhnB1tNj/zWpv5ZnM9G/hmlGs1l2OeeHSjBohe+aA1TLpDfDFWrSUdFoG91bVeaGx0McLRLNa82hWSxrNauvAarMoJJrVVoHVUulAuWsL0R26p5PpV7kN5+wJhSZzt+UJWC0UeZ9ZglwpfcQRMhINBo0HHSghMioXWnYtt9iW1d+Q0v2Qx3/rOTTbxtIYzayQ/opmdNeGcAy0s/Nw9V9pDljtDDUBq6WX09pUnoPV4uofUsElUB/Z10WSwMkOyQMovnA0qw1G//s/rFbJPeZqmg0ZkVP+cf1whtXRk0qB1Ur5W3SlXpG5cKhfMYfDnFj7gtViu6Umj4zSZzoU3eYQ7qo41HvR3rLrQZUJ4U0L0OS7RbPaT3zUxsbds8aSP0Tw1GtApOnkCCaZGjqthXuKBCtNMYHIk0i7NJrVLmIP60SzWiC6w2M7m+pGs1oKsFpTum9quOxIgbp0E1m21vWni3CDebIumtUmSk+w2n2pKkuwlf0xGwKrNQCrZZbl2g2s1uE/VnPRrFYDrNYDLLOFAsH/mXgRTYWvLo/+vdslMggNrJ8M10xgtfU4t3JUTvbxKFyrALb9mN1nfbDaQu/J/7BaUpkXzWoHNJXWo6eSLHSDfaRtQVP33D0kT7KQx/jxlT40V2kzPKSZBILoS2HSl+GO99EE4mobHgRW2wZW24LN6US3bS2wWm9pD97YJkeh2WlS1BVHX9oJVuvoZ8LVB+szZMZJtLjJcKsY+gB7/xUJ3RlJWlq3Q9934WSD6HbIWYkB/8+DtPsgF0BK+7FROF+09TE4uSwgjChWq4lzyKvFwWrQtn2vUay2V4ZSv2hWS4oJf7BBpoNUkfj02ERiT05igx7iZLK6MBfHReA8q+lDdLm+mtVP7pV3h6iJFP6/WC0AfvkHWC0B3Ge19AGr5QarRXX7NWC1tu4XbMB3dIZy9AOt6hPusQL46y84cAwq5TprAhDEDLDaIbs/mtWWop9Z19jL6v5Bm4titfRgteVU+D9W2y01zBW4YE44ViG028xqwWrhtAmsFomO8ivya6J0Bg+/FfXPQDVT6Z2801B+byfhHu5bliMg5uNyGjwUCR/YaZNKOxMO1u1Ju20P7Nl2dxI78g4dYSe2eYF9ZGdKipBK2On7ehtXaEknKSl257L9zJ2oPEe64eJjKr9qTLK8Hue+FU2/t1XqK0PscPj3InNF5wf/bRLKc/cGPjVbfubb6Lud6KPEpUo0C3s+1eyl21Hf27KV4bpTdaypDF2ldU/MKX0jsXgKrnMJTSa/WyIxkPeKdnOQAqgDtB3gzZAHmOJDGYRTmE71MOVpSN/YOh8Et9wWxHSuySa+Ln3lipsov9MqGWsfY3taax9sTAypYjL7ObWwqylV6Q+bUOvLR1IkSBV0dSdZpQ2Y5JB9aFvhK99spO1OC9Ggsulb5M8qpOF43PdMGwMO2EwGUjm3nZK5/XrAxJQCelMbcXfc0WmcSSH5YsvKuZCT9N5ecjGgjvs2I3XTJnoS97vcLgv7ITNkijkglmeDXbbRNpkjg+mWTtFlNARXbRXSClt6x7aG18YAaaVg0ZJUDMpaD0ZrqjvANyMx8SXyxQTQJex4Jj1mDvn7ubPUkFjUjO7Z1PD46ya9y6pVZIcWoV90rHbUO3Y+5vOSbmJLE8hfoJUFeKrB2K/c2pJjojH9Jc+wL0ftdYXLqHOr7TOTBPs2FOT0wKTj45jFHbPS1UcT/Wh6yyytIL47LiNoiVtES/SpOW6y4bxKa7wQidpydXDnKdIFSgqWG5jpOj1g+3gvcF/F0fIjOZX30K6V1naAnWznck0pq/1wBh10FLy4v2SDDm+bW3aRfW9z6ChzzQ3Suu6O6QQSXy+JZbodYk8EnbStaIv9GvSZn0llye7N0ajvEXTRsTjbMtitHdi3RhKbKiAt52LzptN4eP52/a6rZKn+rA05wobpXpDtHZ2nMaQm8uJfJME0GkV19DdNrm/MT8HL7Tz0pz2uMW/QP+U399D6NEr+4Y90QbPKKLhbBLazHjY4q27hjsjEc5KGhkoKvWbC5LNBVsIPYnELOaY70J0X2DYuJnrXArsFiXJTx2h8fzzaZhIZ65zck9fYkcK6Q7/YsdDTdR2kwzWZGwUHyY1GcAAZlMRV4J5mPDYd2WwL6S/yt4yTTiavZuVI5FJPbWRaSge72k21J6UA95GoLTRalWtrGY6llWg4nmgUr9QE0FwrfEoVOF8ZGWvWSHm3UffKRw2j/WD5H5jVD6ggBtT23k6Tui6DfpbmVFKO2OvwhopeMrcR51KPK0JxQ2SWidqsBHCUFGjHlaQRWsgTsMxQqCQC7ayxXxIbd9HWlmS406pQVHe9anLj+jHlvOsv9bQOGnkgdmSipNVXEml2Y/O62Jg4kRSYV14dJHlpmd60J2SsWKRZX+pBjVwd+mqv0DO09CqUS99KZ5lq32H6pWUX0rOBJNJJIKj7ti5FfTc/FXYluZI3nO5ixk15MKdwR20+fhzSGnt6yG6W43DdfrrHVRHf38pBslF3gx6OaS/0zaE0BU/SA3fn6wz0/SVo4+/sKlypqKzSxl4MWWoLu6JuO9gqvbyn42auZELz9uEFD81esHZmbRKSXHNCf7f0jqy15WkBnqUJF4ODpeFcmpAz6GC4bie0sqHw5Uw0X1uDe7OaXt5Z3WJq+MdtCtxHEfpNn9jWkkgO8MyQ05KAAmwJwknbilKHVmo/O9mM0+VgubIUR5/QWd0mB2W1nSoGvnaAFV1wL7QmUMkOOojdnwZ6HWsLBHeVk7RUW9GCkP1gsO/yCi2+B9+zc+0IuFGgxoOHlaQFHETlaDDddJPczzRDI/URPD4f9uGtJaRaGM4xLSY8Ri6GJPM/6CW0h1rmDztDUvlD0RHC9YwZgbY+1QXQbMy8sjsPPquHjlmekmozV5dq6UQ/CS8CI30wqXWLzYzkuhKU1XWmI9j5tbYLfD+N6ySxdBSlcWmpqk5DYp7Aczo0yFgyhGr4m6Ghj9BjCbhwd/okL21ipE8GGUZjtJ0uAU9eCfpmF0ka7SejvWZgoxHorJVltdaVYCpLCSSIC+kbPBNy0UbNspdm4XLwlPjo4lndWjvRbjTL7VW5YjLKNyngStlkOtWOlj+0FSfS07QXWzPCRth6dEP6hB3RH+hlgVoMbapAcGLk0Wzo7HDQNNsBqZoOGXfLpqBY7pQUAf0VhptOgivfQevPphGUmFrRbLvTZnDxsN+rKB7Ya7I5ouHuAn2X7tRNdpoIm5+SuHPI99EUU17gc9PoTXpov1EeuE5yeQ1qjcQJnpRrtg6NsKVpORQ2382Q27RHA/0AuEoydwL9Nyk6YlJ5aBvxXT1nh5iOINgt9p62MVNtKLI5AFqqIX+j0Q22f4FUbskxk9Adt4PQAvcyuiaazGCNCRq4BKWuQX9IIxPQVBOLylTMbi5O5a1t5bLwJ2lP6aSRG8gbdRR/1FnY0PV4X6SdKGH4jFOgwQfImDv2kj/KNaMATCcRT9Ox8tay1w4dPxO9qXPXfcTO3dZG8tw+AVecoORw9+fgjWESris0i9srIEJTDfpKhp1ZLTN1GrzGyGthiaclwZFD6Ko9ZDfYZzSHztqx/AS+vkJ72xQ81X5BS5grpFOpO8WDqy2DGpboRLltXvu1KRZy9YxLrQWhqpvIkl26TBO7l+a7PSwDaAm6aDb9mb6qk8Y62o2Tz5hSPhcfDHdJZ9tHVN8t0Qr4ejd0vGmy2RywjbW+LoSfDpEEoPAzdhiNcLv0I/akMlXmh7aJd8DmdLPRHndLbDj0Oh1IR+0r+WCTYqve2+lyxtThdqCz0+g1w9EjiKbbRG6gu2Kas0L7KkmhsmzUHT06pw6wd2QjduqjiWpdxXAya2W0u81/ajp332RAbl7XGfzWlgRNlOGh0MQN6smnNSPXQoN4hOZSyoXLJxtK4zCBNtxcFqG/FIO7f4Sfz6DsrojrxMnQMIcg4e9hNw/YV/a73VHli12GTvW3sJvAn+xGNOstsh0U/5sLokxyw6+CttaEY6JJYJ5wkErSzOXidhrfNcds2iCZ47u8mpSQ93o76DSI4RA62Eq9bYrpZXNdv3IluOtIUENy2uXuyQbbA8pOrK+h3E7I8CJgkgiorgU/tjF1JPpzI3mFHZyB7nnPVHZ9dL6m5D+h47VyBxNX9Opb+PktU9itdyfNM/SyLO6dPLYnaAXaTyvJg5YyAM2gudaiL26BHaNdbHa8pxv2PtKutzvkjWSmTXCxneDpV/azC5RLNJC+UjOcQ22Q4ljqByXdsk8oUi8H7UY6ztbdlISbabAONGM1Pw9Fxy0n6Z2RODoKz/vB/oHnmwFn+m73yjGkbjUpAjo44SYjNXfJazuccoGgRtm86Bmf0BdVCyMxWqABbLIjNB03lXaYYg1cqSz9rHNph5RBM+jADU2I3Ea3umlHoWNFyAjoLpHuhiv8rMEhcbQlMvKD/M0R0o+KuD04sZygxgYhKfWCGSKT/ZNI8baUARsXiI1bbb/aG6YWEmUeesYocGNfOeuyuxZ4dy555F/XV+aC/IYGOdV8hMuPp/mgmhJUVgrxafDdNmzpfrDXbNlovkOTxdEnHukMreWOwJeT6y6bVZNRZmx/EUqPhNhi68C3TpsdmhNUfgZPMJzyunhRv4ds38pkO9ZedUk4gY6XjlDCnJB6XECPQL/5tBz07kksb4tJQxapkgcu+UI3oqU2ppgggOT6FDr74LcDh8/HrCZqhM0tj2wWtOFROs0ukbsaovm831WkPlxgvixF8w1E20ul2bgGrjPQxaB2MgtPPhbnYLSsW06tNAjZFC7JuT4m21OI74T8iSv1xbOnkpjUEo3mgdltw7zLYLfOcN7uZqCm00T6zhaVwjyZPmDiyV1FXqPfzG5tg00PkFxwkRRQxk75IqVDqqInZ5IiHJNzozmF034eJ1V0CTSzRw5Qds2ohfiyMkg7Jg2Rv+ChW6UREnYkhXOArKYXFBDai8rTEkqEX1+ycWgSXHQOvUF3jAShBKlPQ8xi/RMsnF8yak0oZqP5nQO4t6bhDFxeHI+XSnzYbAeft6G0vExEE3jPaRzNke2mu06gCrTR3jO/mdMmq/SB+tZJSjDRYTTifHxILA313tvxyKBassT2R66ul/HoZCP1oOyiZFRRG4JAz0qs4G38XRpSFq3A53Wo6QNXuBacyiXlBrav3KPrtgyfMSRZ+YlNQNnpJz1iA0GWA73DcMldkps66Eyw/R2Tg4/YFPrZBlIKrQVK3Wvj0x+GxQcnDWfHlzQVJcGGKRhigukooZSRuvBH00V/QQO8pGvRxNbYpuisYfQZLXUk9LXA5IGKF6HFjaVJOJUDphfc9Q8+LF05GXXUVHxbyspe+GV/+aCh3nn0lCMUojWlEG2Ah/jQyHyzE3o5C0VcsHvQLHfwBqlImTQJOmI2yipzqat7iuc+RsXNFLSN3JSa58tu89j0NTnx/LXoN0ziGlSYly5IB8xrBx9DwvXhFhRhioI9iGPLdTueCtAWs9u8lALyJx+zm4jQGH5Bn0rsfphAfS6Z+QQc75te5TOSwnXlFfi0R6YBnTUFNBT8MIYSahOZJHPNSWqI3WjCE7Bp9WgyTjVcxpgk2oAD4a9rTRyKgBvutdtdFumOfGlOK8GrabkNXbLT9TSYdQl52oZS6WyXmfaZe3iGOuimHl+3i+i2xqEyGpOOGdJdFMNdwh6841JRpBQ8kLNrK++7VHLZKAV1QjI+hO7D0AjKwwd/o7P0hDLCc0ZJa/4FjBAXbamqduNwbiaL6DS8fYxkl8Tozb9RgtBmdNP00zSYJ8LVHylPcMolZZxm5zT8N+2RFrTbxHV59LO5S3n0FG03e00s3UxRvy86EXNajLP5FdxxhR7b3MiDulQZW3RdWsLdj2lutLre/EOCqCnn5EhMari2poZugjzkueYP1xWkupDyUUnkRkooPCNdkQ+4/mGqoGvpjJ1Ih/w/OIvU1QQ8jWJRKtcC3fqkyafBnAd+HSp7cPXVXEGrU2LXlu7JRartraBvdjA1lMUSwMl1FhXVKtpR8yDDd8gD6ohED5CErrMMN5ttEJfXjtRVf5gZ8t1ckmC0/FfcAZyeSGsxzkNKc3ucVVaNMDUl1Fc5RIdsVZqit9ATukD5fSjKxU7aP3FHBzS1rOWRtBIu0FHfSQtNQGfhBv/IaE0kzaK+30nDKbUWwDaeNltse97qpklFXUYD6CJ6VB6qrQO4H3anDygvlSuli3gNFdb3drc5YvejueTDpqWn9JhPYY7FRXWwlkYvqEZtSPVP9MW1NEvT03ps/W7TBf6YQonKY6sHoZnNgp+8Mvuh2K26F9lcxE2leP5z+iDnqBn2MiO9kupeP0oov6CpJ5FecMa/oPbPaAM56agGV+lGBo6QX4dAv8ukFaVGjmyhukibzFwn6r8Rcvmoka6I4hSaFrU9mpjegKIm6TIzhZN4/8hOOgKOqSQU3Iv/wOc8siU1MdeBiq5xMRkueWUU/NLhZ9/MHHjiKXSjIZQDhFdOO/InzeAqUBO5qI3g4JlC/8G8b8tM7ir9ZR8VxCR2261mBbpxOkmtC9Fv9piJtEzCpTbOdDO8ZqHGpZLw+PSUkd/by1oUDvNL8HMagBOtLeVdI3TKNqGz6ZbZzXH9PdSBG6EtJ9HuNJfyS4QpjjQVKH2N/DBlaZc8BrMXQrfbBBUWosdahKtrS06vj6goPYUrt+fO1JTmmd/RzudLN95mbtrGeLo+PJcnglnbygX7XObRal4pdyiuZtUdZru7Z3LxYleWS+s66qb/yCqTC84VV37Y/dRDrssEzuvG8QZOy4l1Dp5nBzZ0FDdFh79ii0BJSWi/fLGZvPjuDl22zPdtr+DtUopOy2V5h68H4NzWwauycjotoQs1nIfwTzzNbDPl5YJ8MkvML3JNq/McKYxdOQnXeGYO0no0+oCQuHIYMz9ii1ItUHQjqqkpwYgBtEFfo/3Wd+mpuPsm2TiFK0G3TZhswJMF05/o0Ofpoz0rCbFbD5G0EaaynkVWnKXadBGZCY1Jb+RUJNfywO7Y8X8lgtp5Vai0PNAd9pL9hQ+Z2vwG3cTqGFMSDDHXbJAVlM1lBKWtA2fssC/xbNXQKbDdcPdBssVspgb2ummk6bx1Es/Vkzf45BOyX+rxXmkGZfwMVTykfjSVsiODilAcTYGErRQ6gBvQINrOB6xyABriAzNBJtLv4KPe6HfrZKh5YqK2bkjUHms3M1iT42o/bA6uqDU4pxsrnSmcfg1db3Ige7u55jJP69NLaUsHabz+Lqf4A1pTcjDSBM0qHZB98+BhiTCdW3Ya3HaVOWm3YV+/2Kq6wdzThN54LxFSNbM29eJzUfSJtPxDnyCTVnm3JYAqy1luok+xHzf4Drp6VjS0wZRI8/Ajm8irC27b7hZKTnfAVOXuboh3X15pfq8ViDmZy87DdAuzNxRe0yBqppjsThmqieijKeOeyR4w5Dfzm26VRcHtkegtoUDmztqGb8pvbgBVlzVymPOQ5Q/63YRTf/mHXlMBd0ovUTAScAoPR1OZD3ftQLXccX0gV7i0X9v1R6dPzNvsSXuaqulhU5+ruZk8Wq6hL1ucWoRZwX00ppYEIa+R1/41nJSlApqaf3OpobTX8k1v4UlfajLTzG2lF5rRvdVS3J2nu1VRG2nmudO60qWFBvu4P/i5q8T5eRF/oiAXQ9+5ZRrG671LyKtj8lJzaRM9ZfrSEYngKTJDkms57xsnohtw6hXaWmpqQ26NdrmA23kPJJa7ZtJqF14IsrgKHzgrs80rKelNk3x8UtprNfcTZjSIpsBzR2syHuG/gPt1o620zTywvyGBl4K8pvid9JA9wIHc1S3UOdqKk8LZB3J85+kFWaOfdSXnlhJ63Ty1Hk4nHpfUCjqEKeQErXMbvFLIgDh+Tn5qf5hJes5kkXC/DJfR7ZjNJP8m5nPKrfKG8jlpollpKpjkgRSDY3fiX3gob5UBXg00lpl49UjMeTyyOJA60xA9xY8l6rv+7Wgr9nYltaZtUgF9b54Gu5FwhjLSFjSbjP6VXjLOa4zETaNRfxYkuTSglmppmP7Jg/Wiv9scN4m1lPuA3N/Hv+p8Lir9XC4pF1wGeTNOagS/t4fsdZvOTcZzv0RG1fC/UFZ0/0Wcj1t4280Tei/bodX0XjC2PGZofe+7uwz3UnlmInW9SePPNReRORFmApfVvN4o3kz/6u+cij20z+cy1nvofkg5ZMhhDnZT+IztZpLLF91mEuGenpkz2J1/sPVfVTyDOe0BXxfVGt4Y+FYvSYJUr+Yq82f0wgt2GaY8XD7Z2lUeyUReqBl5pTNoHZNxIiPluDsr+9wvXIstVDmFt5i7/C+95pwSGHxXc/tDeDe/0XpaSR/Zc3xCP9FF/k61cJ1IrzAXkqWcS1/JLLoKTe2jPJyRh3hldDFv14F6G030IjxipW7QXHDiHOieXTWAd1BBP72k4CVeWb81OIh0J5iyH61wcXgufmyvS7yCfiP3jxbBjlbVHmiETzU1zieG/uJ9xXMP9LrRRPMzNBmfmrm7rg2dM/tAHB9ljubVw/xE++li9K9IdNbZXmGt6s2gWjrbrNNlPFxvUg2eSLlpuDcX6Rhhyso4nNB+SYAnU50qd2wpXqld/fto2Ok5r5yWhXCdxUiwRaYb2C0GJ3AvQaQx/G0ms9ttCstzeUrraSia0ld4DOlPkhzzeEf77XpkfQotgS7Sivpxf7kLz7hvDujf5hZS9BRn0ns2nusmaXg6bdb87pEZTrHpIDrTLqlOs/lPaDi2F6ArobPZJo9mhMsMphp0hOboM0mOdlYILjdD4nNGquAto6IyX9+607ZEcAnpiyTqCmaKS3lljymN6ZfSphSKLVojanN4y+D53/xF3ida4i9EZ+vEp1wM14nrBfs013WhFXIYlLfJW0kVkPv30dVqazx3lbugIf6Q+W44TvYFDTDHbBdqLzcxkZTywhaiuNiJS3YDnYfLxKX07jBfQyv7HBxPy3h/IbHXgTEu0FKQV1dwX106pbXobxpGX+SzHU4xvTmULbQtxXXl+S73oAnoY3n5i3wAaX7gXUixqdTGX2CWm6FmlszSqTwEJzlOe3BDKPpfPF8nOs0x+KAm1BucCD3lkjkreTDvyjoHvHnTJuDG2gpJ+80UgUcckX3GaXx4RwjaDnqQW04d0UVuclu440s9r9+1mHTXGhQM7khL/WmMvWmSuvv0AMoPkAJugBwz32Uhfl4IfLQEDLFGXsiv9IpaSxC4NIP+5P6O+hM29K/J7bboJHpEwdLD2wK+TyT5aIWuoR82iE6CvvLKFsoO8gtBI0sqf+gX2SVv7A1KgDnuNA04ny4y1WgikqkFWtRDV82t0xGuFbyiFb/kcPSjovCrl3qVAvQNOlSAVOenUOJuXuq2m6P0BcSxnS+Z2DSKf9ZRXJv6g+y7cCWJtA30my3j+mFaRaghDReHTt5RPkB132W395Mrh76WijdrEe946BHngULqylUTy6uoa6Cho5xDQtECW2tNNMkeyILZkha7l5qPmytoUF2xTcaLtDmlttfJLTVXbRPq6VXV0fqzHkQziTCXdaJJR69Bj7vNCfCbRXMpquf8WGYJbfPj+KtNPs6JhElE+aGqTDzF6+eS8Ftrkd2HzR43UO/JD13PKzShP4WSuRK6wqvsSvNUsF9lyRj8Spq57i4hx6Qc2t4r5uLzervMayWt5ZnMQ5L95J7xCy0D7T+F8pfJKq+V28DNeK0s8TrLYPcYDt6OTkgMDnD3dYupxc3hHB0x+cV6Xh7wN/DLDMkEop9B3+QnNx5t+7N8RU/fABe0/AVZ/JzWweOPUQN9IZ2oiPYMTuSeyBc65yUP2UH1OAi9+aeQAyaBGyhvpHNIbJnBsbVmlXJczYurs9BJ/tRzktcbDzU/lyJeJmRDA/qufXgi76dp+oSu24n8B9eAu2eFMx+TmrzWHDZjwA5NJJRny3zvMH+TKfQlJIM3Hq2pgaxwNaDYA/5WXo5XPtfcaB+beZr3Bte9D1fqwxXRnzrSKLOVuqM5NuBX3hH5Bi/3nUXz/UgZ0cbaq+Ps/I56yQ4+TS2J/TfwmY9+3pDbZhNthxZemTv2qVkAwrjkUkHxKzUGv5Jybg7FMUP5iD1I39HA+tJ26UnxcM4JNYl25ZvowQ/lAjZ9Ci/gGuR4oCwyyzQfOGO6bkU2VHBhfmKvKJXmOzIVivpofnFnZBn6O2FKPcAGnby/QYYdgxfKQbcK2TUfSi/inbPvLXhBA9wArulK+bM0Hl81w2UFP5H15oKdaJbwQK+0pHbBXJ1TUtSV47tIMPZtzu3tCGkrS7WP3tDU9BIN/JFdhk6911R2QXTIdJUjIIZf+YO5bkP1EIeFHjDVdAq0dwfJPUeYj8hDZPpxmgrWnmo28kA3Gy63mvbKZG+iua9F/akmpauEBMyh46H6D9pO2+pnUPJiNxEumoLLeZfRbm9w1MmWBRd0gmYT6WLww1e9Rxn8JaYYrVFD00xfl06P2i1mB/XzEnlT5JyF56vwWSTvn3pK+0tKTuiX1MI0guajAV6XzTrYbcW8TrlQTk19lNAxdqLB3jVrzTKqLwn9/BKkueSL+U2+6i3dwKH80R+pb2SCfpZA/dO/Sen8NVzRZXTVuYprSu9tC2zQTJ3vjaSnskBOUlOt46VGfu63NbwGOtqLiUS6TM1dDl7nPZNDJgEncXelefBxTucFq8fteAAng54naHvN67cFMSSQ0VoBetzm3nMsl9plha+Wd6288lDxU/pZq/j5/U5obO9wVxs0rQtGQhzW96atO685QD6ZoczzuOfXtNq052QhvgR7a+AGI6DEvXae6SsdOLkmhZ4+SQVXIuyOZW8ZGLwQX+K83lA/K5/XRN5VGwR+KuklR9sqAJp+g2ZwHmc6HEw7ilvpFI1NTCncOiRQGI/STEj4+7TXdecacNRIuye6nxfha/LeVAhpgXn5+PknysrJmHmN/gPSHSelvEMmLvTo4d99VsMtXV3ZF1Zdhkb9WT4t7T2yPbS218314riy1140PbSuLpNW/IB7uySUBHvUBpnQWmbBbY7KSM4IpzppJpozdr6cl3W0xKSTLHDws3KGkkuVKoclMZ/jlFLZ+xfEktO74b5qS1eHH8k2Pect1cJcSpJ6+TgACfIEmzeCWnl/IWkyUTvnsEERtNFEfdd3eOhGNjKJlsi/0pAS6gieRIn9tF5mOagdqDf8ahcNcjdNajhGPbphe6JH70EedIVbpZZt5oI5QZ3BJDE4jhtJ3aQitmmX5HY56TkddSMlB1x/EZdz++W6+WF2yS63BxTOXjrwwGstA698b/t5cdCnF8hBeSuH6KCmoOvcDr0pQAIlBu7zClJ4mZyQu3zBBkp+boreU8qlRvPoKG3Q5XP4heiJreVVCe2u6eDH7+0Gzkf1cF+Z0WxW2YFymi7rPjTz/ea2fDPjJBcU/l3fyTKz0c6G/8TV8t59d1DGcyv5YZLoLLSNrXLbbJY/oddvOgiMtd2tN2OhrH5UVItrY9mFBpUXTNcadH9WUvENOGAuGczxw+JJYdeSnrpk0O1yk4e30B+g7p1wzcXeP5wYnnaVH4P4P0hq/onL01ndRF/4DPS6wYzCE/+uXSWhy02rbFv64MpoZ81Ju3QaRaLldaKsGqGfxAM/FNdrSOFpZhfu70/p6WXDv9uILlJZSmkXpOFtTUdVg1+gh/3Oq+xrTRo6SHLqC2xLmpCO1EhvwdEWcU/vMP45xLWmcMrPeTiTv9a8pd12iTdL3nOq4LlmCgjstaw13Wi8eWnf2rc485vShDt4SBEpTEd1KpV2AVqIl5qpMluvSIS3xXkyGGq75WdEb3+DpEjCg3iB20KfKIRK0B597983uaQ3NXa7dL9sx7adMnl5kPyL1y4BjyXWIZIhuAOSc4ZESh0Xm/5yp6ghfzSX7Dc7lD+gS6Tz5+p7CpL20hO94psUDS5Id+U6PGU4l4QLh0tu9BHhGO5nfoaWtcGl4Ovgys4MlUseju0WoemEcDxvtZsAgqiul20Wd9zkoY16x5znB3j3DKntCqP/v9VDPuhOYlELPmSScrBXmBrj/OvqND1js4GMFuoM3QH6a0vHZTHNNQvpLqWR47aTlEfe96dbctmuoOrYvazkwLTxNAMdp6N2qpTl0njyPDxLSnMTbxW8qYy7xiGaD8R/AH1yqYlEwq7QpWaevAQLHLCbKIpBjjuPyvBHfokekMVt1bM0GG62A2c11vPAmaU40M8iX7mx10dT0k30y7w8wNvqGrvUXBnnd0AzcIQXQF9dJ6+5n0OqURqXHJ5fU19iiuxdt/21G9xjHP76XetzQfdO2msLL17IGCqkL7i+t4tGyU6n3NDr5+egUpJOBoX1huNn5xQ0UC5FfZcHJ/ATX7WFtRn/qxmDC8pnWc9xuLQHBdIUqVBlq2kmt7Qg2n5ZyoNWe4/KSie2PBPpjFPwS7MFUT1327mSxkKPOo9Wfd2+MvV1I92iSNveaxrSjB/QDD8hXwFrPZVinM8rxm/NeThHMqRbN+0LMi8v9ySJuwQHuQePqOxF2J85gN8IeYt1uMzmy14lPuzmc3NtAYKKlA74Nfq+PpWtphSVpzpUFRS7j3bKWXvbtNfVVNwVllvmrfvFWyllMMl1pgClpTKUx5XiglSBftW1VMMd58XYmet6gS7RL3wIrrCZ2tErfW7LhOSmdvyP2WhqultouW3BL9vNFqSW55ZRIq8fx3Tp6YerTRftSxtOF8BF9fkitsR3XbmYBPBSOiQZkAA7+BeJVyXq1akotveI1qMlJqL1HCpluCcn9z0uRO10Nv3JgRSpNfGqf0CH+d01ykln7TK03secSLMEB+liL4AHcl/K7cajK52Ru/KZP4OLg7hJyCNcLZD+kiQSQi0o2F9nplM974cQ3bcJKa9f3C9O5flXbzPf0MWmJVdH02xLxbg1j+DVmopLURL3L2XSE6aY+2QGahouR09oFeWlhu4735d9toNLqux/4AxczF2hyhRTclM8qUwfTF4N0t5ckfJ6YX4B2mGy+U9MELb8LM+ms5zTm6HTkSfixfaWmud43ytzVVeaZDTRSwlum+Gd0ry6Jrh48G4e7HbrZd7ijTfn6UNIhDfcy8ud/JEci5LqI61Aj904As2i073Cu66Aqrox4e6PobWUcJ+4F600J/miu4VZnwMr3dVylAKefBmtLgEmt0mvY5s/wFkCXdSfCangHeMJrj7tEqEnXhi3N80oBm2wLThAf7gK3imabPaY+WaHPcll3ajg+u6Ze0jf+IpW5K+mNB/zx1IJOEQSLg7dnkXfCHCl3VGvGwfrafjxU9OOU3I/rQp+PsuzuKG/kSJcHKrIh/UQTeD7Osx77KX1Vmou3WMORP2ZILSI1zSL/wFNFtV73g2975KDO4sEr+NdIX94ljbBx/vQRxvq/8W3XToug755VrOy532jeCDY4qT+L9iBFXpDxtI7dcilcbQBCVaequsmc196UD2p6j2lEJ5kQtGuztFEukoT+agMMynQnzu6bZqKCoMnc+gLs1PyalJvrTyntrLaPKHH1Fnj0BVwDXMgP3TFtRRdpgOy3hsPfXaSd1w8ZCdPRSOupHslHdi6pRTnWe4E2ldO7en19orKHXps8ru58qsk1S1w31TI7NU6n/6ixtiby5Ter8CDcc7dZAYd5UG6W364nMGx/DfcwJ3DNrTnMBfPS+PtkH85vkvhn9CG3it0NuNlC97rKkpSnsq5JZZ+sE1AYCn8rZrf+XxIY9FuWkAJ/ddUnVuGXaZ92JNb3FcE70wB/+zihSHx89JLM9J1k118izaBv19jt4ivohF09HOB1TJyVx7Fyeh7CJwSTTXMP6yt/U9eJBVAGtXEpxeVs1IVVwnjO/SQfH8fuDWMM7umnFrL8zuN4Kb+emhuIlS8FDOaJvGwu9s5Hbeh0XSDrkl8V1syhJR3yynI6875ONgVDz5CU90hJEd4cB6+Zl7LW/psttM880TC6Y4ccvPoKnfxsnMPvqRhVNvtpJbcgucgm6eAHY6C+VKgDTbGyWyn+2abzANrV+WiTugercXXWrsWNAWZPMNrqlUxg49UjQKlnSx2IdjusTwXWTadwykHl6TxNI67yBEuxidcM+7hfuWL4IJQbOM3ENYwl1mXSzEvlEd5x7ExmfiieWGfU9TvJXTD6QzxJoBGwuW2tuVleI7Hbm7wc2qmqVxfMN8pbyGa8UawQzJ0g5H0zkaCapfI35xBpwTnRGL/QNP7YBLKAsqD6Vn/CO62oN8VJ5Bc/zVLcc1yXgk0lXBaSa9tVPfd4a+nveD2uFzdNfasf482c6A+5AL+BzOeimsSfm1O6mOzDn1FOIRe6zDag+v/oMLuKV2ypZBnxv9EK5AxHlIiGZEup7TuEX83kTpBWmhzTec2UBXOLOlpCb2C87qork/BIcPALsVlNHfRVLJaZ+FU89JW/m57ywxs5Cip6PfkVPJU3vI8CsZZ3TYVeJebQfHAoHW8PUbkEH+gF5qP24PAm2j/0It6nTLKRz4GXi1O5WgsfGcqr6PyaAu9vWvaCk98Xst52yiZt5HbyTK+qFM4IYhvKp/nI3iyBl5mV9S7i5T45mbSMpqC9P2EnE+kVVw/TLGi3pQLIIU8roBL4N2QwyYJ+lV1ruZEznud0XFqUGLo85Y5oV2gxjOcWwP5hckqg2UDODc1mkfO4Jf+Vg5Gb8qCbK3mFdRu3gvTkeJ757kqxw2xXNar5h5Ta60DzXcG07f310pTdLRy3seQD/Yj7jwEc9omPj6vB1L9FF+lGtIRrfux3wUUOJvvSTqNq5uplSvKG7hLSF0OC06gyfUT1dDMOpNyShfvnLeMApESO+kJJmz1b96N68Xl/Gxw1TtcHBT6Vct6P3MFrUuh+g7Z3Yx/com4cEh1TubFAIsGwu+ra3zw5zmOFxpTT1Mn/tM15NtaDnl/DZ9NXNnLinSYQX/pO10K//tqWkoKXej6IdfveXfE0M2649EKLXQby0uJNraRMqOhWLmn37iDPKSj9Band0C6Sz8852OzgX7nv3wKu+sZfucsMm8qb8eMfK3hRf3/N+KELKC+XkE/OS+XxFLQtZeT9FlngzNmubReBdB8d/dWCskKXLmLKBUDY32D+jT4kjT2itAG6qpGs+pfpgN9t5OpO6j1rvsXHHhB6nInidDDupBuoUH/yWW0rneZS7hh8MRP8IVEcJic8O5xYIhbfBbaz+AmgWzr4Q4LaQ1XOTQC2d8MKqsO73ztcmu4G+Sthr/U0F3eaKmtt2ikNqdeWkM+ux9cWlfAXzqFFgrJxRndO13lRZFBfKlABeBpq+i2m83xsJl3uSJ00hSnHO5v4/WyCT1pO57kEV3mh/K1yjsbl+dqYmnNVsqhtRWUJ/pcvsP31/Nds4Xu0GqqTcqL0GGI1gePhdf+TT94pvfE/wo2OSIv9B2cMOr/R1Uf7yjMHPVfWGFDz8pWl9+rpHncG3MfPa2M64lzHUtnkQ+nzVMtqr29ndBvpCYJHYzPcO4+GVBvbrhSICgiBk7Jx1zP29eg/vVUJ/iTDcXWl7UPpTA/NddML60CnitJU2U6WkhzWiuLzVM0guV0nMPhK3MoAkQTCKfdZwvB+Q/QCxrNq80tzDaH/op3f6J79oy/XcbqYurJnbwnWg/qek2VtT1a5HNkei6ZQ7Posh3A80wCTqud+LKU0KXSpUpsfU3ZeId5IClpjh61F61QAhDIT95mtIMlyOhE3lRk4kbZy5/QoD/RSRBhfnjnShuIrc1HiXidBvAJvWtWhiiayGVkfjJKpaNlDKWAa3+SnvIPHGATbZZ9Eh/PuVvGILkDNS2UNcht9tJwS36on6H7Uzaey+R1crvMKOxXOWzKJ/vVzKMY+gVZ1ZRv23yUyg9xvTi9O4gzHagqNfSIN5O661zO6a9CRu7XzOh/GzinlPVSwz8K8P/q4NyjczqzMJ7JuNUlS4kiTaVxm7QuMWhoqXn3fr+0TMbZ+z2fCEVboV3oTVNUFXUZFVRbQVxrNNJqWqNos1SYiGjUECyEIjKRSDuCtMSlYSqd5+u/WSvfd8579n6e329l5YTDQWLpoLTG9abKblh3PYh3FdjYahgN5xfgtDfNU7pQ9vB+ikFK9+UKMEw6FUgPKjOJimeKFp4jK6gt/wRjLpUiSeLu8jqnOE+7uGvmBXkQ+buEBoEcpjvMrzupl2iIn29mgcUKtRu9CSepMk6+oEJ5g1+hkXyQY2GxHkfYBbzd74EzD7jOtqf7OyZ4HNX4b9nx4N2X9BNOcu/pX7mnm8PH3Eaabd93B/gTrnfzuZNOdNeRc5+7dbaHzbf34Z4uU7xrxHPgKStkqeuE5Oyu/2ZxP3GeNnHvcBqv0Ft2pmMbpydgnadsP5xUml9mi3Q7zu0rLte9XCu9bRxYc5vO1DRN4FOuAwh5A1+yN5wJPB6o5mG6EnzdCIy0WkttZnKDwBMujx/TX8DG4eDvXS4NZt0HVJrqiFJhKDl2qxnBG5Lbczc6oREukS7zEpNOY4YV8nr/AarRRzWPD3htdB8I+ku+47oGngcp37JxyNCnXQeXqkP8KNz/X9xStPqfQR6t/Uzta8vsQHdTR7lK+wgl8E5ZRKVUZk9rgkuE72To3dD/Gphi/3kZgSb41dzWCA7T1ymeR3M/SvKztJKeBGtsNLnYv37cR2fZ1u4C2HqNrrb5+jdK4xbuhMZSG5zlhsANd5jjNdI/wteHzrUDrdjZ4LWmtM+U2eGaEghDRxWC+D8PJLkkt4VHOJ+KgkVo9vsxQ/k22950bTSaa3Udtv1LEHpPl+jSdLkbwb1oFNK53vsT5m8NNaBkV2te0SGBefSW28v7eC8vdCW4/hjXhdnmaJX0D0TRDl2h65DC79rQs79OS1xX+7ESncYelHmTucxrxr/at+CwrWwujdQztI5iMStV2IsEyqLmsl0+Au8fpz3yB6r0suikpHMHBjuzarzUmdU4w/c51xD8NVl+pjE8g6YiB6O4HXVEsq7iFHsSXbYbsxaPpu2jo2gJ+Lbe9NY+rgZ3foy7uGawvUh9EYYQpDwTrf+iN+01nFulOYOeDdrQX34isRlfw+Zeo9UwptHcUEJv5fk48A96R3NNsZS6K2aHzNBwuktrmbDL5fpPekqacwd31rtJ4brZ2049qT/HBQu5nNdQE6faQtvaufjkZTxUJ9mdVGoSdDkyHZaNpjjCg5EN10yWuYAdTdNa0xAdPos2uol0yVVQW5BlX77HyfyuaydbaQ24erd8yAvkTVqMq1LthP3uStHwnDjeas7KRlMM1u+J7jpuduBef0RmLKJzetuck0xb4g2GNxTyNQqDzR2wOfS5fGQWUUskdwqHnvxUmknDkNwHJZHrjJGxQvYe3KFYptAg8D5TusS6OuROhmnkl0sSRUlHaWlHiW87UysXq5ckSoronKuVrrDdYo13T1GuaS6bzDSQ6n7aLtORsJPcWCRapk6goKzmN3SJrfYOaQ/a7y01DflFF6ffgE5T/Qi/BT/nVuD8W9hd6NqJNI9GoiGumztmG02hGRIOpqjydpsTeAaz+SHKxXS2wxRvk3xdz5PpMVjIeZh/BvpyP82RNiD39m4tN+LO7jP+TUZgGqu9YhPpP2PnyGSKtOpiwP2e3WnG8kpdZcq8aRRtd+hNNPEhs9stNRV8nq5qM74/GAmiTtQLJkxJ+6N/G8PSmqqRLi4P7HIUDJKNmX9Ydkg7GcCnZa/5zGxFd992CXSe/qgD5IqJceWcJCHfnEujZTjMbIs/XsdSQ+nHE/lVng8/yAJXzafXaIB7luZTAzszOQf7csrFcZbLlQwaj1YqQsdv0SgqdCHenuha8Gw8vba6ydRhfnrwLPj0YxqhWWaxPoJ+6wxGKacsTbShNzpmU2LoHQyUDCbbBvfuCIL4iheDyNrJOBhFG3tbg9i6gybHZetUnM2PXMzdNMSTJfIBlXgn5I43nDNcf62Xb+GPA/1UuFEuyMW5VcPy6ZDUyGFPbLXJxs9ysQvVJoZ/4UphqnV7vOYablO13iuSKtNIZ9toPmBu0S82w7RBD5d5v/GrsIEG/n/NHXlcm8MzttJFt4272A30sws15EAKk0SYznn+Bta2xczg4/i0lnYe8qCINrsPcF87ZBn25bJk4tsLmOWwDbrQezTzhXUKjZNbJhL8vpxLpRdFYoqmuS30nZwxR0yKfEMVyKVJPIPPcDyPwaceJi9YLP8xh8xUtJjCVfbQc9ISE1gi43gS/HWSHsLTmI6s70a76Ki9xJXeb3SDHgj2xxM9I5dd6K+TZfoazruXTqc6uQdeDNNYUFYlSOQs54KEotEmO8EuMzifo7mj5qNZamgo2PZpfF8Mt5LOcsxkwPgq/G/NKv7KnPVy4I0LKY6bULr/sKsyHVy1F+EyaZaWIMnWuRzs8n28SB9yKaAsn7aaCnzaAH5Sr3AMZdICvuc8HoTeLIAhfe9dDF0/Emk0iGeC/kw/eF1kGh3lxhLgao9oPT8KWpki55BEtd4B/kHD5R1aoN/LWlrIR+H6Y/Wiu+su0nBwyVV/qD1DA8FdY5EF5bjmeiREkPaaAprD25AhWdQAfVdJO7UXDabuVAHqWQZOSKQEfVuOmAhM/SucbbrrezibB10nexApOJA30ShwywS9qh9i9+bTy2Dq3bD6MRwpJ+HH7ZB0YEaJxSmV0WnvAvonSt+mZyTLHEg8Tk2xHc9izo+6rhTkzf4R0w25GwViIxnqhtm83ylNKTRTyyhFRmupHPOmontq6FP42HGZrQEksgeeKdC7Gs7pIIXG/v+0H30G5quTZnyMV9oCCboRdqi+irt+mVsHD0oVLaQbUs2t3Wb8dgwdR8N8QS/JBDoLltls2ksESHE52DbPrAUVbECW5FFXitORcpqumcXUVj+gJ8DL2RqkufZJqpFLus4vcuf8vdRbiUtMgXyNp1SO3fkODfKplssg2kR15qorNw00hibS/wHlE9C7"},"diagnosis":{"verified_adjacent_float_collisions":14,"explanation":"The handed conversion int(fl(paid*1e18)) is not injective. At seed 60001 step 4596 the actual paid 9.557781723314566 is off-grid, while adjacent 9.557781723314564 is on-grid. Both hand the same 9557781723314565120 integer. The candidate and tellref.is_arb return true; the unmodified float shadow returns false. This is a reference-domain mismatch, not a failure to port the supplied integer test. Changing only the diagnostic shadow grid test to tellref.is_arb removes all observed fee deviations above tolerance; it does not count as passing the requested gate.","example":{"seed":60001,"t":4596,"integer_oracle":true,"float_oracle":false,"paid_actual_hex":"0x1.31d9590e7e29ap+3","paid_on_grid_hex":"0x1.31d9590e7e299p+3","actual":9.557781723314566,"on_grid":9.557781723314564,"handed_both":9557781723314565120,"ulp_distance":1.0,"vals":[false,91353623961452960,9557781723314565120,97982959665758257152,10205856236749973356544,98074313289719709696,10196349752110080851968,102212275001774,5367049061030474]},"integer_shadow_diagnostic":{"diagnostic_only_not_requested_gate":true,"runs":[{"seed":60000,"calls":11100,"max_diff_bps":[4.811843198199162e-07,4.77213372984675e-07],"guard_shifts":0,"pass":true},{"seed":60001,"calls":10825,"max_diff_bps":[4.774420702541304e-07,4.7391750246372766e-07],"guard_shifts":0,"pass":true},{"seed":60002,"calls":11984,"max_diff_bps":[4.770661123087994e-07,4.7322225998902567e-07],"guard_shifts":0,"pass":true},{"seed":60003,"calls":12003,"max_diff_bps":[4.829896465413652e-07,4.703753012091916e-07],"guard_shifts":0,"pass":true},{"seed":60004,"calls":12346,"max_diff_bps":[4.783208638198255e-07,4.83988439603511e-07],"guard_shifts":0,"pass":true},{"seed":60005,"calls":12378,"max_diff_bps":[4.793924111845538e-07,4.789107305169793e-07],"guard_shifts":0,"pass":true},{"seed":60006,"calls":10768,"max_diff_bps":[4.794008592878818e-07,4.7401171963251665e-07],"guard_shifts":0,"pass":true},{"seed":60007,"calls":9150,"max_diff_bps":[4.831604213939578e-07,4.816184517170141e-07],"guard_shifts":0,"pass":true}],"pass":true}},"blocks_run":[],"seeds_unrun":{"start_inclusive":14000784,"end_inclusive":14001039,"count":256},"paired":{"n":0,"mean_diff":null,"se":null,"sum":0,"sumsq":0,"worst5":[]},"paired_per_block":[],"gas_stats":{"candidate_gate_runs":[{"role":"Baseline","callback":"afterInitialize","calls":8,"ok":8,"max_ok_gas":21796,"sum_ok_gas":174368,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":84712,"ok":84712,"max_ok_gas":22592,"sum_ok_gas":1911333704,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":8,"ok":8,"max_ok_gas":21526,"sum_ok_gas":172208,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":8,"ok":8,"max_ok_gas":137277,"sum_ok_gas":1098216,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":86129,"ok":86129,"max_ok_gas":222798,"sum_ok_gas":13130908415,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":8,"ok":8,"max_ok_gas":21606,"sum_ok_gas":172848,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"candidate_paired":null,"c0_paired":null},"rows_zb64":"eNqLjgUAARUAuQ==","rows_schema":["seed","cand","c0"],"commands":[{"cwd":"/home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be","command":"sh /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/fetch.sh https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/amm"},{"command":"sh /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/ac/scratch/setup.sh"},{"cwd":"/home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be","command":"python3 /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/build.py"},{"command":". /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/ac/scratch/env.sh && python /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/work/compile.py"},{"command":". /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/ac/scratch/env.sh && python /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/work/decode.py"},{"command":". /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/ac/scratch/env.sh && python /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/work/checks.py"},{"command":". /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/ac/scratch/env.sh && python /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/work/closed_original.py"},{"command":". /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/ac/scratch/env.sh && python /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/work/closed.py"},{"command":". /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/ac/scratch/env.sh && python /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/work/engine_gate.py"},{"command":". /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/ac/scratch/env.sh && python /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/work/guard_check.py"},{"command":". /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/ac/scratch/env.sh && python /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/work/collision.py"},{"command":". /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/ac/scratch/env.sh && python /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/work/integer_shadow.py"},{"command":". /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/ac/scratch/env.sh && amm-match validate /home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/work/Strategy.sol"}],"not_done":["No paired engine seeds consumed: closed-loop gate failed. All 256 assigned seeds remain available.","No candidate entry or submission.","No engine guard-shift count: final storage is not returned by run_batch.","No change to BASE tables, filter or TellMath to mask the supplied references\u2019 disagreement.","No 4096-seed extension; all-gates-pass prerequisite was not met."],"command_working_directory":"/home/imd/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/baa5336a-f469-4028-9a4c-765f977f69be/test/scratch/ac"}