{"item":"copy-b","batch":"e04-a-u1-give","valid":true,"submission":false,"status":"all gates pass (isArb 11856/11856; closed loop max 4.58e-7 bps vs 0.01; sanity pass; validate; 21055 B; 6 of 32 slots; no assembly; engine afterSwap peak 207569, 0 failures)","change":"One rule added to frozen lookup-u1 (Strategy.sol sha256 69c361ef...), in afterSwap only: on a callback not read as arbitrage, after the existing one-sided bound update of rival spot r with c = s*(1-fb)/0.997 (pool bought X) or s*0.997/(1-fa) (pool sold X), fb/fa = fees in force (stored slot-2 fees), if the bound did not bind (c>r when bought, c<r when sold; coded as else-if c!=r after the binding branch): r = exp(ln r + 0.35*(ln c - ln r)) (WAD ln/exp of the contract, mul(35e16,..)), syn=true. This is before the single fees() lookup, which then reads ln(r). Same alpha on every leg (alpha=alpha2=0.35). Tables, QPL blob, filter, isArb, chance/odds, soft=1, timestamps, gamma guard, storage layout unchanged. Diff: 2 source lines (+1 comment header line).","source_diff":"after `if(t.isBuy?c<r:c>r){r=c;syn=true;}` insert `else if(c!=r){int256 lr=ln(r);r=exp(lr+mul(35e16,ln(c)-lr));syn=true;}`","compiler":{"solc":"0.8.24","optimizer_runs":200,"viaIR":true,"evmVersion":"paris"},"source_sha256":"99d031f41074ea872c78fa7dec5db33d9f20f3251e29bdbb4682c92791334b72","runtime_sha256":"b6f3c2c2a78f7f5676d16fa8f78ee9ea43fda4e16f957aa3e1eed2bfe15b1d05","creation_sha256":"41a9c2c7efd4b829743ad71fce5cc2cfbaa7a870ace385b9be92c61a4644d0bb","runtime_bytes":21055,"runtime_bytes_lookup_u1":20977,"peak_afterSwap_gas_engine":207569,"gates":{"vectors":{"pass":true,"n":11856,"matched":11856,"mismatches":[],"tx_gas":{"min":37256,"max":43166,"mean":40000.53247300944,"includes_transaction_base":true},"gas_per_call":{"encoding":"base64(lzma(little-endian uint16 array)); each value is execution gas = transaction gas_used - 21000 - calldata cost (4 per zero byte, 16 per nonzero, over selector+ABI args)","n":11856,"data_b64":"/Td6WFoAAATm1rRGAgAhARYAAAB0L+Wj4FyfPaNdAEkSCgOQQy2Ew890Odut2JjHaAsSKde17CmhvkfVj6bgs03SRua0/te/hBqI6yTFm6nji+0LL+NZPQdjtavshKvOeP+mntRRAcJqrXjufupnjPT8oZhmzL0vLLfBiu1KjrY9uSbtUjnnQBxV93ucL+PicME9UuJeCtkZfIkwjFDDeR6C9gx/bL7B5p4wXNUMaNWXHRhHa4xscgmu1rTy5IobRxKPSZBdCWw0Rg7hRIvTrQKns9+CAdgZZl4zCO/tTWSHVvu1T89m0na5J343jqAjFajuRLEo1b+PFnKgpquANUIgRgcfEkunHcZKJBYoffnIuYGeAh4I+A0kvjaifHvOwO1ADL7WbUotFSE+TK6DWcbQtGiXVHAN9Wik//Te+kLI6xRfLgTyK+PlKDx47to3LpUd5Sgh+8YkSrCR2UpIk5xqffHBFjc2m9NNY+M9CG1OKzZnHfgcrRJAajrw4WIRhqC4/RbaDAbIvBf+LbouXJzu0PVWLPw/RUkL1g/+jcHpT6Ws1E9YCbtxHZ+IOM4rjvXqLMvSm27n8RI74KB+deD0JcLrWoRKfCa4lRhT8p0Be1GqxL3R67Ju7Q4dxkVYCE3neCIVgbENhRLrJzcX66pa01FfEkuOp+QWRGOX67HQ5ka/CjyR0WmCILpO+jkAM+RDq9/kddPYxeuVd7mbh6lWj0NIARoUGnlQJ+NSbm8ZMbGD6z09gILkWk1XYGf30Qz8OnC9w1/HQAx0ZSf8dQIOQqWlpB4HY9bjGnkxfD6CZi9UjROVd6Peszn6vGl0japWrH6xZgvoLC3BikCWvAWzMLwky62DUDbuqO9/CH61oB69MdD4P4eI1Behvb/ZEXuyk+rv+HaEg+/ZJDaCzTXszaOjAA1iV8SlahMlxU9wJYirZ3Vn6CVk3yOjmNQvSUz6QpRJI0HFG0iQ0k1EqAn8kMXQWvVbUVUd2pi21E7BjVuZDq4VWexgDjNeG7HHrhR02l/iCqxjevCHQL1zDdk5bT2+nIOKMBhWnzPwDTaiPUo4XYMKjmu2jwW0L5GcNWDQuIocv3w4oliU5/vEkz79c9f9LQTs2trKrczxn8EiDPW7WUMNHC+DK0xt13TPjjIM/wrdhQtSwXDGwVg+mbAQA43HmmxB3Rw1L2kOo00vVmf0Cam8YCDD1YSdhE1j4yYL2fJHGDhlKBlGU+y78oIqA5BpbEoAjtdzQkxm7ABmNV9raEMKoKiuYo4dxnDOBvI+++FvlCNB6B2ORsTXlHzCjt0MLe0qfQ9d6bI5YKiVB+9WDl1By2AUp14/i5HjhKj22Z4gWlENt/S22Sa7bYbfX+zdwfcF/8hQB3MT3oA+uyj5u0x+68SrLLxLscRQdlJFLXW2rc0ORmutSqbUffgBn0+LLV+TxT1lYBaM3DdJX+tHoBoDjAa+jxQHq5U0DA55BvntA/B2n74TdBS74EWAoHHvSnBsjJxKQCGrC/R8REtDO+rO+UQ6I3hNG0vpi0PB6E7c3/hFj9IbnKfvS3irec9m+sSP2EeN3jwkhcXhGXgkxuzBYTqF2mNdU/+STbFZPqicOxFvd9Cexuzgno16taT/hvR+NtQhBC79UJcqCOzY9g9c39uTZZyk1JczUa0nQ1GsB9t5ziVy3X+YzP0NP9H2zYLi0lpNmuJIuMRSdharOr5mzcvGpiMG+5UiZIWRw1tVtcZyAsmFqzM1USu7LO9R4JcTNodUFJMYyMU4IKzLmCknI86lCbRrKM3COMjQM3/CslZ8ECVEEMn5MtAVktYsH2hVQXAyQwote2vy8AD/7WaXQMjkYopIhOdyjR6csJwVmoLiK5RmJJPc4kT5KYvX0KmEqU/6ewEeyn9HVJX02vQ8G7ozhZWvQtDK7zpqzQQccDATWgrLMvuqRaH/4EQgT71puWV7jrc/cZ2ZLOTA+tDrtY3olqeDajyIuBTimR1oXX2jJWBnhtCFerUM3Tgq0URfSKaadV7Q1XbkYfRYjqLLvX5RvXucMSFvkhjQxIAwUnqeLhMEqdsjK7TmeaZgzvx3edp4kaK43kBGSj9FW29fZNia7jV9jWVUph1CDQSu2gtpCkikAIlor3V9rRn4Ett6tv+LqkRsH8N610tWktbhsbzP+1jnh9SKadtzD7ZOIqckfnmCueE2+k+8r8mhC537TYKw2gEoXg0wQQWc6tGLy4o5+a3sezeVnYX30wjUP2oiO6MNDyNZuQYjHAioZ7dneKVlWltzjDpi+B1XTd6Q06G1F/s5ZaTqYeueNa2I/EzQL0QLKmOcJk9PW9K/Z8zkVgAyTPteHELDUhihqgmlCmm4LBHkUXbPMZigZ36LQ/GE7X1voTrAqq162si6WiBcfLBg6UgSzerCn7blM09wXazf/bhRL0Twq/zL4V3yaHPpH3y6m1EcAgTZmN6pKAKjBZKSedMiSiOg8j5rWm+CRmjMvxcc42k4r68tEhhB6iAWkyxne6t6NrDYW0hAb2NBAxEXYdysvSmSITcCO+vybdi9nIEouasWa39Q6OLZaKj0XYSB35m1eZ3xtaJm0Kz64Qab2Aiq+HTuL6HNqH5w+rmZv3WhWARcS/3YixohmK8EwkyG9YlwEV+bkePUNHwBGAmTI20+Zgn9UOAb4iVm9pfpeyCZgTQswKYc1pO2LfqQ7XFpNsqk7tXnOPV6WFgnZe4xy6PtmLEzRWfB9iObSO+JyzXcw2V/+SSbojBVuiQk/P3w2hiUDFNXwrd87HO6gfkFWa7Q9oXJDeiC3/WAf6zoSsttAkL6SHZM5pVKby5Ztgc7BMprKH0WFPfWUs1szn+hlkEiOwsVNpok9EsMaRTXY/vsVFP4JBoiSRe249TH9WRoPAFCYX6z5qfjRH/w0CX1Pj82UcfbU9RHvSNncGZP6e6uIdeLN6uDyC6gNqXoun4FFa7Oa6W5DCzNQftr8HfGFViSwlEUiz6eIl3us7exXmKnUrZLnexTV89P3cq+cUnAyQlKLgmQ6/2niqIYRQ4c1HAPzdVsGjhkr16xZ9jilcjZe14B0GBILJBIB6GUj/uho5I8oXz/OTedEclpBklECV5Ov3dwo+v1jvFdWALMh6MhHDvh90XSIjmJcmYGsgKI/Uo7rCkL+vyFQlUyOT7YaYd86A2BowTiQ3Z1K76Jj+b+QrwmUWcZW4JqEyYgOlVioEIdGZusOuj/egiNW66tgfOS8Esm+H9Ax9QpeBF5kZvx8NS+PJN2cJhHILfrJNYmaBv3FxnJ9HXrXr4wHSrvNfPJMFQ+fG7Z6daLhKZXtsG6ncPS1C2xVvkyGLCyOVZlizkJEkI88CGtwfQlJme5VthoZQXycHoKi0jlK/3Y1B79O9ZLIaIXIS9Ux7DLqY2s3JvNofvSmaQfz3ZZLJYMsLE3uZxd+8h0K1UKwUd3qkevlTsfnQbFipasWtAvgnKEGEKHFa1iU97+p0243Ukf7VrT31hFV9zoCBJtuFrB99e+b4nDE6sXzwDOfApLsnO2EtLRPkFNnuc4IOvSNu/x+m5ihA9X3TBIuzl3/xFJ5PtDeMx8Pd8vZFiTy8AImoHTIfQGAnpfqYIoXojEYGEn4jYN3z84Xef29q0lMHhNq7MykOd337dLfXTsx8HYJT8+g6/X0ljRClFTHefwjLsBiDOic7BJnCoK9TLobuM2+GDDo/2WALIMGDRZRHbwLw9P74XsFqUlFEAgxGBMHrKNBoHck5Yq7B8XYLPzv/becbSrYTTI9CloWq0eaPv7QAFHRs88KOY/vZyZ1C4koBe3zzF7cPXFcd/EK2N4cZglg0LTGOzvsC8/J1hX8Tl4GEMBcMoTtzMY75TKOkVks4bzX0TN+p51LAitJ28wkjUpPbOdt/oEEgsT64Q21vEKol1PKGhuU98+6Q4vXp+O2cdjblC6Y7blhRSEnpODy2UBEAZX1SuhDOIRX1WEbcYrNMR7a2OEjs6KMDfZ/PSb84GuHBPunZG889Ltb3RB3gYyOWfgG+EDIfwsOypQx++y3oJvKAgO8Yofgm24ZMcDCw/OkNXyCG5lHv+3i402pjSjeDSiQgKPsOMCSDd8vsLkXV2WrdG6Od4atLQkmgmqyNdr8F7kfFW359OuemjNqxo0hjI7V7pPQvTB/lzfK4o0SgzH7Nftob6wkJimoXoCfqSUAVbIhhlN/EcBtiRRXZtFochm/1HWg42DzgC3EFHuzD56OJsi+Qvoy2mN0NBsBwRY9EcMfeu/t0ssSN920Gb6SWMhCrBi+uUVqTrsAHJC1zLrA6SI9kWihiwgWBgPxdevN3jgeE+PKnFLi18ssOSHLMLgSUQYQ17e4izRo/uVyqZjNuVrYONv/r1TF86JvdaUKB54gFqUvraeV/mRWwjNY5DrSJbSdgSsP9BqtMwCqc2ItWOgrCOcqRn0drA/52sysBcpdY3rH1xM+qTGYq+EdMfxJGC6BCLLPrTeUX3erD/77kQ/Dc+NwbYqQDRlQJKZLSib1K1cZ3vCE3UZ60e1CFWhWscTT4q95ZB+5NuebWvH6MLHWCTBPrvoEOoCXyXaOO+3pNTdAq+I4kuw1cofEnYOK/ldtmjZO3pj0KFP9bvwVq8GvJaD/GJGg+VMDo95EtEYMpX1lpvyzGCP6ejht/7UO4QuPACfY54oGORL8AfKHlnpK3sXV9NQc/rXF40iZrFlgTa2SDvshN4e1k+5/LzCbdec5JjSGjJmt+egbJ3xeTXV2WAf8yWL2OWviS19n5zOsrwzroqRfX9sj/yZIQE0yV1bEhttE6g5T/2eS2hPYoEig5UpJ9I8eM9cRjZs8CqPDVF3B0EWyk7mf9qOQcp1+GOlqhcNvFpkYziA8kpyDuwdRnhf1uwSyNSgdLlxwQTYAfY605+X8TIMhwF9Ge4j9OD6oS+b57BL71FhS4bwLEYXNaFWRqze0q9wLRHOvMU2/scLLQZhtUqTu0hHOzd+fFKvOBChH4Q1DK2tZupdgi+gGSPGzDEU8XZRf4v4PkSg7t+95wt6V7iQr8zYqkmk7nXH1WibX1jSa/5ebVIDv755TpIWBi5jY8WY7rWMRaDLt/ivc0obRGm92hnzARbhDyI+0C9QwgDMEu1y5XPGvL9mUOHIZvdid3tu2mcAyQ1rSWaWkr8kaEAL9b4ylwavPCtuUWTFZBnbTAQUcQxoVP1r1WbSK8AFm8IgYIQftqofXzNOWXwQCZRO3G8mAs37viHf4hNkiLnQc+3mVqfHX/DHvrO0L49kDr941a6TTK2hiofFIGGxeJstYtDrWuC/9LHjbVcTOkNK2/pD1i3BTXbRRu4B1lz7d+dc1Xb6CpF6V7bs9n4Ly0ZwT/hwik9v9WkDvLjbMzxrh/g0IibyYIZmwBcbFwlxqs6lELe9dkNFyDDJ2LqOTbacSBkAjbuFxw/d7CFo208UuHr09FQDahJMPhOb7zHrOwthyA1rQfTv5IKxshT73nWwpXVa3KkGpPpVn0uo5yjK5Zuw6AXB6Q8GcNwqbyuLOhSll+/UBybaV4IeK97HVcxekUNRq10RKcuIcZvyPJyRmZA4YLMNLdZzeXsrlJxFWr9KStFpYB3wAcaqwJiJw7jPf/LvEtC50mw0H9UhiQAwAxrKLAoAltm/c6HKJEp5QrG+ayIyF2WeutH/bWxbJdqII1xr4yoToxDBxz25oCifCXx0WQdyPloSDn/pImmm7elvsN7Htu5XpRttnCCVeBHYsqc4VID/g5rS7s4tvQTvMGM7mk2zH88E+aiuYWnDRuxp0C4IH7kyfpBU7JNu491vZe+SA2cUJ60MrV6h3oi2fw36EPtna5fwkTNuX48x25k/QFeIyfKoA9vtfd3frBUE8nKczhV7H03EZv0hj1Wuf4iK47N1FGKaQziDKWfd50zemNJ8MNKa6sXhEOSMV0wT3W0bid60pKUZhc3/AIon2eIrQZ3YvuJahER3UEesDqFnhACdlbTcXKabI30SqU6jZYTC2UBo/hAFFDIimPavUb3yeCMpgjUTpPDF/r/mHJicrvsE1c2yJHBqL16U89m1E4Dpf0Z26JF4tYMMYhbrYqu+cy+5xSMLe0qh6Zo94o5ZEsZpsO090CB1Bn3Q/vbPCWW0ZexjEvBlePixjf0IFnewtsNupv5sjI70Ues/mbF5wSY4dT037hhD7E28y5kTmpA0CKEAJgj5N4aFKU18RquuxXkX+QT8+/Q3A9rh3/YVzXzKJIQiKMcFTvKwBnNYFAA+dLtOtxdKoUIx0ef927RY+niHb05glINzb9PVMOz+R480/ZWGPIRD14RNEZjdpMRkZi64AHzTZy+eEVzMFHdRMF5HTWKWfGPXVSjiaNdBhtuWNiWKsP5JwnV4x2ZoE8p4jZtvQ5GFyWHgRf1rOPxc3Bdf248mY1X2B7pxRDeZfHmZvN4T52+aEcgs1KkDsKHRMFhdi24xVRaPcni1NwowAvb460xGNtok0lWxbHjmJ9FgqHFPzOawj9AwLa0Ijrps6rW2MQHPDkhAPdtZwCc7QBYHD/Ntd/pKShOQif2H1BgQRRKUYe15Fmsg0vinC5OUBNO+0DhB+8kP5maIvcYW+LX862p61M8zluNLZU632vsS3KOPd1/ru/HlVVQcKiAjdVn44KOjMHTOB8XPEEWkeSOGncAOAJ6vI6tkQJN5tfa+9lSdECDqRiGQnoZMYztfMSkoccLab8Hgxz48Uol/6jQVDsmF5PxFCQHtAtH/ZR54wxbclRZZtGukmrgVEUqCtilkVsl7KaWFGBY8aAj3YYzMQeK88xAXBz0foVlgFy9RpDpW3WWja21KQi/ip135Q7ECpKJE76EmxwAZroIgV6Z51hx3k2YhvzqYqANKeIBryGy2dn8eKTl4oOQCeWey2Z/Gdy6fyXEjVKJommrBTFM/JsHLpsXlYG0BhjX4h5fm7OQC3InuyGshMk+1oCZ4cM917kd9J1f09BTb0m4vQPF9/k0AFdRNKoIjwTDoFKdS2GRsyw/ONBs6yhek15W3cJMbPO1fi6S9u42lkAKRUU5UG0Mx4OYMXhCMGHxPKg/SwbS3P3wyk/jfzmvZHbuS8TYwYIifRh8ROGA4d5r1qHMwXFZrabtlFNvE2IHEyPUY7YWuazDMMo9LQ9hXxekriF1yBtGK9KJazlYTx+ZftYgyFtlL7VIDJgW6O0rlj2iW3C1MXFi54SD0SRM3BsIOONX7qkf2V7KijgtUUCTMiH1MsdoYco64CW22iOA4kfpg6tYoL9LEEX71okdnykwnNQKJSUylMBa2gkd8FQsqL3W8cVocdlOio9TMiSEUDGMzqP+zzvQR1iNgRMXfH97iyZ76zlEfX6xAlj+H57ytjFHpnrJnC+YcHgm4qB9jrtUB/liYKCwTLKJVyb62d6BHtzMwEvHzIVSe9sbR4578r3P2/amlfFjmJDsXxRPqBkpXtn9fXZ/Di4kggS/WUvZ4rfGTpfQe5ktYcsZprR+MkiYJusM8Bd+v2/mYBvVN/nRMFvOd5bXCL1PeQvNnAeWCVa4a3S+vY6FfEYqCFdb/MahXMrZmGLDsUKVZjxvh0r/IMFkHNLbMBm+Oy6M4Q8CJKTRNYsls0rjiT2BRH8YyGJX/SmnTGHzfBwy8/nrsKrafizf18PgofxzxlvgG6QB4U7KqFaydCDjEt+T4xkBHC0IasGI5/WmhynfaFwvUG1nbSKjg8RSZBDmy99Ue4wG5k3IRwD+EAe7R9q6Kz0kEvUfNvDmt7jlJwb6vCVXMHb9/jn3DlGCQGDDvY6ytBe8sM/+GezYzCGbAknVFeILqf8PNILewj1KyR6KRdgbR28LUpA8Q2v4L5zrwGY2s/Z1zmtsU7pt0B1uStNzJgO0nwQO1wIHU2Grt+lkPLMkFG1LY1t5nBToy9jQEbwl/9WVA5Apwpcgt/d0m/X1/jbn3lEHW0vcir4zqvG7nqrruUiUCG5nyq2UDsmZek9czSRyh+BS1fmsaekneC1/OW/ulPV10TZvWsnOhKlceDbVFEqWqeeZRk9TQU8OPNB66vU4QeOPixDp/5S4IjuGEu5H93QhoALOIxlHlI63MQtYdjwmMA1m0SqTUGUVQSFdP7FmGHQBgFwZLyc+LOPvFsYNONxh841Bvb7YUOfXsJPk9QN/OAXai2N3X9y9cscolYEFfdyto7vcfjkxRXdNIkIM2gD/iOCMg4N62gxtFtD3HtHKXTWuQSFgzvtjIex1J+qCe4y7fROOkL7vfeHtePb/1E1LYP8ZVlqlPr7Mcn/nCmdShfGGeNHNrXH1k6pqNfX92GZUlQBqFg0GKjzkHXKvy/Lky7mcAQOPOhyvUqRpascQ3PbY0ZYyhFlsdHmZBU+JtbWvHKhXvN3pnfAdZGz9HgG56S0Z1FngdXS6C95QYUC+7PLV4yY/BZxotxJ1MUxUNkflDPAUIIDSwvkJCv+VZe/nNLBSSa2GL+kbixa50vcq28J9O/LmKpJ8PHm9XZ4+6Cco2DzPaTEnqhrex4nk5DgPqgLnq7COC91/PmdeqJHKROBK6ZDTOEaBvapsJpdr6wJQy/rGpNBjbjeP9kKQNyDsKHl34SwZqBHAVjmGp5uOS0kHDhLW+2qPY3Z1uPf8yjUgnjkELgWQJ+Sxopra9QdUmO/f2E6WD9l3gwTHV5eeWbNQe9v8S705s09pGPMGS0dsJsD2Xw+CAXRTTKeTQSPSTk7JId7vjIAJtqvu4nHChJaStV0Xctmql7ogKz4cdguSFH8D6v/BKadUDp/ogcrgHMcP0PuyNfddZVdZoWyfsxUIjSH7rHaWWJ2zCtP2DI2h+NKmvUSY4uEsxpZZYVrKWc5JOeOr6b+bcE1JIVyuWWxlgBKVa9CacH6P8gwQm1v2CDgD5j5LH9XF/Kam5QAKYKEK3qJMvVYvODnHl59DebLoLoKcgHt15zu9vLYy00gaVAXc9NXQ5/HBuT6UCkxWJf+s9u7eu9/y2d23zbUP7Jvr07q0qFAdBMJ9Eu7vqFrxo7G5T/+KjDbAfYvBqox3q/mxWfG3m8VXgneLMKcs0vzbMR+cLPwYpTloN56NilWMf9mqHyvzsU1UDOWmQ2uO4fUyxQuzymyRq3QEV7FSMSNJSH+N8t2F4P6Kh8gv5Dlq/ZFFBtEswZezu+ZkILi+++1xI1wq32ZKhRyfXx9u08LvyOZxCeYzmyqclxt4KksTa+dwe8qNGJB4WsfXF4DzpzssA4yPj4JUtc0Cn/sm+EeELGUamfoCR6FkhBTX/ZUxKTexr1oZxcsFk/R6woCejYdyLICj9ZHBg2QHSn+3yHvtdDUVx4DDRaoWbUVDt1brbV/yGjDePBml2iw3/ar5Jpmth4CJz4OqOLhaPyc5e5Ibk+PQ2JMOKkifmHO6T7bxnc1YIIdfzXqiIuCcQFu9wCzkm57o4TULobuMc/U6eWn3ALb+u1kk+P+CYdOtZKeGBe7a9YLKro6jQr4sXKs7+laxrD2Hh3mm4Nekam9AKlKbG8DfEQ/6eoseC7e03EXvy1LMBqs4+2KE5rGhad5srjDlyv/3xF8Lc+XdDH6e+fR1F1YTTCTC1cYz/4t6p7mJ4oOn7OAKtgVKk50PRafu6jPUF44scXs08Qu8bS0+895e7iVuy2eM93dHT636IyI81Bt62ccPn2UTmgNpNCK2zb/szksTZYh6e0gtdab8pdGMqgkxPmhk8vth/YuL1FLJOPp3OK37V5RZvfXSq8///UnvZQ47VuC+XiJhGHTpFDC8GjCb65DBJbr22vRerOFgVE8a+Yn/qfKQBI2MuPqK6eRuvaEDj/m8eCkZjbqcyvvDf1MIYZVKlMHbSL+AwQV4FuPvj/G92BTBa+JZRSCpdU7QrsFh8xo5hMRgMW0mL4SABeczVPNLc3d5DTkevnOQ3Q8kwRyM/JakGwQE6NHP3P6lKIAOCPtHhzvPTl23veX6iT7vjnwMyH4FPQXW4bOAmKmseEsHYhAX2DBQX2KVcyzKZAA3lrFfJGYDf3wYu4jPHQ+EkqXQMppMlnW0NZOYltvXN8zH1w/RLZYQiAVdGLtWnmfXA9YcA4i1tky/LG1rD06BN5Qx0wrjY4ONlLPwszazRdmhWDqShAM4KXROjvmmZVo5PegfIbNGRGVA5yQ/xjONb1mo8DT1kSVqFxoJPJ1DV9Ir2q69ZlulYunUSpqvdRYb4a81vFgQhfFTkQ17pcHaYRhc35y3CH5QdBTGdAaeXOZtGsJ1It1JqihApvdlDEE3MecH0nIExXPAA29rEF54V8vHhoyjrGQF+TPkOF3TyCR3lRI5tRY/BkoITUSNj5YJ8HA2XSSAdkI+w2K70dKn4jMM8idHSkdWMPEGpVGNifP5OmGITqLAZtXeHRAhQvJMtTmS+ZX8KmXxGwXZ41hyt9zdX5XwXwMyU6pGhafyN+fVCSOCpfNndsnA4H2DQH408By1zfdWAzTyr0hDzBHvfOe2drTKM5HrwxZSNbAZgCR1vO8EERGnVoFblOMFMigj33myjs9C23ZuzkENrsKnN8CGLWCK9xiRH5SJj91coIbPXN9KExrg6XogUDRb+mCQsLJ3+eWMjKe52VvAC8o5frJ8Ilu7lyIeV/egYcQU6l4DumUqx7BKm9hVPrXQvrifVo0Jpka8XnlhLOHO7pmXVZj6nAtnUbEbPBGFSaQs8R9/BjXOorrmv6ZBEyTKcVkcuQqZM8Cvwn9uYnpHqcgv+C8jXr3fKMqkjh5nQKChYP5ov1XTw9Uqw3TUAfVUcsPoiqFkmvwuyHRr5q4EI0dt2IKOUR5WnkRYVnrLLIUQSgw/FvZEnBp/PbpTmXCnkyoC8TD9v0OuAJpZWRw22DkBOgQ/YJktmsV5yHt2Q66Jy7u1Y9LklEdTigV1TfzMS5Jx+WQOXhKhVwl+24Q59y2RZq4CPt3+MKMtq4VLxzOqXqIIik3RfveiEsLsLziKxFVeueul7hfTj7aQhWCYBjQJDOI0QyyNFdJiJKAbxAKhXSN5ge4ktTkQdB1NP/YcA2FRlIiog7AhI/0ZadwasMVIRDTiNPjQSaywPJkgTwrTHO6z/Y06jRP80llrhirjLPPyZzmIMrv5zsQ9bPbbnPpUShs/9NYfbKZSiE88XqPTUHK59hDG7mmGnPPnSxFuLQoYhZ5ZwxeM71C0gqy8oChev4hx9aZBlmFF4+oGdudd/tApC2SyZ4CDhFGbLttqtyaMLd9nXnZaoLr1kQu4vzBvnvHFBp2YXL6svUWfuE6HbpkCiIMCyn5rW7JjpFmGmx0L0uZyF3tWT/4wARVcXSxFTy3tkP7KdNO/v0KBiToveeSDx5ivYhWYShq5YyrD35ezSeVUckYMJ4mylgRaXLnMeAXdc2dwPSiERT4K1M9P+HBErqoD1i4cYrD8vVtJJM6TKIdy4ntMxDaZdtL0P9AZlaapz8qzvymbZr/2fE3Ba892plBCdUXXE4gps9zL29n1yha0HSfYZOPegSlUdTlDUV4mqCYL2oR065t/6vWZIQFzAyt30FGCFHd1LIT9FC2bVpfqGWseJo8f0CSz/PkynJWYm1aHmYtWVRn5ohjrju7W6mwIk5DD5G1Q/KClERkNmjXvpVjgYF9cFuZRwPRbtzwAJodGbLqCCe3v84F3nbS/GZ0+NEduNaojYJDST4Ux4clo58G/iEEjsLpxi8EVra2Zrg3YE9GP/mm6o/PXhqnrRALhEBDXGCno78iMgm8hPUXaYA7wxH9K1np9wNSln2IyGYNklNqA1O1dfGxVwh8/UELHLG2pkzEKuKiDWJsmJozHAK5AuzwEt/ovv9ie+qB9WCMG4jXiMsoAcQD+yZwy7p5vJ+3SfQ3DSOZghvivM5U2cz21/rjm0tgI1xiZkjCFk4kRBd0gw1x09X6QX1b711nYuIJSDBJAsHSo0DE2S34n0GsmTg4pkKoui6sL+mH7Ss8+cEHKLMFxsSIW+zM/kS74zmj9TudMeWAXxxvUA41usDwkwJ6E/MJpH6qFe8ipKwiWxt/pqhXBkyoCQFTzPabj3+FhIDQr43WfFu15PZbR1pL7wEa0mvQnIMywoKABlwgoYbHDzYtqWhI32K0gbeHKwBJFSoimTeCkLHRfedMqApyucOj9m/HLuaKmkwmIjywEHFgekRQRdfwTI7yXXfBC6iNmt+hcYOmtv0VzIdXyFEX5vOpwHbvbnYQYD9hRF3zoiqu6AWJu5Y4tMiz3uOjTs8Mz6e6ObwG8X6cCcqEm7mgi6e5Lr7jSnScgEtYVyu8gn8gxUxGPr8V+b1jZtCkGlg5xfOCkh6nnPzS3j8op/NDczLAbTsluaWIr64EOOu80Xo7lnz7eMXlcl5x1OWNpdZU0MFTqtofB1nJJlQeGJUnPWd6TN546VcnZVYoMaVHds25kZ2JbaORwkY+1lfG6mwChWcFZiknBg3bRbs4RoWZn7+bm7H8f14x1Kn0cQIADZKcnTNe7ZJIavdypj1fmWpycP8T8fRc+YklpCB6Sn3w8Ragby4R+EiLMFYQ3ANbs/5S7USL40SyryYOk511fBf7SPISwG3GEwXdmqni3YCe1HkW90ab5BOhUu01/+nB5YVXbOrGDEvfzmBLWPzv8fW6hTbbzdqpWq7Ag2ml1If+nrPjGzwQCs+KHif/YjLrqTuAc4Gwt9BjFEuu3exS7c57hvZ4TGbSG70Z9PyOX0Kr5RfcgdKuE7ijEJ961rGWQbZGq0gYZ9rB6/y5IZU2u114R5H+89kcmr+1zLgm9XKfp4MTIqUPH8hHhCMzMVj31g+QNHxZbBp0Rejmvu1PcfTGbHvzwK7Akq0Y063RetFBnTUPyc/9+CeZ9tGVPv1K0umZmDdgiuAePx8ANGgFMYPYE4Hzjc5ZS/kP2ya+eAebgdD0oEbSQvpvdM4xt77tydtHFl+7XsftzBbx73b+AU6CsDi3VuFlBHNT4LFNCAacsJTfpshCioIR6F//tpE4C7ECLNgHAOeRI2FyHLmkITztQQzFd7gK+Liw5f1QDdMzL9NRrkFNmdz1ORo5nb1Q9F1RDztHegLzzwHUR9DldOT8fDa0KbaVQd4pMnbSH8btiYj7H/pwwx+CH27wSOHv6C6dJrfj9a0q5RacnzRPme4qW83iYf7c3y7x+uMMEU4/2FjgkjZ/KLt2b3Zem7BY+zwRn2LuUkOO5ObIPOtH2BdOcyol8X3KfSBoAdN3XXR/W4ZBjUkvpWLPnd+JqTG0+bDXk8upQzo31CPvvQ87BKrYgqKRkkJ+xtYiQp19iuYmIChKm/U8u8z1B7yzCxCeg4zopoVbyiWeQSwm7qV6Coelj61jany7BlA2fpDxM7NEJ723d2W1p6AY/mLmSUXxOmfIe27K2Lt9fFJ+YzU7WXbnWodbOZDnkHLTIEVQvkAQj80oe6YXl0xHptSXXjf8AoEycdwBCmAHVxDh8xncTx0Q4lp8LmIVUf0qDGyzMlFxPXUdHkMjKgeeBKI448EHqlCW5pAvh1c9/GLjKDb+8WaUf9l4zYqkps2fdcSThxWWZcISRoxmkxcz13eeUObM2RysL2lxZtDIDU9syVThifk6vc6TrumpM8DLwojSuBqggzozhErawa5jprWnUfGYXteexF8ftaMFLPHiXGhdzlYiltXLGmvmbgq7fbeM8ox5sWas2+9NJXkdFYbUrRExw9Pg56jcCZEE1W0f7UkY8baIlA9i2WIRLOFI10bj7bvhZNKODMCL5eNqYP7GYnP5yZk5WOjLBqA++MydzuPyweuViWKokoBEV0/dzNCI7GF6HPMULozkvWpqaDVoUDqqJHFubp+/jP+H7yFP0ZwZ0Cfy9R0VFuOqAl4duAHi0evX3y4HgzsTGVMMCdpfq/R5IFUf0K26kGVElO76gFmRMVbxZngrCuB1bd0VtHtnBG64xZbrHoQRJ50Ca5s1Qkikyd7HC0WwLYy8rhCCVYHZf8dvJmLWrvQIYl3PHh6YD91m1A0NlWyle8VjyVt775ysYalNIubu1yuwmal93zayaWGr6fbjnv/rko4QaBt8ap5iprMgw07ET8OULTo1oFdG1biCvX2c7jn2ffsOuKinOqSVXyrzDUqNQOCmKj57q/Q8XodJ32NrNBz4EEiuHEQTfRBBrIhsnnPAbK2EEIxoI/rH7969q8kPaBDy8aR9VF1DG1nUF6R1Si8eKOy/S37VjA+0AAY+Gbk+WxLOFkrp5ApEizKOznQTJ4bvfK2XHhdYn1qq74SHwkDTOk5cOYDil41cWwpwiDpL/XZALh9CoGP8HTzaNkKDtTc4Sy7NcwkwI6IQdQ8QMjNK+8B+Quri13PsOaJgDgUPsYQkiT2ozg9ab2JTovMS3P7fV7CpbayTmAwRoildnrZ1Vw0DrGz2T1lo+modarzjrA8LdSiNlDag9da5iTLSw602/F9Z+zP3bngFzQC4phTTY9IDiM/iZKlpeR4krI/c2JhnFuq3P1s2YOlUYsJsQu3idje+hSU+zZGgvFRMb4L6eyt91yGVgJ5f//ZBtl0F/cviaSS3v0/k3GSJ4yOslOZNT5CbBG28XTDn4yXuOGfW0L5bjQ36CN1mVPXDxJwBFQTTfBCElU7dmXy1fRkenPqvbOIpt8DhpjSlnc7fo8GtIvk/fnJvKPQdNOQD1baJMQFR86G6EixpkK13lNRI0R7N9KsqTDII6Z/fJnfus0+HEsnaosAVoclYZZGIC13522oCMgfMWaCBjFSJrRmdJQtLEfp3jfoJzZVcHGmwoUnJw4yG7C/HXxxUs7zwN+ZmYvlBWrClhzTgpACzmQiFBvz6RvRlLfFCa5Jg9Rc/e7Ueq21jJRi3BXHomkHZC2xQnSnzyCMWjnSS+nduKiFXvcujyXld4e80OQAt2NATppTcf1tG7vrMi0l9stgvriRlvX73CTqgFSIP/BUHco8yTfNEjAWdToH+j8AGpSQo0ujCCkadRkWgiJxwiwYwB8tbBQv6rNwtEGuQXich2lCAN35k+FNzJQjCvPUe09JCKrWyiyPaq6yVxkaCSxlrKSryhvRExeVb/vEDmbFF2197RakpH/+O+/HmWwoLbShDsAg7WGzuFe/yVNiKWPuJFu8QiX3hEzPOYu103reeLXNqrQ6mRNFszNxz0oT+VqmbPezIRZ/r4GXNaz8pt5QQ4wvdHWDAjOL1AQc4CmKEcuZifqolkJTmFPEB3Lom5rC2OXja6vPkgtaSmOOnq8Y+zvFvRZl/T3kjEamqsi1ekzKPUrK+mnQas1mm1npKrtSj6O4cSSYPp52/Wy6/mYDZ3FqWvc/mo1ezlwhbg0Juvy180x3HNV7E1fJhF51J6SEXZ6nxKWW/n5iqTZOz/C1EzvHiRuH2Gq/cTibnfAe5Vc6GaZS+785wcm04qplnAU/ozKJ0K+q33UX9X6m4MOPliCVUbOFJ6ZFKOJ+9aKECX+ruQdzYdwq6AptvuTxcBYoswC1qO0IHFe/dtzVleuDaOVNbuJSf0YqjBTAX/aguwA0eozUqPNW08aiQdc2EGgQNpb4ED7PJELycUau9ZKN3W3E0RmgdFEleIM9Xa9MZxjxKp2lC434ru6b70vHQxFzs2sERx41l7C9m01vYqrrx+W2gbuXoJwjRO0J8gJXLJBr8aQBNw7ZssGxrlQfOBeFo8AMH4B5LdiRyHQplEh2kHtJlSD+9ANTUHZaSVER+tQtZev+nWETrHQduQQhjLRCW5wijXf3ic/HBoyQW4MtCv3zYVmZHqxGMN6qEbPNn7jrsXrBYsprPbglVoucQO8b8/abSGI/x/4hFCvlP4QkljDP2vLP04VViQPfmdVrWCsTylU21zg7vffHqsc438V0uZB9c8jkxgTL11JGq8MahPsaEnpp6kLhqeu7rW14ijWMqfW3WcEPiYWGVgDTleHHHZY+B9EUuY+NxCAuDk83+C8Xa94BeFZ0pOeP5hmY7ENLn6RiXureJJO63RmqcyFM5V8IGKxPhgZ6uKSO2Q7KqF1prQVyYP1IVa8VTSjLoFlNDF/oTsC3Bd6XoFzhOVLBG0FhnqUTIVvnB7MK010FOifJjTAgrkOf4jeuZLW4h2zjc5yLuKan0J2XglvG2LsNvd77TWcVqC1p6g9JAh7b4opp+2dt995Ziq9Mqkuva6NwtHgZdBrYGEQZT9IA7kEMwLtIk1+8cUdIBKd66ZbsBKuOlnaztAorT//0CC8cqc1xiprBuW9gB5sNWhTvNaxCLpFzrCKXXQwiGy/3kKcbwkrDpLjdv7quIEWL2m+UXA1EVkNBeNPVYWOEQHR1J3aOaTmaCaoBtOzcaihppNjPF2Q1e/TYbrGEirCv8fwWNahIRl31Ky+ICPC8chzr06kYCcbEoLb1IkhdCylX5wXf3DdcffXn+RB24uJ0010KymAcVhZlSuBdwVRuLL5J2HaSI1peQdtl5OEltsaHwKXgbyfvz7J3S2AyIDjGxuIpiQYN4ujK1mR+DkUa2OR6cwd1fyW8lwXmMAWr7z6oFcyDJEHqGNmGij/+Z9lZlHLcNlyA1Zhf2ntxWLqTYWN5H3ZVTGwPqaitjG01ScQwhJ/S9uEFrOA2xbz00WVjYAxDVijRVotPfkiOiVWfOSfHQnbsUxHT7nrZ+tKUAnxUi+GyOXhFYJuTPBEcpq6125p0cGJ821qz9f20otG8r7RFfDJ3qttxNE+hwHj4ipTLpCrS1aL5uX7/RiFYLMQDMrD19JA/SgGoqEc8sCzMMm0OZXi9qTpZFpebUj7UXXFZ6k7hFKWthzKjHhB7sTBe1fTN1ZILHh9E0zO86x9QslXNPG7XlJoBW4DTgvJH8zuBnjIaEyFoPDixbbGiv7m9qd/9HuhLl+DQBLAigveQJKP0fN9GTb6UhHbBzQSrMVWahNUf3H3G52hTXOnF3BkB2t/SRzytMfnRVWnaXW6FfC1u/MoftiZEmgaQku3XKkEtsbSNgcnX4NU7KL8Mp7h0ORNLRSZ4bP/0M+JUwEDU+oP2uL7irFJwB8h8Ziv1OBebx2j2LSfDtVnd0oo/6X3A8kS68zbyOV2uexF5iPQu0ZXMXUQkvJjTv4z92ladj8cuvNqXQ2LIh4O7d/QMyLTR0D7abOEtOnczgLGKBhLpwDVaGSd5hdZZdjrYeQWs2Hr3rVtt96nam3eCyXm4Sqmbe103UP49BXUxm0OUk/16zOxagEyaKU127oAw8AgYjafKpiZaPgXKMLjmkbblit24UZD+JmLSB893Ik3ig+HbGv+p8nRqKccO90Lqe3rcIrcIGg3vQe2R4MLqbtn2rN6JWw45S4wqdpNfX6tzi3qjoFMWJgRSBf0RigCeYmYDw17V9r2u4Bg8Gt0HGNjyip1CJULqey5+KbSGLCLMLTGcyIkjXlRB9FO1gM7A2zF2Uc/YoNIpzXaRw1ZvnidoehZrtSHWDafNBOR+0H/1I6OgTh7TQJdOtbftfaRP/o4ed4QvOtztBD+35ZjyON07S+pworLn7xKAAscB8fIDpRFhwQIBQC+TA04XP5BukgBodUWhrWumCkNAcRx4O2BFqjE7+B5NFTdTJ8KyGvmAWvtSbRXeKxsosxHjWqeCPvI8jV4WiX4djc/Vg+MWlxE77T+5Z955pIQvTiy9OTuFwnmw45exTHD6Z/Y4v9vYKpuyk7h8wZ4Worll08wMOle+sigaeXHYRl7o3d3DYv2QxWYoiypbdKeo81ujnCORSB8w7Uu0MqkM3Yo+Skce+M6OcSAPZY39YNZnt+kEDgSFcvPgRUB0mTJbMbSc8i7eQOnWEc2AurH7lCGbC3/MbYkE8OrUOGWBv6e1MLQUxCjuKl8uWde5UIWZdvMdLG0Jw7jhPbO5L8BbXc4hexUhdh+5RRPzTn6hwBIRVxh00AFFBUR2K+DvqaWu+x8HgnpSE8q8kBsxp3Tfx1W8eKSrqiU7u9CC9iSkzggjDUEIvLWBmwboe/cpznfPDVoqncTWl8V8LUe/6qJWsya+O/qjNDab38urMkecDw+7g5dXxjzsEdheZh7F8/RZ/UDs5Yb3gwNxy40EMRcixI8qURFXffoaI2DArhYSuo+L617tUgXPienmcNB0cYfsAjyziUXD1AMTERjDunu3xjcSkAH+WwByp8MiiRR62vr+aWIvJYl6YKOaOcBZHxl7c0lkpVD47h5D6CK1EQnvjhIpZHKhGOKy04f+BZzVcfoTF5sEBofxaiJS+idEB4Ghp/2dStfs6+t0CFNotte/gK8K8rS4pBtGPtqOiTufOVUseJFcOXSGHaIZLk/22If4G+O1g6Xag8A0yMUTXkzGgrrfX83pC0/oqCLtOMIaX52DCX0VE16blykoaMOUyfoH7a/DZy/KgtmdUCOiA/BRQ69+eoZeZ1VscQaJpEC/LLhyfFGBHFcQ/GKoflJpqWHmEEOgJ35+hq+j9IS2lUWlqauPK13yQY5bWN5DLygJmCOlhRa1xUyf6f9axWo7Mw5rI7jEDvWfh/9aFWMQxGEZwiLbuhAxT2Z7L41g8cpMlnNWYDHfglgx7YHm8xF//6U2nSSjVPIho63xrNBxDvxdkVN84HF2vGiMLUMg+mSxtTBw0kEPWy1Egtui3o2fGs+weOmqDDiQVkjssmjXybzN82fFfizdrrroLM0WrIr0keXkStLooC12hgUmgLlWcA0yvMM8RdHR1fb6x30PoG8rXNt68dwM0fIuxX8I44ezR90ZWYl6ET7Evh6wT0oWdXcLrBYz/BWrjhS9AwpUdBcLO6/4l2udqZOtoGvMSQk2MbXp9hFAMfc5s0h45rbw1BU/aU1moLpfiEOJeOxbxWeUrSVxHJ+6Tn91af6XsPtBTvOpURtKlvrdz5wWc3F6GZpzBoPs/kNDWjH0XWy93s3yenqMesT6cIEnzA+K3ELwrjVS1CBrWfq3FqI40ZvX6DD/30YsHf64SS2xQsDfY8TnHLU0P3NQG43Y24JDLTonpkLP73G48hVsVzYlxN/iEOyQ3CH6/TK+vornwf2uqwVYGU6xSfdziSe9AnjLjSBAqUwvN0duTJPwG1VJFwmE9lJw0vakJafQqmYHnVCvFXCILhEcXAUSJy2cpZlbc8ve7SH1HC1DB/X76dYQahhXIr0tmGoUUX7h1T/HYLUVfVHS40g8L0kONi59Iw/NK61gNcnc41WR7C+ig4pJLot2a0hategIF2IYQYP+NFXtBhfGAsjbrByX4SxNUq3VlnuDoTH/Ixaw6Jz0umdIIbBdr/ZyJlBOUiqZu6DNnRCvdJholOCi31OgNFmlz4V97DYMRvutXnLdbg7gVD1soKnqNYE7G+yWxrLSnKn/RHz+B7G8Z1MFQHMIK1OY8nkT7b9Z++Z1pvObcp0NURxj3CoefG6X+194GFaJr20eY102pVhs7Uz4Fjn7Ghk+nbYru596cDYHnzFL2qGwXU8r02IClvvRDxCq02vANpG1iUV2xDgBn14Ko1xezMgk+op0P+fng4kVpYlcWcV0icfE9o/uYcAG5ac2ERL2UuzNBOu1XzyHmNzh4q4F51qScZ0uqVFWV4eoZqlfhXU116yXIxXz4c4OqOhtW4lB2nKBfZw/XY5YbQy+Ez+EG2xnr8I0hWx/oHvQYyXxdxyEGTEwwwPqUKRMHEMSPe2JMKHvafN8bBJThMLHEtn6GepbrtdvFmkDD4v6an0Luo34vNgcn1PWwumtcK5/DK7EomxkUhk7E7BDqN8v0Bfid7frOC3TSaczX/1xCSm+Lbnle6+Ehb+5lY7mR3yREzm0grG1f7KCyGNUo27WKZ5kGvq6Pj5Z4yvf0u6myvF4smrSO80bYxSlBwe6KmAdA1X6addCShduLDzeQCMhjvTg2iknJ75rJYRu1VR8PI7G+cUV+M5/ucVnUn27W9oUgBW6tWfeO3wx5T8tTKIm1SY8lOEMNgxYFW1jNkXaS6Wu0c2sVorw2TRl3cpTKJ6RZnD/G1RCzg3wVad3uu0BsrQk81zHlflaKt4pTkmNHMzCNtGS5iF38QJwGjcUJdesBbRltdaKP/AQOSq+YJqFPqeMr6ju+PKxRyG0s58lAm1yDoWaXkO1x34Z8JND98Vssa8LgGHWu0duIzyYxyVwOLIegzIK9fgFjtIjDXy3+sbheeumrAdRYKjl4IyZKyxQTh34DOTycj8TmZ+YU0VZmrWUKnbkyG9SfntfqlkyE6rIoZ909lU1XKH9zwW0Yug6FJTqqiyYntYB+AWvGy4OSAKqOhLUbp83c9/1iAAfub12dL2KpUb326a+D2JeY/o5uybXsM5p3g+6ldX3dIVI81Du1kEmzeWH+YpOqO59uVWMKPusABx79BEm+1Lq+uSd+7tAIBatqbBh39Wy+J2QpSip2y3q5IBdBpYCK8rdNSizHafEI/er/bZ4WbVcZgSfD5K7WayMeSfx6Mt1vwV89Ch1pK38upocEP4up94Xt3upivBrK044wzTcAXVwrKJQT+fAKA577l0UxO5zgcuTKPphfW+reCL17Sn2HbwqjKMgEzbTcZDvjdXrxCGP1DqVxh0fyWU4dEXJFM0IKi6Ck2V42QJaQ9OZvW7cVGr4TCtX0cXW01PyWC/CYcAeSpqOeKu6yIcf7tkc/YFC39EyGfTmEjmIHzprbclLZxongnva2chA6wvlYJtcKX7f7m1TIyff7u24M5ekwPPLY8jYQULxrahSZqADeuFopOPKdpWlyLxZNt1QZoMXaLxmFAuBsSHBOsffgNsd+LvojHig33n53cObvWAEIxJXuDzleEeu0p74yzk/3AtQp5EKtGygqdCioYYRL6SveywTim4kPuKSpZ2TSxzq+CRcq8GznLzRD4HQSavvgLnu8Iq71YChCULIw4n6BWQMvxJyOvMmqXbRdUP6uPGXcu9wKodhQQEQrg1cJaOBnVQfzD4F1YuI43CJjCYtdPeYdKkBfPJ8j/pkSpWyUt/Pv3GvFCttGfeaSkHNDJ3mrbjlGOG+YbVeatuGN/VR3kFS350dt3i3Gb8qKstSW1tqisVW3/t5WFgaXdKeePil1+8NIQHwUG1w0ck04R4jExzGmbKI0mPIPKib1JGIFlECjSlq6Kg5k59UqfoAADt4jFAnFfXFQABv3uguQEAeEk0OLHEZ/sCAAAAAARZWg==","execution_gas":{"min":14352,"max":20242,"mean":17064.486926450743}},"corpus_sha256":"7483623d551bd6334547b6b1fcd621b4d721dd2082011b6c113f083421396947","note":"isArb external of the new contract (TellMath unchanged), pyrevm"},"closed_loop":{"pass":true,"tolerance_bps":0.01,"seeds":[60000,60001,60002,60003,60004,60005,60006,60007],"callbacks":90802,"max_bps":[4.4848741040381945e-07,4.580118229124963e-07],"raw_shadow_max_bps":[458.6046548828768,4.580118229124963e-07],"rule_moves":7470,"bound_binds":52340,"peak_transaction_gas_pyrevm":181935,"guard_shifts":0,"shadow":"bundle replica_gate Shadow (on_grid=integer tellref.is_arb on handed values, chance from integer binades, exact starting fee) rebased on give.GivePolicy alpha=alpha2=0.35, soft=1, qm=frozen q_u1.json; shadow fb/fa set to contract fees after every call; contract fees drive the replica (replica2.run). Compared after engine clamp (replica2.clampf).","rule_moves_definition":"non-arb callbacks where, after the shadow call, cand (from fees in force) lies on the non-binding side of the shadow s2h, i.e. the pull fired; bound_binds: cand == s2h (bound set it)","raw_note":"raw_shadow_max_bps compares unclamped shadow output; differences above tolerance (if any) come from the unchanged 10% cap, as reported for lookup-u1","rows":[{"seed":60000,"n":11100,"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],"worst":{"callback":10111,"t":9153,"side":1,"contract":0.010898757615995309,"shadow":0.010898757572143758,"difference_bps":4.385155086272796e-07,"hit_chance":[false,0.000244140625]},"peak_transaction_gas":165728,"guard_shifts":0,"rule_moves":930,"bound_binds":6351},{"seed":60001,"n":10861,"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],"worst":{"callback":5620,"t":5131,"side":0,"contract":0.026604539919571957,"shadow":0.026604539875531685,"difference_bps":4.404027142967948e-07,"hit_chance":[true,0.00390625]},"peak_transaction_gas":169612,"guard_shifts":0,"rule_moves":870,"bound_binds":6303},{"seed":60002,"n":12004,"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],"worst":{"callback":6893,"t":5699,"side":1,"contract":0.010903177057457206,"shadow":0.010903177013830923,"difference_bps":4.3626283141584565e-07,"hit_chance":[false,0.00048828125]},"peak_transaction_gas":181935,"guard_shifts":0,"rule_moves":960,"bound_binds":7017},{"seed":60003,"n":12029,"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],"worst":{"callback":8557,"t":7117,"side":0,"contract":0.020247701664253107,"shadow":0.020247701620203395,"difference_bps":4.4049711794835744e-07,"hit_chance":[true,0.0078125]},"peak_transaction_gas":174763,"guard_shifts":0,"rule_moves":1017,"bound_binds":7039},{"seed":60004,"n":12385,"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],"worst":{"callback":10101,"t":8153,"side":0,"contract":0.026502365901987734,"shadow":0.02650236585771515,"difference_bps":4.427258559758229e-07,"hit_chance":[true,0.001953125]},"peak_transaction_gas":165864,"guard_shifts":0,"rule_moves":1103,"bound_binds":7367},{"seed":60005,"n":12407,"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],"worst":{"callback":8901,"t":7160,"side":1,"contract":0.020253309602169107,"shadow":0.02025330955639637,"difference_bps":4.5772736295690564e-07,"hit_chance":[false,0.0009765625]},"peak_transaction_gas":156977,"guard_shifts":0,"rule_moves":1112,"bound_binds":7191},{"seed":60006,"n":10826,"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],"worst":{"callback":8451,"t":7759,"side":1,"contract":0.009594560219248168,"shadow":0.009594560174239763,"difference_bps":4.500840498911085e-07,"hit_chance":[false,0.0009765625]},"peak_transaction_gas":179764,"guard_shifts":0,"rule_moves":814,"bound_binds":6199},{"seed":60007,"n":9190,"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],"worst":{"callback":2386,"t":2524,"side":0,"contract":0.014677323858138913,"shadow":0.014677323901233108,"difference_bps":4.309419487924515e-07,"hit_chance":[false,0.0078125]},"peak_transaction_gas":178189,"guard_shifts":0,"rule_moves":664,"bound_binds":4873}]},"sanity_rule_off":{"pass":true,"contract":"unchanged lookup-u1 (source sha256 69c361ef..., runtime 20977 B)","shadow_alpha":0.0,"seeds":[60000,60001,60002,60003,60004,60005,60006,60007],"callbacks":90448,"max_bps":[4.569313677427189e-07,4.580097065498556e-07],"raw_shadow_max_bps":[458.8627140291132,4.580097065498556e-07],"would_be_rule_moves":7643,"rows":[{"seed":60000,"n":11063,"max_bps":[4.4968112566934337e-07,4.4790744030409613e-07],"raw_shadow_max_bps":[4.4968112566934337e-07,4.4790744030409613e-07],"peak_transaction_gas":165871,"rule_moves":949},{"seed":60001,"n":10817,"max_bps":[4.3046758865794565e-07,4.294166021032164e-07],"raw_shadow_max_bps":[4.3046758865794565e-07,4.294166021032164e-07],"peak_transaction_gas":169134,"rule_moves":882},{"seed":60002,"n":11967,"max_bps":[4.2676737144198285e-07,4.5133272119635137e-07],"raw_shadow_max_bps":[4.2676737144198285e-07,4.5133272119635137e-07],"peak_transaction_gas":166774,"rule_moves":995},{"seed":60003,"n":11984,"max_bps":[4.4382204508752743e-07,4.4624122105818564e-07],"raw_shadow_max_bps":[4.4382204508752743e-07,4.4624122105818564e-07],"peak_transaction_gas":175082,"rule_moves":1045},{"seed":60004,"n":12336,"max_bps":[4.569313677427189e-07,4.39470751456561e-07],"raw_shadow_max_bps":[4.569313677427189e-07,4.39470751456561e-07],"peak_transaction_gas":165835,"rule_moves":1123},{"seed":60005,"n":12361,"max_bps":[4.4744924779238637e-07,4.5398134904117704e-07],"raw_shadow_max_bps":[4.4744924779238637e-07,4.5398134904117704e-07],"peak_transaction_gas":156838,"rule_moves":1142},{"seed":60006,"n":10771,"max_bps":[4.30921479055435e-07,4.166640123204335e-07],"raw_shadow_max_bps":[458.8627140291132,4.166640123204335e-07],"peak_transaction_gas":177455,"rule_moves":830},{"seed":60007,"n":9149,"max_bps":[4.461405550548747e-07,4.580097065498556e-07],"raw_shadow_max_bps":[4.461405550548747e-07,4.580097065498556e-07],"peak_transaction_gas":178128,"rule_moves":677}]},"discrimination_check":{"note":"new contract vs alpha=0 shadow on seed 60000 (expected to fail, shows gate 2 sees the rule)","n":11100,"max_bps":[18.875663436875612,39.27070817234946],"rms_bps":[0.5247176844676188,1.2545621537906206]},"validate":{"pass":true,"output":"Validating strategy...\nCompiling strategy...\nStrategy 'TellMinLookup' validated successfully!","how":"amm-match validate contracts/src/Strategy.sol in the amm-challenge checkout at 6b6921f8, imports in contracts/src/"},"runtime":{"pass":true,"bytes":21055,"limit":24576,"delta_vs_lookup_u1":78},"storage":{"pass":true,"declared_slots":32,"used_indices":[0,1,2,3,4,5],"storageLayout":"only AMMStrategyBase slots uint256[32]"},"no_assembly":{"pass":true,"token_count":0},"engine_gas":{"pass":true,"peak":207569,"limit":245000,"runs":8,"afterSwap_calls":88509,"failures":{"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0},"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":86927,"ok":86927,"max_ok_gas":22592,"sum_ok_gas":1961313952,"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":88509,"ok":88509,"max_ok_gas":207569,"sum_ok_gas":11562884181,"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}],"configs":"bundle engine.py: per i in 0..7 rng=np.random.default_rng(seed=i) draws retail_mean_size U(19,21), retail_arrival_rate U(0.6,1.0), gbm_sigma U(0.000882,0.001008) (MatchRunner._build_configs ranges and order), base fields n_steps 10000, price 100, x 100, y 10000, mu 0, dt 1, buy_prob 0.5, size_sigma 1.2; seed=14002592+i. rs.run_batch(Strategy bytecode, VanillaStrategy bytecode, configs, 8), unpatched wheel sha256 aedb6828.... One run, no score read."}},"seeds":{"replica_used":[60000,60001,60002,60003,60004,60005,60006,60007],"engine_used":[14002592,14002593,14002594,14002595,14002596,14002597,14002598,14002599],"engine_attempts":1,"replica_attempts":1,"holdout_used":[],"paired_used":[],"replica_extra":"seed 60000 also used for the discrimination check (alpha=0 shadow vs new contract)"},"code_encoding":"base64(zlib(utf-8 Strategy.sol))","code_zb64":"eNq9fWt33LiR6Pf5FUzOud5ui20RAJ+SWj5JNpudszObyWZ8Z5M5zhyQBKwe9cvdrYfn8d+3qlAAyX7YkrP3Sm6ZTaCAQqFQLxTB8/Por9/8639Pvpo1Zrk1ky9bs9zN7MxsLqKvv/z2i/VGv1voaLuaz9rZ7kP0j+RV+Uqml1/MFuvVZhf9/Luvv/7rbqN35t2H3+ut+TWym9Ui+u2r872CV9DEbzuwbze6NV8u7aoD+LIHwbXPAbvV/N60EZRFa0Ci+RDVH6Jv9Yf5ahON3u0Wze1y9u5mN44jvVhMtrNFlJZC6lyV0cZsjd40N+dbauMi+pO+225nehnZ2XxnNtFZ9H4R7XQ9N9to9H7xw60wk+zVj9vVchxj39aYaHM3N9HKQmN6/mr94V+2CHOvN9DMLhpt22hu7s08jtY3MMg42n5YNoCunet341fR7+bzqNkYoFxkAd/djeFBxB4FvWwZgwse1Svs+c+b2bvZUs89ds1qsYbhbKFpGP57GOh6PluaaNTc1bMm+j1/38bRX77+q4jq+aqOtjdaZnmkdFM0dVm+evVqfMndxpGabOerXbTdAbnjaKF3N4QKjrhZLe/NZjtbLYkGODu7zWwxkdEI526igAauGWivN15obAVjjWbLqIYByyxDulE3kgY1X61u79aTG6PbzWq1uIj+kAAFHZZNXpZl0VjEMnqYATrNylg7a2bAj9HDatNuAR54po1W0GO0Bto1ej6vdXMLPe5W0cIsVpsPjqA3BvvbGhhKG90uVzugD0y7YwfEymj4Xz/OttGDnt/Olu9wfh70puXxwkTZ2Wa7gwHqhYlgunc3C7ObNbG7AXTa0pjeze7N5E5c+MHdiWjUZ2I/C3nVqFwYN771/G4Lw3DMFVNvgCnMBQx1M7uHaV/fAecAnn+C5r9xbD/CroADfYtlWxZC5zW2SKjwotiu7jaNuYhudrv19uL8/B2gfle/Ag4675bLOS+W893GmHO/YqQSIpepEVmS60YLJRqtskYVpa1U0lbneyvqC8AaxtrsIj/kCCi6t/Cjn7+I4AfmiObZj/PNVBhRXh4t++o/5TSvlEgLUSZZVlVpppLK1b3br/x1nk6TR7v34yojEwD/bb9P3kbTaBGNAFjIchz9Et2HL1dX8De65JoCa27X/aqbE1UlVrU11LD66ipP4WLnavwSNUu8rCShYe+WzQ7WU/TO7P4T2Gc0jswjrJ8lzfQG5AssuM2sBYYwu7vNcjvawooDpnQ8PY5+jqCFG9PcAvv/7OpEv/3WzOdfz5ZfEeP99vLX6NdhZ4u7+YiJpWO+qMdI7F7PvkNXPj7WkX5Zn785bL6d3c/+l9p/c14ftq9r3/rjZzT6eJW8njxePB6228xn69By/L8xgMcr/VpfjB6v69f1xeP4sMv58olDiX4adkDN4M/GvL+bbQz0kYDQ5cq3l6H84WY2h9Kr6M3458eXU3l5O5lc/rpffD2VL7HCOVY4O+tV4BY/TGlWHydv4sezN11PH+QUuelD/KG793764TL6Cf6ERkCE+nEsp+pyeTWV1eXybCrHP78n+PfxBzm+/Ols+v582eucyShf/nR2+xLWvmvxgIrmcf1ZHNEN0iKFJikSgftMLjvSXuUJFFzu0+R2ioRLXj+eAWrn8uJxQv+PzxFTX2kzfZz0cO+BbxzpNvHmsGmwHJbTPM9kCT2fUTUZF1me9L6WKX7ZyPEh+KptuW2lZJ72gESS9JukER9pYOumG9E4g8ZivJjARa8m0+kWKbB96eBGLINHAgSiv74djy+25x+pMLn1GBzMLFgDu/+FqZ0mvWm9C5zoEXgcvySV40t+mi7D9WYqLvuN/XR9DXIcFtvPcDWFy8vN1dU0T2Ftu9I89YVwE8uU7C8nqqOkrwOFWEfkAV7kofGcysoD8NC967zrO3TtepahgPqjjnqN4ar0w5xNk8vZVXE5Ozsbb6ajzdnyfDM+lwfTzRTbXEH5680F1joxdevWftbMAcIg4B/H1yLpr0a+cGwJ632CHPwYPwKS41iCWZLLUhZproDDE5kknbAFVf/vGjwLMDwAL0BhudosyICezSO9Xm9Wj7MFlV1GZgPsMgZh+M0NCLuX2/eb3QgW2ES82lMVvcF5BQH+0RYcoc/jUi9laeiXQIMP12U3fBDur99cMO2Tw+UKQjWTYJ9VOZhEZYUk6OosSRQsQUKfFUmiSpXkaZoqMKuxWq80V4WqcikTlSmRZ8mpVpSqgO/zPClKbI1++u0IIZOikpVIqwIsUa5wrCUphRQqq3KRV5USh00BMjLJy7yAHlWR7zflKT8tAZNSpUWelkqAYOzVcZKwJcSKLMvzQgCTlCgWsa1+cQ6UEUWRAfJJsd9XryLgUyaFQuSqNHdo9xuSMA95KtOyKKq8SD/SEpJcqRw+BeDvCdCrUFRgfOeZkJkAY7f8SFNpmqQCmstKmRaZPEEqZHqCITjHsUeXT0wrbRm3IJv7XDjBFi7wz4l1v9vAlV8cC7847v3FfOWvbmafMHn+7msudqGZ3Wkxf98T86P56mq6ePFicTW9mfWXTryIj6yfbTslTXMPS4/NPqcA56vJIt624Xbtbt/M+PZ+Q2s9RbmnA8C6pht1r+rfpyg96nhdjyd4peO1Hg90zN+vhMl5KKO/x4ur+er1fHVxM4vvz9PDTjcOqbWerOv4773yxW66IE2/bdHIuN/RzN/Hb84IAL9Q5yRLCSEAn3ijhMTQ/e4qGQNgMpxtkKkT+OnFG5yXG40+FmWII5HEIi+i348voixyEYodMCE4pyFQQS5PNNqsHmJw5eZ3iyV41hxMGce+d729jbboF62Wc7A261kLHtd6BRSJFrPNZrV5Ff2hCxNskVQij0bivIzq9XYM8NE3b/7670pGs8XCtDNwSreAHvCnJhxsNGrOlCxy8PMwooBxhle+88MABNSneEy0q6GTXivcCIUVYqocJYApOvYEQBGTzXaHXfea3Y5jHzQ5CGoQFvWHHQV/2NX9yzdfTW/M428zcNDTBvxjkQiNAiBLUGak8LeBW6nQElz5PLG2gL6qxtoarpsUPvC9La01Ej4FfKDMoL8M3y2U2ww+OXygzEI9W8FHw6eGD9S1rWUAa0n0sCBJFPWPmCQJCnAUrIhTBR9EsYZPAx8DIAAjoK6AMgHfwfpNFLShGgaHslI6MGgrsyaRoqQWSFxnmbsooA5I6KSAkgJgS7R6ERbaLVvXNYj4pIJ7FcBUgFcFgBXUraBcA84avmvoSNeEvqARKUAD1B7gXwESdQLjBgRrxBXKHA7Qbo79Ftx34nAuoZ8S7qHWLaG8xDLLuAjGRzFOiA/UqzTjBO1XUFdDPY3jhzoa2tM54wl1ddXhqwFG4zgApob6NdStobyGe40O46mA7ha4QqASBt7IRC4KUYpKaFGLRrRgFFvQcVKmEs2LAlREJYE4MOpUNElLM8zjTqHdHOmrmNb98WoeM0CUpjduPwc92uNYaZx+jP3xhbkgjPfxNWSLKJkS6/v5gNoFFBQt41MxLh6PPu0zxgXqVPUe3dUTaG4cOxPNoV4NdWq4X9tA8/oovZnaJ2itYF30R1Q77j6gbJ+qmRsBUbFkDNse9bBvTzmgG3BwA3OZQh8SavhfnM0M7oFpkUj+Ffi3wHkHQxJ+Ff3idwGCouH7hb+PsqHQbcmcUnJrSQKCBBa6pfsl/GbYB4oXLCubcL8AqaILoBjwm5YtYVnBNRAla4HcLWBe2RTwyuBbJfIU7oIFCrVhggq4XySNzJWBaZRUWxN54L7I0hRnAu7yfeBqActVKCNQItmkobLaGiJspgpcM1RioX5hMrqvAC+Dawn+1vBbtrg2clg9gB/dNdQ+ThPyQC41ymNoA/utQVCQSJMC5gOFYEu/0D5yZWJMJivkHGqF2sHqIJFhVmEmEaKhfhWuQhDCymqglyYsa/i/IYobEPKNFTxeQzDApXAPFoPMQZKXbaFSoJJJnvuDfSiYl5K5gbkIVh1KTJgJmt+Uy1AiI5cYwKOAX+QjKocZdfct8UpBv2VbGeSTAigsSPaizK9akMEg1eA+rimWyKbNhaQV6u4jD8GMGWwf5ipF/qmAYgr6qIxhvFCL4H38vwBeaggj4ClYubD2gMbSasAV+8b7stBwH3iNMCmRc9wI0gr5B7DB2QC+hF9cCRIsbMTc0ozjjJQ84obo1AA+Nd/HktQSXwHvSBqVpjGjxoP5tTnxoJtxvo/sapHXCqaDJupltJpyUVOvNeFDEKilRCoRo4rbx/uNJHUFNGhpVK4P1MTIfCmsAkUyP6cymKcatL7KYf2BlICVnlmkrWiLZ/OPSHJoPSe+SZzsSbzW9VcoC8M3ulbOBmiFkz8MLUML4rAN/i7JcgHeAsOlcTJtD1oMMCFI6lOCPAKKA08YEKRtXhAeYiA3O3iHtfsLLcP81WlFsBIsqxpoJ5DPetCygyVbShA88l+uKoVUNhb71KTaHLSH7FpxsNhrBpZZLURegrXmpHlB0iy1LVtmknt1n4R7JIxNkbQqTZVNB7oBZHhLnLXXt+xGDFjWGcoasCCTIlDYtZA2FfFZ156fOw9t01q4uynNrez1oVCfJhXPlOzNnaNZnaXQo8PYS6NufIpEbdPrW/ZmWaYGeTHIKsW4+RZSVB0Jzp6lkh601SnpK1rZKuA96Bv1duIgO8wlUlyBTcWS8FTfimIpbZhx3zpME63tY9Aq0C3NNY07681YB13uQad97LC1XFLfe9DCkB4sgwxXA5oHqqFlLhStbz9nQCGw01ACOymfOUm8B001U7IJoKYKvYO8JJnp5J+D7vetQt+Zwr5Lok9C5SlAVD1p6/veHzf+Zij5hCaquzZz1kBlGHV/vof9g3WBclag+4KSqiRNWQXd5mAd7pLboF5pXWv0rUB248hBe8B6bWxDc5Uz3k6HOGgH4zGRpqnBY0tbkZJR2JKPBdKDIPNAca+VsVbGVxnqjQbsNvBsShhDBfIDZBVAY52CfMo+zVPS4g4WdF+WZXkDXqKqTAr2ElghMI4K5E1O1Mt45BlxW046ELQn6lhZqlyRGYV2dl6SVhaoddDSsSXV7+D9FUhGsKgwgKVF4zxV4I4W4NBvBYsCZKdEn5XGljvNSD2jxVigVgaru1RoY4LfBTYo84NtuW+QvtaQhZnR3CEFkG41XAG6BI02BZgK4CTXztNFj5gojle1rcnWyBm+oA9oA7D8S1k4aEReFcSFCeo1kKEG+7UVyaYijLig+UJrFzS+NLISHIYFzQA42Yr610esNE87tGOBWgwtn6ilK8ahdLYyQZdPhvYjQFvDCpyz50G7EWiy6zy0eKadgZaQBujs+dAWeQVkJaznBj2052EOHJCiPQd8nqJv9xk2dgJ+ALhM2Df53s/+ASuNMAcqiM+CB+0BFqLmCM/z4VvScSr5zB8QhLZM/rkftIhIlqY9K/FjtmLPZkxUY0jSStZEyRGLb//Ddgb0KFvtbCe+5y1NGWygfhupgwK4Cj1VofMi2EOdlcga0lmXKDFcCcgNmCvgtErgmgXLXTk7VQ0s3c7GECQpBckqkA0KhCG2Su2iJyV79oZ0ffU8PdQMivqsZSMbK9n2SFk/MPV6FqDgsoRwT8hH0qKmEaQcb1A9S7MM/buxp2EOKsA2I0lbk37oSkmjkqVZU/zR01hRHE+SJy6BPijlM+5VEXTK40trQ7ozYc3svB+qixFQVZNXmodxOh0uvP1FYYbGjc7bUaw101SaknWxs3uyjpquHYwaypx5wWHutD3wAnl5JeuwlCntPQmyQjDUKhuceRqrsypyCoVWA2tRMbTs2Yy0qSUl+WSeQ5zdg/KzYrsp43nKehYPtYYRKgzBso/moCuyEhqC9vpbhXF73kDogqhWBB6VpDMK8kY7e6+PefdJ05owL8hCd7QkC4H93yJYTekAmqy1JFXo61bEbYJ5APGsej74PnQaMM9kSzNmiH+It2l+SvauD/tWYRUBNFg7ICKSmufSzZjTtiVDZ8FCTwf2pqLZSaSmvlOydJIAXQ2sxZTGlDK/psQ1NUb4pYvGCMZesLVRMq8UifeqsrBCceZzW5PNVFNEACwfkCO4Hgu2Mv18eyu78lxMtKzA0oSZSnMQ7shtaCVTxIRgSu4/o57dTKD1pOlTZEUm2gpsZC1oLNArWsiudwdfsrVXEryzu5vESJA2mbQZ7nS0mNwoac4r7N02AbrgyGTBmLt4DyCswFq0rTHQU0l7H7VAvxD1Sk7WV+5jVzxu9w39AasyqVVuRYu7B43AmS5xneL+CVm7IlDM2+opcRBwFpqJErdoSiPQN7A1yTbpPG7k2taAZWYJrltnzuNAe62RrQRb1qIeNBQdwC2gHOU8ehusm/3ceWhnsQnAO5MuboDWZYZaFPE+otHr4N3UtPYtWj2gVQq2ZT9taTrPyskahK6llfLJlkcZuAUj7hhNr6W05lmWJslYgkY7F62f5/y0xPuWoFthn9O31Y7PaNwVBtvts+w9cEksemJgI2fgwxWfY2kBdIq7ECL9LCvLWI0JBUIm8jPtNLBUwetsP9vOMyQ3PttK1M0/a2m2IEFBLtQsz4YxEbEXYxxG/0CW1VDPtrSfoHpyXg3akMEylT14sIIajlQmlm0SFaJhXYRCDGNTpAsorponJAsLilSl4Vf1tAdBEE9Lt29jC+tsY5ARGJ0kTzQd6IuU5YmLMbZku0nQPJr2aFzkAixd/GYr9rCz8HG+s4uEGJHbpsU+Sm7RaaOSMCswVsq95txKRhIFNRSITVsYrN2QjvRWBEDTbk5rG7bxfIwgo10N2t02DcVNG6K775eh0dIEa1KgPGW7IQ+YI40K0ktErd6sZKRpK9wOEmhFl4yzG0HuNJ2pKfol2S9QvBed8f+0H4Qbz7Zk69bHlYB/Wi1cDkDGNrnzIjK2waFv3CkUpAE4hpQx1tqmITaWsbWQ9bgRSyvcYxBot6DckgE+ZX7MyG7ws5QRt2VEIfxf5xaDrmiDczzaz7hkuzcP0B4Dv7cI+GFMU9LuKPkqqhdFTLjfPFjJnoMFt1vnzj5vEq9XmFfIckzZxi0C76aBAilB42Yq7s1ynJ5bz9juc5bOkA8Vx5YBOquo74p0qOV16/rOmJeLgHnOXJIlbj+zVpYMTOcjWlp53lJOgrXhey8YB0f1MmnJjakopkm425pteI7h9ey1jKng+UmDcrEUM66sj4LjCvZx1TxEqBxMyXrc2WK4K4nQjpsFP5HhJKS3UzC2IYh2uOPr7RhNVgDtP3H8QpDvaEAaZGz/ujUOpbZN3L6j2/Uiiw932o22Vmm3B23R3iydn0wUy6lPjJDVxD9IU5gf2im0tsnoP+Xsecx7EWT/lBjZJE2fs52M9G/J6kEsFWjAOs2AwYFWqhElWFng01uN8k8gKX1EsuKIIO4uCLfXiBEmUalGVRqszAxgbC4KQ+oJ5YRAezNjKxcpCmOzGBdvyCpUoEONsqrm2Avu0UnruJ2sXLRe2bdydi5wpygo4oB2bCuLNFVZiCy6CJgkGxfGgNqZ9gkLltUF7oqRJ0ORYlmmuWSrB/eAyFbGjICiZ1NI6h2hLVEQjEycGZEBecHeZFvCeVSn7DQfz5W0p46z1sgUXNjm6ZYmTKebezSeCqFSK55qO9DKAikA1jzMZymMMNC3fvLGJ9KqIcormLtWSmVF9SxDoxJIe9CZwkiVymdGNVsBMkfgjqaSmWqfF1lswbqEsQIFwM6slE6ebS0azF/QiZa1+kxb0aL7VknzuVFJA76BaJL0c+08A/6crT7fTiwpP+if+qF4/2DXPMQuQc6rYGMmw9ikLflef+fb77W3XMKzEvaTUWpn3JJii9F9khxkpakZTvV2v9E0KYxpS8ZEdXvMtoS1VmIK4RAuEabAFPOE89YYF4KzaYrRkozK0lBGsgK4UDlpDkJSdm1iJmOmyQIjuKoKZcJimlQZvP6k8rIJ9WOZyhAtK10OmbOgbKVy3s1zEQbKynKWsdAkT/wOIYwvN9wm+mNNaJHKMF6G+l8kHGUqg85MlGuT0thC1CR3Y1ButlqQqCL47BnJ0US1pAFqjmdkgzaF258n7ZezZU3RCutkT0rRgJJihxnHjlqXm0m7ajVmIVBkLSXp33KMNaEosrS5dXuCFDkjmmNZdWQv5nQ+iD21nk3zsZ0XY+gRp/xEXB+tB3UiYp/YEHMMkUuPjfNERYiGBq6nMWeeJ3wshu7qDH2KhuGkyzqhEpUh56i2cvPO8XSCUqDV0U5rk6TL7kD+LVVDPFBwVNqXQZ9S8f42lmWhP4oLKsXWDVg9OmWNRT6CpIw6jm+pyvEg2djCZdX63XFVdfF+3IlQIV8Aysj1EGQ7gHXDLbp9PlW42BRm49nEhOgtwRV+hVEebW8dFS527fKiOHLa7bQrJAzu6XL9Mmh/GLuidU7WYBWib44LBe3jJ5RjlAfInMtkkIVZL3JIdhnZ9xVF+Sq2cHOOauZuP5/2pmuy2/MQcc3JJzEEK0xDvqejmLO1kyPxoJo85pOMnRQnd/WK05EOMM0aZ82FTBXR39eSDVnRspd3FFYF4s67F2KYW0Sx2qTbzaAIAP9AWc5lOftbwAMSbdsKTLmWywofwxYZ7SlUtmzrUObaNZQfUmJctXX7ID72X3BGZYEeFBl63gdAyrcc64dZq4tQVtAsNLxzgvoh5zJN5d3+Qglq08U2CuY/5FHPE4JygNLESXhNUJplqyzb0GbZy8SjssKwb9gQRBX244EWheSxK8JQ99aKe8RIcVS15A+XkXXv9gr60XrarSFVWpHlX/T2EahM4thrsqzzXhnFTMmCdLIw51L/qa3m6LqwTdA5nBHftqBkS4O54cKUogmlMB4N9JYtOHAt+U6G7P2CvKSjtrKpYFXWSXVSPzgf59h6AI13OuaJw2zRU3FRGtnTAf6vEi761I/UkUZoMSwqaQX39lHZf+WdFILkLBrwd2tjjJdmddg/QT8/AS1ZiZq1og7xLkXZIg14eplxMsSXpWR7aYrT1Jjsbt1enMv6wbKGZqVqU9qrLxlOUbTN7bSmTcsYlxzJES7ehZyAdijG9RnO70/TFeayW03RAdr3Ig3p6ED57hR5Yjgqy51+wsxzkiNMF86joczBiuQj7fikrG1zPxpcR0AF5ABFMTcvM+BbUVGbijNGJecVUeQiK2kPO3ORCfaOc4dZpig2LgkHxbaL42+VYp4O9tjQbJY8UvKP0QYzGUoM2+3LlCTLlSDpb9CDVBRHcToH7TwhKadHZi34/DKzbhc0J9mVk8SuaM86oYhAyXGI5oT/hvqpFidzJ8RJt89o0X7M+yjJXtjbxREn1134yU3wGob1xck2YM6b4sAb2avJWb6iZ181VR9qABOsREHZUi5fFjO64V9eBN9GHMFHUKwWpTTYwgIz5TEeJLOG9z/FAZRw2VxSi4KsAdpzc/kLmToOhdhjSjTKOtLBST9DOZX87JIYZBrj7od/6kAMcqLpQ8Zhsd8X4KFlaZuQRzC0gAVFcop9mxesn4LXuBxIQw8lmPcGoxIuW1XuZT4HKMojN/0x2VY0rLnVXl8BDp+jEknIzMGWa9b3+V72SC93h/7LGUr14s8fhULNIvpR6ixkT+5D9XZpUPsJl0PrMjXyEFXOj4yLR2Fwd50kG8k6GbJf+lByL4ddYLSSdo+k09O2CXs4Rch3yHkXx60DIcDPxK0YqXh/BuN9YgClepmyBT1QJqVu6UE/xI97klazF1GGHRIno8G+AH8DrHnrMrALZ/uRhyQo59HTJeW+iLoCn7RpKXKK+941rRtpeV+UIolZLz+BY+n0nFSD428wdlu7rHT/lCHHKPKgcSXRMxX4WyMUPrGYtKz9Wvr0BFiI2CuKNdeiFimvuo/9ZGHeHRT6+tUTok8pQ+WU91k9ESrh3STKWRYY63tC/h3NgouqV/TcZ/q0rD3awXFWWYO5ik/EMOG9GxxXRtHI5+zTZtTXs6DIV8dZVkn+7GhZLtTzd4aNFcXnxAjtM8e1N4suq0Uc1aniuHbOm7Czm3wkn3HYimxyH2Ebyv/esy97+ZG4BqsiaKi+1EvY4kx4rbaYQ81yCPyCvAi6MshYp/VJg1OeKa4t4fb9ND3nU2eGofrPyiTuqWPcNxOFQPmacx6Nw1dl2QGUcLshwHMyjLnDhcaTpqwru0xNZ2UCf1sd9vP7dIJapJd1eKLG76vnwu8zd3mjsgclgq7snvZIRc62rxz0FX7Bb6dHOXtwbscxS8peRtxehipC0f5a9xRGQRKpD9XpPH5ag/5TZCOKkCuQsb06xLDXIz3JXbBdL4PuSdkGGPbV9Wgpzth/0qMP1fU1/M2dNuedVM7m45yv4RMhvXFZRdpcce6sDbo85edUJccv+s9H4R4aRkml0yi8A+R3fGXQRF1GJPgHosGMK+F37v1T8Yr76nIZVXjKvFYYl8Ln7nLhvCrDT9+k7LtknN3YPSPViFZi/huOpaEcVcNWQM1YFj0N6+YAo32Z1LBuUEPkvHqtGxs4rynFltMwD97qsJgFn6SYtibYAmB57mVEETIrspCvgBlNGB0A3ARla1AeWe3lMUXZDO/ue/qj7ZDJT0vszoJLSc5IYUT1hEz3Loc2JahGVE/aifLPv+SwwlN8mvrTUMEzpqwN3PkS1VO0Ock4l4FZumcInprBTz4HxnTwefnkWVlomEOG0d5n7azhrgI+4Z60z9+PQyvlM/K8VPIZu2+cb/J5O3452bQty0PxhGcHQL5kDXs0yRH5lRx5coCgGsU2oBxolX72V7KnsWGtVVUvduOzylm78AkdQYMGbW5yeiqTIgH9XDMvqcnKI91a9yUv+cuGnxTwz0S63Oic/PHKVuRni94YnL9suK+Qf03POOfow7JHoQZZcQr1snDxpe7ZhZS9nNRbET36UD3M6sZdbo5ld5RowhOsMuyD+u8pRn2Es0x6mdY2Y3lNbYQnohXjlNLmhQ3nhUh3BkKPJglbkQOdgqecoNwLI3Njl72nTVRvzpiGmG+e2J5lJoMF0dkb/vkKX5pKh6EMNhJHPXvyXfXo7ngnxRgS6i/y8szgCVZ/BkTW68VBZWQDKOtGhvExFewHr79SfqJFBXpltC/YMBXcU4s+O6lg7VPsZTS6MwYSyt1BHgZ9Z8vg+bpsIu+BJSGjrSSrh56KJfxaiqBaxspFPcqgiTKOkwnQ5ph9DbWJGpRHSDFFGWKnWdB/pLnR45W5wf1VeqrTx/zgW+5zZ8IJGc5/Vphxgzm4VN/vu6A/gP5zRZ56ydmATXjmJadnRhGq8llluFptiKRTzNjNtM+TZ+4XuVTel7N6KFMx54cz3yhzkvYN8LnEFowU9Uk9SU+zUhS3IC4ArSc+LX0l0572RfCpJNDM9ZOeMmRPg+18+0kM6WlLyi3lXc6kELl4gq60Ll6VshVYSSnU03QrPSXBzyBL8fRnCSnVUCV0zELyLA3b1HgkH0WUnqftGnz67Pm+r61E8jnPGdr6c/Wy31cI50QQWxftYYQSdF1fs/BuvrVNzXI76WW7mLryd/1+v8wEPebr69JZWA2eilOZri7G9PEYIKvLJtQ1VmfuHBpZ+pilsmnmnvqAVVFkHJsuVEGzhfsMCfrMlBmXS6dNMc/R0jY6RuNSgsXV0lqD0VfjIvrO7m9EwpoK9zfSFk+GQe0GMgItcVztVgvr9t0wt/oIF7Qnn1itKLKthlH2MuFn+ZJ+VDnP+Dk2/5Qi6abGefYVPWnNdE9kzTup9ESPs2K1kLWTB6WLVNkMxFBuKs3ZwnQyFZkWqA0q/+wcHu/kJDIMuHQZLspUmWRKGndWmGMX8rrcXZkjJTB1wOWSuuxUsidISmh6ms7VzSjW6DiQ8ypFQtn79Py30f6UGMyfoNPTFOXIOOoWfI7ZfjSusAfxrbKpTUlPF4g6KQdRmiQDH0TQeNjvJtmeoWRrSTLlPovKmtalmLhsCcVPmxPRLZ4a4LJpMyVq4KGGZCme60nnjiiTAcZYklB2Bz7lowzyHtBIk/4gmlWWNCD6d9o9kY5JtP6sF0xOczt5Tchnoec3S3/aS0Gz7/agZUbtkp6tOPOoprNtEpu6k1yIwpiD6qJOmGssOVMJM2Q08Zu07nlPCoSo6tDjMJayh4/skxX2t+4YxO1uc9fsor98G/3sD9Cd33ZHBifdpeguZbhsurrLeXe56S6bcLmy1p8luW303FzuHbf5fhfO8N2dPKIcEOWXIOzG0c9fzOxoV0+nyTjaTf/y7Sh5JC6Mk0c6eC7jQ9mkS4Sjo8UqPtRNuEPtCj6CjA7aS9zBe9QAZfbSYWOaj0lTfKwbHu9WQA2s1YTHKf1hKdBuLGOZxkLEsKTjQ29/fPmFmW9NxLiLAe7K4y/5QLfEHYdGh+zVfFRawYfSSXcoH42jcIf1ueNSoQE60a1k1HM+8S3lU/eEOw2OToVr+HS+kk/rQ4IpTwA8zQsXEp25l7n9cTyLj87kazyBoDasOi0rfFBK4qNaqUTZY4URLZo6GByAtYCmiNs+kbTJayl9JIlVnKpYJTE+5xUfRkf2CCYPCObHPJhsyyfjtUw4vUe81J3wh55iqg8mvU89TznBFNtnAjx07mCUmC6fxGksy1ioOBMi+/TI1HFWqPkcv4JZWvEoRW+UNbN24c4HxHMCM8EN0AF+0uU14sF+3cTtDdSzieqziCcLplTQEYDlqen2k31sqmuaZpXHMo/zvFTxEXNqjxrpUWoQ59WMdMqnG2Z7874357jAKTOV57g/b37W6NgWQlIUgFxcZVV1fMbo9Ni9w91v+4IpDkeRn5Jid/4I7XAAsH/Pwmg0uxL5692rTXIBl0ripbiAP3I8vr4eifzlaPZ/RD4ej1/kWaayy1/3cMG3wPzXUXQeP4FOpPsIhbN378Ipx9Pdq+VmIi7dqxZuZhN9LcZBbyymI312M8Oz1mEGgSS7eDG+mj6O9XRxSRMLLSxY6h/D+g//77Bunoj1aLR71dwCncuXC6CwzLInj2BjmtWmHbnjbHkUdXxsRPNwtQlXzSdOkA6nTt8vPzrcFYwWFO3ZaP4SJ+tsM345wvGfid5pyvdTPkWazhImQvJ/5aj+fvV2PP7l4OaZgNtXV+XgHQv9c/eX0+RyedVcLs/OxvdnvR7KXiPybPl20ML9cnp/dqpuQ3XvX8KYnMVwv+yuj07C3GzWhy9s8Rf2UyfaHyxHTYdO1xMd2/HhSrvb2AHL7s29Pzj7IVzJMN+3/t6u44sfF0/H72DiZ+EdEOuH8zd04vXsWolqPJvCX2942en6YeLJPX755vKgnR+7diS38+M1YPbj9MeFb+XddC19Kz8ebUXzatNXwHzziXzxAlfW/JYlmAZ29AIMFtjtWJ+dHTaymTpZtotn487inDpRsYt/PDg//Pvyraf+/XEmnQOTzq/k5RyYtH9/s3qAEvgLZfAXSkf3389fpmfw5aV8G/e+4EKY+sUe72J9No83WBQ3hwjJgNB8cznffJ+89QujRw4dSIFVxLEqQ4odnps+X3kgkrt05DkXtcMSbGcC9Q/aaLo2OiHYsBD0rTXtYZ1R43DDepPmsOU+EfDo8+2np6Zj7x6Cd9ORfw/L2Xw8IWoC852PiGj8nRH9Pg19vr8cNNbv8ifo8qer9PIn6PL99z+9nZL4uIcrmPCfztK38d348ggqvdaXq9ZsT/dwyFfDofXn0IbxzZCdaJZwfJv28hTMY+JQfg9Dj98DoeONDXP1KHyhwELlCg+a6qPbrHAW4C+gC3+PottnmQ7lH8+gPk0/otwcQXnwkg9CDIywRxE3gBRR8Xu3vKCdt9PldfJ6eew1If7n1y9Of3Nc9v2c55P+uB6ASu4CKGXHca9E+BJFJe96XR68xIlbpU6gRb6CFna78XG19CDngcZffdZrVTz0f0y/QvsQbGJrC/jk8Mngk8JH4gHT8GngA2UGvrdlYRsDHyjHB6gqKCsMhmIuRl+hdZk8sn2co40Mn5Sf1MLIGz1tX7iT8ul8GfjgeYg1fHSBOTPWlthQWlJDJQDlqTtUUDXwkfgYQYkp9IkAB1NAmcBG4XuCgRhMxUZDHp3P8gKs8n/iB7Nfx+NTr/kZ/QcL0q9eiAyllXud3nhCLzU4eCUEvwnz3Nzr+Xo1j35Yr7bSvc8Bvv6wmLX/so2+k19Fo3ebWQszNtvRSxIyeidDHH33u3/Fd0TiixpXd7u91wlBU8Gs+9w3Qd1fTSciH7xXiG7ju5Z6d9PymHYGSd8FdsCkTcv9t6yBlTxfDczkdjqar9BQvr4WaBQgSy9aWOxX0/sxNLhoOwu5PXzrmp4iAEiHy+G8kLw4G91PNCB9Tq1CHxN96l1M27ZbSbfPId4+PySPUuJpS3TiOO4+JaTMbpk1xpd9dni/CO9JvYgeYljPGM3aGpj0EU61m/TD16PGUW3mM2P5ZaqNwVcyAkAczZeT9WbWmH/I8XCA+NZNzx3BcHzoDMf1TVyv8J2bH5bx05gosp0BrD/+1qbu7TEvyT8PTHLwGr7bq/zFi217PcUJuQUDAKbvtm/EBfN2Si8jHG3bCVUd0zx7KL43jpP4yGvp1g8O+OE8OyO2hmpK0hvsPGHeT8He5ZXwMjtk9V0d3l8jL0NMcvgitPUNRhB/3tWwKtaSu5TnWTzJoUv4jM/gzyWATUX/DWjI7whFDYjX4kKNz0YwL6+TC/C2oCVa6djSmIDT/vvPen7D9P1utKvHl0P3YfqXb746oMijnpLXAb5GDH4FOBS3cedBjKCX8USMzx7eTx4OYesOlqg4gRYAAi9OtTN56JlPtp4+1vTmJHpt2WN9Tkwy7ulpq6ePuldFH1bpN0ekBvaE2YeKBO5u6XDruBjQFvj9S5C6Mz2f/WSCSHgM6+RD7/2jB68e5Urx3VNeZbZde5v3A71c7/yxNwj/6tXgNd2516jy21RH8+Voux4PXF7/DtZTIFT/5UicDV4xiK9mPWhEvZ0+XrrL9O30A19mb6fJfk35dipLqTDBC/NB8qysDrrI00P9OdqHivdvjA+UJ7/2+W7d6p1772uko3d6jQqyxfcxm/X20s9FtDQP0SKO7mN+LfB2vdpFG/+O40hvahKlw/l3bZ9+N1df5MVhHuMQdvG3nCyt7z4Evml37t7NLLyqq7lB0f1xIRsP/6MmAPWPcxaoTeAPeq3VOn4zsXXntoEahSJ6uZUr0/256WIu7W5C6nh5LeR4ifLpIy9FXNJLEX++P5uWlUr8zsTlKF7E9+Ope90ZXMbzVQxKuCes9iEOBrJGbIGMr2kwbiwXDvsD5E++qWzOryrD14y5d5at3cvJxsM3lH38rWqH4zh8yZ6uR4G6Ma03pGF7JUw1bqfw91AVzaYdWgAKKgFs2awCU1eJTBVpXqW451Psb3IeGfmcX3PmX17391gebI2O4/VsHLtX4n2iVWgO6803MTNqVwRYAx+/eDHXZ/MNiGWHvo7pe18oA6tO17PrN/33ZKJmnF1nRmQvXqxnV1WFl3sO4YK6Xs/i+XpMoTLQJbN4sdvz2O59NUIUZxX/jHsg9zu6XuygDP/0B/ir3xWgBbWYzteX98DPdBu+Lnbw9X53aHOuzRS10AJsTqdWNtT/2sRVVeBY3JsBu++H0g+5aBNjvx9TRH990OvRtxvdmi+XdkWvNwPxpHGL8p/VQX4Bb5OpVzXBKNuKqdcl3T059QL/gO8W/bCvLIPe2SbjTvDcn6xEr4s9+ord9SkY0Wt4c7LSyYbBQmCYrXzxNainEMbUXQG+p9YVhijGcjfF+6KSL7q3pl96s5nKZJZNB+/D9W8L5nZ3r/A98Jt78zen88P3/x5feuE+WCq7V7vZwmx3erG+JqxgTITW3orxymVKrzbXu5tXs+3vNjXAz7a/Bz20e6UXq7vl7r/D1d/irvPu8m+xNwFibwAE8w2Eb3c9kL394A0JC5QPr7lqwOhuvv4zsOufgF+/061H7XVA7aKPmivzyFwEZDooj/xFh/x4fCq401tyU9byeAcUOmhyUIWbeBt3tAo0nwxoHqP29tIQ2SG5xIm3GiTGscBOsKY6ZDuzqsP6UAGvbwZM8BuSUEepPfX0CKKf1aQXPhe9Ai+fSHXuzZ4N89FcbS6a6834ZxBvND7QfOZyGAsDc+zd7B681hrmq43aWRstwb6qZ/Blcg2WzHwOvijYW8krldHLH8HmetDglazwfhON/gTg36zms+ZDHOk5+LhT+iunCDEedObldPObKWDVaTtQmBsUwiiN5xsS9AqUSR5DQYORXGDRE/jD5IFXCQ4WziI5WfLYBHp3cEoG9xj0BzuwXvhsqGTTK+nMCeKt8ZQ874d4s4nBx0b3+n7orLy705v234zB5YWeSvddP8MhAM02/uVE2f147Cz9ZzgLH2luc6o52TUHY/mlJyrQCfilt6wI/BegPVxU8hfybvsuA4jRi+RQbX5cEKES9b7CH1aL9dyAm4DG9TsMr23MbKHfGeTF/6uXs/kcfYfFQoN6bKH8yz/+8Y/IvnrzIU/xtaEgqLagicMrTf8wX20B+dDg6m5Hr1fd3Wh3cwNexmW0m4GvvTVz0+yI5+erB6gMPLD3fuwwy0f2EPfiTcMInb2eyqr/k5YvXtir6TCrNivGP3uvDRidg1R2sgdaHMCVE+vl9n7dIFv3QcCk9x0cTWOgsf71ZmZ321HPdLmfgYu2n7oQ+S1Sj/1+OpdTa86/Ct6V7hx03flcPa+9i3N1N9fdXds1BfzUoTjwyLDPDr89PVvHgAP0/Rh/iKEPaNstf0D/1y/ms3oDjBVgeEaDF+UnPrytFoN/0wgthMtP1Pz2uz9nCutGV1dRpp5SXYbq8lPVv/rya185rPfTtf/tj3/84Q+/+8ZhXlz6xQie+3wFTuN89U6OHsfj6CwScZSgIxk9QuUkjuoPvPb41fOzn+h183trpp7tvjLL0acyOKIud6C/do6ZwW5NRaPH6LobJgABXtd4B8YcLaMzvvr1I3BgHQSwPGUovPgYkJIdkJIMhBcfAxJ5D8Hc45d/HKg3KD+kTwyoNx4/nE+MpjcYP5ZPDaU3Ej+Q4xC/ATYZ+xp7ivrXjtGWd4vz1iwjWKuwyq4RZoMGCkw6GB5Lo8Hk2k3MPVRpV3f4OurFS/kPE0fyH7AsrqbRIrrCa/UqNPnnpYnQhEJlcEEiHdhwMjfLd9ADtAZaBdUMbtNY5GPQBosV6InV0hBPt9C6nT0CBlgYbVEM7vF1p9lwAHFYYTCST7L4+9gbKabP7AbWFUtrXjXQMiy9yd5d7ALveskx8A2Xl9112zdIo5EBOiU4e9sl9ARt43R6lTwB6xjfSD7FEeCGBxlwXd2usA+FQN3Uv4cKUP980DNMR6A4mp9bqDZbRt/j7NEcpuOLwQRgTBBm+gH3Z9AEaGgaByN5j9xIUnS8JxjMHrf1xj79xOA/a8gnh/3rYQqLqzaB+i8HVcP+xMOsQR6QUL4ZTp0rukaEfvnFf51O8fuLF0iPF7gu4QZ42XsUeX+CIu+xuqchjYH0zKUnYW8EB0vWGWFT0BEjAQOC//CfMT88jM9RAY7pVfTgrAGD79tQCPpnG9YCQH33yQWzOL5gcBgIjyNBqcFpkzSOOJpksh8oJGQAZ1i4CBNH4lgQFWe9t5T3F9A1MxHyDwmeIV8gq0zREOhxE1ftFR5y3lEsSazgWj9EE5cJi+NBQ7jWcJFH2xluMOI+JQjso61jExMkLFyERNYwweD3zUBUgpgFXsQZxeXzQHJ2ZM6A1fju6IEE9oHORxEaZu/h5Pw+TQo+kLTLExof3yMug5p5Mpih3/ygoVhvd+C8QbNgFUaTAfezWxqNBhXRuqHK3VJhYoQxhfphVH2eXON+BQi44fDY+NxPQ3BsFL12+8UDFho7Ol84NpkifYdzfDhVUIarj3QiT4tbfjfa61CN5t5uo5t9JeaqHF9mH1+S4yNxyTUweQi3Hl85ozX0sfY8OFoAwjDS8ZAIw6VJMzaEY7D4YAUcpnysA7HXg9WKbV3gvevrroH13kroJn8xW3appH6Q9al5DyTyWGhYOTXgoKHP+rI/e2hf+1ALpo9cRNgVL6DagLmN9ODvFGB2ql/ui1WA/ePjOkylA/2us0sI9rtPrMQjzPrDAT7f7SH0HWN0wJkICU7D3Xw9WutZOz5HJMfugR+yrJBXYVqhzOkSvPrOKRDQcUARtvdqc4MxKioed1befzHyzisB336yshOKbW1hmGvw9V85KbUwGqphg9SXi1ei+bdcgZm3BF9/ByshzMEeafcioIHbEZuOvs8l+N2xQEHkSED6DBW9+wYMjD4dfOdOQrn/3tVwvYYK/NWVBw3ZD3jF3ZLl1cUDw3V5uF0GVTyrhRH7kU4Oln3LVhf3i4pxr/yanLBDvDqI/gptT6xP585/MYiru7BwNx0uXP3d/p2/9e74eO/hLah1KO425v6/DiF6t/tt1zOMHPW7397iDWr2JJfsa5BT3GcHTZ/kxamjysAWBDXU0SZguTe4QJlhkPfCw+JIeUDxPgUCCceX/99YHW+QZXjtAxxDxH3oa7gJEKj7rtOE72hZeKuVrNWDVUF5f6cXxlEzE+q7Ib+E3g5rdJbkwbYUOqPYG9pv2OWQqq7YaVvn5UzD8qEyMBNJpTq3piuccOkhsgn0NkKnBNs7cx7uubszNE89hkwLxM8caQ+9q8TN22tQ4Rf4bdI30lCcjzC2cEU1z9AbOTtb7ns2vsH7zu64N4eOztbbHveYWhKs6741gBl77xaeMnsVsWhgZ2wPdtGgFzalAihPb5BttJ9xOo+4x4kYfPwfjffjRQ==","bundle_encoding":"base64(zlib(utf-8 JSON path:text map)); changed/added harness files relative to lookup-u1 bundle (fd38823c...): replica_gate.py, engine.py, give.py (added, byte-identical to G code), README.md","bundle_sha256":"0b1b99501bc5753a63c303f91b67c58bae7cc40b940fcfba0a9f18198dec1377","bundle_zb64":"eNqlWgtz2zYS/iuYdG5EJjQtKbHrOlVncm2u7V0fviS96Yzt4YAiKDHmywQpWcnkv9+3C5CiKMlJ75yJQwKLxWIf3+6C+fjkzetXP/z62s+iJ5fiyeuHupLzWsyLSAUfwvMXIq6KTFRKN2ntv9dFLqQWb0FUq8XG10UqQqWTSIl6qbQScZIq/VKETR6llkGixYc0CU/mRVaCj1aR+OPdP04uxD/f/v6bKGW9vKzVQy0yWfrit4JZYMNYVVrUhZBCz7HbfCnmSzW/K5rav8mvKlWp+ybRSa30pbja1Msif+6JclOpVSbG/nP/a3o7gYDzkwcx9Sf+WMg8Ekmua5mmEIKmQHnhT1/44nW+SHIldFbcKSGjKKmTIgfdRjRaaTqcKJM8x7ImL0kaPMksC3SSBZBzTPz9stD1RKyXSqW8V95k5ca30pkjqXyuTiNF6q2ItShy7AGR8khWkYCeKlltcMLSLILGSlkpv9x0Q3Z1sIAJ+uOgTJO5bMfF+Rg/4kJcF6U5zGncpOnpfRbcTdTJGRvztlu9UvO6qDQtPCWbnNbFaVEl0AoWtpO0xF986BYp1hqtEV/BZXLdZFCW1DpZkKqMNrVSEQYXMslfiryAOYtKiXkqk+wmfwfFklgn95moZQjLk+JI3e3mYjK5ODs/MSJgk6pswA0c4DOqMjbSTYmzY0c6O0xcNrX2sFctlkkUqbxzoUiVKsfAPFHaF9g8gRVKXVdKZuLtT6+mZ+fwwzyJla41i7KUeqnMhknejwNevhFzmdM+cVKz1Ocv/vV3S/USA/B9EwrYGbZVFDaQNyrAkpYl+TxtEDwqweL2dMyZ4u4DJG8mCJFNWsiIAkmZ8MRJo6SCRsCL47MfkKxkkgf0pariospUBA9/oLg2zhOdGF3T4YgMFlNVTVS/JnmSQelqJdOySMm0laphOm08VT4ofRrA0aeXEB5RItPkgyT/Ij6kAbgByzgiaWlLOHdVJ/lCxEp5rFPdhBrRq/Kaxoxy9SafL6siTz5QZMUwLWRQFSk4TX3xO+unCyGRFVGT2qUNVsp8QbHZmnJelGThm/yNCQrjGIRAWKCt357AB7MSy0gIIxliqKhg+RS4UkENYC1LItFLGRVr+DIYsA1f9radjP8GMUvSQIbJCkoRsmbH5yg8h/w2BjtnjxK5yIEXydyev+MsUhmqlIwBMKyrBiFRhadllczJBcmcnb5LyXCa5MBJ0r2R0hffQzBQM3RhUi2guxDBFBE2JzoAQzMJ+zQQCuSR4UOkpLfvoSrgcHUpCD0yWKWajseeWCXy5zeeuJJVAj+9kvM7rPv31S8TEW4AxVBgBmfhlxNkhRznA3+I17mzL36mbeiskYCLJfPNKSAfajuFPQAdcYLHRUNwyFiQAFNqGAqJZilXCUBg1+gcAFmSn6RFcdeUAhnCJCR28QqvsLUJZktBLiU4dfjiBwoI9s6k0jWroIJUkg4jI4nDr5S4Q6xqMmkHSosqAb4jlOA47EZwKgmAoSGPbAEdJCk2lpVx+ajHOiH0+DsYZElVAVcRf3fQ+Q28cqVOEPEOIwcEzNzL3WQ7s2cgqjJtKCpxRoSCcAh/kUdqUSUIXlHC0eDUabmUM/49nSEtnnniR2xyxXoXRSxoS0S5a5yG9Ukp/HIvnTg2BGZmyZbLS9hjgQXk7mORi2uzJ212K67nxpGiWftg8g6yUlPPdvbg8ZcI0iaHsulMQVasADchRqIA/htp1+vlHKefXyYvxuPp2TdT37dP34DWHk44yOgq8npO0yGJR0FDsH8RXXw9keeh7/tY2RVFLfSwVoZe19li1OL8o5n7UI49llqPZfOtcsXnf74yuDf9Uq5iz1oBAparvn2uzy9bcsaerWq2HrrjugCBPa4cdPvlxE3+xBNPulcqTFnfCw7LJCOQFk9vcvvUK8RQnFa6m+ACjMby8iZHfMTJQsOBr1H2AEdFwimdhHYu3MsbPmQFKJiB3sd4VGR+pGKJZB5g3CFPmyWuIdTARFBi3G9QMACWnck3PiByilLQ0tDpBzRj/9wTWwpUSpncI4FRLi6mnqCnCZ4tsT2BTykpjxx4zdskawygfM9zTh7oWpV6NiHDem2KDjh70KDfG3wYDmzMMhpahFmQNbPuOapnE3rmYiANwmYDnkUIgrNukDQS8IFAOzXrzCv/7uhkxQgVkHZm9KubyZTMmc2Mfnkc2rM2ssUzkbjQRA11cbRQUeQUUIVzJU7FaAdgRq57PWpLET26vR71fbH/Prol14jITpzCfPK0pXpw6usRegkipXEioecifI+IHd1CkBWW2E0DXTTVXDlGkv+ggkxTubOj66MwiQLqdBzgy5BmBH6h1PtSrD4nBbxgITXMLmsdoLhR4I/RYt33dK7Btt4OQ6ZQm/UniHP+ovX/kJxR+1WTByGVzE6a6NqhfUHGzyQmnu3ia2Z9aTZ4Bka3nmj9lYRonfXjiHF6dImU4HNlRHLNSaajnMBqZGppWkcSh759dz/ZPYzGLVQYy/vrCqnTqJodJQIMaEgQpsX8jliRYODd6Y2Gemp0wB3sETR57exOuAaabGIhYLrhP+9Umtqk+oxrDqQMU//UVEGjegcKSVGvixMqTiKBmiahYpFyMMEnhwTSCPWQJ3AKOKQuC+p1X3ExLHNRrHMbKNDFwmvzPBYwqfh2Rt1IhLwIYcSfBLiNdqGe79oJhK340wXar+UGCrDDa6pWuHxEcqjFWpqisUKphe17J+MOoOuHOS2/NKlDcKYWerrErmsq3cyGsG5aLNztFrxo2/9QUveNBjvQhlaWniggn94Ayn96/eY1JC2QNjHho+/JZaac9l2Gmv51goAydBCQhbDOTKJtQV9D7k5c3G4LGAS1EYpt6nF6o5wcp2SqNzf5j1MKBVD6P06pOOPqtFc9OXa9v9VQG0RIGiIICFaDgKwRe+KdR5X07DfUay0V/WAMu0TJvHboESHxsfVsTg9Y6xsNz0QMwGMyvyxKZ8TDI04S7sEl0yNrpiOvR+W6nNKp4q3IrzR5pBSURrZM94/qHzyfuz1/kQfsxnYeXQe8DwXpA/7i39oTeMJDnMrFnlriEDaL5RgnYEnj0Iocy57uGtLdAdG+bOuezpLYcLetEQHmVvEIq7G9POrr1gz3ZGbEU3VT5SRZzyAQEgWfeNgOcXDgaOKpcOhi6oQOTJEKn4MsRmChUuQDosHoaUcoxz3BZasgI2p7jnnOaDCxLLZSb1dSwJIMDsvynSFC/LpDAQzBt1uCHbVREBtW1Jf9BaVYbpCA4t1XD6XDD4ALZyvLM/CEjroZksWFFvZJ90KALhT4hO/QQm/nyiXZY3JEVT0FUafTE4l25QWZC4km6sVLsZ7uknRSDyj7bk1e3drM1MnO2gMnjwTzzLn0PTCLKVaWw/BsvXAAszc+d6CxE4fUuXRvsrfM2sAIYHLYoBf4XJFt48zAJtonz6Joi5qm20K5QTzs9VHLhSq1m/wPUvxYPMWRLpBXuJdFBafryiTxDLmtLd5u8t+v3rXI6EifU5MzmgG6Ji6XDpJKB0J6dJ+r6+eXt7To1S9XP73qYA8s/AXqoQ4qR9Q3MXcUUIfLyG5NW07SsmFp+X/Xltj+c3Vdm3DectvtDJpuAssdrKULCYt3T6kf76OpNT57zHLeX0gQfmyV9bQOgsnVphfT5+fj88n4xfOL87OLb6CwiXpG5hzs5Qz9lE9EW875bspZdQVnH5pNSigf6O7e24bLypCWMkETH5LvyZiw36F1RP3AsLXFLOJFHFqQt0hFDPb1Mrb6sMkEvu2byzKH6BluktwZTEEK1xvSQ6oWhyxvWsmN09Rnz496lv0BBZyqdgw5SKpUJ++ZhIvnGc8NZlSb1ylwEJbFxhTuQwbtRY51LaRuVOdFXKMMnsDb7zM8dFF53zbrI2pbTCRdCg609n3aDuyVLnTbiY0ovQ9mTME4a5XfjfM1z4Hx/MBYJh+ox+EmFb9uh+e8f2y2kuvPrCfhv4Dk8W3WBV0rHlQB2grbou3ypAKfD3skTvc9wlz7MtGBqoaEHKTkbnxv0Qo4zo1Bmjq7TgVrXzz/Wqr4xdfAxOvJGA4t/gAe8x0SHm8fT1OrwSzFrXnYUCjv8zvst31ICuGgfxyhkj3g2qH6IrUc32RAd3SbARDSpNendAcA3q9YD1fKT4O+5dcYXGN0TXTo50iH1K9+4JIBmGzS5AdKk45hYDj2KyWkafJBhzdsOXkd76GdPHEA1lteyzlxahHRlNLOU9qBbgss6tPbEbvyekpPf8lQe6s6g1i2nWo/0wPo5e7CvTJXL+2hBrL0epXHjN1fYut/7gr2egCT6ac7Ca2lbOeOtANW2q6mX3YV/X45b+YGZxnA8zMUbLsEKgUzI/7M8jjGwiD5Lou4ixay3eOm2bG/EX63+XsMqebTUIbhGSPVwLnr1r9vPXE25h93H5nbe6uFe6B8329l8uFBEXrvPbGi6FN5k/GXXwfrhhpHGgJDGWpnRY4Ck8rr97dc95NkB9zeJC4Qce/04OwOesRx4BLRYIe2ZG87Bd7xyJZRbBcPF8Us5l9jBot2vaYR96j/tSeMjhC0efXjiBwglPM7KlrYFDA/lTKw84ju2vD4nmt4+136UqxMfI5MoGNAsuJGURLbr0JBWNKlIKrN0RL1mEEvDCznnw5YRN+TrHCACMeOjiDVvs22ox7U7B5Zt2UeE/f4kaT42Xz4v6fCL8iCQ+YHSgDHRJD7eCVgonO/eXVaYD2QQM21MOu1H2H8uecgQvQ7MDSeyyL6ma9r6esz93T8BfrtMonp2ncEE13futfj2+t+hWcFM3fbrf/RM/wm7/sjzGxdqvVuutqW68BYJxjMm2gmkkzb8WuOXsPQpU5i7J8xyjDEWDckJyaDBPdZy3nPpz+SMO1G1gXNTl+2i/HJ208H4JlqXLDi0Gx34BcMlkreEdrnGjGYUMMqacMuGPBK/QVrHbKT2jG90Ad6ju2n4U6f9IKZ3pfidopfPu1/EFH8/x3s9xCqm7qrhMktpx763NCOuQAte0N0bj6s/eUldJe1u2h6eNHULLpwu8tkiG1aRf4A2fWXFnarJneMy3VTBJv2Q4lz4FNM1f900t13IDeN+HvL4JP8yD32QYV4tsWc/VZC17mNXs7ozo0+lXz6L0+XxPA=","inputs":{"lookup_u1_artifact":"https://api.imdnotdead.fun/artifacts/fd38823c16c850438759b77387cecd713241ff3f0b6d5280ef161c6717375ed8","lookup_u1_source_sha256":"69c361efb59a346f908ffe30c3197d9d08903bc2305d0ccd79f23e6535daed40","give_artifact":"https://api.imdnotdead.fun/artifacts/e931451c8e4b3ace70dbcde4910728e086fb292489bccaab0bf9c5c3be72fe14","give_py_sha256":"8d871a6b4fe3fda47404282239939f558b1656a651fcc03eb86f1d4f56cc1b3e","artifact_bodies_sha256_match_url":true,"research":"gtmcknight/amm-sim@66604b34 research (fetch.sh: 34 files, 0 mismatched); bundle reference modules real/tellpol/tellref/replica2 AST-identical to upstream except docstrings","engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704"},"not_done":["No score or paired engine run (out of scope).","Engine configs reuse the lookup-u1 bundle convention default_rng(i), i=0..7, with sim seeds 14002592+i; MatchRunner._build_configs itself ties rng seed and sim seed to the same i. Gas smoke only."],"decoded_sha256":{"code":"99d031f41074ea872c78fa7dec5db33d9f20f3251e29bdbb4682c92791334b72","bundle":"0b1b99501bc5753a63c303f91b67c58bae7cc40b940fcfba0a9f18198dec1377"}}