{"item":"qtr2-path","credit":"Taylor (gtmcknight): solved policy, Gaussian filter, qm tables and replica. Source seats: qt1, TC-A #770, o1-a #541, o1-b #1497.","status":"incomplete: Python Q passed; integrated Solidity exceeds EIP-170","as_of_utc":"2026-11-10T06:48:00Z","submitted_to_leaderboard":false,"inputs":{"18ca":{"url":"https://api.imd.fun/artifacts/18ca35cb47390b8e8c289b240d7836804692998ad64f84ef248c43d61e199f0b","sha256":"18ca35cb47390b8e8c289b240d7836804692998ad64f84ef248c43d61e199f0b"},"d56e":{"url":"https://api.imd.fun/artifacts/d56e3af5cc1e32dcc52be27046df89fb403d770a7fabf39e1a0ef94827349a5a","sha256":"d56e3af5cc1e32dcc52be27046df89fb403d770a7fabf39e1a0ef94827349a5a"},"9242":{"url":"https://api.imd.fun/artifacts/9242f3ebbe1ef8d23e590c9784f147655714aaf8a6da7a841273170f20c9ad9b","sha256":"9242f3ebbe1ef8d23e590c9784f147655714aaf8a6da7a841273170f20c9ad9b"},"3385":{"url":"https://api.imd.fun/artifacts/3385a6e029d6bea8c32e24205e2207988e325b8b70ad133c8b2083a052e3ac3e","sha256":"3385a6e029d6bea8c32e24205e2207988e325b8b70ad133c8b2083a052e3ac3e"}},"P":{"status":"PASS","unchanged":true,"command":"python3 -I gates.py","comparison":"All twelve README values match at six decimal places","output":"seed   perfect-info      gaussian+plain    gaussian+qm       lattice+qm\n10000  448.261189  443.455598  443.522608  443.663520\n10001  576.779199  571.463409  571.623551  571.977293\n10002  531.886497  525.168028  525.865859  526.411631\n"},"setup":{"status":"PASS","invocations":1,"script_sha256":"f3abb169ae32d5b1c3d8604d693fa1c646dcbda1a527aab6cc6c8402724f392b","wheel_sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a","starter_validation":"PASS"},"baseline_benchmark":{"seed":70000,"n":2000,"max_error_bps":{"candidate":1.5048998679156878e-06},"peak":{"candidate":161288},"sum_gas":{"candidate":221856196},"sha256":{"candidate":"33ce014029426d8c227d859abc4c8ff492eaed720bd66e51973f2a16f1a64c7e"},"seconds":20.73940969002433,"bytes":19945},"gates":{"T":{"status":"incomplete","reason":"Integrated deployment is over EIP-170; Python label equality is diagnostic only"},"Q":{"status":"PASS","scope":"Python-only preliminary Q before contract port"},"F":{"status":"incomplete","callbacks":0,"fee_error_bps":null},"G":{"status":"FAIL","size_limit":24576,"runtime_bytes":25564,"over_limit_bytes":988,"engine_peak":null,"oog":null,"pilot_status":"not run"},"E":{"status":"incomplete","windows":[[9962048,9962559],[9962560,9963071]],"n":0}},"engine_seed_ledger":{"reserved":[],"consumed":[],"pilot_not_run":[9963088,9963095],"evaluation_not_run":[[9962048,9962559],[9962560,9963071]]},"source_bundle":{"format":"base64(tar.xz); ordinary files, relative paths, no links","sha256_compressed":"e103954cf45c7084dd8fdf9f557556548ab149abbead7e915d1308722f2affc1","manifest":{"scratch/work/base_choose.py":{"sha256":"320b5e790e4ecf3e76184019b7d98bc682119e175b293f469b6c4bc314cd7ba7","bytes":868},"scratch/work/bounded_tell.py":{"sha256":"2f27993cc3d66594b8376618559bd541f117fc27e64d91c2494d6f28ee9fab22","bytes":5708},"scratch/work/exactbase.py":{"sha256":"50b39055d05254eed588dce9b1277aceed3da16419f1892a987c582bf713edca","bytes":4353},"scratch/work/experiment.py":{"sha256":"c929ed2cef3d972d47833f0c2ed363c1dd5daf298781f88d334817167c54abdc","bytes":1208},"scratch/work/fallback_test.py":{"sha256":"ab3b31768b5091c7b53c4c2a13f441b89423f60a2ecc7dd393a69475b8fbb1c9","bytes":847},"scratch/work/paired_port.py":{"sha256":"ef8042afda81dbb8460fb1f13ad322b1c4148b57dc66e2fa30f56b48a8aefc51","bytes":1851},"scratch/work/paired_port_test.py":{"sha256":"62d3305478a50d63925f8c596b682e1f617b99a563761fb94f9ee9e912aa9855","bytes":998},"scratch/work/policy.py":{"sha256":"8068193c397a6b66332cfb220dd35491fce38aebea352fdda36151ef967a04f1","bytes":5023},"scratch/work/port.py":{"sha256":"97669d11034f8c0b800880ede93c6ffeeb2b6628b26f0e926f5ccc4642699288","bytes":9989},"scratch/work/qmref.py":{"sha256":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","bytes":7739},"scratch/work/replica2.py":{"sha256":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685","bytes":7503},"scratch/work/report.py":{"sha256":"487829fbc6293003abd791308272c9f811f428f3ab4fa4c9ac73dc3f62c446cf","bytes":1362},"scratch/work/restore_blob.py":{"sha256":"ee664c756a3f215fe63eb0258e9bbc24680a5966bfd95e0c0e8d99947b899fd1","bytes":2283},"scratch/work/soft64.py":{"sha256":"9620421ec2ac263a1db58a651f7a4df0a316da703fd394ef9f31161c71598c00","bytes":1910},"scratch/work/soft64_test.py":{"sha256":"d2501b2f6c7100ddfd73ba34885f4b9072079a287c381390a50332026f6812aa","bytes":1430},"scratch/work/tests.py":{"sha256":"12a3f2c12b2d1580305b0c70274c4f5f1b37a5266aca4a92bf10431024556f97","bytes":2983},"scratch/work/frozen.json":{"sha256":"6357221d5b422d0b019a017ecca6e7ca2079a6acd7f8edd0cf174e7a3c44539b","bytes":2574},"scratch/o1b/tell.py":{"sha256":"2ece4288ff6ba4d34aed25295c571f8f21fc09b51f8aa93b9a591a585ddb248f","bytes":6052},"README.txt":{"sha256":"0fccb323952fbeea2d2eef09d97a07c46962c2e7748ec0483655ccbe9434c957","bytes":1183},"Strategy.sol":{"sha256":"e58685e34f9a4129298c04636aac94cd9c7bb28293dbee00b74e19515ff74ffb","bytes":42869},"AMMStrategyBase.sol":{"sha256":"3f4154a6c4bb8f1223c7fc0bde1f9cd9dba10cef502e300d0f6d229f610b8869","bytes":4506},"IAMMStrategy.sol":{"sha256":"85b2a0fce484b1c4f70c5bebe6c06042293b2099983f0b641c4a6656c7ea15ff","bytes":1791},"amm-challenge/scratch/certify.py":{"sha256":"02c96d5c0155cd7fb88f9c07c4a4cfe9027e1b7e00c80951b394b5629ce251e0","bytes":4749},"amm-challenge/scratch/compile_candidate.py":{"sha256":"9077dd466885165ee4c3b1b565829c0cbc8deaa40b6c29eab8e320802b87073d","bytes":1179}},"data":"/Td6WFoAAATm1rRGAgAhARwAAAAQz1jM4i//kiRdADmYyqqbSOsPw3HjgovXx/x3EIcSxFwq69SCpay7ENdH38QXi3ZjHzcVph7uxM/CpaBZtWs5qfWBob9+YrV/EF1/H7bY3ZNxKKqFov7SnnenBFgEtbMZ+X/N7K27ppFz15kpSJluP9X00KT2d4lKRTMd2skNaPIuNFkH0dPwC2rDHbjv4QSjg2Ow2OnPaFBXvjPY1tuIdH6GMGNDjUOTnJ5vhz31D+6iHjXIJcOihlnbCMv7uhBLOU06glLAd3MqriWpcmClCtuZr+kkfqGD6oH3bFOzID3ItBLZhlsvdvqJdSgjTpc9hyPaawWekjueeC6niIdDGPLyFJcM/4YKD+ZCXvMqIdOX3HaZy2W3qyL8zsy7We32dRgZEIdlotr77OErPcRbWMazpfcPEX7U2qMMKEY4ec813ZGzIEFX18TiAD2n+XJjyPcAZOV1yl5YGzx5b3XGdjqguTpbvKw1KFwKI1VoVhg0jpVfpm/XPN45lhcOu8uH1XE66OZRo/+ixgGvV8OMwc/KvzZVUlteLIYr12d7hO8FmFHkPF2yBD7ACIIigkUXom1P4Ig5/z+bUy6otklX2jL+CluuGvoAvzecWnaVd0aC2xXiGLTc/HjMtdXbhm3JF3n+Le9R69hU0/ypava+BYdTiraD117vMjlYBl3ZInw9QCMWap1RtAi1hCvw+cEzBD1+w9frCsdWEdFxBr0f+k3C+OlpRBED7/NNfYxym66GtgYRgwlYS1Lt0yEtHt3cMLm9m8JEjbbLEfw3H5kebG81thHOnT4sEygTrVSRoeXQO34hnc+rLvShZs0jCZpPt8OVn1MacbaxzEVDDPHuK7+TvMK4J/aCsA3E0Qw2EONS5e6LeFcYFsBFgLaE1haMVNU0+ZHMEU/n22SzhwqLiSpJakMi+z5DZn/qMQmnkgIJoBwaSU27dW2REL4wPVYychzjynRtmAfa+k7lcONSx4AYW6vjmaQGGxHAMRPVY1y2sxcUDWMgPEl8tf1SaWJhJbeE11LeonUWX6Faw2C+klqVUzLhK5B8Ov35c+cqaIqtYpBKbJpetHlzplUaCIbxjc55USPK+XGPwcsemQkZmHJFv4aAHlfGaKI+3nsvSPeoO+liOQfvgMLU4xb8B1o2jAsr3oOMr3aypK1IsuUgm8zjymAg81tHdqBUZxppt0agEby99KF7KEluHrmR46fVshccspHo9GBfEQvOiOvLjWnSVrgTh3BvKkmJZWaIUIh2RHPRyW9C0Nzd2LM32YMFFI7GVz+a+4X6Bk3ayrQn0C6aG1daTL/BKI0bfW7wwX9QHxAKTfJzgkVCEmlE5+SlogEyIAC6QHMJ/uaWcHQTeFeRF0Magh9+mAGooR+kp+9rRAGfjbBfUerQ2tum3dQ9jIw2lChrqXJ6yptFJyy9t9VOBwoyZi1gJoV+DCz7ZrfMAd9ljudLoBHXrf9spxpJxcD4bxikjqb6XIoq5q17el3iIsV1K7IJoX0HEB7QnQ4bQlk2Kzbd+6DP958IwT7zfEcD07a10/FNUy88PIUkROqEC3HsuzHjNXCSj/z5i9a56Sihb4hgTJhoGOVPQ0k4PCA+COh6SqFrWLnhoyIqlxOSsb7MrU1O+uTvDUKO8BNctTkeRE/4mFszqB6HygV5NDAngNpyCclnzCVovvB3asHMfGq4ynhrkK59SlHAJnQD6hsOQpXp/2a/qskk6nk0WbpQPYdFBjJhg40kU6GYb9hU521Fv04HqWZbftzwtFWLWC8MLr/SsUtLV8YryXUqTA/B+Nz0gjRDYfMCSrXu85ata1cHO3WaFQ9ODMu84zu4LvZuECl7fmBm/ferLQpHzmNPVrZKPuAXX6uxsxcgnCYPPioH6M/XTi7CzUVtAUYePOkfcheWj0xUTxM6DjIIKPdoyhbLSBUvaQS9lrCmW0Rfewp458446xcfCsnR1J3kZDmuDq7uLUQ0cvsPeEXwGhyk4VIlQzSNlXkGPB4lRiNUcIIkSU67ZqzGvHVmz0j1ME5mdVPWgupR4G8RWcKtv8c7ZmAeoYuuaIO+wJU5g5iwm7Cm0tgK4JEgDplRGfy8mVzl1Xy1WSYN+BxutswSw3EtNZX8O97X0076B3tcITw80SazWctHDKJxWc6OzHWrqEpFPSSYUUFEqFQyu8dCGDi1oQRbcBoaASA8pv6uWYrcgyXIrEyp2fPGmSn2OPWIUTI1VF+5v0d1V0qvcEhL81WMsVVdVKOTIHOLLNzTypjYCsY5gpCDfRkV2YghGW5j2KfC64zgw4UuwH4xT8FwTSqNTqCpnxQHbuPUJJOtRWtI7es8ucwwgopWvAcUNMfA7+yUQBN4b09kBLHIGEAgMu28vHiMDjVAvvPxvUsMCmBaAzkJHr5QmYAqqwLs1u2GIT0eM/AjotP+YGKhAmiWE2kNqNpYhJqGGpZwC9ZLxxJBopJmmXLY61Nq+P4BIas2AvUhhNR1Z7BrdGe5gnuZN4CVfLixVuBXRmv4kq/mHXrIFuQHPX6R4c09Ceb4DNBDZoshkFmgd6XPk4YgxYTZEY2R2oiB7QlehBGvkdsaTziL74qhWK3nYolPg2LqjF/LVmhqyig5CYdmfTMe0aukrTimjqseGWWe48fQdhO0RLy035/wdQ6LCiujTXB+qopK9FMTNtG4QR1y821QzGyiwgGMjyINFflfwgJOb9v/AX0B/lNUKVkdXi5xatOLzDT4VFDY/vMfmtWVeOig8Cp0SwM6euG4KMerFfx3R/6sSLGXQFaEAU98ZtGz1r2a0cP1V0PhC/9+/bDr6wnJcz6c7RqZt8JAaZBmonuh4sfTqHg7E3S1g2zqKg/mkXcpiHTQtHkVLNrS+YJIEk7fiNZZ8rKZlslKziBe+SQxW0VqItT/MJ03FRHfBHQC1aNJyZVY5SJjwGvcmqjpmWIINq7bo9b3cj8jxHH9hjIJdFctvg+NLaRlRzTMVXbZqbKjGsMqEBg4Y1hbjhX16/EuVmQcpK30VGlJEW6nBmjJWWv30np71aZqmBTW59it7vO+hhPDcGEs8KGLp9bT07OlJLVQ1VkCPlG8BmeOsDXOHTTj/jrr0YDq6gE2ZuVncc0qeMAw+xXFBvjNZuc9ihgt5jknfcRbm8HemCpPx6IDKAvlqiRY2JmrpBasiFqHI0HcdAwMPQGWj1HJVEaAfNlZ2mUSr0DV1wFvoJ/zgvfMoG8yxtj8Umi1sNsSsp+kaqjhkDP6f9ruyzzCCsyb9yABats98XInwZIZyiP78yP7wXEal3l7yJmR9qgq6CMsQF+V4oPmHsveFwW55U9NgXgiSW37++HtxyJHzvyqxmXyPWl43L8PftGS+m108xh4Q5D1DBgKV3PPMCl0MkNs650WCa0gljqWvbr7lYDjAcGjIMk34gex8w+O+hxYl2YxPIY0hwQNjyFghGke/dZm92IqxNbX/FApkyJU9BbVeibHWI8tOzlsJDpD5uE/hu42S8aHvQtPrJ7FQ2NkOlI1S+iuEYIHcIPxUZ/HpfjbCiDxFXXuTILZAwldKcUeN0aFP+vqculQ88IcOxH0qK+3cb+MXmeSP3xyDNTDQIzPfIUXVzsExS3o+79b1R6/O5ZbBJWTsZ4CIU5pMl/17PvpuE0qZ93ugAWVumNUcxpohYih53WzqdAz9KxlyFs5Cg4rO+iNRRLmeCOA9GkUoL3lTxHthCjotsK8UZ8h1mn8zF73yFpmnVu+wVr7bD0O0EiOb8/VQRyj45V3y0GiRyZfAC4DhnM6fSyn4QXTB77Kda8pSHLs0QVJkAqEvu2bKkOf3UfAi1fwpnRp+DK0G1Ubaf+P9Vny5W/Ah7vIS3RK7zcgUmObZW5s5Lc32Z49l2rzT2eh9cNtehGNyZ+a20VoiwdP/qSF3nVSnVuL/jvci4xOy32Rlvkfea6+ci8VmZAn+UPkj5ESLH/8vz9y+mkb5yaMI5Ka8c259rewCqiMhH4hxZl/3hoOTj3XRRuS9imltzBonW0XJQ+l944R7c7GYrzphzR01eUM7XTybA/1I+gyeYFQv8iFPatSUWmtLra+FDa/UZDkon1e14LWos1XeHxslmR9w6byakOt+m+ZlMztM40TAdnVw/b/eoxxglUBG5ASKXg/1eZWJ0Yx4NhZ4wdI59XjqZRB0BvRg24wOZQM6UI4Ltjaw+YDy/e9z3jcP+iCSc7UVdI6IyE6D4Li/viwEdK/SamhO4iHs1atMZIpTrhJWh6T5KmaMqXyHNUq2Fz41nhvweFAwWhouqbgs3XQ2dk6jteiYpfz/euT0HhBsUc6omh/B86lz0sQTXAlmaXLRONKicGIh6cvQhC4BEZqg5ZLrhV4E0ZLkciNZSsH6I3Fd/hIFw5jxUZ/22uuP/jvlkSqVBSutccXS9yqUVQSK+eu5sBu+JajQBy0JNQlbIV+3JtYmFhFfj7ObFjvd0Uo1DVObusDWhmpiTJWDpy3qCXAXrMIeXzqWq/HlH+UwuXgtpT1Di3+SHLjBWgQP6qB0uUhXvjiiBFphUOE8mkD8xeWBBqBdlLiiICpB/Dfmr/gMeXf/yEj/CgVHhFsbb6oyDaC4uYTNYO+sYSPz4Krxc36yZNGFisWBvnzn4/QsNMdZC3sZemfZVGzoIBCsxSkyGEnZnMrHRN/2n1Oa+WoXwbVO3pFdFjVniW16/OgVaW7EKHhq27AOp615H4uHiFj5Q22+3/daFqgNO54+Krs3V1+b5C4hOUwe22mnLGCE5EHHmlAQS1bQHSeZ+TvJBWD8fhlN/lgrLyJRE0zPDi2MfWDWqrf5FIF3tGs+BgT/Q68cazfInszIQelsM9uA+wfugqAhF+K9yCeYUc1SMRLAArpWRi3Rwj90wN7+4hqwrK6mLiv5afHbpLACxzqZKFQgNIFPI7kxXqp6FMc0GA8dSSSLRjcxIz8bh41oLfgxs/BqCVTVEUTAd8FMKuUEYmN8bUVt/GPqSMVGneSVG/BYC35nRjBLBPDoZQS4veUzUBLW3enzeRTDUHoh87nMB7X8qEUAtIzjBuf/L5M4oO29b3UTk8z9AYLFnXq2RMTBWGwXQLbs/bHIgr/WoP9wCbWagI4/6jVuMaWCMCssP6MwNKOQlbXgn9X6VWQHuOk9E2Vrey0NPJcai8DXI5jeisfaPoyyFa5gy3clb+9AtRyH4rjwEb/v7h5eDIcHM+fujaUlWKr7HfGhuxJrqFKt2qK4iihhQZRwnQo6ALJ9Fn0N/McTXY/8T91EpCfoXNfeF+k24MoAJUpjjYNFPJLzg/3/6w5ZSaVAhgGYvN0IFik68HY0hy/M9GADx9xKX5lqp+6T2+M25FFUuE3AF6WidUfoLsIXZ0DkJBlYBXTnK59al/gh6mOOfMhC62T5n7oMoDc5bQyZhRm+Zss5LJLM5TAzRVq+Fl4hKcNiqjWyk8DaWuCmKiKJsRVU3YIuBZCSZtCL5dJDBjx4Z3youIq2ri2O5cszrNj3GLjGjmAoOGJLlDao7fifowPB4EyRoDvKlRDiXwvEOjn3Vwwu73OTXe+pnHQHb1pbuVoY48dOZKjbyFxiijiVFI7BdN0itFm4/8WiV+pvFxaSdbULy71bVGox3NerWIBdF/QWDB7nH4ImMPXc0yXTZUBBa2YHM2vCJarpveqCDSSRdD0OGLSbUrOVb8y5fIh00nQqhMhuZh+xR/JZ8bvKxZgy1zx81MRvTzdZD0YutWFQpRcj+YsJzJOsSJ+64kM+4iOilnYFtWsfBX9AoEgEc2/6bat5iPF/mzfufh6PoRkrhtuEQ5tuMWhR3xMwulF+i2PPvqvlOESHIbbPtkFwiufbw8pLs1wIbvwDnqUoraKyFcd020gKz6I+5UJC7SUP6biZ2/ELOiwhT3w7M+I4jgtv/vBgxLQuy+kxQwwG5qWMQir9ZxPD0ufgYyiPCP6V3PoBsCP7amXr+O6BJ8DURCjTNbrTRGP8IBqqYGlPYESr1r+JJc6N9gNZ6Z2jPUE9370xE6xmC3HdshsitGizBKB8f+SkO7R6fDagGJ0+Fo8tUnhShrdSgHkm6s+Ym+6R6Kx+Vd8u6IyOjXUQouJhGnarfAWDhN7pEG6AXsW4FZUMwboZmUqx97CLeSpTpYwXBzhPvQJan4P18fia0pIHadTBkwCsYlvzJLXhRKdbyCBx3rCFBsSKAzB6qsxFmbmeDhfgtVjc7DWnU4H3Ogn43UipMyaNBo+eb/Z/h26X/2x7vRdwfFZN9p6JRikHSdhmlvw4nftzuFC3WKnnFQ1pku44Fq+xyAxJC8zn2pCbtyqsEa8hL/EArM49wTUZ6cticKcpPQk7YHOPe9x6/PBS5KdygMRp0lrBNahhVdgd+QIsfCkygsceLR1//xGlM+eRpqRR2yYZqz2Stk7k2sl5FPrk+JRyjCjJTHLsAwTKWOleFknhLMVgYDE2Ayr7RPc9r+wX9wfvjv5FvxZH9V8POkJ6liynejArgofAiBToUj/m53RdizenT4dmwCdSfGVlfLjsWO5WBPX2uTMWH9d5o4vdq8ENNrx+FfAQptvIRAWjD80seW0fh8eBgVA/XxY1WYUSEgCoaMrdMuYIkLuhiWTdmrE8XtBlomCzmXH64gFoI9Z3jgqTk/g7B5rnbOAL4v2RMebvrb83+Eo9Y2wsfAOEn/xcogz3b85VoBaIXoQNzQaJS2J9JA6twQBz8yEsuXPmGP9Q4mVrAb9T7Dyl2CEls+VdP7qnk72KMwoVACGOC4Wj/wR91aPVT14MmysQw20O5kyZNN6AXitZyQhSeFwgC+UMFeW31lyo/P76a0jCmpQaUSJ8VT7aXXutpmMLwiD2xTwuLF0rf4I4CZg8AStIEjsYUZKZwozB+FGfM/zsU08Bz58Ov2WWrG59p3hE8XZgdIND9+rtuR7MK2dlYSmixkR0nKwZgJ3DSqah3DWV4yFFFpFBX6mhBrL/gGayG/jlizNqmqksM6+z1rwGhTQGRCYz7zHofevTQTjjwWbkdCHSSDxZ39S0Z1fxi9js4lNIzvNc947w5uYva+etDoKnRwHSDW4r8d6yblSqv78m9UbZv7wnvqcERWfCpfjX64NNrNG67VK9HO3KFh3uCW5e1KHfiqknsL+xkrzT1Nw8XIuVIMnA3muDF523liVBPh9VgU4aYRiJJqwgn/ajlVzGfOwVgwMVZVyygif+cADzR6FAzNYn/zjulzzcsLNmBgUkCJLfLJJooZYgwcs2Vf9Z7vGYmydE/yzbzHRKWPJ5GU9z+as12DDOQcUCZ9CEOIa8zbG7GkpQRTgvCz0ECwgh4Ar28KWwxglKcFxRkds6A/jK0cdK77pr5MuGgDHV7csQjx1qx1SwQbj6g+/5tOQmwvk+TvHiue2wtryY4ecynGMWzGknv65dUJ2FwZW31963oMCwoLTwOsr1KyEDkiXpjYjay2Cp/0/N1jmkaM7dMImf/2tXFBxfpr/H5VYwAS+XVNm/pZ1ZOb7pobuZWk/cEf/9ybUKeT7ilwA719AMkxi4nBtwWRqDIpHAD5U0px7Hx5LdDGX0PHLwV9fumKG7f2smCmp9cg0o4uC7RsVrTRiK0vmZV78pebAUSDSu+kC43jeEQrCWvwBwtut4Qs7BTvljoBTcte+aCgrEaVqdG9XOAgzUW/OsQ8ZY5XAwUFPsSOO1JnB+Wx76+PJyFT6zCredb7utNuiV9iAnWipoFdZfyLxav2T5Xkz4bp6PZZoojCpGi4BWmD5A3O/0A5hFyBMZN01/JjWYPdXGpbrhCm+azLsA53rvYJVUcZDp+dylNo/2oZcVQOJhWtw4cCD3HbS5N5WFeAeJO0ltBF8D1EV9UBnHP+PqPRzEY9inzOUgpRaiN47+YJZPNHYBdzbJhczDCgPUI7J921h42wZTY5u5ez69FN292415MiloevRpAqZqdZv97+SMlMxCbtuU4apgBdNAiyw+lQtlFxBNVGHzigK3biQjr2QuVMR5uFNN2VnkwfsLyxqeltSSO+2Z9cIMK30Xmd9fcCDxPGLxka4bAS46ETfyqsy7RVZ4aCW/wybmoG5jUuAZ9LxqcdIbYGcJ7tgUsJq1rjMn0Gom/ywi8o5RfW9ld0ZUlOXQf24QFaz1kU+KYXqlPllvWKSN/tS/kYKuGwB8aPjIE1C92edWVz3Z4mcoWTVizt5OK2h+lyj/miH+XEdetBemuqrA6XEiUGbJYxoc+9NhCmcLcHzzcGkVtVoFs6kGuIuRRc7Q9XlsNmA5H/h1JMhxKiFqydI7TgHFrUpidOEpiX/n5+rchJSOK5QFGGgBnEZJkJ7WccB3qToexgrmPV96q3/WVrckMf1EG7zT/Fio4+PO7nGXApYVBXSzNuW25WML3Vuf54nUk+aI94t6HPh6caz0/ws/Xzewm7AtA6PAK48Tc3mFeXijW6kI/KWImGy0APOYHFL/zUO7e/PfKXXJGB7cD1nDokuMsiO5ijjwf1iD8vaeR1n9vluxUhvjVaE3xzJ3L+0TK29c+KpzkkA69eOk2P3MKqmKTOziACcHecwF4tNfSj/BjCCOs9QUje4hURaeeBjHx7cxc6L9JvqUH6VZ0TExrD6E/4Me+tBhiTv4KF7tslksErn/H/EUQo2Ywqh8KdTe41w53Tw5tO6SPjB6LiIjsCVNS6ciEaLPHEXaQgo63rvR5bp0J/Ry4cNUpa4olI42q0s3rihg7SJICMPUDa0ZmdlqCXOreMQBYDcItvXoO7qi5cvEEphBcTF38ObmG7bA6nAYGaWfc2Bo5F5NVPPYpV6Vs1TxSHMjKM51/z5wQmfEBwHgQFanaPgiIAhjHfh+I0+j6iucewUBzTR712Pg32eS7mSiNHNt0OEojWBd1MzEec7od/CuTWdGgv5Hboc7vtZyrnavF+UUYuaOLAtl1u5vsRDFmiK1OyJmiWHU5/qWcbF+w4QK8hAlnEBlB62UPdc2n7s2RsQ3b7lk78ObTX/r2BYGHjQqRn7ySZrcsfPK8us8squIC4nl8hbpo6qZUAwNZGECuPIAxvgcd6V6e99eZXPkRtcNKkLTszOXV8pjxCxbXz0sHwZo7hJ1cKxPgi8EBjShyw30kSC5NJGV07LY3uQ7TfhNHvbsYGztzzMgSb5I3d9q8dL0pClldlXAyCYyU5sS7mLqMrnj/entJt0WKn+DCuDt7ceEaepN5o+eikFQnUgWRVkSLLXl99SpFznFwQM/RTUeDUmqo1osDnsrdkyJF5pcO7SDVFTAhbE5ulwA0GnTcoKMkyCYZzqWE/Ne7dwnuO9IgwVOQ6U4PF8NOLlfeEhU6UBTERUF2zRxXt1RZlz3PzKma6QmsVuYv5IjxiBO+eHQsKRfw/zWpUg/mdrwO0LoPra9jzAx6c4SVbDa+DMRj+cgAcAyNlkRZR2CtXWRY/OrMuU7D6Qc+ZEOjdAncjw6KwPfvtjj+86FGdf5xk4SX6xxb2XQfeq9cYQntDSlX3AST18bhlV2WOjHVATEq3h2VE0xo5W4Ryal5ETMaHhf5Yosif+VIXN4SUb0pwkAyvKVoaTLadk+S9opv7fToUrDgwu0gUugW6s6bQfMZ2+LgfEs1lMP78TL3O5hF8A2t6wd6ujtZ2ACDjEYhzMZTcCDNOuL40oqe/Wes9lWlOhHKpuE/7nKoZQEkDE0WsHVTX0vB60uPzNgLn+NKtr6lowAfzOZ8S4uMKBHSfgCsQNAVFwhsNKWK0xV/So4/qnEjcDOiUGMyS09UXMmvACAxrH0XspiMc9Z5VzG3PRgja0qyHI5y9VPiWvyuC/aYZJgJOh/nM7c55kR91U1wDlTfbs2mgjbpXhwKL2tTmrGO7Hp+frwfVa02MmZ+/HL0f8ZybRYJ4Kk6Ujx41vXeDGnWAErQpZP36KypCt4MGWuMr/gjWbA6EaFWUzcNQ7UbKdN2eNU5IBLT3uFFEcOM6z24NqUTD8gMxSPJcLtiKbINVPq3tzfvTmBgAWdUFYwtn5LKa4upN3CeHGbxD4yfwFbCR+UnntgBT+C17RLwHaA+dU6R15Ercvb3h5LY0TU6rPuKRgAEZcboiTPAtgAjwu3GTvqwTl9WLX7pYvIksTutZS813D7GxtdDDEXAwlBw8gK8xmtWOB+nZbLeAMiwKSaZEJlitlz1QS+3WVzAfIwk6AJ5d2wzGm3+iPnutxhvDZc4nn7qqZLr3gY+sGe9tLJWMkIBTkzGcge06OuYEucBnH8SSUB5HCDK1mISWn2EA9xZLEIYDRW7F68xTZgOzQVrP7pY4JR7OvuGCtiEpSIHO3XfpZDnfvLYYXj6OBuSY7LwT6E5fAX5F7qSHmdPsooR3XgI+mwXmSsyrp/rDHdJMvA8h+5py9BBWgjDSj2HMK3//2N6Sj+CV+nvIH8iAQEPVT1uGTwKhnTgwCPIleD6OEC8/K2VWTUnFHCWP4qIR+iRTDUJls4t4AWYvMWAvsxZeheJeDNOY5gKmMZhaszlaK5zo/WOt1Ktj8yO+EMOb1p4tx5jusck0vKQ9raRyMgWmGh5XlNVLAc2InIX1HAw7HJqTVMXReQj5T/q6OeiX97J1G5CCfk+vXrNfHSUWSsM4Q0gDIMooYhCvHLoCOEjXJS6b/v9sUdmf29SVIeUpVDeKnN2ZYJxNheegzF6qSOvx6HgaoVPgPqlrlfeTem3z1LVSR2HZOmF8AFCRzRjh4bnKhR0l22/G/WgFzhy1t01r+SigYr1ZM4u3llXhNj2vkS/j7V16VZUe5WSKRsLYv73XqcGf8ic2i3HI8Xw1kx1HeCqnr+bm9McAun3//mb4DTD42qTBDAAGKKOHFWXWgekMIl1B8oPfzXmSyehYyT+ME75IIEJrF6nL61xt3ZwxaiXZlgQJOqBSb2Ocrkk708sO+Pp37y8YH3bFnzJmHO/Y3j6olP2lXi6PG3UJUJO5GP+wTcAJRHCDbbZXn3i4ZtjFpULRh3f7wKtddd1qXzMk1AnIE45qRdmrcIBIyTesazVja12OVL8nYH0bqwxAobyQDLbMNT8i2LBWE31xtsWd5T1WSXkjECYkir+FWtRzYCXfpBO4wSwniecH3aSALkIEPAummB5jx/iFoqXzWLrfFhJIa5/5US4VmGUO7ZvNp5MjCflaPjxP1nrhHQpTzUflJaIa/xWyxfRoW6Wog5Ggt66nHsbLO2XucJzze2Qx97I9xmKADi9rKoQvAkbgqgr+RWVp3DwRfcMHwCvWCOK4dMNDAwi6mmZR9ReECWVRujXtQWSXlldQaOw2lAh7i6wtaZgM3T+0Ihh2QcoJThbVG2PX+VBVQdlQKAht2YDRCKT/Cc6P6rrk+qRqSiqxjmUNlu8RlVLypKfW60BWXyfzY2Hp3BdUQ7M59oNp7iWRFaOm9/YEzU5VySlY7dgap6Hqga7stYfdtgZ9/pCRK1msu9/0wpBrLMsf6/SqVylZgbuHTrMuLT6L/IXbmkQA78igx/M3fEP6phXod0fL5r5PLKYHc4UmKq++oXQO0nfZ3icg33B1Rkg5if5ELslXrPMlFJt7yeBpUAkoz8U1MB58179uWfyCQwZZeL+C2kkP7BNCIroSE1VWc/0cccxOBmsLaDKOyAlWUUl43VI827c9kQPo9GIImhfL3RIA+jZca5BKhdfL2UcFyu3uo790p+3/wV1dsRcO/TJTujkEWZ6IktVIn2Lp+Hh+MsI0W3lEokejU6PRSSZ91qydbykT8vtLPgitX7/IUWfViaLxT0oRzvNQlP9HMadNbfs7UuDlf14+hlyL8FLRYt4w4RjFl8ceJ3vGQdz+lLfxM5EXQFc+st5tueE37JgR757tFqFF3kkEO9CspxNxj1oqPhkpXFJiG0d8yggKv4mHq+NQ6poC8OX0IXeaYvErPVugR3dkDrq7SwiLQ/WYc/qaV2/kZtC5hSKOLGCm52cA/uIRR+cCpsCKpbf1KVQLa2mLsikerxpJ0nGbmattpG3rirtrCaXvAKqiV78d+KD67oylOBD5DiROsW0RBh+jJVFRied4k5xenyen97Jl1rpaF3kIkjGy9A3oy152LRpTxCL8sUF9VU7XW6vtvLBF4OMRdvbXRD6me55WeKKybCcjdwXxcJdoMPgDiMeox+HCKbNiYiQ1kWyvz4qAUNmeXr/BimCcUB9+OT5PCusbBck3ay/jtiNVKNiV4Dkp10eaNvqfby0I+bfuDDGTKfOC59g4e+izbZx2UvXmRvjelEDrqC5PvHauifFJ7+/WsM4vZnFXbBYJC7BHGlrXqCQeOwqLcRtTJicLRaqoHssu9rL6d8OfF2P81yO9SJReFbH+MSpDNhYAD4eOkUgiX8dmYHPxpNd52UcGM2T9VZQSkczHQz2hcpoxKTJGBCS6SMsekMFr19M4JccfBOd5GKGidtqLtUKP4MOwe+YEJZwfq+ZrPKLvnJxG7zZocGMHX4oS27ipm44tscpuV5ke2ONQzbF7KdtnXpRPHHUFYU3ISVsOkLV0OmIQPdKUtLF9tkH6vcg9ShICLw3oeW0gXxVm1iEYQ+WUmJDoZy6lLXCbxzn9KRzrux112yZN9OdGbod2ntSbQjFaCvpdKdc4HsKxmE/YcsNKbZ7Y09qi3iVe61ln7hD57NwV1LlbF5GuzTF55RoaJ54XWjiTRjEszXkYjeCbPZmsWg1HewVPNcdyxARa0vs0mlgFvJKgpD6SL1o/S4iNIagj7dE0vuXYBKkO4SUy+++5xHCZ1EpFY2lPsdWxDRijvU+Jwzm/a5sbgGjRnAKm86BqcwU+IviNWLXHmhgoKbrd3K86dYMRUd1BWbpyhaxzlFCWGKuLQqQ9UeTLJsRcsMbM8aY/X7OdeSQthk1ah0OFnX7ZHk8zZaz0ZINLHJy/j8cADa+TDGM8kcxYT+7FDuv6cP/QkXXZaJFBP0ALZALmg5TjT96xreSHflH+oGnKZ0Z5tznT1q2yJxfCHST8Eksa/50Cxs6b4dbgFHY8IoZt9jcqO0FntWh3AP872w/26sDBK2PsMa023OOB3DYDYlV3By2d2lRivjvBcaJpVC/98diGcEoEfsSvqLUymmiR8qfWx71r/xhUNsosMn+3UAiFNWhh4CDSGlCmIWFrQtLy+5peIzTO+zpZiZ2o4liIzTSfnR+zby9oJSXzd4z52plvE02n30zIihQIShWfEGmCfksgDAYCh2T9kT/4FpWWITuL6LR9Pj1mD9njoIxUn4WU7XqmPHDU3Zlu6NSsAzaKP5Fc51blUhjTMCH85oI3eJryKBZOnX1wP7jxcfqkzgsuP9v+EUglggx4Taggp6HNALHV0jVuewddROzUpM09T9+Lho7Za9gfXxoMYEvYNMpCZKlDn7Bj3BBEuL34rPDZyWcPhB3yJq8ZkceVGR4i1ZTyy7/gu2kPlbTV5lkOgsmLuAigVCkzslUjYEtCsB/Ak7F51B9AN3vM0KjNyYybMb1Z4TNSUjA3MStFjrPKG511O+x4rFwrWriVSSe77ShgQ8BVIQUWWnxty3x/SljQTrfYC+X2YNma0Il10GZmsP/KsJJY5wEAeN2hoS0agE35Xa3eE/nHlvaPZE5gka8ypTv3vjn+aD3DPTqH8uM+n4cB5TVuRqx9iziD7FU2v6vBJ9ozXRtwfIjl1h4mhCHxmOeuWYmiD/eMFCRP/GolOJ6pZqTBz+ysfOVZe2mD7wAvY4tDI9TNEJIIilGmEzCGKkJxiQ88ro9Wdq/3rhO4JVSmHJm83w03Os7VJZ5VwuI8800p6fQlcz6/1NiHmxUFnPzXebs2dDBoUxDbvjZ7+RebOdJxqLsZNwKWxm9G3tqZLETqvtbOUnoKDUf+IUmMvucW8mBiMHBqULJJ2I50rd5iETRDMUBTiDAzDrv7FjFxuNjJ4TCql4QvbHFENCADEoHEEFMPu76UvIGkTrZvVFmn9LGTfLsbIcx8NBfyCC/x7bvlAlxc/7CoXdSd2/stJPGCL6XsM714cKZV55BR2qqKHsKp05vBAwgZ6rW2JwXSVMe7IAcv44OWDGH8lvIROI+ND39CLdVjGbcaawB5m06wdy1vQK7g4LON9QpoJ5w6i+hZ449K6jM9gO9jabd1B6WC8fM3rCRoLcZ9WYmUVu17PdFIanAMz0dk28dwxROEDrG4kVzY2WGWccq6A2vOP7S1IpF04quVxKI1s+vK9vJRWFYDk2TEvcGp2xworH+XK+IywG0QJL9YTFACa4Y9J4vXhLohqEDs9MHZEhd0pzuxu5Lx5MM+xHbDTZCm1dGSUAlIZ7z8bz4j+FhdMX/oszGb3mK4jW/AWxZ5s+cEOQf4oG/UIqXyxfBOFV/hZTh3TYE2Yf1lqwrPSuqO51djKIkR4+lojakErWECARaBndx9zp16lU5TYq1ncss2fvK5AWYefN3s/o8kgQWxGX9eUIzxXTG6ZUnL6UvE6Pv0J6L27TitvQ6S8KhoBLYrzve6NdkoH+tqhwikZQ4AY+17Dri4mkHkJk9vFDfuUkrypCsyla0tGNpn2wPFVs6+gfyQcVWdaEbdEpuo/9OsYcMnJBmXsPglQIvpl3KaJz13X5eKgpk5th/L3e0Ai67hrclja+jgfCVFxGQspcSgC8sBNA7C1aaOnox6tY4+Lmk4Sb/9FGbiCIDIs7WoautQ4ymt9soDtjvi5KcoB569JswljNOv74OVNOsr4P+dNxO0ZnFhItpk3AzpOPhyJXGiSsZccOgpP6XBWlFJFU56XAlS0gVml4Yj5j0gyZWmGIPQQb1Ukj+v+qUl5wFRG3SagYkhgpMrNNYaf/dMhuPfX9LeU3OWDpCHUkgImFhDyeBLHtMqlajoBcnQVjOLmWN82agoDxXcgrAMSNrPY28bAptRHWRR316J0Cj6wVkWJF/XVcK0W+7/lC0wixUvwEsGznQXluX87+WuMJeY7b37s9gQZh/n0AbOa7S7FxxMWsmXNAZOnrMDfSGpd84i4iYn3jdbg+QoWhdco7pVI+az8f+XJ2qdECi8I9XhbeBp+ivrcPw0TjHFOJs5YDbAsDpHf3z8dwKTaoSns5ys9bN2DUgzv/nCFAtwM1X7z155ACrTXkZxAFuittnvW4kJIW5f1jjhVh2NexdD+4kiQiWUDr+xQ6EVshhl3gTWDzYD4vSDxYc2e+lnQDoaS4xRW1V1vovUFkeA1Fxz+nwLZ8lN8G+Toy3eCIlwRC555auhrC2xCNlJHIQVFv8yNrJuVUNDMjFQ2ECRzvuLS9iJJTkMwVSTrGXx0C9IUwS6/wcZyvnmpokneQHvLjP0cFftetlhEBMy4IEu9QQi2HEfhR6jSz6ZVXHrVf7j3EhWdT6P3CaA9x3pMNsws+E2qpfXw/XmViuHS8HAC6iibPeB+Pj06ZYL8oDHelMF9frld9QgXwvn79N2aWtAAY19B5OUkP4/040d5y3n0RrXo65fBNa5kB/7vAqZ5yehHQDZdObTXj6v2yOaxTqn4icIaB0iH9kBeQGqCTwoiS2e9v57VO2V55GGtTt/J4HNpjvkkKfO0web1cIxgfiZXo1yF+feNFjkTKiz3dw9/Nv9y3+1k7m+0ASDnPRvpc9ilfVa4TNxiU26Fa06BPDbalq5ObZvE54ibV/+stZoWF+48kdJtv+LtIqMEMCccpNsfhG99mIjjW2CVtlbcuJmKpUGebMP879FGN/sUV4afUM9XKF0Iay3H5v2FeAC0Lo1Lg+VVL5pSZHCC8REjKz7MLxbTunrAR8FIjV1gUVoydFkE6dz/orR4P59PxHljHHoL/I26u1CEEjJTM3WNYNUQd2tRRUQXf/uhv8D6Qq8CbvfSXp3igngpphXrRiFn8Lr4LIRnCenuC+7tNUuXAUIIumENs5GCdyJ5zapmrVhtVDnYLFG64BH8wPCvzmt+9OEsvwIR9A8B+1cn4cw9rdpf6Q35NzcuLNYHIjPn/vT5bxdCPZTs0/pR7nFkkE0YskilpUgpLQDjIhzzVe/HLaedFn/Nge0IK2xICKKB1YlPtaFW56eqEOTbQ8+prRctHC1IYc/zcw93rLUTULM3nEPX7jqRIqlS3pDFU76ICZQTH2xvvPn6/I0OCyeV80zQwCF6rccb1uFMPZEULy8LA6TbeEJlb+pvTFp5qbGBTKa1QDlWMaCmNMOq0p+FWoHO9xjmb6N6Y9fPXhpXcr4NkCEuWpri7hnz2bUjjMlm0/mcDnfiiZMOSuenhEzY2flU1iSJXWPB/P0KuMHHiA0h53vvd/B5r+om6yZ5U1Kxk2snlHr2Ibm6s9LdAgKBfCTzsUN0GwqTmWvPXqwMRX9RiH2VqO0gkyYrUUwvR5ToIW8nkK6k/z8voZDZTxJCG+Sul7hVPSM3+2rEZM4KbFyMUMCUe4zlB9+SNFxQ+rxbqbs8tjRukCbJJOG/qdUZPLgDIditW+HBXx4h7efbWz9+ebwaopi0/hC8N72Q/eBASqnqbKv8CDjOQA28OoDLuPs0ZhbXdPO3R/DdQmE7d3OIUNduziKxVlKvlFXt30a01hghYCcB8BtX2Js1xSaMj4Thc3zgS9a1fWg0GNjy4eEZ+xHOx5hfA2TScgB71Jy6vFBCFMXZIh/cYjVjMWDSKZSAO0LUEl3ftC1OKcCkV9Fw7RCeA9GMFwjp4sbTxL7g8tmaLXmVRwALGTnpxwMZY8AR0D9o3Dn9v7JJnDN7+Klb+Ebg+WA6Qe4g/gbRhy+eJMOiffP/O6G99sefdnr4nXYB1h8wI3OedjH5zidACQiCI5h8lTtmS7K7bokNaYmREhPXAlvfmB3SXbCDZT9GE88+j0RlZdgSCoAofBM5YUZtqyq4aO1cHxSbwQ2RjaJy4skdmoSfdK/BtAdVrMfFkj9nCtwScBbw1uUZQKkvfLz5mxaHZCcXqxZByC0WhqPEHLkF5SncWrlEQevvcOB7548nEcJB20AIkF15v+QMdnHIHNncGyX6EiJ6YknwF0xG0uux1fSfhzmflumEd/eGvI8/eAM3BiZ//HCwF6jzo8ioFbFDiOJP725lMj4+BzBVr0REBnAqYPOzHPNcyzUkxdIk4ulZ/Ec6He72mnFax7Pe1DYw7ghCdSIGblmWhm0cOI+mIl6toV7q+E8MKur/fldP6nn7XoRq5ZUmKTO7ZWmZ+RhyfmSJsbLN5lklY80rgg+5wnrDSMnVDR7SY5wdpNm6ZLC73q0vjVBdQLpN1HaY7DzZgeu6pcGMWLpsHDE8kcxMFn8OkPn3tMC2Z0rfZYDXCos21zjBiAMe/Gmlqq0nk58rLdQZ+dDfCEQU5l1UawWr5XiyVwaSc637HGBqbDYTWASohiw0CsGHlWaDJ01lUEgCfDH1SrD0ix0VQitD6fd1N+MjERrsO5oZZOmqpjl7UpHXuwSB7MosH9J3n8qdzLMTfFgc/hoo/wK7BWimC91Y0uHMi9PH4UxuEbWiLaXDnqiYkgO6z85rAXyVj1ELinDidvdtwiLj81mzpj7wdtyFKZod1iWRPoWDjLoGxJ5ao1uThyjSskCOeH40Po2Zie/S6shshbOAbVfsXCDoyvs/B2gxCm8L2vitOGFTePkpyYWGJrt/6apbmgzhqK8Ue9MV3Yp0F1ju+IktJ28/GzCMTt1QSjGmSuSCLChihTGj95qbgURBy39PLz3nfy4Ku34dJ/pjrzWKhbol+cevhY3U6+O+q9WWwtrP31ddyCEvsZgPOYWiHNWaak5hCVACofoolxD5sIDRcVQ7PPvS/AzK1b4mKkegRJRnV/+sphvKn3xLL5ABjcJLr+RFqQ18XcZdA5y2jcSE1sWpSvQocTiBOee+M5iXhsSM2I7RCAiJKxL2L482hOg6R5SU0MF/vjU3T9FN8cafdPoDpTyW5D8bOs0GdVPruPrfw1e3GK4oec2qLfSdUdPsFF6DLuQcrC+1k8cYJEWpi5RuwBZfq4ecr8pgs1SDgyweI4oEumTL9XMvRq2gRidRwSGG+n2p9fibS5b016s/YMBlofa5VBg7Fp6FhBEfTSB2t2NX8y0sAGAtL5LzvVDf/QD+PrDe2sZ2YlR15DLXAO8q78rNoDtdW4/bOCxDweP41t1AttRfYl46bkZJyQGgd+Q+U8PZ9GOauPQAtnaGp6QWEGBLaXXYO20bT4lZAPcan2kPBjP1cW2IZmlhMgfMNp9LRaAgp+2RBvUTXlHrePHlo1UmcwXIaxQMJ0+aAlYk/PL8Q5iDNAyZ7LG7x4XY1pi+D3wP/KdD9Qxs1b9TXBbheTxYgW9HyuEDXpvfvbpzGKXvHzKmqtNkoRvMxlKZNqQMe2fFfoeNqBOH954JBHBD9m0C4ZrWGRAy6qLjWHm0me6Xzj62E/hjF4W/6ns0ToYW4fEW7k1nFpI5mM0vz9El9Hqpx4XMyJNQFiafpKQS0lE86nEtCSaF2KPGwLw/e9JroOBnPF4KhbArs0LhfhpPmwdjznK+A8+oAF5GCRFp1H3LYfxfQhNdP7kvwcyoqtHqSHZCVkUaoNpCC/QGyOvx9w295oMuUJTeT2/qExHzJ4JphQqKI/jg1h9bpFSyv+EcoQ3306n2cU9D3lsllzk1ZNHwAHnWHrI8UJKi1lsJ+LP7Xpnerl7dCuPltKBztH4hF0+hfUz26f9dGcekAPXA4IZZcuIGTzZsqpzVzEuS5gWHU/MdmcP8PZxaKyYEa7A3VqRtV2gWYraYxAps+hfg7HICBAm/jebdjfH4X3+Yc3nKBoNEhyaIW/ShK3mk1UUI+y4WEyDgzODMweccklgQpmGtBYWm7VIQ/2ryu2TtJqPEelVJ69bGLakG5Z3vZ8XLGOBNv8MDMOtdq7SNhPqepreeOCIx/Nf5tysW08g1nYB/GDeyUBggWid+smP6VGqKWIX//790IPiMgJksX0DuQiOt1HvY9ddNKAxrYDxqqWVby7Xkbrc5m54nA9BhMYE5sSEXMr7R4jF+jsj/urbKSTC0KZA7ZbhEJBQLtduxlpxzuuyR+8m99mNGrPkbMqTW/YhFT/Dr/Db5w6ZJOdy9frYRzqXjaV/PdS8cAU2k4HvBoeEmO46kzsS9oACGNaQrTD/ig6KVew3tV+yloDR6VJ3dLIT3RnRWhPj52s1hy/DT7wU3G6LqKI7fNWmopisQefZyuDqb6Q8L59By9Nx92z9Kj4Sli8x4VhbA0Db6b7hNj4fJTEmGD/gAgWD1A+utBVC3f4zQZsy+j7FSCioULagxQ9J0XjtNmRXwidh5C604WhuqhnsViMpOs3td2jTqXoM9ugEk7CwWTML2ZRFY1UQ6V+MAlutQFB5OPXmrmcbMKwOJ+jUVLnjLfg5Ch2Nn/Vz6yyLAFJXYvV3zM59FL3EoudRWHkNNdmtZJ9+qmkdki0cH2eqOBOvnJucVqkQ+5L2yPe9hTFNvtmRgEuz89tyS6SonK30OzqI7itw5IIBDU7Wtw+07qZVuNWO1RVrbJKYV/QTosaIWyhJ/vdbYomENeg1vEttriYL7ASasuSA6KfT+6EUsppUhcn7h0VamzCogRKU5/k+zoXJKX8z1cLY62Dl57qt9MXQP1WCG24npuQjczbVblz+U9/oNtqT2UqhOdxzmUyFoAXTUe4U7X4Af5rwq4qHwXK51lt6mnpxKFNwlVCsv25XlUnWYjnMYzeumiqV8s3dkdNrruoeklE2t3lP0eeMTcD9TMLtjpLGE7bvG/RS+dbVvNNLcZ8qZOeq39BKJhYUqU/UEdybq5KZPXcZO/8RQDyM8+NmhK8D9olY2Ahep/WC1Wb3GgLfEzZI4k1ulexqQHEpiGpWgsDa0VQr5kk2eyqndEseF/jahScnNYLyDWel8EafMh8zZUOG7C/1Q5f/DyGossLcJlFGKXuAX/CFs8REqQxkYFPSfur5dz6SM0mPj1Dw8pdmIOvqzPQ5iXfCy/OikDTtapWLb2VRkL2RTwN+xcHsa7EtoBc7ET0dTHQKMC/mnS9RmuoFdJ+JLjEMfMd79xbcq4kjniW+kI4uatvzBPQmVFbdQf8qKCMPzGqoGCtcPqM/aXCzLTEN9H0iaTp69SqpkuT1GwM74+N2lLxtdBqZQsdJvJsVbLpxpCv/clysaATbPUTaVTfhWWLRqaT1xdhx+1s6sMF4QKoSAWwQhwzbrqv7CP9wStg2J3FKhZo82kzIVf6QZYRel3jiJ6IcsGcp93wfpPb34qB0mV+2pS0gYYiOVmXkd6QuwMQf7KyQN7vgMljS9fbjU1RQDS9CjLq5eL3Mr2d82OhNCBQu/rIhrYxu5Trhnx5zYbdgW7Mp4aIlPnxC4oN7Nf9BdyPuoIxBHiO5zFkcAHBldVIk7oA7P5e0Tx5+qHbG0kJukRBkU9/nAkZvKH53JFZUVPgq1/xm6/aH1f7y6TiUhaJ030qG5+KBjLyfxrgHi23IlhLSgF+5eqwVl2VwBjf2FZJTt+Gngg2bBx2Raz1EMPw+Kll8hJBJgRHPb+M5/DljtKKWzLOdR37sVqoKqJVIQVq/THYjwV2qtNJAAkKPxxypUk2Y0tIlHy3wUou0Cvcd1rE70vJPMALpMlQjUikR22YGdLat9t0bKh0g6RQ13jYXNlbLnLnEBIJgtcrdaABds6GCzjnGPSaghUrBSrx5lKpPFpfNxmmMYzZ8reTAu1JSlaZxyGbPjjq6w9W2RcSvDaETYwb2ziZ3EFyLSrel5xFf1Qq7ZAqMdNT4/HLcc0ifb5VrkTJrzBz40OxE5iC+mZuL6uUri5mFJA9KSE3HWIEVVXYi+6+WHMWD/t7FSEG5IzTKJqN2wgxZvru+oLwdiDNfeUhIpgXDKUpyI5cZ/VMVsXbPpGLbj3rcnoXkVG61SFPQ9/HrZbg9ZG2UCNFmjhDDrxuCHKWept41J+AgiJ8KkpXvMeUx7CEXRFpAjtROr4cEc6Qe14vbal6ZyY0sjUuDM8ZH5O6/87ZG2XDIYMWQartKro6AsxQkfCcnQ0dtq29Aw8yMC3VPOneSd3tJjiFxHPeQS6Xrgs3MOmVM202kWEzd+zeKqJOD2CY38uoWIjc1vCSxaXU4JtglYp8fpAE2OlO2Iko3L+wapB0nL1oYWIDh9mTssaASiJRuu5EqMD5gcuRNgBPQ/Fre8TzepaDqmFuM4kBTn+o9n0SKB3Pda+ZeuegR96tRop4pooONj+KyYy4jMDYTTC2wjIGwWamP2vZaNCYF2hwcDwYCTpqN+n5TA7zKRblkmdUIkJooLDXw66HNQy9wgB5nSktrH1W2UFe36niIyBBHM7dzGHwqgfavM8trMTf2McVkh/GZ1wtGoUwQWCy1AwLrtyRJxyUW4VitI+qvFIwFJyttCGq+H9H+mb0cwcFn610weziz/C0RzYNNlJY6qrg9m96T6zxcZTrN6qrDKWDk2OIJKiq15GDfu6aSn2/YBN+J014vVLo3pjBo2s4RWofTyA9koVk1vVVzYONKd4O4hPhRNY7gmZXZxp4g6UmGJMbpY9g/TBEEfLvEvL0Vmbmz8AR7/PsLdYgVScsdwfM8PrQnaYAnSiUxV4h6yCGmUO05omD3h0I3vfJRXa0V4tTOC0Jny1dm/oeVJMqTc8lt5Lep3kvSKCZWZHOdNyBsApVdDxngn8Tv+YL7p2bbxpjrzT9kPUO5O14Sv5ZXk8P//4rZ3wsP44z16DQ2F9L3SiGOMChlSpCJbAYiafNP/7s+Q2dMAm0Mh1515OQgtRbUSkrsMjvGzrEWwdqNK/oR59WBSuwP88kr1dOMQjlX+YplSTc5dCjUO4Hxo9I415yf0ymOq6MOmjKFLUUMsLiyLKeT4W4xhDKx0FhM3dGfNc2quV+gT1hl78y8W1/zic1+CN97EXnFd4GTfx9lrVHWaKNilTaYeJeyc7z6golP8CC5VQ9aNBMyx39O/MLxRcJ2Uh+r4kLgcZFD9b6F5Xfk46fveivSyV9Lgz4uVrj9fH7ZZl9QwmRXShNqEiPpO2a8Z5+NyZp8xpsqIwcru90yL24QYxqJQB79AAtUsEXVpG63+4Doq/viZPI6l+HyycbKYK6weZMe+p2narvvR6hA8NNoKYUutFCRxe0cDTCUlQ6g7KFlW1MNdlJUkt+ZKBpJ5NUtPv2CjnLFbTsxtIdJVo3eVNo1bbzMvV6a1IxkzbF2MDsGcJq2GaOLbTvAFv/3dU7cj3g0T2yXLmEqnErbnI1VOQMj8rHXvXgO8EUzs9UaMG+1LRt69CXzMtN5a8cVjTiVw8bVjV1MKcWyOW4Yk3x4NMoyqkZxyF9axDYUIdMGIRYG0ZR2Xur4389Qj3WRfWveHBOWimkg/LGO1NaDaiM89L7++C744Bm0EupmKn58bG16zOuJCiengBeZKpDGUnLUFndyE5GCR3JpXNYArV1ASVPE/BioeeCmNZMGdGzZeXEDhOXJN0Yd0WbRhfR4BpgsxfAkSAtYjWf+0nLP9jxwE8DPSq3kuaUyONRZSlunCgbYTu1DycmGefmLSiDoHCjbFjofgDfknUosrGE0mvfBK5Dq8djhHY7VQzV+PTyUWsBcPXH0fE22Fzgb90WL/DRxncnT86o9PKcAHFnrYDsbhdfGvBASBgbetcK9fTp1F1Oz2+qP+v6c4vxSZ7eDKtOuVA4e4XaGHAYUG5zH+eFbivjQSHwg/D3xZMAJzUshBRoVdu//XdjwlCartwKrNmhz1eGX9zBeeWXCyJVRdNosHvxM0wRvRPHI0IHl/LX1h1KdkS36KXFVCGmchiFa8yyiAy292rNnGqfAyQhiFfZF3/KCW12c3fBVXyOIklQNlFPwDDDT0zC24PLRQbjSmqi0UER9V5uDgzUbc9DGDq1xiGaDMXXJCHIHDwhlQdktH66DatDfiaOY6C356j66dUOuMKU2+24lsWbHN9sRGM0YMbJATRTmwzwBhXM2XVyqEQeLd007Cl3fnMTNXeLK3F1y7PvAPR+u32gffUmAUmQ07NE7mrj5x6L5PSNofcOMIBuF0ePPxaza4isWn4BaxKS6/fzU7y3kXJT2+Ah1fbsxfbEx6iyXkYkGYxfbY8dWVAHlorsh9JW8ISz3zdzWF2rO1CqMxKeTdGWmTt13JxH+wlrgDy9Qc0pWUDNhat0CW+asYh570owcaCp5004qkzuMOU8Pna98c78KF1EIW/NNA7qFd0kZ8Pt8StRwM8G5WlHK4Fu1eWKWK+lQSRdpNcAGH0z8aMDla7iCOQY+BXyqXYmi3cmzkSQ0njdbtWH1J2m8CYjRZ/x5kwOQGwr5TLbmq8p8LkN/XKFpV41gKWUhrmpC9qlCHSKdOfGlXdBPlzF7hCOLZi77TD9iPt1o+eaJ57LjNKPtcUzhZvGiANCG2J3aXBVAoweBhqCvjt2HjhpNE5Ku+OSeMdIVBSU2NKWtfrQ7KfdCnSwad9DWlgaJGBwpjNxyF0ltvDyPjkNXSC/VaXQ+kK8Gva5hqJNmgUTqDXpWDFW4/vHxBtmHltQ6VZGj8V6jy1y6NeUSPlm+WoTdmIJxtvvfGr8l0LaHY55EmyW5HXkUukdJRXPOYHrrgf6KZFe8MwQJB453r66NGnM0ghFsCTZ+9CGqZNHpSz92k9JNHXylmeK8Xut9nyV3CmXsGfNnDJaw8albi7Q9r2oECWTd+9R28i5KAYqjkgK9fUTAYQm7usL434PLtWkjcq4rKWO9ZARfwtu3o7FLa4BciZnzo7GCzFIs0kEFMhiI1utVFL3W0PlzHMmd+1KUo7XPpFBGC6IC/4WXmRytOy+Yu2DmYDu2Ja7bdVWfOh/N9yaDeFec8cN4hvg8MlpMa++NEpigYTVXy37SQg0j8ZTt/EIJtPrDrPWsaE4WaT1SPhx2ISVvFaT/wbkI73fnLDL1zxVPElufzFkqjbRtJ9FHOf00u8SBkK1NoKIOx39pXiSC705Vg5ZFQSLzAQH0Nm1Roa5DPZGY4lKI1uqI9p6KYV+brt6+ZpJPsWgHlOKs4NQ+QGKB8qeWgnSo029IiGk6XyQ8fndWhWCDbRpwyNtutj0gGwcJHJ9N8NA9BtSbcJfjchJB2KTcni7FyxI6bfkyNg8S8oozdzj6sUoQIeSG5BmEEBki3bO174NWzzFrvlUS8BGczKb32PGXFE3KPZUZA0iPoFfjPIsMzBQVZ+Nq0QVvBvJ5CIkExOmkkHEnrV46hy9fHWZmfHb/tjqQIGKVe8w1e+I/WbPUnEFpHuT85vvJIH9C7u7dppGjb2Juof9WXhRvaaAhNsKUCWhitZH85ESjKqC+H2UfS0lK0kiZcHHGHmgS+cyggJWF1Av8EONDatUlFBjBCo2BjPW52uTkIxslQPqYzt9Dso+2rIwuPMpRTofAGr6yUTNo4DaUyJdAKITLU39eoMQNVaf0JTt6jZMBC6CVZPHTCRwnyjGZ4NfLBgM+CT49NSaQCFi/fQiZnjpFZTBP1ezxdO/sq6UQ+Me2go9DUPbVTBhIcJAJe778I5VrRIDG0A9DQH9MT1F0jTM8YQ57znBiXGesYV++qNBX/iK29Iyhe1XFP8zlmYOe/70sRBW9tsdrw2PPwmatmJ9DcxI53sHQhY9S1YyIznAHQuY0rrZ6GLVymL2t7YF6srB5JtHsx3ei3tY9Ndsbu5kTUYh59EqhNmKVLoFVP6oUnUj3NGT2V86eFBapO+WuSPUVrnYav/9BcguVz0AtkgEmMPk0gnySIpcKvX+z0mbCVGHuhkOF2Le5piLnbv0PojwIYsOeO0lQym6xi6BVCd1jLyK8w6oblVGl379g3OEAre6akNXBfQjnyARn+hY2MRmyGWA2qFFYH4KdRkT/mJ1v5Q3/QQrFlgqEuJtCWxqtQQg2EYFAs7jMQkjrjbDBNL1pCT+JyOSlaF0hlSNXxjpTwqqzGsy6T64mxvoaczZOR/orAZsT13p7ODRf4wz/t9GLTee/e/5gaKkky67NFZ3LjMc++SY/EFdQhuKRS6MtC+Ggb6wLV82pjYAHZiPgrb9Cer5gEpyV3kr5MDKeRxSyZQvcJuk9fVqi/w+/VJqJkCPOE2JFfjrukUPJGIqlyqVuQNy+uRrVwmZs7A4LudhgLIY6BfYPuJNaFSgN3QrTT8pNo32bpv8igVRTb2tn3Oe4ozBoBNn/ucw8diwUrGUUoY3VZMvXOj/f9Wn3AVS+Z5W5upBwwuQlk11tICy+7hEBc8NDB1ayYLFkQbCY7jgpxyCLxMHYy2rLD7XC7eSXwdwC7ayu6pOKUT/dd4erfShrNJ/wa6bxAvKss0E6ogsyJe7zh5TEURaLGhJkUbJleFRVhzly/cousD6Fr6Lz8yfX7yu7H80y0fd5D0GHx7ylKqFEnDTbOevSDapILl9xZRSmsUDNZbi1X6wnw4G92u9/ksSIXTZnZhdczEjJm3qQnrnyEQQA+Y4d4m1zh/SyN1e1Hq0UDdK8ZB0j9G55By/O0PEWA4cDUAoBwRU4ldMcXZBTutDQRKUZF3dOifneTnkRlM7qXBegkykyOb/47CHyXS0+D8kcCRYyCILa64RSHTtf1uSRgVaUkxOKt6B1eYuIX9aaHIUUMMnujIqQl4Hi2NmLQKfk9Uxa87BNt11ZRZx/x/V9esqkvvH9f3DoHSz0fUA3/xrp9OtanfloV/3JgB7USn8n/CfGKDa6ddCXJik+fLvd5CLbUO3gkReUeBaRcytLHpcgmawk6vlSOo9zw3JEC+oq/hk4Xz/L6x4VnvtoFgvnzgsG7W3Q0lKlIG7ewDQ8o2og014vOJxpWERNsMO2f9UXX/xp4uj5mXtmMZqKg/s2WEQjlrYynjMMrYh+1AgfVHY0Qmsqcb5d/nmI40yeP49oVs42eCcg+DPPTsWpYIoJ3scgg/l0/AqbbyJ4Ctq8mR2Op1qrnBE5eQrU3zvLcTKKGgnQR+qsDJQtj/kfZjNqVdwvXUp1thoGDhgeDmxFV2H0KXe6zPwvvszRUDFkEVjftaqj+gpDHlOBqqKXDFHBwuHF31StYvUN+vhyvQnfVTT9njRpaH7fLB19oBO0vVlo4T0fWvbzDdIsdRCvbYgUUS+m8vLzrjvoDULcRYbEtE1ioe3rx66F32DCz71Dlk21f3FLXilceUrAciIIPfs1OZXK1+R6cCKA9KV0ms5i719Iqx3IQSCndZ9Yz9fx1bVfouy3QuX4WOM4zyMV6z0TR594CNbDxZOMGO2iN/fsarGKTRgQB79tUySuFoh51Zkx6OWZ6Pv4sUFiEVpkYw08gBv7UohsRMCXrF9mOSglN3MhOQQ3Wi+B5nUFqGRjs9Ddx/tqRsvFZUuZAaJJGMfAGORuu+mVEt3TSHy9Fg8tbVNJmNbB6EePBVaKQdlAEDeRiZdbSVenbwum3GZ7TxRjrs6DYkpAQgElumBu8RVvvftQ9Kj6KZPNc2nYXKu1f5FJWS8v6UYDRVKpu6ASWqD/gsYnX+TX3CpPlX2iNJlxcwA3kx2sGL86HVBtmoPGxRflpstS8rGBni/xlXBZJtoTRJ7NkZP8+p0Gd1gHx3nr5zOAjldsb2VM6E/BfS2oDQBmW+JLri8RoomCBBuW721Q8ur/VQobblHxt5mz3+4FIkUFD2qWfkKL3Hb/b9iRjVSTNX8p/mdlnT72iAZ8kvjDTjGeUHCiVNzjeRAEdQJPRv08pBQlG+KsmTtVvgIGyRTfT0fKZzRZ7BfjQVZkVp8Hwrq6oQ20R6aAdFK2EVEHB6ypFopEvRVEbqrl/pj9OY9RHeV2v9HIzokl/c3I4v1I8Thvt0IwGSLGraaQ93VX0whVXpZ4TqLUqWJs5UStJKfL3CoG1MV4CzRKUrSZXhiYhdIpu7sPjQIbqT4dADFco7hZhcIG4mAAx7cyfGe9AEf06mxBvRZgkTSTX/ErRRG+IfIT6N/Vd9iIlNMGv4cSHJofkLBpJJLpI0+j0Npxfb3zHSra9A9Qcc3BDrw8st6J5hzQGKFAUpdzT/sYPpM5wwMvOsXqpqJZquCjd2AzyuIeoZUZAnmpSjE1mYlv49wMzMlPJy87X0UTrZrXfSAJULPhO0mXQ2Lrs3u6qhX18lT/JeZj2vgS0IyfxKI3Ya2tkP6xdoR2vZywr1+yiJFWtFqpNYikA4c/SXyTgtR8P6OEdtgVXTjTR/vVcaEfjoW0xaHHfgVPyKC4CY3NAbkCbopu+avhm21/4FAgPkvvpPBJ4FME1GsuV7zzFjG3JN/JOktpGeVelxMYXVOosWsalUlWGtNCJWR9gKotPIw2LxM1hUJv+VlZnYkC6vZMFFbEnTmVYMmj0VmvPTsDSh28UQdaUe+wsT85Cv2RQd7VxbehhtUSpUYlXCxLAbgPnFIv4lN+Wq4GRIdyYRtkai+gq/mWKLOJ9lgpqKbNLim+CAB2y7rejlguKVySdqYIADwvJUvgPTN7ssW8TKxKMT2D25fiFRM0eIYr1Pfrpqn6/NSyvAqBjYykCuK8MmyU1uLM99rzwvP6cml6TS7j42RlrTB6Gm14LrXa5xHxbQyK1aseMSRhqgHJFWAbp/w/E18c0qlkNjTxKRn4pbg6AttPWiGNvJ4meEjuWGSvfsvfFOxc+2l+HcXBBr/YlyWxTzsLv56Lsbm6BCUjEc+tGk2qX5e+Q095+BLu/rtFwvXB8qf7dIGhgwU3KXEkAVx4gD4d6lu6LMku1Q2/nzNw5HXL6OpzPi78z/FrRyzhfKF8dhIklENZJKTiUEsGd0zGkmLGjnkkCdeM5GteJ2qnqFPOkwy4hzVoGvoy8rtmeKUnXMJ3SA1vJw84E8qUN97VN9lIi6DBf7RtzFZH45ugxiJPlae8FFbSuTe7+WQ7i1w7VyRB0M08O/qaCydX7jQVFXKiiGaET4H+3LzjDUqmhl1HLo0RADDQ1+P4GsJLvTGjIP9xNZ1HEiMZb7X7kF+fuSz7iXVEG7FE5/X5sOCSGXE/1f/5043STwolsan1ku8DVBoR9ai/KINlW39ZIfoLZBpHZyWOEg75RdwC9qF3LgSltNXjtnoydLtdikD9x7hrvgHijk+ftQkJW1PG0ncjUvzQi3v2a0CI+tPxO24kpE3+QA/BweY0rQVppyaJx7hZ7shsRaGZXvfwwybeEd9yrDlyyibj6mUm04ojb+qoFYnqiSWGYW4CNADyKLsRpROOCuJLYM+EXoDn/foRCTGYJCOgG4FOyw/YlSobf36RWgEc9Tw898YPM7nPXyYpyoQ2pjg1bhrWJoCfyz6sjlfC7Y+A6uGaSCyOXnOwzRek2kk2TnqHXG8X0dDWhV6OctsEJatG2Ja9BDqrQDyRjlJrfze6E7bmJYlePU5IVjfHOVx2p26zjfPDTi4+lwdZZbO7dMBRJADLLbQqineOcf75xSrg/HbyjIWSCNPzjtRuBc9uGSftGLMVAKaWAE4NoykNn+YJd0h2ys6lFM6ww6mo443ZItvoIBlmCuZUm+h/vQqKVP759xfx5QRz/EBXa+xss9qztHUc5nfpxhUW8h01OPALVK5CQeWv3s2ikbYR++a0eZX+dWHHch2/5gy245UcM7cf5y0+pfkmiIp7y+wHB6xF0dGAAmc6/K1Olp9IMSB1uRkNuYfKgKQ4tAD9voVrJzbv7xVNqwNd0aJNqI4V5+fXV4EOdU1LapgCNlDsg0HZXZcgPh04KFkHK7T4nqKDlkpsVcpz+keTtXztiqLpI9R1WSw+/JVj6lIDewt7pIRyVZFwtkifPe89gBD8FUyd2os9eDhQra0ayHKSnVdEdk4U63JnZNxGzQ5jmnQp6qh65ADENlHhBWNupNf/mWaipPRcc6B68e/bBRlvUITsmvYPYLA1TrThGV14dx8GXzK0PZinwO0zaIzdIJJH/VkWgZyRyv/+a71IqhG4EL2Iy9fQQDyCtMJr/V8XqzbXapku5CE/4+LdfBZD+O79Tw2+loGss/x/s6CC3ZxlCvgeZa6Sdn6SoRU3/34ojT7f31Lb33ZRVRnDaAtMKtoAq6QMczU2nUC8neq7FXcaOTrwgDp5xPy5sQCQVxLz6GSHYAcEf9vtclNCP39gMIxGkRwDk4NDMAHNpx91daZR9+YHCxMVX3FJuOPqxBRQZofFfS8TSHNddGbZkKQL2eB1JWieLrFNRsIOZs9j13tfOZVCzFqtwpSGRYVNolj+l7hHNLo6LXvLEcJIGOGsm8/zSFYZE3leYT+Sq5ZqsViHOYhC+je+rJkDZ3t4FrkXuf1TkI435qTS0r1osaHaXbQEQrgCxByJmyKx3YPf4mOHRMjhlr2UwceQnInIfxdr6o+ti60+J2vusTT8eYnrMLuDIGEvT4nRx/J6BwvUhAwtLDyJQfpfQGtG6BAOsQkb1o1X4A5byGpSfg+1mkYsvOZDXPq4Ipk7ytePSDesF3Mt4csX86qkW6M/AuSVEXl0SufD7341WddcucTGpNeVn2A09ea+BMcWiH9F6rSOVKnVhAzoQLS5A4KtQW6Sh7Lm6HHzs/sjdlOtUfq4pC0cL9Czsem/BJvrYd4NDnp2BMwRyBq+Cn92Nr+2VhvMRuglqNuN0ddOzSt8SyWuemnySk47vvS+wbt4V0dulGypcMlqqXqOOPspldI8f0aQKcaGiYkQzY9tAlI8JT9y6FEk2j+Or6T4YdG9F+wsyZ8kJIp5jSJ6JZ6TKord3sgpjrJlQAuSZlAObhl5rHR2+z6oWbp68ldqbElHBBc6+MiHw8gB2rdkU+CqdRzau2WubEx9sFhAU1VGGnUnY1s8W+v4aAvdc+YO5hOVGFulNBjmpxqXzA+hHzQqD09O8ELX0ECJOYDL9O0yIV4dPb9bCGNJdFlJYTY7Qq97Dnlm4Mjg6HiFJfHj0j/oTtX9dx5pZ7FWM+FtkcwPPoHnq0psFjm8yTq7E9WEySSRGBRLSeAmHmWX+E2YGCmIybErCMPg815BT3phNHcpOP1PgScDIOn/wUxHR+/ZrbrLwwRgWfrXSes4JMmknMmtQ7HtTwDhGqfjCzWbmpdQF4tHAsqr5+wfxVE9YcWH8quzG8e+1NTbxX5Ub9e15VVdjx1p1kXythvMFTiGJ0OC5VPIqe02KFoa5NM0aF4R8ydYDjaMhvB3V7FoWwFrQEWv8Jsbi8XJz554V11qO728L55LQQ9fXjH7+r65+Sot6wKlZLrOqqA0wDfdRY98X9Y3ml8DQfT9/0b79UZDcNGIlWlFuphNYi8cf4UxNMr83AXLmE7L+cNLc8l+9RvOdINY424pUo56tAVMUlm1URG3hB5ShZ3wP2vAuKwGSFzAOAHvIGcN/NkRXJQLiU1N3qO+PNj4EyLlk2/06LEd2CG/VHP0hd92AWAWUMMVXUMqEZblFwLkB5ak4K/Yh1dl5g+X8cSaQza+X77ZVkZeqe4Dag4QocdZi0GTxMB0nC514Se5E8IZfmvYRykqAHzyxcHxuRWBMe+KWqiJ5zYpqMaeV9ZcryJi43jGSA19xOm++LN+GpTWuXVli4wXKjzMdygdEwcdOfIfAOeWQc4x95j1vHECg39sk5khjAHVBJ8+DoR/CzhUBDbGcKKU9pJUYD77PcBWiagJdOxm7rDN0gWqy5hSz1yIOc5xZfgTNyvVEjchK3BcLVYzWLmDIywiFoEY2xGKk258zdtTSpnXBerVZH4xWRTcRP0fqJkAuAx1fE4TuXLQzUSrQZCWkg/xBOiiAg9Zymyuoj6fWEGDaRDo+f0rVKf64nOWZNTAQY05b8d63m+mureQPb6kT2Fi4kjHJQbG8VcYWahSHh5+Va42UzN8DfMtc173Uc5CXKY+9kvgM5//TzDFP9sD9h92aE/kaBoAMakvD7KTz5iH2CimdzbNH81quCLtrhXkjMxfvzkwiIuZx6CpkLjcwVM74oSuU+wlOw7ZifRkdniHZnHSz4f7Pu7rwowePP8G+ZqhiQHlRzfo/mm7EsatXBWAvdDzA4Yzm40ZUQ9xO19rRn/zoLUWi876js6T4m2Gm4lXbyxY8OkobMMfu945IdaA/U4t7p/2g2C22s7pTNpOIYzrpN2RPwjXnO5dP9hTvdlu92FzKDovrH55eq1jQWx08Swhm5AOwlXwdCjCEqGCPEIxzS6GatKiwRHhygpWyWWW+P6DJcJxn69vLxUgoZNNqh2O8f5vVRIVwx1+EbC3PlrVn5EvAK9oLCljg+yswe+ODPnxZOUcYUdsPsr0TsFLKpgepfBz/k3MUvhN2iGw8TBASXx2lfVQu17NcDvC5XrwJFRV2hsRG4UOS3HHJTTDLK/FPGsxdR2ZUuz3IN6mrCGu8NO4vsY0l8FblRC4zc+oniXZ3GtudquGnT7IOU/UTCnm0uLtMn7thpgvRLdok0vgsC/LPW0TmTYQB/FSpxESPPhxA8t+6GRlwljmNU10oDbMTDZAphr74MRKny35ijQ+E2h2XNu+lha6NFd0wvWPCC4JFncB5M1Jz3cEGSPoBSqbdfx8FXPb9Jf5D3A6aZELLl6GYwoLxKtmUtDLsRF1k4fxBZDGJBwoY7GJ3OdtKcQU3eieTv0qoSNAYxCBTo5SL0aq6ANKMq7FAsIdHf3WXJJgngr/yMMXPctMGZ5Lqmcctf7FqJqh1kQv1QVuhfhpPlH40q855s4rr+w3sFFFtGyfSFYpkO7cOMGaM30RXkrEbf5o2StPiemWnrCbxdCtvqt7ds1GV9hIaRXZI0nxSPIRTHSKKwrlcnbQK8XBzIsCeZZ9m1HN32J9cWrlT8Adj3gwJl2ctB3eq11XKYg1j3Fi9S0SWb2ZgdOuAoofxRRlZBWWPDzu1T0Mw6BilHcjeJ7xoIa1an0SVidC0bZgT3gpPprAnt1q+hcTRo/ifPaymCi42fzilxuFifwSjv2dVj5qRnlbg1DhxudzUnWvkHwVe8t3jPY6LRFbC6OpuXGzyjYbgY29GTW3KP2X7jRVlRXDjJPZHFlRnGqiqL/HZ+h/aHTMqXrul5rgA+DZOuqX6qF+1C5O67ACp4yf70tRcvj4BM+AyKFD0FjBexZToIcy3JB2evB8lVliN1TQ2d9L28SPJeX4SDFGz6WJv3NJOf6fU34nwVIpHdR8ERpOQ03yK4i7WguHcIqsxThIu0kXoxtm/3DD/qjLhc3wEvn9pV+h6W9MaSAesimnNigQKFFZldvsVlmSNBjvYVlitj6uRrTx7hf1g4FQvaoWTV84Jezf5J64SenpHpfI/ksECOkoxcUrTFJztz3N0ojSagzEpAgRqcg7VcaOQZSw+Jamxp+D7CaLctfDUYxU7HJB6E5Tw2C91HoMOvCepSkAk8TPcfireKfdR3aDDXdtjRfWYB9pjBIYwoAXoQ3+wZM0/LSF9ZM9xj1OcEsXt8GuRqJJvlAIIfNghRF/U/W33JWw6+FK0my5FnM12ikMDF/WxxWCpoYd3lyfaeNn85QX5GnnHjIVS1aJ4s2NG0PhC21k2UeYKGK/QD4j5JEzISd65VrgIrpR63IkL5FBgOMzg4+m1xV4jkD7IF0CuJwSLZNOn3ZGz7B3yHcdciy/7gY3scsfC/rrFlmtyxZ1/fPUFMefZIn1IGP88kTnf0sbr0elsDvXf477PlxZUg16AeYAc2ebCVDiaf2DxcYiw5uwBi+WmKpNx51+xO40KwOEF8UNhqbDnfZEhX5UgWK8eR1RB4AXNjsveGyjTUdk6to8IYl78aKllksmi2J/TxAYhK9TgbGkW3bkhYOrT4J35Hz+OhfByWwCd6Cy03y3A3c05tsklSPj0yhVLzWFdlKipl/gA0cce5CLPjGIUhv2scVGzcAph9d84+fa9mxAPuYgi+N3tedXBrNzpG5rWOpMFqYQBdSZI9MfnrDuPKNlRcsWCxIhd9MrG0NFtvDqMH8sJKl5nTGrt2J/b9j2yRP6E31Ac+2Op/7+jq+nun22BDWlZIgzRIdHQOi61HDGDj1L6t/empdWi9KKZ/P3642wbkBD48bTg6U7G6LGJt5nIToZZZs7zoCZnddYMYqR0HYUpa7fFY3P73fu+IkPY9joFo5nnGyd/lm9qfCaN4PsSt+CrfFz6MceE1XB7KW64gws1cAcos8N7Ua6wU3LKI6reHYr6Jt20n21lb1+Ql+GbKpeQjtr4O7XwrWhzltXv2jq0lDsw3kA3yccSQhO5JBqrgovqeKHK6GA5o892lTkqSR9r4iNU16hRb9pG63p96PEW0V7aTNjfJOMcFaOX28Yr7zj0HxrHjJQ3ksCDVjz7v5qY+Qbnc+oDzqhGofPglhy5oWuS6MOKoEo3DDxzN331SLrL/XTrQcJavh4k+EBbvE4QZicKKx+33R2EO4BTJywDu7j56DPRUMDRpPsAPtXtwGuY47Ybn4gS27Cw+1sAqksR04ikovy3gy5Kyll19kpeV+XFLaxV9Z04L9gKd1YneQqaszBWTpYDLTvhIJjK7seqrD9LeWNTFkffWE9BDo6UQ1EuRI6pZbaM8MNYgjJJKlNzGaDQDjkOmj59YNEWr27meMnPvmiK6eDuxB73TIKRSgUwmTtmJV+0tWrEXXsz4FnVSxG8wq8H8EIJD+5VQ+zbonQ2SGa4a2DbYfi9M6dTP185A7aYS6O5QqrRe+ECNHfJRpC/XuNnblToH8/4hHMlPP+VXL4NxCIZYcTOp/m7Vi8EfSeII3H0Nfw0gq/I6WtLGwiA3pra90o0YeFd1BJxs3QCDXjWnuIZc7Nn0jux4kqBqMQkpStmouQyo8dOlXKo2619x8w9EKdRMtxNEVxGIWOWlJckwySX3a5e1xzZ8WIEkJByceuD8/mr61BoshbWg5YhLTQTSdsineOQmXftm/NPUdGAfe3/+n5GVo0X0PW+RVZfTN7mmso3fkUIP3vKgRVGG/KrCNLZlfwb8UwjLZD6ekYfBZ5KfpihEg1q+ZazlBky+45AajVcuEtAq54EV4gTWjOySATOGBqPLGqchoKZ4TtQTchpuCWUyI8obU9pSO3I/Gkle93yN6h0Ls2q/IfyrYyVGDM2H73pRw+OQ+x9w7+Z2R3KBod8HvI9fyyruvUSwFTtRbaCnH/8fbLwfl4TPRh9V6/V4ljJmi1E1Ddy6I783Jt2zgzDqRIU28hocKl5k4/xQw8cMD/QcsEWrkWPSUnNjpDtdY2MSvN8HDonA9E66z0WHIzinRCofbZBmyDuqiU731yavv6a1L7PsObDdUXwkhZFpKAz/l4SW03CQdOmp34wLXUERhui3aRkyhCpawpnUSD3pV7zdyiDyLTCJODEuqjExVmaRJLRkOwLLWrTOZOtBoyXDc/CIRi8Z2F98madBgr9lHyDDq4zoMOE6Fah6/+SetdM58oMCrpaZ99NnZFHtTKUmt/bEM/U0/N1MUQ+ZlL+qRixjhhhN+MZVpWdaHlFuHxwDr4LRGr++ZxqRvXIiMCxKU+g7K9+x1cI9KMiovzM9XGZ1hP2HLH5gNtPA+hvbk1O8CIbCHMLLsCm9UyIZjKCEgFPco6qT7rG21UVCZrqzc2d3YNzbjj/sIoWf+c/aYU6kSbA9b63TLJnlDUmOfLV98cCC2G5j0+r2d4pH01TWroGeOyoGOkv2RYX3ToveJquUiFcBZcBdpBiqbfeO3Fs9JrSvmuvM5Jh79IxhEYA+KzlRfSsUTiHIUHrMBgfKFsHbpPO9NmIYeDvdRV509b9S+leuH7xz+cdkBBzFc1VFdFh1SV4UBCvZy2Uh3DwZuy32L+K6gwc39JwArbKjUnJkGqx5VuDXK8aaxY4Krf1I8KcaPxov5PeQI2nwpbNLogi1uD9hKnBky2f8zSIymbMwxWzo1pG5mJm+si+X6ackXAwwauWU7+tXi/zOxH0N88k03J5OdJpG5gzeDwkhgwY7XNSE5hpHaEuh8SclaEhj77lTPwajJz3TxwsrlcHJl4o9mieHO3UxNkYn5P/OMC2xavSkpXCKjnFAU2Rqsbhb9RL1pTyO2KjSYBsHratO7Qr+ocxnzVOWXaT/Logn0hl8WuDSWZCA51sillNsUV5B+XIqyR0Yy7xTr05oTPclEusaJj7893G07C07fnf0ZseitZnO4l8SWRCRo9SAc2icgHRXAm20BhZMcuW1jq/vR7rnE0DwA5EosCfjeo75F6FS2DiWlu/+ZL0BQ1fBi1s1YT5xb+ey6TeYrpwbZMGR6w7DU5DcD/6Rd1U5P0QaEtliUIiWREIj9u3lq/bJh4TIfu/B3IFfcsrRX+MOylq0dxexOo8yKGSgB5YRGYcfVVlgLYPvXeuYI+R1zCznHRFVs0kzPsQ7i76CrtNmVIo8IzST6ziK+s8FKOHSTK5fQCY+hvVORzfWoCd1uylUeJz8TLDW4U8pI48KVoKJnBWiQEvjRWbPBOED6dkphAfT1T4ec/GK/AuQRVWIYb4M8seV6z808sagK4E2qc1lFewL1JDp8JcvntgzXPtmmofrfdQEAYBNd49u0rG/JQmBAvAfo6oYfmGMX8L3qijI0czqZ/B4KB82/5lEig+eE+SbgWSZzQzaY3+MDKs0ND6GX48hNFOxBc72dVo1Zw+BLBqzRKGaikgF+n0EA4qR41j92Y2W1rjDJlVxUiJmvi6thMMm6Rv0ocHgS2UuaMZMOS8oG/cAC26njK+B4Tfc8UpKl91i5YSKH4V9VHEiG0sZUakTvL4Qyb+NerSpfnaDDNJiVWBV7HVjywjGyusEkro4307EBzZfoSj7StRfwg43ckGxReschjZmAK0rjYpJhod0lGSozDUC9AbStZjn8kQcvt1T/8iU0hDd5jS3jg7vLRaBOiu5p24ZDi/0JzADKN0RMOB34847umQ+VdpfziZsO9hyRoangvbStgC3tawARSf6q8/HTKEI5t/m9n1GIuI+ifLeEIE+4O80BJEQs2FP54/jxPA1WyiKX8cGjX59pEFGyiF3msjzrIgcuucmS7NaoRuy2/SojOyWigZcyQAZBpT0eiQPj73peTa9IHLU6gpWqSaMUKyvLmtMQDrdQL3uYM2xp6LktIyNYwuFSs1ya2VoCtqjk7QvXpliYK3fPcSMkbtUBXKY0cVeUnZNYN3AE2Yjp/qRSBMNu3oXFPjITfzTO6bRba9uQf9AnBmPRbkh/ZnoaTvDX5BY0uEqgANySQhI7nzzgrYmmmch19Adf4/PR9tk9J8d017iByeUJzdCftyG6pI+gmajrB7BvpbO2vwW9AAaEKJiao74m1r1ABR0sjgnpgClHqZCvZO9TL7HEMXZEIOyzApoXUSpVzyp+5lHMrzWKd5lFCFCyYztPDbjEUoCsS1c6KMXSnXT3w9evulCqHdOd6qvb0ggaJ6eH6MVdIqNMs2MUnkybMHZPbRrfZl/J4IRKSeFG9ZEGTedfs+XoN3E3mnljyp/kF7nHk/A/HZXIqDuJ4n55K26hWLG2Dyyg0wReRv37iFM5JVfyT6+uThlhFlY3qjNgMFLf6yj3/pILrQW9S0qKTJTsdsuEW5XDdup5JVhgjU7eCTYlCYzfolyORmNhxxPuwGxDkNJozZsfOoF+yaeb70PxlyBB9v4x9LavE4QDG3rLbCX/WMDzqsvU2ggcHDUWf0FHC49sva/rMXYiejpNgg8QhZIw4A4r6sYj8tyOQNE8rXN8Na1ou5Bj/GJFsx6pbzVev0MKw1QvkLClp4X7WQhFB1rpnOwsycMdSsBownsG3WsOdu3bbPsDQXVTzu2w9fBTvDA7XB1b/MWndr2hLxMqcnJg4s3Vg+6cgNfg4iFAc0iIAZQ+01KCGlrFT+5vqIjASyqiEjD4eMWK3E9dyK8AYnLOHl3FTROmN3LMeccXtlCRM7PiCUYbb5wzhl/jOycJAvHJ2bHOfPn8y7Jmik0aeawRXqgnGAbCAIGZBmVpwko/R6bcB/nVRpNQYskNIS7CaGm9u6Z9vq9WOP36f74eCFFn1DikD5KMNgswZAYuM+Pa8rMeUaxIWOKncem7HfAG0A0sNK4Bni0O2J0xAeKBtqMM0ZTCZKyXIWgPgU2mhCkjMz6Le4AGzyuDAckDLwNiW9UR5ZALln20p9uEwhGUyEU+kVa586KQhLatGYqamlSMA62hK0BG5gJeFILRWLvcXvBNA38mht+fioNBTtgisDotuowuyTL39fpHqMI7F5mN0BelXCOib3UEd8mrjgX8WmL74OjqqnFmoRtZwEFGLgY5j3yV7kemaBxPBBbSQYbI+P1WffOx3v6uX2FVtglZtkKEAujuAUAwkuq5SJUXyJmcVq7rVMzv8T0H3liwh8NDo+PFVeMif9HuWEjviXVGVLLc4vGHzM/bTE5sUyb0SNE3O9KfB4F+NxSHVpXcbe5W7ykujW4v9cPsOpSWeK/P9C5BpEsJIn/phyTyPb9L1X/+fJZyBpmcbXU+QOCZ66G/vvvMZrdUpfei5nfALtcsjq1Fq47hUknZu/Poz0Ryq4i610UpZgJKIHSTq6bFS9ms7nfVkKH27lSzQdYUykyN54vTGtuqDsw22gBRIeD1IypIcGwa9wHVBOMycrOPKXcFkSl9PI0CsoxNOkPASso0z9gfx94Bk26ReT6llxZ2TKhFU7lWtihFtbg4ZHRWe/nEXC3Utd//a6znY9WVI3nsJ+m1tSdHT8ZzHLcyC3aVpYOHkmT0CU/uH4KQBR+cRLff7NJ3GiWtkvBavB7HoZDtFz6EK0EAcV2kzRb0f5D3FVf6XmNCJNWb699UhAkp5nir6TY/iPWNouGcrGPdI0WKNmugYeWU4NApHZxFPF1pO+qDgVzdelzT9qvDPX3QB9J4daNg7iOlH4RyEBS7DJUZzTfSeJQFLtBhOd8iJxj87Q6jpyQgMPOTibdYZTSqc6j0grI9Qz8nb4bCGUtFLD0hGUv1HcGhI1lZUZZovQitgIMcRtNNgORwpVDxR8SEyPic9D8g2Ym9yrzH0rjmhQWrAyhne2spsCFJf0AFv4q2yYYrxkzEi9h+FRac2c86St/pOfqS/0RfDWcSjRplxmSQrZrp7Kc/RCvcjqffCKy2+uPpN6paPjkl+E00g9ol2wtZo2J2yC2cEI1+asQYZ7JuNhVnH106Oo+e4QWezjkjmV8wmnwPz4cpD9iOJH2m9OxQhdhKtNymD1B3PtHuFmBgN+hfGI0lUJNyAw0vAjjc7sWCJrqf/3t6/mU3I7UkL2gN0bUp44qlhqgxw59CPX9x9ZaWrkwpVclR0toIzuOG39Cmq4dukj1kJ27DfUiFA2u12POETA7gzPQoxK4ySN1kM829V3EIaxHYpAxQYqX0QLPpNL9Tsbv/EUkkyiSiJLeeDcGMS3om2nu/4JNDdOxP3yd2KAHYL/+tCtAqcDATVOmlMMJrCxSkRV0adHIZClVYoLpScsEWvODlQDxrXxxoBaiNl3yi/2F00mizLtjP+bGhDmWtOsNIfySFouwocW+tBgq6XScfBfKQE9I9wTFrdt3SoeB/w6I/UfPEpptMtjAUdX3Aua6tqPxGMOLfmgsCzKd4Ac/bW0gn4FU3Hh08C1FayplwoDA6llMjIuJOn2vTAtEhNsRIJq1aI3JgnLTJ3qt62Pyl7Hs5CpYN+axyY4PIaJ08y234qUwwA+NqEWKvhJYG3GpxVGL6z83fvsflgB5tB/QpLIHuLwfXqKOCSI++FenF6SuTMXCEN4zzGQ3IyviI+KwwS2GgApZKRUbwtlvsFxpVWnYHOZouiPN4Y6l7OlrEMJ9VdMu3TZSawJXOqetciZmRNFXdIJJ2EmyVYf4ig+4hvP1ZNlOjv/V32zEjfi1eh2ex1uCjeB8J1mhV8qgD0CTOhBPd8xo72rFWZW6noM0x0YULDSfBQQEDBpZEJ6XqbNkXwDqY0stw+5wRoXWp/M7LmeTRbGId6cAbwmUl+Rg7y2FXQb1GLou2yzh+K7hcgn1vlAWMl2D6iF85S4AVqscvdIkpRwcU381Iu3X6q51X08j5AIr1+r1nItiCoZNb4gRhI9+BjpCDjhozneQkX0GPwXz+eoEkczwVqg28jrVmjzuJoyOxINqFI41oWeWPWnSN9+VtpeLEJR1wNyaxxeaYS/txXm/1g5oCpEsK9T92WdmOlqNfOLRLL/V1BWFvr4waKmLKjZguZhxPt0f3UFEFkbOuC3djFgWOC1SgGe44b/CJtg1OEoXi47gbRKN+SXgxQavzHe1BcgN5ZuuO+H1qEOcrCm++m9P5KQHfRYISbHCXQNZX+NddnjIoU1/KFvu5OZBLV7CblKEme77Cq2PM+7fSadfkwQrMOQe3KbP0Q8xVSEO/ICRIumh1G4WnQ7KhoKiD9ZxaRlKwk9slURTu0M56lF5gHdm1O1GtEw2X1+tSaVE/ME/rn0Kh3Tvtei7W6uNbRjtvaIYEpWZvqrJ4Uy6hm3s0rfeg3FDCstjK8siAl6iGe1gfLpOveA44Lx586zkeKYysYtLY271gNRts3a0/NflhnutMwly5Yazd8k0xFtqnT284LZhX2aOGFuQU1Wvx3DxW9NH2Vkb3kRV0SNcIIWfC3gm9taHXxo5putrzmMjMgEbm4uRohSGmW32PU1xUJDUA9ulqCoHdMsD3mjETV0tMw+HafswH1zRHmDabRq7ljy6WBh+eJ7ZnSTfznpr6xvzEzQIDhRaQYJZkZSc1Ft+l30KSnMe83sLgTbLEXvMbN3uc5jaCMqmua6IgKcr4DFEq474Jc1yZKPm1tuQK4WYXzE4oIgDWpbRlzXwlwTbTSkSs9QHwgYrvAm/wVNhtUNMklguu6KQaoQznBfGmNHy2rF8uNt1xT0CHipcGEwXrLHMTR+Ki6penAc+y4M+hc3fnvtxvsxJZ+0ord+jGTqIbdKpJx9o9c6UWoo3Bz6Ro/cbspZHFiI3yhxnFgjz8FAkIdlqJRhrMbdtkji3XsA0jHeaHsDeVAr1iiGJEGHx1SjFYjUXOqcFpzgIh/OGY4JOZGsLfIz5EshDY2WEREMreKOJGH6IYEvV1rOSeCBHKyZbkUdl0zaLLrInc72UOzFBXPC4XNWruM3nRvFOpKLaAXePxZAwlCj8VS+afh55GxqC62uWtkulLfR0Ux10uRHX3hC5JSbQM3Tu9qEz+MVz2ipz/dAWpfFKTEzNeEloNH/kz7nxve1IZ5qCpwgF7Kl0YWppWh3HWSSzOXh7w9nBu+zgJzW2gWIiw/XRLyBr6vivBb82t1APqfurmSHf4p+zqSYsCIZ0FroUj1J6SJMFHV2C1gWIPwT6EXypYdZgiib0vMpzJtTsTxsiBYtw0B6vOz8mOL0GKX6OHxR72+gSIdySsjd1bR/bd8XgePXvMdHdvUd3BxVGnizGnBkWWg6k40C9G+thBWPBfYTAK6viiqh1jX+5IsoUsKPfRmssNhiLPX8/GnVaGLiYsLHQN9x3CLkkqkv8oKh2hmTxul91Cpq9QMEWiw7lvDglJxwOlod9P4miDwG+IKVWPTbWhIzPlEFg96tKDNNV2xFHGoRI/qbOMjdkNyswhk1pad/evM0DBWD2tdIu6wMIN2bVNglPs+RfUmuNRpF1XL4afMagwjc/cNKAyYOkZiaCC0j4rv2tozfCo38zWVbeymvJOAwZuLxo+VCMH0EO3KQCzncPGSGEQDlCxm+PNGEr72E36Ay0bpBGadq7+o8ltuLjU9DKUZlD1TEcdCn4+KBMxY6mcC435RsIuBP3aRab4eZ+Q2qujBAlrVAS/GLz/ItpjMK18ep0HGSXfAOjNWzQ8FtJYnwrhp8rg1xr9AJVfOO2uI56TBlqMVgoTiBW2sSJWO2H9hxd//iy6iFVWJmG4auR7icB2GZgiqqPGCZ2icVDXGRXVj6277IS7h2j9CY00rE9bIYpA+oXA3OdxbzO4EFgybVPAgvCuyIO/sMID6Zky+R1UdArmSQoURHsBJX98wNmFwh8wgtU7Tsbg/5gzR4aoG+LEUvm1S0AMUDerF94NzjqFf/b6ZpfLlAdI2qBvn8mmVo4zDwIpdgFRHa3MHtYVDnvJa9hi4PIqS3HWFhFwF8Y624lA7Gv0KuSJqa7v2o69vm5rY6W7+C4SoMe5jnpptTgV+XF14vl6ZEmQgbrHy/s/1nTaAuvf5/tne10O2fgixC2gQA0HghcZLTjF3I4Fe4mDEbKw9gshAWds+uJBYTXCac46Gl5kPrmKy8p8quBZ6aR1evgvK/fSt5b+Q7BWaP3jQNQb5heZpuLB58P6GNJFtRzFnDGaa79IwrGBXUCrBjCj5a1wtPuvwBY4Ab0L85RMfx5IpGVhAzb4SMbaWn4LvuwSdgNz+iUFj15PLQj0SjDG8aZ+PEafVMN/xVxF9IreZdhfZP2vz3glbk4FB4ysbCY9TzFoWOcibpPqnccAkYBTUJ3f90K56hickgf6NsOIJ+ZXbkmeTPru03gxFvZ/bmVP4e+nRrEYjWjqxNSkijjBSUMf38QBGPr/agh4UUdCYw+N4sLC2+ZIprUNXEP2lU8ce+3LfEO9SyZK0TDOkMgZbHGbpyK2A33XhD12CCkbYOx8VKfmWhkERlJffKYVism79n/m6BvaVpWqmn/MYUd+p9OKvgvN1qyjGHngHsVw0SQ11Uomx6IWzbvitDeHQGA0h9Xhca7Ip0atFnzcDlvd2ZBJAYmk33SoUkJKT+YFczAsNhxXWFfwntuSvKmOA5Lfq23Smpu9TIss/PUkLfE/e0jklW4pC54IezoJCRCt2wPLfjdgitSldeUkhbO6I9ZCbnYSaI9fllMHGph3dmLtq+NfKiOuthQhPCg9g5p2izf8sKhzaQ8+6j2HeZXe6PxqeBMYvtXdCViFOmVDUVTQNRoUc2cSxVF77zlYCW0xkV/+qvYOy3jzFbBFHaiYewhEb9N1RB6CtACMOqp2ZdFFEWN9l/yorSi6sYOV9YOzGFpa7C1FDaIeZWs0/HUs6is8mTNwBVYGP3YUm04em648Rm93ecT6kPRUJ/cWJOXwzn/3+zdFISWWRpxLDuzHyMfo7mV4QSh1ztGyQweP/hMmN2JtLZ9OiiFslmrO8tQ8sDmyiOOoZJ9m/T6wMfMliLHt9Lv7q2jeALGT635eW01W68IRt/2JvDLdQcrLeZ7HtgdyqEgAfYk7+7s9RFiG3Lpum5ZnXBwmDI476e+vFuopzmsTHvw44PNNVkyrIEzhsTC/lkR91RJNNPQ8JcWl9oJ5Tt/6LSso2U48XjBsrgw3zQarccAmes0tATW83J+If+j3XG9CnZCz3KDlNK5aXEDO7XvXfR3Cy26HIXSRQtnZL3kmUPkZRN7yg20t6KsqVfKQLds306nRAYB7nMvQDsbDDm4FoFEmgcCdwYCjmlkcpE07s9mAHw2u+YSx4BuAm3sBmATkblhmX4czr5Ugd2EBSH0FOzM2XCU2XA/+UA9CpUn0FZ1EYGEa7d0T3t0qXdSoBDDs2WtD8sbGpr3z/d9bQPfr3ZHIxyT2j5ROYccWv/aMMh2AwF9aS0XZiRnkV+eXaq8EOqL0AKPW+salje+66fqnnavpuq1NI6J1q1tCDCRjyOw7PlFAIvauDWndZccWGATnbO2vKESgSU60RR7qzZSk7KYbFjmLM9nZFCJSyzimY/36Q456slv9kNguJMXuFU/oO4RzylgyVxZ4D3oP7c4TqN4wTXPy1WGOYX4ioOcprBc9fezMdC9CMOOUvOMoQZ0AEiWRwWFR6GILE7IHfsYcoUrVY4/RFlP6dZ2vo6cqPem7vRrwOl2mRlvPHU7DIENh3vQ+GqLCLS74FJNUCM6Sq3P1X03jY/Ked3TDnQb87PUpNZDgK6vBDufXztU71hwQzRm3Ipbc8sP04KMuHbGGfSAy+UPGrJ0CQGli5PkOB9Xdcj0GS4z1+eSL47gCBxFu+wmkH0LOug/U+bTJ3B04s6hHWtHpNuOeJhZUnGQOY9oF23rWwC0ADlm6gci7ZGEThiy06ORl5KIV2Ym+KSoTPaO9RI1WoIq0Dz6hujtP9JZM51jbkZZtoUM0ODypo7aiReYLuhfHDET44nmRwbOQNaHsxhwChwsLv1zifdBeIVxqaGYbooB2JawsTsVRiWcTxnSPqJb2oowQo7NG1MAaRi7FAxPHV+PPOy5Qhqif7NuXxL6YvT9Zm7Upfk2BOgAomdOildTzz6fRu4OKVcM3yb7XMWGRW6348NW1JFB76Ug3Dd62J2HdAlwiLFAEmsrclhwSAOWcab6QrSAQIDntqPyi69nNZ4sr4cCemhT/M7gWk0g783tjrEymg/PauzUCCunF/eg6lDyD19tComhHo0vH/SwmH5rrhFKWox7eo4WEXDTs5Ofvu72VfUYsdf4qHlqP4oDS0ht3qSOhtepsQMcnCLmROdNwmMxh0E7D5lxBFQYPZkWPKcealKdwOs5B3fF4pIKysxXk59ChyFofMQW12NaheL+IOtQloL7ipyb0UzsuQR372ytXa6GE1lJ6QJV9Pm3iLQV8IQM5WdOmZBNwRwRTrE49oEWr+EL3lc2Wps9x47RoKLVH/6y3B017ObmDSdSwCsW1HdJcFaim2oQ5Ay7r1PQwIPaRpzPX4C3tYjcH03dqJvrKr7Lvmwe/BZYC8m9+bl6vA5yNsLWnPL4xK5dHe4VzC0WR9zCHeQM7hzzdjzDntx0BGBc72RbfA4SeEnpAmHDuF5V9rfSc+G072zNRImsf7ZTNfwBDPKY2x8CiW80BCdV27XaDIivsoPyKgk9ZnsCb2d7/NvyT6wqZNVl5x7xHhy8HxycFMF2zsd99u+t7pK46QA5hsNOLT5gCz2zE0ebEN5x4pMh34+pENfP2Wvhb3Jt4T/IUFwisE4cLH7TFeHtOeBBlVTKPoAQJNKa4QfgqJNoH+OXXGtscT6YMBTJVMvjqAqGrBADlmRCumiNdkg6bIT1N3yaWH7pongMNPNu56r2sG1hKGrxduGN3MK2xflybk5Inh2L9VdPzKnGLfYMkfBWS3MFgzITVqugFmCp67S/MxrMUka8H3OehOloklIEp3BgiiV1nmYgRODj1yqri5c1JibDP4mobHuj/GoHeXBVgbkB0eY7fWsSSWPiabnfmlyNRMo5OR8voMouO4EoyRK8eS/wAasNOj/GOjHdEZgEhTV45l/UQB4Fjyym2BcONVrNhdIoW8QxefWvILzxqzU4lLFI+29qvshJSZtKleRRdSyuMw82pnzmn/pIniwMEuEPDlOn/YvC9MfER/CAgLtMRp4o9Z6UBwVaIkr6oUkKhkFM1Mv8dtZg4BMkovkUnLDgc7dxKoS7UtlAnWgEzhisApAEZsuWW44fWqc4CBprjbyIZGgmSPK0p41G6x35gWJ2DLKNjCGAvU9SoxysKCiJ01Bw7asIGswBAj9ARvIkMQRrOb5FMhgf58TlznBf6fTE1GDrYOY6OvxM6wL4RWw+AqyJq+PDBAEhA2ku0FF/dVpKvoitFcwOfD30sz8cUOTeVFa+MWVjZC13ICzEt2JGRGyfRck/OziUSVi1bCekEAiSQwTnKm5Dh6nwgrJFsN99oHWmcthiO+3M0l3DFDeJwi55B2XJFqUNlTbe/T7fz1VUdfpbKtbizIf6U99XwFc98qeOpKZdsygml0yCzu/qGvj/1kIUQ3uSVKMmMeAJg9V7pZdyYwbgYiEA/dfZlWoSIR+X+MarJbkM/S/JR5nXn2J3BY/dsRru6sSpSj5GoXZZVdSVdpLc5yJjhMg5imKiqpLtFT2GhgWnufc/e2ukq0MTLMN8AfaONX8JaivtuhBaopI3v2sv7EVVDohr0obOLUPMJcn4LxlWbzhHlSXsaABgOIbJzRsIieHkyBDKriwLRRim7uLGlQOgCXYmLLD3emaN6ayTtmSDGu6kWMLv3hOMzl6HFBsChxzhQQ8WzX1oBGPW9NuSh3IQV12d4C76IdXItAzu5aFK+Vx15PK/pdERHVClGy8Zb0wIMdNJlgNhwaTyt6qRXVtSkjWvCLw9pZw0Lgcqmt4gFt2VWB2IaWsjOMiKp08cB/DlkDqQwwd3uiVK0jOvDkcSVxF+l0FczYa08ebkfmj+aAD4pMc9wqOVmxdkJgalsVYz5m58tqexoMqeJg6x84UMr59amgmCVrqeXOr3GnJVbuK1d5TTFDfeaJCmNSH2WDprep0tJ4+iT2q2DlQANbQmI9LzrSOTX0ImCXuCjP9XqLkhNE0P4CJWY65JPk7+rSpwmnlygwDniQ3n3/AwjLOeGN+E03aRHQW0m71eWVwiAw1JFSjabaY46v+jtpJT9mOl3//ZbaJdCt1Pww0609TB4sfich5CcSAGLIWL7ingLeuazZ/y3pXBoblQoFTxfBTmK6AFN/odWsCBWjNM22pNwjUqFVqjRA0ZVSGdOoyqk+Ts8o/uErHkncIvPq7iiKqYHVp6OXA2N9GG+uob+C69WbauGgcq7732PoJKNhqh+FlbG9H8Xtt9TCcSSrN7PtIN9HLotYi29Y2iRefnnBXR9AE3rlfagtYFguaubZARxbvpgoW5Ma8p034WxAUd6brAyGzcny/yAgN0Q9/YtPllZuv10qtNVoFRN8TR7VIxoVGFlZAZ26nq4PUrtN73Y/hqwjTNjeVimqv5Gdah2EVCUPQuJwAUd+sSxKPyUdIEtz1+weP6UlJb+L7kGQcU0yUcELmg02WNW6niBe0Uq/B6a+HbefTb/fnobxSssKprv+pFyA8hqo7SNrVVRuIwgUbNs04W0kPJ6mRlpeX5TvuzxnkbXsJaQzvO9W7LVjG3HItTfS40gXsFzsgLpknnS1qEqjmunFI2Ef0NT/iGTzJtVb/2Cyzar4LqN3N6bawca7rzTxOr7jIlIetmNjGLrFVOQNKiirD/tWtbHuyg2aXgVCvcJynej7o6h1GlOr+t9N/yQXXncA+vMfikstL4+7CqEUP7AxltZYpQN/cb6VV3y3bzSSxsZ+kqablj+1z+I+ASIO18B5Yo5aasjeBCR1Uq0cSt9lTKUlX/N1IzxhXkhfW3cwYoN96M4JxMj20eKPHPpC0eBtYu9JYR6FKWeCFAkWdFFWpg4yzcQIfOeN5VUSuKIpXyDpkd+KdVr2qcPSWEpzyzsaZ1V8WjXS25WbpHxtdUT6V+gL35nEQ5Z2Z8/ZOnWTElDmg5f2f0UQ0FGxD0PDkOr2FCmZtSljiPTWaOi1nhYPF2NxwE6YaWVEZOe2cBIH0zItQJ5EZ13TTcX+wfAXm7SjlPF2anCBhMGzkTkUX1pOYVp35GEtUDpwt/jgegK+97xl4+/iSa3xgEgrmvxqZQ/DdGGvTEFL9pLP47aKvsMIhCKexgeEkJm+Q8btOtlaxJuoptnb+HniqFOHHVOvNvn9Hh2VxJjhYgntEronqPlPeUAs/AMY6udEiKsyQDzaDCYByKiXbZ/N51FId+BjbYxydpwqWEnB5p7pdsi7bQmAZsdc1gTTpqCuK86h/OZk36vKWMlo75k6ceP/UX0zfjJ0jGz/oBub3JGgzY2KVuG8mnz7L2gwDwGGQogRvO1ddjqEAePQ0yNIXSmzPoH7Sma/rdFOLM4DjB5dQkWv7YPGG247lvEHwm6eB6JtEU78/zdAV2jCS5oIfemdLMmUl+VYQLgwp1JJpdsByv5Xe3Ww8glrU39rlIF2B6sknfJ4fnFzgYwUsx5hzHqrdgAcjEHc6slgbllW0qN+HHwMOlRvlnsg93Fd/MlbltDTUTZHsubfB7zDfVTLM4ShR6tCrdcVQHdMHxjh5tbTBLKMdk54NqE71DPyJ30cSUWq+GMbR/mJIiktr79ctqDThuXysBOov/XwZ2lZVxPx20FDpOIWV6q66eVc+pgP2EXsewcHic6t2OJ6UbEycxQhX1EPn7Fm5qo6hwAFPyQJt7zurdVPYTBzvVd3QDuAEYB/D5Zmh32ZDK9PTbSpV2CGoeBJ1/MSpH5zNzBRqHD7Tv2ycH5kLolDNUPfYT4wRK8Ap+pmIpfLx67laI5+ae7w5HixY+aBzdtczXWSeMQ/deP7CyUP3Ou5yc1wxZZzLo690vyRRhuD/l8VshIYGN/sxrEyf2O8UT+P0dYD4yu5S+RTAmH8uJiCngXHFiK4jvRFR2Aj+Dr3Kj+2FJQLRNw1oQNch4iYYRUw844uT5BDXtHl85su9e+7EehN5zUdTXjssffY3pNTdz4RW2xcspzZ5Ot0ZVbQZJou96n12/JHPVW6SdTcw48BkyLKah/ATl41SKItzsza1YFxM+KB6a3q+2c/tbKKTjm8KQ18GF6JtjCfDmLBDNNglKbIbKGPSFwKGyryds+sTVn6uI7FGrgmPsPYajijItvIj2xU9MnloFbDfAf9jnKrcxIcujKBi2CBS9NbVIEmqacHdEaA8NpqBg2gvB8u2R6brqERA6MX7BhbmzD1d1hGPVC9ZtNxv7e3BSgqDjC3VV6eLekh/9nSnb/SVRkfoXNA5PwCxoY/E4K852SBYVWSy7OcVB+fmOXlbmC0Y0I1hiT+AeMIoNj7qR5tpVxzAi34BGmEWUiQ8qruHYh32sHdrHI7JsIGU2Fme4jvXsUpD82fumL9thowpfSoXH+XvlvQiUjFGqtHu3JC67P8/yZdDROsOtOlC3E7+zJrfjTCh7SJ9ygUMvpymgBo3yXaqKq212Y/QgKNsvGFY9fAMh9sc+EPG7ndfx3G7TZhkPcfrgkRo7r55y1xGlUKKqADNXDUggHEmmKbxcjDiq+5sLJOgfKvylpraN20Cj+Zn5ZWinwqH3qr92b5cfK4pYWSfds2/Ew+xfn5mAvKRVljiqoNGo3utzAGUm0NW4BRbXJi/d0LM2cqMxLIOZA8vn5rlNVwxaj9SACowIiftR2tfPtFaTR0RvyjegOg8PreKe0eJDbosnNKdrE1n9rJLgx68RERf/Jn0QRxDYUjMde3cK7XPJdjSq7Pi75nw/QX42+rZf7UcF+3hX6Ql/+nobTbPzXm5N+HPrjQvOVOUrcmzm9Dmu+k0sRez2JPljb5tCEW//o+5uXErqGOi7gGo+v7UR/FDPp13M2AffaIwr2iVLJOEoS7mQSTevPCGTIQS2gfOK4I1wjDNhInFJTlWK1gsCSsJDyoiKZycZtp5dB8JNIYMRr6dCMi+XgBvBg7V5/R2QCtYs/WKGBrYasBkWx8h80SwhQWUFNTgn1QhtdAzHvRHXj+oQhHgnzO7DEO+kOfv4NCy83VUECP0h3WGeqYhH4iYN3fM4N7PmCkmoj/Mx2twJ2uHlM1wvCJu46R073qmkeNzNZAufxN01n5wn+8radB17RJMRJHVuDMzoSFB8nmXn6sAU6tvUVp2Dzie7+b5la/gVemyYA5tn+kYoyXAl72Kh0WQlXhr3YdtYT+rp6EgQrs8qX21uSbJi2GFyew32ta30m8otDZH5ZeuH/3ANsq8ACWkq6+VRhxYszGP/z8QH1neil4H9auBqjA1+tJhPulBJYwCyCWD8tjPIBltthiKYY1nNu7nDfdG5IUV7p303Gfi/L5DfIO8jQD+xJMVFV2etCdudkweR2Y4sPVEUOYq1Ys8DBDWUfNijaTs5d5RlxZlI/jeKX0QfMkMGRqzMVfiU/0mhkcSnXr0b9RMEZkkDhZvIz64BmJY51Q19Vgn2hcV6JgjpMUB54ND7R1iBFMHNHc/5T0E2q4kx+2WKPYeduAhFWXQmS1Dl5HvfONqTZCNUn2C0djrrgUkmFVnnOQriz4lN+rd2oa33upe61gnKqcd3i+D0+c5H+2rdSj/F041yGI1UWfCzWXJ7ypDMRjAo0zmC7fDKm6vj/hpX6qAkTYkO2h7pA0ioH9cTTsg7ezpoTv1oUAjLb4nlBUBVmBLqMusNVnkk1j+ECKvHtH0foKU0ZOnAM2gZoi9OCvICngMg+vxc1/mRDd9LHQW/8tRuGSmk0CkMTWNIK7odQDIYnmnD9x8sXzOm5N0TNKVt7Ii0bw9jhDQIMzAYecpGvHElkPhswtcBKUcJe45zL9TIMU/GB0YuuHdFfhRdgUKmZxCGE9fkNBwIb72qOIx1VeSSzImpSdeFv0hZn3pZeGbvfWRaC/9BcOAEi28O1hdBgzj8NGA+tFh+dhOz154wd6nYB6zYchzBT1qtbqt8GiTMcwtsDtuWLu/yJATGaf4PGRChlI9mmT5E51O7M8PdGqj8oSGr0n8jQON9gkdK7a8zloR2HVCsD9Zu1fRm3K0qM/4+x2Bj5f9+yNyucFR+5tsSTsVg9QXGnthLZh3Dec4f3vuUsyiqEp5WVZD9ju0p4D4j8m7UIpoIBhde/pXVlMnSpAAP+SNUctK1R2GzhMWVjB0fvgMpKksWUsLBP74o6hi/3/jYlbEj3ujhaGMmBfFlfg3QLvC8WqDop7yh9e1tcQOpkyCRjLaq1bodOTSfPy73dg5eRUDoIo6tLJA3igY5LrWFv6uF6Jeop0BNwguX1ALBVvUonQkuoQ4XSBHaM7HG/vhMreltt7vJowBqh55Gh7FyoA43CVdmAsdsqRKb/6wYLwlhHZZti1cuD0SwMs6cqi2hRIZznRptI0UTjiThxHevnea0AeuwlBM0nnGbH2n6fe+Eel5mcMPjbGFq6xMFSn2Fp0jEqgC8jpePh+ipHPX3XG2HIZLZDJ0SdY8k06/HDaOEIoIiPPbq+cd5u+iUX5TuovIKWv8yR9RTihZzHXqmpdV0Vn58ru9HSegvCYh60G+3Jx62RmByWJGmAc69wQ2RLC/aKRRKDaa2EXTJfEH0/aladX5baArnUoUjHWCuoPPqbk0q7opVDkeesWp7INE7BAf+W/TFCdAsjuVUaTKX3J36M3meAUMsXKBaV6r9hGgej+0YXBPaNbYx11DhCxTapkgZRqrmVBwMTg1yljUELQjfjVEmm7dUtQnyHwJlyL3cVTCoRJ6+6gvCPhk9aqsMZLpfLjd7ySIPencw1jVRtwctbLwMwYGi74HxxEwKo6UPfg7WKUQ4dQ/7lqalXxFIxnmqUBVCHKBTIqiRipH8LlerrSTgVcQST4MeZkH6pf95mTCv2/cu7QslJdAy7qauleULdDsJuO9KZ1IZqh6OMsANE3PKHeccVSCj+So2cLlTjMpnTsn/PsXpiezHTJC2OaPAMCUhPyXqZ2SAAHApAKA4AjqW4NMscRn+wIAAAAABFla"},"baselines":{"status":"PASS","n":8,"seconds":12.62373917317018,"max_abs_port_minus_replica":2.48405740421731e-10,"base_vs_qt1_max_abs":0},"exactbase-check":{"status":"PASS","n":8,"seconds":18.450949754798785,"max_abs_port_minus_replica":2.48405740421731e-10,"base_vs_qt1_max_abs":0},"soft64-test":{"status":"PASS","counts":{"add":100000,"sub":100000,"mul":100000,"div":100000,"wad":100000,"uint":102682},"seconds":11.706102142110467},"soft-tell-test":{"status":"PASS","seeds":[74200,74201,74202,74203],"steps":2000,"labels_compared":5678,"fallbacks":25,"mismatches":0,"seconds":13.476031559053808},"edgecases":{"status":"PASS","unsupported_cases":16,"prior_preservation_cases":20,"unchanged_choose_rows":12},"fallback-test":{"status":"PASS","fallback_cases":["neither","budget","cap","unsupported"],"prior_checks":24},"replica_results":{"frozen":{"cap":8,"floor":0.0001,"budget":128,"dual_cuts":2,"selected":"(8, 0.0001)","selection_rule":"largest choose mean subject to choose min>=-2; no report tuning","choose":{"(8, 1e-05)":{"n":1024,"mean_diff":3.091335466543181,"se":0.030603220582560164,"min_diff":0.03355277020284575,"worst5":[{"seed":64322,"diff":0.03355277020284575},{"seed":64509,"diff":0.12869699485008823},{"seed":64593,"diff":0.28073608362080904},{"seed":64778,"diff":0.5234312219611752},{"seed":64636,"diff":0.6415281435039333}]},"(8, 0.0001)":{"n":1024,"mean_diff":3.0914448474259455,"se":0.030743540364957148,"min_diff":0.007289932230719387,"worst5":[{"seed":64322,"diff":0.007289932230719387},{"seed":64509,"diff":0.03857688580035301},{"seed":64593,"diff":0.21781661316572354},{"seed":64778,"diff":0.4660531048706389},{"seed":64636,"diff":0.563936701362195}]},"(8, 0.001)":{"n":1024,"mean_diff":3.0895257345203717,"se":0.03086659373297939,"min_diff":-1.2959004990531184,"worst5":[{"seed":64684,"diff":-1.2959004990531184},{"seed":64509,"diff":0.015663324852312144},{"seed":64322,"diff":0.13817980612759584},{"seed":64593,"diff":0.39264812459987297},{"seed":64778,"diff":0.5752238556578391}]}},"freeze_utc":"2026-11-10T06:02:23Z","hashes":{"policy.py":"8068193c397a6b66332cfb220dd35491fce38aebea352fdda36151ef967a04f1","bounded_tell.py":"2f27993cc3d66594b8376618559bd541f117fc27e64d91c2494d6f28ee9fab22","port.py":"97669d11034f8c0b800880ede93c6ffeeb2b6628b26f0e926f5ccc4642699288","qmref.py":"1dfc9b7a3c2237ff7a93dd9f0af54b9bdab16f2ce0a7eb00784cb4432598db92","blob.bin":"3ac7cb8811ecfb6a17f499aa4e9b70dd55f7fb6432b3aec3b904e11a3dece38e","exactbase.py":"50b39055d05254eed588dce9b1277aceed3da16419f1892a987c582bf713edca"}},"choose_base_difference_max":0.0,"reports":{"report-10000-10512":{"vs_qt1":{"n":512,"mean_diff":3.1121835214935745,"se":0.04568277449287227,"min_diff":0.11670847958089325,"worst5":[{"seed":10146,"diff":0.11670847958089325},{"seed":10141,"diff":0.2511565782319849},{"seed":10256,"diff":0.4385559941953261},{"seed":10498,"diff":0.44159195737609025},{"seed":10476,"diff":0.4475989179967428}]},"rows_sha256":"780752f97a442bdd8a87f033c10527ae7df0899fa88b515917d0230ebb18a781","baselines":["qt1","exact_base"]},"report-10512-11024":{"vs_qt1":{"n":512,"mean_diff":3.1509828510099207,"se":0.04402619361372387,"min_diff":0.3071416039348378,"worst5":[{"seed":10519,"diff":0.3071416039348378},{"seed":10642,"diff":0.35366065617813547},{"seed":10822,"diff":0.3954344370235958},{"seed":10731,"diff":0.3980209408442761},{"seed":10630,"diff":0.951597159498192}]},"rows_sha256":"205be1e379bf16895b6e5d9d21b2b1a320d185576dfa1d3f2b0e1ab9ce553349","baselines":["qt1","exact_base"]},"report-11024-11536":{"vs_qt1":{"n":512,"mean_diff":3.1243366906186996,"se":0.04301467101487011,"min_diff":-1.397359046747738,"worst5":[{"seed":11062,"diff":-1.397359046747738},{"seed":11376,"diff":-0.036299684025721035},{"seed":11519,"diff":0.14240717451173168},{"seed":11233,"diff":0.8609120111489119},{"seed":11108,"diff":0.9301988443955906}]},"rows_sha256":"0aa0f1f6ea0de6016f18266988c4ec7d45ef189c4583ab74c93718b3ff68fe72","baselines":["qt1","exact_base"]},"report-11536-12048":{"vs_qt1":{"n":512,"mean_diff":3.21207434233689,"se":0.04611407157929203,"min_diff":-0.2859600185729505,"worst5":[{"seed":11701,"diff":-0.2859600185729505},{"seed":11808,"diff":0.5240161771770318},{"seed":11967,"diff":0.5862951941746246},{"seed":11855,"diff":0.5944183985351401},{"seed":11980,"diff":0.650783859253238}]},"rows_sha256":"91b15a619c747b5122d442b206d6ace0f80c27d861591b8225f78b798f7516fa","baselines":["qt1","exact_base"]}},"report_vs_qt1":{"n":2048,"mean_diff":3.1498943513647712,"se":0.0223633021238525,"min_diff":-1.397359046747738,"worst5":[{"seed":11062,"diff":-1.397359046747738},{"seed":11701,"diff":-0.2859600185729505},{"seed":11376,"diff":-0.036299684025721035},{"seed":10146,"diff":0.11670847958089325},{"seed":11519,"diff":0.14240717451173168}]},"report_complete":true,"report_base_difference_max":0.0,"report_label_counts":{"buy_fail":3292342,"retail_only":3287133,"arb_only":834185,"both":3003787,"buy_pass":3894181,"cap":49808},"report_fallbacks":49808,"report_coverage":0.9965318231408057,"Q_pass":true,"choose_baselines":"frozen.choose applies identically to exact base and qt1; max difference 0","report_baselines":"report_vs_qt1 applies identically to exact base and qt1; max difference 0"},"python_label_check":{"seeds":[74200,74249],"steps_per_seed":10000,"callbacks":547247,"first_trades":351717,"mismatch":0,"counts":{"retail_only":80488,"buy_pass":96700,"buy_fail":80022,"both":72418,"arb_only":20820,"cap":1269},"matrix":{"retail:retail_only":80488,"arb:buy_pass":96573,"retail:buy_fail":80022,"arb:both":72325,"arb:arb_only":20820,"arb:cap":1034,"retail:buy_pass":127,"retail:cap":235,"retail:both":93},"exact_stored_reserves_and_fees":true,"contract_T":false},"limitations":["No deployable or certified tell contract delivered. The complete experimental Solidity source is included but exceeds EIP-170 by 988 bytes.","Python Q is complete; T/F and engine G/E have not been certified. No engine seeds or leaderboard submissions consumed.","Table compaction preserves coefficient bytes but its runtime gas is unmeasured.","Requested <1h budget was exceeded; this is an incomplete checkpoint, not independent certification."],"candidate":{"source_sha256":"e58685e34f9a4129298c04636aac94cd9c7bb28293dbee00b74e19515ff74ffb","runtime_bytes":25564,"runtime_sha256":"4a3ae6117c1765a4187d4e5be2fb25648d0215acba92f5aeda0588df026f07b0","compile_seconds":13.589705025078729,"compiler":"0.8.24, optimizer 200, viaIR, Paris","table_encoding":"lossless signed-delta LEB128; reconstructed blob SHA256 verified unchanged","deployed":false,"deployment_error":"Halt { reason: CreateContractSizeLimit, gas_used: 10000000 }"},"commands":{"prefix":". scratch/env.sh && ","replica":"python3 -I","command_timeout_seconds":470,"P":"python3 -I gates.py","benchmark":"python3 -I scratch/benchmark.py","choose":["experiment.py 64000 64256","experiment.py 64256 64512","experiment.py 64512 64768  ","experiment.py 64768 65024","base_choose.py 64000 65024"],"report":["report.py 10000 10512","report.py 10512 11024","report.py 11024 11536","report.py 11536 12048"],"bounded_timeout_checkpoints":["base_choose stopped at 824 rows and resumed the remainder","second report block stopped at 463 rows and resumed the remainder"],"tests":["tests.py baselines","basecheck.py","tests.py labels","soft64_test.py","soft_tell_test.py","edgecases.py","fallback_test.py","paired_port_test.py"],"compile":"python3 -I scratch/compile_candidate.py candidate","setup_runs":1},"input_hash_verification":{"artifact_hashes":"all four matched URL hashes","extracted_files":37,"cost8_manifest":"all extracted ordinary files matched manifest hashes","o1a":"both file hashes and compressed hash matched","o1b":"compressed hash and base64-text hash matched; individual extracted hashes computed (no independent per-file hashes supplied)","base_strategy":"7b99afae570ef1627b0163fb21411f14c496b005a07c3966cc7323906dee664f","engine_sources":{"cfmm.rs":"bfaab0d22531d2d920d4fe108ae78ebde759e2b75e96ca4c8503f7979a92a80f","arbitrageur.rs":"f81bceb19ce315dfb457253f35e5dfc6cd78c587c54f06e873f0ef2e978f5503","router.rs":"3d726a0fff1f69e639a8345d722226888089fd33b4a825fd85ece6bbc565994d","replica2.py":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685"}},"paired_runner_verification":{"status":"PASS","seeds":[64000,64003],"exact_edge_equality":true,"baseline_fee_pairs_identical":41682}}