{"status":"gates_failed","summary":"Minimal C0 + TellMath + soft odds candidate built and measured. Exact vectors, validate, size, storage, assembly and measured engine gas pass. Literal TellPolicy closed-loop fee parity FAILS because its native float grid test can disagree with the required integer forward-conversion test on f64-to-WAD collisions. No paired scoring was started. A diagnostic changing only the shadow grid test to exact integer arithmetic restores fee parity; it is not counted as passing the requested gate.","source_sha256":"c522fcfa78d170fef442bf06ace008bc301d6cb1e2e25982f8ce54785de126c0","runtime_bytes":23519,"code_zb64":"eNq9fWuXG7eV7ff8ipr54NtUk+oCUM/uZmslnvG9WbEzuUm0PImXJ6ueEi2+RFKtVmz/97v3AQoskN1SYs1cJ1QXq1B4Y599HgCvrqI//eHf/nP29aLp1vtu9tu2Wx8W/aLbXUff/PbPv9ruqlerKtpvlot2cfgQ/Vf8vHiuk5tfLVbbze4Q/fjrb77502FXHbpXH35T7bufo363WUX/+vzq5MFzZPGvx9f+vKva7rfrfnN84bejN1zqK9Rus7zv2gjPoi0q0XyI6g/Rn6sPy80uunh1WDVv1otXrw+TaVStVrP9YhUlhdJVZopo1+27ate8vtpLHtfR/67e7feLah31i+Wh20WX0dtVdKjqZbePLt6u/vZGdbP0+Q/7zXoyZdl910W7d8su2vTIrFo+3374X3u+c1/tkM0huti30bK775bTaPsajZxG+w/rBtXtl9WryfPo18tl1Ow69FzUo76H151rxHSoQrVuXQ2uXaues+Q/20o1m9UWrdgjR7T6Ldq3XS7WXXTRvKsXTfQb930/jf7vN39SUb3c1NH+daXTLDJVkzd1UTx//nxy40qbRma2X24O0f6AXp5Gq+rwWmrAhjab9X232y82a2k6B+WwW6xmOrrgkM0Mmm6zQX6jZiKzDZoYLdZRjXbqNGV3STHatUUGa795t2u66+j14bDdX19dvVocXr+rn6OJV8dhvHKDeHXYdd3VMJLaKJXppFNpnFVNpYxqKpM2Ji/60sRteXUy0r9CWzCRmkM0zKdosY9OJmT0468i/LdYH9hdeAOdgiF9OVedKm4effb17/U8K41KclXEaVqWSWri0qZ9d5r4myyZxw/9yX82MXqFHbT/Lv4+mker6AIvK11Mop+ie//l9hb/RjcupWLK/XacdPdEUs2kfY0UfXV7myW4ONgUP0XNmpellmr079bNAQMeveoOv69W3cUk6h4wwOtqGW3f7TDvMSN2ixaroDu82633F3tMifWraNWtNrsPk+jHCDm87po3GP8fbZroX//cLZffLNaLVbX806Y//OvNz9HPYXGrd8sL113V1F3UE3b3qOyhSPt88lhR1bP66uV59u3ifvHflP/Lq/o8/6oecn/4BZk+3MYvZg/XD+f5NsvF1uc8/e9owMNt9aK6vni4q1/U1w+T8yKX63+wKdHfwwIkG/63696+W+w6lBEDF1ziNzf++fvXiyWe3kYvJz8+PJvrmzez2c3Pp4/v5voZE1wxweXlKIHL8cNcRvVh9nL6cPnyWNIHPeds+jD9cLz3dv7hJvo7/vGZAHyHdqzn5mZ9O9flzfpyric/vpX3304/6MnN3y/nb6/Wo8JdN+pnf7988wyr3+Z41ovdw/YXzYhjI3v20CxhJ7gy45tj195mMR7cnPbJmzk7Ln7xcImqXenrh5n8nVyxpkOi3fxhNqr76PWd7brddHeeNWTaep5lqS5Q8qUk09M8zeLR1yLhl52enL++aVuXtzE6S0YvqTgeZyktfiSDvR1uVuMSmU15McPFKKXrpzfsgf0z+96FQ+ELBUgcrt9MJtf7q48kmL0ZanA2srvN5vDfMLTzeDSs7/xMHCrwMHkmQmd48vf52l/v5upmnNnf7+6A5FhsP+Jqjsub3e3tPEuwtu3TLBke4iafGT1eTpLG6CENHjKNyvz7KvOZZ/KsOHvdF28LP5bti7Yla/9AypOCRplxVQ7NXMzjm8VtfrO4vJzs5he7y/XVbnKlz4bb9djuFs9f7K6Z6omh27b9Lxo5VBgA/zC5U/F4NboLOy2x3mecwQ/TB1RyMtUgJpkudJ5kBjM81nF8BFsI+/9TgfOCeqBeqMJ6s4NsBO1bLKNqu91tHiAr+ewm6naYLhOA4R9eA+ye7d/uDhdYYDP1/ERUjBo3CAgw9z0o+i+bpQPKStNv0Acf7opj8wHuL15eu76Pz5crQDXVYGhlBlJUlOyCY5q1QMEaCH2Zx7EpTJwlSWKyomCy0dPM5KbMtI5NalSWxk/lYkyJeZ9lcV4wN/lvnI9SOs5LXaqkzItcuQSP5aS10sqkZaaysjTqPCtURsdZkeUo0eTZaVZDz88L1KQwSZ4lhVEAxlEai4StVCxP0yzLFSZJQVhkXuPHGXpG5XmKysf5aVmjhKhPEeeGlSuTzFZ7nJHGOGSJToo8L7M8+UhO7HJjMnxy1H/ogFGCvAT9zlKlUwW6W3wkqySJE4Xs0kIneaqf6CpOenlH3rMz9tHlM5WVtp62wObxLJwxh2v+88S6P+xwNSyO1bA47oeL5Wa4er34BOX565BydfDZHJ6G+fsRzF8sN7fz1RdfrG7nrxfjpTNdTR9ZP/t2LpLmHkvP0T4rAJeb2Wq6b/3t2t5+vXC3TzPaVnPiXuVf2NZyox4l/euc6FFPt/Vkxqtquq0mgYz5663qMteUi79OV7fLzYvl5vr1Ynp/lZwXurOV2lazbT396+j56jBfiaTftyQZ9wcZ+fvpy0t5gV+kcMFSqRBenw2kRGDo/nAbT/BiHI42MHWG/0Yq8XKzefMO6tHHFOFppOKpyvLoN5PrKI2sEn3AJIR66nVpUXqii93m/RTK3PLdag2t3qn5k+lQerV/E+2pGW3WS7DNetFC59pu0CPRarHbQY2Pvtx0fb9oFt36sGdXqSy6UFdFVG/3E7wf/eHln/6P0dFiteraBdRSaPFIsqykDj10/Euj8wya3hb1eb/Ztacy4H18FJ9PTeV3j8E+x3hxW0x+lL+J+6vdXzUZ1If4AfCSlklTl0lelElVEQAAAwB5rFdeF6kuAeT4bsoiyfDJywKX8sx0Nz/7rHirwAovOqAyr7u4K/o0L7qmLKDaFx0gqFO9fZaimCqxxfWmTFRz87PUzoxqV6TIDqAJwG0LU+PTQiRUsWRh6qrITWuLrVWRlXWR677IC3yMLvKsGtdOtQCuVEosdKwKYxuBNnSF7mq0swUQ9oWuUvkr6QpVpI0U4WqXuT5Mx7VUrc0qrprCpClqiCxUUqjeFKpO5ZlqmiJFDXmdNWhFWqA6wGSdjWtp4kJeUQ1ezwv7asnktqEGQ4Q2SnaQDXiGtF1l09Xa1TIf105q1ld43NhkORC/QtMaIDK/G9QS81CeYdSNMrYoEWJ9MMKoVYxhjDud91WN17q8U7l7Fd87W0uNGiv2Hr+zlmipjlNXO+UnYuwuylF9877N8j62dZCmFXbQ4qKiUMz7BoOjuiLGgDFjPMvbRKGNlnCczEj7afIe4xyrJO97Zsce6+yrNSa6m5UQTHheogo92tcP9VVhd6LtPd9V+CsDiirxXmuv5Znhd/e8wHPbnDhpH6kekvWjqp59dx/lPvFQhaF6w/pW5mzYf/nn8W78hVnZ6qW/oHpP9MW4eiWgpcySujR1jNVQOghTgC4LZxjisqga0BvwxaoqgRJl3mQOwrKbc4rRvFefhbzaQ+4ww9UAxupsbeZJUvRx4iCzLGOtQA/rosG67DHHIcLtswRIndgmgYyXJgvQNzUVMLstkqZCo4jNAKO89FCZ1baIHHM/SzqAUVUA3IqsBY3szDBI46VYaJBe1dYOM3ugj6yZIlHAT42/WH4mBhIBqXSVOczMi7SuTueQMRakDPLUNT5YhjprgEIowo2xalF1Y6+TooOYQfoc2afDHNIDdOhgTaI3UD9klgN1VO3QMANhd6KiJK7XyByQgZEHeiBt7IDZnM31Hq/mDgWB5YQ2XRHGAHEtuiAb0DJDsTadJu6rATK0CbsREAlxo0GcuxLvqCav2txBDmCyKhzCQQRRBrM5OgUEtRzKcfUwcFnTuBHB6MR5YpdJilapKu8wCrop8gboBhCzzzCBlEpGS1EPs1EP8kynIQS7xQexG+fAuQziAxjaoiOyXIhB3jWVw9GYMIw06JTGQB7oUYUBuwXhFVkiadrbbCFuY+VQPQU0N+jTJEd7kUWOYprUPauGCp+uGocLLo+4J2yzOvjLsQGEd+UIK10nieTQwXADCnrpJ1SjTy1a93qAXIfmsbuXumJQ1Z4trwfOMixzXYb1ZObqmFmX2cwS1gNSjtJNsX6G30ftyk+WjyuPTUhcPfg9cVInPUKjE95x1iF7CHzFNgyr2wTUDzK61GgQJjiUQIebFbhM3lps7EEDATo5oLMkx1HA0aYfaOEZ9Usx5RzH6NqMKYu6y8oYPKMtiqLvbRW7DPhVpra4OqNB4FEI1p8FwckwJGaY4mYAZRMszgRMymBFJWggPwYTNkkc20IvF53FPCBcge7CpwAX5jTBUiyCxalB0nRpe0AntVBLyQZYljCDhuaM0jKryq5/DYok7ia/OE0gJ42T+QblakxUXcUCX1D+gRt2ompF1uYoK2ks5r5BohP2RmRWECBao1rVgH5sl0NukGYNdNRkaymGm1WuHbtr/FwfsMOcSTIVk/K59meoK2aEIpYRakvaTxzOZ4W026ZDgXnAgeOE0hvr0eBvl4FjQgHoUjf/KZEyD7kktroFC8Wy1yYDdAyQYQJSCcqNyWZhoCZdTx0Z1opMD23NATzoMugUmYN+yGDk358txcaCXtzUea/ZTSZvUzJ/qEa6dRybiGaXbEcJkgDXwP7TtnTVS4bZmAwiLQlppsEMq0kZgW1p5xZ3ZpmvdASuM2AHpIAyKCXHfEuVfUZr8SnVUgPEAPMobjILR4o4gWcmH9grsh76GnDaDaw9CdmlaW1ajouqLZTpZIAwwL2VEn1VOYxCWgEAvlOGEoLEvD2+WrpqCnpiKChcKD0g3vo2PTZHN6NVkwzLPDmRZG4shfk7Ni6KQur+Otw0jRNNThZIu8b1LBPTQVMGBzMVDWUWvxLotsmgDWMypIRG3sB9ZUrMS/vsWM9H+F8Plbl1ajHUZ+i5HZSSFkwDajL+2v7oFMq3whcwDeUvDZkBVwm4GrErwQgnmMqmH/ia5vy2xYHIYIrjewugx30Dtbkwj0Kw+SwITr2yPEzxdADlJKSZxADjsAxUA7zGcy+DFWWwQEk3dYOPE84YfHS8PqWZunWPC0Ir8AzQqwuq4vibu2fAP+NkJhmhUcQ9YJ7Xn9OQXWItaixmVRIfHG4A5sgoJY+YUIdPbZmlsOaiGuD4dCkqjI5OHIRlrVgPBNXBiDQ4f+zZMKrkCDzToeihegN2pMGaVGS7BbDMJLLWBNtKR5EgulVlRYmCXqRISzpABxk9eA8KDuqZtnmXurWmSCeGZcSO7ewarYE+LbOpBiVbsjquyTRcip0jlcLMCBnIK4GiTKtI5eCCynjcOjaM9U/ITrFUzTlJJ4KR2KlBUawGBRnVai1zU7zGitaocjFUsxhsOcNsTAeRluaPqKhHLZ84KZyrczRtrPX3Rx6mRPMPMK4d6NpgOGByM9Joh1eLEbVrXBF+3E/YpTrRjh2cqXyo1iiNGjXnETuJOkn+1KuDlEgGgwTTDP05LPMstDAaYCapo8YH+m3eYgKUUIdycIyko6UR98GrdeM+/A41nWpQHDCDFijdYim0AIs2rSHRQSVrMNgsRYZZqRNTGuCiqRNAdUm4LBNkmWSKVRjqGayazGRFinZmkF4pNCVep1g9LcRkVUMNx99epQUlQ48l2oH7NS3qAJbSlioEH5ARgD+JlqbKmVkTok5oUsRdcKCysKp4UoMTAlBSqNUpSFb2BAQnnwXBuR+SYYpnAyhnIc1Ey0hLDaWGKsm7wPlAXNAD1A7wBLiSQsrkIlkS4AYtDQlGBEMZaPpEbGjKuskFvzSvoY4KLJZkrcgW8l4lxDolzFaMFYTieJjrWX5evZ4QjZ4lLkJiQFZqYqmiBg1II8zHrGomWIMhB+PUzDfUpDJhmLpOBLG1OMA6EUAK81pBgijAG5FR0bxMjQ/6S6wJ0d7COmBHFq5JsPK4hRJMHGu1mGjZnRqTSBuKDYVupeKFvyUhuhdrQ0xoKfJgTUqPAwoqZZlYSzMNlTBOqFw+ClRBgaWqDPVO8VfjXkxdfTAO5iGpJGkk7BaAm5oGjSRvMcIY9byGwlLRSEEHH8SYqlB+hmqKabVBniFJp+wlgSxILJFdE0uW0lUVdHhKsywFvcB8p4LRVFLduGOxg4TIh9mYDyItN6HMwFyBCI+pQdAoT9UUDY0xVWNqE5RLOeC2TEG1QHzoL4C2SemhqjK0rOdY10iOdlLyxfRPp4RXMt3c3ofyF3PMEy0iqoPsSDFVs26g7Xko0sTGiymGxZyT2fI9YqQSgu6obU92bNk21gTHkRaZWFchBKeW/QrEonqQrIl8Jzk1VutQTEN0N046NFa8qUGk5cMyz/OwnpmTl7ljwBTBWoxwaYFMUldnSafd39zawvvQBUBS0TuTukiS0iUvpE6KZKqFKkW3SdqJwgYibQl1PChneWjxJzExKLahwcLYbpN8tStH+iRvNJculLwcVSsrDhfbP17ddVpbDk+7Dv+q8mgS8vy/dN3dcaXIojRYBZhkj0Jw+nleuGFIimGKFwMoFyqc66guW0VDGs02oiHnrvrGyXTtRt4MpilpEjp7rKqYCuCnuzJviD1tmVdpmdcMgUC3AY/KGs+6rMwhN4sUf+sGYhl/25Kcyw1SEcjJBuyyAXNsUVYbmzKtWsjZukwph7u2BDSXtD71UH2gYZSZArI2BZ5B8y4DFpxT1ELAZ2CLKQgA1NsiBTRVQMQWSxSrCcUxCKQvDdhACnWlgSytKf7bdqjegB1FIMkSUmlMTK3J0AsrfiAatCoE6wvM+Yx6D02pjFYx9P8B7+nz7EKDCbBKY92JeKC9Om2FlUPfxV/AIzT+vm4gx6kEQvWC1p9Azict5HviuzGUZMAdOvDoctQN8i0LsRUR1lVNQwTdaGTWrFYuJnzxfKIZ0NGD6kEIGqWsFMOrmo49ZKUV9RD6EFHdHNlRUugB7aBKUd8rBwguh9lYDiKtCBcnxTJGxCBH0ahoJaFxB7Vh6IzY0ptaZKUSl1zvVBhgY5EGLliNW6ygMRmdwXFLszxmKF2HmN2qtzZGVVP0QQzTEESLSsUsh3EvQ5FGe3xeiuageoqxpqiRZ0rvZkdm0FhRmadWpIOLKRrORQSE/msMW0zPBb3EtGUQQ8RN20F5VnQnIQsoYgX7NaGAQXYdxRmF/VC9YZmXoXKmKZZps0F76toam1PiOlYiBg5VRN+k4t2mFBPCxb6gphgoE+jt2LISQiulc0Fp0loAEZsM5gF6v8IUU6oC4QTNhPDkHFAmG+oZrBpGNem+tw5VSkP6FWoqIYXkp2haJ2FJaR1OaVHI+5geJJr4AuUMRYjlqsQESdLcWvfF1ESnsYNmtpYkJEdaMGY6klu6NYrHITj7LAhWsXeRxt7lPMBymZ+BsIHIoUEGHdbGyjIsXVjvMOdHjr6gvTxrbKM4HhnkSSDRkbSwHgmxiHJ4REKWCbmwzFiMfp3ZV6numJrSzOp/nmiWIb9kv9EFoAbnSzoSbUAdrCijaDKlqRd/2fdNlzMEI84Ck32CsakLav4VVH1SqdYOCc1tNWdUIgKYltgKXBArQ6wJiiIp877x+OjMH6/LtIVoUbQyNZjbFSQRWX+OzgKWxgD0vkWvmFgmlxjIKjA4Oma7NBOMH1OjTHTvLKUoqWhSzjvCQoMaZmLPdHa+3tohhTJYt5JqCl/T8XosoXdxJMoCok800Rog3kBMlqiswvBkqFSjrROEIFxSG4U4zbgoA2bZgSW3gK8GpL5tkG2aQ0VBVVGEwYCnPSSwYR900FIbSEoa8qixGijHpa+fdxHHmb8KFmkK3BL1tAQthdzIUHCKjukgzhpMTBo5OsisqoUshXaFHqM5CJ+aFQt9AdThID+aRLyk4kGlyEm1eHoZTMPOyzD/M2PEU1xAy4A4xyTz3uL4REujEay2hrCG1qxK/BFg0PjL+BjL5kVWQpwkKbAOjTIo1KQBFhuq0T2xFtmhKZpu0pYiApjWUHmqBdpVV4tbz9SATtw3FRWuxEdueP97HKwjg2YYIKtm8A+GjZE4NPOJfgaJLipvTp0S/0MvijlC09JPK3sdxsRg/Rg0FoTdcGnT0kG1FyRE9anVoqlHUT3VjnHqVLy14Dq+pqFUY2KarLGeJeCK/gXDrmhEAEtXUPlLY/GwKHpCqVdqKnehokbnAZoSd6kIGHqHsaDRfPQuRJruehuoRJRPa6uW00FL03WrHoXj/PPg+BgVofxMP0axnISx0BmRUTLUJDC2OQ10AXCCFM3KFPUkatRoikrFuqqoHdLi1oU9QSCGWI1L45wHvdUPUr5e5HR9xpgQOeca8J/GWAVkVFQ0Ox9ucxLH0hbCVWIqENQ8RT+iChlDIyWPA7vuwT0h8xuqikY0VnQ3uUig8WfUujMCd2s1dcKlGAO1aI0g56g73eNYQkLBtFDSHNQm1ZWvn8eRINYkb7H6Ysz1omQ4QCk9FtPAkHEJNYPyxyAKTJRK5l+LrknwvctCRKbHh5Zjmmi5uOntSFJrLyxbKnSAIs1lA1lSCoeM08rGEWS5r+lJ3JeTk9T6NHlDLTZlg+aJ1b8UjxjS4X6NArSzAWhR4seit8VSsZ69zrqNutaJ1UR0WugvjOvLK5J6iOiOEp3ZZsJ2fJyan5M+7kSFgScZJFjbAj7bGqONNZg0Ti9z2jqNLTTItH3eQo0loDH8r84xdHXQpzQYplmCiZ1Zz5HYfiqrFIu6V1rSKHo6JhOwJCH3Bo0wnfJ1Du0ntKuXqE+JsmkcosZCalMklntIEJwaGdStYQDKUF7HVaBTgu4aajoMCE1dNIBKnMkW7yVYSo1h5+IvZn2LyWHKMuso/WpfP7/ig5CTooUa1kB3anJVNGK7wwdKYoKikoSCFAKzxV/Gq1YMVcf9OMEH99NwHQHJMqgOGURqmlJk0srRF20di5xuQUFaKNkt8KAFd+swSxo0pMHf9hiuFsacSEwnnUoUmop23d5KEEA7FF8UioGFcpBhNmRIkyX2k1ZUNQMc0hSNtOLlduXQd6Sg1GvqcozjoTrISFtFW2sr4QNcBIbGxOxxM3HxeYjsgyQAZf7Ko3QY1SJ23aq3imBK7SoWJZtKtxhPiWzUZolykJ2mZoBFLhEJ6LlAyhdUeBgQ1loxTHMuFSVKeXAzEgdRBpkdDV1cwxAIBuzFVB6RTSg7M2tDAb1CwkYiMkRuxq0Es4lA5odyNKfiTzxk+BRJbqjK0NlOxs+IiRhKEgaTzkj6FTlaYgyolLWVprTBYupyNI2IZl+/Y4RmKNtoybHhtGhWa+N+wJMMFFG6bkWecaWRiVB/Nb2zmtPOVoQshGKxt/KNKnGKWpEPJ7HosNTeGa0nNSXBSZmdZMPifU1D2dYlNmPMb2RjZTDdaG1q0ZrWIpBCTHNM1uJoimYIXh/MecsqqMq78DmKdKq2lHV092oxHectuyJvxJRiqH0wNsN4dPNRPcqHoagwDkXMFJw+5AoSS0fOUFkzbC8S0Hot6XlkJ9FgCCWCWplRgTtHBGMbC6tLgCcxxTydlaIHOo8iDXU0SGsXNwGdWUyfiZciYSCKFUOZ2Hc43ozv4UpilJQo8YygoseTZIRREdpJRNpFyzKUwoNHzlmaYyvlNADfNHhmncfUjWxoHevYxS4MLfN96lf8SQRKDRmc1y7b1PkrB/ujtpMf5KOj6lUVNqqPFg5RvwL3ZyezDSWzB6nCSlBcYbU0MWtar2pnoLLSbqfrHOomJ3wOXcnXNIyqTEGFNE0WjIIhNkNYypaCxtEmMwrhoxMDIIMua1BPc2LUjp0Fhe6FPJHYdiFyEtjfuyYrZ6Dvj9cF6vsEIpefh8jpcVT8TPcxLioIcikN9A0Rz7qQD7gN+AMoHoOd6WGluE7o2ymduC5KwVfGCYf7Dxosa2B1UWMd1j0/Da4hH7Gk6z4pQcRKiMJSU49tavzNSt2BUSdJaY66bBjlkqANCblvGQtOGAx/AoqWVDTMkmFCGYXqkVBJyoHZQO4a91rD6ybAEXJgBkZA4UGuSN4IT08xyElM0C8Fnbm5QQSRmADZStrrvLblA1HUSSQKZQG5Z1HJ/I4ZRsHlQqRgtDIgjAGComtR64DcS3q6QYl8YU0J3EOsMf+yxgxoTmNxX0HiAO1o5ivEfKOJyiQXWHI692w+DEWhJVRlnY2REN8YjbCl7OlQdA6K4zKX6DC6a2ORfZmQWxXqrWKMpCGGqq7qbAwv2QctK5RfjL4zNFqSjfSC2oqGGomnaH39/Jz0USkqDEsRFOaw0YNFIxLtV7q3SEdLOkNVGY7IsLuEPlGHL1zDpQl9t72jqY6y0owmdbJWT+to4tYQFlPQYplLaH3TjfdzpOl5lG7lMm5Po4udc7CRaGwbYTyAl7EweqLCMKBZdkDR5Ne7V9LBwTfsG7HXDPdgtxiJLPb18ys+fSLueQj2zWwvJoXT3gafXD5A1hADfbpnok7J3rOylAijXILVsC7B3KkBdC6b3jmh9CgYhd+9PA4iUkr6KXoF7MmKkh5uaI1FD9nbNQy/wFhiTegWfN0AQAAmElhcA0KIQ23AvAAYqA6goaGJSBU1suXqoAeXO44wGCWERkHgR0sErxhgWQP1mvhxq4X6vO10ysdQgOP4Kw/TQdALYA7AYOxuMosAvexMoPsB9AGtq4SiZD33dtWiQNEGZ3K2PAASunZihsrQ/kOSTDZAgy3ZFgMW6PAC8UxiayUxkG9ZY534iY+gV9mJWcUGHjDoTDF+LbO2M3oTdGrJvKZ1mNYh1YiiRyM+AxniLg5JcmWBIiksk80EM6GEF2JOYXMJGobZMLwYOgHpJ9f7iCT7wBQVRqYo6vIMpDG1+NZVPcQvkMR11p2g6dXCbGVYCIvjLjnxTYU0BLVJqlwcGGT8NHNJrWmqI4yQRXDrQ2EswQOstNRoiFadpyFZ6DFg5CiZGE0TXC1ZBQ6jXfQdu4DipLaRdhmxtrEQmEh82inh7EB9ekgh7heJGcjHmAnCg3gRUhvzSySidSGRmEhrU1cekn3Qj/JRKuokTIUNpWuG0YwSLpYKexXXDW03DEdJCX0D1FFOaCsvujToU+ooDCGInQeDCC8QTJOFi3iDqOuIMyTMpCbEmFI83L7OoSuceMmAAMZNJMTU0oYJqm4c4na0jtHrxWUie/lMYLZAxQA3wJ6aDqmy6MqSNIFrKWMkb5mLvTbPTSnOaEbuxkhXF3aTg6ufX/FBgIq4snOMJr0DDRZlDQlfAaNaSPG6A0fKGeAGTpUiQZGXJXArAxzmGYNXgwgQaEJFjjWiIdcz0KQMjcsxS9MmtswIaz8twT8g0xk91oL6ZF1X0ux9jC9Webh68lz8wQy/55o2idX5Eugo1gZR2ZjVlsCiCrvZFxo2DYBNYFbh0uemzrhpJFvxaFK9JHFpbIyqSTHBGYrPBavE2CxGZmiwj0Py5+2zUz6mAvPUD9Bxq10gPWnkNlJnIxuAyaMkBosaYmfjWBWN+fTC1/TRYWZrQjLbEsaf5pjo+F/HoJaysrZzzXC3xmrVpDO0J/IzeKowfAk1sNxrXnm4KImdlOjicu3F4ADljNH/oobSG65pV6xaAUTZwkFNloZCEwIJQI3dT02aG6okGp9ZsfyM8WQtuCfaQDuuxHd1EsAl2ddeuvtAFXUSqcIaUqGkyZeQR6RvnGJP9alxECf73mqhRWJ5pNRKgu1hrfddl27DBB2VuTVO0smJ61bT+aHylmEArVPjSdZaD8lhqAq6H+urLzrgBONKRHlXjY2jInS0pbUuG2IQhrGARKDrFWzUNOH2tVZedWQvhrLbFRmQMSsKbj4HXcpdqFNpzSQkimJtlnhgXz8/J33UigrCVqCrASDSVMhYXnPTagVkAliC3ueMcoPgoo00USpvSM0ZA0XuR8gOwixAr6CT8eSQpiuVwadswZ2IRZXV3XrQPrAlneA6TyUSqAAfzBMoSpW3zodxK6mKrd4GYEwgwWsMUAt5VPaMyVHowaRoMTObBLBWEQgzfNKi6hLG7YRhNVVh4tbaOkkIaE6l65C2ixRDgWfciZXieQJEl5Aa8qk6QTX9mJfHvbWhDkfXg2ot9nAhUJnpnEeSykzrHF6tkh2nuq4sBSMuBFtTnE3PuQR1J0hKEKQtUsyJzLZthHNQR5KIENotANOq8sItjFihdYx+O653BlcqpWzUpOiTpV24rRGeJ3GiYlWj7Z46XXimAQMmGAuaGqsOMha+ps2ytdEh3OZfG2uW6Vq7kZUCm4Qnzx+H5M/bd6d9hAV0UX/lYbo82aNuLD8ityAfajPrbqWHjtyD5iduFeQ9qLpx0QqOKp6GkKpQNUyO4YtckLSXpTQ0lhb+RG0lPMfWJkgApyZHnnVkyWUY38lwlSrDqicpxEJLY7tRlbBLHZPWN36v3XkCrB9lAvlS4HDnlgRbF6FcRvZ3dcRFzlcVy/Za2UIrMWW53SjFuEjqdj78VPmwFVWGwo1BsJwFdN7RTKscezPKhouWlEo0yRv6zu2pB30lHmEoDeF+rMQSPcbcJqhFWlt9nXNUDVtf2+MmADqrWrFUc6uer2kZbgLIyoQKTg44K8HHMnq1O/vRdCPmdoMAY8C0okpvNwXI+AQ8pIUUaZFaXDgZ+A84UIqVp1pyoVwgLtEG9/i3RNE5PrGEZSTK7yiOj3v0/abyOHTuQavg7gDrS8rxHYQLBKLDgm3bpLQbXXXRYRG3WGlgeUWLmdti9bdBnxYaWWlGpPHYjjqVAzLoSWIYBkMcUtyDSIekMkWa0TlZM3ijYJhclvht20EIS2G4W7XmltLKhQ9m1gFDtCJoEKsgqVJmihWPDrFb6jWfBAZQnvkhFJD1wTSS+HqJoe+sf4QaE41AnLE0zYMLSmw9xsI0na+f304eBq6ICwaSVDN6TphnKsxTc/Ni5Xw9DHojpjKGmh4wDZqOCiFFMDsZqkyqwrD9vhdtUnYCMCuGWxDdGZvJODsKYVmOxvpWauNrGhpW6AqXneBGFqFs5KU3TgJYKovv0JgFjrkzVuK8C+sN6MKwfYoAOghaOfaEPjDpNe6AMHhH0VVO0yDdvPRAOXeRzHUo/o9C8uftw9M+ykKr4/kJfst6GBkjwX80DjAAUGAPBKfgTguTdzxigeKlc1RXNoZkzpGkz7qCPUT+xMAD7umpZWuAhH3GgkFKDp8poY0m9PKp3FpK6UpSAwvVp8ev0HPX2B1jFBm57CKjrmwDN6mO05IIja6ja5EhW5y5jJY5OTGjqbDoEvFDKW6eylOLn73baJq57bZ55yL4uW86gUKQMXTZ188DyUnkCgUDVSrCCBXsTNtQUTpC6t6dgmBdTGIIJOUFsnWM8D8RHuL3N24LHU29eZGKHyW1CC9B9rGLE8jt9jpOKNn/pn1NTzYvNMcNc3KdCW3lVsmMyjd5CKnvEFInfysXlR9G1sjtbpRdPzotQYn5nDp2RyEoBz6UtsmSpe9JHxekfQyLPjkvRdvjLPyBPlJI4xxIuatIy40beU/nUVu5UxaYPujTilDG/RjclUajSzucD5SNsh12C2vb7xoadJtC70t8n55494ydlVVryYOYUpXr22rsjxrF8/cSdNnlYbxFB5FF8t81ZQnxhTkn8fsF42VbsHUG12QuYpoStE5kyxyNqvlxdh5PTAkjVxpALP0rLdC9hbSEjoR1SH2Dcfe61BDEwNQSelSZNg1KzmVbXRor1iKIt4g7GydYdnY3XceTaJA9ephO46qskFVWKshyak4lD4YAI21rqmh+doZnpihkJFq4bMytbLAExQijgcCLUh7vAmlK/4kCY0nSiiZjOaYhD7cbyOkvWCkJVEJ6wBTtnIRnCeMvxYlD52AK/ZN7/xnqwdNxDAbQZE/Ykj9vX542x2HxU/14GEsYGqMZ18hjHdpaYiJZdx6tIBbOyu7rlZhw2VSmxQijGQgMjmfCXUY8zkF2JjJKs6rdPrpaIvABX3IojnLeAAnooj2HkAeamJjjpAotoKkWP5s90qeX4eF+aR7vownXrQuyEFFnnWYSYUgTqwnDGEpr62YYe82gSipcrDNN1Dqzkp0SVALOuIATK+EbsUv503c8kJwcyMIYqsqGRIt3nOy3I5nQlvYwjIVmINaYobPU/+iOEqEXmlgIFwK7uegSHTeENzFgxdjjz7j5gm7WRtmthewkHsBBgdLkvqahakiMoSBlvGblAqO5rdokeQWYqKoqLysl+yhT9qRxgSHUA8NNAhxZ2fQdu3N3+L/Bjmw3L4PhNXnOfWY8HoAxxZRQNLenx/r5OemDWPTJ+Sl03nLnOYeAoQCMQJGIjszqSa2SkDMFiKahgTawFqsrawy1kJM+Fdt2gb5KRFJS/Sqc3kTE5FFEpdXvtIuEBzPvaKzUpa9zKOboX+POl4wbFWn57MQMEFfOrcfwOCkssefAGadAGh5FYc51TCdlut5vLqMZMKU6KN8pTnrrg+PJdeKjowaV+fr5FX9yhAojJOvSSZth21vvjIG5rGmJd47F+YMpp20gHzdI6iaoKTuZLK4VQ6VtDA+hU27zodRULEgYBCPB/h13N9Fpao6nWI1XD1YzlJQ6y9uOJyVCYImmntkVpR1BEAXRbmjndh9uPGgUuH5/sttRicMW3AXlOxMbmZso19rtf+tHMYmpP5oEE/5xSE4/88w2Pyz+bBbtY2N0Eu5p58Y2+sQqdGRXQZ0lsiirzmLZlxlwucY1pKqcmpnLmTP4W1BYB7sHgDnsesqyDnDOI0XSUol1Li2bMikzqLK6xNQsTdLJ4ZxJ1tjdA6lXvcLYGCjbRQqexq311EGytgLdTaGqQsfoy5J7kxtT2pBI3XLjQkFrQwvAa8OhShncxcPNtDOTcd80vYOlNa0RKUnZ6a2llE4haTO6WCCR0swvSh+7opNQuAHmDK1g9GVRA6XHkIoA997FNgwBk0C8IzxTMxMJgKyxAkwT7vAlXWD/UgdmPKUYzTu7X0D2DPRWVtLwlpZytFxC1ayko9RDXhi7wqaajAGbrF/hJGVvM6N2TG9B5vaXJaIdy+mVhoIw3HEj64EGRx6FxPVcpm6ngHGWxEoM+zyfI2YImzai6jIKEurYUD8fGaR9FIsOo1hi0myKEkrS1EnQ1sWqikMosZ0gcslY3VM2jxFvT7b7cnCNLEZxgyYaCoqV73LEFM+KyrU9r7SwQSgMmpEq5LWv88k29MTG8pdaTsag8apl0FpFpVCiqe0ZWW1uQyp56JOy1odT5zP3ZdFaSBloQ+/t6Z08mZCaWs7tmHSgtWK1tZGktZ1W/uQK7WNX9EnsCi1z9FpSbZVtA6WVQhBqUGYY+wY4NNwuIzucUpTRkFPVsisgPBahkcYpqk+USdxBRt2N+8G7LudpuVC4IcxaCdkp6e7J5cgo7k/yNQ2EG/d5cV880SEWIwqNpp0VJTw3SAJiFI0pNggfDKWjyagF3p+cAcKmkdBQYPD8FOpERWMDU5PO7pOXYEptn9MQww2MpGxl/zgkf96+Pe3jLLQ/q0X74BidhiyU6rPWNmaPdWdbaFcnY2b3cDcFA1cZT18xKpZhSKlsKMeMCXzanEyMouqHcwXbkbzPZeMjDxpuyZIVNTdzVMX9PlUdHtcCOZ2DInHTb96V1mza98NZssmw3RvSAusGxIfBOH0pPjobuRZqmbpK6a7iiRl5y6Be5XYTKjNIzOGAQAhfQnGft4m4/Yb6+dgVnYXuvUbbcN+qkZAJCfLkEXU8hYJ/abQQk1riIjjtKTGqrPI2MLGUxujSyJmscqSl3RjQ0xJADxf+VgkUV54J07hN6lBsqczGuK/98gxjV9qUAQdV0dSQmhUP4dJlAm04yTNx9yea4UaUnLhnatxT7oPKxAG8ZdCCeV4EzUAQtnY3etXLeYVAMMhKyEduC0i0jUakm5+Hv0B0NH7Thc6O52l6MRdGsVCsceu34bGA3Ine8NSNXCCOhuGM+xvFpwgdGrxKvjd5kWPFZW14xBWDBRmuM5yrQl8XKKHm5OJGM7r6CX7cSUzrKKMsWTT30mTHPg3FHB32jAfgtiKqKXTi8+ws0d/cySi1PbxKyTHXrQ3oF2NxEx60IT/aYG3cVFMZBiVnoHRWuRLztLHqN61ynFI8gqrnwbVex/SxKzqMXREfFw2SjJxi88Veq8R3LVKUWVNgcOc7t5HQBMtwI0oA1YT6RiMbmjneFFp0TIoTkh5EOYGL1u/Gni4jof3G7h/n2Yv+wHKdn+hw9L/F4sqTOE8JzuNJY4l0jabzVk73zmwIAq2P1OUYXmFC4UvLoNhglahPVEsUHc48PYfnbBRUpzKBN9m9SN2Ne+bp6+4eD0tWn7d3T/s4C+3PbtE+OEbnJ0FmnQTrMvhE3Hd0kFMr4cmJqZAx7vmVs4Gtnixh4k44h9GqdeFM07U173LvNd36IuxkX5yNbyei0wgE5E/lTFyqs37S5yduCUrCzu6alE3c7hgY7UyXjGVg/8s+fW6INwRxu4ev0ieRqWKQ1BJlra3tuHTHmog3kFolw6OMi9svJApDzmfTnnv62BV9eoDLEPBkhNlx9xFxIJYIACfYqDrKMY7aUaHaGjFVqHq5fd3ufBcf9sotpYZzlduIKd/pME1be9CKqI1qdICLPjnBRY7WNG43d35yhpmyR88x4IyePXYDN7ZRyrJn2/A4yDa2W+Xl9NrS2WC7o6nU/mXgmQ2A4DW5CZ0AuXfw+Mgg7aNYdBEu1K5yoRu93fzHUe/MI+equQ+NQilPnyFmtWf2+QxNYqwPXaeMRZNTMbPBJP34eWo1tcdjnYMd6mD/mEC9WGJVpkoFxQ0aR6lqKIMNA6ox4KayZ6Ul2hmCYxu9FuqYJP88IFb2WdG3xWO0MqeBYLaWqG+F1UTLbFXVRaVBegEmFaRC5QMLtY9d0eGRK6RRCbdQCvYwzAnEFZwko+u8YrBmyTD9oqQrjWSAfrqeB64y+DU4v4enEcddZw9HkBP8jD2vlGFENKeRMXG/N2dGzrBCtgp/6aGr/ToqwtVD/Bb8zN0OlWKw3bgwbO4B6u1WUSE0zmsgWz/CQx04K+VXArJhNjqPh/vOejLejrqSLMDMbYwRu87jkPx5m/e0j7PQ/iwX7YNjdBH64WmL0KAEmPg9D5kXcz5Gps7LuC3LtKtLLoJOV2VWN2VbYY6UtTvUNLQwMn6GO1A7e6IKva88cCehUKsgIgF16IG8kWM00qKB0sMTgXJM3dp4w0UYHGNMk9cAuKST/Ww098lGZQhz0NdaAjezBJS3I1M2llAkrexi0Ekw6RV3L/F3L6hcUWzQpkSzPndmU/Lz4B85W8zYM+k0dSPodJQCnQc6H7uiT2JX6s4ekcmttb0SXxKPMEkMt0Rxr1NvY1l4oD1j8GhDpteTgjALrd6QMw0EGhqUN9TX6fWhP5s0nJvQNPfY9XJEG+lWq6Qj8pp2Xb9tQJfhpiBwoBY4AWZYGQxNz7OdGIlqoMi2DG6tZAdADZGl6UtK8zLLSv4qAGh4CB/o3JSWOYaEt4U1csnPfTCgNAF0tEWFXpQgE4w2f72rRp35CwZl5g8fj4+npHsxF56+0oHbMWgslmP9uF/GxtyklK4QTilQo+JGW7vlTA7Op0Gd6nYcsGSoWNw060IbKSoY080FSZsDKpBUSV6Sc9A5zb2B0t+tnIiljy7T8PiVpKQ1rC8zYDpUg5zRH3EzbH/DDG0T/lwNNURrMiCxMI3s84nDzf48G60RbwuNPQVD/dCvGFuJvuF877EgsZYkap7uXhTJ6FWGmfuNTMbHrpggdqVUjO1LGwiPqqibuqTPBZCG7xmyLWR7GOaPbNUoWydMwNKzkrHJeWhWS0W3SPLE7vnl0QhUD4DsPJex7Ojiq7mvvehAe2oeE1JjZHALupmvabh5j1GonXXnCd3jpmLFBdjZAx25HDhB41r8SeL4qfiTENyhFB5vLT80xzADGux7G90pAa+N3b9YdzZAl4KXxgGyUrqgyPiaJ9x7n7d7z8ShC0KiaNB3ZBlgG63YtTL78wqkVux/gFjHuUlhwZozcMLISZYhOxLui+nsdk/SAWYqZ0lQci53R9ZB7CQngFYspxKyv/vHI/4+c1eMPzbMn7h/3BPje4G/ZbWY+JbwB1b41R4GXYyS6eN9Wn/8fRO+nhyTKR/UUo7LS8MXstELelxgPnqQjEsswgzKYzp93IZcHvdajAtXp60dNVfH4+LVqMFaj8tXJ01Wozbr/GgEDso9abUaNVsXQbmjdps4KPek4UpaPv5lNv5emfym+XW027yP3qw3h310oeU3zPaT4VfVzu+vd/g0/Gn03f6AVP7n0zDt2u7hxr2xWEfqKkuiV7tFiwm3OOxPfgCwqv2UPdSfmLPTf/Lv+Rw/1HP/u38X8YMu+xj0Suus74Bi4L4lkJY/oBhzM0ilTQ3+qyGW4lyp1v3k4vG/afxweis9+UAO9IbxF23b6yZpQM4yXeF7VfUanHqchTn56B6fLrZn8ZN3QmDg4h+oxT/731QnUxXz1w5dJ6lRJxWVjRDMGyi+WayzrofCkesUrYAeqBO0zACY6OHRTfpLOqk1NUOkdROjgzR3o6CDMAZlwZ8GVcyiQTp++IOleVXGWc8fk2vjDD2VtnQqAqnjivsYpOP+GzvJFS2dlEzBGHw36VE3VeiCCnSjBOEu+hz0KtV5Ves8LtFdGrqawbxqNH+hkwcI//IKnnUfd7a1ZT3upuFDYxR/VRQKQJwlaZzWdZzy5z8b0en/J+aSKqZKTzWRaOgnE0wnMBCTYTpVYAxYd2Bedjrhg45Kaon41agimE7+i6YTN7cjmyardY01V5WcTqWbTiaYTuiTvDOYa+ijktMJ06iBjoN5lWDtJaoFwaj/56aT4V7UG989Z22BWsbt5Kg/uq3BKjQNuqrjDgfV1fp/YgAfyeJsWuXcc47pBA2PP3n2PzGN9LSYJgDjySNM583ai43fxVN/qfzl1//MTyuf/GD1xdegOy9+F9/dXajs2deT698pe3nx9Qw8aDL5In7o8V8oSe0vlA4/TRrV1X6xj6pD9MBfEoUIFOk3ieoP0Zebh1nbRb/ZbHY3Q72i/bZaR6tp9Pvv3n4fzd3rmz4QrauZuXwbXXz763+bhN2B1J/oj/X05Ceov0u+j1bdarP7EP3+E3I3Wn3k99Lv5hgLlImy1pPJj6v5eqZufu6W++7Hd/5nfOfG/0b668V8ffP+9WLZ8Zdxl5s76Dq+nHZ+sdxcvl5M7u4UscNnvWont/OHCXJatTfMnPng8ufVfLkZ/+a5K1HNH2bHl/0v7C51cH+mjk9M+EQ/8tO56tjU1aWazB6Gl3d6/ESPn5jxE8MnZ7+yvJ2/vLrYqcvlsTbreL5Tzw5b/13Nl/Ldv4y31rF9DVU9Tb+/ny81vzOZQjItuSOb/f3lTo9z1h/J2Uxufv9d/L3Lm5mak0w1U6jvj9kGJWskMlLy77/TNpFk8PvvzPfjYkeraP0lZvx63zXvDov7Lpj99td294dqd1isX3Fp9cvK8c1o0T6ES2J/2C223VEfah+Oa+HLT034hycm/PB8M0d+X6j05mEOnQvXd3fJxGLEJvx55s3l+ss7gMbDT0w5JMXsub0VRFHZbDOZPPHz2Mv1yOt+rP/2c7DtwVZze0Sxmfx0cYBlm3XY9bYzOTKHXdUckO/7xeF1dHjdRYf3G6ckzNabVnCv21+D2APE9u9W0Zfxd9vvowb/TMHwh5vK3bxsm+/DNkML0Y+0uW3OcevL+JF76hM/FH6opkd94/FRPlRz1Dr+/pn0/wNo8SW+K/9dyXftv2v5bvx3E06BtqHS8SN4EJod5qpOclUnuaow1yPOCb6e5tg2J1m2zeVprrh1mjFu+bzPpmCNnvTDsfTDsf9npuAp4lVzNxmXo99Kz2fVsdfcnN2j417Uz/C/6wtcqxfmWeW/afmG79f8tzpdRMQSzsf7avmOym31XmbehepMFj2DVnpRPDOJmdif+J7dRZCqvIbKu6xWW9Qb2BKf2FeWwyz66p9agl/Nv7p6eaXzJHFEL/rqNn7hf2f++qtg8fVdh6ru+qrpoq9E2ts6ggyIps5lhLqJSm1/xfxi+3661ROb9qhqT67x/rg1/IdrNpGu2YOaaP9z6Xv/c+n1ggSm2lF5H/+0OrR+vAxU8k/x7sWuq5bPtx/+1z76I67+sFkumg/P3Q+8U8FHcW3XoLjW1n5/Ql3Y0pEJYFicaNFwpf2se+OX7uEXzb8jR/rjiCT98ciSfvfl6P6XI/a0O142/pJQN5nThAEouTkTEou5u8LwXL0UXWhxZ1Q5Wczx7zDz+/n2/cylW0yevTzP54djPpr5eLr0w2ouBo0XSl0nOfP/4e6H1eSH+Q+rm59dmlfzrR6y/yHI/gw6fx3fnN9TN4/A7iP31Hm9V4s5eSn7mn2MPhya+SxLJtNfQ4326L77SNJLSQ2+tVo8UsgP9k0MHAdsPYiJix+kkC/HhTQfSSqFfMlCfjjrosI389ubb8mHBBTf0FzyLcmP+6r4Vfuvml+N/2r4NRm+Xir7djq6Ie9noxuSQz66MRYsWKhf3X+3fJZEl5SZXNDPNK6xVnn9/dON+Or+kbkas2+6y4vVYmYmz9bN5eqH2ZG079fz9Q53jy/2m51fTW/n8c3b23Z3mdy8vbycHNfbCPO7uLrxl7W/VMe7qr4JXhyXsEcJ+9vkZn+W/bgRD3NH+hbx5f7Zfn35FlWmeEsmN2cvPcYH9GQu9IMyEVOH8+H8RZf6fTz/9rv990P13yt+vUy+P38BTb+cv4+fHaobNN1e1voGbce1ktuqtpe4Hbz+c9iV/cXbW7ownW5RzX8dQ1u8wTyIv7+c76pn7GV8U8O3mt8S903Js3T4Vt+c5343b3dffGHH8lhOPf+1+u7trN1JUZoZ1ENRZvgmRWXumy0qH76NizrX1e7j+erd8oIfCFhpzGT6ctZPLo+3NG71vPvK3j0+UeeJjU386lyFW96rk7KS89ezJ8tKzxPn52U5Ec80aBtegLS6tN/UFNdPkP33ennxi6wXZ4v5d3MxYPhYo8weCiU7XrScktJ33OKR80xrG7TMTVQ82IYeSf5cL4Mxsvj64utbo1/IJo8h3CJ1h+kZFy+hjj/2Kr+l2Lqwi9qGXshJ1wUzSgrJiKcOZfSLuh9q5TGiDArhXioGgvC3xHmKhpxm3TjDtztMJi6uP8+wxGjhyflQDbrR7wYzD1S7yZmCdEovHfO56kAxt5tl9LftZq+jzX23Ay1b/m21aEGKvtVfRxdHSkYSlwqdmwrhBImq1m20eXcIJwOzGhDq/pdx7f7i/nY+U1n87OVkcDreyO27eXA3KR5jHcsNMHdktEmKY5p/1HzDKb1qwTpu5/eP2G7O9QK+sNwM5tBhXHDn2cvLi/tZhUpfSa4oY1Y9tZL27XElvfkcXTl+0FpVKlGxOJiTmCbB4tkbNzVC+9/blTD33Tv60kCa32Mu9P2+o99s4PDTaPsaYnYa7T+sG5TYL6tXU+hYy0XXQ1PZLSrcju7lhSnU/9l2t2i6/9InnBnleH3W8+T3R568fT2tN5iRKGX6j02iqPfMu68+rr3tWwjJzeHifvJMHGJ+krw5nSBvbrMvvti3d3MOCPgLRnHy5vLy3AJ2mDfLxfbiYt/OJOlExnl4y92bTIGl55C+fW9ffn+VXsq0RjKjOb29aH47BwN3K+FZej7VD56PbLW3izUqUOK3rwclPr7ZalekvkqnswxF4jO5xD83eG3O3/s5U9QlA/VCXZvJ5QXG5UV8DXKBnGSlM6eJvMy4p9MmPlRz0ZKgHYmiN31DMXL5/u3s/Vl3PNQ+rfTCDG8gX17492bv346IXD1/qO/iFy9n3cP2YvZQX8moTq69enrTV/OHapSkOk8yzk76BvMJw4WE8rq9Vflbj6/bqscE/S1gclEtF3/vHrECfZhE3YObxQRa4OqTXuJPzOLtYIT48Iy/FHP1MGrEfrk57En0B8WLf5UuLtyf5fpiv4WAOHtFPfmKpH92oS6Hal7QBMjwhbNMoELwF0azOFM8DSNLi/LsRWgrZ+9B13i4sZfQMz64S2gY8anAuzjNf3p649yY0i+W6Pjo3batDp2VclX0qtpSorW0EHbb/dGbse7e05lxP412C4hHdPfmEO1E1tEiUO1qwb5w/G3eAyKtPHRNH8GoqR/H4Wrnb1nwq999OFoPD8PD5jUh9uNgOA3/SG6o8ccnFMQbpgVpHqoEklhPPABB3OFRu7hfuGfV5BFzwXreHmYiNtd3Sk/WxJFH1a0FBnRxu75ZUBm6v5wXpYm1c7vfXExX0/vJ/LBDVS9wOV1upq8XY9Ph6RtnDdmytui9F9IY25ZrW/uzyp/JBO9PqebyyrbtbcuX29lqum8B4/jnmMEw2n8dBmjlh+r+8Eg7Tktu51V94Xt3KsuMfdjeqq6ctHP8ey4yFvNjtfAqoJtxhWXKILjU5ElWJslUqTw7oY+PtHy5s+0cFIW/TvXpW/Fkul1MpnzafipXZCeawm7qJurxEWpt7wWmw2V1udwBm21jqql8HyMzJu58u7h7eaVDeba4SzuVfvHFlr9Lx8sTxXolFdkupsut1V4gQRbT1eFEI74fkkm1Ocb8ZzJ65f5gtagDnvGfcXPFT8jqyPJazZfbm3vMbus+RA0O+Hp/OJeI225OUbQCU7SyZSflb7tpyXDIdDK1k89/P+P8Mqd2U5b7MWn0p/fV9uLPu6rtfrvuN1FTLZfAqCo6fL4g8raNeD7Im6O9Rc0HgXK8p+eDfDibhatBmDlpMwiffTw5wtD9k4lA1ymIHlnX26feUaOMd08mejJj0AT3zl5/8U2W+Lz66vjg7i5L7MOhD5r1Yc77qtROOeN/NwPZlWc6TcG0zpsy5Ht4vuv23e6++4sV/P77f05uBqgPlsrh+WGx6vaHarW9k1qhTVKtkxUjL79eHOZ/7pbLb6rD6+eL/a93Nd5f7H8DYXR4Xq0279aH//RXf5keCz9e/mU6yPPpIM2HqQRaNTleB0g8aqqFiTmq8sK3Warwwtfs3XL7H5i2/xvz9tuqvThWzRc96pbrT732l2NFj62YeBSanZrRRotv7oQ+70C+Q7BDRO6m++mx13zvz4Le9wjJSRHfcPj7Crhx84ipyROkY6uOTOlY5XOhvH0dTIV/EZx6tM/nQx97ceBE5wBB16MHA0qJOL05NcMNOTW3u+vmbjf5ESAn7YM07E6sdmg8NCooF+wFUTD0zdO2tvdz4a4ToLBT3oYlvJMnu9GTo4iWcZnMRet8P93tptAvqVreh7z/1btq13KGkvG7L9U/waohGSY/PfHsHs+ELv8TjPsj2e2eyk4fs0NDfhotNXLun0aTUV7/Cb1+y8jhn0SnGzN0wNB1fC52Pr6Qz4SQ7cYBG0e09dSMMZ6l/d1cl+P/kuKLL/rbeRhzyC33wVQa9IWxhj4ykvWzk0zzsxyLWT8gzmlaDwanr4zZwFCS64ywKyyYnlH76qgdVse7u+Pd3fHudhRDcbyL6f3uaPuAQlAvF02oF7DUUW+5ep7gPGuF2qAWKB2lojSUYhfPoy2Swf3T60V/2F/4cu8XUJ3OgvUHh7gbIoDAz7/61XJR76rdB18PRy68njDMFQbUHKr1QSyO84hS7+YTKf/87X+khmmj29soNf9Icu2T608l//q33wyJ/Rp8OvVX//7vf/vy13+wNc9vfuU0Uqikyw3UouXmlb54mEyiy0hNo5iqUvSAxPGUsXb1Ys0uWm92KxoVKnb885MQh8Xh6249iv15XDk8eo/XkzGNe4Ta2XUYXTxEd8dm4iXU64530OZoHV26q58/8h7knH8tS9xbvPjYS0YfXzLavcSLj72kslEFs6F+2cdfGjVqaNInGjRqz9CcT7Rm1JihLZ9qyqglQ0Mef+NfME0mQ4oTsfnzcaKt362u2m4dAQewyu74zg68R2IaNhGjISATZt09krSbdwzRWD3T/9VNI/1fWBa382gV3fLaPPdZ/se6i0gI9piB12ITwTScLbv1K5SA3BYrmlkkBLTnPK4O0WqzP0hkFud023HvxQNqwIfRnihyMq9HgTtowNSvMLTkk1P87dQ7bseTvcO6cjjuVg1yxtKbndxlEbw7IEeg76xvjtftmF5FFx36Kebo7dcoCXlzOAcxOQPXY8jJnC2g6V2Ux2Pa48PxW3zpOPRvGYC2jq6CkjEcvsdfLe67PZIt1tF3HD0Zw2RyHQwAjV0Y6ff0FETbXdfIMAYtecvZKCg6OQGG7mS2jdo+/0Tjf1GTn2z2z2dDs7PJZkj/LEjqLeXvFw3ngMbzXTh09tEdK/TTT8PX+Zzfv/iC/fEF1yVuQHM86ZG3T/TIWyYf+lDaIHLmZujC6Oenl+yrarViCGK/vFBoEP7w/133t/eTKwpAVKLaUxHBBD9ZN/LqfxyDkvDWt59cMKvHFwybwffZEqKGFeMX0o5pNEvHYca2MqgzFi7fmUbqMTMhR320lE8X0J2bRJw/AjzhvOBUmZMIjGaTSzp6eD7zHq2lwArX+nk1uUwcHAcZca1xkUf7BV1d9JgBsB/NnVnM2LG48ATKD3BnQ1ABs4zmw4hy+bwXnL3oLjHV3N2L9wLYZzKfEOpH7/2T4/uPoeB7QbssvrHxc3JPZhlSZnEwQv/ytwqPq/0BqhSynSC3WTD7nUksuggSkt1I4uNScZ3h2+TT+1aN5+SWhngAXNg8IbbRGbO10yh6YT2XwRSa2H6+ttNkzv4Nx/h8qPCMq09kohsWu/ygwDsZWvnY4pOBskkeX2YfX5KTR2xtW0xyb0J8fOVcbFHGdpiDFytUmPstwk4Il6aMWPiee216tgLOgw+2vrO3wWplXte8d3d3zGB7shKOg79arIfJWvlOqp8ad99FQy0qrJwadahQZn0zHj3ya4k9BUdhIMN1xKLcAqo70G32h/suRlMr+vUprOLdf3/Y+qG0r3575CXy7refWImPTNa/ndXn25MKfetqdDYz+SaUhnfL7cW2WrSTK1ZyEu2bammZFecqhhXPrCzh1bdWgEDGMbbV8r26e71Yt5Lw28mR5f3RVd5qJZt3h9mmn9Wkjtwau3132D+3KLXqKiRjhlKWNauR/q03oHlrbtLFSvBjcNK1J2Y5P9tZm2P//rMd/sg64kKRXEWeUdDbb5jA1Onw3RXinw/fjylsqT6B+2qfewk5Nj9Nj0vWrS7XMK7Lc4cQkgxTzbd4aOnsbNm3jnW5cikYT57fiRJ2Xq/jG+MV2j6xPq2J4FeBrdgaOI/DYU2w357e+cvozmC9PL+FVOdwt+vu/3j+xuj2OO960X7VBfNj/4Y3JNsnZ8mpBHlq9vVB1k/OxbntlYALQgwd+8bX8qRxvmcmwbvXw7tsqWvQ9LQHfBdObv6/TXXeEGZ4Nxg4Jo9a3UKTtu/dV0dJ+EqWxcBaha2erQqJQHt6YTxKM5HeNvkZSjtPcWSSZ64WKqMsjfyNRYa9ah9baWu1nLlfPvIMNFFEqlVrjg9n7ul5ZWOUdkGlhPldWg33yt4J6elQQ9cXrF/3SH7UrmI7bi8gwq/5bTYmaYTzC9oWbiXlJbWRy8v1qWYzZHh/5B333bmisx+4xz1jJjy7HrMBxo69Wg09c5KQjwKesT/zDKEUR6X8q254PbaJd+ER7fB8JtL6+P8AO05sKQ==","base_source_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","inputs_verified":{"c0.txt":"8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40","math.json":"22122152083d7c876b3475c321fd3c85be79de48419965491d117f095e3d1905","probe.json":"b0cb4b28e101ad902ec383c2d4142b6e9a9dd10d229f482b47ca81b273933495"},"compiler":{"solc":"0.8.24","optimizer":true,"runs":200,"viaIR":true,"evmVersion":"paris"},"gates":{"isArb":{"vectors":11856,"mismatches":0,"first_mismatch_idx":[],"arb_vectors":4661,"arb_expected_true":4661,"retail_vectors":7195,"retail_expected_true":9,"gas_per_isArb_call_tx_incl_21000_base":{"n":11856,"min":37331,"max":43241,"mean":40075.53247300944},"pass":true},"closed_loop":{"pass":false,"threshold_bps":0.01,"seeds":[60000,60001,60002,60003,60004,60005,60006,60007],"callbacks":90554,"max_fee_diff_bps":[25.961658883156016,15.324825506245277],"rows":[{"seed":60000,"callbacks":11100,"max_fee_diff_bps":[4.811843198199162e-07,4.77213372984675e-07],"peak_gas":196174,"guard_shifts":0,"worst":{"call":353,"t":307,"contract":[4089058310088400,3483839341494667],"shadow":[0.004089058358206832,0.003483839320439386],"err_bps":[4.811843198199162e-07,2.1055281216458832e-07]},"seconds":4.926447153091431},{"seed":60001,"callbacks":10825,"max_fee_diff_bps":[8.68441619886125,15.324825506245277],"peak_gas":191689,"guard_shifts":0,"worst":{"call":8399,"t":7727,"contract":[1900898240816366,4176295012301747],"shadow":[0.002769339860702491,0.0026438124616772196],"err_bps":[8.68441619886125,15.324825506245277]},"seconds":4.758843183517456},{"seed":60002,"callbacks":11984,"max_fee_diff_bps":[4.770661123087994e-07,4.7322225998902567e-07],"peak_gas":195675,"guard_shifts":0,"worst":{"call":2823,"t":2334,"contract":[8803109504014755,0],"shadow":[0.008803109551721366,0.0],"err_bps":[4.770661123087994e-07,0.0]},"seconds":5.369471549987793},{"seed":60003,"callbacks":12003,"max_fee_diff_bps":[4.829896465413652e-07,4.703753012091916e-07],"peak_gas":191264,"guard_shifts":0,"worst":{"call":7603,"t":6327,"contract":[7052513663452342,0],"shadow":[0.007052513711751307,0.0],"err_bps":[4.829896465413652e-07,0.0]},"seconds":5.6464684009552},{"seed":60004,"callbacks":12346,"max_fee_diff_bps":[7.527033564010601,9.79847182312956],"peak_gas":195786,"guard_shifts":0,"worst":{"call":6526,"t":5303,"contract":[5014238815206532,193241807621445],"shadow":[0.0044984216417814915,0.001173088989934401],"err_bps":[5.158171734250408,9.79847182312956]},"seconds":5.818556308746338},{"seed":60005,"callbacks":12378,"max_fee_diff_bps":[4.793924111845538e-07,4.789107305169793e-07],"peak_gas":187687,"guard_shifts":0,"worst":{"call":11617,"t":9402,"contract":[8066584111627163,0],"shadow":[0.008066584159566403,0.0],"err_bps":[4.793924111845538e-07,0.0]},"seconds":5.712518930435181},{"seed":60006,"callbacks":10768,"max_fee_diff_bps":[25.961658883156016,9.458685976763832],"peak_gas":212875,"guard_shifts":0,"worst":{"call":5082,"t":4707,"contract":[2626724925030385,4291545372515124],"shadow":[3.055903671478344e-05,0.005237413970191507],"err_bps":[25.961658883156016,9.458685976763832]},"seconds":4.866022109985352},{"seed":60007,"callbacks":9150,"max_fee_diff_bps":[4.831604213939578e-07,4.816184517170141e-07],"peak_gas":213463,"guard_shifts":0,"worst":{"call":5597,"t":6100,"contract":[8046424089526358,0],"shadow":[0.0080464241378424,0.0],"err_bps":[4.831604213939578e-07,0.0]},"seconds":4.191757917404175}],"shadow":"Unmodified tellpol.TellPolicy soft=1, qm=C0 decoded QMS1 tables, fb/fa overwritten with contract fees after every callback; shadow returned fees clamped to engine range [0,0.1] for comparison. Contract drives every subsequent callback. Uses int(float*1e18) for callback WADs."},"engine_afterSwap_gas":{"pass":true,"peak":228387,"limit":245000,"calls":9239,"seeds":[14000528],"scope":"One candidate-only gas-gate market, not a score comparison."},"engine_no_halts":{"pass":true,"OutOfGas":0,"revert":0},"replica_no_reverts":{"pass":true,"callbacks":90554,"peak_pyrevm_gas":213463},"validate":{"pass":true,"exit_code":0,"output":"Validating strategy...\nCompiling strategy...\nStrategy 'TellMinimalSoft' validated successfully!"},"runtime":{"pass":true,"bytes":23519,"limit":24576},"no_assembly":{"pass":true},"storage":{"pass":true,"inherited_slots":32,"indices_used":[0,1,2,3,4,5],"additional_storage_declarations":0}},"guard_shifts":{"replica_total":0,"engine":null,"engine_note":"run_batch does not expose contract storage; not inferred from fee outputs.","counter_slot":5,"forbidden_fee_interval_inclusive":[2999999999999948,3000000000000057],"allowed_neighbors":[2999999999999947,3000000000000058],"tie_rule":"Choose lower fee when shifts are equally small.","gamma":0.997},"isArb_gas_per_call":{"n":11856,"min":37331,"max":43241,"mean":40075.53247300944},"blocks_run":0,"blocks":[],"seeds_unrun":[14000528,14000529,14000530,14000531,14000532,14000533,14000534,14000535,14000536,14000537,14000538,14000539,14000540,14000541,14000542,14000543,14000544,14000545,14000546,14000547,14000548,14000549,14000550,14000551,14000552,14000553,14000554,14000555,14000556,14000557,14000558,14000559,14000560,14000561,14000562,14000563,14000564,14000565,14000566,14000567,14000568,14000569,14000570,14000571,14000572,14000573,14000574,14000575,14000576,14000577,14000578,14000579,14000580,14000581,14000582,14000583,14000584,14000585,14000586,14000587,14000588,14000589,14000590,14000591,14000592,14000593,14000594,14000595,14000596,14000597,14000598,14000599,14000600,14000601,14000602,14000603,14000604,14000605,14000606,14000607,14000608,14000609,14000610,14000611,14000612,14000613,14000614,14000615,14000616,14000617,14000618,14000619,14000620,14000621,14000622,14000623,14000624,14000625,14000626,14000627,14000628,14000629,14000630,14000631,14000632,14000633,14000634,14000635,14000636,14000637,14000638,14000639,14000640,14000641,14000642,14000643,14000644,14000645,14000646,14000647,14000648,14000649,14000650,14000651,14000652,14000653,14000654,14000655,14000656,14000657,14000658,14000659,14000660,14000661,14000662,14000663,14000664,14000665,14000666,14000667,14000668,14000669,14000670,14000671,14000672,14000673,14000674,14000675,14000676,14000677,14000678,14000679,14000680,14000681,14000682,14000683,14000684,14000685,14000686,14000687,14000688,14000689,14000690,14000691,14000692,14000693,14000694,14000695,14000696,14000697,14000698,14000699,14000700,14000701,14000702,14000703,14000704,14000705,14000706,14000707,14000708,14000709,14000710,14000711,14000712,14000713,14000714,14000715,14000716,14000717,14000718,14000719,14000720,14000721,14000722,14000723,14000724,14000725,14000726,14000727,14000728,14000729,14000730,14000731,14000732,14000733,14000734,14000735,14000736,14000737,14000738,14000739,14000740,14000741,14000742,14000743,14000744,14000745,14000746,14000747,14000748,14000749,14000750,14000751,14000752,14000753,14000754,14000755,14000756,14000757,14000758,14000759,14000760,14000761,14000762,14000763,14000764,14000765,14000766,14000767,14000768,14000769,14000770,14000771,14000772,14000773,14000774,14000775,14000776,14000777,14000778,14000779,14000780,14000781,14000782,14000783],"seed_accounting":{"paired_seeds_unrun":256,"engine_gas_gate_consumed":[14000528],"eligible_unused_engine_seed_range_inclusive":[14000529,14000783],"note":"Seed 14000528 is consumed for candidate-only gas. Do not reuse it for a later fresh paired study. No C0 scoring arm was run."},"paired":{"n":0,"mean_diff":null,"se":null,"sum":0,"sumsq":0,"worst5":[]},"gas_stats":{"cand":[{"role":"Baseline","callback":"afterInitialize","calls":1,"ok":1,"max_ok_gas":21796,"sum_ok_gas":21796,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":8949,"ok":8949,"max_ok_gas":22592,"sum_ok_gas":201913824,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":1,"ok":1,"max_ok_gas":21526,"sum_ok_gas":21526,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":1,"ok":1,"max_ok_gas":137276,"sum_ok_gas":137276,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":9239,"ok":9239,"max_ok_gas":228387,"sum_ok_gas":1493950001,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":1,"ok":1,"max_ok_gas":21591,"sum_ok_gas":21591,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"c0":null,"scope":"Candidate gas gate plus Vanilla baseline only; not paired-engine scoring."},"rows_zb64":"eNqLjgUAARUAuQ==","rows_format":"JSON array of [seed,cand,c0]; empty because the parity gate failed.","diagnostic_integer_shadow":{"counts_as_gate":false,"change":"Only replace TellPolicy.on_grid with tellref.is_arb on exact callback WADs and last-returned integer fees; chance from tellref.rn/grid binade. Keep all other TellPolicy behavior unchanged.","max_fee_diff_bps":[4.831604213939578e-07,4.83988439603511e-07],"first_trade_native_integer_disagreements":14,"rows":[{"seed":60000,"callbacks":11100,"max_fee_diff_bps":[4.811843198199162e-07,4.77213372984675e-07],"peak_gas":196174,"guard_shifts":0,"native_integer_first_trade_mismatches":1},{"seed":60001,"callbacks":10825,"max_fee_diff_bps":[4.774420702541304e-07,4.7391750246372766e-07],"peak_gas":191689,"guard_shifts":0,"native_integer_first_trade_mismatches":4},{"seed":60002,"callbacks":11984,"max_fee_diff_bps":[4.770661123087994e-07,4.7322225998902567e-07],"peak_gas":195675,"guard_shifts":0,"native_integer_first_trade_mismatches":0},{"seed":60003,"callbacks":12003,"max_fee_diff_bps":[4.829896465413652e-07,4.703753012091916e-07],"peak_gas":191264,"guard_shifts":0,"native_integer_first_trade_mismatches":1},{"seed":60004,"callbacks":12346,"max_fee_diff_bps":[4.783208638198255e-07,4.83988439603511e-07],"peak_gas":195786,"guard_shifts":0,"native_integer_first_trade_mismatches":3},{"seed":60005,"callbacks":12378,"max_fee_diff_bps":[4.793924111845538e-07,4.789107305169793e-07],"peak_gas":187687,"guard_shifts":0,"native_integer_first_trade_mismatches":2},{"seed":60006,"callbacks":10768,"max_fee_diff_bps":[4.794008592878818e-07,4.7401171963251665e-07],"peak_gas":212875,"guard_shifts":0,"native_integer_first_trade_mismatches":2},{"seed":60007,"callbacks":9150,"max_fee_diff_bps":[4.831604213939578e-07,4.816184517170141e-07],"peak_gas":213463,"guard_shifts":0,"native_integer_first_trade_mismatches":1}]},"first_collision":{"n":5022,"t":4596,"vals":[false,91353623961452960,9557781723314565120,4596,97982959665758257152,10205856236749973356544],"prev":[98074313289719709696,10196349752110080851968],"fees":[0.000102212275001774,0.005367049061030474],"float_hit":false,"integer_hit":true,"chance":0.0009765625,"paid_float":9.557781723314566,"paid_hex":"0x1.31d9590e7e29ap+3","reserve_floats":[97.98295966575826,10205.856236749973],"m":4.648653227090918,"v":3.43625055594538e-07,"candidates":[{"n":5226245200416,"value":9.557781723312734,"hex":"0x1.31d9590e7de93p+3","same_float":false,"handed":9557781723312734208,"same_handed":false},{"n":5226245200417,"value":9.557781723314564,"hex":"0x1.31d9590e7e299p+3","same_float":false,"handed":9557781723314565120,"same_handed":true},{"n":5226245200418,"value":9.557781723316392,"hex":"0x1.31d9590e7e69ep+3","same_float":false,"handed":9557781723316391936,"same_handed":false}],"explanation":"Distinct neighboring doubles can produce the same WAD integer after multiplication by 1e18. Native float equality in TellPolicy rejects this retail trade; the required integer forward-conversion test accepts it."},"bundle_format":"zlib+base64 of a UTF-8 JSON mapping relative scratch paths to file contents; includes decoded-table blob, offline diagnostic scripts, and reproduction notes, not runtime dependencies.","bundle_zb64":"eNrtvQtz4sqyJvpXOD0x1/aC5eJlI7qPd0SWXggQSDxs5O4OjxBSIR4SlgCBz93//WYK/OrVe/aeuXEn7kycPmcZJJWyqrLy8X0pUfs/vmzcJNwerzfHL1+/hOtNnGwL6TEtLdI4Kq3d7by0Ddf+jyhI4nVhg8ercFo4t7Pw8Ed0PtgcE3+//hFZd3T68ukpCFf+09PVdeKn8WrvX15dY1d+tP0RofxrEnUdRqmfbC/LpXSbXFrswl2vL66u3kQm/mYVem61tPVXq028Oo/C37t09DqKVezOfkSjO/q8fBfEsMnTOpxd00xyqV488+/oqudGs3Dmbv3r6XHr0+kLGqY7e6Lj9JLauquVn9xdlA8XxYtK5eKPahlPrtw0LcirOPVnX39EhZkfFJ6ewijcPj1dpv4qKKW+P7uiSwU6vKbDO/rz7XQ4d2dxdneezfUIP60YZ3i8HJX+4yKNg+3F10rp4nl98fU8j1k+utnT8/o8jb9fnUShqu9OGr9W783L97PY5/Zp6q7cyPMvT7MoVcp//FGtn9u4s1ly99Z6hiqOj68NqbOScNO7Wvn073xPdFc+fdn47vL1u58kd9/L16Xy9c/TiSxO0u1dL4781+mGwTa9K581RX28amlVwjVMT5rChXDvcsVf0/LO/QO1uipOLy6uF3EYXYbR9nJ/db2Nz8tTq5YupqG4uCoEcVLYF8KokEsjYYm/fZ/c2k9TV/hPec/nKb7poEQn8r7pTz7r6k0+Z5ITBoWVH12iuKt/u7utf03cMPULg11E3qAmSZxcXl5M3Rl1uEuii5PcqEQ3XL2tf66utZtP6HRUehscusVutb3Gfp92aE+vo0dhhe1us/Jp2rlCzrPGa9/Dr2GxVv35cfohTR89qFbN+yVFk0GeFP2Hm4izlt2TWnJVXEi1husH9cZFKVdupVz+o+JXpKvS+ej1+Orq2/Tug+le56JPUj+a9HUwLX06dO++7xmJeF8i9+e3T9P7y/XX4cfR0zZxZ/5pCtPdseQeSu6xtC0dSsfSH/NwNvOj06Ro2e++UxMauHv4MAv3eD7Y5ocfL52v/PyLWrzq1J1Ob1AtuT3h3E9DXaMRXldKtJBo7/urD4b3cdZvA/9lzCeDyN3FnaaX7vfwZz73P6f47QoHU/+0kpXTyNACqUO87epvbyZER18/ONss9La5Zd+d7W97t0UvjnAc3vbOLZ0jzrSENz5NN+kdCXgzz3xIH2XjeEqnj6tfh3QOBMW7ynt0+x9Y+1zXKUX7Aqm68meA4ZrcOm/5b3fXzWbjF1so/FNzSeIMlx9l01kKs3QhcSPhX96SEZfor5Sbind3CtuXeYT+lm7dBFWFvnxNfzB++jPh370mnOtkF+UtSx6N5L8U0m2cYCQpUJIoeDGGgbQgdm4yK5yCXCELt/N4h5OLCv4BtU8a8j28C01640dosd6RhvEaFL1TrD6JvfROEemGOsNJnZb1LXnkkWrqeku6jZLy4Snw/adZGAT5mnq0dCWKLk8UxbxToMmH9/TW3elL6WQ23sl8cN3QVmbpR0X8mavmPJD02t3Q6C/x+9U3ykDXs916Q4dpKcYrlKNOAOLpHM/yNFW6yDDjftsk5G5vt6W5mFKw2qXzu1Gy87GXL6Uv2MYXfvJ0tp//HYBI/pn4wX8Ckv8tAcnpCHW3fcpcNP/3FhucwK/nIncb7n1cuRSt0Jv7/4lo/o9GNO9m4f5qE/9E9P8ZiOhs7vNwW3q6+wXeiCScfUA3hG1y08LGd+eQeB2mT24yzVvRYL5Xfp4+q+fP+vnz5mfpj8/6PR+/LcCr2W7/9nEYW7qOeXb2YaT/dkdD+Pp7dz1Dlo0bzkpTH7Xrl9xge3f5OrrPg/hefhvnFXWO8yj4K/SUy9dZ/NK+8jaffLxPmIjfdJFEl3m3FO9Qv3SdVHhHgPK1zTSMcsyYj+yq9MtpHOnV1Z83VbrVm1MMzW+uXJeq13/8cbnx/ySBJweNk1D8bsW+/ebc3cpdT2duIbf8r5ekvtJJ/tX/Wlj8u7HRRP65M/5iTf8Jsv8TZP//BGSfQ9ArsA1CtKKTD3xEEd5fQ9X/F/D8M7z+n4fpe997wjF6yxNC/5H/XytezQpWEk/9a8TWF2khTCGZFrYxYmI/ORb2p+WJg/O3NO/4WrwULv3DBk+hOd0V8ogehP4KjaaA2i1s/CQHV4V96J7x/PWPaEfQp0AhES//t+tC6iWkNuZHe9T8fyO73M79AkLtPzGUITaKyJjieHv1FYWg6USFj5N4H/dfBodGln8/TfKNBoiXcFMq5ISEqMnbeRThHUpvxCPnBDiKJy9eb/xtuA1RKk2BjpGLJK9EYYhYe4bcST6f/xEhJUk81Ei+eMROMDzvMcWc2EDOA/Dqr/fRebwvxUv/sfxa+I8fXyg6EcP58rWw/3vuz8vSyaW96yfiJYjIU4SR5yCGDOM63Ppr/Pz7SdT3H1+GeAlN50ga+vHlJwn/JBibYWPyx7uTBl7n94Q2Gs3QMS7xBsT96CTCpztQ5nnkP76U8CiNd4nnp2dhaYniUYHO+9ttGIn8AoqIN2j74Qvq53TsR+505c/oiMyTJGEoyVtXy+W/0zHajTH42ADVf+8naUhr+vVHXvTGG849fvqH/e22m912mMeW0w3U6x8fP7/nEhGOo1XNDAw82xDtN0lP86JLr0TuOp4uUA4q8O/4r5Rr6ml/Gsrdjy/la+m6Wv/xBVfQ39PC77bfT1rO1wVv++tKfDhzOiKr+4IRGsMhivhMPL7vPy2/v8f2vxn2z9f1p5S4vM6jTErx9vLHl9yn8fPqJ4KjfKBr7OYj2Xulp3gap3T48aVQxC+VCn75o0BE9R/wwMKZCP6IKDTj3X9lgL9MJx//q25Ps39T8FWpcKKKT5iRnk68h0Ihys0dO+fj5MPXn90LMR2ZEIogSJIlcSRySdi3S+GpXCp8/0n/nXJgWCokuSqj3dqnZcjj7Ql+I0ijO2ghigWKqgmp7BPRw66Q62Bf2GJK4eUfUsL3lm8JOfle+do8QZ08dZ9V9jtaWMizXeGNE3qzk3puPmiHpIiYpPxCzd4I2tWHUdzdFSqvPafnnk/p5HQWLYcuhGkhQplEoHOYPndTd7tNUFpKwl7pIUr8SgN6y2G4yp+oYy6QRvdvdzTvys+v796aL1Kh+Dagc2siuLhmV4V/R6v7Ssv3Kj0kG0umNOzvSa7PfA1z86Bxf2/+xOWNT0HunA7I0XPKTMtLQ39P1HTpbCg/vpzy++vFp3B2oMvY+Wt4+fEFu376RSqNJpdK116TIaKEXR4q0936Mp/0+1hPN7yJxMVxw9XT78Za+PNzD+em/0onrwqhFSSlfOiQFgcT81MeDnJTe9oeEOR4q6cq0eA8pZyDZPQ6HrzprLr8FFEGOpUvLSb6nFmRpXyMxNjazVVIqPn3ramN70avk8gbsbcO/9L+75io/oJyYoQ+hXfQFJd+ybq1PCxkp6iAAMiLV6uQwvanEuV7eTJHBP+4OvlPy5Hf/kk18ttZ3FvtMbl7D2uvaO+zLb6XGomG3iXfL+jzKacFFz+/CRTs3lX+xPOIddOLn4g0vp0IKg1jt0Io+f0Cx+knCFPzu06Nrr5F5bsEEfos57d/5IJYzkQpFZyLme+0ISLT+h6V/6yUojL+f/HkzPu76A+6ieX3E3J/u/XVb3OQHt1FxPJ2/t2+hEngbn9NqeCqlLrr87Du9nd3OdNGCjtDRJ9H03OBI2/11/N3pA7ijjij6k/SER6/D+Di5937wTe8hN6DucslRIDXLpQwRYzibQuRH4r5FCkrBqRZvENkktI8Cpsknu08P4ekNITCAyiFMxgvnDDsGkNnmJMhkoqZrkAjuy70cl5QyGdW8J937gohE6nwvUCLkZayXoriMd6eHLyQU4xveY8J3hYmOVk79YjLkCEk+xOhxRl9oCFRIcXz/A3KCbfXFz+iDxzijUC82f1fuUMpJNK1vav+jkS8Xzz5D5XAn9fp06mE/JFFKPmZgluwzWGlMF3F08Klt5uGXoH/maJ+MJGgfaKnJ4GLeJHohNiuvWWEmt8i6XheF7YECdHzkXm4hfaw30MtuJiXEDavsKtToz2iPjc6FejTa4w0OaN4JQe1wp9G4dMAC/9OY6FSTOH/Lpy+3tb/Vvj3V3rwN4Rc2xl5erGAYABviKPV8foX1kAPMV5JA0Zeb0u4IvVv628tTvdiwIo2RAFGoA8pT12UvYtS4aKS5n/z79X8e9W7+EkNf0RUHURhYXq5xIiN/RxecchpEL9oMW9ayF0J2yIj3CCfoqh5wCBNn7kUyh91jI0JqRdhDhmRt9qh/7xNjXog2BBtrjG7J4l7fB1AbrR48+Hz1cP7lYgYH/a1zfs5yeKn1ojx4/Ty04jyVpWrMyKgYLJ+L0B8aPD1ExDYfl//RBCAH7g0n5BD3tv3r6XCmhjN5aHwt7u89VXh/6Kj93vOPebcNB8cZSP8iOKIhnm5/f71z8qpk8rXn1cnaHySfhaKl0uFr9RN+br87ZfzJJcuVa7L71P7UFuplHANPoybR/9ERfjf7FVN/11V5Q1/0YhbuDtPfPYTr5NCvhWm7ydzjZwu5F8/340Kdwt/KyDi4tFZtcVct3+eVcvw+h+vav/LvdPf3PtLvweSMX2T8csYyHp49AaKqZ6Vt/safXATb+UiG59drjDRzxHDU2BMwjh5VcX5xu+r+Cf2U8cuMOptL9+a4Ynv8zC/9i4UM3fqX1JoeBVDEPK8otQASXCw3n5UN9rPKkb0VIjfzxHzO8WG6x2mam/5RDji8uLfL7BXvL+URx8EKOg+Menn3BjFeCky4/eW5LaniexP4s/1QLr/+9f6TwLx0wuKsxff8rHW36xvXSpEGEbxb1YqZEh65viVADPO4YLzVovzi7N9UXjKtUOX/uuMXxT+KzZ9tb6o+nrTBbnFt8JDtfv5hnl+Q/XNq6efbjiHF/eE1n++u8fTuznTSD9pFalO5OF/y7cBv42W/i2JXSIXZoXb+nX5A6HKx9Oi8VxGSR74rj5Y1tL7F27z/npb+i/ctjzfRi5A6qelqb1j1ndppIlXPHT5PtESTgr/w+/L9GN8RP5RKvyjdp+JK0n+qEUvymNdgkaOs8I/y/dr8jmg5+H8wzLiPVevwZ0wLSWVS+r1NAJyXOk1xr3O5juOkYLf+/di4VIuXX0y2ZgUkjM6ci+cUlx6P7z65LQ5SiQd3p3suPdwR0b8UL4jO27dnergcxQyvBuWyB7v8L9SQeN3ARo8DeMu18W7Z7+CjUvrc0b9AEQK2ncM4RhZ90j3D0Sd8C+ipasCwjYCYYRt0d9nlGzP4YculT+l0VMB7aOZb//h8pUK8i8raH2/oIFf/PzkDDgIlFnFFcTrGr8g/VbyvEg6LZ+MjHSJl1ERFz8/eAonTzlhiteQiemrRJJ6DxcUjCt0uExQm7k95P54vvoxAXHv94Ly0b1K8T5JoUsfReCIUTCt6UUeuWq/JvL0912cpzbEAb31lH7q6UOLjx3SP+1k6D6yMKSWF6j1NPFKYVJaeH/+bRkuEIFxWgn8wIXh3ofbSa9f//vSfhX1OzGEL8/+fsId4Rrv1UqEI36xfGz6brPb+Ol5/SkbWVSoe89Rp5MZAZ+/Lh1qisyhTF9zw2ldnI3SprII6upr4fvJk9JTSSolWzxpEREN3fr1VQQeotCvr1ZDh9WLr59tDk+ibX59tdGPJYCLFj10OV1r5bfTLW/97z+UxF7F/fz7Bw9yBTo3XX0JN5eEp0sfHfqjrwDOTUP3yL6fCgsIG+jLz7/Uhf8LxqUlUo8gzctuGeVb3/8MQiBHHYgLT3//KuQkaBMjqiisQ3rpAnHP9+XP7+HP74ufuQQ86D38WfkTzxBG/HPxIa/Y3y+AEj3O7+fJrk4kHEqFW6od5ikWIQC2479rxz+1+2RI9smMQnqBKCLG/EQOd/H0tHbD6Onp4hUludlvHk/g+iTTi/eHFGffzYtIbvaxmnzGHldfz5JOTIh41Yl1XeLps4B3Lnqya7rya42GSrf5Q6ycYb5SNCSW43FlZNqmZtu6ABgbALahcBjroXFwrGaR3byw1GIqkxqsarGQFQPWsNiesS5rWqzC2JQ1GaszFrHinjUYe2EsYEWG/wCAA6DIDFSUDVxAC0CAbEMHIAUFoA9cBQ3gEXidTh5ByajlEgwDYgBdh1gtD9RWK1TDrdzvtMFbjYcPj+0BrFnoyJ0ANo/H531nv3yehVuz25O2xZG6t0QKeibXQRX4p5vBXPS5OR5WZaVsNKXl7Di5aU+8deP4KNpSFvXkUHS4ugmHy1YnXj4bw9TsymLff6llsPJUWdy/8BloJrg9vnf0Z9uz5YFhctl0HoeG2Z6ZKy902u3bNLofLmodo77pDpNyZ5Nua6MZ4yaoA3ho8PFY3+fTVVs61NXtoW0a7fFiKw+iduCtZsfptr2qR8fQq3Y6Rqwe1+2OvXxeDzdmp5qmW7nZtqap3LJHguum9mKPX/imrBsQLHh53FZAqOm8Xm9b9ZUlB2oHjOejvO2bjqT62YPGI7VlzXGplaUzOMx1XTcdwedDHRfLmYdtXAt4ng/qmpmOHwe2p1nmGEBeahquFUCgRKKv2Y22svIsRdQB2l5/IDxcqbhlCt/iR6m1ztwDzwAs27/Ftcd1tCbQKCsKGhlfOtiF0uOOKqN57OF5LE8zY8v9VG4Ik8aloAkCaLZcsdU1VIT8AFYLbQfW2cQEG2Brt15gYMsbu3cPt9gBKI8wNdDWlGd4HPMVdE0IhPxM8rSyssrQ/FqCH0CvgC0U7O9A41KzXkjyZkJ9wU85E3oIkYlyZAkCtD68G0KSp2zBMfgqw3H1y9wleTwoBkJPWNGAm0xRqXEROGcor22rW7LnF9Z8AYPkyCr0Y04DZc0pS8hD0F8MuolLkO7L+KUOslDK7GBDYy+ZkP/jPfqbMckAC10ukBSwGuhXSpNJXfpsMBwL20tyfl5QaxyKDe//rNwP83+MSfC/5p/CWPaPr/bI/kxn4s3DZ61sPyZ8MdWw/cM85GR/4eAhU8vpwwPXdurRuUc9dDR1jPanBIpctsws66qhass22h/Y1gDQ/vpmqwKPntyOtZFwOmR/W3Bz+/NtK4XqUjkKe8sXMXYh33LHQ/uT1xAJWQFzxWVQVBsV16krCq1zL+V9XEmIMmUJ/T4tnpVZLumWZS0DHjK5CZ0XCE0MY3ALEtkN9uqjnQm1CbepHGUmLYeyFWQvqezZqgnrpdzK0G5prbL2muQ9CsWHYco30E7AHaM8/gLMofXfwG2Nte32BjqxvKB17Qhu0L294LYFnQcW2nLfhhrJ06AVkN6bWbnPTCFv9nUX7qe4/rwMisD5Kt1GX6jqvqGAPkW5ZLYxHPeox5ahu6xswkPCPBt6JKdsNV1ar0NQkaAzZYNM6bNKvrBj6O9JbgC9hLUyJWYHA+0d7csaneywHzHZVqosi6EYSFZuzWe7kDPllmUendfAyu24SHaMn0eWCWgGaP9WwDq5HXsnu+UOSEwaQj9hmuAWybnZS7QsIAVSGyxMUraSsirZBIzOpobyawz7xf7GcLBofAkb5/YnOfpBzHRvORkMFjcU/4JBuD3ZX59rgTQUAy/UEofi3732QPFPyZS66GVzZS0zYVYo/nWz3oTin7HUmfAyHop2N1vLqGxoiEVufyN7FENzqVbtURekPHgceL9M9hfBQlVk21IgFuqC4lW/rgzJ/tqZPLHbe5jXlVvb2JJOW5k5pM9YaAbsBI+hW4ONoeSqlVKKWzW8yB9sYwWpI5sC5RiOfKSYgMm1K9odQLufCbQ7lNOw2zHZ3yjrO5iZZdfWfFiTXygpxmCKpx02cuTmvuHDPoZ7iss9hx9Jj/2xOts31jAasQi0PP4xyre0YsyNIWpI80zfs6NKfuFBL2rg+MqaGVSr9sOUqWjcATZXYwzVKg395h56HnNM3glYl+Qc980lrfPY7jXYArjBmiGYZM/gkz2gXJ+VMX5aUh36E3bc47jMCWP0qXhQDyQf+lOGueMUzAXk9nIbSH2wFKYIjKO3Cdnf8IxXlmRfeqasGEIZi+xPzk7xtDdhulBcdhyTHbZJzgpDMo2vZSs7dljCDdltPyA550Cr1MnuitYpfmt58LMYASHoSxP1IExds50xF0eyv+FgblIbwe1bzRyPrfngUesYaH/8qPE62d+Dcg/9mqgelaTcv8/zb7k/ysj+zFY/C4a8Vm49Zv6S4l8A3pAmjKb6zGWhoh1OecshZQ+5mceDI8Iw2UBnhmNZ2dhofwZOkuxGMeRH0cHrY1kVZpPsmNvmjuzGE90iOLa8EN0QNUtyhhDm9tyBkZBvQa8iZpI5xb8O5vXc/jI5EloHhCkn0M7t2be796d4Ci8wt8meH+GB5HAdlmR/eH4/hkS0FmCp/IHspKPyHa1He8QMu5WxF5svMp6vUdOGPG/eCmXAGgauTxHxJWVZvjitPL9nqzKYrHkP3RGGTjpXxvyLy9UxEFA2Feh3GcanDa1rndaN4sFe2mG8RZPFONWsnXCtRXaDvWK8o+Wk9W3Zp9CYxyuMOyAw3qEdYfyZk7ziOf8yi/L1yykuHcQpTp0NJs/XNsVDG6o0Lmtxzt8qyc1ngThgQp/ye17np/toXCOy59o5/76eh7dPlMPngnC1Y8xFqsuZoxzmoa7WndkgHOm9+kQeiETn6bg3sKearo67fHDUzOV4y3uaWjaHq3lvpU2l+5QPpsrI6E3tsqQ8qr0B1GYKalADFimHsQXi2JCF0ZNgwvhM0tqAvjhydJG5NW5LWiSGRd619VCsHV415IHd4bDGoJh1WrBcylXRceAlU49iuONyrM4yuwIYH5aZ3gBvzG+E+gjHWEH+MoYsUyzK8zeGItlcgUGZb2zdIXtUhJFAtJQPGX6inVt2T4Ybm9etog62yeegP8PAkG3RfoDIkVc22v1CUjTAeDsEqIJyA0qZJ0J/gJnBm6AeYV2Xl1mnCgnSAMA8V8d4g/kOoSOSFx0hicfrtpqBMGTd7o9ha6CdNUbIRzAVIywfevwBtCVMBd/bGs7Xk1NbvWHbBcax4hyUmIsMdAgysG1tDq7JW8KowGLZGbL0GUFisw16GTA81IWiozHwG0BI4sVIdZxbXh3LmlVNoScQBxGkGIOwlTW0DXi2MdoYZX0gRk22mbAAXQhUCUwbg2qrDNMMo4dR5zcB2/B5WauwehdUDGE2Qlw1hQNGPVYxwAVlQcdSNm7hOkCNMYcdM8zL7JkdJBwi09mB8AiXWVZv7YV1ZKzGdFAmLMvQD05kUbMxz7yYIKGN8h76eIb2i/+4Tf4TMZ4RjjCguZds0AJMBZMy6pXwg0E4gYsTzsD4+wjmgk2E0mPbDONWS8rxxJ7wwYIpmL8xH0GFSUWEWmzGKqi3qZT3h+ORqF2/wdRMMdkL8s+gmUE3VXAd+xA0aDw3JK9I8d+aMt1WInbEuI+gvthcSLk/Eg7PFInGe8LrUxr/lh1UxHmyS/mheAgetaYz2fPZg66PJzdzv6iPVNc6rKva7XjSHSy4dqyP40F/pvW98ZGbQy32EBhKI7VrDBuDwVSbpqNkMFYUr9x7EAdkVOWeBVu0BO/emJt7dWyat7B/QWbUOYhJzP2l1rTdDR/arUbmPoLvyJYwFb6st8piWpbbpqxjcIUwlZ/BSGFP+GLQ5T1bdcSgyNupuraHEqvYvJzpNZiN+cTulskPjqK7RBytdLJ+E2pL5Sbr+siLeJjpDKYqH2box2ldvs26dRAO4ekWBi02prw89riftXrgj7mG0An5l7wnv5qrykx0NJaVKT/sYVjmlt3qEr7mwqgRTgko/+zGyh7zE2NlSDI09bGNqU1/gemSF+1WEx5wPnY3gNZiZ2btLjuW+VSg3SqCD2x9B5MxH2SdFHwD+d/DRi6/NIpCP7LaEmoC8xr61UjoG5igk9gdpBRCy4KZD6sF4dMl8lSEYsoYMPQMhH5D8WkghgLKE+bD4IWlERtnSoU1Upja6M/DmPcEgp4HSVuI2AV/f6vY3QVjdbQjaQuGhP6uoF0vMeVqC7ivG/JeGnJj0nwA3UY753WqtzRsmIGCqG3M0dYOmMThyCpFGEdsJmSN1Wh8ckS4/EYQbvfUXrbGfOnwzr65AlNhquApGBHzMWWzI0FEvQ622lOFPGMvGY1nSHkO/aUBnYg92nKVij++bfQ1zF+3ltSD/guThVxnVQOOQaMPZqM4EFqNzR2lliHBwLwo25TfYkD8pLKawCwgteBxxHZCXhQ3GUe/W0KXIR/BcVfLmC3qtxBPGgN7NGv444m3v10RNKszKYPeC7sXfMdqBuLH44abVs3n2qrmCf6yZxL58e0e+QbirA4CLYYhoxvcbGCc3EzEFPOwg9F5nuigOqu5qOnW0snmc6EdvMl6Hmh6d0l5UNKhPsYcdqO1zdFsMCyqm2z0MvduNVa+Z9ipZnj394eRhXnPZHZlrqRSL8yKXKmODTtLHuSd3Q+y21ulZ/Tr9v2cb4S2yjAPjoRWzgZ9GUH6BMQLF6regnDKhSSPRdcnfoigQoVbR0Uq4UPFUMbZwOaIt9fZsI/8EAzoOugPcl90VZg68i5DUQdb2YDFoTFWMKgij8z4OmtxCFJes9UQlqYcZt0m5lXlIes1AOPgs81X4KjcF/qIgj7GOQVWQl7a3R0sHWUkzDo7xLxN8W9YxzyJeQjzbtNWA8qnO7QDaKpyz2p0kGcgdGy1EBJx5BE2TMvYr1aEZSb3s56HcUGtMWmMuBHKtrKHPlKMTJuCb3Ipa+1hFcsju//clIQ8CNgKWjFgHF9DL8a8pMkwGMtr0apxruq+eNgz08TrfEihys0wVffryGO0AEamHOF8ebEO1eDZgfsA4zRYhONxKIhOMhhkrR2lEDPDfNRNDSnYPzLWLdpUV0G9LGyErIrBqwDPfDJuTWwjLMqO+rKvetCOmtUcvyFPpryrlvljpvp8XSt69mDCcKmG++aBalhNHCXDFNynuD9Y8igLB9CZNB8z7ZlVYkxdxRt2uwSB+Z7dYJxjTQ08xD1WsQ2dBvEQzFcGzgvmrKFClRUzdiNAEu0K4h30dyki/qzYiseKFsN8PGW1pCiLbrmYlhGG1W6onlTcM8w/MSR7aQ6jfXNvt4/FamaIPabZmYTUQAnZYUz1pyIrZ9C0GlPYKk0TpnOpYfJbsHcM/Rjxb4XyMVB+vI2RNdRvwJ1i0n0IQCSNta2iXqITHqbCh8B4UbchCppjGAbNKJN96HRZ/xBstcVyUuVBT2vCJDvMuC5LTpeLMeJOZzKYD3V1OdLnvYmajcecD3taZzl+HFiBysaj0WEw07R4LAZDrrRU0xFZUbGhl4hDW+nUcYVrqfLg9Kai1lSm0FtkkzK/F0hSH5E8mIh7/JCPHfx013wLemJPY74B2bHb6PYSFevWxGs2dm+BOFGZ2f0+4kZVywYYR1IUZQxgn/H7rNum+lFqox8iYmsJqwWNTHm0cVaY9xqiNURyyzsZ0sVVhvmqs4fUkxPR7wC6QlEoE2qXZi0HkLIVM/UZeQ/6X6cJz6Yyt/svwE3Mi3oAE4cHoqWR/1UztUfGHEHHhBtTeRT8GSMs5kdtAvc4LtAX4Kq8YqsDiA05yfohIG7pEjXjdSRXLQlUk1uZVgGEBlVbvYd9XamASewOXmwlhL4HDPCTC26Bdk/xIc7UFcYh5cFqYk6W+NhWfOSdCNEV5NMYV7MTntVhEHN9xNZkl7j0oZC71OUSsF0fSZqt7yEwlEAMJORbzSoFd0PAyMZb9ZRw0g76ZYwPOP6srjpWcwr3LWZnyOtuVKoPBaDF4AiEKpqBeuuuoIzjCG7LxP+7gjuEt8J9sUh5bY2uAioGN2HZ5I/rQBqR33QphfYidm/LEuICVBEvglAVxGs+OzjoN5gG+lOGPHBH9a8y8bdWhHCk78M+Ib/bUT5pUpJB/0CUrVNd7BmUEYs90n/O85DrIg6cYHveYA0PVladgRs0OpmRssW0yPaSSnyR5XWCFuIGdG1c+XvEnDQIFTBuQ17nRf5n0ikTOshfBYQYH3gXkzusreI8r0cQTzx/WpQHI+TJcsJqNgQB4guQoD0XVZ3XnQ4n/rd07MN8Rvzveb6Ya5UMz5uxeohH7YN5o5btUZ13HtQ0HUa8s1KZMWxCOlX69S6D/VEuGpi0XjylnZlmVrmVb0zTy4aca6nqi2GLdwy1n40OcBDqEqwj5zYaOdrJ85LXBcZhz+BCdB4hc1Qmxi8QZeoQVBW2Y1jbWor8TS0KO4HA44dMiaGI+A20AfQdLoFyD07C2hn6RxTLfoZ+O83kIhXli62mC+oB/QLxJsrzHIxjLR1mS/6QtXAxHfQfqIA3ZZsMed1oyb1MbQOu2w3GEoRCPMeTmLpkW1uDjnEyU2/JSJEHbamuinnRh0cL8Qiu+yOui8D1ljNuU/22o7CpQJzcfWHdDHFPI4ajkBGNYxxmrA8wYkuLGQx5U2OPIbRvETRqE+5E/n4gu0Jer1NdU86P8b4AQ7KZ15fUU10f81WW22mb4m6PeNRBQF50yO2A6qsTxGfKnnD0ijU9wk9vpQObeIpH9SmTeAqCXYns/sNzA36uY+R8pkF1XOJR84WlvUiOehAtXfYetfl8qjdNpzd3j1RPbXKjojbHw9YAM7ep9h9Ec6ts1IHLPU9plEfo2I/yTWrWxc6Rj4Y1OMhb5eD1pexhrQ6y7tgeYTDzlDkMkfTaimt3b2CVKs3scQhOrPKsrcEglV8yBAnuWLYye8q1WG2JrsZ3qRIia+MaxquczApMMMoRNirikMEjdCUqUsqwQwhlqx74kjy3kZfcpzIu4xKqqswzdQwBlR5wKScm3Nsa1VN5i55jgSc3BEJR30GyjPERQXRfqIjjU+QlnWe6PtsXLfRgxN+8D5QabPmI9ovQo41BLuU3lrSHWbdZo/hUN6EMEGII5K2MGygHMN5rzPXUxh6Tp1qnurUHDyYkQu+yIrk65vFht+gK5JUNxPHo1OyAU6WS/FJBPi1vCY9zqoe/jGEfSGXygohJCVunyJORSiAVQl5sgNliY6pP3bZYD/MLYxOmZXJKIcUg+Rhvi0GjTc+x/OAmJn7btKQF8eTdHnkBSl2Aes/mJqRCzk0P7eWWeD4906HnYGvWfAQV+cJeOpI9judhXSciyOe+3jIn7UM40ZT4Qcx3irZbOj43p2plOZJ4v4Okc5IN3K3ueM69OKR6qz5swLahBGZnCdtA0ZftA4ImqlhkA2uHIKu3F0MPbsra0sY4ZIKmieCWL1X9xjY83hTqIdM6cIPxBboH2KqYFLVbSFT5xbYdQLJWBN0B7sizDM/fx7h4xj3VpZpCG0G1jEhSl5Bu8g7yHPAyEOT3c1P2wESeOJb3QmcsjfmtQBPWDY4kcYe8SrYpvzOTz/bSjrdbVBrB+JJCNUPTG2U8QDJGeHgtlBXCLOZnSAEx5JVtMk3gCT03XyL/tpo+Kxv0yAoj/oJpiN/IzhD3od8ihQukKSvumy9Bc86ODWYjj2W1DAKAe1gKsAUPiMfXLFw/xUP7QpyK+eEReSKCNvRzxKGY7xBSjvP8FrAAOqxp2mbKHjzkcYjrqhQXeYee83Rt2WKegcYSNLlTKzaYdABzz6qBNKG6Tgu4iktaAfvGaj4Dz+s6xRob0ZsAmApegkaNKeVWaD3afNsoYlx7YYcMKlZRQ74Ke6tZg9FIUm27yMaY9w+e0G6ySXXuZ1qGdjEI13rHc4bz2VTvO5PZoK2pcTYsDjBf1eJhwvWZOqoPXtAR1YUzsmC/lDfj7krs9vLSMBO7qioztcdgqSlTp/toD7vcUhUVHjDZ2KqeDULeNdR7MXnkUNYmdvcW5h7ixK4O946s2NYz7JC3Ze0pNGK5KloDCExey9QupDbVKZF3CbKjGUSSnNj6DFyPP9vaHmxPrkFrDXZZrmQ6h7kjd4Uuwb2KOA7zzb2D/AJ5OUJXSXQxMI7ljt2qUV1PtTUOvgFjUKcw8TB+II5bp7xBdYauyWOhIFUswx6XHPwxmna7heQRcRufwWOLIc9pgT6GFeISMFWElMgHZ3nJdEhxBjLuUtyQgiZDO0bkoaaUD8v75ga0KdXJeqe6HEEjZC9kt/X8UeMtK3uEi56h12IDjKOs7kDZul1DJ2C3QdOATothuxraITwSnhkoTIiWxxY4L4o/1SXUgmIX1AkrourYY4pkvjqHxxfsiuyrhXFP7rKaCmPWRBYxLVbt1j1bLCmvlSnfYV6cIPrH/Msx39fBszDu9UeMH4i4SY4yEHOdS07nsKhpR+FYc1HUde9xNZhluuyMe3Pb1TRvbHK7psnLsTYYL7TOeHQ4WL46iO8b896OeIZvVwLFSXuRXR0pTmbGosKVLXJjroyVgdrvCCflc08fgFPloYR0dBrxldCP2f2Cj00MHm6FOym9gbKGjSdv7S4GU0PuZh0LQhVXwLznA0mzs/sqvYeww/hDdeit0JFnxkqaWY8g1ZVJ1pMhI1zd8givzG3ERY91jMDtKqyQ/4vuAOOUIuy+DEeHDzMMIXaZD0RrA27KjayNcXCMcbCzha1N/OKF+ICUKSuwJJjarREgX0T+v4CVIz/aCAE3JsZDPsnzUqbUQTX4g031b4nzzHiGRSyrdnsG6ymt2wbaMSzO9fT7TCuC6yD/aLXBlhRFdDHptJptuzVG3I7+oUTADeQfOuErjI/dCLp1rlg3CsTT4jxD1teyiX/kIUYnfDfwkE/ZoTwyeRpUkf1JkACmfHkJG5vqdAIhgd5E/ei63VmwjUchXKI6Xg8XDFoG2X8ImIwxTlV45CgbQJxfTFggwKfUUEETJrub2ehNY0wVMO1wD+2f3fagO6X6ts0OKdzSa1Av9AaUFjI21rtZ90B+UaY6NuI1Oa87m8SUDfZCvKZZ5yOPI78W7GASz9GJpyB+ez7XtTxStSmmRQgY1b2l/DlPjuPGdN0BM2ITUGYsWsrj/HlQdKqjn9oVCUdifPboOWd1X8dBB0UWSJ28jg4nOfn7Jz3GDHR+th0rHVAVmsXpOeYLyatSXaG2lxJcEobkzitGSbGd95PXvXleB7fpubtDz+f75PcJ4SHEs81B0NYyx9lyLya+Pz14Ha2ZOk30cN1xHkwepdoRxnVu3agY07bcqqlSdj86OAt1Lg2NubrQjtlwwO2F8ij1kHd0FTD6+6ysy0y0Z8jF1aEzXAtkYs2s18mmz/TcKRIOYrS6Htm+LBum+iBGS1xs4wX6Ve6q8szueMTnd4gjIanzntDmcOspa/GwgpqpD8WkCXKK9kr1b5tvQH+EpaQ27U5Az6FSYQXoZ8pSoP2bwGNb34DtyBPRRTxZlquZsQVJlXv2QINbm4+p3oO8w7cRKQ1M2aX8ETnyc9ZpwEaSt5lRZ406veKUANrFPfGcGc7BbqewjOWY3g/Y23JdaEMqjWYYfykpjwD9CSFROVPXIDyS8wCLUYMJ/ghtid40KhJPuQfdInm3Qk0oPixFF4PvGHEe8pNOgxVt8qs6n2faEEaGnNk6yi3zVdYdFVOQG9YNo0f7R1B8qn8L0CowinkvGz/KndbNs0hYcWHT06c2lSp8AUN63nafqQ14MLRV5g15r1VrgCFTfGlYUoVeF5xkiHOmS5iJzpF5pr7el3dcj4oc9BlrqlAOpDXVC0SmjMA0MLkNbrm85MP9zRzMEesA5qUqot2gOKc8gqC8hohfHYtwy5p1WGIkArOGfoSQSCEnln2qe22QN0BaVxFqzen51nGP/XT3iK9klXgS8rgbdohYR0xWyj5//rMnf6KHD/Tca7EvqtDvFnfEnoop5n+jBX3GlPPzJRDyTV73I9e6rxXbIL+w6QvGDeR/6G8YNxT2IpFrT+khNXZ9W5wb5jGob8Eeg2RhPkO/7YK8YzcOPAY3K9jVmlvhao3WmB/ovUt634DiBvar2oj7MN5YxB+6o6aWIXlDXtjhc8TfYycYzHVdtZ39fP6sDyj/LQ5aVXq8nfuYF+3xkQ98qn9P+RABVX1U5OpQe3TGEb/X1I16P+K2i0ZvTux6ouzj3j1U50q9POjaVVyZpVmeKzcIovoHe+LyqKx17OmRP9q6ayONunH0pj2OZOR5qh1yvijLqOw6PU99yMxnqIyRVE3akKXoHK0RJjO5CoMI14srdneJcR55GOazJdIcu7+gdzQjzB8IgpQHuxVS/Sui+ren8pHAJLHPeFl02ujXiiPQbzIL47lm0vOfR3pOhXkyytQA8RP208lgjcES2mXEWfQqxQKCFB6EJmAWE54bUf17ZeP63iAY3uP6uBI0M8xX1hJxlnpEXMY1aNdgrcoV0alhvoQHqq/3yuBnygwsgL6tK+DZ3BPGit7zGQrMD8su4pXWHuM/gmsE4z2cPb1vdp/xCr232Ezl1KomcNNoBnbLZTeYggRqGf2nB60p1RMRR/Z4D1Rv7ypwnCATY3ldW9gyQm5Bz8fqEE2llv2wYu1Ur7PaiG1rxXLADvQ8c4n4C/keV4E/8uZS87O2Whw78ihAZAmNYmPPHMpXoY2pwTJ4apVTzFnFCj0MStH4yT/9FvnHA9l7IDji1CXOY7WHVlCMMhn5B/JqRo9gDXDQiwifvdiyyY57ViO8adLzKyVgZQfaFCpvAV4sds9qBumjKSNrPlqYf6i+RXwEZ2livmY1JA30HD0Qsoyi6L0czHc9yoNIOiLEF8VnxMvsZo/xzawVq6Dmz2czG9ieHdkLzp+eY4ULKchGCRvXmtNskhX39B4ZvU8WIe7F/nB9YnpfrrZobOzuC6s2mmuh5u9bMIvqeRbTM35gUgwevarnN4oJcJwXru/BUxFvTnYHf6U1s8luQA9nvUmdBzVNKk8Mej9DEyNzbloqM0bSwDqoL+l4Pbc9TVbHEu9VNYjH9nwolG7Z9MVhoPiqGdD7F/qS6nCy4tYR+bw4aOy9JJts0MiRLLg9vkz1MjyGXPL0uv244os6Ost0zhFvon1FIKWyDr0uZI7SyP0kU7gYhrAeqzH0FSSJ3LGNGIQkt+j5T5gqjt1tAC7qODN9qJSVBDQZpsCb0MJ4P6b3hKr03tlj1jkQj360rVt6r8ezEYdNCa8hnvVjrgjjERYS5svOJK+ZZqYHTpnqL01AauiTH0xN8r8OrFT5UWD/zJPnxG+QZAyR6sO9ySf0Psdjxmv0vhDyraLoPsMenThoOjDLwMoQcmM+HQjk5ROHH0AtgzAVNBK0Q/QPGzY4fvS+1gJ4xgeA+co2ZeRXa24sZVWoM7b3+EuA6+xgPqIkgvkPXS6D0RjzJPK2WrcY21rApBTxKfJcA/Ex1SvNOuY35Gv3jqbYHUw9VK+WPeLB6Ccq6BniUaULOHXE+SEophJYxRfKa2PEu8TTMb6viIo9ZphZZQPn2R9BSHVl1qN6gEp5RUKnQgpO7zEsbU7vfch9u7uj0rBOuBGN3bAxKyL/3wXoV9huD0oDYgk5BD1CrFFe6hB/00F2WaUMFfLXeoMNwZpBUCP8eUN5MX9+26Pn3DKn9+kwFT5S/Si2yR/O7zlhuzqTFHrvyss4AkXColRvnCBIpudpjOpGRXq/Qqe6VXHByhbxulrzXrQePr4/nL/v1LcY4s0pq0hUP3gG1yrugvNrdzkOVSHHtX3M05nMWMWBbtB8pvpThwtDl8HRD3OZ3oPqz0VXN5eDdK77qicNnIEaqLE06HNjhkmp08/iufycdopkdInUXorOPb1/kCLUhKSMdmE9YP5B0P1Sg2CMcdF4lp2uFNoPgj07esxSTHAqH1hNxClj2GZqiyUCg+BNHfiSlH0EJ2L9DGLgJsah4gsr1mFFPCOTENfjJ3vBdeN74hW4hFWKazI9bzAJt+vPhLtlW0no9xhFXHxAytvP6P2Z6anei/pt7iWRP68/zMd6O72P51VJC+N+/cASbba0t4duHfE2EjrWM0Kj5Q7sonyzbFkQdRQY99T9saY0TAPJ/453hIw8sA7+2BhRvWMp5CVr9siPnWxExqCvs16XTUVrLbQNkxDfCcypSNZuBY9YUisaoK+ovroQRhFmL0Ub+i49tzmyxg6CpBFkWgxG0FxTSb9GfstXMEKwZdVr3Nw3kXcc2KME98FtkfLuhO2mcNg3heh1i1VJbVvNhNXpvdF6G1ZTyckGKb2kt+O+oa+XD/fIO9TQnGrzuav3MN7CIdWaS6s5tOqYFHpH3lsgjzTbkA7lgcEjaL7Iy3JnAFYMDym/tS2HO102yB5GsAX0V8MHlx7GKSO+W9y2snGZavBjq/hAv1ewhXwvH5RiWbQfm3EZxyUF0MF4EayXXI7Ykn4/U7fofagitFQl2t8gfmw1LaoPIySRLE/n21Hz1irGYJrIIxsZg/hhUQzvOVLZFNRn1oq1Q6Z6ja1tL9jWgf6oWRdWu0jkVWgZ0+rwePAHWqg68mHxqD+IyXYQzLWmsLV591k5poNjlrrqCvnVQFPlqTB2YrWUq05/CuFU3kFbg76AvSNHdrsIkY3BuFOBo81Xor+DGeZF2+iCu8Qgpw4haSAo7rYIt83sbsqqKsZHilsYF4XyCJh+65mO892zEb2H24zyXxLRq5UuRmCq/1WspknP1Zb7mx60I4xHiJYrDq+wSgC9fRH5lk/vkTk2l9mNTe8PW+j3RctWDvQ7JRztkvwntJopvRfypfTFj0QY+U+CtpL+7UbatItgvl3Nv7CR9qdtKc7naFu7NFw/Jen/q33u/uGt9HuwfKuKD3tpP+3dKFyt3Kf0ddez39//+XsUhOJVCoeh2jV66tNQHY2Mnj6kWQ1Lb6fvYWBAT1bp9P2/tHN4vNveWezipO+Lb/SLzfVyFiaX/iFMt0/x8nXnxHzrgXwwab7Z5On31nR7/pPf/GeUs9OWqXgx/5VdEok7+smeG81i2g4tcHer7ROePe9Wedoei373f4cnr3dRSL+Qvby/Pu/zRDsjPdHlp3UYlX532j3keyTdX+/dhHZu/3z982/QSeW/78dNknDvrp6oxeeuPl/5bW8fm3zuMA3FL/2JKRmdWLvnXj4cf5b9duGzxA+/p3233+thuN6t8p135Hx9LnH2W3+T3g2vz99KtDl0iIPcJKHn4/lPx29XDx+uHN7OHj+cPZZoZOsdnjp9Kb2N9A7/5kez7fnqbFv6jY7u6E/p16W6oz+vZ/O1PQkdXv/l3Gur6e6I44+n721ez5RezSvfXvTD74tpI6R/bZ/6b+iqd7/12XyPSjLxu++VerlcvqlKaP8floO2F0u37jalbYZ8+hnrp71jaSuf9O5D+2QXPU1pk6vL/NesNLSrUv4Vu75+eh3gVemz95VoG2bxSdJbz9TL+69O3/aHTfMNYtPSW7s7kf52b1ZcuHjl372rKd+FjIJxvjHQt0IU0zbUtC1T6sUJKu+0yRIqmV2Q9Dxuf9he6ez7d6jEq9cdzLDvX7dmHajWoK+MZfV6e9hi0IfVqkChKy34h42b79+zjU8bUZ22TC1gpMr3jTteF4bunraLynd2Ou0e9rbhE4XD32wolgetj7uhXRfOOzidxdD3p5fpbZ22Y5LfbAZj6FvL15/qUovXTZauaTf6wl+2iXq7Xvjlf3zgdcPXUxDGALrdbfBgHyZxtMYofV04J5zPY8i3Ef7NHqr5ZoUpacNDkz7vyLU9b02VFv5q+9eFt//trMJZy5//hywKpx33SC2+m6DaT4sSniZ5mu6nHWk/j5Ma/boz7fn441ZcJznvQ8l/AI9qWYVbP3FXJ/v7/fhem0Zx9Cc2y7cwC10Rxek29K4Ln9EEpbF0t8YJ5LtAv3rxt8IsPv3S20eXzLfdetsmmqwchdKqn/dnDvF2TKHYLMYAHUboT6sVNp4e84FscF5eEk7JQ2g5S4UN2noh8GnXxdkvirwujPCW171SC+GWdsgu7FLaIQzdLRe4zeJCuttsViF14qavwCK9/vL3/wdXuq+I","bundle_sha256":"ee771625af6db3e6940f11a4ccb308d7d02e3a52f8bdb27f09af8408ea4e5706","commands":["curl -LsSf https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research/tell/fetch.sh -o /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/fetch.sh","sh /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/fetch.sh https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/amm","git clone https://github.com/benedictbrady/amm-challenge /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac","git -C /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac checkout 6b6921f8d463314aa7c96234e1be25a25245f704","cd /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac && sh /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac/scratch/setup.sh","cd /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac && . /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac/scratch/env.sh && python /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/amm/qms_decode.py /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/blob.bin /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/decoded_qm.json","cd /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac && . /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac/scratch/env.sh && python /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/vec_check.py /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/Candidate.sol /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/amm/vectors.json.gz /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/vectors_result.json","cd /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac && . /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac/scratch/env.sh && amm-match validate /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/Candidate.sol","cd /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac && . /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac/scratch/env.sh && python /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/parity.py","cd /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac && . /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac/scratch/env.sh && python /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/integer_shadow.py","cd /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac && . /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/ac/scratch/env.sh && python /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/engine_gate.py","python3 /home/imd-worker/.identitymd/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/3614d013-b331-480f-a68a-2a4a11b12650/test/scratch/collision.py"],"not_done":["Requested literal fee parity did not pass; candidate is not eligible for score promotion.","Paired engine blocks and C0 gas arm intentionally not run because gates did not all pass.","No claims about engine edge or leaderboard performance.","4,096-seed carry-forward not attempted.","Engine guard-shift count unavailable; exact counter measured only in pyrevm replica runs."],"interpretation":"This is a measured gate failure, not a setup block or a missing requester value. The required integer classifier cannot distinguish the two native doubles in the attached collision because they have identical handed integers. Preserving both the exact integer rule and literal parity to the native float classifier is therefore not generally possible. The diagnostic suggests a WAD-aware reference gate as a follow-up; this item does not relax its gate."}