{"item":"min-1","batch":"e02-a-min-candidate","status":"gates_failed","summary":"Minimal candidate implemented; exact vectors, runtime size, validation, storage and engine gas smoke gates pass. Requested closed-loop gate FAILS on 3/8 replica seeds: max bid/ask errors 25.961658883156016 / 15.324825506245277 bps. Paired engine stage not started because gates did not all pass.","source_sha256":"644bdfad1ffd92038887faf5453538b412fc4bd42797c887e1a5f9c5d25ad55a","runtime_bytes":23337,"runtime_sha256":"403515687348666445b71c8543988a30a512abcfa010974f6b515f2f75c2a0a6","code_zb64":"eNq9fWmXG8eV5Xf/iuz+oCmwAFZGRK5VheLI6la3jyW3xzZHbeuofXIlIWIjABaLlvTf594XkYEMoIqyxe6RDVYil8jY3n33LRG4uor++Pt/+c/ZV4umW++72W/abn1Y9Itudx19/Zs//Wq7q16tqmi/WS7axeFD9F/x8+K5Tm5+tVhtN7tD9MPnX3/9x8OuOnSvPvy62nc/Rf1us4r++fnVyYXnKOKfj4/9aVe13W/W/eb4wG9GT7i7r1C7zfK+ayNci7aoRPMhqj9Ef6o+LDe76OLVYdW8WS9evT5MplG1Ws32i1WUFEpXmSmiXbfvql3z+movZVxH/1a92+8X1TrqF8tDt4suo7er6FDVy24fXbxd/fWN6mbp8+/3m/Vkynf3XRft3i27aNOjsGr5fPvhf+35zH21QzGH6GLfRsvuvltOo+1rNHIa7T+sG1S3X1avJs+jz5fLqNl16LmoR30PrzvXiOlQhWrduhpcu1Y955v/ZCvVbFZbtGKPEtHqt2jfdrlYd9FF865eNNGv3ff9NPo/X/9RRfVyU0f715VOs8hUTd7URfH8+fPJjXvbNDKz/XJziPYH9PI0WlWH11IDNrTZrO+73X6xWUvTOSiH3WI109EFh2xm0HRbDMobNROFbdDEaLGOarRTpym7S16jXVtksPabd7umu45eHw7b/fXV1avF4fW7+jmaeHUcxis3iFeHXdddDSOpjVKZTjqVxlnVVMqopjJpY/KiL03cllcnI/0rtAUTqTlEw3yKFvvoZEJGP/wqwn+L9YHdhSfQKRjSl3PVqeLm0Wtf/U7Ps9KoJFdFnKZlmaQmLu29705v/jpL5vFDf/KfvRm9wg7afxt/F82jVXSBh5UuJtGP0b3/cnuLf6Mbd6finfvt+NbdE7dq3trXuKOvbm+zBAcHe8ePUbPmYamlGv27dXPAgEevusPvqlV3MYm6BwzwulpG23c7zHvMiN2ihRR0h3e79f5ijymxfhWtutVm92ES/RChhNdd8wbj/4O9J/pnO95/6pbLrxfrxaqCIP8U/RS+cPVueeE6rJq6g3rCDh+9fXipvT557GXVs/rq5Xnx7eJ+8d9U/sur+rz8qh5Kf/gFhT7cxi9mD9cP5+U2y8XWlzz972jAw231orq+eLirX9TXD5PzVy7Xf2dTor+FL5Bi+N+ue/tusevwjhjI4G5+c+Ovv3+9WOLqbfRy8sPDs7m+eTOb3fx0evlurp/xhivecHk5usGV+GEuo/owezl9uHx5fNMHPeds+jD9cDz3dv7hJvob/vGFAH6Hdqzn5mZ9O9flzfpyric/vJXn304/6MnN3y7nb6/Wo5e7btTP/nb55hnk35Z41ovdw/YXzYhjI3v20CxhJ7h3xjfHrr3NYly4Oe2TN3N2XPzi4RJVu9LXDzP5O7liTYebdvOH2ajuo8d3tut209150dBq63mWpbrAmy/lNj3N0ywefS0Sftnpyfnjm7Z1ZRujs2T0kIrjcZHS4kcK2NvhZjUuUdiUBzMcjO50/fSGPbB/Zp+7cDh8oQCKw/GbyeR6f/WRG2Zvhhqcjexuszn8NwztPB4N6zs/E4cKPEyeidoZrvxtvvbHu7m6GRf2t7s7YDmE7QcczXF4s7u9nWcJZNtezZLhIk7ymtFjcZJ7jB7uwUXeozL/vMp84ZlcK84e96+3Lz++27/avln7C/I+edGoMErl0MzFPL5Z3OY3i8vLyW5+sbtcX+0mV/psuF2P7W5x/cXumnc9MXTbtv9FI4cKA+AfJncqHkujO7DTEvI+4wx+mD6gkpOpBjXJdKHzJDOY4bGO4yPYQt3/ewXWC/KBeqEK680OehHEb7GMqu12t3mAnuS1m6jbYbpMAIa/fw2we7Z/uztcQMBm6vmJqhg1blAQ4O57kPRfNksHlJWm36APPtwVx+YD3F+8vHZ9H5+LK0A11eBoZQZaVJTsguM9a4GCNRD6Mo9jU5g4S5LEZEXB20ZXM5ObMtM6NqlRWRo/VYoxJeZ9lsV5wdLkv3E5Suk4L3WpkjIvcuVueKwkrZVWJi0zlZWlUedFoTI6zoosxxtNnp0WNfT8vEBNCpPkWVIYBWAc3WORsJWK5WmaZbnCJCkIiyxrfDlDz6g8T1H5OD991+hG1KeIc8PKlUlmqz0uSGMcskQnRZ6XWZ58pCR2uTEZPjnqP3TA6Ia8BAHPUqVTBcJbfKSoJIkTheLSQid5qp/oKk56eUaeszP2UfGZiqStpy2weTwLZyzhmv88IfeHHY4G4VgNwnE/HCw3w9Hrxc9Qnr8Md64OvpjD0zB/P4L5i+Xmdr767LPV7fz1Yiw609X0EfnZt3PRNPcQPUf7rAJcbmar6b71p2t7+vXCnT4taFvNiXuVf2Bby4l6dOtf5kSPerqtJzMeVdNtNQl0zF9uVZe5plz8Zbq6XW5eLDfXrxfT+6vk/KU7W6ltNdvW07+Mrq8O85Vo+n1LknF/kJG/n768lAf4RV4uWCoVwuOzgZQIDN0fbuMJHozD0QamzvDfyChebjZv3sFA+pgpPI1UPFVZHv16ch2lkTWjD5iEMFC9NS1mT3Sx27yfwpxbvlutYdc7Q38yHd5e7d9Ee9pGm/USbLNetLC6thv0SLRa7HYw5KMvNl3fL5pFtz7s2VUqiy7UVRHV2/0Ez0e/f/nHfzc6WqxWXbuAYQo7HrcsK6lDDyv/0ug8g623RX3eb3btqQ54Hx/V51NT+d1jsM8xXtwWkx/kb+L+avdXTQbzIX4AvKRl0tRlkhdlUlUEAMAAQB7yyuMi1SWAHN9NWSQZPnlZ4FCume7mJ18UTxWQ8KIDKvO4i7uiT/Oia8oCxn3RAYI61dtrKV5TJfZ1vSkT1dz8JLUzo9oVKYoDaAJw28LU+LRQCVUsRZi6KnLT2tfWqsjKush1X+QFPkYXeVaNa6daAFcqbyx0rApjG4E2dIXuarSzBRD2ha5S+Sv3FapIG3mFq13m+jAd11K1tqi4agqTpqghilBJoXpTqDqVa6ppihQ15HHWoBVpgeoAk3U2rqWJC3lENXg8L+yjJW+3DTUYIrRRioNuwDXc21X2vlq7Wubj2knN+gqXG3tbDsSv0LQGiMzvBrXEPJRrGHWjjH2VKLE+GGHUKsYwxp3O+6rGY13eqdw9iu+draVGjRV7j99ZS7RUx6mrnfITMXYH5ai+ed9meR/bOkjTCjtocVFRKeZ9g8FRXRFjwFgwruVtotBGSzhOZqT9NHmPcY5Vkvc9i2OPdfbRGhPdzUooJlwvUYUe7euH+qqwO9H2ns8q/JUBRZV4rrXHcs3wu7te4LptTpy0j1QPt/Wjqp59dx/lPvFQhaF6g3wrczbsv/zzeDf+wqJs9dJfUL0n+mJcvRLQUmZJXZo6hjSUDsIUoMvCGYa4LKoG9AZ8sapKoESZN5mDsOzmnGI079UnIa/2kDvMcDWAsTqTzTxJij5OHGSWZawV6GFdNJDLHnMcKtxeS4DUiW0SyHhpsgB9U1MBs9siaSo0itgMMMpLD5VZbV+RY+5nSQcwqgqAW5G1oJGdGQZpLIqFBulVbe0wswf6iMwUiQJ+avyF+JkYSASk0lXmMDMv0ro6nUPGWJAyKFPX+EAMddYAhfAKN8aqRdWNPU6KDmoG9+coPh3mkB6gQwcyid5A/VBYDtRRtUPDDITdqYqSuF6jcEAGRh7ogXtjB8zmbK73eDR3KAgsJ7TpijAGiGvRBdmAlhlea+/TxH01QIY2YTcCIqFuNIhzV+IZ1eRVmzvIAUxWhUM4qCDqYDZHp4CglkM5rh4GLmsaNyIYnThPrJikaJWq8g6joJsib4BuADF7DRNIqWQkinqYjXrQZzoNIdgJH9RunAPnMqgPYGiLjshyIQZ511QOR2PCMO5BpzQG+kCPKgzYLQivKBK3pr0tFuo2Vg7VU0Bzgz5NcrQXReR4TZO6a9VQ4VOpcbjgyoh7wjarg78cG0B4V46w0nWSaA4dDDegoJd+QjX61KJ1rwfIdWgeu3Opew2q2rPl9cBZBjHXZVhPFq6OhXWZLSxhPaDlqN0U62f4fdSu/ER83PvYhMTVg98Tp3XSIzQ65R1nHYqHwldswyDdJqB+0NGlRoMwwWEEOtyswGXy1mJjDxoI0MkBnSU5jgKONv1AC8+oX4op5zhG12a8s6i7rIzBM9qiKPreVrHLgF9lal9XZ3QIPArB+pMgOBmGxAxT3AygbALhTMCkDCQqQQP5MZiwSeLYFnq56CzmAeEKdBc+BbgwpwlEsQiEU4Ok6dL2gE5qoZZSDLAsYQEN3RmlZVaVlX8NiiQBJy+cJtCTxul8g/dqTFRdxQJfMP6BG3aiakXW5igraSzmvsFNJ+yNyKygQLRGtaoB/dguh9wgzRroqMnWUgw3q1w7dtf4uT5ghznTZCom5XPtz1BXzAhFLCPUlvSfOJzPCmm3vQ8vzAMOHCfU3pBHg79dBo4JA6BL3fynRso85JLY6hYsFGKvTQboGCDDBKQSlBuTzcJATbqeOjKsFZke2poDeNBlsCkyB/3QwSi/PxPFxoJe3NR5r9lNJm9TMn+YRrp1HJuIZkW2owZJgGtg/2lbuuolw2xMBpWWhDTTYIbVpIzAtrRzwp1Z5isdgeMM2AEtoAzekmO+pcpeo7f4lGqpAWKAeVQ3mYUjRZzANZMP7BVFD30NOO0G1p6E7NK09l6Oi6otlOlkgDDAvdUSfVU5jMK9AgB8pgw1BIl5e3y0dNUU9MRQULlQe0C99W16bI5uRlKTDGKenGgyN5bC/B0bF0MhdX8dbprGqSanC6Rd43qWielgKYODmYqOMotfCWzbZLCGMRlSQiNP4LwyJealvXas5yP8r4fJ3DqzGOYz7NwORkkLpgEzGX9tf3QK77fKFzAN4y8NmQGlBFyN2JVghBNMZdMPfE1zftvXgchgiuN7C6DHeQOzuTCPQrD5JAhOvbE8TPF0AOUkpJnEAOOwDFQDvMZzLwOJMhBQ0k3d4OOUMwYfHa9PaaZu3eWC0Ao8A/TqgqY4/ubuGvDPOJ1JRmgUcQ+Y5+3nNGSXkEUNYVYl8cHhBmCOjFLKiAl1+NSWWQprLqoBjk9FUWF0dOIgLGvFeyCoDkakwfljz4ZRJUfgeR9ePVRvwI40kElFtlsAy0wisibYVjqKBNWtKqtKFOwiRVrSATrI6MF78OKgnmmbd6mTNUU6MYgRO7azMloDfVoWUw1GthR1lMk0FMXOkUphZoQMlJXAUKZXpHJwQWM8bh0bhvwTslOIqjkn6UQwEjs1GIrVYCCjWq1lborHkGiNKhdDNYvBlzPMxnRQaWn+iIl6tPKJk8K5OkfTxlZ/f+RhSiz/AOPaga4NjgPebkYW7fBoMaJ2jXuFH/cTdqlOrGMHZyofqjW6R42a84ifRJ3c/tSjg5ZIBocE7xn6cxDzLPQwGmAmqaPGB/Zt3mIClDCHcnCMpKOnEefBq3XjPvwOM51mUBwwgxYo3UIUWoBFm9bQ6KCSNRhslqLArNSJKQ1w0dQJoLokXJYJikwyxSoM9QykJjNZkaKdGbRXCkuJxymkp4WarGqY4fjbq7SgZughoh24X9OiDmApbalC8AEZAfiTaGmanJl1IeqELkWcBQcqC2uKJzU4IQAlhVmdgmRlT0Bw8kkQnPshGaZ4NoByFtJMtIy01FBrqJK8C5wPxAU9QOsAV4ArKbRMLpolAW7Q05BgRDCUgaVPxIalrJtc8EvzGOaowGJJ1opioe9VQqxTwmzFWUEojoe5nuXn1esJ0ehZ4iI0BnSlJpYqWtCANMJ8zKpmgjUYcjBOzXJDSyoThqnrRBBbSwCsEwWkMK8VNIgCvBEZFd3LtPhgv8SaEO09rAN2ZKFMgpXHLYxg4lirxUXL7tSYRNpQbSh0Kw0v/C0J0b14G2JCS5EHMik9DiiolGViLd00NMI4oXL5KFAFBZaqMtQ7xV+NczFt9cE5mIekkqSRsFsAbmo6NJK8xQhj1PMaBktFJwUDfFBjqsL7M1RTXKsNygxJOnUvCWRBYonimliKlK6qYMNTm2Up6AXmOw2MppLqxh1fO2iIfJiN+aDSchPqDMwVqPCYFgSd8jRN0dAYUzWmNUG9lANuyxRUC8SH8QJYm9QeqipDz3oOucbtaCc1X8z4dEp4JdPN7XkYfzHHPNGiojrojhRTNesG2p6HKk18vJhiEOaczJbPESOVEHRHbXuyY8u2IRMcR3pkYl2FEJxa9isQi+pBsybyneTUWKtD8R6iu3HaobHqTQ0qLR/EPM/DemZOX+aOAVMFa3HCpQUKSV2d5T7t/ubWF96HIQCSit651EWTlO72QuqkSKZamFIMm6SdGGwg0pZQx4NxlocefxITg9c2dFgY221SrnbvkT7JG03RhZGXo2plxeFi+8fSXae15fD06/CvKo8uIc//S9fdHSVFhNJACjDJHoXg9NOicMOQFMMULwZQLlQ411FdtoqONLptxELOXfWN0+najbwZXFPSJHT22FQxFcBPd2XeEHvaMq/SMq+ZAoFuAx6VNa51WZlDbxYp/tYN1DL+tiU5lxukItCTDdhlA+bY4l1tbMq0aqFn6zKlHu7aEtBc0vvUw/SBhVFmCsjaFLgGy7sMWHBOVQsFn4EtpiAAMG+LFNBUARFbiCikCa9jEkhfGrCBFOZKA11aU/237VC9ATuKQJMlpNKYmFqToRdW/UA1aFUI1heY8xntHrpSma1iGP8D3jPm2YUOE2CVhtyJeqC/Om2FlcPexV/AIyz+vm6gx2kEwvSC1Z9Azyct9HviuzHUZMAdBvAYctQNyi0L8RUR1lVNRwTDaGTWrFYuLnyJfKIZsNGD6kEJGqWsFsOjmoE9FKUV7RDGEFHdHMVRU+gB7WBK0d4rBwguh9lYDiqtCIWTahkjYlCiWFT0ktC5g9owdUZ86U0tulJJSK53JgywsUiDEKzGKVbQmIzB4LilWx4zlKFDzG7VWx+jqqn6oIbpCKJHpWKRw7iXoUqjPz4vxXJQPdVYU9QoM2V0syMzaKyqzFOr0sHFFB3nogLC+DWGLWbkglFi+jKIIRKm7WA8K4aTUAQMsYL9mlDBoLiO6ozKfqjeIOZlaJxpqmX6bNCeurbO5pS4DknEwKGK6JtUotvUYkK42Be0FANjAr0dW1ZCaKV2LqhNWgsg4pPBPEDvV5hiSlUgnKCZUJ6cA8pkQz0DqWFWk+57G1ClNmRcoaYRUkh5iq51EpaU3uGUHoW8jxlBoosvMM7wCvFclZggSZpb7764mhg0dtDM1pKE5LgXjJmB5JZhjeJxCM4+CYJV7EOksQ85D7Bc5mcgbKBy6JBBh7WxsgxLFzY6zPmRoy/oL88a2yiORwZ9Emh03FrYiIR4RDk8oiHLhFxYZixGv87sozR3TE1tZu0/TzTLkF+y3xgCUEPwJR2pNqAOJMooukzp6sVf9n3T5UzBiLPAZZ9gbOqCln8FU59UqrVDQndbzRmViAKmJ7YCF4RkiDdBUSVlPjYeH4P5Y7lMW6gWRS9Tg7ldQROR9efoLGBpDEDvW/SKiWVyiYOsAoNjYLZLM8H4MTXKxPbOUqqSii7lvCMsNKhhJv5M5+frrR9SKIMNK6mm8DUdy2MJu4sjURZQfWKJ1gDxBmqyRGUVhidDpRptgyAE4ZLWKNRpRqEMmGUHltwCvhqQ+rZBsWkOEwVVxSsMBjztoYEN+6CDldpAU9KRR4vVwDguff18iDjO/FEgpClwS8zTErQUeiPDi1N0TAd11mBi0snRQWdVLXQprCv0GN1B+NSsWBgLoA0H/dEkEiWVCCpVTqol0stkGnZehvmfGSOR4gJWBtQ5JpmPFscnVhqdYLV1hDX0ZlUSjwCDxl/mx1g2L7oS6iRJgXVolMFLTRpgsaEZ3RNrURyaohkmbakigGkNjadaoF11tYT1TA3oxHlT0eBKfOaGj7/HgRwZNMMAWTWTfzBszMShm0/sM2h0MXlz2pT4H3pR3BGann562eswJwbyY9BYEHZD0aang2YvSIjqU2tF046ieaod49SpRGvBdXxNQ63Gm+myhjxLwhXjC4Zd0YgClq6g8ZfGEmFRjITSrtQ07kJDjcEDNCXuUlEwjA5DoNF89C5Umu56m6hElE9ra5YzQEvXdaseheP80+D4mBWh/Ew/ZrGcpLEwGJFRM9QkMLY5DWwBcIIUzcoU7SRa1GiKSsW7qmgd0uPWhT1BIIZajUvjgge9tQ9SPl7kDH3GmBA55xrwn85YBWRUNDQ7n25zksfSFsJVYhoQtDzFPqIJGcMiJY8Du+7BPaHzG5qKRixWdDe5SGDxZ7S6MwJ3ay11wqU4A7VYjSDnqDvD4xAhoWBaKGkOapPqytfP40iQa5K3kL4Yc70omQ5QSo/FdDBkFKFmMP6YRIGJUsn8a9E1Cb53WYjIjPjQc0wXLYWb0Y4ktf7CsqVBByjSFBvoklI4ZJxWNo8gy31NT/K+nJ6k1afJG2rxKRs0T7z+pUTEcB/O13iBdj4ALUb8WPW2EBUb2ets2KhrnVpNxKaF/cK8vrwiqYeK7qjRWWwmbMfnqfk56fNOVJh4kkGDtS3gs60x2pDBpHF2mbPW6WyhQ6bt8xZmLAGN6X91jqGrgz6lwzDNEkzszEaOxPdTWaNYzL3Skkax0zGZgCUJuTdohOmUr3PoP6FfvUR9SrybziFaLKQ2RWK5hyTBqZFD3ToGYAzldVwFNiXorqGlw4TQ1GUDqMS5bPFcAlFqDDsXfzHrW0wOU5ZZR+1X+/p5iQ9STooWZlgD26nJVdGI7w4fGIkJXpUkVKRQmC3+Ml+1Yqo6zscJPjifhnIEJMtgOmRQqWlKlUkvR1+0dSx6ugUFaWFkt8CDFtytwyxp0JAGf9tjulqYcyI5nQwqUWkq+nV7q0EA7TB88VIMLIyDDLMhwz1ZYj9pRVMzwCFN1UgvXm4lh7EjBaNe05ZjHg/NQWbaKvpaW0kfoBAYOhOzx93Exachsk+SAJT5I4/SYVaL+HWr3hqCKa2rWIxsGt3iPCWy0ZolykF3mpoJFrlkJKDnAi1f0OBhQlhr1TDduTSUqOXBzUgcxBhkcXR0UYahEAzYi6k8IptQd2bWhwJ6hRsbycgQvRm3kswmCpkf6tGchj/xkOlTJLmhKcNgOxk/MyZiGEkYTAYjGVfkaIkzoFLWV5rSB4upy9E0opp9/Y4ZmqFuoyfHptOiWa3N+wFPMjBEGboVfUZJIxOh/Wp65zWnn60IWQjVYm/1G03iFLUiH05isWFpvTNbT2pKgpOyOCmGr/c1DXVbl9iCMb9RjNXBDKO1qUVreotACjHNMVmLoyuaKXh9MOctq6Ap79LnqNJp2lLXMdyrxXWct+yKvBFXiqH1wdwM49HNZ/Uon4aiwjwUcVNw+pArSC4dOUNl3bC9aEAbtWTkkZ1EhyGMCFplRgXhHFGMbSysLgGexFTzDFaKHegiinTU0SGtXd4EbGZxfSZei4SJKFYNZeLf4Xgzv4eSxCwpMeKZQcWIJ8kIsyK004j0i5ZlqIWHiJzzNMdWy2kAvmlwzQaPaRvZ1DrWsYtdGlrm+9RL/EkGSg0dnNeu2NTFKwf/o7aTH+Sjo+lVFTarjx4OMb+C8Gcnsw1vZg/ShJWkuMJaaeLWtFHVzsBkpd9O1znMTU74HLaSr2mYVZmCCmm6LJgFQ2yGspQlBY2jTWaUwscgBkAGXdagnubEqR07DwrDC3kiue1C5CSxv3dNVs5B3x+PC9T3CUQuPw2R0+Oo+Jnuc1xUkORSGtgbop51IR9wG/AHUDwmOzPCSnWdMLZTOnVdlIKvzBMO1x80EGtgdVFDDuuenwbH0I8Q6bpPShCxEqqw1LRjmxp/s1J3YNRJUpqjLRtmuSRoQ0LuW8aCEwbDn4CiJRUds2SYMEZheiQ0knJgNpC7xrnW8LgJcIQcmIkRMHhQKm5vhKenGOQkJuiXgs5c3CCKSFyAbCX9dd7a8oko6iQThbqA3LOoZH7HTKOguBApmK0MCGOCoNhatDqg95KeYVAiX1hTAveQa8y/rDETmtNYwlfQOEA7uvkKcd9oojLJBURO557Nh6ko9ISqrLM5EhIboxO2lDUdisFBCVzmkh3GcG0sui8TcqtCu1WckXTE0NRVnc3hJfugZ4X6i9l3hk5LspFeUFvRUSP5FK2vn5+TPitFhWkpgsIcNkaw6ESi/0r3FunoSWeqKtMRmXaXMCbq8IUyXJowdts7muooK91oUifr9bSBJi4N4WsKeixzSa1vuvF6jjQ9z9KtXMHtaXaxCw42ko1tM4wH8DIWRk9MGCY0ywoouvx690g6BPiGdSP2mOke7BYjmcW+fl7i0yfynodk38z2YlI4622IyeUDZA050KdrJuqU7D0rS8kwyiVZDXIJ5k4LoHPF9C4IpUfJKPzu9XGQkVIyTtErYE9WlIxww2oseujermH6BcYSMqFb8HUDAAGYSGJxDQghDrUB8wJgoDqAhoYuIlXUKJbSwQguVxxhMEoojYLAj5YIXjHBsgbqNfHjXgv1acvplM+hAMfxRx6mg6QXwByAwdjVZBYBelmZwPAD6ANaVwlFyXqu7arFgKIPzuRseQAkDO3ETJWh/4ckmWyADluyLSYsMOAF4pnE1ktioN+yxgbxE59Br7ITt4pNPGDSmWL+WmZ9Z4wm6NSSeU3vML1DqhFDj058JjLEXRyS5MoCRVJYJpsJZsIIL8SdwuYSNAyLYXoxbALST8r7iCT7xBQVZqYo2vJMpDG1xNZVPeQvkMR1NpygGdXCbGVaCF/HVXISmwppCGqTVLkEMMj46eaSWtNVRxghi+DSh8JYggdYaWnREK06T0OyMGLAzFEyMbomKC1ZBQ6jXfYdu4DqpLaZdhmxtrEQmEh+2inh7EB9emghrheJmcjHnAnCg0QRUpvzSySidyGRnEjrU1cekn3Sj/JZKuokTYUNZWiG2YySLpYKe5XQDX03TEdJCX0D1FFPaKsvujToU9ooTCGIXQSDCC8QTJeFy3iDquuIMyTMpCbEmFIi3L7OYSiceMmEAOZNJMTU0qYJqm6c4nb0jjHqRTGRtXwmcFugYoAbYE/NgFRZdGVJmkBZypjJW+bir81zU0owmpm7Me6rC7vIwdXPS3yQoCKh7ByjyehAA6GsoeErYFQLLV534Eg5E9zAqVLcUORlCdzKAId5xuTVIAMEllCRQ0Y09HoGmpShcTlmadrElhlB9tMS/AM6ndljLahP1nUl3d7H/GKVh9KT5xIPZvo9Zdok1uZLYKNYH0Rlc1ZbAosq7GJfWNh0ADaBW4Wiz0WdcdNIsRLRpHlJ4tLYHFWTYoIzFZ8Cq8TZLE5mWLCPQ/KnrbNTPqcC89QP0HGpXaA96eQ2UmcjC4DJoyQHixZiZ/NYFZ35jMLXjNFhZmtCMtsS5p/mmOj4X8eklrKyvnPNdLfGWtWkM/Qn8jNEqjB8CS2w3FteeSiUxE5qdAm59uJwgHHG7H8xQxkN1/QrVq0AoizhoCVLR6EJgQSgxu6nJc0FVZKNz6L4/oz5ZC24J9pAP67kd3WSwCXF1167+0QVdZKpwhrSoKTLl5BHpG+cYU/zqXEQJ+veaqFF4nmk1kqC5WGtj12XbsEEA5W5dU4yyInjVjP4ofKWaQCtM+NJ1loPyWGqCrof8tUXHXCCeSVivKvG5lEROtrSepcNMQjDWEAjMPQKNmqacPlaK486shfD2O2KDMiYFQUXn4Mu5S7VqbRuEhJF8TZLPrCvn5+TPmtFBWkrsNUAEGkqZCyvuWi1AjIBLEHvc2a5QXHRR5oolTek5syBIvcjZAdpFqBXsMm4c0jTlcrgU7bgTsSiytpuPWgf2JJOcJynkglUgA/mCQylynvnw7yVVMXWbgMwJtDgNQaohT4qe+bkKPRgUrSYmU0CWKsIhBk+aVF1CfN2wrSaqjBxa32dJAR0pzJ0SN9FiqHANa7ESnE9AaJLSg35VJ2gmn7My+Pa2tCGY+hBtRZ7KAg0ZjoXkaQx07qAV6tkxamuK0vBiAvB0hTn03MhQd0JkhIE6YsUdyKLbRvhHLSRJCOEfgvAtKq8cgszVugdY9yO8s7kSqWUzZoUe7K0gtsa4XmSJypeNfruadOFexowYYK5oKmx5iBz4Wv6LFubHcJl/rWxbpmutQtZqbBJePL8cUj+tHV32mdYwBb1Rx6my5M16sbyI3IL8qE2s+FWRujIPeh+4lJBnoOpGxet4KjibgipCk3D5Ji+SIGkvyylo7G08CdmK+E5tj5BAjgtOfKsI0suw/xOpqtUGaSepBCClsZ2oSphlzYmvW/8Xrv9BFg/6gTypSDgziUJti5CuYys7+qIi5yvKpbltbKEVnLKcrtQinmRtO18+qnyaSuqDJUbk2A5Cxi8o5tWOfZmlE0XLamV6JI3jJ3bXQ/6SiLCMBrC9ViJJXrMuU1Qi7S29jrnqBqWvrbHRQAMVrXiqeZSPV/TMlwEkJUJDZwccFaCj2WManf2oxlGzO0CAeaAaUWT3i4KkPEJeEgLLdLibgnhZOA/4EApJE+15EK5QFyiDc7xb4lX5/jEkpaRKL+iOD6u0feLyuMwuAergqsDbCwpx3cQLhCIDgLbtklpF7rqooMQt5A0sLyixcxtIf1t0KeFRlGaGWnctqNOZYMMRpKYhsEUhxTnoNKhqUyRZgxO1kzeKJgmlyV+2XaQwlIYrlatuaS0cumDmQ3AEK0IGsQqaKqUhULi0SF2Sb3mlcAByj0/hAKyPphGkl8vOfSdjY/QYqITiDOWrnlwQcmtx1iYpvP188vJw8QVCcFAk2pmzwnzTIV5ai5erFysh0lvxFTmUDMCpkHTUSHcEcxOpiqTqjBtv+/FmpSVACyK6RZEd+ZmMs+OSljE0djYSm18TUPHCkPhshLciBDKQl5G4ySBpbL4DotZ4JgrYyXPu7DRgC5M26cKYICglW1PGAOTXuMKCINnFEPldA0yzMsIlAsXyVyH4f8oJH/aOjztsyy0Ou6f4Jesh5kxkvxH5wATAAX2QHAKrrQwecctFqheOkd1ZWFI5gJJ+qwr2EPkT0w84JqeWpYGSNpnLBikZPOZEtZowiifyq2nlKEkNbBQfbr9CiN3jV0xRpWRyyoy2so2cZPmOD2JsOg6hhaZssWZy2yZkx0zmgpCl0gcSnHxVJ5a/OzdQtPMLbfNO5fBz3XTCQyCjKnLvn4eSE4yV6gYaFIRRmhgZ9qmijIQUvduFwQbYhJHICkvkK1jhv+J8pC4v3FL6OjqzYtU4iipRXhJso9dnkBul9dxQsn6N+1rerJ4oTkumJPjTGgrl0pmNL7JQ0h9h5Q6+Vu5rPwws0ZOd6Pi+tFuCUrc57SxOypB2fChtE2WIn1P+rwg7XNY9Ml+KdpuZ+E39JGXNC6AlLuKtFy4kfcMHrWV22WB9wd9WhHKuB6Dq9LodGmH/YGyUbHDamFt+13Dgm5T2H2J79OT6J6xs7JqLXkQV6pyfVuN41GjfP5eki67PMy36KCySP67piyhvjDnJH+/YL5sC7bO5JrMZUxTg9aJLJmjUzU/zs7jjilh5koDiGV8pQW6t9CWsJEgh7Q3mHevSw1FDEwtYUeVadPgzbksq0tjxVoE+RZxZ/MEy86upuu4Ew2KRw8zaFyVFYrKSgVdTsup5MYQYKRtTRPNz85wzxSFgsQKl4W5lU2WoBphNhB4UcrtXaBNGT9RYCxJWtFlLNs05OFyA9n9BZKSwCRkBEzRz0l4ljT+UoI4DA6msD+59p+pHtwdx2AATfaEL/nT1uVpcxwWP9WPm7GEqTGaeY3c1qGtJSeSdefWCuLhrOy6XskJl0VlWpwwmonA4HgmXGXE7RxkZSKzNKvaraOrJQMf8CWb4igXDZCELvpzCHmgiYk5TqrQA5pqibPZLX16GR6ul+b2Pppw3bokC1F1NmgmGYZ0sZowjaG0vm6msddMqqTBxTrTRa0zq9mpQSXhjAKcWA3fiF/K777jgeRkQxbmUFU2JVqi42S/HcmEtrSHaSx0A7HGTJ2l/cdwlCi90MVCuBDYzcWW6LggvIkBK8Zuf8bFFwyzNsouLWQncQMOKpQm9zUNTUNiDBUp8zUrlxjNZdUmySvARFVVeVkpWUeZsieNSwyhHRguEuDIyqLv2O27w/8NfmS7eBkMr8lzrjPj9gDMKaaGors9PdbPz0mfxKJP9k9h8JYrzzkETAVgBopkdGTWTmqVpJwpQDQdDfSBtZCurDG0Qk76VHzbBfoqEU1J86twdhMRk1sRlda+0y4THsy8o7NSl77OoZpjfI0rXzIuVKTnsxM3QFy5sB7T4+Rlid0HzjgD0nArCnNuYzot0/V+cRndgCnNQflOddLbGBx3rpMYHS2ozNfPS/zJFirMkKxLp22GZW+9cwbmItOS7xxL8AdTTttEPi6Q1E1QU3YyWVwrjkrbGG5Cp9ziQ6mpeJAwCEaS/TuubmLQ1Bx3sRpLD6QZRkqd5W3HnRKhsMRSz6xEaUcQxEC0C9q53IcLDxoFrt+frHZUErAFd8H7nYuNzE2Ma+3Wv/WjnMTUb02CCf84JKefuGebHxa/N4v2uTE6Cde0c2EbY2IVOrKrYM4SWZQ1ZyH2ZQZcrnEMrSq7Zuay5wz+FlTWweoBYA67nrqsA5xzS5G0VOKdS8umTMoMpqwuMTVLk3SyOWeSNXb1QOpNrzA3BsZ2kYKncWk9bZCsrUB3U5iqsDH6suTa5MaUNiVSt1y4UNDb0ALw2nCoUiZ3cXMz7dxkXDfN6GBpXWtESlJ2RmuppVNo2owhFmikNPNC6XNXdBIqN8CcoReMsSxaoIwY0hDg2rvYpiFgEkh0hHtqZqIBUDQkwDThCl/SBfYvbWDmU4rTvLPrBWTNQG91JR1vaSlbyyU0zUoGSj3khbkrbKrJmLDJ+hVOU/a2MFrHjBZkbn1ZItax7F5pqAjDFTciD3Q4ciskynOZupUCxnkSK3Hsc3+OmCls2oipyyxImGND/XxmkPZZLDrMYolJs6lKqElTp0Fbl6sqAaHEdoLoJWNtT1k8Rrw9We7LwTUijBIGTTQMFKvfZYsp7hWVa7tfaWGTUJg0I1XIa1/nk2Xoic3lL7XsjEHnVcuktYpGoWRT2z2y2tymVHLTJ2W9D6fBZ67LoreQOtCm3tvdO7kzIS21nMsxGUBrxWtrM0lrO638zhXa567ok9wVeuYYtaTZKssGSquFoNRgzDD3DXBouFxGVjileEdDTlXLqoBwW4RGGqdoPlEncQUZbTeuB++6nLvlwuCGMmslZadkuCeXLaO4PsnXNFBuXOfFdfFEh1icKHSadlaVcN8gSYhRdKbYJHwwlI4uoxZ4f7IHCJtGQkOFwf1TaBMVjU1MTTq7Tl6SKbW9TkcMFzCSspX945D8aev2tM+z0H6vFu2TY3QaslCaz1rbnD3WnW2hX52Mmd3D1RRMXGU+fcWsWKYhpbKgHDMmiGlzMjGLqh/2FWxH+j6XhY/caLglS1a03MzRFPfrVHW4XQv0dA6KxEW/eVdat2nfD3vJJsNyb2gLyA2ID5Nx+lJidDZzLbQydZUyXMUdM/KWSb3KrSZUZtCYwwaBUL6E4j5vEwn7DfXzuSs6C8N7jbbpvlUjKROS5Mkt6rgLBf/SaSEutcRlcNpdYlRZ5W3gYimN0aWRPVllS0u7MKCnJ4ARLvytEhiu3BOmcYvUYdjSmI1xXnvxDHNX2pQJB1XR1NCaFTfh0mUCazjJMwn3J5rpRtScOGdqnFPug8rEAbxlsIK5XwTdQFC2djV61ct+hUAw6EroRy4LSLTNRmSYn5u/QHU0ftGFzo77aXo1F2axUK1x6bfhtoBcid5w141cII6O4YzrGyWmCBsavEq+N3mRQ+KyNtziismCTNcZ9lVhrAuUUHNycaEZQ/0EP64kpneUWZZ8NdfSZMc+DdUcA/bMB+CyIpopDOJz7yyx39zOKLXdvErJNtetTegXZ3ETbrQhP9pgfdw0U5kGJXugdNa4Eve0seY3vXKcUtyCqufGtd7G9LkrOsxdkRgXHZLMnGLzxV+rJHYtWpRFU2Fw5TuXkdAFy3QjagDVhPZGIwuaOd5UWgxMShCSEUTZgYve78buLiOp/cauH+fei37Dcp2f2HCMv8USypM8T0nO405jiXSNZvBWdvfObAoCvY+05ZheYULlS8+g+GCVmE80SxQDztw9h/tsFDSnMoE3Wb1I241r5hnr7h5PS1aftnZP+zwL7fdu0T45RucnSWadJOsy+UTCdwyQ0yrhzompkDGu+ZW9ga2dLGniTjmH2ap14VzTtXXvcu01w/qi7GRdnM1vJ6LTCQTkT2VPXJqzftLnJ2EJasLOrpqURdxuGxjtXJfMZWD/yzp9Log3BHG7hq/SJ5mp4pDUkmWtre+4dNuaSDSQViXTo4zL2y8kC0P2Z9Oee/rcFX26gcuQ8GSE2XH1EXEglgwAp9hoOso2jtpRodo6MVVoerl13W5/F5/2yiWlhnOVy4ip3xkwTVu70YqYjWq0gYs+2cFFttY0bjV3frKHmbJbzzHhjJE9dgMXtlHLsmfbcDvINrZL5WX32tL5YLujq9T+ZeKZTYDgMbkJgwC5D/D4zCDts1h0EQpqV7nUjd4u/uOod+aRfdXch06hlLvPELPaM/98hiYx14ehU+aiya6Y2eCSfnw/tZrW47HOwQp1sH9MoF48sSpTpYLhBoujVDWMwYYJ1RhwU9m90hLtHMGxzV4LbUySf24QK+usGNviNlqZs0AwW0vUt4I00TNbVXVRaZBegEkFrVD5xELtc1d0uOUKaVTCJZSCPUxzAnEFJ8kYOq+YrFkyTb8oGUojGWCcrueGq0x+Dfbv4W7EcdfZzRFkBz9j9ytlGhHdaWRMXO/NmZEzrZCtwl9G6GovR0UoPcRvwc/crVApBt+NS8PmGqDeLhUVQuOiBrL0I9zUgbNSfiUgG2aji3i476wn8+1oK4kAZm5hjPh1HofkT1u8p32ehfZ7uWifHKOLMA5PX4QGJcDE77nJvLjzMTJ1XsZtWaZdXVIIOl2VWd2UbYU5UtZuU9PQw8j8Ga5A7eyOKoy+csOdhEqtgooE1KEH8ka20UiLBkYPdwTKMXVr4x0XYXKMMU1eA+CSTtaz0d0nC5WhzEFfa0nczBJQ3o5M2VhCkbSyikEnwaRXXL3E372gcUW1QZ8S3fpcmU3Nz41/ZG8xY/ek07SNYNNRC3Qe6Hzuij7JXak7u0Uml9b2SmJJ3MIkMVwSxbVOvc1l4Yb2zMGjD5lRTyrCLPR6Q880UGhoUN7QXmfUh/Fs0nAuQtNcY9fLFm2kW62Sjshr+nX9sgFdhouCwIFa4ASYYWUwND33dmImqoEh2zK5tZIVADVUlmYsKc3LLCv5qwCg4SF8oHNTeuaYEt4W1sklP/fBhNIE0NEWFXpRkkww2vz1rhp15i8YlJnffDw+7pLu1Vy4+0oHbseksVi29eN6GZtzk1K7QjmlQI2KC23tkjPZOJ8OdZrbccCSYWJx0axLbaSqYE43BZI+B1QgqZK8JOdgcJprA6W/W9kRSx9DpuH2K0lJb1hfZsB0mAY5sz/iZlj+hhnaJvy5GlqI1mVAYmEaWecTh4v9uTdaI9EWOnsKpvqhXzG2kn3D+d5DICFLkjXPcC9eyexVppn7hUzG566YIHelVMztSxsoj6qom7pkzAWQhu8Zii1keRjmjyzVKFunTMDSs5K5yXnoVkvFtkjyxK755dYINA+A7NyXsewY4qu5rr3oQHtqbhNSY2RwCraZr2m4eI9ZqJ0N5wnd46JiRQHs7IaOFAdO0LiWeJIEfir+JARXKIXbW8sPzTHNgA773mZ3SsJrY9cv1p1N0KXipXOArJQhKDK+5onw3qet3jNxGIKQLBr0HVkG2EYrfq3M/rwCqRX7HyDWcW5SWbDmTJwwspNlyI6E+2I6u9WTDICZynkSlOzL3ZF1EDvJCWAVy66E7O/+8Yy/T1wV47cN8zvuH9fE+F7gb1ktJr4l/IEVfrWbQRej2/TxPL0//rwJH0+Otymf1FKO35eGD2SjB/T4hfnoQjJ+YxEWUB7v08dlyOVxrcX45eq0taPm6nj8ejVqsNbj96uTJqtRm3V+dAIH7z1ptRo1WxfBe0ftNnHw3pOGK2n5+JfZ+Htl8qvm19Fu8z56s94c9tGFlt8w20+GX1U7P7/e4dPwx9F3+wPu8j+fhmnXdg837onFOlJXWRK92i1aTLjFYX/yA4BV7afsof6ZOTv9B/+ez/FDPfe/+3cRP+iyj0GvtM76DigG7lsCafkDijEXg1Ta1OC/GmopzpVq3U8uHv+bxg+np9KTD/RAb5h/0ba9bpIG5CzTFb5XVa/BqcdFmJOP7vHpYrsXP3knFAYO/o5a/KP/TXUyVTF/7dB1khp1UlHZDMG8geGbxTrrehgcuU7RCtiBOkHLDICJER7dpL+kk1pTM0VaNzE6SHM1CjoIY1AW/GlQxSIa3McPf7A0r8o46/ljcm2coafSlkFFIHVccR2DdNx/Yye5V0snJVMwBt9NetRNFbqgAt0oQbiLPge9SnVe1TqPS3SXhq1mMK8azV/o5AbCv7yCZ93HlW1tWY+7afjQGcVfFYUBEGdJGqd1Haf8+c9GbPr/ibmkiqnSU00kGvrJBNMJDMRkmE4VGAPkDszLTid80FFJLRm/GlUE08l/0XTi4nYU02S1riFzVcnpVLrpZILphD7JO4O5hj4qOZ0wjRrYOJhXCWQvUS0IRv0/N50M16Le+O45awvMMi4nR/3RbQ2k0DToqo4rHFRX6/+JAXykiLNplXPNOaYTLDz+5Nn/xDTS02KaAIwnjzCdN2uvNn4bT/2h8odf/SM/rXzyg9UXX4HuvPhtfHd3obJnX02uf6vs4cVXM/CgyeSz+KHHf6Emtb9QOvw0aVRX+8U+qg7RA39JFCpQtN8kqj9EX2weZm0X/Xqz2d0M9Yr222odrabR7759+100d49v+kC1rmbm8m108c3n/zIJuwN3/0x/rKcnP0H9bfJdtOpWm92H6Hc/o3ej1Ud+L/1ujrHAO/Gu9WTyw2q+nqmbn7rlvvvhnf8Z37nxv5H+ejFf37x/vVh2/GXc5eYOto5/Tzu/WG4uXy8md3eK2OGLXrWT2/nDBCWt2hsWznJw+NNqvtyMf/PcvVHNH2bHh/0v7C51cH6mjldMeEU/8tO56tjU1aWazB6Gh3d6fEWPr5jxFcMrZ7+yvJ2/vLrYqcvlsTbreL5Tzw5b/13Nl/LdP4yn1rF9DFU9vX9/P19qfudtCrdpKR3F7O8vd3pcsv5IyWZy87tv4+9c2SzUnBSqeYf67lhs8GaNm4y8+XffanuTFPC7b81349eOpGj9BWb8et817w6L+y6Y/fbXdveHandYrF9RtPpl5fhmtGgfQpHYH3aLbXe0h9qHoyx88XMT/uGJCT9c38xR3mcqvXmYw+bC8d1dMrEYsQl/nnlzuf7iDqDx8CPvHG7F7Lm9FURR2WwzmTzx89jL9Sjqfqz/9lOw7cFWc3tEsZn8dHGAZZt12PW2Mzkyh13VHFDu+8XhdXR43UWH9xtnJMzWm1Zwr9tfg9gDxPbvVtEX8bfb76IG/0zB8IeTyp28bJvvwjbDCtGPtLltznHri/iRc+pnfij8UE2P9sbjo3yo5qh1/N0z6f8H0OJLfFf+u5Lv2n/X8t347yacAm1Do+MH8CA0OyxVnZSqTkpVYalHnBN8PS2xbU6KbJvL01Jx6rRgnPJln03BGj3ph2Pph2P/j0zBU8Sr5m4yLke/lZ7PqmOvuTm7R8e9qJ/hf9cXOFYvzLPKf9PyDd+v+W91KkTEEs7H+2r5jsZt9V5m3oXqTBY9g1V6UTwziZnYn/ie3UXQqjyGybusVlvUG9gSn/hXlsMs+vIfEsEv519evbzSeZI4ohd9eRu/8L8zf/1lIHx916Gqu75quuhL0fa2jiADYqlTjFA3Mantr5hfbN9Pt3pi7z2a2pNrPD9uDf+hzCbSNXtQE+1/Ln3vfy69XpDAVDsa7+OfVofVj4eBSv4qnr3YddXy+fbD/9pHf8DR7zfLRfPhufuBdxr4eF3bNXhda2u/P6EubOnIBTAIJ1o0HGk/69540T38ovl35Eh/GJGkPxxZ0m+/GJ3/YsSedsfDxh8S6iZzujAAJTdnSmIxd0cYnquXYgst7owqJ4s5/h1mfj/fvp+5+xaTZy/Py/n+WI5mOZ4ufb+ai0PjhVLXSc7yv7/7fjX5fv796uYnd8+r+VYPxX8fFH8GnZ/HN+fn1M0jsPvIOXVe79ViTl7KvmYfow+HZj7Lksn0c5jRHt13H7n1Uu4G31otHnnJ9/ZJDBwHbD2oiYvv5SVfjF/SfORWeckXfMn3Z11U+GZ+c/MN+ZCA4hu6S74h+XFfFb9q/1Xzq/FfDb8mw9dLZZ9ORyfk+Wx0QkrIRyfGigWC+uX9t8tnSXRJnUmBfqZxDFnl8XdPN+LL+0fmasy+6S4vVouZmTxbN5er72dH0r5fz9c7nD0+2G92XprezuObt7ft7jK5eXt5OTnK2wjzu7i68Ye1P1THs6q+CR4cv2GPN+xvk5v9WfHjRjzMHelbxJf7Z/v15VtUmeotmdycPfQYH9CTudAP6kRMHc6H8wfd3e/j+Tff7r8bqv9e8etl8t35A2j65fx9/OxQ3aDp9rDWN2g7jpWcVrU9xOng8Z/Cruwv3t4yhOlsi2r+eQxr8QbzIP7ucr6rnrGX8U0N32p+S9w3JdfS4Vt9c1763bzdffaZHcvje+r55+rbt7N2J6/SLKAeXmWGb/KqzH2zr8qHb+NXndtq9/F89W55wQ8UrDRmMn056yeXx1Map3qefWXPHq+o85uNvfnVuQm3vFcn70rOH8+efFd6fnN+/i6n4nkP2oYHoK0u7Tc1xfETZP+9Xl78Iu/FmTD/di4ODJ9rlNlNoWTFi5ZdUvqOSzxy7mltk5a5iIob2zAiyZ/rZTJGFl9ffHVr9AtZ5DGkW6RuMz3j8iXU8cde5bcUW5d2UdvUC9npumBBSSEFcdehjHFR90Ot3EaUSSFcS8VEEP6WOHfRkN2sG+f4dpvJxMX1pzmWmC08OR+qwTb67eDmgWk3OTOQTumlYz5XHSjmdrOM/rrd7HW0ue92oGXLv64WLUjRN/qr6OJIyUjiUqFzUyGcIFHVuo027w7hZGBRA0Ld/zKu3V/c385nKoufvZwMQccbOX03D84mxWOsY7kB5o6cNklxvOfvdd9wSq9asI7b+f0jvptzu4APLDeDO3QYF5x59vLy4n5WodJXUireMauekqR9e5SkN59iK8cPWqtKJSqWAHMS0yVYPHvjpkbo/3u7Eua+e8dYGkjze8yFvt93jJsNHH4abV9DzU6j/Yd1gzf2y+rVFDbWctH1sFR2iwqno3t5YArzf7bdLZruv/QJZ8Z7vD3refL7I0/evp7WG8xIvGX6902iqPfMu68+br3tWyjJzeHifvJMAmJ+krw5nSBvbrPPPtu3d3MOCPgLRnHy5vLy3AN2mDfLxfbiYt/O5NaJjPPwlDs3mQJLzyF9+94+/P4qvZRpjduM5vT2qvntHAzcScKz9HyqHzwf2WrvF2tUYMRvXw9GfHyz1e6V+iqdzjK8Ep/JJf65wWNz/t7PmaEuBagX6tpMLi8wLi/ia5ALlCSSzpIm8jDznk6b+FDNxUqCdSSG3vQN1cjl+7ez92fd8VD7e6UXZngC5fLAPzd7/3ZE5Or5Q30Xv3g56x62F7OH+kpGdXLtzdObvpo/VKNbqvNbxsVJ32A+YbhwozxuT1X+lJfbQXj+9aFqDssPYi5ynr4CiHKWYyZtABjd+hV96q+q1aqKurfvquU++r/VerFcVsBYOf18KOo39vHZYTPrsyRa7KOOhUevu113E7WL+8WeMkTY3b+rxZ8l3yETq816c9isO1/W10Dz6LCRatHo7fYHXz1g9n7Rdq7KzfLd3josl0v7AhE3qAZf2H65Oey/NdPku+toWaGk16gDJGwoEKXjgW5/4+5Mcd/+9aKnu43I0mzerQ/PQyR49a7atV92nRfjrhsJ+gnWRU9qCjx2N9fl+L+k+OwznL6dh5FKLtQJaONQ17Fcj1QripidFJyflVnMcNvgDzm920+z04dGs+6nX52/9gnlUKE/d7+BLl5Uy8XfukdcjR8mmDGuB6nNdxzlJ1IRfgYqt4On68Mz/hzR1cOozrbjYE0O1j3/Kl1cuD/L9cV+CxZy9oh68hG5/9mFuhyqeUE/M3NkzgqBncqfsc3iTHHLlSwtyrMHYRKfPQeD9uHGHsKY/XAzDD9g8WQMLk7Ln56eOPfY9YslOj56t22rQ2epVAXx3pI2tXRDd9v9MWS27t4zYnY/jXYLCBq6e3OIdiLZFMpqV4uCDcfflj3Iy8rrx+kjinDqx3E42vlTVsPW7z4cXdSH4WLzmnr84xp3Gv6R0lDjj08ocChMC9oSqBIskXritRw4FS4R3ty1avKIT2o9bw8z4WbrO6UnayqrR236BQZ0cbu+WdDivr+cF6WJtcvtuLmYrqb3k/lhh6pe4HC63ExfL8b+6dMnzhqyZW3Rey+kMbYt17b2Z5U/Ix4+aFfN5ZFt29uWL7ez1XTfgivgn2MBw2j/ZRiglR+q+8Mj7Th9czuv6gvfu1MRM/Zhe6u6ctLO8e85L1nMj9XCo+AHTF4tU2ZapiZPsjJJpkrl2YmN8kjLlzvbzsEa/ctUnz4VT6bbxWTKq+3PlYrixBzdTd1EPV5Cre25wD99sawulzswANuaairfR/p/coOpO98u7l5e6ZA2Le7STqWffbblzx/y8ER9rKQq28V0ubVGMojKYro6nDhe7ofbpOIcZf4zGT1yf7DG+gHX+M+4wRKOZnVEwFbz5fbmHvPbRqlRgwO+3h/Oide2m5PxrGCQWAqzk/dvu2nJrNt0MrXTz38/My1lVu2mfO/H9NEf31fbiz/tqrb7zbrfRE21XAKlqujw6arIu9Di+aBxjm49NR9UyvGcng8a4mwergZ15vTNoH728eQIRPdP3gSrkKroEcnePvWMGhW8e/KmJwsGG3XP7PVnX2eJL6uvjhfu7rLEXhz6oFkf5jyvSu18APzvZrCp5JpOUxD686YM5R6eOz73Z6v6/ff/nNwMYB+IyuH5YbECwaxW2zupFdok1TqRGHn49eIw/1O3XH5dHV4/X+w/39V4frH/NdTR4Xm1IlP8T3/05+nx5cfDP08HjT4d9PkwlcDeJ8fjAItHTbVAMUdVXvg2SxVe+Jq9W27/A9P23zBvv6nai2PV/KtH3XL9c4/9+VjRYysmHoZmp97akfDNndrnGWh4qHYoyd10Pz32mu/9WdD7HiM5KeIbDn8P86N7jHx6inRs1ZErHat8rpa3r4Op8E+CU4/2+XzoY68QnPIcIOh6dGFAKVGoN6fe3qGk5nZ33dztJj8A5KR90IfdiXMYjQfBhw3LXhA7Vt887dJ9Pxf2OgEKOx/BIMI7ubIbXTkqaRmXyVycG++nu910+3pKD8Z9aF56kweNpm15/F79A+wa+mHy4xPX7nFNaPM/wLw/UtzuqeL0sTi05ceRwJF7/ziakvL4j+j7W6ap/ygOhDFTBxhdx+fK5+PiTFUEC/xXVyDe//uwOCy7aJDAa2czD6bpdrM7SPwZ13ddj4nzV7LrCxjes/1iJaZrtWteX/EGxotXq8UhyrIsTmqTTJ7bd8C4XjRd9Md3W5YHLVVDqtt9dDEypVeRoJnn+CJrU1D9e7GQ8S/j2lIe2Eq1aCOLDVNvPkcXdQcm24kdINqVRDz6Vk0j/V/UEzfWs8Bz8TQCOOffRRfOwyDRclffKHoJ+3zHWoE9uLqyBh+sWU6/3eY9E5I+7KNbFM4ZfvF+s3NOgt2qaxe0Yyo8e+D1xKDo5aLeVShj6Gunqz3xHmwGpkEdqvVB/MRz1tNNoKfv/NM3/5Ea3hvd3kap+Xtu1/52/XO3f/Wbr4eb/WR++u4v//Vf//rF57+3Nc9vBk8PbLzlBnbGcvNKXzxMJtFlhIGJaXtED7gZI1J/iOrFml203uxWtNIrMqUTz0e9OHzVrUcZW49bW8eY/3oyZkWPMCULi9HFQ3R3bCadJjjBM2hztI4u3dFPH3kOasM/liXuKR587CGjjw8Z7R7iwcceUtmogtlQv+zjD40aNTTpZxo0as/QnJ9pzagxQ1t+rimjlgwNefyJf8I0mQx3nGihn44Tbf1uddV2a+DBBlJ2x2d2FGJmomwGd94MAr2O2s07Jtasnun/6ggTEIvbebQSqU7Nc1/kfwAiBg/itTgZMA1nS4AH3oDSFivKuyTu9pzH1SFabQAHzKfjnG47rph5IPThooWRk3k9SrdCA6ZewtCSn53ib6c+3D6e7B3kyqG/kxqUDNGbnZzlK3h2QI7AfFjfHI/bMVsBdqKfYo7efo03oWwO56BvZqBOTBSaswUMmIgtdrz3eHH8FB86Dv1bpg2uo6vgzRgO3+OvFgT+t4LpHD0Zw2RyHQwAvUcY6fd0zUbbXdfIMAYtecvZKCg6OQGG7mS2jdo+/5nG/6ImP9nsn86GZmdvm+H+Z8GtPr7xnmoXAojru3Do7KU7VujHH4ev8zm/f/YZ++MzyiVOwBA76ZG3T/TIW94+9KG0QfTMzdCF0U9Pi6x18M+hIy4UGoQ//H/X/fX95IoKEJWo9uT1mOCnnnA++h/HVDI89c3PCszqcYFhM/g8W0LUsD7lC2nHNJql4+RwWxnUGYLLZ8AoHvO7cdRHonwqQHduEnH+CPCE84JTZU4iMJpN7tbRxfOZ92gtBVYo6+fVpJg4OA4KoqxRyKP9ggFKRiMA2I+WziJm7FgcDETzOMCdTRwGzDIHEyNK8XkvOHvRXWKqubMX7wWwz3Q+IdSP3vsnx/fvQ8H3gnZZfGOzHuWczDLcmcXBCP3TXytcrvYHWCYodoLSZsHsdx6m6CK4kexGbj6KiusM3yZ/v2/VeE5u6dkGwIXNowtg3DQ3Qe00il7YeHMwhSa2n6/tNJmzf8MxPh8qXKP0iU50w2LFz4WtoEMrnxF+MlD2lsfF7OMiOXnEdbXFJPceuccl52KLd2yHOXixQoW5SibshFA0ZcTC59xj0zMJOE8Z2frO3gbSyrKuee7u7ljA9kQSjoO/WqyHyVr5TqqfGvdjHM/VooLk1KhDhXfWN+PRI78Wiw0chekn1xFf5QTIGkjoD/fdWkmi+vUprOLZf33Y+qG0j35z5CXy7Dc/I4mPTNa/ntXnm5MKfeNqdDYz+SSMhnfL7QUtwMkVKzmJ9k21tMyKc3VqrUPRJTz6xioQ6DhmJFu+V3evFzAS5fLkyPL+4CpvrRLYbrNNP3P232K9hbH63KLUqqtwGwscWaKkf+sNaN5abMdq7cfgpGtPvFx+trM2x/79Rzv8ETmioEipos+o6O03TGDadPjuXuKvD9+Pd9i3+hvcV3vda8ixN2d6FFknXa5hlMvzCAtuGaaab/HQ0tmZ2LeOdbn3UjGeXL8TI+y8XscnxhLaPiGf1rP6q8D1av2Fx+GwHs1vTs/8eXRmcAaen8Jd53C36+7/cP7E6PS47HpB59f49fs3PCHFPjlLTjXIU7OvD4p+ci7Oba8EXPAF3UND3/hanjTO98wkePZ6eJYtdQ2anvaA78LJzf+3qc4TwgzvBgfH5NGsh9BD7Hv31VETvhKxGFirsNUzqZC8wacF41Gaifttk5/hbed3HJnkWeRCfFp4G/kbXxn2qr1sta21cuZefOQaaKKoVGvWHC/O3NXzysZ42wWNEpZ3aS3cK3smpKdDDV1fsH7dI+XRuortuL2ACr/mt9mYpBHOL+hbuJU7L2mNXF6uTy2bocD7I++4784Nnf3APe6ZhODZ9ZgNMOPv1WromZMbeSngGfuzQAve4qiUf9QNr8c2cdZ/JBHmOBPp7f1/dIP/lQ==","code_encoding":"base64(zlib(UTF-8 single-file Strategy.sol)); imports only supplied AMMStrategyBase.sol and IAMMStrategy.sol","base":{"source_sha256":"c68887cff61180e12ba2b1ceb333edf76a830f91f63b5d775a8806fb9ec08aca","runtime_bytes":20605,"unchanged_tables_sha256":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","artifact_body_sha256":"8a6e303b662e1a5ea9bb47f31acedd3988ef65b3ddb66d074517aa59ad41ca40"},"inputs":{"math_artifact_body_sha256":"22122152083d7c876b3475c321fd3c85be79de48419965491d117f095e3d1905","math_code_sha256":"77075345fd956b35fce09dc6a9b59135b18276c0bf4a5a21bdff060874b90e92","runner_artifact_body_sha256":"b0cb4b28e101ad902ec383c2d4142b6e9a9dd10d229f482b47ca81b273933495","vectors_sha256":"7483623d551bd6334547b6b1fcd621b4d721dd2082011b6c113f083421396947","research_commit":"66604b3426d8e97a73e2c39940b9b4dece51cc73","research_fetch_files":34,"research_fetch_mismatches":0,"engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","unpatched_wheel_sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a"},"implementation":{"changes":["Keep exact handed integer reserves in slots[3], slots[4]; previous returned integer fees remain in existing packed slot[2].","Only first own trade of a new step calls TellMath.isArb. Off-grid pi=0; on-grid multiply retail likelihood by ulpOverGridWad/WAD before existing soft=1 posterior update. No unconditional pin.","Later trades, fee tables, interpolation and other filter rules remain C0.","Minimal gamma-collision fee guard; shifts counted in slots[5]."],"compiler":"solc 0.8.24; optimizer 200; viaIR true; evmVersion paris"},"gates":{"isArb_vectors":{"n":11856,"mismatches":0,"first_mismatch_indices":[],"gas_inline":{"n":11856,"min":13885,"mean":16554.453356950067,"p95":18317,"max":19704},"gas_external_transaction":{"n":11856,"min":37117,"mean":39818.49890350877,"p95":41581,"max":42956},"method":"Candidate source with vectorIsArb wrapper calling its unchanged TellMath library; solc 0.8.24 optimizer 200 viaIR Paris; transaction gas includes intrinsic gas","pass":true,"gas_per_call":{"encoding":"base64(zlib(little-endian uint16[11856]))","order":"vectors.json.gz input order","unit":"inline EVM gas measured using gasleft() around TellMath.isArb","sha256_uncompressed":"5940a2e098d9e67834b574f92345c3ea584596718aeecdd900b0bd63f5f9c302","data_zb64":"eNqFnAl8jWf6/gmx1L7VFlJCtCGUpOe+nxNbeO/7eRPUUvuuQjWK0tpqbymtWFpKrWNtqVCVlqGNQRlrkWqJpY1QEWusCSXxv05q/HU6M7+Pz3RIznnP897LdV3fJCejdAldVyPFuYSZI4VMnDRT116XvFzS/qw19SKt0iw+zKspRW45NzyF7R5J1IduijNRirGfltG7tN/skxNSVdMkVpKczvKlevWGfEN3JUw72Q8pzEmhBxKoZfg908mG6CSpwtE20iY7Lq7pr6nSks46Z7mmfitCqzlVY+Ua/mRKSXtOXtG6koi/XcErDJUUyfKkSR3dbB/oD06WtNFw2eIOoUBbUyfYnTRcSphudo2e5QOO0CxZaYKETLB8JCMlhFNkhgbIep0nVz3xdFD+boM1jPII6Ze6S8Lx3/Y2xXkJf6+v/bWDvKzDOAAn2UOnpIIEcpqUk2RnAxfWB3pCi0qG9LJ1dI0mO7MkSCfKGpOqx2SJZNIeW1zu01SJ1k54tSDNMLftbnreZnmS5b5zTDpxf94ub1IT/cB+KiU1UWtLgAw34drFBIpXo7Q3VdIjnm3Uhdqon11FBXUb9ZLO0anSiHubqVITZ/1E0zVQh+ohWqi3PVNkvYynQNlEpVCNHahrST0qw2U15+V59poYuceBEiqjZIc00TD8712Kk166SHfj/6vxJOcX1OB3+oBOSGG7F3eVmvvoE7JfvyHUhhvaPJqhc4QoTQZGC0XLfAqXz6S1+uORNylbvXauBkuGplNXHS1nbFVNcnpTjhNPKTRHznJjSpUFnqma3y2H/s2RlbadOSTLaDyudEia6yJJlwyeKn1RZ9/pEjhVOlnX7pAy8gUny1UdaUq7SySBQnW8NLcf0LOmpgzB/degrbQOpwuUCP0a97bdGaSLtac9Jc1MKQmU7tqVnKhfuJWdoX5mkQ2nWTqFj0kFN07WYPLy2zlSw7RGdZOcWPQthb6Uf1IjvqKbpBAeV1Mb8UrUZIkO5TFUXvfLZsxXI/bXU3KIQnSJXnLChb0T1NVAqsS/cGH7QGrp6+41SZKF0som81k8to2tpKcoUtKkKqozUQbKMflWZ1O4rvYEyO/2W+mGV9sqc3W95pEU5xR11AWeytIl6oSUksJ6VrZqCdPGHpOiMlZcW116chdS7avPuadkJffReXaz5rfjZZqkygQNlQV0gIIliTZjBmbZUahNGR1BZaUMr7BzOECD7GoaTiXxyFWU46mgGfQLXne7sxCvv1Vq0DG5zCE6AeecYT/kiXpITmFOitp5Ek6dbTuc745WtaXw2NOyxfGzPzkpTl+ZhU1lbz0eQPMkxj5gL1QmxQyUFyQYJ9uDP1GYmmHo1QnpbObavnLOKe82sQGy1obLSzpD46NPyW/aj1OcR1KAl2sZN0tynCFSBZMitAYdW43tNLrSdNZyqGe2ZjmBss3tLgX1tKRQb1oivsl/UaN4lhTV5dKNhtoK8gu2JFqGyV48Pl1ueB5wVU2WyrjHONy3b8vnyF094PzgrNEUpwcq3p76ygOprs0om9rbG1La3S9hkmB/cDK4qIyGyoXKs1H+2JtYuWCXa20TALW4rR/QJzKaT+koHUB+tq1sow46DrPCGo7t6EGtbBA/lFBTm1+U7dCxhdxXqrqX5FvZrSFQoVi7Rd52W9k60gu99MP0vC3LPK6uQlUy9ZAdjV3ro2kOYy/8sQ1FMWdnnYm611aDui6EMnUxVbUzdGAoqjMKz5+G6Uyi5VJJb3jG02IZqvlMpOZ4vqeZOkVmUx087nubKnmgRylmidZxxps9VBAaWFLraKQOk0OoTroO82yXOOjiaFkEtU4gf8xEMhQrmLbRHYmRvPYml0Onl7gfyRFOoShdTVuhzyOpMv593ylsj4qHD8kqKPUOzHI0p+NqoVpYr2tz2xqvl+R8Al0bhRqckk882FfJ8Xh5JFXVAnRNGnkuySlzVkPhOklOGevT57cpVH7RzTqAX6FkZyD/ihN+gI8lO5Gajk2JlTtSGWc94NTVTPrNxsl4KNmPzi1Kcl6koZj/1TRMetoRNFXvwMVWQUuqa2HTC71K11a2FRzBi4/ux6RXxezN1Fjdgllr7b3v+On3ns6yCzXshw3ri2d39u0L+lxXt2MTFpry6roxUOj9EoF+ltMZtj2UKNKedrp42kMpkpyDqOLX0gf7sBuq2lirYks7yyMP23zoyMvQu5lc06mvy7WS/sJfcAQlYr8Do5OcTnC2cLzKJvpdm+kSN0V+kny2vhbi8uhYplyBHrS23bEj26i4RNogzHcczvod75aj8MZT0pHbmc3wju+g1RN0izNHTzs+HaqO5+xxBsr3XMlleCdh4o5Bp087q2guPttGE+gnJynqgHSILicxmgAXfxH33YnD7FvuDK1gmtu70JE1eFw67jGJTulA+Rw9uCYhmuOcQr17cy/bBG5wCA7YX96JuKC+2bgjVUyk9UMnJuBx7SgSc5YK3ekr17FD+zhYGsCHy0mg7U2+66c4HWSx/qgHc/ekFO2R/vqsaaMVWkzVrqhEqgzF5G7CzmebT7Q8Nn67E4ydGaPXnWBdZGMozUmRA06N3AwSDt/eRof1DTeC/KD6jGc00Wm4elPoQUvaK63dffIJcsEgJKP+eM4dKF4dO8N64deH3AiO1FfghsW4tFveVqQRyFF7oJ9fYqby27pID2Wkt/HKKW6NisZpiCQiI1XVtW4Q75K62gpVquyNle20nb6VElwTGSLZmYrti0AqC8XZ2tu20f5yBN7nS2VD5TWeier42Zd1hWPlNg2CI7t2sxyCwg/DDswkDxypBE+QS3JbkR+sL+d1N2NoA7Q/EFNBWtrsRe8OYfuGYa8qoPdhchE5Y6ODe5cNcOltvFhToV9LZBBOEoFzHENX12DXq+o5qM8GWotkGMrd7BZocTq6Vd+s5LvyrkTZkrhSKByvOtRll7TiB/KSdLZTZArqWVQfIJXkd9WGmj6oRjD+rLDDUMMpdBz54hrq7dvI8jhdtrbWFZiOSlC1JqakveEpJQu1tP0Ez/FNSAQenexcg3pnoLYJtEkLyky9Z2vAWVOcEFWcP8eZKZ2RCg7Ki1IR/x1HdXU9ckh6rk7e84SiBuUwIcuxjcHGa130OJ+thHST7OThHqhWOJSlv51PodTJjuQy8M78yMZf2gSoiR+cZAl85hcoxXg4QJpEymYkmwm61mmtw2WiZMHLt+oX0KipchKpyA9ad0ja2jb2K7z+ViTIUAmlnpxOW6Gr2+GWSGnyI7t2GK7Sj6cisUyRd8kis8wUX6rrip1Mcobq1BbXzVkJgDuflgLQkY3OdcWro3LL6L5Uif7eydBEKirZtogNNy9E3bDZels9FMJrcZVpMgJONQy6ngb1NHxJHsoBnqyvmZ+Rco7BZ/bQdWcZTYAm7sROpSLb9MdUNrZ98NlAvuTp6bai+06c/uSkQW9znClaVAvqRa0k/pqNeRkqqp9hv5OhZOfpYdRPyJqnJFK/xOd32/LY1K+Ra0rJ87xDhnEd+PZEqOY6eFYzuOhuKOEWp6Tdj83Hq9MwDcJelUSH/eGMQ6QDNrExZepFaFogXh9Z2g6xZWwmBSBvPIAWj9JnXTWuLcfvyFjsZYrzCzJNGJQ4SlOJcYJ0zHEMtChcM3Uh8mshnqGT7RticZa90OS78j6mNQbXC0S95moUdbTvQ62PyVmy0decivDcwkjJeZD1vsTszMIUvI/HBkuI3CLXBiJlRJj98rHnNGrUEX0NkoJSRufTRahAklMQKe8XicdsbMK+nYKe9YSiV8bJfazWVApyoVxWm/OY1QqB1Q4/YbWf/8RqX2q+KB+rlYVWFsUj/sxqbR+z2ob/wGofgtWCwGq1/8JqF59itYynWO00WK0Wdqmw/Q2vEPsXVot6zGrBoJNRNv7fWG2aLH6K1QKQ9Segxz5Wu/CY1UIfs5ovrf9vVgvEJKagg8nO51zyL6w2L5fVloPVDv1XVksEq93wpOSyWk/u/G+sZv6N1bog+ex7zGqF7bonrHYsl9VGgx262ZVgteDHrHY1l9VGwm9X5bLa1lxW+/UpVmsKVvNpYOz/YLXQXFa7kMtqaU9Y7eh/YbW2yEIRT1jtci6rzUDm+YPVJoLVaqI2f2a1U9ip/89qi3NZbcMTVpv7hNXSnDE4VTwyXJvHrPZVLqu9+T9ZLROv/gerbQSrrXzCahUw6V2pBVitCfT2ASjlD1Y79F9ZLRmsFqyeXFbL+5jVPsHm/jur5SC7/IvVQh+zWgUq+idWS3nCaqnIJj5Wc6GFNVGdqWCGY8h47z5mtdu5rLbnL6xW/TGrVeOLsgOs1jOX1YbDjcs+ZrXuuaz2BVhtid0NVfyD1d7PZbWkJ6y2BEmyVS6rVQerzbULc1ltKVitMB65DqxW6jGrHXrMarX/xGrvPWa1ULDaLInIZbXWj1ltk5x7zGrJf2E1P+NjtWSwWuWnWK0oMsH6XFabAVY7/ZjVNj5htWOPWa2YVv6vrNY0l9V8W/oHqyWA1Yo/YbVCj1lt2hNWC/4Tq6U+ZrUUqNnTrHYdnf7B+RLT62M1PC+X1cL/I6tNfcxqWZ4TyIM+VqsC1anwhNWO5bJaYbBaAlht8hNWi3nMauGmBlhti6x9wmpfSyI86NtcVhvjtrdhj1ntGFhtAVhtyWNWGwb166PXnJDHrFbmKVZLQv8WPmG1UajWv7PaSLBa7FOsFveE1U4hTTWQtFxWm5LLamlPWO0YPPz/s9owWfEnVgt8wmqXn7DaL5z8hNXe/B+sth077fdfWS0C8/RXVgv/j6zWMpfVTjxmtZQnrHYN07ctl9Uy6Ar2PU5efMxqjcFqgbms1s8OyGW15UiGFdBzP9MfW5quTaw+ZrWj2IryNh6b8AerReayWtJTrNYd2agzKvIHq+3BjP0nVlM4vI/VeoPV7sj3T7Fa4mNWGwJWuwdWu6t/ZrWiT7Fa8L+xWoSucpOR03ysljeX1TLAatlw9X+xWmvs2F3MxvhcVjsh7+GkL6uP1SqA1fzlD1Y75/h0qCxqtt2J+R+stu0/sNr7j1nt/cesVhDVTIDy/8Fqw3JZLe3fWO0n/D0Iue+tXFZzclnNCwW9g6v5Swuw2tAnrDYkl9Vq57JahadY7ROw2m7sSao885jVmoHVJoLVSiBXxmI7tv4XVpv7F1briTvb8RSr1cxltR/FPmG147ms1v9/sFpkLquVtKWRCZc8ZrXgXFb7Fdo3OJfVOj5hNT90fIsb8ITVyoLVtuSyWl6wWgjucCZScfi/sdqAv7Da2qdYLRGsVg7XeprVzkEtkB+QwK5LX7DaN9D+P1it4n9ktVZ2raOPWS2eV4LVmjzFath7sFrxXFZbjsesQDIM5lfBasGSiW6FgNUe5rJaeaSrYKSCytDn/aLocMO/sFoTGwxWC8pltUX/kdWO/RurVbU5f2K1COzcnVxW24yTVvgTq70KQgjB6RkTNVPa/p+stiWX1QIxh61zWa0askMKWC0ml9UCwWpLH7NaUXinj9XW2G3QnqdZbUouq7lgtdQ/sVogZvGrp1htey6rdcpltU2PWa0fZ9Am6KrPLefqZjn4FKvt+gur/QBWG/VfWO1L0MO/WC1TfUqTDUbzsVpWLqvVoyBeAQ2ZJj6nGgYd/L9YbepjVkt+zGpDHrNav1xWmwL9+IPV4qBWxXNZLUf+YDUGqzmPWe06WM0P+v8Hqx3EjOTF/P+L1UY/xWoLQSZD/sRq6ZL+F1azuayWDVZLxzQ8zWrlkDfugNWGgtVagdUCwGrvPcVqYf+R1XzZ/nf6g9Ve/o+sNgGs1tpOyJ3Mk39htTX/xmp5+F+stuv/YLVt8K+t+G/qE1arwvk0n92JzAM9gHZ2R86egj75aRutpp9i7sLlN89qSsbEpDmLwVnHkdcPgDEGQe3KQduCkTKaR/m+7uy1VfUZZKR6uFpbdOk1k5cTuJp7DDk5A90dQitBiVslDHuxxYF3o+q+r8oEUhEbEJHpqSBl3Ltww+U44e/anvIiPb1Fm7E/u5DP6iFRVcAOroNTb0LSWEdHoUUt6C60601OxHUKY0PawLWDoeaxMlBa8Mf0N9kLTTwl5XUkKr1DqoHbh8pRTFe6NoNizMLzFNN0FzMfrFuliLtVrlKqrHXyYYIW6m3agett97R2o6E0Mbku48JtWnGslsJrNOKB4pVZ8EV/ZOcZ+EwQqvI7ncC/I6DCadj5B0ihyY5Pu4ZpDD430LbiUjZTG4P122p+e4Bn4USZ8jenF3YuVkpFR6CC2UiVybmUs1Dfh/rcQXo806Im8lZ+uMNe+OjPHMD75Ufk0VI2UevxsxxpJ0VNwoQis0Frg8XIeJ6BxNgJk3MY6jRVM6Qb9DvM7kKyWYqZDsQGOPSzW9FMAB+Npe8x0155w9akaGSTgZiG2bRY14IbArGXge5wcGoM7vE2Bel23FUhDtLOmoLzJjlzUZVD+NivKtRMB9rtTisKEx93dNJ2tBiKdUya0T6ozTVtRVvQgdEyyqZhYjbbQN6sLUnIl0nbqIma4ZtyHag+uomDusZCKWPlJJTytKljwawyT7ubOIOJkM+cjfjjZ2KkJzY9Eu67EOr0LZQsBSfwx8z4vqbiT3ndNTrWNoPjRKlvStaiJ+08RZFPUpzXPa+ZENzZ52YbOpcmEzEn16QH5sKD/x+JzDcFlTqGySvEW6D515F9UuWITtB9YIkxYOYcp6A9i47H4A5q6kIpyPcx83MxZS696k1yfpKLILFkvojXnmuLwkO2S2nTjx9oXVC9P2qzA5WKw/w3MFslnf3Bb+uRinqD+F+jWJ0GMn+Th0HvPByIvVsEdYxG3khxfNq1Bgr0N/Sor+y0A7HrAzEjLrg6VHZqEtTwa6hMpN0EhmkJV01xLmEGFvMNz2lU4RB0rhfS/DHMyCVPVzhIKJRriR73xGFDj6OPdySO58oX2JOXkcZe1k+RRDYjr1yEY57VetaXSvfIJtoEer8BYmlv0zGxVe0pasS9UO0VWh/qFox9CUC/xtpwuGU69YeSVoIzfWQibZC5qLs5GnO7RR55toMUg7A3zTEhU+EVn0kAPr4VW3IMGzLabaZ7+aEzTMbipKPkAC1SUKNUwtVLQ22G6lu5XheD2WsIDW2DPHEMnhWAigSCDbpCBz6gdCTP8roTuXqjk04ZtAguW1e80Jw9ugn6Vkmno8qvovvdUfNz6EwfJMEI9Pl7mogkHirvYWI2mEyqY5vpYf6NW9tkZzzni96Ex19zfoUCBsoGvY1+vOHWMkPlDHZyoxS2H+s6aHYqNHIHrrcY81BGD6u/5pNUTMs72I41JlguOu1tR3tdG4KahrCg2h9QBKr1vloqajeBkN+J6ookc1H8kWiTnc/pHDLATu5ktwqYT0cibyZjAsdLI3wkx/mAUjWVs5wFnmxzFdozxs1xauMcs2kuKjFTakoDczrKD1MXBi++Az+JRvI6q/OcLM9mrcGbQFvNkcHzg/jPYu62g3a3OA1MKnqQLjOpB7rrgTrUhC/MQSaJ886Qepj2q3Q8KhPVRCesKxkguBRnH+jAaBz/gnuqYpYhjxbi/O4KdGCzVrPFkVA3gHSDpbVkOVNx9pHo8CF5GBXpRtrCmJ0zmJBT0gNa3dGOwL2UQFbahNy0B7rQ2VbhUDBzeZtA4cjg31M/3eoO5mTpZd8kRVZvjhO28/TEq2VgLpKdOExWL2Sbl+DVEXYk+dwqySmC+xyIGSwlt1CrTPlVh/J6aQUV/p3KYAqC4T7hkkSH9CPdDBVr5wnCbEcgzRfwztXCdiOu2xlOFAP/TaQgpNxemheanuPUwat+QF/ofOxGM30dm6qYnD1OBO3BprWjlyRIX7dvOS8h7xzERpzlKG3Evu9RbMS2n6Ew/XuLgrYmXDVUl1JN/dQbLP04SeprF0+yMwddmY1E5C/jKdLelQ7IdO1tslkBVfb9FEyE+nEf+g6vBW+33eGmAdxWL6LLJzTWerih/o5cRNDE+dTE+mNrC3A4mC0ez+yEOvfkSHQ/BIx0FlTsY6limJONeHQSskIitKAVuh7qhuEEkfai7KYx5K/hcMfj/BDamuMZB8fIcqrZ4+jiSWSWMOzSVKTJYEzNI0pDZqtDrk2DLs2TImajUxW6tgQz2syXz+iBNEE1d+OufF919H3HIQVVKQ4Oms7NdSd1gBsf56NaxYTY3ajFKTwvFI+aij934VwKjyko2e4mTIbvu0Vv8BpdK8VlpRkNffuEajoPkWPSnNLY2zLIax1V2UeVZewmeO1M5Lc2FilR+tBoeMFLWooPyDr1afcwqM1EJIzl3AAzUxT3/73Tj4vBG58zAeoFn22BPmx3kIUxARPwzN+hUtB6+M1m6GcrKhq1h16Cr16B9yq2KgCMckHPaCUr4OjrcgVKNol8hOTF6Ubr56h2N1BxN+sFJxe2e5w+PMzugmd7cdpKOFVF9HG0DtN/QE/nSD39HrXKy/vsBR8XIkvN4Qryg8lyOto78GfwMzT0AiYg2SmPXo2hS/j3WmlA29jHVI04Q/fKJvT7pBNlF4FLd3OsjKBYGUJDdSbNQr076kanjAaxQe4ojwQxVS5hLz63XcxmrY/7CIej+9lssPZ46G8cb8Wed4R6ZupYJLN+7Idd6mZ9/LGTNuO/x/HRNVDMqSCJEKhINmYjyv7CL2GTTuHuQvU5TEAQyLJqw1Cph0x1TLrbR1wGdf0Sjn0dbjfWLqMQyRe1nQaCjMKRJnzanOZLPHYwj1av/QTVWAQl9lofEQyER3bx+GkV2Y8Mdla7IEEJZeoM41PXREzUJ5QNJfreOY9ZrARF9n0VopR0APUURwJJ4jDx3ecqXKk8HrUL2dOhGJDefp2ODLwRs/0AHfflan+5IeG4p8M2gn7P/bmbWloLW/arvoe0HQl/jkMyGKrxVM3d7qxBdV3xfV10K7YmzclA1hiPLiVjmxWMW8g14KDf6XWehjoMQ88K8QpnB16lL1ezr3tO4UpbtTAP5rkaC4dfgvOkI+P2kmhMZXOwTDKyyEL0brNOwsyly0m47iCZTfW1iFsCKnQSmxzMfeGHB5z+8gqI1SuxOpLy6DwkgCTnU13MczCbmGkoWSIcyA/UsQr+cJj3eaagsp9il7c7ablf9QvG+U/BLSdoz6jmyO9H9SW9zCmgkSjbjubaKUhrE6PaaDOaIxvdO6gcVB0TF4qJ2+48g8mMh6PU4ka8CUl7K2jfR7N5cb5M1w9XOAHGTQQ99Mdr3SJftlyGaV3IlUD01yQI07YJ1Ysg37OaSgz+vVn7wU+baYiedHrqm7i/BrSYgqWezcIpU5woytBo9alOGlKGx4YquWFOJfRlrZMHPhOEpJJOi2RFVDz30BPIAhOwBXulh8w1jeldmgjmaIW9rYOMVAr8G6BX4fovoSb+UVMwsano1Va8ji/PdEeW3ARaTJOHOlrHmxnaAz0tgdRf3VsU/a8lobqQO+E6i+xoGo1O5eUfUIf+2tNWQPIfCm9aKOt5HhLGFFAVRftedytm01e/ONTeC6rbbHLkGftPKO9xzyIktfpIIpVkJKfQzzYFMzmFP8fjdmkvKY7PVJbb0EWcXMrpc1Ht9RB5ZDK34CF0Hd2uaJbKK5iv7/QIpuRF3NdCztEv6TPphA7G4zT7MCW9kQoWcC25RsRh0b6ftsmm3vj3TWcYrZA8SPHF4OZ16FXqogmU49mpS5Hj6sCh12FWy9NZfpXHaE/uyw1lJqZtMFehc8i2m6gXx4Op1IRwNm1A398DwS2mo04d+t5TkarLEV4qP0hZHUfH0ZfxqORKSjclZR1YqZ/scqZrRdDmOl0qC3QfdieGonUVxctP0tmb3+TB3+voZD6u6Z65YJiGEdVsJx7gjJM6fNmZyMHUXIZD70fQe5RPzzuieXS7KUXLeKdMpTFQsbkSQqP4PBSyrAyAH3eRynzU6UGpnu7SW5roj7yQT+oAePxWGSGB/MgzTj6iGNrLkfQ2alFeL+gOJLHzzheUAIIrq/PlLB0Uf5pGX8vXUhH7+wuq4kcfy2lJ5XOyD/cwTtvwcWmHPAZXR178yJzDthbgPtoSZz0txbQ3rlCSymBffoKOn3eO6GgqbY7IEgrRV2k2jUA2zqQZNobGalme6lmN5wyhHrxAClNjSveMpssg1bGylC8he31A52UMdLm0qYPtvMh7KNMTjYkYz6XlMlR7APlRYcoRgRrfdCrwCjqik+VFW8m2p2paUIfxERmnQdaavVLG7uMNklfr00oKI0E+jrHnqah+LBtwl/X4df1Yv+F4TFo8rUJVR0iGp5au5Gq6Xh54XqZM+p3OgGIcOEkrpJGfpCWy8QG66ezUy84yyaa2yPvldL0dRkWpDnTzLXj4KvQzAzP1Mj47hBjJtxAXtzflnkQbkvnyg/c4pvtTU1Sb2BH0ISVRAognHh3x14ao6ToKw068BM35TFbz5/SbllWHe4OtFnBnyaBfdTi61VA6kMg6ehSFx9OHOgLTtYqau8PlrNbhrvKx9uJ2fJmOyFbU6yHu8TVqjsxRgf2pPF4pLw/AlqXzaUxqGL0F1qvOV5whULR11BlTdFn28h06qWNQr8NcTMfSFzwIFY+n6ZpIw228RBg/etfuo25agD+kcdSWy2LD36RH0hTXL8X1fd/VAB9dc3/GZ1pqO86gplTN7oFulSfSBbjHTB4sz5piSFx9dAlVQu6+KcTLzV165ByiSfINeDkEexitvfQDTPyLehCcNVRaQL/y2Nck04M+oDa7aZK2J+gHXUCyew5bPEY3Y86W8XDUfTrvBF1WVz+QXkdXJT9fA/MsgHd8RAOw+d/TLcnRM85OnGivVpcHfBVccAG5JAt6qLRPSlGCJGh91OYIOgDaU4NprI8McRKJaI1E6yM6hk6d1GnUFYSZRH5Qk/dMNUuaAU9tqPkx7eedX52uQpi0PlQJkzSSO3Nj6Kwjw2UxCLgdMmhVVC1eB6Fn0VqYussoLqMf0kj06SDloBLxSKE16U3aqEed2eCzVLqJ5O2vAbwOcxmD6n9k9lAeSaA+VAtMV1kuYttvyEt4zd90dUQifUDHmHUM9ncZvLWu7MCcd4bb9Ofm8glVxyyDNrigCvp1Gvffh4rJSNqgjzxnebBJwP2fd0C5Ms97khfidS47IRrFrfUFrWFayHTkwFRPFJLyfPDINmjiJSgiaB6a8Yqe4TL2eTubBstv2Jxu3Cz6c6kNfUlDn+ZLBZ6ETuxy8uF5qXjV6uh2S3qG0n13DWXIpG24doJ2g7Isxf29ySXlln4EhUnwhvDbmPiu4JXtNEIGRt/BrBU2hVwvH+ZNdIAq4/Uuk4O9bymdTVts+glpT6/TTsmCaln5hvdAcd+lKzqKo6EBlcBNS6Ce3fAZsCVleeCJ/BV0sSRy4iCc9iJfBtUVg/qcR5ZKoVJmHyi2LNJ6VTpu69BgXmuHs4Ptf1cXSUkaDOUqC+KpyZPlV7hJiD3Jz5qReKW83FU93FZ+Zp8GPHIW45zv0K9STlqZZ2wIpznT+Zbzg3eTfEg/yi3sbVnMfyB/g3O+zjVR+c+xTae4Iz/wlKSGUlC7Yn7ayy+6BP79Hn2HTP0rPKcW73IGaVhUWanCfnCSj6iVjANBd4Y2HNXBUNKi7kXujzzwvH0kI9CraRRJQ7ChP8kCbFcBfQkqfE8GovZFcWrUUn+SIxLGn1BtKG1bqQtSGCttzFizkVIx45eg/DvMJtzPIz3hXHASUL3lUJNEeVsfeD6hdbjGESSPevYFLSlL5G9ywrmF7e4DTpmN5LiCJqNjxeCTNekVfcPslHJ2nPTGs06jhn/no7IOm7EB8xGEnUvFvV8FwZTRMhpJLaL38ko6QVVMioPEoN2xOcuQr4ZrdUy/F51P9zSh6Zi6NMzxZE31+H6W4hF8cDIm4GNubJfIr+Dv16ILUx9pBq0bKvt0D7znIBR6HVS4hrkve7Cx/TVe6yKznndKsM+HnpNrToanNe71jFMS6n7TcTXHc1OtOWwqwlVr62bTg6cgT4zkirake4KumuvoeEupZQbr85iPBua801Dq6gjeQRX1TTiKazrrK7Ld/kMaWD/owUC72dxCVd8yr2tht5QdyOM1k98yZ8hFZkJPscs3kAbbUytqawvoEV0BJXsT/Xrg3Qlv7y7JOoGn62f8E1xxLzWWf0gVE0PT2d/2wl3Pl9/hkMYmwbPr2ufkLM9HUlmNJLCZ+tk0fSRe09192c6XPBLF+50zTjGO0lK0njvYwzwL5PYcKh6Cmb/Lb2pJ5NQ8+g+54yahUl/Ci1/nsfZ11PkO7uG+PKtpGuOJsSXA+S/ZTKSrz3iKvUpb9BWKsz/qRjsQOzjW7ucH9n1+izO4Gb9gi2sWuGgpX0BWuAzaeMa2AHMXpd3IIpk461IprSOM1/RGzkhxtukIaQp3HoH9+ZnXmItSylagGvotJ8g5OSMpqE2655GMM18jbaTLYO1gO6JHJ2g1JidBO/NEt5AW5ETsUUn40zQZTVtseVrtjtf9TiXThnvYRajyd8iWA3kTP2MNVDVBH2oWh0skUsh9J44H2TbcTKN0FzePqss77TPe8dxAH9g+fN9pTyu0JKYn1o1j0QO6iVe4Yeas7LFXzVG+L++DqzbparmIWems63kR/HufpJilIOZ16OQke10OI1EMgEONgRpnYRd3Qd/3yadaAufeD5c5jxnuaVcjmYv01p4SQ8Wgz9nmEGi0vPbhLC2N/gzQ+TReT/ISPeQWhpYU1+b2Gny/hnlNz3Jj+dC2kHe9Ar9ZKh9788vPzmWnps2Co6XBo/q6bbi6ncLneRi83J9a8D25z2dkkBmBkwdELzd3bDneiX60optwufKuHyVDTzI9F7mu9jP7uRjf1X3cBvfVnc/Lb3j8XXmX6mNC69qzyCmpHg+UoCTVxJlaUQpmZxGmvrrdaLpqDG+xJ6WBvm9OYLaXSke4egc7B8o8Drk6Hl2eLwVlfURxTecEPHqj9f2E2SpUZLWkWV+1P+e53MaeACv4UW3TkCNMY+nu/U2fd09xNk7WRVsg/+U3p7UZk4ngZbxI63hHspUc6MxFuU1HsVMVOAZ/DhujD5H6F+l1uQvNPu+Ab6C1u5yKyJ6TtCMX4OpucWmGKa7rjgAHtdZAKoqUtMI24/nQm8Hq+8xIzFYjzKirB5HmrukzqE9xXWRydCUdMInI0a9hJ3tgRw6BS0tSURDHdVmhHvV9nX28rkX+uomZPWMa4lk3KRIcslYvQgEq8/t8hobQP8230Fo/JIKlqNA/JZZ7cU9Q13lnPG/USW4OlK0Pe6C7CVCdnfC/DM9+HkNRXAR68Hf1c0tSoC2c6z/hYKhxSAo4HZJBLfEgIb0KFcum4+DJVjKFVtFWfg3eP0iF9mqm5z5ep4ZpBq0sZ0dIO05GBmBbn35Ef/chM+0Ey9zhjzEzXUwt3afbcP6X9CWoTDKUoSpv0wJwuNMSAZVbKq/zNJpsHkHVVuNcl50Y70vI7zvMJDBTN1BnjseRo9xcN6O6UGiJdd4w8fo+P3IzTDPe7F5HZlvPe6BE63mZdxGttMfAhOeQTfJ4s2gyfD9HLyDpZWt58zaydzFdbX9FZWvzMc9NJwX5Jozv4DXKYmq7cRPcVQ7u/Lh0Q8atYmqYWtI8IlveNhfh2M/xGac0POhFGQ6P3ELFbDySyh7KxrMvUxOTREHRCVTWjsSsHUQ27EBduJz6Y+M7mzpwsVQa6frTHc8dTzwo+Wcw7XlnqR7kjVREavBg3Qqy7sD7tKg2MI2kBNdBPaeh3y31F77qXHXaoQcbaR5S1GLo/gmpgfzXlq/ABRcIcpBF+kLuqmVmQx1z9LgWtU3kPVQukZrQQJz0a6cJBdhQvo3NryzVbJw8h3RQgFuAZQQ8f1ITpBD8XKG8XTATAVrZfomcEMTtqaXdi72P4lg5AV7bh3Q0DH0vwBXBQ0EgrRDkh5EcIoOQqUvKu3oBBF4M+l1EanEZWokOlsGp18OZ+msxzuN2sGt1lR0uM+k7NqYntD0aepWj5bmyvmjSnFoyha/pOcmGRvhTIBd2DyIfMGZsP7+mqfwB6GY8f4uz33QGaHkxdivXMJNpI3LCTOjgUGlq/OBk2SaffUX2Q6G2IZXsij5o47ihdpYg6mw6agi1k9qodUfLFKudkSTfgBcsR27qBu4tTBfxt9WYpnHmptNYlpth9lk66nxDa4yrs7R1rg9letIw4e3pDmiuMB2xL0GRh2sDTXRjPIU50Q1Ez33OURAO/xadk6F81XxofTu2Et5dCs60SLOlmL3JK5DqrlIpG6l3TVM7gRei4i0lxvtIOtuBNoKbQEXXmlpw413ObWxIrFyXfXh2PvuCeahx/JNew+bvlqtmuM3hdfy1XDDzZS288Qc9hI2L4so2B2w1l8dBOYYiN6yF8rQzRaAFS7H5UFcqj56f8kyih9KWV+mzUMEJnK0b4eIPuS0SRhtFVqEoTfYWgwI7/Ly3atTvuGIX5OYsuEMROwvqOSEqRG5yAZ0aEcuTzUMo0HxZqvuln/kbtjlD3jBD4Q1fomZH+Cjn5dkahnoc5f3cCer+LJT5B+TFBx5/Okid+R0k+/W4q1LmkdyjctFjzC0ksO6yAgkjTI+5+Uw6HlnGhiN93OUT8IEKthr6vQ7J7TrUJNVTGS6/UL7lut5/IA0t0DfsfJ5rXmJfGntHF8ING4NvS5uaPJ8ctz39Q667IVGtqAKXwi4onXBakj81l5v2bezRPlBUebU2Lw/zHEWFKnME14Myn5Ov4ei3pahWhuaHYTvz6Hnbx97ja+CFhchaGZ54JXDGWrj8DaSWvu4gM5omwDkXIs22olH2ijxCL5qjS7OlP21F/3ZC1xLQ53vwwLNwvjfMfueeMwXTUtl+y50tufHahsvTBLnLJdXHrumem7zdOFLdLkAFupHvys/YC2DsF8wYcz5qtmzRaZqCjCJIuJedeHHB+U3BECUx7VX5jqzglqDFaM1vOkU3Rrevkr8JQbLaJhP4BNjdI6H8mfijskXMLHuGb8p9zF0K+pCmldxUTx07RK5ofShfhsff9tHJIMEGuhaPzPA04xEmDZvTwPgq2w593oM9qKg/wNNysEMlkWPeoUX6CWV4xtmKmuz40e+ohGtWy36nGS/FpO8DkyzVJJ0v3bio6/F9JxwZYKkUh9tMsflQg1/sEjDqWGjEFlvGjLWEqz2irnLHOtIFPsc0Dc7gjz2Zwr+7k7QYKlJWjS51W3BFuEoDWwpXsHYzGHIP7nOdXjVn6b58BjUcoitMdezMZecd00a3mzA4Uij3s6O4rPc69qAd57M3ZJk3m13jxWm/hk69gH2eq4M1xE3AxBSRRRqFffzKtjClbHU7CXV4EZmoIR79PHw4wmV3D+YgS6bp91rD+r63eFybUG97DtR7WmrrM3xO70oEl6Jv2D+qt8wwmFk5Rsv4qJPlGSqbubR2wj4VxJS1anHeeQsOlh+kWMf0M+PcHni2a844c6G640xppC2D6xazldzrOl2mI/ul8nBdrV3oS6ptC3FTZPdNOo66UDX+u93EfaGoN53TUgn5fBRfkibUKGoPKrwIf2/GPbglT0DSus670JP+piSV1Woch4891A/4bdtZfmnxsayXJGeWTjeXncm63MwEYz8nR53aNAo6HC+ruK6Zal+FT13RTVQZaWIZ1GYH6OYlCYF6p3tSnNXie79JYWokz0HBz8JtSsu7EedQ1wDznIwxl0Asg8wxZJ7udjy44yt93vu9juTm0teM53foLajOfNRsI/p3Duo32vZCZsqkIkh1JWV+dBHTVe7SZsmrq+CTvq8VVXJ7mebI5ZuRZC47ZXm2bUKToBi7QS2DkKNPww8myRKuiykIIS9PAIH2AZ1fpRHwM2t/kJZg9macbFdLTb0pBY21/5T61J5+kJ32CDo6wdTUCuaOCjznnrPVlEGe/kx+ksuSn7/Tl5EQBoGIK4tIB5zziIwHUZ8WAoUaeY2HIPc0t9WRPMbJJronNd0RdNUZa2z0e+hvVb3q3OLxoK750p8rY5t870O4pTW4FVWk38WXx2rJdC5qs6Q8fK4CJZmy+p65Zfflft2nPfrwd1kMkmlF/4SD+NFtZNwSvB27sESKYmIbaLgOQk/OwU2WyghtrmelDaeABGrJ1/xMi3KY8m/pvn0JZy2KWQ1m31eJAvltKuQ9h3SxQovArxV71gOK/B7d0wrMZi/2NcezUKJotc6QonYI7XcScJW2Ol1H0049Dyo4jPRUXb+Ey64CP7TUS0jbGZ6dON9SSTax/FCKIIu0hLJ+C9c7AC+e5SX6O+Zpv3NHA6Jng0MeYlrKR+2GboebwprByeacZPAc6/ve/gR+k0u7ZdDNXc4FEy9h5m1vpmc1COyOPPAk0ilPGsgqivPrPfR/M4j7rswCK90ntpV1JvvOv1xPS6ZZaUWWoBupbgx8w0dPHfkEalgJHruYptFpDYgSqgV692Wkf2LvN1MNGsqj5C70fzPyW3GdI329u8CUS+WmtLataBoYJg5dvAllOcr+NpvruyvV97Xpd1D3FVpeB3kn0Q1sxlL5kYdChUegFu0pjjN1AzzSl7L6w4HL41/jqLS8yQVshueM8zW/bbbbePh3tN5ynkOfY5BrQ5DEHonvq7gvI+v6vmae6CZSAY1BEi9JnXiGGUh9UP+m6vvp6iIgowRdqqUpSxNoF6bDjwpwIAdJmuP7bvoU3kbX8Pe8HA13eZ02UXctp0OoHCc7n8kkqMZsieF4eYvXmv3gHWMrmEZKNhrTs16eocLIkis0x/OTtDW/Yw8rwNN+kFN2I+4u0lTD3Ze1+8BOU0AdCbYL/WbiUJfxHOo+J8asMdPgTS2QL4dyitloO9i23FKzOQXqmWneoWfcrWao2wg8XsQWwP131hx00adab6nvay+galkA9vDaEvoqdKxw1HmKUDLLTSE45CE7gzeaee5kZIeKMrnFLij+SO5Ps6QsP5KTcstpDL1uiKRySWO8dcFI2ZiCt0xR3N1qmRyRDy51DT6dCJWJQaqtA2XZyvMxTZedCqaDO4FXopYPrL9poZ3B4tsxMZcdBe/cpueh0GvNmKh1XJc/diOgTW19X5ng/uYdro+sMgxJ8wtaqMtxHw1xlnxQpwl8QfNDOb915mEq78oKsxYee5Sred/Btc9yP/SyGHRrM65RiV29JlmeYTSSNtB7XFTz8CH5yYmk9zH1z1tXmkIv/2E2ygBKdm54BoBB4ijSDuMeNJkmaEEeYsuhSusxgx522PfbNbohC+5ApctI26ghtIaPe257OttrstF+TtuQwPZqb9PWXqTe5hcuaTtQRfcDXPuWk0ghvAHTlwxdaY9z9pVXOY1SJVyK2BAzStpElITuDqAuphFv1n22N5Uz78hEOHNpdyK/S6Nx9pPs+wnmdXgUkj2zrcF96KxTxLTVxqa+dvNG6m/mVT7O8RRu/2bHUorcgO625j4az+9E+elEPH8a9HM2fULq3vAk01xTTIdRmmPpZTfcHYIarTB5TZbe8KzkJTSfEmgwJ/JeOGsb/pAqW9f3MyieJrYZTtCTR1AYn4Xjvm5fMb73qky1AdrGbWk6cQv7LA9BLsGO4H/hFKKRephHUz/Twh1Av3vquWE0zXzKJUw6lTB9zFJdokbiTBeT4wnhAPFSumZ5mtJR0w3clm0uaYhe9w5BXhltT6mY4t4cTxW+FpVp/omcPt7dx02ppGbqZEqxO2mqhmNyvN5ffO9o569AdgP4ORPArWxXs5OykAhv2AC29LPN8dwAcT+QB1KOn3dj0bk9ellfp6aUR0JtALR4lClk4u0HcL84CvN+zDs966gDfe+sB4lXdEeZCpzlyfFc9RxEH9Re8/a3v9sgjjW3oRqh9BrvdJNpLL/Gr/Lzdjju9xQIx7EFvYms+k+nuITTIe7G8+D5Z50S5gi3dS/iHl6mKcg/+fkieDPJNPC+Yr7TFqj8l5ome8SPg/g0+lzDRGsdb5bm2C5cliZ7C5kfovab+bRHtuppuu5Eu6f5d9ub29osz1V9nT81ym/jikOop5tAW2mDpkgyNG8Tqe6kLXCwkdRRK1CaJIBO30PFJnOSJxrpKoDTqR7UPFl+8TyQYLefTdQB5IIT6ivRIQnRFmaHeOAApTATDXgCcsBFcPd0UG26bYkZq8bHwHqHeajOQ64Ojypo7iMRd9J0eYNH6KfSl5ch6T7UYF1jdplgXKsx1QHbvyX5tTj73rFQCFN4lr4H2cZxYfZzJ3MytTMz5QLVNr6fXqzodvD6uy+a7jbAtETm7GTbmHbmoLxonrGB7kXdaMrDycaZd71/t9HSArmwpbygpUAv1yXQ/Unb2EX8lbbESe9TBbceUveAFtW4AveiADNU4vDMQBmsX5pO2MQPSGiGnSk3kIUr8CSpx5HIb0Emmoe6HbkXd+Z9SLYtqWj0WyYCf+vrHtBYt5nX4QE4dWe8ejAS0+e4ylL2gMwaunnAre9zbbsZbDkL2n4Zz7mJnUv3vTuZ8tk1yJY74Wrtc78DVQnK94xtJs9HuTYPOPEzHs89bV9vAf7MpsI5Fng7cw0kwkZMdJ/y0VlJpAxJtCkUZL40A6FkJ+HZL9uCyP3reYVtCOK/iixQAsrfCJoTDloSqNOn0NyRII2N5HBBbkYj7Fa6Cte6YKbq5xTstkIeCJXRIPhBcKUb7Mf/1BucSKNQoVt0kieCWN/n03YdT7bbmMxFZEyD9NSVP7S1dY8MNlN4PxwwGI5fm55D12O85TUR1dkMGpirsXJOE3g3MmCWzfR68BFjh4L5angXwS8v8gNpie5dpSzHgXucksscrme9DbB77bkBelkB99GZh0p3twAmxusORwWqag3KwTVHmEgklUS6gkfNlNGc4F6g2+D2btzYrkE6Kst3OVTrmVC3Je6lqb7Kr0CVGtBO5JU4no0EnoR0e5/as+8dFyed8RTAzdyufBf7EAeXaEmtMSk1bEUTQdk6TfrrUK1pb9FnHCh9KJvK63jkuJE8jNpF/YLZDpfj/LaWy/1p/zX0AXSxgoyRL3AXn0lj92v2vW+nvrlCC5C0qtBk3mmzqRyI50NoZlsJMM+D14fx+0hg7+v86N+0GDLEC+YHLctj6F26wWF2P5KQa5ebzeauTkInrusIdL0pKj0a+ek3PLMCKp0KBi+Aan5pattBhiiZiri36CLm/ST6k0h3xdr16GIDJGcPpjfSGus1V6QKEmFL6FYHO0lKeTdQbf0CWXQmPnZav+W+trgJhw7XprryESZ6mHjtau7gPeVm8QLkpunw1slg0f14xd1kTCmD3BY1gYebDkgasaDkavwWVPod9xBy5yl0r3S0v0Sa0XCzu3ju53i93nD1GqYevHWoDqIsF68q6SD/mloH1ehhR3MOv4208bE3SKtqM+6kZTSNgnGnz3svUig8rgznt42pDbavGjJaNyS7rjpKQ8wQpMtn7AyzgaN0HdJDA8zJHDB0e34xago3NVE8CVwsoAuBfgSYctH3pBhv5fdtHKps7T6uYMA1PMZ4bQRfoGmaD5OQgh3rLmX0c7sHE/Kc9wEI717LW9iv+UToy3NIY7dBt4tMG8nWdqYvdKYgZ6J6x+Q9SaK+0gCTuY+nudSitnc9X7Er0Vl/KGtNnPpj08CO1YJR9+GiXmzqVglGzd+RR/RQt0pnmWutiUImeM9mSoTkxZUnygIKA2OV113mK+9N2WFm4/oztJnW1SMe33soryAXjjGHbBI4MEP+xvNkr57TAnxNk+iC7ztHphy2KonyYC5CxaVmtg+S8066qwHmLCauqf0Rz18GhY3QTrZldCYPMnO4GvY1whR1m2pPewKnj+O+WtY7S5rp8zxDd9Ng7SsP7YumDbq4QvtHl4/qyKVsPnvVbMP25ziz6W1o2lU6Z4/Cb9ra2lCVK+Bf6IcbYE5JHh4EFbwFZStnjoo0THG68V4tLgu4u4zw/QSGBNiCGoFTlTO1oa0e/O0DWsAZNITG0wXvEmjtr+SaW+aqa8w4/oc81BT0rJ+tB/WsTSOh3XfkAGbmJ9lnXzNNNNK6FApmbGt3UCAUvzK2JC9dg7sdNmW4HzJsvuhDNI562Wo8jn3vhg3BbozC9p2F9/YV33sdUjBJ27yB4KPC7MW/B0JRamD2RoDnPoAmJNMWJx5ac8NzTSpxHtxbrAyiu3RMs5yJ2N8k511kHT9ujaTgjy6spvo6Ac8O4R+cve52+Uh/o695ubmnXbBd9cAU33BNfQC9CMM03EYqPIZs0xOpeb3vN7KA6I5FVNV63I4LwNu7IT34ftpzFbUDgTQwxfgobwYzNDT74Ym75RGq+BpS81H9DtV5lTc6AzC1H0It1+JfF7U27YuK1TGo+EMoXDl9T07AFdpD0UfLcU88JuhHSRKhTVD1E3DuamrBW7NtMW875NE7+hB7n+QUtl3MMFsWjBBuIjSeAvGMFPJTh1+mj/mA05XKgb1OciX7kxxwZsFPmmgBbxq9pz9ysHsWHvmj9vf9HD0cZ4apDv0YwC2QNtqBPt7GecdKqgTjlVvYs+iy0T70N96A+4yiUbpcqpg88POiMpRDTCw2AKpEjekVrcbN4MIzsaGjQJGz6ZIck3j2yjbuZ7trmBV6S16A43xH4djoj+1iqmb3w6s7ub73mHv1KLLVIFmV+z6kPJwu3/FSWsFVTJAmutO5LzLkP9wI29i0s31MQ+TdbRRPGe5hMwx5d7Re5y52pv6NG9pETsIufmsW2xLmOhd1D3EjHWgvQueW2d/MTFPQ25Pbahg3st14ph1H43PfQdYBabCqed2S2afPQrlWIp028A6zE0yIljDHtKp3oqmrcW4DJM/fuYEUMv62kLkjU00I9HC7DtO39S3OwDVr6UWu6b1kx3lHeBubjvoj8nU3JOGZWsO7qsU4b3t7Bdm8KZglQJAP7TGaCYbcoDF2PK1DRr1lsjxbeVmLd8At97SkHUFNzD5PEg2MLm++cC2dUMaJNjpBuO95WtKUcYd41yIpN/B2oU95kGUbo53cvrj/LvYcR9smth1Vc1fpUCTqaPur9rC1vcOQUffINqrADby/qWNnwo2mga4CJJBOuR3lE86mUCpp+7KfbqM38NmJ1AXXKMNLOUAvebZg/3zvQ/rRhNoXTI4maKo5BFc+hpx/FdsWpKXNRdSgEAjtWfdZU945YKaYOHOM29kIyvE08MboXG9xqa9B5pxe9LbCWe9yf9Dk3igf5XSl3lzQe99UcoN0KOb+N2z7VU+aNLT17ET9xC4HA/aAOueRGOT266CxMbjuVP3Ym0BT8arPmof8iT2nnTjUvsoTzBwQxAxvX9qh2F+c7nvj672XV9u+Zr5+SMkyyaQ4ezjFac/GewrU8hq8boKGQsUitAWUoDu4MAWueRA+NArKc1wag3BTkBb3gGTu0ytw6w7SBYobLuc5x9Ma/NoX6fUz/h7JNdJ2wokHku997nNNKq5xD87cG4QUqavwsfZIWS2hn82oP7y8ia2p5bCX3fVtmQw1C/G9JwB5McdDuT672FzQVfw6B2k27bfxdI2OoENloJ1lNNObB+6Rg1pdsi2hk9O0BbLdee5mr1KqZpIrUVzHnnYacUld61zHmRawJ6qICTDXyWtjtRZI/gCufJhb6+fY9BfJ926xARSJut2n6iYa2hBKVzzXJZ0magR1pQuYkBV2E122IdybVtM4VvMxT7PFcZ4DcJ9Uuclz5Df6FKdS7Y25GgKfaUz9oLMX5ZKnHKfIe+COxlSGw5De4/lHJM4w37ugzAFniu+328Fj/EBzlb23aDd4bRueG8TxfAqd305J9A6U+5ws5C70svSV8dDNW1ClRGSVbJ1P86SerQqvPeJ5zr0my8DnDaWLmSSfmz5U1gapHzJoJfDaHQmH+qRpfTuSnkWnr3oSfN8p4oNw8kCZbJdC0SZqIo2Wa6jwT5iXQ5j0JOe4pxm/bZtpXqTTse7z7qvYwUuo/2BzDF67iRKoOSjOS81Qv0SaJi08S+Ey9zw/oQd7odi3zDqoT5pslx16k5OoNdJ1JtLHEZw+D5JkhLoUZtFB7mjLmZq6FY9NcUKprrvSLJStNNyMsANAsCtNDXDVSr3queIkUBfzNbS1rQ0E7x/3lEZWKwCdKhP1OpeTV7QK3IJA/FXhGZ3covqyhNkSyC5B4Lz7yL7VxffO28l8A3t+wZOC7H3Pziff7zHtgGRrwJqR4uPN6xQr69DlFW5/XUoFQQCYd/4Id3CFJsKrd1MfexDX62c+bHEK+3LejuNV9oh8T/1zf/eT77uBfekMTplMA7Gpq+RD3OE9TxczF5o0QZuBJsI1y7NKu+LEg8gDl12lC43vNzreR77/BhXqi0zme7fnSCSIQiYF/BUsvt/TqCa/XYwM5E/r7CY94PkYpFoOz5wqQZiWZDrgnJUySHNzrSLH/CjDuLEbg2Ryi35DQvkq+gF9LQ/kByfONEbnfkOSqkEN4JTh5oasBCsfcIprE9NZ88DnhJ7TFDMUE92Yw71HPCPgwylObzMXVanqvkiBGqF9wBklONtWMYPNRcq2SPAyhYrDPT+TiqYYcuYlzxE8KwXTeZAjkMjWWt97CHdIGvblrODayA3dpaw3yvp+N8shaYNpHAodmkT57Rm+BL6qiymabe9ClYS8+FwxePQI/Zy3ICeNQm9eoULcJuqUhFEgHYCLJYJV7sN1Q1Dbc7KMD1IaPN7Xjfc1EP6TSUHeRiYZqtiei0Z55RBm7x5q9EBSkDv6IiXsRIZT0FxxDcI2JDtCzxrfloaAIypwKKahNurSUA9JbWSw1si2i7FBA7gs5qsG3cadZbh5oYA3PKedW9TQHsVu96B5vt/xR3VsilPSXkENInG3S+wp7HIsf6ut7W587HMoowdXG8VNkIO6Q50P8yM7nafi3OXMIDkJOvZ9zSiRViPxxGLSLzphyFtBJhR7meLMo2yuI3dpIaY+C05S2dzWAFD1Oi2nDyid0/EKffWCvWF9P5c+gK67H0KDo+0NTye7mcKh4BHY7dl0w5NNP8MPKiF9t+L6qNtWJKaP6HXKQOo5zKmoCyM35XhaYOq/QCpV7FgeZONRxh93OwUZ/jsQaqxe1wv0ELX/BnqXCqr/jOuCfo+z7/dNDEHle6JKwZzsXBc/qHc8Ngya2NCP78h4Oog5P2OHINuudXM8b2NX+yKxNZfW9htzNjelfUWvYKZuYSpi9ZLscQ7Ae0LAPymUIqt0NRR5Oq60WcvC9ZNMtK3mloOuXPC4WkDbcw3zK5giyn5iWusWkDrOGLUd+7ubimm0KYyqTGf0QIsjk4/GXHl5HSoTJkMw9VuRbbM8GfDdR558XIJ9uf8tKQNyPIZ0nkwjofebdDIdN4PpgWTqEveYTXcfUjgSehWc/BQyZSp2JxUO8rVeQy2uUiSVdsOhXwPgAP8PHN7Oww=="},"expected_true":4670,"source":"sources.json: tellref.py, TellMath artifact"},"closed_loop":{"seeds":[60000,60007],"runs":[{"seed":60000,"callbacks":11100,"max_fee_diff_bps":[4.811843198199162e-07,4.77213372984675e-07],"pyrevm_peak":195989,"guard_shifts":0},{"seed":60001,"callbacks":10825,"max_fee_diff_bps":[8.68441619886125,15.324825506245277],"pyrevm_peak":191504,"guard_shifts":0},{"seed":60002,"callbacks":11984,"max_fee_diff_bps":[4.770661123087994e-07,4.7322225998902567e-07],"pyrevm_peak":195490,"guard_shifts":0},{"seed":60003,"callbacks":12003,"max_fee_diff_bps":[4.829896465413652e-07,4.703753012091916e-07],"pyrevm_peak":191150,"guard_shifts":0},{"seed":60004,"callbacks":12346,"max_fee_diff_bps":[7.527033564010601,9.79847182312956],"pyrevm_peak":195601,"guard_shifts":0},{"seed":60005,"callbacks":12378,"max_fee_diff_bps":[4.793924111845538e-07,4.789107305169793e-07],"pyrevm_peak":187502,"guard_shifts":0},{"seed":60006,"callbacks":10768,"max_fee_diff_bps":[25.961658883156016,9.458685976763832],"pyrevm_peak":212690,"guard_shifts":0},{"seed":60007,"callbacks":9150,"max_fee_diff_bps":[4.831604213939578e-07,4.816184517170141e-07],"pyrevm_peak":213278,"guard_shifts":0}],"callbacks":90554,"max_fee_diff_bps":[25.961658883156016,15.324825506245277],"guard_shifts":0,"gamma_collisions":0,"reserve_state_mismatches":0,"pyrevm_afterSwap_peak":213278,"out_of_gas":0,"reverts":0,"method":"Uninstrumented candidate drives replica2 with float(integer_fee)/1e18; TellPolicy soft=1 shadow uses exactly C0 decoded QMS1 tables; fb/fa overwritten after each callback; pyrevm gas includes transaction intrinsic gas","pass":false,"worst_examples":[{"seed":60001,"t":7727,"fees":[0.001900898240816366,0.004176295012301747],"shadow":[0.002769339860702491,0.0026438124616772196],"diff_bps":[8.68441619886125,15.324825506245277],"first":true,"is_arb":false},{"seed":60004,"t":5303,"fees":[0.005014238815206532,0.000193241807621445],"shadow":[0.0044984216417814915,0.001173088989934401],"diff_bps":[5.158171734250408,9.79847182312956],"first":false,"is_arb":false},{"seed":60006,"t":4707,"fees":[0.002626724925030385,0.004291545372515124],"shadow":[3.055903671478344e-05,0.005237413970191507],"diff_bps":[25.961658883156016,9.458685976763832],"first":true,"is_arb":false}],"fee_comparison":"Both sides clamped to [0,0.1] as the engine clamps them; unmodified TellPolicy.on_grid sees original replica floats. Only the requested shadow fb/fa synchronization is applied."},"engine_gas_smoke":{"seeds":[60000],"scope":"one separate calibration engine run, outside paired seed allocation; observed peak only","afterSwap_peak":224063,"afterSwap_calls":10657,"out_of_gas":0,"reverts":0,"other_failures":0,"limit":245000,"pass":true},"validate":{"command":"cd /home/imd/.identitymd-9/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/a7032ca7-220d-4a19-9ad4-d09aa5e38dbf/test/scratch/ac && . scratch/env.sh && amm-match validate ../work/Candidate.sol","exit_code":0,"output":"Validating strategy...\nCompiling strategy...\nStrategy 'TaylorTellMinimal' validated successfully!","pass":true},"size":{"runtime_bytes":23337,"limit":24576,"pass":true},"no_assembly":{"occurrences":0,"pass":true},"storage":{"used_slot_indices":[0,1,2,3,4,5],"used_slots":6,"allowed_slots":32,"compiler_storage_policy_pass":true,"pass":true},"fee_guard":{"lo":2999999999999948,"hi":3000000000000057,"vanilla_gamma":[8980177656976769,-53],"checked_integer_window":[2999999999999000,3000000000001000],"shift_rule":"nearest outside integer; lower on tie","calls":2110,"mismatches":[],"pass":true},"all_pass":false},"guard_shifts":{"replica_closed_loop":0,"engine":null,"engine_note":"Unpatched run_batch exposes step fees, not final slots[5] or every callback. Engine shift counter cannot be read back; no count is inferred.","scope":"exact closed-loop count across 90554 callbacks plus initialization; separate exhaustive guard unit calls excluded"},"closed_loop_failure_diagnosis":{"label":"diagnostic only; DOES NOT satisfy the requested unmodified TellPolicy gate","change":"Only on_grid replaced by tellref.is_arb and its integer-grid chance on actual handed integers; TellPolicy filter, soft=1, decoded tables and synchronized fees unchanged","max_fee_diff_bps":[4.831604213939578e-07,4.83988439603511e-07],"first_trade_hit_disagreements":14,"all_disagreements_retail":true,"all_disagreements_one_ulp_collisions":true,"runs":[{"seed":60000,"callbacks":11100,"max_fee_diff_bps":[4.811843198199162e-07,4.77213372984675e-07],"first_hit_disagreements":1},{"seed":60001,"callbacks":10825,"max_fee_diff_bps":[4.774420702541304e-07,4.7391750246372766e-07],"first_hit_disagreements":4},{"seed":60002,"callbacks":11984,"max_fee_diff_bps":[4.770661123087994e-07,4.7322225998902567e-07],"first_hit_disagreements":0},{"seed":60003,"callbacks":12003,"max_fee_diff_bps":[4.829896465413652e-07,4.703753012091916e-07],"first_hit_disagreements":1},{"seed":60004,"callbacks":12346,"max_fee_diff_bps":[4.783208638198255e-07,4.83988439603511e-07],"first_hit_disagreements":3},{"seed":60005,"callbacks":12378,"max_fee_diff_bps":[4.793924111845538e-07,4.789107305169793e-07],"first_hit_disagreements":2},{"seed":60006,"callbacks":10768,"max_fee_diff_bps":[4.794008592878818e-07,4.7401171963251665e-07],"first_hit_disagreements":2},{"seed":60007,"callbacks":9150,"max_fee_diff_bps":[4.831604213939578e-07,4.816184517170141e-07],"first_hit_disagreements":1}],"collision_example":{"seed":60006,"timestamp":4707,"integer_args":[true,55755037566590376,5714182052439355392,98790816142872657920,10122398407497575563264,98735079330751119360,10128112589550016004096,326884275363147,5060578850161753],"grid_n":3922129473459,"grid_exponent":-46,"raw_paid":0.05575503756659037,"raw_paid_hex":"0x1.c8bec9ddf1b8dp-5","grid_paid":0.05575503756659038,"grid_paid_hex":"0x1.c8bec9ddf1b8ep-5","same_handed_integer":55755037566590376,"difference_ulps":-1.0,"integer_hit":true,"float_hit":false,"truth_arb":false},"interpretation":"Observed loss of float information during int(fl(paid*1e18)) makes integer tellref and floating TellPolicy disagree. The contract follows the supplied integer test; changing only the diagnostic observation test restores fee agreement. This does not waive the failed primary gate."},"blocks_run":[],"blocks_run_count":0,"seeds_unrun":{"first":14000016,"last_inclusive":14000271,"count":256,"step":1},"paired":{"n":0,"mean_diff":null,"se":null,"sum":0,"sumsq":0,"worst5":[]},"paired_per_block":[],"gas_stats":{"candidate":{"stage":"gate calibration seed 60000 only; not paired scoring","stats":[{"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":10424,"ok":10424,"max_ok_gas":22592,"sum_ok_gas":235194796,"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":10657,"ok":10657,"max_ok_gas":224063,"sum_ok_gas":1698435284,"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,"c0_note":"Not run: paired stage gated on all gates passing."},"rows_zb64":"eNqLjgUAARUAuQ==","rows_schema":["seed","cand","c0"],"commands":{"setup":["curl -LsSf https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research/tell/fetch.sh -o /home/imd/.identitymd-9/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/a7032ca7-220d-4a19-9ad4-d09aa5e38dbf/test/scratch/fetch.sh","sh /home/imd/.identitymd-9/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/a7032ca7-220d-4a19-9ad4-d09aa5e38dbf/test/scratch/fetch.sh https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research /home/imd/.identitymd-9/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/a7032ca7-220d-4a19-9ad4-d09aa5e38dbf/test/scratch/amm","git clone https://github.com/benedictbrady/amm-challenge /home/imd/.identitymd-9/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/a7032ca7-220d-4a19-9ad4-d09aa5e38dbf/test/scratch/ac","git -C /home/imd/.identitymd-9/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/a7032ca7-220d-4a19-9ad4-d09aa5e38dbf/test/scratch/ac checkout 6b6921f8d463314aa7c96234e1be25a25245f704","cd /home/imd/.identitymd-9/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/a7032ca7-220d-4a19-9ad4-d09aa5e38dbf/test/scratch/ac && sh scratch/setup.sh"],"work_cwd":"/home/imd/.identitymd-9/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/a7032ca7-220d-4a19-9ad4-d09aa5e38dbf/test/scratch/ac","work_env_prefix":". /home/imd/.identitymd-9/work/361fbb0e-7902-475b-bccf-67100e1c5fe6/a7032ca7-220d-4a19-9ad4-d09aa5e38dbf/test/scratch/ac/scratch/env.sh && ","work_commands":["python ../work/build.py","python ../work/gates.py vectors","python ../work/gates.py closed","amm-match validate ../work/Candidate.sol","python ../work/engine.py gate","python ../work/diagnose.py","python ../work/diagnose_integer.py","python ../work/collision.py"]},"not_done":["No paired engine seeds were used; all four allocated 64-seed blocks remain unrun.","No C0 arm gas measurements or paired score estimates: primary closed-loop gate failed.","No 4096-seed extension, deployment, leaderboard entry or submission.","Engine guard shift count unavailable from unpatched wheel; counter remains in contract."],"evidence_note":"All gate numbers here are locally measured; source quotes are in sources.json. Diagnostic integer-shadow agreement is explicitly not a pass of the required raw-float TellPolicy gate.","verification_harness_sha256":{"build.py":"877516d7ac7eff0c2274960abc9abbc86479168c4798b3d2c1f8a0991535f8ad","gates.py":"cd5b1447a271e21d3745209bcbe29cf688a62946cba7c0f7ab218b8080a1cd91","diagnose.py":"495b005e41b4378b3d9a1e522b25af004c5fa262ceb6653fe5643eb55e22f4ab","diagnose_integer.py":"e62d9dd7e2cc336abfaad8bf15f8654be82a19e93d48709745dab5a30a93a2de","collision.py":"aca1b8e5159e1e40d6e3fdab071edab95b761d45715d896932488be400a5d33a","engine.py":"e0f3097530a6c72573cfa52870bc5d177631296730ca6831aa85b1ff35c79338","qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","run_probe.py":"e9324b6e31c952962586b80bea4c52b2e05b173e3e8f7c7ebac3b7415b8a1adb"}}
