{"item":"copy-a","valid":true,"change":"For callbacks classified as retail, retain the existing one-sided rival bound. When cand is strictly on the nonbinding side, replace r with exp(ln(r) + 0.35*(ln(cand)-ln(r))) and set synced=true before the sole table lookup. alpha=alpha2=0.35, untuned. No other Solidity changes.","compiler":{"solc":"0.8.24","optimizer_runs":200,"viaIR":true,"evmVersion":"paris"},"source_sha256":"6fd86a65ef8ebf3cfaaa2393b4951361ad122395d156322cd362a0e22c77fcd9","runtime_sha256":"e8557318f4110c2c3fd544d729109054f5f4e93f2acf3187ea6045c795426ede","runtime_bytes":21077,"creation_sha256":"08abbe737eaa24665de30594b5d0a0edbcb8737531fda8b089a400c7f88a6ced","peak_gas":207455,"code_encoding":"base64(zlib(UTF-8 Strategy.sol))","code_zb64":"eNq9fWl3I7mR4Pf+FTl+b2vJUrKUAPIURdWzPZ6ZftM9tsfd22P36/HLAyixxatI6qg+/vtGBAJIJI8qqTy7UlGVTCCAQCAQFyKRl5fRX/70z/81+Wre6tVOT77s9Go/N3O9vYq+/vKbLzbb+t2yjnbrxbyb7z9E/528Kd/IdPrFfLlZb/fRz7/9+uu/7Lf1Xr/78Lt6p3+NzHa9jH7z5vKg4A008Zse7Jtt3ekvV2bdA3wZQHDtS8BuvXjQXQRl0QaQaD9EzYfom/rDYr2NRu/2y/ZuNX93ux/HUb1cTnbzZZSWQta5KqOt3ul6295e7qiNq+hf6/vdbl6vIjNf7PU2uojeL6N93Sz0Lhq9X/79TuhJ9ubH3Xo1jrFvo3W0vV/oaG2gsXrxZvPhf+8Q5qHeQjP7aLTrooV+0Is42tzCIONo92HVArpmUb8bv4l+u1hE7VYD5SID+O5vNQ8idijUq44xuOJRvcGe/7idv5uv6oXDrl0vNzCcHTQNw38PA90s5isdjdr7Zt5Gv+Pvuzj689d/EVGzWDfR7raWWR6pui3apizfvHkznnK3caQmu8V6H+32QO44Wtb7W0IFR9yuVw96u5uvV0QDnJ39dr6cyGiEczdRQAPbDLQXjBcaW8NYo/kqamDAMsuQbtSNpEEt1uu7+83kVtfddr1eXkW/T4CCFss2L8uyaA1iGT3OAZ12rY2Zt3Pgx+hxve12AA8800Vr6DHaAO3aerFo6vYOetyvo6VerrcfLEFvNfa30zCULrpbrfdAH5h2yw6Ila7h//ppvose68XdfPUO5+ex3nY8XpgoM9/u9jDAeqkjmO797VLv521sbwCddjQm5sTd+n7b6qvodr/f7K4uL99B/fvmDUzbZc+jl8yhl/ut1peOTaUSIpepFlmS120tlGhrlbWqKE2lkq66PGDjL2BQsErafeQWSwTDOFht0c9fRPADhCHirlcw0UDHb2dCi3J6suyr/5CzvFIiLUSZZFlVpZlKKlv3/rDy13k6S57MwY+tjJSHSd99n/wQzaJlNAJgIctx9Ev04L9cX8PfaMo1BdbcbcKq2zNVJVY1DdQw9fV1nsLF3tb4JWpXeFlJQsPcr9o9MHH0Tu//A+ZsNI70EzAtrqrN/RYWNXD5dt7BEtf7++1qN9oBmwMnWEYaRz9H0MKtbu+A5362daLffKMXi6/nq6+IlX8z/TX6ddjZ8n4xYmLVMV80YyR20LPr0JaPT3VUv24uvz1uvps/zP+H2v/2sjluv25c60+f0ejTdfJ28nT1dNxuu5hvfMvx/8QAnq7rt/XV6OmmedtcPY2Pu1ysnjmU6KdhB9QM/mz1+/v5VkMfCUg6rnw39eWPt/MFlF5H345/fno9k9O7yWT662HxzUy+xgqXWOHiIqjALX6Y0aw+Tb6Nny6+7Xv6IGfITR/iD/2997MP0+gn+OMbAbnlxrGaqenqeiar6epiJsc/vyf49/EHOZ7+dDF7f7kKOmcyytc/Xdy9hrVvWzyion7afBZH9IM0SKFJikTgPpNpT9rrPIGC6SFN7mZIuOTt0wWgdimvnib0//gSMXWVtrOnSYB7AL61pNvG2+OmQV2vZnmeyRJ6vqBqMi6yPAm+lil+2crxMfi667htpWSeBkAiScImacQnGtjZ6UY0LqCxGC8mcBHUZDrdIQV2ry3ciGXwSIBAdNd34/HV7vIjFSZ3DoOjmQUVvP8fmNpZEkzrvedEh8DT+DWpHFfy02zlr7czMQ0b++nmBuQ4LLaf4WoGl9Pt9fUsT2Ft29I8dYVwE8uUDJcT1VHS1YFCrCNyDy9y33hOZeURuO/edt737bu2PUtfQP1RR0FjuCrdMOezZDq/Lqbzi4vxdjbaXqwut+NLeTTdTLHtNZS/3V5hrTNTt+nMZ80cIAwC/ml8I5JwNfKFZUtY7xPk4Kf4CZAcxxLMklyWskhzBRyeyCTphS2o+n+rwZwHwwPwAhRW6+2SrNb5Iqo3m+36ab6ksmmkt8AuYxCGf7oFYfd69367H8ECm4g3B6oiGJxTEOCU7MD7+DwudVKWhj4FGny4Kfvhg3B/++0V0z45Xq4gVDMJ9lmVg0lUVkiCvs6KRMEKJPRFkSSqVEmepqkCWxarBaW5KlSVS5moTIk8S861olQFfJ/nSVFia/QTtiOETIpKViKtirIQXOFUS1IKKVRW5SKvKiWOmwJkZJKXeQE9qiI/bMpRflYCJqVKizwtlQDBGNSxkrAjxIosy/NCAJOUKBaxrbA4B8qIosgA+aQ47CuoCPiUSaEQuSrNLdphQxLmIU9lWhZFlRfpR1pCkiuVw6cA/B0BggpFBcZ3ngmZCTB2y480laZJKqC5rJRpkckzpEKmJxiCsxx7cvnEtNJWcQeyOeTCCbZwhX/OrPv9Fq7c4li6xfHgLhZrd3U7/4TJ8zdXc7n3zezPi/mHQMyPFuvr2fLVq+X17HYeLp14GZ9YP7tuRprmAZYem31WAS7Wk2W86/ztxt6+nfPtw4Y29QzlXu0BNg3daIKqf5uh9GjiTTOe4FUdb+rxQMf87VronIcy+lu8vF6s3y7WV7fz+OEyPe50a5Ha1JNNE/8tKF/uZ0vS9LsOjYyHPc38Q/ztBQHgF+qcZCkhBOATZ5SQGHrYXydjAEyGsw0ydQI/gZNv/eZo9DHXPo5EEou8iH43voqyyIYF9sCE4Jz66AC5PNFou36MwZVb3C9X4M5yBGMcu97r3V20Q79ovVqAtdnMO/C4NmugSLScb7fr7Zvo971vvkNSiTwaicsyaja7McBHf/r2L/+mZDRfLnU3B6d0B+gBf9aEg4lG7YWSRQ5+Hrrx6Ny/cZ0fe/1Qn4Ig0b6BToJWuBHy5WOqHCWAKfruBEBhCvDhseug2d04dpGKo0gCYdF82FPEhV3dP//pq9mtfvpNBg562oJ/LBJRowDIEpQZKfxt4VYqagmufJ4YU0BfVWtMA9dtCh/43pXGaAmfAj5QptFfhu8Gyk0Gnxw+UGagnqngU8OngQ/UNZ1hAGNI9LAgSRT1j5gkCQpwFKyIUwUfRLGBTwsfDSAAI6CugDIB38H6TRS0oVoGh7JSWjBoKzM6kaKkFkhcZ5m9KKAOSOikgJICYEu0ehEW2i072zWI+KSCexXAVIBXBYAV1K2gvAaca/heQ0d1Q+gLGpECNEDtAf4VINEkMG5AsEFcocziAO3m2G/BfScW5xL6KeEeat0SykssM4yLYHwU44T4QL2qZpyg/Qrq1lCvxvFDnRraq3PGE+rWVY9vDTA1jgNgGqjfQN0Gyhu419Z+PBXQ3QBXCFTCwBuZyEUhSlGJWjSiFR0YxQZ0nJSpRPOiABVRSSAOjDoVbdLRDPO4U2g3R/oqpnU43prHDBClDsbt5iCgPY6VxunGGI7PzwVhfIivJltEyZRY380H1C6goOgYn4pxcXiEtM8YF6hTNQd0V8+gubbsTDSHeg3UaeB+YzzNm5P0ZmqfobWCdRGOqLHcfUTZkKqZHQFRsWQMu4B62LejHNANOLiFuUyhDwk13C/OZgb3wLRIJP8K/FvgvIMhCb+KfvG7AEHR8v3C3UfZUNRdyZxScmtJAoIEFrqh+yX8ZtgHihcsK1t/vwCpUhdAMeC3WnaEZQXXQJSsA3J3gHllUsArg2+VyFO4CxYo1IYJKuB+kbQyVxqmUVLtmsgD90WWpjgTcJfvA1cLWK5CaYESySQtlTVGE2EzVeCaoRID9Qud0X0FeGlcS/C3gd+yw7WRw+oB/OiupvZxmpAHclmjPIY2sN8GBAWJNClgPlAIdvQL7SNXJlpnskLOoVaoHawOEhlmFWYSIVrqV+EqBCGsTA30qgnLBv5vieIahHxrBI9XEwxwKdyDxSBzkORlV6gUqKSTl/5gHwrmpWRuYC6CVYcSE2aC5jflMpTIyCUa8CjgF/mIymFG7X1DvFLQb9lVGvmkAAoLkr0o86sOZDBINbiPa4olsu5yIWmF2vvIQzBjGtuHuUqRfyqgmII+Kq0ZL9QieB//L4CXWsIIeApWLqw9oLE0NeCKfeN9WdRwH3iNMCmRc+wI0gr5B7DB2QC+hF9cCRIsbMTc0IzjjJQ84pbo1AI+Dd/HktQQXwHvSBpVTWNGjQfza3LiQTvjfB/Z1SCvFUyHmqiX0WrKRUO9NoQPQaCWEqlEjCpuH++3ktQV0KCjUdk+UBMj86WwChTJ/JzKYJ4a0Poqh/UHUgJWemaQtqIrXsw/Ismh9Zz4JrGyJ3Fa112hLPTf6FpZG6ATVv4wtPQtiOM2+LskywV4CwyX1sq0A2gxwIQgqU8J8ggoDjyhQZB2eUF4iIHc7OEt1vYvtAzz16QVwUqwrBqgnUA+C6BlD0u2lCB45L9cVQqprA32WZNqs9AOsm/FwmKvGVhmjRB5CdaaleYFSbPUdGyZSe7VfhLukTDWRdKpNFUmHegGkOEdcdZB37IfMWDZZChrwIJMCk9h20LaVsRnfXtu7hy0SRth76Y0tzLoQ6E+TSqeKRnMnaVZk6XQo8XYSaN+fIpEbRv0LYNZlqlGXvSySjFuroUUVUeCs2eoJIA2dUr6ila28ngP+ka9nVjIHnOJFFdgU7EkPNe3olhK52fctQ7TRGv7FLTydEvzmsadBTPWQ5cH0GmIHbaWS+r7AFpo0oOll+FqQHNPNbTMhaL17eYMKAR2GkpgK+UzK4kPoKlmSjYB1FS+d5CXJDOt/LPQYd/K950p7Lsk+iRUngJEFUhb1/fhuPE3Q8knaqK6bTNnDVT6UYfzPewfrAuUswLdF5RUJWnKyus2C2txl9wG9UrrukbfCmQ3jhy0B6zX1rQ0VznjbXWIhbYwDhOp2wY8trQTKRmFHflYID0IMvcUd1oZa2V8laHeaMFuA8+mhDFUID9AVgE01inIpwxpnpIWt7Cg+7Isy1vwElWlU7CXwAqBcVQgb3KiXsYjz4jbctKBoD1Rx8pS5YrMKLSz85K0skCtg5aOKal+D++uQDKCRYUBrFq01lMF7ugADv1WsChAdkr0WWlsudWM1DNajAVqZbC6S4U2JvhdYIMyP5iO+wbpazRZmBnNHVIA6dbAFaBL0GhTgKkATnJjPV30iInieNWYhmyNnOEL+oA2AMu/lIWFRuRVQVyYoF4DGaqxX1ORbCr8iAuaL7R2QeNLLSvBYVjQDICTqaj/+oSV5miHdixQi6HlM7V0xTiU1lYm6PLZ0G4EaGsYgXP2Mmg7gprsOgctXmhnoCVUA3T2cmiDvAKyEtZzix7ayzAHDkjRngM+T9G3+wwbOwE/AFwm7Jt87xf/gJVGmAMVxGfBg/YAC7HmCM/L4TvScSr5zB8QhKZM/rEftIhIlqaBlfgxWzGwGRPVapK0kjVRcsLiO/ywnQE9yq62thPfc5am9DZQ2EZqoQCuQk9V1Hnh7aHeSmQNaa1LlBi2BOQGzBVwWiVwzYLlrqydqgaWbm9jCJKUgmQVyAYFwhBbpXbRk5KBvSFtX4Gnh5pBUZ+NbGVrJNseKesHpl5gAQouSwj3hHykWjQ0gpTjDSqwNEvfvx176uegAmwzkrQN6Ye+lDQqWZoNxR8djRXF8SR54hLog1I+414VQac8vrTRpDsT1szW+6G6GAFVDXmluR+n1eHC2V8UZmjt6JwdxVozTaUuWRdbuyfrqWnbwaihzJkXLOZW2wMvkJdXsg5LmdLOkyArBEOtssWZp7FaqyKnUGg1sBYVQ8vAZqRNLSnJJ3McYu0elJ8V200Zz1MWWDzUGkaoMATLPpqFrshKaAna6W/lx+14A6ELolrheVSSzijIG+3tvRDz/pOmDWFekIVuaUkWAvu/hbea0gE0WWtJqtDXrYjbBPMA4lkFPvghdOoxz2RHM6aJf4i3aX5K9q6P+1Z+FQE0WDsgIpKG59LOmNW2JUNn3kJPB/amotlJZE19p2TpJB66GliLKY0pZX5NiWsajPBLG40RjL1ga6NkXikS51VlfoXizOemIZupoYgAWD4gR3A9Fmxluvl2VnbluJhoWYGlCTOV5iDckdvQSqaICcGU3H9GPduZQOuppk+RFZnoKrCRa0FjgV7RQra9W/iSrb2S4K3d3SZagrTJpMlwp6PD5EZJc15h76b10AVHJgvG3MZ7AGEF1qLptIaeStr7aAT6hahXcrK+che74nHbb+gPGJXJWuVGdLh70Aqc6RLXKe6fkLUrPMWcrZ4SBwFnoZkocYum1AJ9A9OQbJPW40au7TRYZobg+nVmPQ6011rZSbBlDepBTdEB3ALKUc6jt8G62c2dg7YWmwC8M2njBmhdZqhFEe8TGr3x3k1Da9+g1QNapWBb9tOWpvWsrKxB6EYaKZ9teZSeWzDijtH0RkqjX2RpkowlaLRz0fp5yU9HvG8IuhPmJX2b2vIZjbvCYLt5kb0HLolBTwxs5Ax8uOJzLC2ATnEXQqSfZWVpU2NCgZCJ/Ew7DSxV8Dq7z7bzNMmNz7YS6/YftTQ7kKAgFxqWZ8OYiDiIMQ6jfyDLGqhnOtpPUIGcV4M2pLdMZQAPVlDLkcrEsE2ifDSsj1CIYWyKdAHFVfOEZGFBkarU/6pAexAE8bS0+zamMNY2BhmB0UnyRNOBvkhZntgYY0e2mwTNU9MejY1cgKWL30zFHnbmP9Z3tpEQLXLTdthHyS1abVQSZgXGSrnXnFvJSKKghgKxaQqNtVvSkc6KAGjazelMyzaeixFktKtBu9u6pbhpS3R3/TI0WppgTQqUp2w35B5zpFFBeomoFcxKRpq2wu0ggVZ0yTjbEeRW0+mGol+S/QLFe9EZ/0/7QbjxbEq2bl1cCfinq4XNAcjYJrdeRMY2OPSNO4WCNADHkDLGujapj41lbC1kATdiaYV7DALtFpRb0sOnzI8Z2Q1uljLitowohP/XucGgK9rgHI92My7Z7s09tMPA7S0CfhjTlLQ7Sr6KCqKICfebeyvZcbDgdpvc2udt4vQK8wpZjinbuIXn3dRTICVo3EzFvVmO03PrGdt91tIZ8qHi2DJAZxX1XZEONbxubd8Z83LhMc+ZS7LE7mc2ypCBaX1EQyvPWcqJtzZc7wXjYKleJh25MRXFNAl307ANzzG8wF7LmAqOn2pQLoZixpVxUXBcwS6umvsIlYUpWY9bWwx3JRHacrPgJzKshHR2CsY2BNEOd3ydHVOTFUD7Txy/EOQ7apAGGdu/do1DqekSu+9od73I4sOddl0bo2q7B23Q3iytn0wUy6lPjJA1xD9IU5gf2ik0ps3oP2Xtecx7EWT/lBjZJE2fs52M9O/I6kEsFWjAJs2AwYFWqhUlWFng05sa5Z9AUrqIZMURQdxdEHavESNMolKtqmqwMjOAMbkoNKknlBMC7c2MrVykKIzNYFy8JatQgQ7VyqiGYy+4RyeN5XayctF6Zd/K2rnAnaKgiAPasZ0s0lRlPrJoI2CSbFwYA2pn2icsWFYXuCtGngxFimWZ5pKtHtwDIlsZMwKKwKaQ1DtCG6IgGJk4MyID8oK9ybaE9ajO2WkunitpTx1nrZUpuLDt8y1NmE4792g8FUKlRjzXdqCVBVIArHmYz1JooaHv+tkbn0irliivYO46KZUR1YsMjUog7UFnCi1VKl8Y1ewEyByBO5pKZqp7WWSxA+sSxgoUADuzUnXyYmtRY/5CndSyUZ9pKxp03yqpPzcqqcE3EG2Sfq6dp8GfM9Xn24kl5Qf9Qz8U7x/smvvYJch55W3MZBibNCXfC3e+3V57xyU8K34/GaV2xi0pthjtJ8lBVuqG4VSw+42mSaF1VzImqt9jNiWstRJTCIdwidAFppgnnLfGuBCcSVOMlmRUlvoykhXAhcpKcxCSsm8TMxmzmiwwgqsqXyYMpkmV3utPKiebUD+WqfTRstLmkFkLylQq5908G2GgrCxrGYua5InbIYTx5ZrbRH+s9S1SGcbLUP+LhKNMpdeZibJtUhqbj5rkdgzKzlYHElV4nz0jOZqojjRAw/GMbNCmsPvzpP1ytqwpWmGs7EkpGlBS7DDj2FFnczNpV63BLASKrKUk/TuOsSYURZYmN3ZPkCJnRHMsq07sxZzPBzHn1rNuP7bzojU94pSfieuj9aDOROwT42OOPnLpsLGeqPDRUM/1NObM8YSLxdDdOkOfomU4abNOqERlyDmqq+y8czydoBRodbTTuiTpszuQf0vVEg8UHJV2ZdCnVLy/jWWZ74/igkqxdQNWT52yxiIfQVJGHce3VGV5kGxsYbNq3e64qvp4P+5EKJ8vAGXkegiyHcC64RbtPp8qbGwKs/FMon30luAKt8IojzZYR4WNXdu8KI6c9jvtCgmDe7pcv/TaH8auaJ2TNVj56JvlQkH7+AnlGOUeMucy6WVhFkQOyS4j+76iKF/FFm7OUc3c7ufT3nRDdnvuI645+SSaYIVuyfe0FLO2dnIiHtSQx3yWsZPi7K5ecT7SAaZZa605n6kiwn0t2ZIVLYO8I78qEHfevRDD3CKK1Sb9bgZFAPgHynIuy9nfAh6QaNtWYMp1XFa4GLbIaE+hMmXX+DLbrqb8kBLjqp3dB3Gx/4IzKgv0oMjQcz4AUr7jWD/MWlP4soJmoeWdE9QPOZfVVN7vL5SgNm1so2D+Qx51PCEoByhNrISvCapm2SrLzrdZBpl4VFZo9g1bgqj8fjzQopA8dkUY1sFasY8YKY6qlvzhMrLu7V5BGK2n3RpSpRVZ/kWwj0BlEsfekGWdB2UUMyUL0srCnEvdpzE1R9eFab3O4Yz4rgMlW2rMDRe6FK0vhfHUQG/ZgQPXke+kyd4vyEs6aSvrClZlk1Rn9YP1cU6tB9B452OeOMwOPRUbpZGBDnB/lbDRpzBSRxqhw7CopBUc7KOy/8o7KQTJWTTg7zZaayfNGr9/gn5+AlqyEg1rxdrHuxRli7Tg6WXayhBXlpLtVVOcpsFkd2P34mzWD5a1NCtVl9JefclwiqJtdqc1bTvGuORIjrDxLuQEtEMxrs9wbn+arjCX3dQUHaB9L9KQlg6U706RJ4ajstzqJ8w8JznCdOE8GsocrEg+0o5Pyto2d6PBdQRUQA5QFHNzMgO+FRW1qThjVHJeEUUuspL2sDMbmWDvOLeYZYpi45JwUGy7WP5WKebpYI8tzWbJIyX/GG0wnaHEMP2+TEmyXAmS/ho9SEVxFKtz0M4TknJ6ZNaBzy8zY3dBc5JdOUnsivasE4oIlByHaM/4b6ifGnE2d0Kcdft0LbqPeR8l2QsHuzji7LrzP7n2XsOwvjjbBsx5Wxx5Iwc1OctXBPZVW4VQAxhvJQrKlrL5spjRDf/ywvs24gQ+gmK1KKXBFhaYKY/xIJm1vP8pjqCEzeaStSjIGqA9N5u/kKnTUIg9pkSjrCMdnIQZyqnkZ5fEINMYdz/cUwdikBNNHzIOi8O+AI9alqb1eQRDC1hQJKc4tHnB+il4jcuBNHRQgnlvMCphs1XlQeazh6I8ch2OyXSiZc2tDvrycPgclUh8Zg623LC+zw+yR4LcHfovZygVxJ8/CoWaRYRR6sxnTx5CBbs0qP2EzaG1mRq5jyrnJ8bFo9C4u06SjWSd9NkvIZQ8yGEXGK2k3SNp9bRp/R5O4fMdct7FsetACPAzcStGKt6fwXifGECpIFO2oAfKpKw7etAP8eOepKnZiyj9DomV0WBfgL8B1ryxGdiFtf3IQxKU8+joknJfRF2BT9p0FDnFfe+G1o00vC9KkcQsyE/gWDo9J9Xi+FuM3TY2K909ZcgxitxrXEn0TAX+NgiFTywmHWu/jj6BAPMRe0Wx5kY0IuVV97GfzM+7hUJfv3pG9CllqJzyPqtnQiW8m0Q5ywJjfc/Iv6NZsFH1ip77TJ+XtUc7ONYqazFX8ZkYJrx3g+PKKBr5kn3ajPp6ERT56jjLKslfHC3LhXr5zrA2ovicGKF54bgOZtFmtYiTOlWc1s5563d2k4/kMw5bkW3uImxD+R88+3KQH4lrsCq8hgqlXsIWZ8JrtcMcapZD4BfkhdeVXsZarU8anPJMcW0Ju+9X03M+TaYZKnxWJrFPHeO+mSgEytec82gsvirLjqCE3Q0BnpN+zD0uNJ40ZV3ZZ2paKxP429R+Pz+kE9QivVz7J2rcvnou3D5znzcqAyjhdWX/tEcqcrZ95aAv/wt+Oz3KGcDZHccsKYOMuIMMVYSi/bX+KYyCJFII1es8flqD/lNkIwqfK5CxvTrEMOiRnuQu2K6XXvekbAMM++p7NBRnDJ/0CKH6voa/udXmvJPK2Xyc8zV8IiQYl1GkzRXnzhqvy1N+TlVy/CJ8Pgr30DBKKq1G4R0gt+MrvSbqMyLBPxAtZlwJt3PvnopX3Fefy6j8U+aNwrgUPneXC+tVaX76JmXfJePsxv4ZqVZ0EvPfcCwt5ahqtgIaxrIINKydA4z2ZbKGdYMaIufVa+zYwHlNKbac+nlwVofBLPgkxbQ1wRYAy3MnIwqfWZH5fAXMaMLoAOAmKFuD8sgaJ48pyqZ5d9/RH22HTH5aYvcWXEpyRgotqmdkuvc5tClBtaJ61k6Ue/4lhxWe4tPUn4bynjFlbeDOl6ieo81JxtkMzNI+Q/DcDH7yOTCmg8/LJy/KQsMcMoz2vmhnDXcV8An3pHv5fhxaKZ+R56WSz9h943yTz9vxy8mm7Vgeimc8OwDyJWvZo0lOyK/kxJMDBNUqtgHlQKuE2V/JgcaGtVZVQezGZZWzduETOrwG9dpc5/RUJkUCwlwzJ6nJyiPd2oSSl/xlzU8KuGcibW50Tv54ZSrys0UwBusva+7L51/TM845+rDsUahBVpxCvSxsfKl/diFlLyd1VkRAH6qHWd24y82x7J4SrX+CVfp9UPc9xaiPsJZJkGltMpbX1IZ/IloxTiltXhh/Xoi0ZyAENEnYihzoFDzlBOWeH5kduwyeNlHBnDENMd88MYFlJr0F0dsb7vkKV5pKi6H0NhJHPQP5rgK6W95JMYaE+ou8PD14gtWdAZEFvViojGwAZezIMD6mvP3g9FfKT7QoT6+M9gVbpoJ9atFlJxWsfYqDjEZ7xkBCuTvIw6DvTOk9X5tN5DywxGe0lWT10FOxhF9HEVTDWNmoR+k1UcZxMgHaHLOvoTZRg/IIKaYofew08/qPNDd6vDLXuL9KT3W6mB98y13ujD8hw/rPCjNuMAeX6rt9F/QH0H+uyFMvORuw9c+85PTMKEJVLqsMV6vxkXSKGduZdnnyzP0il8r5cqYeylTM+eHMN8qcpH0DfC6xAyNFfVJP0tOsFMUtiAtA64lPS1/JtKd9EXwqCTRz86ynDNnTYDvffBJDetqSckt5lzMpRC6eoSuNjVelbAVWUgr1PN1KT0nwM8hSPP9ZQko1VAkds5C8SMO2DR7JRxGll2m7Fp8+e7nvayqRfM5zhqb5XL3s9hX8ORHE1kV3HKEEXRdqFt7NN6ZtWG4nQbaLbip31+33y0zQY76uLp2F1eKpOJXu62JMH48BMnXZ+rra1Jk9h0aWLmapTJrZpz5gVRQZx6YLVdBs4T5Dgj4zZcbl0mpTzHM0tI2O0biUYHG1dEZj9FXbiL61+1uRsKbC/Y20w5NhULuBjEBLHFe7qYWx+26YW32CC7qzT6xWFNlWwyh7mfCzfEkYVc4zfo7NPaVIuqm1nn1FT1oz3RPZ8E4qPdFjrdhayMbKg9JGqkwGYijXVc3ZwnQyFZkWqA0q9+wcHu9kJTIMuLQZLkpXmWRKantWmGUX8rrsXZkjJTB1wOaS2uxUsidIStT0NJ2tm1Gs0XIg51WKhLL36flvXbtTYjB/gk5PU5QjY6lb8Dlmh9G4whzFt8q20SU9XSCapBxEaZIMfBBB42G/m2R7hpKtI8mUuywqozubYmKzJRQ/bU5EN3hqgM2mzZRogIdakqV4riedO6J0BhhjSULZHfiUj9LIe0CjmvQH0awypAHRv6vtE+mYROvOesHkNLuT1/p8Fnp+s3SnvRQ0+3YPWmbULunZijOPGjrbJjGpPcmFKIw5qDbqhLnGkjOVMEOmJn6Txj7vSYEQVR17HNpQ9vCJfbLC/MYeg7jbb+/bffTnb6Kf3QG6i7v+yOCkvxT9pfSXbV93tegvt/1l6y/XxrizJHdtvdDTg+M23+/9Gb77s0eUA6L85oH9OPr5i7kZ7ZvZLBlH+9mfvxklT8SFcfJEB89lfCibtIlwdLRYxYe6CXuoXcFHkNFBe4k9eI8aoMxeOmys5mPSFB/rhse7FVADa7X+cUp3WAq0G8tYprEQMSzp+NjbH0+/0Iudjhh3McBdOfwlH+iW2OPQ6JC9ho9KK/hQOmkP5aNxFPawPntcKjRAJ7qVjHrOJ76lfOqesKfB0alwLZ/OV/JpfUgw5QiAp3nhQqIz9zK7P45n8dGZfK0jENSGVVfLCh+UkvioVipR9hihRYemDgYHYC2gKWK3TyRt8hpKH0liFacqVkmMz3nFx9GRA4LJI4K5MQ8m2/DJeB0Trj4gXmpP+ENPMa2PJj2knqOcYIodMgEeOnc0SkyXT+I0lmUsVJwJkX16ZOo0KzR8jl/BLK14lCIYZcOsXdjzAfGcwExwA3SAn7R5jXiwXz9xBwN1bKJCFnFkwZQKOgKwPDfdbrJPTXVD06zyWOZxnpcqPmFOHVAjPUkN4ryGkU75dMPsYN4P5hwXOGWm8hyH8+ZmjY5tISRFAcjFVVZVp2eMTo89ONz9LhRMsT+K/JwUu3dHaPsDgN17Fkaj+bXI3+7fbJMruFQSL8UV/JHj8c3NSOSvR/P/JfLxePwqzzKVTX89wAVfvfKfJ9F5+gQ6UR0i5M/evfenHM/2b1bbiZjaVy3czif1jRh7vbGcjeqL2zmetQ4zCCTZx8vx9expXM+WU5pYaGHJUv8U1r//f4d1+0ysR6P9m/YO6Fy+XgKFZZY9ewRb3a633cgeZ8ujaOJTI1r4q62/aj9xgrQ/dfph9dHhrmG0oGgvRovXOFkX2/HrEY7/QgSnKT/M+BRpOkuYCMn/laPm+/UP4/EvRzcvBNy+vi4H71gIz91fzZLp6rqdri4uxg8XQQ9l0Ii8WP0waOFhNXu4OFe3pboPr2FM1mJ4WPXXJydhobeb4xe2uAvzqRPtj5ZjTYdON5M6NuPjlXa/NQOWPZh7d3D2o7+Sfr7v3L19zxc/Lp+P39HEz/07IDaPl9/SidfzGyWq8XwGf53hZWabx4kj9/j1t9Ojdn7s25Hczo83gNmPsx+XrpV3s410rfx4spWaV1t9Dcy3mMhXr3BlLe5YgtXAjk6AwQK7G9cXF8eNbGdWlu3j+bi3OGdWVOzjH4/OD/++/MFR/+E0ky6ASRfXcroAJg3vb9ePUAJ/oQz+Quno4fvF6/QCvryWP8TBF1wIM7fY431cXyziLRbF7TFC0iO02E4X2++TH9zCCMhRe1JgFXGqypBix+emL9YOiOQuHXnORd2wBNuZQP2jNtq+jV4ItiwEXWttd1xn1FrcsN6kPW45JAIefb779NT07B0geD8bufewXCzGE6ImMN/liIjG3xnR71Pf5/vpoLGwy5+gy5+u0+lP0OX773/6YUbi4wGuYMJ/ukh/iO/H0xOoBK2v1p3ene/hmK+GQwvn0PjxzZGdaJZwfNtueg7mKbEov4ehx++B0PHW+Ll6Eq5QYKGyhUdNhei2a5wF+Avowt+T6IYs06P84wXUp+lHlNsTKA9e8kGIgRH2JOIWkCIqfm+XF7Tzw2x1k7xdnXpNiPv59Yvz3yyXfb/g+aQ/tgegkr0ASplxHJQIV6Ko5F3Q5dFLnLhV6gRa5CtoYb8fn1ZLj3LhafzVZ71WxUH/++wrtA/BJjamgE8Onww+KXwkHjANnxY+UKbhe1cWptXwgXJ8gKqCskJjKOZq9BVal8kT28c52sjwSflJLYy80dP2hT0pn86XgQ+eh9jApy4wZ8aYEhtKS2qoBKA8tYcKqhY+Eh8jKDGFPhHgYAooE9gofE8wEIOp2GjIo/NZXoFV/g/8YPbreHzuNT+jf2dB+tUrkaG0sq/TG0/opQZHr4Tg109e6od6sVkvor9v1jtp3+cAX/++nHf/exd9J7+KRu+28w5mbL6nlyRk9E6GOPrut/+ML2bEtyOu7/cHrxOCprxZ97lvgnq4nk1EPnivEN3Gdy0Fd9PylHYGSd8HdsCkTcvDt6yBlbxYD8zkbjZarNFQvrkRaBQgSy87WOzXs4cxNLjsegu5O37rWj1DAJAO0+G8kLy4GD1MakD6klqFPib1uXcx7bp+Jd29hHiH/JA8SYmnLdGJ47j7lJAyu2PWGE9Ddni/9C8nvYoeY1jPGM3aaZj0EU61nfTjd5LGUaMXc234DaatxlcyAkAcLVaTzXbe6v+W4+EA8VWXjju84fjYG46b27hZA0dCL/HzmCgyvQFcf/ytTf3bY16Tf+6Z5Og1fHfX+atXu+5mhhNyBwYATN9daMR583ZGLyMc7boJVR3TPDsovjeOk/jEa+k2jxb48TK7ILaGakrSG+wcYd7PwN7llfA6O2b1fePfXyOnPiY5fBHa5hYjiD/vG1gVG8ldysssnuTQJXzGF/BnCmAzEb4BDfkdoagB8VZcqfHFCOblbXIF3ha0RCsdWxoTcBq+/yzwG2bv96N9M54O3YfZn//01RFFnuoZeR3ga8TgV4BDcRf3HsQIehlPxPji8f3k8Ri26WGJihNoASDw4lw7k8fAfDLN7KmhNyfRa8uemktiknGgp009e6qDKvVxlbA5IjWwJ8w+VCRwe6v2t06LgdoAv38JUndeL+Y/aS8Snvw6+RC8f/To1aNcKb5/zqvMdhtn836gl+tdPgWDcK9e9V7TvX2NKr9NdbRYjXab8cDlde9gPQdC9V+PxMXgFYP4atajRtQPs6epvUx/mH3gy+yHWXJYU/4wk6VUmOCF+SB5VlZHXeTpsf4cHULFhzfGR8qT37V8v+nqvX3va1RH7+oNKsgOX4KsN7upm4topR+jZRw9xNF2DtoWyL3eR1v3YuGo3jYkSofzb9s+/26uUOTFfh5jH3Zxt6wsbe4/eL7p9vbe7dy/qqu9RdH9cSEbD/+jJgD1j3MWqE3gD3qt1Sb+dmKa3m0DNQpF9HIrW1aHc9PHXLr9hNTx6kbI8Qrl00deiriilyL+/HAxKyuVuJ2J6Shexg/jmX3dGVzGi3UMSjgQVocQRwPZILZAxrc0GDuWK4v9EfJn31S24FeV4WvG7DvLNvblZOPhG8o+/la143Ecv2SvbkaeujGtN6Rhdy10Ne5m8PdYFc1nPVoACioBbNmsAlNXiUwVaV6luOdTHG5ynhj5gl9z5l5e97dYHm2NjuPNfBzbV+J9olVoDusttjEzal8EWAMfv3q1qC8WWxDLFv06pu+hUAZWnW3mN9+G78lEzTi/ybTIXr3azK+rCi8PHMIldb2Zx4vNmEJloEvm8XJ/4LE9uGqEKM4q/hkHIA97ul7uoQz/hAP81e0K0IJazhab6QPwM92Gr8s9fH3YH9ucGz1DLbQEm9OqlS31v9FxVRU4FvtmwP77sfRDLtrG2O/HFNFfHuvN6Jtt3ekvV2ZNrzcD8VTjFuU/qoPcAt4lM6dqvFG2EzOnS/p7cuYE/hHfLcOwryy93tkl417wPJytRK+LPfmK3c05GBE0vD1b6WzDYCEwzE6++hrUkw9j1n0BvqfWFvooxmo/w/uikq/6t6ZPndlMZTLLZoP34bq3BXO7+zf4Hvjtg/6r1fn++3+Np064D5bK/s1+vtS7fb3c3BBWMCZC62DFOOUyo1eb1/vbN/Pdb7cNwM93vwM9tH9TL9f3q/1/+au/xn3n/eVfY2cCxM4A8OYbCN/+eiB7w+ANCQuUD2+5qsfofrH5I7DrvwK/fld3DrW3HrWrEDVb5pC58sj0UA75qx758fhccCdYcjPW8ngHFDpoclCF23gX97TyNJ8MaB6j9nbSENkhmeLEmxokxqnAjrememR7s6rH+lgBb24HTPBPJKFOUnvm6OFFP6tJJ3yuggInn0h1Hsye8fPRXm+v2pvt+GcQbzQ+0Hx6OoyF+Q1VB3MDMNfb82FI0Cag37YnQm5bkqaLLQlqdbQ1GgNYi2FZ4DePzEeidDAt4C+C64TzQ+6TPDU1ztGbkSk9Bs3ArqkTK1sq2QYlvaFAXDOekU/9GG+3MXjP6Dg/DN2Qd/f1tvsXrXHhoA/Sf69fYOqDzhr/cqbsYTy2NvwL3ICPNLc915zsm4Ox/BIIATTvfwkWDIH/ArSHi0r+Qn5r6AyAgLxKjhXix0UMqkfnBfx+vdwsNDgAaDa/w8DZVs+X9TuNbsD/qVfzxQK9guWyBsXXQfmXf/jDH6Jmvqq3H/IUXwgKImgHOta/rPT3i/UOkPcNru/39OLU/W1tb27Bf5hG+zl40Tu90O2ePIjF+hEqAw8cvPnaz/KJ3cGDSNIw9mZuZrIKf9Ly1StzPRvmy2bF+GfnjwGjc/jJTA5AiyO4cmKcRD6s66XmIQgY666DkwkKNNa/3M7NfjcKjJKHOThfh0kJkdv8dNgfJmpZhWU9J+831b3rXffeVOCP9xGs/uamv2v6poCfehQHvhb22eN3oEGbGHCAvp/iDzH0AW3b5Q/o//rFYt5sgbE8DM+o94/cxPv30GJYbxah7p9+ouY33/0xU1g3ur6OMvWc6tJXl5+q/tWXX7vKfr2fr/0vf/jD33//2z9ZzIupW4zgky/W4A4u1u/k6Gk8ji4iEUcJuojRE1RO4qj5wGuPXyo//4leJH+wZpr5/iu9Gn0qNyPqswLCtXPKwLVrKho9RTf9MAEI8LrBOzDmaBVd8NWvH4EDve/B8pSh8OJjQEr2QEoyEF58DEjkAYK5wy//OFAwKDekTwwoGI8bzidGEwzGjeVTQwlG4gZyGuKfgE3GrsaBov61Z7TV/fKy06sI1iqsshuE2a5RwHfRfh2tdA3G1H6iH6BKt77HF00vX8v/1nEk/xuWxfUsWkbXeK3e+Cb/uNIRGkeoDK5IpAMbThZ69Q56gNZAq6CawQ0Yg3wM2mC5Bj2xXmni6Q5aN/MnwAALox2KwQO+7jUbDiD2KwxG8kkWfx87I0WHzK5hXbG05lUDLcPSmxzcxS7wrpMcA69vNe2vu9DUjEYa6JTg7O1W0BO0jdPpVPIE7F581/gMR4BbGWQH9nX7whAKgfqpfw8VoP7loGeYDk/xd/MH0LTvcaPre5w9msN0fDWYAIz2wUw/4s4LmgAtTeNgJO+RG0mKjg8Egz7gtmDss08M/rOGfHbYvx4np9hqE6j/elDV7zw8zlvkAQnl2+HU2aIbROiXX9zX2Qy/v3qF9HiF6xJugP98QJH3ZyjyHqs7GtIYSM9MHQmDERwtWWuEzUBHjAQMCP7Df1r//XF8iQpwTC+ZBzcMGPzQhkLQPxq/FgDqu08umOXpBYPDQHgcCUoNToikccTRJJNhCJCQAZxh4SJMHIlT4VGc9WApHy6gG2Yi5B8SPEO+QFaZoSEQcBNXDQqPOe8kliRWcK0fo4nLhMXxoCFca7jIo90ctw5xBxIE9snWsYkJEhYufIqqn2AdPc5BVIKYBV7EGcXl80hydqQvgNX47uiRBPaRzkcR6mfv8ez8Pk8KPpK0yxMaH98jLoOaeTKYoX/6ew3F9W4Pzhs0C1ZhNBlwP3u30WhQEa0bqtwvFSaGH5Ov70cV8uQGdyJAwA2Hx8bnYYKBZaPord0JHrDQ2NL5yrLJDOk7nOPjqYIyXH2kE3la7PK7rZ0OrdHc22/r9lCJ2Sqnl9nHl+T4RMRxA0zuA6mnV85oA31sHA+OloAwjHQ8JMJwadKMDeEYLD5aAcfJHBtP7M1gtWJbV3jv5qZvYHOwEvrJX85XfZKoG2Rzbt49iRwWNaycBnCooc9mGs4e2tfo3qKNgokhVxF2xQuo0WBuIz34O4WOreqXh2IVYP/wtPFTaUG/6+0Sgv3uEyvxBLP+/Qif7w4Q+o4xOuJMhASn4X6xGW3qeTe+RCTH9lEesqyQV2FaoczqErz6zioQ0HFAEbb3Gn07X3VU8btxb+X9JyNvvRLw7SdrM2nQdNzBMDfg67+xUmqpa6iGDVJfNhKJ5t9qDWbeCnz9PawEPwcHpD2IbXpuR2x6+r6U4PenAgWRJQHpM1T09hswMPp08J078eXue1/D9uor8Fdb7jVkGPCK+yXLq4sHhuvyeCMMqjhW8yN2I50cLfuOrS7uFxXjQfkNOWHHePUQ4QrtzqxP685/MYiY24BvPx02EP3d4Z2/BndcJPf4FtQ6Fndb/fCfxxDB7bDtZo6Ro7D73R3eoGbPcsmhBjnHfWbQ9FlenFmqDGxBUEM9bTyWB4PzlBkPYK8cLI6UBxQfUsCTcDz9/8bqeIMswxsX4Bgi7kJfw/C+p+67XhO+o2XhrFayVo9WBWX0nV8YJ81MqG+H/Bp6O67RW5JHG07ojGJvaL9hl0Oq2mKrba2XM/PLh8rATCSVat2avnDCpcfIJtDbCJ0SbO/CeriX9s7QPHUYMi0QP32iPfSuEjtvb0GFX+G3SWikoTgfYWzhmmpeoDdycbE69Gxcgw+93fGgjx2dnbM9HjBpxFvXoTWAuXjvlo4yBxWxaGBn7I72x6AXNqU8KE+vl23DzY2jDOGAEzH4+H8BKMeitA==","bundle_encoding":"base64(zlib(UTF-8 JSON path:text map)); changed harness overlay on frozen bundle","bundle_zb64":"eNrtWntz2ziS/yrY3B8iE5rWw5JlZzxXmSSXTdXtbCrJTG2V7WKBJCghpkiGoCQ7qXz3+zUAUhQlOcnVPXar5JnYJNjobvQbDXx98ubtn69P3rz4+PqDv4ifXD55mWeq4lnFSrniKSuWaeoxnhZzfqV/D6/6/mjssw9VySsxe/BVnrJYJokoFUvKfEG/voiMpXl+tyxOlgOWZ+kDCx9YNRdMVaWMKpblWSizWGazkzBfZjELS55FcxaKJC+FhhT3UlUAYAq/UsESIZTjsoinqc9+z4EJ9FlesoqHqVCMx7GI/ZvsJvs4l4rhf56xfCXKlIM6aKTCZ69ElMcGf17KmcywRPMt+BJOzswCeFnJhIPLJB5Np8NRNJhE03H/bDQ9H1+E5+f4G4koPh+MhmeDJBkl/XASj4fTvkgGk0E0OR+cj87HIp6yRJaq8ojchhW8KMEKXs0vK3EPIlJzDxnENXPgvRRqmVY9xWjI8MbVltB99vftFdj5Mfvw1xfD8eSSnSUj0R+C7Wk0wnouhmLMRyMRCT7gET5N+WTKx0kYJfxszHkynYSc9/kgFmESTUeRz95Wir1//eLV314zVYhIJhKsxqIQWSyySFq+SZpLaI9nM1AvSlFwsCnz7HQlogoaUlEpi0pptYkMPGu9AS6VEcdXqByYoPco5XLRaBHvFmcDOudxvoZMCqL9Rq7EuxwfHvw8CyAaCG8tq7kxOM7KJdS6gNxJisusEqUxEg/4Ki4zMq49lgChSwDPAA5+lKJVl6fESiS0FksZCw8wspI8lV/0Uj3YqzYZY/yw+tosISD1AOmUeWZhWZ6wJDxNOOMJMSWA8wEsZlgCUJCFhzy685k2ZLvmOCdkkG6+kgpIwK7xMGNdJXS/KJYVAWmknNHKLVskjra8nut1NxQLUcLtFkqP0rTaDyX0b93PEPPZSyNJoy/LGwma8ULriBYITX8sl1BEkvKZgcxykIEwocwqN5FAz6VFgqbgalniG5yc0UJ4KRUEtVRYj7GYE+hiUQDE0qRwoIVbr+IESl2WmUGinrOSrxvZST7LckSTyDDDU5VbG4Cxsd9ysBoBl4wppDRIKbAhCupwIUuWrzMYRI4lnEAYRWOU5MpKm+x/UPSwkk3kTK/o3UM1x0pEtpKwgIXIqsubrDCDxlWEXzw0Q8ZjFIbYKSE+rfLTRFTRXMSn9bdPEI0/+9LMsYwEM3BPEyd9/LBpl0xgF9UmZ4dO93BSfzqI/SZ7meN9I7itlGC1XMiMVGK9HsuI7vKliWtGbepUldFpe+pzE4WrOa+aCZ5xbAQSDlmcQpq+wmu+LCMRQ6B8sThZ0CeGpGW4OUygWWIjYRubTw2bWgo3WfNCqNRyQaZonWlw1u8Px9Mz3zdPF5TkIsovubb0UpTLDCuAsTAlRIzMiICXiTV8XVLoFBRbjXn/jdh+v4SYSj8IlzKNA2M+ymuijTIhTbuNXCxTE0Y0Zk/bK7l/CTKCQwTkQKmoIPYwzaM75lCQyNnkzGVFulRsxlVA2RPpVLORUQDC2oy4bGjOS/J9HZrJ6RcF0lR5CZGnEev7U394BvaKSi7kF0we9vseW0n+9r3H3pHzwh+eeE8O2BDKDK1iekWwXRAx9vQms0+VSNMiR9lBD6VIKF7z1KvtfOixGbzyJtM4BBQO4BpLmvP4JvuDXbFBnz19ygYw1I94o3EHxYfzjp2y3gK+r92o57o3WR5+AoT2Kg2WI78ZuMisO65hr3uNVfVur3tto2q/925vMp3Kr1D2YIk+cToX9w4oXffEakHA9IWA6Bnj8O3erUt2p5MO+6BDl0Mr9TeB270kCIafWCQsCCgJBYGjRAopfdQaIRBmf9QSoR1abgABEqP+whKruqrr+337SKVdnwTSTAdav5VFr1i/Tb5OupZ8uHwAonv8w1+gxxMeKAVc/Z5nos1XEoJmwvvAqGkkoWcf+AYIbo/v1hj8j/jbSfaP0G0tQiYGtVQBL8MWE/RjcgaRaq0aVBF92f1miGIc8cqeMmfg99kJrcAFDBmm/2ZIRMAGEyk5PKDq8dMGnvdbPPF64VruDYsRyu5fYLkWTwMw3MwkRRArmqNfDYwazrcY0N9+ab5tiYKik8GRU40AatD5jwilYwrPwGbnK7FxxRCF5764Lxz9kOYzp/7osmegCAk2X4hRF8LZBd2xQiqh9MJRWIjNt2JO2hockGBLbmuAtVgiqnrCwgVHA3HWghxugzbcH5xB1ps0KjWFkrNGykKkAoOeWZ/6XFYG28pi6K6x5QVAVkc7Xxc+iZOErrc7yFtIrN4MOx1HnSGNWH95ysuZanujnadJz6P2RIoah2ZZlhsXJp6H2C1N+pMB7ZUm4+kF7H8gnlEM7tByugvWkY9ImjrbWdWktrzbhJQCfwoKLbXcVwa04BK1fUgJAzUwaZHmEfS9u+UgDuEiDHWcsI5BCHbl0rfysMEICcnH3pXiD8Fr+5WZ0/kELlyvCw+uasO2uGnmgALw0NfpKm5lgFdUe5aPBXwqAHZUQoNaKSLufBFW2iQybOLS/MGhBLTjaqZovqpTEHLG157Kk6p3yQYe631e4KFJpZ+D5cCmx287Br1M0+/heVA+LGt1Pbr9ppWUIvfWgy4i3MiojDJIB3tm8tHW2ILfY/Ra5zT8uu0u7fNjX7Fj+M58WtAPgDxOZo0anqxzz5JQmdHMHZxcpt3ku+Wau0ZgNlcaaE8uJCY7Qb8Z35m0Qr2lM06aOtt2BCVOR+dcJGfnPY9dD7AveMr+8FB69c3j7eMhbtX5Sq5qHh7Ie3fx7TfVdhQKYZN/HIDirVi1BfVDYjlMpAN3kEwn9tFHrw3p/nRx9TRoa36NwTVG1wS35lqGMqucLzrdIAy7ehvyBbbDHIPAYGxnW5TTZIOOJlhj8hrcXT15bE8kr3HNI8JUB0FTgDlPiQJiYx3o6e2AXvV8ykg/paidWY1CLNpGtN+pHJNGkYT28VlbrJmQtV3KPuZE0TDkYTjWTtSRe1WL/tZj477+cXeDhs8L6sk5M3dPVbJbx2Wd8o2s4hP2b2QYIsNOl7YxDua53cqQU17goXJWZLBIffz6060uZ4izPRoxMRVAujS8d7YHPcLobk+LOxS6JY+meIBknNjJO3WSZvPnkEGjTYlt2O1Io511zArjAwB1yP/aq5t7lPq0KqB+SojQc09hp4/HT2QRdpuJ15WJEz1jvBjgWnA903OnXkIQFgrjqH16c1QHxrEwMI++7dGI+ky8wgBiLDs+4ES7OtuMYguZuAfmbZAnhD15JF5/N1T/96P0DwToLvI92ckxHuQ+nqSMd+5W4U4d4PfEdtPc13Jte9hMHYoQ7b7BQlTzPH4bi6zSnWndiZgteRl/mMuEmjo9qOj61r3u3163iw/LGGowlIa1/dEz7CZr2+Nmm9dAGbVsPgAKxmANr/YBmsrXgQEOOt+NzxPIQtnxa+3jhqxL1W/fH+tYpAORNVYydVJb8HlRY96x/K/ETE3IGqqh9GNUjOXeftsTxKlIAyrtwDUF/YLBQvA7ygmZgqdK2mRxIti4DF6R54xuwDspB59nCl5Z5uu60iNWdM0Obko67tA5u6mLB7d7y2K7w9XNWI/99BTai29PGu6fNDSTpm5tqBSezc7E0duPejtj42q5zBxjU80niou+Nfl6DMuvc1Zpx8x2YqtTaLYV/rqUlQjosMzRTbp4uSgQ4oGjLhyKktZSUrdpqeZX1CNwdQOy6eF+p+XIF7AuuQjoXEOxUtnmIg1TD1BUkhTst59Nu9nObzVxf2Cq6e/Wc03PN+RK2Mavx3578eH1f779/XXw54v3b1/8/vI1LEYjhyxbpJws2LSD1dXUswcPVzsotU5MG85jWQALvkPkoBkrXkrKF1c7NF1qYupGNHUj9jWoSZ1kvhKEt2sHC1AbTVTvSuvGOcxP1ugDRLE01u5gQpPXw7oqAdf2evaULYCGkdM27/et5wc8z8JFsFjah7jCgz7fScHwAybn4WZEyS8Cv2YLbsHrZ/udl/roO6CFbEYXgmd6qmnuasZrL/56B7cGWIVNceTdmTL7jiSytcJvejzajCugqv6PWs/V9xrPK0o+hmhgDlYcw8mfPJNpyrcounBoHhufpBjXgekBH1nfDher73FRKr85nggQNISOGd1wWXH4TRMvEQApbNU259FJR909ItNVFJXgDfAbJ5WqMl0PTKJnYtOtHUdda9SXhsAzIEL6me4JWiaJ6vRibbur2l1MlMlMGKR5xHFow6JqWifmXVeK+uyGIImuKQkJLwZa1kfppRYXgbak57jf2oHVRsLHQ6qmTkHVBNTdT7sRVh9Q6Ph6o//b9Omx6hJ7CAQtqYuV6oHa4jEFWM6qdX5C9W7MhKrkQl/lSPQBl3a+nmJFrqoTc6ivirzyb7IX5mA70yexxi0hRoRLe1UFEzQodYB1D5zScMr+QYdfS0Xt+l/rD9QK/IfLeIpNFoRoh9d0kq4P2ZCEKmzAzE2AUuYlyLdWpk/j9OkdQesbLM/NGQoz7XHqhVf5GonfEpR0IWbmbkiYay/6VJ9aj3QbxjcSbJIStY1R+4E/ZOSb7K+v37+m7Zzy6djSj2WZ8QW2afYd2x766wQB3SgJAlIjZXL9UWZKlBV5CmFxGxLmYM2esbRGTTYnVb2/yd4MdTtan2hs2pObQyln94ymqRYOnVLtHAlhjAoFezhFpxNfd/qJRsIo3hErNZhf5IXT08M93Wtz904ZHpgz7HktKOwDGfs3hmwKK4NdKbJIzigTbZDuOY7afwp3sJMjVfD/dVJ2gPTBwzKmS9NG8OawyNxoacn2x8+QfuJgzZypGYY3x2r/mydqTudIze0y4HTO1dz/uYO1f+mjs+f/NEdm77fOyt7/yCEZMtju9Zgmmb1E1KtE54Lbzv3G+rKQvbZCNw/tDUK651Jfj2miuwajqJzKsN4DvMNrE37nXNE3rGy+rCTC8jus7d1WbKfCIU9XwnF94j2DQb0iIFM5anZ6GPIXd0gTjr5KGeR3ddqmWqWgWuWdjzKgJJA65sAaCvJ+ouO42tcLXy2TRN7rtnEP4kHU7OkqkP6agsICUkLSnqBBt0tY2jDvSNrO1IdveraP6krRXR+n194DXm75miX0l6vOfhH4uo0hLUFsuIoHvaLCY68gI4OAEiQZrpba4fKW9l4plbK9Xq+NW/uJTJwK8vpt+fDv0a/lZfRL6X7dbQKiihiOJywtr9IMG97nuxDlFTl+Wj7Dds4Z2U7v5sfDvMg9SUvXfQ5/vqqgyA4WVHtg8CajS3YwIuXrO48O8e6yK93vpdWiGIbIOKp7+gKlUK1u51jDo3YP2HUUlEGlsuO6Por3WM5QqzkaWW9yEY0mA5GE4ws+OpskF/1pkohRPxoNLs7ji7g/veiPwmg46o/jfhTF5xfJcCQm49E45iI+64NR59UeubcKU2UKzOPdoX/mu0Ojcevy0Gh8vD10vD10vD10vD10vD10vD10vD10vD10vD10vD10vD10vD10vD10vD10vD10vD10vD10vD30r3J76Nt/AdzKM5k=","bundle_sha256":"9fef66162f85ab99be7ee8c90e9766c38bee0ddf27c027233759bad12c976756","decoded_sha256s":{"Strategy.sol":"6fd86a65ef8ebf3cfaaa2393b4951361ad122395d156322cd362a0e22c77fcd9","replica_gate.py":"78dfd340df5b70c9e374dde1cf304d25586eb9b77e910940f20329bd33de9380","engine.py":"d3b752e994b1332560c5702ab37c9186ba8a948bb96caa3cc82e13d8a9cf6af5","give.py":"8d871a6b4fe3fda47404282239939f558b1656a651fcc03eb86f1d4f56cc1b3e","prepare_control.py":"ad9da293dee3a0178f122c11dd6d4c73d13cc415d3c70cae41c38e4e51f424a6","GIVE-GATES.md":"82bad7d3f8744adc9f733f07b827964e58e886eda6ef51c113993eeaf74fb4e3","control/replica_gate.py":"7635872d48a65b4f95a2f1ae993a6b078fef9ea598e4fde5556ee4712604a507"},"gates":{"1_isArb":{"n":11856,"matched":11856,"mismatches":[],"gas":{"min":37256,"max":43166,"mean":40000.53247300944,"includes_transaction_base":true},"gas_per_call":{"encoding":"base64(zlib(little-endian uint16 array)); one entry per vector in corpus order","data_zb64":"eNpcnAV4V1fT7XF3L6Q4xYu7W3FvgeLuQYO7Bofs2ScEzczsf4IT3N3dLbi7u3NX8r7ffb57nz4tFJKTs/esWWv9oDSffjdWP/EwGm57yHTbTGLoXV0p7WmTkl6WttRRO9oaNg8FyRpuZQ5rL2mu6lvERfExG+SsDKXKXh/xZIvMkDwyhH+yv34WlTS0RCIlrXtiHoR2pFXyRKZRKi+teyyVxNJrvaajOR6euV9I9hvDxew9mSRrTB4bqHnwY6GyVK4qS1x9znVlkwbJASkkQdLRhMghae226nTeKLH0IQ/y/TQf8K61XWmKLcb+5lpqJTuS15j6ktG7w2qvcCupIqtwhkp6itvp39LXFKKp0tNdkcVmHT8Rfx0rb6WDxnPL+B1O8koyaHz8/YSu8mbJSQGyiweQT87zNP5Ac8VTT4+xSEp3Uwao8r9yRypKFm+E+ksp+YcWuKXcmQrKd0mr7fFzLb2drhC91T5mmqzgINlHZ6mfXDM/pKarI/tkhH7gU/zcPpQt9ixfkHuy3pyQv0wFOmCeygbNRAelCH3hq2EjZCEdtwVlt3zVcjpLn0h6zUIttImpJr0kJt3glHRNj+OtAuWqhEsxyWOH0t+OJLZ0wrOfcUmZJj/kAf+QF6aZpNT6mpjqyAwqxhPkofSn92aqHFZ/ncYkzzgfZktagCbpZbqr60S0jajxSd7wI+Y7J6O33E9i6ma+xY0oQm/rX3qfRYdQBs0v890ZmcDHjY9zUDNqI3XtRhMoz4PS6iZ3XqZzG8zsqB0tv0wtSUYDoJH+Ml9a2jKSVqbxC1NHMluSH/pSW8oqTmsHyHJ9abe4apKKzsvf8kHfm3H2Hp8ynXWCyUk9VPQGX5QBOF8/zqINNIUbK2I380GOpQfNU9/f9pcW00m2viNTRb/TMLnrKkpLHSb7tIZMsEllDs3mPJhbR/pHKtAGWqSdpRs+7jjuvYIGczc9QA/NUSg0G1XBj52GWkrRdWmoE/ghb/dqazxVs4h628MqclJi+0hmS2f5pQ3tZKgsGTTXg37xDNmiZ6SolIDqg/SbeSspzFVm5y/naJK0k7+0qe7iRdyGEmgcE8mJwzw5zYdluUzQyTYWPm4dZ5e7epuPQiMpNJuew1mT2fja3s3QTVpe/pJAKYLdjkNV6D7/TWNdqPzr8mErz8oXc46nUXv3k/bJUS1OF8xyaDs51TDHpCtNkGU8hTvj68+W2WaY+NszUlv8pZh7QnV0Gk78VnZhizabRO6o+S7hekD3cy8ZJ4N4jxq8dULsWx/jvPn0zJSXnzrN3pZb/IeXUt7xa24CpfaS+PicwjpaRPbbJq6gWD7q3mA/W7m3/EjqapPwsTJNr9My3glV9tIb7qQc4TIyxYyGT5SEFvLYq5xcY3mJ9Dz7JEKXYc4Tfclkq8zD/C5jI8pD+S/lBNWXXVIOuk3vjuFMMSmB5JRhupFnSSszGqcLlj60BRu8iEdTiNSQJWp5DHfVIDx/uVw2CbEFt+WgCaBUbrUccIHyhvu76dzAHuNSmtB94iO+fmYVHDDCtcNpr+J2j2oMqin3KURL6jOzAZMoQvH1sbkuH7FnpeS5+aWzSMVnlV7ySBnn+92mletuPRQxS69LgPi5NpLRl9g95ZSY5R7ce0b5FfRVmuFWluo0V0pPcHxdwx95MTYwpruEXVzMf+gwdx5KbaGj9TrOlgj+Uki24y1CoKqX8O0hcl+6maTUQMqpsb9kkGlC9bShfDNPOULbuBGyTj5wHa+b3gz9YAvTVnjgPrkp7ySDjJbGmPeToJHSUWpRKfkXbl2VNkPPreiKLIJjrZM/5bJ2t+f5Pjf0NZS2tg/OXZyGuEb01Tzgv2woOx0vQtNkuNa1Xd0wWUazpDDdkggZqTc0JrZrAjfV/FQSdzBWYpj67ir3MGEUjw7IvwbZEDRBGnuT9byEyGw+qwFyjG+ZWzxbZ+gzOmaC+S4txTwfm/M8Go4+S17iPcPlJOejkXxb/Gm1aya1oIiJ2LAJvMAU0lvYlCT4el9MGw1HFlTUg3DiEJsXTjZL32l6TS2fcfeBUhO7G8dWVj/tAa2d8zbzCSlr3nJ3fOQvLQn38tfsmGIlfQjV9MMmpPR2wmmyY68D5YU+5fNS16VyxfSRzuQzQancKpwiHxF3lW/sSTl6yK+Rdy9MdulpPupJfM0Y2LeU9nLoPWmne6S3zWbDTSfs98Gw2bwJyfaT+5i8dEBjaDdfkEyWvUjEbnQUOp8jk3QxbjUW9FOETvA1PcoLtI5Wk2K2J/y2GpR2ko7atHSWc9Ma/k3bcA+dx1E+9BxzHcIl5E97xcXSq/xB7vMw+SDj4BU95TZctSQZXhI2Ul6FRXA6LWkvy12upFfpgRbxVdIFNqabreHYpKo0XxZweQrQvHBvy6E4Xwh3lxTuFcV1bwTbJlc5pzwIjsDtb4WKrH2kSzGzClD4RfMLuxWIvUkrrEmorj3BiyhCDmP29wyyGZv6javqHB2FPRkrLUwvpPdMm1FfhpfRx9DmCMmBve6MnW/t1dSL2PgpfIU/aEFdyVekvrtm1iCXR/JLjuogD5EgFWis5vOFI4eDcc6LklDLan9JpJvkNDwxpm+yxKAZcsUESRLxmflw8pta14WZWBrs20XvopqLTqQDbqfOMS9MRx2CmU9CPi3XHTJVz/Jue4Gz2Q9ygpvpe/ZDR9oi3XzheOZt+SW/y2Ivj5SgvJjCcDrOR5GIBZFsX+SyPJPa8KHk4Zt5kLw13cx2TS9PqTjyfoPm1N4cV3pSFmR3PNddqtl92NppfMesosM6nIrIAglD1l1Gqq6UCHvV/IYMOMjv0CQ82wGa7YruVV59mKNPInmcftWOjLNLUqolRWxJDdSP0ExquSgvoKdJmGp8e5gPyBQo/Tfqxn+gS+Ry4/gGz9KCssEmswukuMR3+9BYbiHxbnM4FLcF533EiVwraYj+t0tWSVdZ7uI4n/0m1+Ecr7m9K6xx0U9Hol+E4r79taOGSUv4/G/oVCPtFbjaJrtJu5lr8LotWkiuoLG8xQ2twHmxS2gD97kk9cMe59Hl7m6Uovm6xNGn6J3F4Ytnub+85Hs8CpO8gERKDxdymlk7mU9wvMM8kocgnRbZ5xoPM96r97UJul4vyiTXNBTOksFlpBnmgR7D5mSi5ZhwB5cP/eGENJNuMgF/tYPHIAHkF7eGBxXRgdigTPKHbESWT9CCdik0Wd3uNUslC3WV2C6Za6750LE70HkOMTupJjWVamiKQ6SE9pTa9qUWxj6coTLomdXgD3FliK2M6d3iJBrGszm9ZltSxZuMNlMLadzfbOJmzIq2oXckMaFph41DO/OjdRwBXYbaa75tLkKPohutooHyif+UO2aP3jClxIczhKAJbJO8toGes30lP/mjh5enLZweTSi/lLah2MgJcJgB8l3vYyfQKEwK3wGzguvoZDjHLNxzNd0Vlcd6BU0/QmtTDnhoZ5lK03i3NKBDYQZdcwaS5R9MbZbbKWPQAxPhdkJxH0/oKR/DbdWUn6advJdnZhY6zCDep331MAdKPaqFvRwC3W/l/ZzYlIEq15hFZqHOhAc84XVyg59rNrDCP7SP78kq7ScldYdba7/qDCogj0xcKOJvW0cfyDuNr/Xoqe6EI3aW7HKK38pCbYFWN5Dqakn0ppRyCZ3hizkuBXQVPuIbnt4EiXrCpHGl0eUmSV/6EhbKc5C5h6UN+llGV9F7rlWkqZTGvr/mx9wYHfoG+lG4DZQfQTM5RF7LYHnBZ8EgsShM8kA9B3kubjWHnSMtpIKdAQ7y8y3CJuaLZrVEMpqm2zYS9XcUq22RgbQPqXccrNYMrFYZrDZJZkSz2gQ4/16wWkXcagQaUFsq7g3Hpp1BauZBwj77L6slBas9kGwuJkWGNqOtcgNfIylY7aLkxkzvI/sUrLaDT8sIdL4wrvtfVvOzXjSrrYhmtZnYvEhs1HY0xAOSIprVZqA1BLhVYLWT6HtRrPbWfEcyVXU5wGqTbVKwWl07hXeYJqCni9GsVk3yCqEb5MKMo1ittclB/WWwuyXL4fQ3pAHa+v+w2iNk2j04fepoVjvFK9AiZmAuo2mRPORgjmc3Yer/YbW47lw0q9WCc1WUwh7pAHhPbZrgTvBIyoZJpMXWHJUG3lrnB1brZhaB1SbJUdqMDXxnEmoUq22SThobSfXZXpWV4KnnONcBc0WKoflch/cf1kRwtiIUV96G+UezWhawWlJXG6z2GqyWnzprc9MKbnPJ3ECKXtPdSPQoVlsIZ/CzvakWWC2d9MVNXIFLBUez2hvsekf5XbtoIWomYyk3WO2WdAGrReC+/TWER6Bfl4RbzdesNAys9hJ7979ZLbm8N3e4M7I7itVqg9WeayX0Zk97URItClY7jpy7hxTMQXWoBlhtmRkr6U02sNphpHMPKYm9GS25kAIfDXZTev5fVgvhqyDJHHa+fESqDIAf+eEjl+sjewD+ng+9rpY8QfMdZy/zJrDabLDaIF2KRvwimkU7cn79R/2iWW0/r+PMetb8AKu9gd9Os2BXU0IT4Il3cf9ddRKeXENm299wuwuiWa0VnOk+PCUI+90b6r8MiiukC6JZ7S1YLVASUgn82A6othSdkWo6BHcQ4VUAq802E/7LapGS27dCFmH7E7tW1iihm9wHq8WDF16GZstIYRkmIRqX/sNqYeithyiKZJpou2hW6wFW+xx0m3OECRwshOZBb8b64eN2cW400G28lraYOJpRt7nWktCm1lZulkZAdU2wRaX1GRporWhWC4DPtYLn/JKDmPwFDqa2Lq89JTs1G1jtMGadCKy2XwbQ7ChmQf7tQlYFw4P/sQekAt6zufsKP5gGHzws6xT8E81qMXWdXgd3tRCLDhfFasGcVuqjoUZEs1otSeSG2Qt4fn7vd+juPhxuCFLsG/p1eeSSyGZbySXE50ax2lXuCFY7LbnBasNkNHJpEVx9eDSr7Y1mNQtW22EaIDf87ClOpB/tWzhrKFJ2GW/lLmC1DTITrHYPrNYQPPpS9lATOQbHXA1WuwJW+2C+cwb06WXI9oFgtQOY4UDwdjMw6jTygUYspjkQThbMmcBqN00OONxt+NT/sBr9L1Yro2nBahd8fcBqhaJZrbM9yhPAakmQtK+hoChW267JwTSpQeUH5Kn8BKs9AquF0yEJtbPpLjeWVtGsdgasNloCka0doJVBks2Xyr0Bq5GcwFsWlc9BL6WbPgarBaPLnOJXEsrXebKu4Bu6CrtowGpB7hYypgWS5gDOFsVqJZHe/2G1uyCsXtGsFo+qip8Ot9ekhikLVmsmqSmK1XpgZ9bJd27sDdRzoa9tebCaL5rVfkGtk3BLs/RGNKuVpwxSC25dkvYjdRqC1RSOFY4cu6z+YLXX3Aqs1ts2pHtIoV6uND0yJ/lPu4K363yw2miwWqVoVluElpQXO71QpugT/Q3uP5traqmoN8TbPA6q717wcLMWrHdAukSz2gKp4Q0HC4WAJbaC1S7xM/MsmtVu0WajYDUPjvwejSqIf8FVXqof7jASLjUSBNaVlrkeOMkCsxCsNpuXgQXgMDhPDncLrLYO/lkHDv9cJtkMWkbGa6Sm0PjyHKwWDu3u1PS2qObRQeghB6JZ7W/zkwO0FPY8H4h6LFhtxn9ZbQju+v9ltY9gtUrutmZFCs7j40Hx3DqZiVYZyqPRNkT86CpYbaVcBat1Mk91PXwjBjY6itUu482Oyd824X9Z7UTYkGhWe/tfVnshzXyjof+T+gpUvlPK43lB6pDqyXBXFcBqMd0pXqKd0fpyg9U8MEYAetBFsNouNM7NXEQHgdUsmu0QOYf0m8LZpaw94Z7Kf1htkiQFYSbHTl3gjFqEhkezWvzw7Zz9v6xWQE+B1XL5SuuSaFbzMMuSFIB2UJ5m4BxRrBaCxrAGrPZZ71FK9wO6DZCLYLVzwQ43HAGys+jIqzC56tD2JvMIrBWIvUmL3XxoolgtmLajT+/Sy0jwqF9ViS81wWo9sf0kbcBqMXSQjaGXwiuCX4ejp+aBCw/Bzjf6/1htC1itrHuElFokNprV/MBqflqBumoq33yw2jT+iEbwQ8rqUBDYf1jtg5sCdY2Vs9GstsOskypyTiu5tSaZjgZxPcJHvtOhtMVtUs98Md3QnKJY7T5Y7YgshbYi7XOuYROgxf6H1TZg4m18oTQ2mtVKyHTPT7LT78ie9mC16/Dk4mjFb5FEnzDHeC52+H4eh/4axWo5olntVDSrDQSrtaXU0azWF6x2Hm+m/MIIOW1GuYThnKWwoaeVZTlYLQ163A3+pR9kqfWXushaNB7052PY+gc8TxO7bvxZ/kRKl0ce/6OEZpsFf30Bq+VCM1JObfeA1SyUnovag9WCKCtY7QrP0WyyCqx2SCrLNz0qqZB9ReUktiVQwrDxL6NZrRp89X9Y7Ycus/H1DjLiPv/ryoPVEqAnfQA9fnDDtI/OgytGaC7MYYo9IeXAage0h3nE9XSl1gSrBeKt3sK9gjkU2xiIWy6JbrSVi0ez2l4QwgG00lhIq8qSHKfuD7Ve5qmY5AW8fWK8UwRYqbm5hTyJ4B7RrBYMHSaNZrVb6A7LuB2li2a1s2C1bOQzCd1dOsbpaDGybICrQME4X0cZGM1qTeHz95Eo8aQ7VFkBs4mpmeAPG/G1e2lxsFrB/7JaymhWSwhWK6mdZRjdYp+5Tl2pBXy1V/Sv3XaXqmC18lJbr4PVAnBvX8wXnmDr4VnPOAb68AROBVbr4i3/v6x2ijtGs9okPQ8SXSGnwwbxUs1HK9g5B1Y77VuGb9dquJlPQ+Eh2eUWOv4HUx5e0Ux8aAKHwGpVwWojwGrDoJzCxJwYrFZGCoA3RqBr5QQ/v9a3xh8Nv70p5LsOVqumK6GeWWhxzeBWeyQMut+BhC4CVvsoI7HfymjsxGC1PejejzDXzeKB1SZCUbhfJmqAm7vJu6JZLRHu4bG8Batht3lTNKuNl5pUPprVToHVNvOvoIISV46YZSYCOpkFpwrHzdxGOh9Uf9xnfA1Hlyunt90ZsFogZZWX/4vVIuGXlcFqRyVc+klZNIqHYLWobt8frJbPZYYCdqEzfDG70aq24h2/gfX/ggPvMR+0CD5vmLQGqwXyxGhW64F+lsxl8W7rv2hzUax2BazWCx36P6w2VhKaeXDB++i8L8BnNyQZWM2PhuD7ETJbclkP6ikCHt4gKXxB2JoWtFE2ahq7CV1ut/g4lkwFMc+QOUjmCPjAaD7F+Y0fWLcUjeWS0NlINwsa2Siv0CgiuDMv5TZy1vcD3OLD7vv4D5oFvnnGIbzNFqavFOFqSyqtSrl0n0lmA3Dvw9H0y3AKKic1uDb8u6uZp52C/zHHeBV6ym3o8jfL6LuFaYscMj9MW+i8hRlPHPV7W/zTkLTQhuanmSWXdLmZretlPzXHc+bCB55C0Xt4iqYABU+mSFMQGoi0rSUMUwyXqjhTK0ov46Gu8XpAOoHgeiGPw2WBDLELsfvzXFOpRH2lIS/TDpJHy0IxeziuuQGXeQmmjUeVQfoZZAulQILERVdPKbc5L5gkkMM5t2aQnRzBJaiLhvId2YD86Ys0bIz3bsN7uDASvAp90ZF0WifqJLOPn8li/d2WwBvNwZ284O38mSlsFm3iuW4P5ycfXzPFkemz8L69uOeS3dJamptJksy2A4ONoBHSXqpRqDbXnlQDT80dlhsqFc4Dr90DdjhLyfW9eQMmCJDikk1HgW/qYuLdZbuJNHPhYtdlugn0TbRFJKHsN9nJ8QV4/EJzRW/jzkbpK5NZG2ohFe4kq9waWgyVHuW/6Kh0xqmqQV8P5Q+7j4dAtytpNE/jhQqXkZSuH69EM2uKif+QMHMZO9hBxPRxGdBEt5gy0la/cSo3Q+pQd9eVuusKMwPk1xe7fNiXPErlkhLu3FyKYpPiyCLMdKBO4rLeagWzouVH2PM2nAdIHq7IzbiDTSSf0R5PI33rwYsryB0zidmEclfexPeknlngqmo6J6YwcjdATnArrsEzg2ZxbhrGO4K22ZXyk+/a9hr1ewRFtSHu9pOsl1FI+d/lgPmGm+oA5bWixrKXRuou7Ss99DfNZP05rY4H2Yp21D2cCDm0BNnUkupRUv1Tz8h6s9frxR3Rn8a5LHaQVpc/XTinonryr91Cnt7mevBOf6gzfdSvOsowWwiZSHLR1JSzaJNpZZtBVroiup9yynQdhe7cGZrbZ07g22FIlMXaQI+4xnqQT3JDl1KcrINGXmJ627mhtoPnVNXayOZ62kMe8kqZhAw6qd+olGkMpSObwbeZ5R9pJIXNY7mN7N6rpfR384cU5H6uBc+SZ1RWolQYQ+PZJPqJ9ssPUxsnqmf76FGoKTe+SlyKS5+4oekvX3WwjpctmpYm0h2QVnndjS3Yw3llE7eUdO6qbJMc9J6n8kJ4w3d7WgfjXtLb79BtDWlropR1FI5yVuLLD/7dFpfl4Kea2BJ/tLMsvvdQXDAnkdN403jYqBI63zzEfu1j6ypIeiRrbXjzW2jvkqyVCDSqDlIUP/sST8xkH+OmH5ueuphnSkNJBqovRyXpd5eUdvA8WokuHJcewCGLSAveiOl/5DFIz4xyXP4GQfmQylG/m38eWjkjMb3apJhxNlvNntVp/ISWheWBTgN5qMyA65bXcS6upPINt794sI4FPUzX0poWKdMcJympa3H+1uj73dHGN3JfPOk1/pnF24OpvtTXOhJsdQVdfIbpINfNTnx0VuTqeH1hbkjWsDNy34RJqIoM4K+mM86S1b7RpnIR73+MrsIZcqGRX0aL8fF100nz2EV8O6i0Z3SYSeibwWe5Jr0yf+pyziPHeZJtEzZHjprI0HcGN83fOSn10fLczDTSXmC5z+agLCejI2Sy9AOZx4CvTbIp0AXHY9eSY0tG0WRov6WU0Yb8zCsms6iH5qbOYRN1IXJurd7lktZxB66D/bslh6kdOlJn+wtNthotdn+736i1RuhSePwTGqQbOCb6aVrc4yVTQhtIcNhpt1nnoj0kNpW5tZx3NdER/DTI1AFltHCRph184adaOs/pZZ5+Nacku0tHibWp7ySa0AvdjEY2DKk4WuYF3UZvmArND+Ci8P2LuKf9Uo8u6iUTT1siMWfinCnRIPdzDUroG4od2kI15R3yogRtBWWc4Et6lWtRA82v3cGT84J2cle5CDaq72UHG9VBZ/3J/TSdxKHP5ij/oheyHmdCLnLULEvrTfoCTzmCTb2tA7gpDza9eL7MM9d4pzzTD6Gnob/6Ullz2+PImfFQTR325/S0SMoumaq70ctuyRszW555J3gL7nK3TAlqyQWRqpdNehD8WbNfZ8srTo3kyuL9DVcWtP474k8nTG5qx6P5qh5GmvalwyDFZmaq+jmPdkkJtP7Rxp+fmpNKyPf6tI9X4+telMUUzjvpEVznDK/TZhqBG5wlC6CTOvwRb7+PO7nWwjROb7lIXsGndSb67ymzAs0nHHuseF4NUwgEO4yd5jUtOI3XGvx8nhPKP7pHqiFXxqKXTzfHdAZXRQscb9E1QdHVdB9a9lxsan/0h4vcBE31BKeQFphdB9zKBs7tbmIuBegy/+6q2MFaz27RtlBogBxAT2kKxkuIBnQR5fAOC8/11XPZKRJZdpxaakMkdSwvPwj9ulkfqm4LNMf6u6zi5XJCZtIZdM5VWllqgeB66014G4jQxNdqdBqa6SdttCV6VQwwQiy0tPfg4Ro0nwN5EK+k9mS4oV0OX++tZZDHLXg7WkIHiaktqAQd5pp4VgD2v6mwWedLAmftzEHugjzHVi1GlozRnnpC14BHp0hF6g693JHfaIemlCxa3zWSbXRSn+gRfitztR0vpQyuu34zO7Q4HKylDEUGZtEM2gV+WkOOyiAOgmbruDG6BTr5aX5iolm9SXxf26E9jpUDyMqBWgVMs1Y28yls1CZuJUEmqc0POpuDXlMbPSImteLjWsXNMzlsCux+CjllEusdUwI9+r5UhHMPhqa2mKjW9QZ3P0DqO7bV9TI0eBWNaKG2thv4PUjzE9XETiyiUnaOXqPEaBBL0Vw+qB/adxpqhAnktTmkK8jgDdS1BX7emu7qKy1sT2OTaqBpO1nNk3gt7+JRc7dzT3SqfySWa2K38mA062EyEhT/p/tlrvMiX1y0tax2n6SImicc5Adndw8ovx7RHJhNXiTzEX2MsyDvhYPmgBgCQSh9lNGgQsxC3WF/YE51QQ1nzBjncJsl6SjIbB20XxgZ/gpM4k/7Naddxvvwcc/wpLXQYGs0TGd+alntpOeoOvZ4gAielAK9OhTfDzUvNcDNMiuRpDd1oyzjmdRbU2pueYSWUhF5lUMT03bXmRtoUb4LDi0O3UdwAI9CQ7lhhsDFRoOn1/I2d4vnUhXaQdnhbUlAig2pPDYplJdThIYEjUU6ttOxdJKyaxytYhrqU6qJjvuFr2gMOSj1cN7NXFnPmNZ6BJobL9Ohw/jyCoQy0zWjnjpG1nFtegB3qwf2WGe2oi+m0JdIjJxoAEO4jl6mbJIfU0yIJ302v2kHGiWfzCcuaDOZ1MLoVou5HjqWv9TB3h2XsXCF3zRO2EFQ2WDdLP9Yf/S4VzoON3Yf1Jgx7Jx4poY0881Ciuejq3wHLH3K9OMdvMgkRqJ0RM+oB24sJ8bd1Zz47Ae81LdQ1xpP/kSDbGG2wOUbU6eo/zbEfOYXNAd8NwIqnQj2aieDzS7s5Fs+DfW11sRuqlyXMzKGb8tpc4ODzCtzhS/qME6Kv+eYUXof9BWEE9Smx3pYbri9oRukGTfk+e4kenFjKUQlpH1YevtMpmJ/n+B2O0hs2W+HmYsmGVLlETJ/NTrSfs5C+0AAZ2QF9myzLz84vBNm1VT9+SGc9ybacD1tyd1FNbU+sZU0OdijIs7RwwtHuz/J5+UOJcRzqrg9Jr+0xckb4lwx9DMSO7f+whz85AxlwGRLSUwrYdXxpHI4+3neh3Z3HL18LKf1QsBuReC8JUwVvYwf3civ+SU1o82Y+Bn9Tv11pxmreeGFkfyAj4JRr/Fo2S4fffHQk6/zK9pHD81KkOZE20jianfszDiZRHflmrygEI0F0t6HCf4FDx0uv1M8rUt+NpL70WqKDCtNX013Ok6RPJcPmr/hou1pPbpjBAjll6SiGqabVgcLP+VrYPYBmFYlG0ll9CJdpa+c0jaWHzTFjASf56VL1FOS61G7ihpRexmJ3tCEvpnB7MyfZo65zWVtdRko59A7pqARP6FAEHJNbxM3xo0klu5cAbkaII0xn7o6WcbQafNdMlFbMbLfG2F34fs35RtZrWnKwhUWBJ/XU5SRy4mjhfyJgkxMtOflfNTcNXtlKt/C3lfxpsAlx8hDU1DbyF8goHs0lc/KNr5lzkpiUOp4PmIqm1iSCpxU26a0c/W8OQmFpQBDNDGFJA1dM0XtFlNUM9NOuPwANLH+nA2dNS1tQ0uti/3qbB6ZBtIVLa4h/W2/8iRTWsZJZTtFitnTSNzzoOfPPB5+WUE2axrPanmZSqlBtC/MIHhIKuxIJzMa+2KwER6Pw+aNsoPkO0juJPR/B3fXgYq5FTj3dHob1Bxt46G5ACWONctMOXPfLOTE9CcmsQBb+BjPKahPeZSdjoQra3OSv3ktPaDAA7yQG9MzM8yMNWvkGVe303kIxURjyAyaP6G7zS10rhs0E463U+fbIDmrxWxvfLWlJiMZ80zSgB8a0DHJKn9LBzOLMkEbWW0TvSbpqZluYz9pgNvLaG8hkQeYg8YfbjieR7qbXMImBnX0Aa9eorw0l1vpHDBrd4qteem8tHM3zATjcIak6Kax7ULuSqwHzScod7qJqWNoD7qnkY32AxKmUXAVe1dye7vkB3LvrCmMZAzH3qdFI/jKcelPMrScruGs9SSPzQxGOCQR0H1x62ezS1eaA29vIHf5BHrzn3Q0LDstNuX1otkmySmmr64sxy2/50Z6ly7SPzROctJYc0gfgQSVHslsGmnGm/0ylKJ+XbQp5tQNd5ML3DGPlvFD5EE6+innzUJwUk2arg/NLiljd8svk83epwhMqrbmoUyuiYTbDqayKwZS7UJPzHuzg85hw6+ZebIZz59C32QABXFTCvRVtjc5nR6llrTfnNecdEpmmScSxz7if2waGYen97PfJAGd0HzkJJiSeL1pJ1ejTNJNItGg2tJrOEMhfcSXZJSEUSEkeiQf0yJS2wxFO/6K2yuG+beWXWYueP+QrLUFNQBulNjiPuQjFaDkaFH+JpGk8aWQQArkeNRcQ9ETimLzy1KUi82Coh7xJL3AA2xd6gMXKIQ8zalHjYEb/Cv19Thnj/r9TqpNF6C/hfDzYVzADnct5bv0pIoUrHP1kUmiFW158gf13rXn9YN0tf3pJTx6rJnKE9FcnmB/r5grcpde0n6crJp+5LoSH7pKodVx2gHUVq+YAKh+rCkqr+gsOtNXqLoqmltb+MlaMxEbO1zHI5tfoQkedqtosxBlhy6vmbWSwCtPxzgzmvpJLg2n/Avbvg1t4L6ZpnHmFqcYVNQ+lRrY356Smy4gR4ZROp2KzUka9d8I6RPzu/aO4hTMC+rRE2Y9KOpv7Wma25P2XxkNDypBPzhmcGlbWTLTUn4vJ6CCa7LAvuHa8pjrwS9TSm3ZadrDE2ejG9WgezyKvkghu1WvomNmlWD9HQ5+PexfzJuljS0mFWQCPTchMpaHm95aD238gnRBvxlnmsKZ/SQJ7nQovKaLHjLvJS1dMddoE4foazhM5uBVVBGKTyJf8dwUkje8HYWasfaQG0cF7e9oyyfBJh3oKfubt7zfJsem95fd5rMZI8vA7C84qx2CLXxhlukrSqB/2CuylF6bFXDlArYIZaOOppK+h2cVtyPMYs6C05W1HWxTMGs+8XiVdKR+to8IHYLORpmRzpkH1M19po8ykIrrv9LXPIBzHeLdPJFKykJpYh9rIzvIXqITyKz34N/kUs9mQ4efx6/MOT5pJsp2vm6PqFAIx7I+Lh08Uj6YORIiG7FpkRxMAzWjvU2XQZZd1M/WsHuppRlhvrInW013k1kWaALbXl5CK7PgGivNZApAo4/0HeIpmPlUfm0SI81+p0R6zozXSDNI16H9ZnBXzFvdiXZwVt8ZNmllEE4WB91zi1jawkaOmRMmHG/tb37C1caJoSQUjMzEjnEZ5FSETeyB3ekKbsef8ntx6SOH6ShkdGYbaJLY9ejxybQBPOMndUCG9KY7UM8+Hig1ZBSvQVOIj04BdZuY+OcwMxQ5uRCqvGwHymFNL+vxlWfKRElvx0t2OxNM01bCqTy1oLts9JU5KGdBRD/CKtqMVJVG2kmcwkaiIYaZJtKUKulzKYN+N1BqmuUmSnU1onSsxU01PYM928336LsktPfBdkXIj3KFB5h7LKa4yyEdNQOtkXw0mRprJZltN6M1nZEM2kRvc0Hy0CZP6HFML5Rbwm37mlk8AnrdzvF0kHF6zDb2jnMxe0OyeUfoNW70Eu3W5cikvh5LpPnJxmbVFdDHIivo6rcxg2p0XB5hx47bdOC2ka6L3NdJJp4t4Wp4PlmrT21uEPNpaL+WDrOxvJrwmoyEmWKyo6Um3maL+aQrZRzoc6f5U4dL1+AClnEbwRrLFtG8drH86SpSAukvU+wjk8xu1l3GjyrIv7SOnulsnUtxkIDNbW00lU5w14KU2M3QMJlnP7okrgI6/QkawbN4DsXXKSaDje/a2PqyAH05GRqLv+lty+o+eY9u1l/W+RbgppLRM7lAf7oL2LR1slNDsTNr9HRQdjecVus13aAfqIRt5foSFGk6ujnax10y2aisq2xXuR/0lLrarfQL1L/R9dS0NsCbSwtBG2v0gWTV2aYcTRV/21xao4l/sTvtcbMITt1b80gizWTzoF12tvm9MNmvC8wlKWq7gCzmwweMtIN/vrct5QnNkgIa3+3FjKpSc3hufT1NdXyr4X7FaTiNMGH8p5wwPUBezX2FNZAn2VvoOF20vea2p+DsVbC5sdWT/rpN+9iH/E4WmhUcG7dzGNv+TWrYmGEzaaAb5H1ABhx098GAu+GyZG6yn+8TfQJ95rV/+xZjPrNdX6+mJZzttmkBJgmTNyYdODazrWmHS0UvIRpLG3x0XbcSpPLE3DJFqIbOtssk6nf989Nw6LYP5aER8s2MwvfjuLpwhk+cT1OAUpZIaWnkZUHiXpSoPwtyhjPSH5oMeqpuq2mwb6yZYU6Aqzcj9yfYXNrJvuby7gF/8T6FXjONJGHwJg5EGl7WZvYlrUFGJfRtp9vo/l3tE8rpjTTLaZOMxK5esXGg8n1hGbxdLgTulUJWmggNMBddBxOMzPE3TexneWzr2aG0RCvZ8+hX52mVNPTC3W75gi2cYuO45jaIi5szvF1HmOOSh1aaIGjnX82IfEzuxcCcxoGvX0tCrwF8q7ScpEcc3/1EBuZQj3tiyrVlKyeZu1Sa2i56jfq4GGgdzXAjdWWGMzLBZbaJbTJsZXNQl9oltM7e51ue6kNXw4616zW9/pClTHambqVgu4sS4zkR3kukSA/7ANTeluZjpybQI7pGNbxP0s2O1CrKaKLB8Ig+OkgfmAC+J1ltMY2kUfTcXeGz1N377PKAg2LqaDBleertDlIHfFtAu3vP3e/uX33FyzSelkQjXKEXpJLdI5m9HTh3Fa84NQUth8kRk92py0tkJoA4tkh7fYytXq7ltRv6VwQ6azvvpcTzWlNibWcGak9bWxdTQtsUDFbb64CG5A/GbYQbmihHaRcaSQsR/gAmK+bzud3mCj3mOUibp7YbEqyrKW4fmj10VNeASPe4EeaGjjUvkYYrKIBqosnsgMfE1L18hl8jtSZyALL+rLxDF8lN5W0FUXiGz0zSf0woUnS2vS6OD2txuUitaKg+1aWmNh0wk+WJjEE/bGerY4cPwMv7YM/amUdyjW9KNUpIU6k9PO4MuucLtI7WcgTc8832pNfcSTe4OfzOe8flkETFwEyHzGMeZz5yU/tBslEaqKi/pOB7tqcmtDt9Xb2t1N3XBZ2tsJ3t9mDL0genog6uKPWWKaC8IV4f+kZN0RerUxI9DM4oioa4Wzq52rjZ1VTRTOeiVEAWYyLneDW/MIfogczlQQRLl0Pmik6xC9DKtgUflk/2L9vSDARjeNQD5FVMp3I6mq2J0dtr0Xb0xNq0z7anO2H56JB+JbUlqQn62GP83GaQ5mY7BinWgvL6OptepqZpK221ha2Bm2ykJW0mbPQSnK8wzbF7aLIeQ6ocR0LNRZ99ZB4iu9vb5byYj1IWzQ2O2glWywPnnGBS6hFaJqltJzDAFe1FhWiiLLb54I5r1OoufcMlNCHFAXdcMhWoAS82p9RHYdj8SH6mFWU6mKELvv/CxAbPT9f+slpy0VrKI7+4JV2VvfpP1J+woSXmoQ7Tv2kpxZGS3jDw/XF+gu7Xn3bzL/BZFahtGN2lA5wajewUV9bt0MF6XkRHeTKNNhntE+lq4mMajnJqewp38d1AreNywyty2zXWD/3otXSya3Q+Rcp6dKhITmBXYBPH2h5upJlG210+9IO55oCpZ3/TejYJVQDZF7U/OIIz6k7+pOUxrVcmE9WWlBQAot6MrdslY729+oXrwaGG6is7I3yqi22/SjqZb/bb79IfOzTN3uM0aIF5NJEupZIutraTS+YQuHcGVHrMFIOaYngRfJ+TeIVdDzOfs1IpL57W1990MpqJvwnRpuayWQd6HGtmukeSDM3ltZBvf1B3GuE76PqZJ3RfPDlunhqW69TcK+9O0gakawWZYsa5KupktwbY3nrMNafT+k56ez/1I7XQofSTr3lrJbsr4Y7RPnNPCnhvMPMA7unlljyyUjoiyfbqSrtaP2H3V2Dze0pfL7cbZLPbAdLdKyLV3DI4eH70pT0UqT4dZhLbHNJICmHy3dRKmN0JL2gt1/mxaU07MfPGaNvbZAd6+iC4YDK7HVm8igba2ODVjLpaCtMrKRV8XJfLdiLvjG8Upbe/uK/Z65tkjmoVWS9Fwg5w66j/gnDuF4rvHZK26CTVlZAYjeHlq+SVvQ7izEi7tKxtaidSS11OC7HnlW1CuPttOPN0SWQHmCmmAZw5q6Sx7aSTN8XulOa0PeyqbYzWlFF6u4Rw8Um+4bYXPnKVPpQ+bqht6a3Hc32Yd1n7HS5WiOqZ4WgplSWjXetNlZ3w8lQuGZrvFrqGNlZAU9q7tJFKyyg7h/6gWL718Jktvsc+NkNoJHZhrRFeYTqDMOa68+Yf3PMeWitfoOODQTXtVCh8FxpYORoppegw+u4xOSnF7GL04HDxoPTmtrNNSCltFexAT30Czmilw5EN3zSt74R9bT6SSAts1BaT2QWBT6tLTEypJNigsPePlLaFgrvIZNcX2dUJm/7KEm/CdrTXSPBrIvfBtdXDNN/Ult52uQQYj5ua7raK95EvaBybwJ4zUU8+ohGa2LJ9aEeF5ZMeWlYX6QWzhg4iH3uiU483P/WXCYTap1K45LKbzUJOo4E2bfgkE1+bY/fE/KvtJZadKuHI9BnUAqzdwgy2VVw7u1360Xhp5jU1Pn3tWphz+gMJeA/O19Vs1vyaT7eBkru5pnDRs/TFhqDdLrJRN/uZs9vC2Nnj0g38sEMdXXXdzRvTX2OAkcq5yzKNh5lRVN47jp5IDM/X5NYgeauj8VaQc3TMvQc51aFOtjpobahWc8Mxr9kujb1gympMO86Ntn86NQNMT8ogx9xT/iUPeLv5U3ZoqA6yaewWX11dL010m9yS6r7FdNn1t9/RbhPYuC4byDUnFNRGO3l1aYV0llmUTZN6F7AzEzmhl1Hre/uQSCGUw92jgd5KCTRH6aSq5AieYS/bOBrb5rcV7WnscxMtoI9dPsTLUa6v33gPjXCb7H69gLYYBzyc2/sqn2gF/aZxfU9dYWokG/FWg/SSxkFCTNFNJp+zeg+bfEOQUnjnddTPFLCnfakkjtcfblAHmzieO5pyUtCekVNU2W6Vb/ouXDiW19Nu4hc01z62NX238dnH7Xz+BX56j4/0+Jm8ovVoBhZ3WltOwmVza3M9YGKBLQfST0lr6+l1uK+PxrsSNiEIOILHRffzV7RANplvvpyYVyq7QLbSbTpNsWx//Rek20g+gCQPiY9i21h2m8awf7h0MmFJAqkZ9Wf59KNdyiU1iVfclbaHeDwHm5KaTntKbhtmy7iT5iR0lBeZkEfawm2mSV17ja/zLNPUBHEnsdil7uYy34SDGwmiMxx37hQ5QWTP8U+7BMRy3y5yO/QPl9QulRFKXg99SR/4FPpupKkA16mNO8vt/YWkuW7yu5RQkD8NNlG/61s7fLCNIX9Td7BxJjomdezfdMJdsjd4shakMvCrMVTVLTYXTCxfelrEpdx3Goc8KAa3ugCa9MxMKgIm2UMHtS4Vl+8U142Rh3rfrKJprq7cEydd7RedCN7YbcbIGDdOl0gs7zJodZ1+4seYV3nvoO6G5ibLBglEMzhrFtr8oMNIvsV7zGDk0xP4/UxR6+FHnlI29J4PaJwnkH950eXvuRdmOSf24oaX0Mt0QDbxIPvEpMd73UDq9+UqModCdAKa+UQk004wwgOOZXfpRulpBnM7+M8h+Wp9brI0trlltzmJKaQGybAZKtWxrzu1KhhrpAswDbFZ5cFHbyWLjEGDesytJY+eFSPnaREc8AFXs0fCD/NL/YNWuNN8jnqZRzSMKoO6R8M1u3n/2hPohvPtMhD/ZlDnXvpqjA6h7TZIH/AgU0/2mEpaTI7pQ9OX89Fm90mK4DbHaEuKQMsrTLfFX7dKbLsNb7EAXNQSP1cVblrKuwOmGIwu8pM/SFGkIetlEy94NXpYJduX1+mpsKpyX1ZDLRd9heh3DYWjdbWlvCn4Zw2Xh/xAso/ouhtgNtBY7u61lU32vNfBNAfBr5MBpjg1Nmt4A2/AnS8GLRT0kCJwpWnagj5qpLygHqaFtNN54u8Nc7Glmr6iUN815MZ6LWZPUlXb2Q2jrZSa3plxusnnMw+4DGVxY6COkVDbbDTJqrIEH9sdPHZCashVryCSs7VESFJ3wPzlZlMmu8XM5Z1c025Gl7jsOugm+sUFpBR6xU557T03KgvhKbXte9yMnzzk4ya53aO/2ZVoWYPcWSj6ohSx2HJ+RAfg3PM5tT1s+7kmIIgEGsI3dYZ5ZAarGGvD0GZaSxL3Ev1/gwb6QHey3+TErp+iON5LkwX3n05bahDfkfLURVvrKNBfPpoh3aiD6UJKF3kGF5avksBWoFAJ4d6UAOly26QE0x6Wq2YGTeMW8pk+4uSPqK18pKxeX3jTJ11gU+sT3UuT0Cd7mAgkbG/tYTrKGrDAJB5CUQwyw8WmT7TFrkEPuKnD1VA1uNko3FVDL7Z9BFK65W7yDpvFK6vnzGL0y8dU0RvusrgLcLsAO0mvkr8XaXa4wl4O3z2OTxf1DDw/EQhqHrZ0IVfQ4nCPRvirkmawz7EzBTSnd9jXgF7IapvBG0P1ZLRLYTN55X33zAe+zFWXlLEj3F06a6rI3Kjf5ZEZvJfm80vJbpfoNe85b8NXPkgfozaQmsu34OEmu4Tqc7T9z7j5AOPoMxe2yWwbpDNuwfeRkoGoVrmR9ofsp4lk0aoX8lqTQQdTKCiygJctLLsNo9a+YzQPrLVC3tAT+4Y2GAvnOK3ZqLiW0zz0lZ2c1LnylJxugnP68282ktZLTK+b1pZ2NsT7QVNcJ5tDc9JuaK4g/h19X1bIcPPBfDVJKR4odgKNFsNsCmg/eqsvOdRscJm9PvLJTOOB5hkY5JN5pB/ouflmcukASuhm2G6U0y5Uj+ZSZhuINB9K+WmtruJPvocmv/0XHpfIhaLl5qMKNNIMQ2rFdj3puC1v9+kVs9sloWBew37kgYsy2GCoJJUrZt9wJPWgQLnKO3WUzSyHg6M++rw5YJdSgPZxx02ATYOsLWXPgAdemPzajqrbWyZCE9F59JzV9FQX0H1juCda7zJ7XG56v6SbF0lVbDl6qI3dLxMkKtvsNnDxL8oathRPu2X+kpOcmnJSHN9A04rSe7slJvn4mHns3rq35ivl8obaRdrN/GEToGnmozeUx9ax/fQ8fTAndQldl5nmjW41VfQifTHLqS89NpncLuuTCVzQnZJYvs32Kr3RefTT7OOH5jD/NJvNY/klZex389im9T0zo8wdt9z8srGtse3I2Pu2tbZCniT3DtgeyJ590Md87WNOm6beORB2a2+2Ppb+wW+9sbaaG6shdpjX2FjaHObv1fYeU2FfXbvfnJKl+s0sc40INItOtxafNQ9UVdzGxNtPtyvonW61pamPmWWDXShdMgRWUv1izspWCUGrO4rJDdGFUPNmOMut6D+//81Ot01cBhojyWm5l9YWMNlpjxnEOW2k7Hbf7GxqZsaZTmYUz7KftV5wBrfShdNOO0+/0w705um+hvQODnESeruAs9awkfpRp3nF0bvmwI9XQEPnqLzGAz8b29Zm8g0mf3fQfKcpGkhNrE9recu8S7aPPpBxZpKGyBC0iHXU1v4LmnwtzlukPncGJP7KG2jHhFX2ktEQ+HhZ2sJpfH9Zdpfpkw5HTt2m2N5OOkxr9K1J4csMDfTWRdKQNmpK5FIjGiSDsCcJdIjxSUlKL/G8FZTa/m3SuIFE1JTmU1M7TWrhtl67Qm6EnjcvkaP3ZLUZLY/lFFhuFeWTftDEMiqiB5H8hdCxboGk38oHE0KTJMBrjP0sLBvtW99o24Lq0A8ZL5fJT/+Qt9TWzUT7uo8sLOO9ZqFl5ql2kFxySobBfc+jy/TTTvQXZYE7htAV942q4Z6LS2uaZqvqWEzjvrffrbcZHUENBWxad9hetKNkiT2iZ91MzQRKzW1jeHe88e47n6IW9iHvl82c1bKcdcP1qaaygbrfjKXOaOzrKIH9Y0kITYBOQm05SY7PPMsFtKiXFon/2KwxdV1xGWNDaQgVQ8t9hx4/3+6lQr4HdBdEWMzWs6fNrjA4JdWD6qdoHt9WL4KeIY0Sofe+ZiPxaI1Ja4XCKZVvArg1rb2h2ewF+YqZ+NtsvgD7wTSlIOmBf28ph6k0GOcy5aX6tAiN9ogmkau+r9qLftkSaItx3FtvKrVwgfKB/IIf0QKzTjbQNjOSOprl4geCC3Qdab4t6t2lknaupqUkbjT9YXPa9sjm5mCHaWC+s2YPZcHNjCSfGSEdwdrx7GtNTo4G4OfyuJzUnJLb1l42jYcZbKH4dIvzg5tSI5Ua2g7IslbWj+7Re9OYGtmiMhVePtNltyVdLhtsZ6J5fkI7PEu13A3pJW/ANvW8GVDMdQo2q3kVRf1aQnH7mmt4TWwT9RPWfLYnzrHMdQheRdn1PNIg0M72uqAZDwY7nEaq16WNHAHm6C7/2KvSPPg+Ens3mt5mc4w7oxWVk2S+qXjb564YbuCMLDE98Mwv9h2YyI/60DqO6r6jfAE03mtMhyiBy+Il8zkaam9JuH3mNuMsb+UkrTOzdJkZiL6S3KamdVoLbboz7aaXuoLm8gcTSjF8W6k3Mia2HUqnTUzM5pIutbvg2k0kp+bQyzqI4qKfXzHdwecxKWVU1zdxwmqBXd5yfVtUz3M/bYtbfWyG211cRlpDkfXkuytlz/MK2WA7UhzcFZtvNMa1psMSg5J640xyCbSbabU+oQIg8KxaITxYF9I13mKng1ffmi+mIXynhR1IX7Uw9muB5saJrX6xI+i0HWzzS08brM3tMRBfC2vtVJwso3dDX1tFSux0bagnNXdzQU556LjEdeUxxe/okR6tokf6TI/aRTIFJLTfJLDxXXKxXhF0nIR0AlQRamZqUWxjkH0ot2i1uc3VwIYZ5IKmsPe9Nb7hNo7N6t1EFsb3nktxb7UpREfwDvHsIV8y+xnPW0Z5NCl2vojMoAK+AZINHe2L3RK2GefLL6kxpxGSCl+vJFJ9tp1PCaUQWvcyX1FQYDvr5LIckqGU272mQbZoWDqbNvionMFZEuoNaUP3uahHXk+6BQ4YTcsx4WT6jx2L5x1Cp46hJVXsW1DoDv1sf7PfJB2l0Y22B2W3e/U4vfQlsKftHsqtt+D3CfQI+JPs4bB94JbCtrrLZFm/oBUvsINsTPvT3tZwak1/6UbtAf/bYf6Qs9IFXBKhzhNMc/HSxmiFybC3++258DJ2MN3QzF4ycbrTFpRwmkYbcHuTpAQ6a0JZZgZRJfuXL+YS9WLYjS4ZMq+FHYkZpdKEXtT/f+OgrzOV854jIXrJCX6uBWQWbdN28pPbghS/oROUcBvkBbrtNCoqKegN7zQ7pYaXIniuZPFe4fnFNIbelr9MQdrFzaiE/LTqloADPUlnC4NnpmgXCtXyaCefJJ0Xgq2qBU/cCl84bpK4+yYU2bIevGKw+1f1byRFerzhC0nofob5I/uzY8sSwDvXuYfi56p6/eAvCXWMV1+SaCjV1RxUWhPKNrfbfpTe8JfC4S/gsddwg329KDI4wt/MM3sXTYRdO3sYaaf2O3WkbLhlP98IGyBD0JNG0iBaSiE2XHbM3ciHqIOe4Dw2mXwxFeg5L9dVsgu+HwC9DyOhfpSEUtiu6DAxKSC4Ibz2H9pt23jLfTvAJlPBYRvhhFH/P6oM+IyXFEvDpQoUamS4e4qm+0jXQwfnzScthXttSAb5MMes0NdSxhuN/Y3Qk2HV8DVSOh/FsAfkoTmD3agqe/CEVJir5XWg/gBKGryV00D1n0PD5SWtMAtMaY0LnnsPVmtFgzgHDZBuZgUaQS+aYf3kimlP/iCaW3DDCfzCdDSTaDXVt/0whRTI6lz47K3kOMg3UhpqN7TLwt5yTY/tWgemKIAWuUrH0ANuT20phCvajuYoXZLCNkTeSQ8pOvcAku4OjTJhcs6012kczMnpKAhkL/yuqe2OPnDctkAmDpbxdivl0q00C9p/Cu/sw7fMJDT642DbSJqpavqEpUATCUHmnzbnpb40oLPw0q1SSv6FAwyhoTJBjuCcY6P+DxNySy7hRqu6od5FZFa4bsPez+bDet0WdmNMPejri+Sg/9PBmUd1WWZxPCxKxtEoUjRpEa2jli2ULWamOeWWlUtumGNomeWYS4yFDpIFMYp6vPe+iAvDc+/zumCaimZqRsSolSmnEgKJJBQdyhQnSynJme+vf+HA+yz33u/nc37w7nJ7KIVL9ANkVSdx7ns6jGR6QKosC2faz2I1xv4ZPMs97Tmp96/IKnrLvgXRpEq9a0LyzkA+l8JB6ihbD2O9iToX1l0M4h3Nv/HlVkLt5BY47Xa60gboPHmTa9EVP7NKAqo+Q09TPkUb7hQp3FdHciVOPw5Znamt5Ed3t8T7NnbCttAt+o1r5iF8yRXxAx71a2zrOSZMRzV+pwvsFN0PJwnpGn2ZF+g90oM7SLbU6duYiGVgyJnhaftYrvD1csb+Au/ozJvCB4Mu4N3b7Hlp5Z+wP+E7fWWpnwhnfNJnyfNS7PvLce3mt4KGX/LJwWlJDz7DnjZwo+3nvvCUkTrUH9d6+hGpfbV/V9LsU3tEkmSkvRf09i2CBmh1pgXBBZxUUpgfZNpMnNtsKbD5UqQ/SYNVgtF6W5Kd58Af5SM6QdYH2/xlub8GhXKdPRNc7vfzxzzGVgWj1u0NfrM0+UXfl0Mg/jx+3SfxNXyOplmij+JEGMrUYDq1lwnrjvAp8GsZaneDDKGBfMPaBTI+/Jo22Q+aJlmuQt+Q3vaK7PIng5uD6VhtA13gq/xRS7SYsFqe9P+zodLS/xfkcdiPsp8lP2i27dbRW/A9GH2ODuJVnB/kgsyjpSu4Y3fkfw0oJ7xZ2yMJ9tAOK0NV3c2NnCAXqFWYYsa/c7VOpFT03wU+pw8Hh83JFhtrY4J0+zMnySEjq6MKnOWE3G1+kTRqOQh3a0G/oFmuDvrg9g7AHPKDdhafW+Iq0THZ9lJuK9/KT5P2/lrOXJOJZP+SKjk9mBxs9xVaA+ZIRre/AkI/Y9E+yUb49nKWOtrjVOz+Qxk6lvdSW19EPSwm91F+0M+XN2S+DPCC9dfaCW4RTLVQm4JqmmUjLRlT+PEgcvdbeYg/Kc9ZFOdqk+TD4PPd57wneBAO+5WkcgeQUjLX6YbIOz3pPHrsoJuJ7OyOyTNPPyZzKcw6UI5G2JljrdHtpDE4wycllaLCy6WtbuYbpBf3xBys5io6RpdotMQHjCybi1prRNKe0448BHxbTD/pOduEnS+VE/a55qHaboUhxHEa1eg/+P5gC79BBqNgiQsin/yUY2WvMvs7eQyMKUH2uchbeZ7L/Ss/YqmUo6v8OzRLe1kp7eZxEuVHI6/+xlfqQT5qK9x2LtUpbiafoSZuCBdIgYzlTy3WDmml9EPPDZPW1j2YA54+ryMw02HZ2OViaYnZsAUT1qFHk6yI9oHyHuaJvhuv98qVlMA/w0/ayuO+yk3nsVzCc/VpeUzv58FYVawdR3+fpBoqpAY46QrUUg5Y/ww38zKahb2uxcwYxCttB63UUYG4lvCGBbKFS2BzWcFUfkmfpUH8BVwwXiI335N783U6kbM1WnbSZdpJo4IP4Q45ei9f4uXWggdqne0E9w2n/b5AW3G1O+a+kI56bVBPX1ld5K1ELpNX+iI9ibmeY41g/FQ66CbRfSDVN3mmPoAJ2913wkQbZV05TsfIPTYkKHQL7TS96YbSPr7VN+hroNPEsMwf4pv8SJz/IXldu0o3fpQ7ICG20i6awfdyLy1d1oNDN5cId9BHvqVUVGcVqniGptt4uYt/gYWshvkPl814el+tALkfsXGyn+vtRflI26MaC10Olfvrg756F5dLrK+ls9ommIPp/4yNpnx3H9fILNsOKlhIc/1QUlnNG8FtX4blfNhFm6MSjbIm5O8n3DY8oJfpCVhQLWw+xiaj5r9zs7TKXURfzKcXaTqye4c/T6v533oR7l6L3GmlEd/sxwkgw6E8LexinXifu8Dd5A7pDz9IAVf15zv5ot0IY90rvddNZXOBb+AUn6rDuQtSKRMZP82qaYGP8HY3nFwf3F6lTqKdqJ/T/DB8+heYcAoNtu+x4npSLuAUiw4ib3SczNE8BSfUFkw2A+59jGJ0tgwGkVW5zjCKCtlhcVJF2TTVT7aeOJu1kiOnNMKTok+xwEV3uXYy3Ddpsb4Ff2z2iT4PxPQUCGX02nReqJt0kbs6KKTJ+FoqeqGQavl9MW3BRX6eO6ilkmjFLlND2q99ghrOovf4/WA4VeBp+e4jucNieK9fR7v0V/TdAXSE9zPkhEzgzT6SkM1U4qL5CV0tr8HaplEvWYbf9oU8CnvK5Cn+Kexrlg7jGrjsKDw9Q1rooiDOR96jma4t7F7urO9ROW2wEbJKz1K5m6H3+WmwijxaTPHgf5VYuGQvyZNGzKJiWsRt1uTov2gh9USKxcJV5vFN8IIqEu0s3XkYd0fNJIM+LfKX4rwkWC/mPuJt/HXY5Ppznm7wkU8n8+1OENtZ9MZO/ZCjkBN1Go0b3kMrMDn/rjW6GzQTci9Jlxo+pun6Lm3i1mDbq/C8Wv7K1bulNBzGp+FbmIqzaYWbCm8cwA38KQ0Mv7OQjlqhK7NRqAPBJEv2U9HLn/Eg+9biQVnXYn4ofttF/l3fkVoaxY/Jh76NXMK6M2BIy51nrB+umwDi6WqbeY07gc5YIp+4K6TQRfF4+cGNhKutlOlU5LJkjZW6R/gxW67jeIAswRzoZN7v9p7bgUs2hq2DPG62+dQJs6AAay7GhIjj+ZTBfWWGZqLm93KjGs+xs9SSfyQF9QwDJ0TzeX1IF1MZdbEeMhmk8QTO5hs7LtmYgs08iTuCW7raRnsavdefbwdTz4XV3yDljnWoVIGxwIxax7Mpn3OdQ/5U60N8PToja/kyPgDCvJGzaYk/SXEyJVxMp6iEq3m8Rmlrf12Q9gelxXKkpoZxvCbYKl3qeso53cQvwMeWaR+7gmGA4JkM222lPBCk8In/wC6g+6/E9PwchvlMkKFxvn3Q2u7Arm+Xw2G2hjyAt2mhHLYp+OlaWoaEeZlv0668AiwzhY64MpDiCLBtGo3jCp2AWZLGJ6lBO2gub6HBXIlO/I2W2GSL437B77RJ11tymOlXhvP5J40SwWR8FUxZoNP5bSTIC1agl2gS76SNvoD2ai114/8DAkVEDg==","decoded_sha256":"714d2916bae59bb7b1a13ff1e76e2015964955b54611a382c03c0c7c73d5a5c9","count":11856},"pass":true},"2_closed_loop":{"pass":true,"alpha":0.35,"alpha2":0.35,"threshold_bps":0.01,"callbacks":90802,"rule_moves":7470,"rule_moves_measured_in":"shadow","max_bps":[4.4848741040381945e-07,4.580118229124963e-07],"rows":[{"seed":60000,"n":11100,"rule_moves":930,"max_bps":[4.159017748250893e-07,4.385155086272796e-07],"raw_shadow_max_bps":[4.159017748250893e-07,4.385155086272796e-07],"rms_bps":[6.546909926769378e-08,6.553152799861431e-08],"peak_transaction_gas":165728,"guard_shifts":0},{"seed":60001,"n":10861,"rule_moves":870,"max_bps":[4.404027142967948e-07,4.16861614671582e-07],"raw_shadow_max_bps":[4.404027142967948e-07,4.16861614671582e-07],"rms_bps":[6.655351404214251e-08,6.541408250377642e-08],"peak_transaction_gas":169612,"guard_shifts":0},{"seed":60002,"n":12004,"rule_moves":960,"max_bps":[4.4848741040381945e-07,4.3626283141584565e-07],"raw_shadow_max_bps":[4.4848741040381945e-07,4.3626283141584565e-07],"rms_bps":[6.709498672228737e-08,6.982239413430484e-08],"peak_transaction_gas":182025,"guard_shifts":0},{"seed":60003,"n":12029,"rule_moves":1017,"max_bps":[4.4049711794835744e-07,4.2314006465371534e-07],"raw_shadow_max_bps":[4.4049711794835744e-07,4.2314006465371534e-07],"rms_bps":[6.861983313514389e-08,6.948811515121324e-08],"peak_transaction_gas":174763,"guard_shifts":0},{"seed":60004,"n":12385,"rule_moves":1103,"max_bps":[4.427258559758229e-07,4.394726596523846e-07],"raw_shadow_max_bps":[4.427258559758229e-07,4.394726596523846e-07],"rms_bps":[6.929792650686066e-08,6.753084629672829e-08],"peak_transaction_gas":165864,"guard_shifts":0},{"seed":60005,"n":12407,"rule_moves":1112,"max_bps":[4.480766799264124e-07,4.5772736295690564e-07],"raw_shadow_max_bps":[4.480766799264124e-07,4.5772736295690564e-07],"rms_bps":[6.720735179938061e-08,7.366056722113556e-08],"peak_transaction_gas":156977,"guard_shifts":0},{"seed":60006,"n":10826,"rule_moves":814,"max_bps":[4.3092399440447515e-07,4.500840498911085e-07],"raw_shadow_max_bps":[458.6046548828768,4.500840498911085e-07],"rms_bps":[6.408086531797642e-08,6.90073847712397e-08],"peak_transaction_gas":179854,"guard_shifts":0},{"seed":60007,"n":9190,"rule_moves":664,"max_bps":[4.309419487924515e-07,4.580118229124963e-07],"raw_shadow_max_bps":[4.309419487924515e-07,4.580118229124963e-07],"rms_bps":[6.126597861621471e-08,6.655963056437434e-08],"peak_transaction_gas":178189,"guard_shifts":0}]},"3_rule_off_sanity":{"pass":true,"alpha":0.0,"alpha2":0.0,"threshold_bps":0.01,"callbacks":90448,"rule_moves":0,"rule_moves_measured_in":"shadow","max_bps":[4.569313677427189e-07,4.580097065498556e-07],"rows":[{"seed":60000,"n":11063,"rule_moves":0,"max_bps":[4.4968112566934337e-07,4.4790744030409613e-07],"raw_shadow_max_bps":[4.4968112566934337e-07,4.4790744030409613e-07],"rms_bps":[6.530831531681267e-08,6.651795606398311e-08],"peak_transaction_gas":165871,"guard_shifts":0},{"seed":60001,"n":10817,"rule_moves":0,"max_bps":[4.3046758865794565e-07,4.294166021032164e-07],"raw_shadow_max_bps":[4.3046758865794565e-07,4.294166021032164e-07],"rms_bps":[6.687205437176917e-08,6.53251019354322e-08],"peak_transaction_gas":169134,"guard_shifts":0},{"seed":60002,"n":11967,"rule_moves":0,"max_bps":[4.2676737144198285e-07,4.5133272119635137e-07],"raw_shadow_max_bps":[4.2676737144198285e-07,4.5133272119635137e-07],"rms_bps":[6.725688198178842e-08,7.021132791798146e-08],"peak_transaction_gas":166774,"guard_shifts":0},{"seed":60003,"n":11984,"rule_moves":0,"max_bps":[4.4382204508752743e-07,4.4624122105818564e-07],"raw_shadow_max_bps":[4.4382204508752743e-07,4.4624122105818564e-07],"rms_bps":[6.988435149745739e-08,6.892190071662495e-08],"peak_transaction_gas":175082,"guard_shifts":0},{"seed":60004,"n":12336,"rule_moves":0,"max_bps":[4.569313677427189e-07,4.39470751456561e-07],"raw_shadow_max_bps":[4.569313677427189e-07,4.39470751456561e-07],"rms_bps":[6.988132877220487e-08,6.683997433417794e-08],"peak_transaction_gas":165835,"guard_shifts":0},{"seed":60005,"n":12361,"rule_moves":0,"max_bps":[4.4744924779238637e-07,4.5398134904117704e-07],"raw_shadow_max_bps":[4.4744924779238637e-07,4.5398134904117704e-07],"rms_bps":[6.739429564065265e-08,7.442878353816544e-08],"peak_transaction_gas":156838,"guard_shifts":0},{"seed":60006,"n":10771,"rule_moves":0,"max_bps":[4.30921479055435e-07,4.166640123204335e-07],"raw_shadow_max_bps":[458.8627140291132,4.166640123204335e-07],"rms_bps":[6.406877374291486e-08,6.905476355608293e-08],"peak_transaction_gas":177455,"guard_shifts":0},{"seed":60007,"n":9149,"rule_moves":0,"max_bps":[4.461405550548747e-07,4.580097065498556e-07],"raw_shadow_max_bps":[4.461405550548747e-07,4.580097065498556e-07],"rms_bps":[6.218473929367887e-08,6.724733180008771e-08],"peak_transaction_gas":178128,"guard_shifts":0}],"source_sha256":"69c361efb59a346f908ffe30c3197d9d08903bc2305d0ccd79f23e6535daed40"},"4_validate_size_storage_assembly":{"pass":true,"validate_exit_code":0,"validate_output":"Validating strategy...\nCompiling strategy...\nStrategy 'TellMinLookup' validated successfully!\n","runtime_bytes":21077,"runtime_limit":24576,"declared_storage_slots":32,"used_storage_indices":[0,1,2,3,4,5],"assembly":false,"storage_layout":{"storage":[{"astId":30,"contract":"Strategy.sol:Strategy","label":"slots","offset":0,"slot":"0","type":"t_array(t_uint256)32_storage"}],"types":{"t_array(t_uint256)32_storage":{"base":"t_uint256","encoding":"inplace","label":"uint256[32]","numberOfBytes":"1024"},"t_uint256":{"encoding":"inplace","label":"uint256","numberOfBytes":"32"}}}},"5_engine_gas_smoke":{"blocks":[{"seeds":[14002584,14002585,14002586,14002587,14002588,14002589,14002590,14002591],"results":8}],"configs":[{"seed":14002584,"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_dt":1.0,"retail_buy_prob":0.5,"retail_size_sigma":1.2,"gbm_sigma":0.0008871626640159605,"retail_arrival_rate":0.7079146855055481,"retail_mean_size":20.27392337464291},{"seed":14002585,"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_dt":1.0,"retail_buy_prob":0.5,"retail_size_sigma":1.2,"gbm_sigma":0.0009001641112026739,"retail_arrival_rate":0.9801854785303741,"retail_mean_size":20.023643249400514},{"seed":14002586,"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_dt":1.0,"retail_buy_prob":0.5,"retail_size_sigma":1.2,"gbm_sigma":0.0009845924433148792,"retail_arrival_rate":0.7193964573656493,"retail_mean_size":19.523224268498634},{"seed":14002587,"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_dt":1.0,"retail_buy_prob":0.5,"retail_size_sigma":1.2,"gbm_sigma":0.000982960582616006,"retail_arrival_rate":0.6947242026384399,"retail_mean_size":19.17129833428725},{"seed":14002588,"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_dt":1.0,"retail_buy_prob":0.5,"retail_size_sigma":1.2,"gbm_sigma":0.0010050067069191707,"retail_arrival_rate":0.8045310211257446,"retail_mean_size":20.886112211144734},{"seed":14002589,"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_dt":1.0,"retail_buy_prob":0.5,"retail_size_sigma":1.2,"gbm_sigma":0.0009469310206913099,"retail_arrival_rate":0.9231763158945975,"retail_mean_size":20.61000584749076},{"seed":14002590,"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_dt":1.0,"retail_buy_prob":0.5,"retail_size_sigma":1.2,"gbm_sigma":0.0009285024722142176,"retail_arrival_rate":0.7373083479253354,"retail_mean_size":20.076328702943886},{"seed":14002591,"n_steps":10000,"initial_price":100.0,"initial_x":100.0,"initial_y":10000.0,"gbm_mu":0.0,"gbm_dt":1.0,"retail_buy_prob":0.5,"retail_size_sigma":1.2,"gbm_sigma":0.0009797363969708945,"retail_arrival_rate":0.9588855203878301,"retail_mean_size":20.250190933209335}],"gas_stats":[{"role":"Baseline","callback":"afterInitialize","calls":8,"ok":8,"max_ok_gas":21796,"sum_ok_gas":174368,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"afterSwap","calls":87573,"ok":87573,"max_ok_gas":22592,"sum_ok_gas":1975894152,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Baseline","callback":"getName","calls":8,"ok":8,"max_ok_gas":21526,"sum_ok_gas":172208,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterInitialize","calls":8,"ok":8,"max_ok_gas":137205,"sum_ok_gas":1097640,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"afterSwap","calls":89021,"ok":89021,"max_ok_gas":207455,"sum_ok_gas":11627730115,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},{"role":"Submission","callback":"getName","calls":8,"ok":8,"max_ok_gas":21569,"sum_ok_gas":172552,"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}],"pass":true,"peak_afterSwap_gas":207455,"peak_limit":245000,"failures_all_roles":{"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"scores_computed_or_reported_by_harness":false}},"seeds_used":{"candidate_replica":[60000,60001,60002,60003,60004,60005,60006,60007],"rule_off_replica":[60000,60001,60002,60003,60004,60005,60006,60007],"engine_smoke":[14002584,14002585,14002586,14002587,14002588,14002589,14002590,14002591]},"integrity":{"frozen_artifact_body_sha256":"fd38823c16c850438759b77387cecd713241ff3f0b6d5280ef161c6717375ed8","give_artifact_body_sha256":"e931451c8e4b3ace70dbcde4910728e086fb292489bccaab0bf9c5c3be72fe14","frozen_source_sha256":"69c361efb59a346f908ffe30c3197d9d08903bc2305d0ccd79f23e6535daed40","frozen_bundle_decoded_sha256":"4f3e024388c3fac92e5a33ecea1ac3e08a68a5fbcfa45aaf86baa0a1debfc83c","give_source_decoded_sha256":"8d871a6b4fe3fda47404282239939f558b1656a651fcc03eb86f1d4f56cc1b3e","vectors_gz_sha256":"7483623d551bd6334547b6b1fcd621b4d721dd2082011b6c113f083421396947","unchanged_qpl_sha256":"830868f9b3e5ad162c4f2070e6faed0782c7b4cc308ab69044b2cf7306f68099","single_rule_diff_only":true,"engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","engine_wheel_sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a"},"evidence_note":"Gate values are local measurements from the bundled harness overlay and frozen upstream gate scripts, not independent certification. Engine smoke only; no score evaluation or submission. Vector gas includes transaction base; engine peak comes from gas_stats().","upstream_sources":{"frozen":"https://api.imd.fun/artifacts/fd38823c16c850438759b77387cecd713241ff3f0b6d5280ef161c6717375ed8","rule":"https://api.imd.fun/artifacts/e931451c8e4b3ace70dbcde4910728e086fb292489bccaab0bf9c5c3be72fe14"}}