{"item":"lookup-u1","valid":true,"status":"engine_clamped_gates_pass; raw_shadow_cap_exception_reported","submission":false,"method":"Frozen QPL1 u1 replaces only min-lookup tables/decoder and lookup call sites. No refit. Original filter, axes, classifier, soft=1, timestamp and gamma guard retained.","compiler":{"solc":"0.8.24","optimizer_runs":200,"viaIR":true,"evmVersion":"paris"},"integrity":{"artifact_bodies":{"755f4fc0a7b028497ad9ddf23ea568071192341e192335cb7f31174d066d4df0":true,"ce5b4e6f21a08070df1df5e784c374eaf555f1540405c1c33864a710683fe8d8":true},"min_lookup_source_sha256":"3a799de034a2482ff960dc0d89316a18a70ccff80b1d80af2e3b2d110977ec40","input_qpl_code_sha256":"c9f7caf7cb094cb86d33a6fbc8b70dca65b6ceee9f3df16a70e49035fac16581","input_bundle_sha256":"7b51127ca28ea6c8d91186152393e2cf1f1ae459a3b9ec855c1fbcb03b913b96","blob_bytes":10160,"blob_sha256":"830868f9b3e5ad162c4f2070e6faed0782c7b4cc308ab69044b2cf7306f68099","decoded_qm_sha256":"d5645b6dd4ed8f1e33cc712d56d9eb916a50db7d5014c285b0f388cd114f96f9","vectors_gz_sha256":"7483623d551bd6334547b6b1fcd621b4d721dd2082011b6c113f083421396947","full_qm_sha256":"5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd","pol_mid_sha256":"efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b","research_files_verified":34,"research_hash_mismatches":0,"engine_commit":"6b6921f8d463314aa7c96234e1be25a25245f704","unpatched_wheel_sha256":"aedb68280aca34c110968f00148387c95885207913fb2cf19a1ab4c5cfd6887a"},"gates":{"vectors":{"n":11856,"matched":11856,"mismatches":[],"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. Total gas = value + 21000 + 64 + sum(4 if byte==0 else 16 for byte in ABI-encoded first 9 vector fields). Four-byte isArb selector has no zero bytes.","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=="},"pass":true},"decoder":{"pass":true,"boundary_points":65632,"random_points":20000,"max_abs_bps":5.000000271593308e-07,"worst_case":[4,121,21,6,0.0],"max_transaction_gas":78904,"reference":"frozen q_u1.json; A-w and B+w; threshold 2e-6 bps"},"closed_loop":{"pass":true,"n_seeds":8,"callbacks":90448,"steps_per_seed":10000,"seeds":[60000,60001,60002,60003,60004,60005,60006,60007],"max_bps":[4.569313677427189e-07,4.580097065498556e-07],"tolerance_bps":0.01,"comparison":"Engine-clamped shadow output; soft=1; integer tellref.is_arb on actual handed values; chance from integer binades; synchronize fb/fa after every callback. Original 10% cap retained.","raw_shadow_diagnostic":{"within_tolerance":false,"max_bps":[458.8627140291132,4.580097065498556e-07],"reason":"seed60006 callback10755 timestamp9989 bid: raw TellPolicy returns 0.14588627140291133; contract and engine clamp to 0.1. This is a raw-output gate miss if tolerance is interpreted before engine clamping."},"rows_zb64":"eNqlld1OG0EMhd9lr7fR+N/mVRCKtiWlqIIiQkWlqu/es5BFS1QyipqraEb2+POxz17+Hva73fVw4Q2/cbgfLoiayzjcTb+2nx/2w8WlbrQ8idjcS1Qkdp9ajDiOaqHapGkrJ5mPr8bhcXre7r9N1z+et/+R5G5/iPSNSUshE0IC9jkwR9+4UZQ5ii3c0nyKuIfd9H379Djd76cvT7c/7rc3E5KQWwaNw83P6fEaxd1+fcJp+zOu8ekVvyXFe3yU5mGZblFqbofKuZTcG1MTJtfT9OflWMF7BjdTCQovWuBN2KhRCW6YO+xFoh12PkhffsSOfnvgcVWq5FzqNhLh4DlA8D9Ow5+ZZEUfmJdMRFFk6gvoGBv0ixCJduBCvYPvET18WfBTjyZfkrmptQzjUFmG1lmJoZolpfW0PzPJCr8AjdZohVpIHcTPYqrWAmisZafxA89yB19f8VnE3+MbdpVkbiAHZR0Kl9JogbIwx06n2c/J8B4cCmfE3Lh8W/mUQitElAJr1F15sQ64LeBOR7rDkooVr7Ckv5mVwWuwTNWUUEHr6X5ekvXYo0EMc9Pmxi9mMY+9KjoCKEnAaQcfeyPZwfeD40XQseNhxGZnNvjLsq4YNxSEZkESeT39kN1ykw7FtXHNu/px+IoatFBcMCpFmn4QHUVowCBg9cklnWnHovREjxdqPFFHmjvKNTO8l6FvamVrFdBBK1FDR/FzUqzImVKhOfAcPreMe2B2RAjRcI7ofOEC38Z/6H31F5ENGhU="},"engine_gas":{"pass":true,"peak":202190,"limit":245000,"runs":8,"afterSwap_calls":88699,"failures":{"oog":0,"revert":0,"other_halt":0,"tx_error":0,"bad_return":0}},"validate":{"pass":true,"output":"Validating strategy...\nCompiling strategy...\nStrategy 'TellMinLookup' validated successfully!"},"runtime":{"pass":true,"bytes":20977,"limit":24576},"storage":{"pass":true,"declared_slots":32,"used_indices":[0,1,2,3,4,5]},"no_assembly":{"pass":true,"token_count":0},"preserved_behavior":{"pass":true,"gamma_guard":"Exact original guardFee and TellMath retained; no closed-loop guard shifts.","timestamp":"Original afterSwap body retained apart from table-call implementation.","soft":1}},"full_qm_approximation":{"table_node_error_bps":{"A0c":{"max":23.8929,"rms":1.3008,"visit_rms":null},"A1s":{"max":61.8333,"rms":1.9217,"visit_rms":null},"A1c":{"max":21.7,"rms":1.281,"visit_rms":null},"A2s":{"max":48.9167,"rms":1.9297,"visit_rms":null},"A2c":{"max":34.9659,"rms":1.4895,"visit_rms":null}},"shared_callback_fee_error_bps":{"method":"Independent soft=1 full-qm shadow on the u1-contract-driven callbacks, same integer classifier and chance, same synchronized fees; outputs clamped to engine fee range. No score comparison.","n_fees":180896,"max":[7.075686619928412,16.490430895781394],"rms":[0.22104611559099704,0.23408680122874304]},"table_error_note":"B has identical max/RMS to A for each table."},"seeds":{"replica_used":[60000,60001,60002,60003,60004,60005,60006,60007],"engine_used":[14001552,14001553,14001554,14001555,14001556,14001557,14001558,14001559],"engine_unrun":[],"engine_attempts":2,"repeat_reason":"First gas smoke completed but harness called gas_stats() on BatchSimulationResult instead of module; rerun same assigned eight seeds to collect module gas_stats(). No scores or paired claim.","replica_attempts":2,"replica_repeat_reason":"Added engine-clamped comparison and retained raw cap discrepancy. Bundle verification additionally repeated seed60000.","holdout_used":[],"paired_used":[]},"source_sha256":"69c361efb59a346f908ffe30c3197d9d08903bc2305d0ccd79f23e6535daed40","runtime_sha256":"4ee7c49f03f8117c15798c45ebbfaa54a2289d62d5d5447d02b45fc287d41919","creation_sha256":"d5d56f618a1e8bed290626f9c7bbe5276480325551034f15e3d3f4cfe650d178","code_encoding":"base64(zlib(UTF-8 Strategy.sol)); bundled AMMStrategyBase.sol and IAMMStrategy.sol imports","code_zb64":"eNq9fWlzHLmR6Pf5FbWOeNpusVosAHWSbCpsr3d3YmfW9nr0Zu2J8UQdgNjDvtTdPCTN/PfNTCRQqD4kUt73SDVVXUACiUQiL2Shzs+jv/zpX/578s2s1cutnnzd6eVuZmZ6cxF9+/V3X6039dtFHW1X81k3272P/p68Kl/J9PKr2WK92uyij7/99tu/7Db1Tr99/7t6q3+NzGa1iH7z6nyv4BU08Zse7LtN3emvl2bVA3wdQHDtc8BuNb/XXQRl0RqQaN9Hzfvou/r9fLWJRm93i/Z2OXt7sxvHUb1YTLazRZSWQta5KqON3up6096cb6mNi+jf6rvtdlYvIzOb7/QmOoveLaJd3cz1Nhq9W/x0K/Qke/XzdrUcx9i30Tra3M11tDLQWD1/tX7/z1uEua830MwuGm27aK7v9TyO1jcwyDjavl+2gK6Z12/Hr6LfzudRu9FAucgAvrsbzYOIHQr1smMMLnhUr7DnP25mb2fLeu6wa1eLNQxnC03D8N/BQNfz2VJHo/aumbXR7/j7No7+/O1fRNTMV020valllkeqbou2KctXr16NL7nbOFKT7Xy1i7Y7IHccLerdDaGCI25Xy3u92c5WS6IBzs5uM1tMZDTCuZsooIFtBtoLxguNrWCs0WwZNTBgmWVIN+pG0qDmq9Xt3Xpyo+tus1otLqLfJ0BBi2Wbl2VZtAaxjB5mgE670sbM2hnwY/Sw2nRbgAee6aIV9BitgXZtPZ83dXsLPe5W0UIvVpv3lqA3GvvbahhKF90uVzugD0y7ZQfEStfwf/0420YP9fx2tnyL8/NQbzoeL0yUmW22OxhgvdARTPfuZqF3sza2N4BOWxoTc+J2dbdp9UV0s9uttxfn52+h/l3zCqbtvOfRc+bQ891G63PHplIJkctUiyzJ67YWSrS1ylpVlKZSSVed77HxVzAoWCXtLnKLJYJh7K226ONXEfwAYYi4qyVMNNDxzVRoUV4eLfvmP+U0r5RIC1EmWVZVaaaSyta926/8bZ5Ok0ez92MrI+Vh0rc/JD9G02gRjQBYyHIc/RLd+y9XV/A3uuSaAmtu12HVzYmqEquaBmqY+uoqT+FiZ2v8ErVLvKwkoWHulu0OmDh6q3f/CXM2Gkf6EZgWV9X6bgOLGrh8M+tgievd3Wa5HW2BzYETLCONo48RtHCj21vguY+2TvSb7/R8/u1s+Q2x8m8uf41+HXa2uJuPmFh1zBfNGIkd9Ow6tOXjYx3VL5vzN4fNd7P72f9S+2/Om8P268a1/vgFjT5eJa8njxePh+2289natxz/bwzg8ap+XV+MHq+b183F4/iwy/nyiUOJPgw7oGbwZ6Pf3c02GvpIQNJx5dtLX/5wM5tD6VX0Zvzx8eVUXt5OJpe/7hdfT+VLrHCOFc7Oggrc4vspzerj5E38ePam7+m9nCI3vY/f9/feTd9fRh/gj28E5JYbx3KqLpdXU1ldLs+mcvzxHcG/i9/L8eWHs+m782XQOZNRvvxwdvsS1r5t8YCK+nH9RRzRD9IghSYpEoH7TC570l7lCRRc7tPkdoqES14/ngFq5/LicUL/j88RU1dpM32cBLgH4BtLuk28OWwa1PVymueZLKHnM6om4yLLk+BrmeKXjRwfgq+6jttWSuZpACSSJGySRnykga2dbkTjDBqL8WICF0FNptMtUmD70sKNWAaPBAhEd307Hl9szz9RYXLrMDiYWVDBu/+FqZ0mwbTeeU50CDyOX5LKcSUfpkt/vZmKy7CxD9fXIMdhsX2EqylcXm6urqZ5CmvbluapK4SbWKZkuJyojpKuDhRiHZF7eJH7xnMqKw/Affe2875v37XtWfoC6o86ChrDVemGOZsml7Or4nJ2djbeTEebs+X5ZnwuD6abKba5gvLXmwusdWLq1p35opkDhEHAP46vRRKuRr6wbAnrfYIc/Bg/ApLjWIJZkstSFmmugMMTmSS9sAVV/+81mPNgeABegMJytVmQ1TqbR/V6vVk9zhZUdhnpDbDLGIThn25A2L3cvtvsRrDAJuLVnqoIBucUBDglW/A+voxLnZSloV8CDd5fl/3wQbi/fnPBtE8OlysI1UyCfVblYBKVFZKgr7MkUbAECX1WJIkqVZKnaarAlsVqQWmuClXlUiYqUyLPklOtKFUB3+d5UpTYGv2E7Qghk6KSlUiroiwEVzjWkpRCCpVVucirSonDpgAZmeRlXkCPqsj3m3KUn5aASanSIk9LJUAwBnWsJOwIsSLL8rwQwCQlikVsKyzOgTKiKDJAPin2+woqAj5lUihErkpzi3bYkIR5yFOZlkVR5UX6iZaQ5Erl8CkAf0eAoEJRgfGdZ0JmAozd8hNNpWmSCmguK2VaZPIEqZDpCYbgLMceXT4xrbRl3IFsDrlwgi1c4J8T6363gSu3OBZucdy7i/nKXd3MPmPy/M3VXOx8M7vTYv4+EPOj+epqunjxYnE1vZmFSydexEfWz7abkqa5h6XHZp9VgPPVZBFvO3+7sbdvZnx7v6F1PUW5V3uAdUM3mqDq36YoPZp43YwneFXH63o80DF/uxI656GM/hYvruar1/PVxc0svj9PDzvdWKTW9WTdxH8Lyhe76YI0/bZDI+N+RzN/H785IwD8Qp2TLCWEAHzijBISQ/e7q2QMgMlwtkGmTuAncPKt3xyNPuXax5FIYpEX0e/GF1EW2bDADpgQnFMfHSCXJxptVg8xuHLzu8US3FmOYIxj13u9vY226BetlnOwNptZBx7XegUUiRazzWa1eRX9vvfNt0gqkUcjcV5GzXo7BvjoT2/+8u9KRrPFQnczcEq3gB7wZ004mGjUnilZ5ODnoRuPzv0r1/mh1w/1KQgS7RroJGiFGyFfPqbKUQKYou9OABSmAB8euw6a3Y5jF6k4iCQQFs37HUVc2NX985++md7ox99k4KCnLfjHIhE1CoAsQZmRwt8WbqWiluDK54kxBfRVtcY0cN2m8IHvXWmMlvAp4ANlGv1l+G6g3GTwyeEDZQbqmQo+NXwa+EBd0xkGMIZEDwuSRFH/iEmSoABHwYo4VfBBFBv4tPDRAAIwAuoKKBPwHazfREEbqmVwKCulBYO2MqMTKUpqgcR1ltmLAuqAhE4KKCkAtkSrF2Gh3bKzXYOITyq4VwFMBXhVAFhB3QrKa8C5hu81dFQ3hL6gESlAA9Qe4F8BEk0C4wYEG8QVyiwO0G6O/Rbcd2JxLqGfEu6h1i2hvMQyw7gIxkcxTogP1Ktqxgnar6BuDfVqHD/UqaG9Omc8oW5d9fjWAFPjOACmgfoN1G2gvIF7be3HUwHdDXCFQCUMvJGJXBSiFJWoRSNa0YFRbEDHSZlKNC8KUBGVBOLAqFPRJh3NMI87hXZzpK9iWofjrXnMAFHqYNxuDgLa41hpnG6M4fj8XBDG+/hqskWUTIn13XxA7QIKio7xqRgXh0dI+4xxgTpVs0d39QSaa8vORHOo10CdBu43xtO8OUpvpvYJWitYF+GIGsvdB5QNqZrZERAVS8awC6iHfTvKAd2Ag1uYyxT6kFDD/eJsZnAPTItE8q/AvwXOOxiS8KvoF78LEBQt3y/cfZQNRd2VzCklt5YkIEhgoRu6X8Jvhn2geMGysvX3C5AqdQEUA36rZUdYVnANRMk6IHcHmFcmBbwy+FaJPIW7YIFCbZigAu4XSStzpWEaJdWuiTxwX2RpijMBd/k+cLWA5SqUFiiRTNJSWWM0ETZTBa4ZKjFQv9AZ3VeAl8a1BH8b+C07XBs5rB7Aj+5qah+nCXkglzXKY2gD+21AUJBIkwLmA4VgR7/QPnJlonUmK+QcaoXaweogkWFWYSYRoqV+Fa5CEMLK1ECvmrBs4P+WKK5ByLdG8Hg1wQCXwj1YDDIHSV52hUqBSjp57g/2oWBeSuYG5iJYdSgxYSZoflMuQ4mMXKIBjwJ+kY+oHGbU3jfEKwX9ll2lkU8KoLAg2Ysyv+pABoNUg/u4plgi6y4XklaovY88BDOmsX2YqxT5pwKKKeij0prxQi2C9/H/AnipJYyAp2DlwtoDGktTA67YN96XRQ33gdcIkxI5x44grZB/ABucDeBL+MWVIMHCRswNzTjOSMkjbolOLeDT8H0sSQ3xFfCOpFHVNGbUeDC/JicetDPO95FdDfJawXSoiXoZraZcNNRrQ/gQBGopkUrEqOL28X4rSV0BDToale0DNTEyXwqrQJHMz6kM5qkBra9yWH8gJWClZwZpK7ri2fwjkhxaz4lvEit7Eqd13RXKQv+NrpW1ATph5Q9DS9+COGyDv0uyXIC3wHBprUzbgxYDTAiS+pQgj4DiwBMaBGmXF4SHGMjNHt5ibf9CyzB/TVoRrATLqgHaCeSzAFr2sGRLCYJH/stVpZDK2mCfNak2C+0g+1YsLPaagWXWCJGXYK1ZaV6QNEtNx5aZ5F7tJ+EeCWNdJJ1KU2XSgW4AGd4RZ+31LfsRA5ZNhrIGLMik8BS2LaRtRXzWt+fmzkGbtBH2bkpzK4M+FOrTpOKZksHcWZo1WQo9WoydNOrHp0jUtkHfMphlmWrkRS+rFOPmWkhRdSQ4e4ZKAmhTp6SvaGUrj/egb9TbiYXsMZdIcQU2FUvCU30riqV0fsZd6zBNtLaPQStPtzSvadxZMGM9dLkHnYbYYWu5pL73oIUmPVh6Ga4GNPdUQ8tcKFrfbs6AQmCnoQS2Uj6zkngPmmqmZBNATeV7B3lJMtPKPwsd9q1835nCvkuiT0LlKUBUgbR1fe+PG38zlHyiJqrbNnPWQKUfdTjfw/7BukA5K9B9QUlVkqasvG6zsBZ3yW1Qr7Sua/StQHbjyEF7wHptTUtzlTPeVodYaAvjMJG6bcBjSzuRklHYkY8F0oMgc09xp5WxVsZXGeqNFuw28GxKGEMF8gNkFUBjnYJ8ypDmKWlxCwu6L8uyvAUvUVU6BXsJrBAYRwXyJifqZTzyjLgtJx0I2hN1rCxVrsiMQjs7L0krC9Q6aOmYkur38O4KJCNYVBjAqkVrPVXgjg7g0G8FiwJkp0SflcaWW81IPaPFWKBWBqu7VGhjgt8FNijzg+m4b5C+RpOFmdHcIQWQbg1cAboEjTYFmArgJDfW00WPmCiOV41pyNbIGb6gD2gDsPxLWVhoRF4VxIUJ6jWQoRr7NRXJpsKPuKD5QmsXNL7UshIchgXNADiZivqvj1hpjnZoxwK1GFo+UUtXjENpbWWCLp8M7UaAtoYROGfPg7YjqMmuc9DimXYGWkI1QGfPhzbIKyArYT236KE9D3PggBTtOeDzFH27L7CxE/ADwGXCvsn3fvYPWGmEOVBBfBE8aA+wEGuO8DwfviMdp5Iv/AFBaMrkH/tBi4hkaRpYiZ+yFQObMVGtJkkrWRMlRyy+/Q/bGdCj7GprO/E9Z2lKbwOFbaQWCuAq9FRFnRfeHuqtRNaQ1rpEiWFLQG7AXAGnVQLXLFjuytqpamDp9jaGIEkpSFaBbFAgDLFVahc9KRnYG9L2FXh6qBkU9dnIVrZGsu2Rsn5g6gUWoOCyhHBPyEeqRUMjSDneoAJLs/T927Gnfg4qwDYjSduQfuhLSaOSpdlQ/NHRWFEcT5InLoE+KOUz7lURdMrjSxtNujNhzWy9H6qLEVDVkFea+3FaHS6c/UVhhtaOztlRrDXTVOqSdbG1e7KemrYdjBrKnHnBYm61PfACeXkl67CUKe08CbJCMNQqW5x5Gqu1KnIKhVYDa1ExtAxsRtrUkpJ8Msch1u5B+Vmx3ZTxPGWBxUOtYYQKQ7Dso1noiqyElqCd/lZ+3I43ELogqhWeRyXpjIK80d7eCzHvP2naEOYFWeiWlmQhsP9beKspHUCTtZakCn3dirhNMA8gnlXgg+9Dpx7zTHY0Y5r4h3ib5qdk7/qwb+VXEUCDtQMiIml4Lu2MWW1bMnTmLfR0YG8qmp1E1tR3SpZO4qGrgbWY0phS5teUuKbBCL+00RjB2Au2NkrmlSJxXlXmVyjOfG4aspkaigiA5QNyBNdjwVamm29nZVeOi4mWFViaMFNpDsIduQ2tZIqYEEzJ/WfUs50JtJ5q+hRZkYmuAhu5FjQW6BUtZNu7hS/Z2isJ3trdbaIlSJtMmgx3OjpMbpQ05xX2bloPXXBksmDMbbwHEFZgLZpOa+ippL2PRqBfiHolJ+srd7ErHrf9hv6AUZmsVW5Eh7sHrcCZLnGd4v4JWbvCU8zZ6ilxEHAWmokSt2hKLdA3MA3JNmk9buTaToNlZgiuX2fW40B7rZWdBFvWoB7UFB3ALaAc5Tx6G6yb3dw5aGuxCcA7kzZugNZlhloU8T6i0Rvv3TS09g1aPaBVCrZlP29pWs/KyhqEbqSR8smWR+m5BSPuGE1vpDT6WZYmyViCRjsXrZ/n/HTE+4agO2Ge07epLZ/RuCsMtptn2Xvgkhj0xMBGzsCHK77E0gLoFHchRPpFVpY2NSYUCJnIL7TTwFIFr7P7YjtPk9z4Yiuxbv9RS7MDCQpyoWF5NoyJiL0Y4zD6B7KsgXqmo/0EFch5NWhDestUBvBgBbUcqUwM2yTKR8P6CIUYxqZIF1BcNU9IFhYUqUr9rwq0B0EQT0u7b2MKY21jkBEYnSRPNB3oi5TliY0xdmS7SdA8Ne3R2MgFWLr4zVTsYWf+Y31nGwnRIjdth32U3KLVRiVhVmCslHvNuZWMJApqKBCbptBYuyUd6awIgKbdnM60bOO5GEFGuxq0u61bipu2RHfXL0OjpQnWpEB5ynZD7jFHGhWkl4hawaxkpGkr3A4SaEWXjLMdQW41nW4o+iXZL1C8F53x/7QfhBvPpmTr1sWVgH+6WtgcgIxtcutFZGyDQ9+4UyhIA3AMKWOsa5P62FjG1kIWcCOWVrjHINBuQbklPXzK/JiR3eBmKSNuy4hC+H+dGwy6og3O8Wg345Lt3txDOwzc3iLghzFNSbuj5KuoIIqYcL+5t5IdBwtut8mtfd4mTq8wr5DlmLKNW3jeTT0FUoLGzVTcm+U4Pbeesd1nLZ0hHyqOLQN0VlHfFelQw+vW9p0xLxce85y5JEvsfmajDBmY1kc0tPKcpZx4a8P1XjAOlupl0pEbU1FMk3A3DdvwHMML7LWMqeD4qQblYihmXBkXBccV7OKquY9QWZiS9bi1xXBXEqEtNwt+IsNKSGenYGxDEO1wx9fZMTVZAbT/xPELQb6jBmmQsf1r1ziUmi6x+45214ssPtxp17UxqrZ70AbtzdL6yUSxnPrECFlD/IM0hfmhnUJj2oz+U9aex7wXQfZPiZFN0vQ528lI/46sHsRSgQZs0gwYHGilWlGClQU+valR/gkkpYtIVhwRxN0FYfcaMcIkKtWqqgYrMwMYk4tCk3pCOSHQ3szYykWKwtgMxsVbsgoV6FCtjGo49oJ7dNJYbicrF61X9q2snQvcKQqKOKAd28kiTVXmI4s2AibJxoUxoHamfcKCZXWBu2LkyVCkWJZpLtnqwT0gspUxI6AIbApJvSO0IQqCkYkzIzIgL9ibbEtYj+qUnebiuZL21HHWWpmCC9s+3dKE6bRzj8ZTIVRqxFNtB1pZIAXAmof5LIUWGvqun7zxibRqifIK5q6TUhlRPcvQqATSHnSm0FKl8plRzU6AzBG4o6lkprrnRRY7sC5hrEABsDMrVSfPthY15i/USS0b9YW2okH3rZL6S6OSGnwD0Sbpl9p5Gvw5U325nVhSftA/9EPx/sGuuY9dgpxX3sZMhrFJU/K9cOfb7bV3XMKz4veTUWpn3JJii9F+khxkpW4YTgW732iaFFp3JWOi+j1mU8JaKzGFcAiXCF1ginnCeWuMC8GZNMVoSUZlqS8jWQFcqKw0ByEp+zYxkzGryQIjuKryZcJgmlTpvf6kcrIJ9WOZSh8tK20OmbWgTKVy3s2zEQbKyrKWsahJnrgdQhhfrrlN9Mda3yKVYbwM9b9IOMpUep2ZKNsmpbH5qElux6DsbHUgUYX32TOSo4nqSAM0HM/IBm0Kuz9P2i9ny5qiFcbKnpSiASXFDjOOHXU2N5N21RrMQqDIWkrSv+MYa0JRZGlyY/cEKXJGNMey6shezOl8EHNqPev2UzsvWtMjTvmJuD5aD+pExD4xPuboI5cOG+uJCh8N9VxPY84cT7hYDN2tM/QpWoaTNuuESlSGnKO6ys47x9MJSoFWRzutS5I+uwP5t1Qt8UDBUWlXBn1KxfvbWJb5/iguqBRbN2D11ClrLPIRJGXUcXxLVZYHycYWNqvW7Y6rqo/3406E8vkCUEauhyDbAawbbtHu86nCxqYwG88k2kdvCa5wK4zyaIN1VNjYtc2L4shpv9OukDC4p8v1S6/9YeyK1jlZg5WPvlkuFLSPn1COUe4hcy6TXhZmQeSQ7DKy7yuK8lVs4eYc1cztfj7tTTdkt+c+4pqTT6IJVuiWfE9LMWtrJ0fiQQ15zCcZOylO7uoVpyMdYJq11przmSoi3NeSLVnRMsg78qsCcefdCzHMLaJYbdLvZlAEgH+gLOeynP0t4AGJtm0FplzHZYWLYYuM9hQqU3aNL7PtasoPKTGu2tl9EBf7LzijskAPigw95wMg5TuO9cOsNYUvK2gWWt45Qf2Qc1lN5f3+Qglq08Y2CuY/5FHHE4JygNLESviaoGqWrbLsfJtlkIlHZYVm37AliMrvxwMtCsljV4RhHawV+4iR4qhqyR8uI+ve7hWE0XrarSFVWpHlXwT7CFQmcewNWdZ5UEYxU7IgrSzMudR9GlNzdF2Y1usczojvOlCypcbccKFL0fpSGE8N9JYdOHAd+U6a7P2CvKSjtrKuYFU2SXVSP1gf59h6AI13OuaJw+zQU7FRGhnoAPdXCRt9CiN1pBE6DItKWsHBPir7r7yTQpCcRQP+bqO1dtKs8fsn6OcnoCUr0bBWrH28S1G2SAueXqatDHFlKdleNcVpGkx2N3Yvzmb9YFlLs1J1Ke3VlwynKNpmd1rTtmOMS47kCBvvQk5AOxTj+gzn9qfpCnPZTU3RAdr3Ig1p6UD57hR5Yjgqy61+wsxzkiNMF86joczBiuQj7fikrG1zNxpcR0AF5ABFMTcnM+BbUVGbijNGJecVUeQiK2kPO7ORCfaOc4tZpig2LgkHxbaL5W+VYp4O9tjSbJY8UvKP0QbTGUoM0+/LlCTLlSDpr9GDVBRHsToH7TwhKadHZh34/DIzdhc0J9mVk8SuaM86oYhAyXGI9oT/hvqpESdzJ8RJt0/XovuU91GSvbC3iyNOrjv/k2vvNQzri5NtwJy3xYE3sleTs3xFYF+1VQg1gPFWoqBsKZsvixnd8C8vvG8jjuAjKFaLUhpsYYGZ8hgPklnL+5/iAErYbC5Zi4KsAdpzs/kLmToOhdhjSjTKOtLBSZihnEp+dkkMMo1x98M9dSAGOdH0IeOw2O8L8KhlaVqfRzC0gAVFcop9mxesn4LXuBxIQwclmPcGoxI2W1XuZT57KMoj1+GYTCda1txqry8Ph89RicRn5mDLDev7fC97JMjdof9yhlJB/PmTUKhZRBilznz25D5UsEuD2k/YHFqbqZH7qHJ+ZFw8Co276yTZSNZJn/0SQsm9HHaB0UraPZJWT5vW7+EUPt8h510cuw6EAD8Tt2Kk4v0ZjPeJAZQKMmULeqBMyrqjB/0QP+5Jmpq9iNLvkFgZDfYF+BtgzRubgV1Y2488JEE5j44uKfdF1BX4pE1HkVPc925o3UjD+6IUScyC/ASOpdNzUi2Ov8XYbWOz0t1ThhyjyL3GlUTPVOBvg1D4xGLSsfbr6BMIMB+xVxRrbkQjUl51n/rJ/LxbKPT1qydEn1KGyinvs3oiVMK7SZSzLDDW94T8O5oFG1Wv6LnP9GlZe7SDY62yFnMVn4hhwns3OK6MopHP2afNqK9nQZGvjrOskvzZ0bJcqOfvDGsjii+JEZpnjmtvFm1WiziqU8Vx7Zy3fmc3+UQ+47AV2eYuwjaU/8GzL3v5kbgGq8JrqFDqJWxxJrxWO8yhZjkEfkFeeF3pZazV+qTBKc8U15aw+341PefTZJqhwmdlEvvUMe6biUKgfM05j8biq7LsAErY3RDgOenH3ONC40lT1pV9pqa1MoG/Te3380M6QS3Sy7V/osbtq+fC7TP3eaMygBJeV/ZPe6QiZ9tXDvryv+C306OcAZzdccySMsiI28tQRSjaX+ufwihIIoVQvc7jpzXoP0U2ovC5Ahnbq0MMgx7pSe6C7XrpdU/KNsCwr75HQ3HG8EmPEKrva/ibW23OO6mczcc5X8MnQoJxGUXaXHHurPG6POXnVCXHL8Lno3APDaOk0moU3gFyO77Sa6I+IxL8A9FixpVwO/fuqXjFffW5jMo/Zd4ojEvhc3e5sF6V5qdvUvZdMs5u7J+RakUnMf8Nx9JSjqpmK6BhLItAw9o5wGhfJmtYN6ghcl69xo4NnNeUYsupnwdndRjMgk9STFsTbAGwPHcyovCZFZnPV8CMJowOAG6CsjUoj6xx8piibJp39x390XbI5Ocldm/BpSRnpNCiekKme59DmxJUK6on7US5519yWOEpPk39eSjvGVPWBu58ieop2pxknM3ALO0zBE/N4CefA2M6+Lx88qwsNMwhw2jvs3bWcFcBn3BPuufvx6GV8gV5Xir5gt03zjf5sh2/nGzajuWheMKzAyBfspY9muSI/EqOPDlAUK1iG1AOtEqY/ZXsaWxYa1UVxG5cVjlrFz6hw2tQr811Tk9lUiQgzDVzkpqsPNKtTSh5yV/W/KSAeybS5kbn5I9XpiI/WwRjsP6y5r58/jU945yjD8sehRpkxSnUy8LGl/pnF1L2clJnRQT0oXqY1Y273BzL7inR+idYpd8Hdd9TjPoIa5kEmdYmY3lNbfgnohXjlNLmhfHnhUh7BkJAk4StyIFOwVNOUO75kdmxy+BpExXMGdMQ880TE1hm0lsQvb3hnq9wpam0GEpvI3HUM5DvKqC75Z0UY0iov8jL04MnWN0ZEFnQi4XKyAZQxo4M42PK2w9Of6X8RIvy9MpoX7BlKtinFl12UsHap9jLaLRnDCSUu4M8DPrOlN7ztdlEzgNLfEZbSVYPPRVL+HUUQTWMlY16lF4TZRwnE6DNMfsaahM1KI+QYorSx04zr/9Ic6PHK3ON+6v0VKeL+cG33OXO+BMyrP+sMOMGc3Cpvtt3QX8A/eeKPPWSswFb/8xLTs+MIlTlsspwtRofSaeYsZ1plyfP3C9yqZwvZ+qhTMWcH858o8xJ2jfA5xI7MFLUZ/UkPc1KUdyCuAC0nvi89JVMe9oXwaeSQDM3T3rKkD0NtvPNZzGkpy0pt5R3OZNC5OIJutLYeFXKVmAlpVBP0630lAQ/gyzF058lpFRDldAxC8mzNGzb4JF8FFF6nrZr8emz5/u+phLJlzxnaJov1ctuX8GfE0FsXXSHEUrQdaFm4d18Y9qG5XYSZLvopnJ33X6/zAQ95uvq0llYLZ6KU+m+Lsb08RggU5etr6tNndlzaGTpYpbKpJl96gNWRZFxbLpQBc0W7jMk6DNTZlwurTbFPEdD2+gYjUsJFldLZzRGX7WN6Fu7vxUJayrc30g7PBkGtRvICLTEcbWbWhi774a51Ue4oDv5xGpFkW01jLKXCT/Ll4RR5Tzj59jcU4qkm1rr2Vf0pDXTPZEN76TSEz3Wiq2FbKw8KG2kymQghnJd1ZwtTCdTkWmB2qByz87h8U5WIsOAS5vhonSVSaaktmeFWXYhr8velTlSAlMHbC6pzU4le4KkRE1P09m6GcUaLQdyXqVIKHufnv/WtTslBvMn6PQ0RTkylroFn2O2H40rzEF8q2wbXdLTBaJJykGUJsnABxE0Hva7SbZnKNk6kky5y6IyurMpJjZbQvHT5kR0g6cG2GzaTIkGeKglWYrnetK5I0pngDGWJJTdgU/5KI28BzSqSX8QzSpDGhD9u9o+kY5JtO6sF0xOszt5rc9noec3S3faS0Gzb/egZUbtkp6tOPOoobNtEpPak1yIwpiDaqNOmGssOVMJM2Rq4jdp7POeFAhR1aHHoQ1lDx/ZJyvMb+wxiNvd5q7dRX/+LvroDtCd3/ZHBif9pegvpb9s+7rLeX+56S9bf7kyxp0luW3rub7cO27z3c6f4bs7eUQ5IMpvHtiNo49fzcxo10ynyTjaTf/83Sh5JC6Mk0c6eC7jQ9mkTYSjo8UqPtRN2EPtCj6CjA7aS+zBe9QAZfbSYWM1H5Om+Fg3PN6tgBpYq/WPU7rDUqDdWMYyjYWIYUnHh97++PIrPd/qiHEXA9yVw1/ygW6JPQ6NDtlr+Ki0gg+lk/ZQPhpHYQ/rs8elQgN0olvJqOd84lvKp+4JexocnQrX8ul8JZ/WhwRTjgB4mhcuJDpzL7P743gWH53J1zoCQW1YdbWs8EEpiY9qpRJljxFadGjqYHAA1gKaInb7RNImr6H0kSRWcapilcT4nFd8GB3ZI5g8IJgb82CyDZ+M1zHh6j3ipfaEP/QU0/pg0kPqOcoJptg+E+ChcwejxHT5JE5jWcZCxZkQ2edHpo6zQsPn+BXM0opHKYJRNszahT0fEM8JzAQ3QAf4SZvXiAf79RO3N1DHJipkEUcWTKmgIwDLU9PtJvvYVDc0zSqPZR7neaniI+bUHjXSo9QgzmsY6ZRPN8z25n1vznGBU2Yqz3E4b27W6NgWQlIUgFxcZVV1fMbo9Ni9w91vQ8EU+6PIT0mxO3eEtj8A2L1nYTSaXYn89e7VJrmASyXxUlzAHzkeX1+PRP5yNPs/Ih+Pxy/yLFPZ5a97uOCrV/7rKDqPn0EnqkOE/Nm7d/6U4+nu1XIzEZf2VQs3s0l9LcZebyymo/rsZoZnrcMMAkl28WJ8NX0c19PFJU0stLBgqX8M69//v8O6fSLWo9HuVXsLdC5fLoDCMsuePIKNblebbmSPs+VRNPGxEc391cZftZ85QdqfOn2//ORwVzBaULRno/lLnKyzzfjlCMd/JoLTlO+nfIo0nSVMhOT/ylHzw+rH8fiXg5tnAm5fXZWDdyyE5+4vp8nl8qq9XJ6dje/Pgh7KoBF5tvxx0ML9cnp/dqpuS3XvX8KYrMVwv+yvj07CXG/Why9scRfmcyfaHyzHmg6dbiZ1bMaHK+1uYwYsuzf37uDsB38l/Xzfunu7ni9+Xjwdv4OJn/l3QKwfzt/QidezayWq8WwKf53hZabrh4kj9/jlm8uDdn7u25Hczs/XgNnP058XrpW307V0rfx8tJWaV1t9Bcw3n8gXL3BlzW9ZgtXAjk6AwQK7HddnZ4eNbKZWlu3i2bi3OKdWVOzinw/OD/+h/NFR//44k86BSedX8nIOTBre36weoAT+Qhn8hdLR/Q/zl+kZfHkpf4yDL7gQpm6xx7u4PpvHGyyK20OEpEdovrmcb35IfnQLIyBH7UmBVcSxKkOKHZ6bPl85IJK7dOQ5F3XDEmxnAvUP2mj7Nnoh2LIQdK213WGdUWtxw3qT9rDlkAh49Pn281PTs3eA4N105N7DcjYfT4iawHznIyIaf2dEf0h9n+8uB42FXX6ALj9cpZcfoMt3P3z4cUri4x6uYMI/nKU/xnfjyyOoBK0vV53enu7hkK+GQwvn0PjxzZCdaJZwfJvu8hTMY2JRfgdDj98BoeON8XP1KFyhwEJlCw+aCtFtVzgL8BfQhb9H0Q1Zpkf55zOoT9OPKLdHUB685IMQAyPsUcQtIEVU/MEuL2jnx+nyOnm9PPaaEPfz61env1ku+2HO80l/bA9AJXsBlDLjOCgRrkRRydugy4OXOHGr1Am0yFfQwm43Pq6WHuTc0/ibL3qtioP+j+k3aB+CTWxMAZ8cPhl8UvhIPGAaPi18oEzD964sTKvhA+X4AFUFZYXGUMzF6Bu0LpNHto9ztJHhk/KTWhh5o6ftC3tSPp0vAx88D7GBT11gzowxJTaUltRQCUB5ag8VVC18JD5GUGIKfSLAwRRQJrBR+J5gIAZTsdGQR+ezvACr/B/4wezX8fjUa35G/8GC9JsXIkNpZV+nN57QSw0OXgnBr5881/f1fL2aRz+tV1tp3+cAX39azLp/3kbfy2+i0dvNrIMZm+3oJQkZvZMhjr7/7b/gixnx7Yiru93e64SgKW/WfemboO6vphORD94rRLfxXUvB3bQ8pp1B0veBHTBp03L/LWtgJc9XAzO5m47mKzSUr68FGgXI0osOFvvV9H4MDS663kLuDt+6Vk8RAKTD5XBeSF6cje4nNSB9Tq1CH5P61LuYtl2/km6fQ7x9fkgepcTTlujEcdx9SkiZ3TJrjC9Ddni38C8nvYgeYljPGM3aapj0EU61nfTDd5LGUaPnM234DaatxlcyAkAczZeT9WbW6r/L8XCA+KpLxx3ecHzoDcf1TdysgCOhl/hpTBSZ3gCuP/3Wpv7tMS/JP/dMcvAavtur/MWLbXc9xQm5BQMApu82NOK8eTullxGOtt2Eqo5pnh0U3xvHSXzktXTrBwv8cJ6dEVtDNSXpDXaOMO+mYO/ySniZHbL6rvHvr5GXPiY5fBHa+gYjiB93DayKteQu5XkWT3LoEj7jM/hzCWBTEb4BDfkdoagB8VpcqPHZCObldXIB3ha0RCsdWxoTcBq+/yzwG6bvdqNdM74cug/TP//pmwOKPNZT8jrA14jBrwCH4jbuPYgR9DKeiPHZw7vJwyFs08MSFSfQAkDgxal2Jg+B+WSa6WNDb06i15Y9NufEJONAT5t6+lgHVerDKmFzRGpgT5h9qEjg9lbtbx0XA7UBfv8apO6sns8+aC8SHv06eR+8f/Tg1aNcKb57yqvMtmtn876nl+udPwaDcK9e9V7TnX2NKr9NdTRfjrbr8cDlde9gPQVC9V+OxNngFYP4ataDRtSP08dLe5n+OH3Pl9mP02S/pvxxKkupMMEL80HyrKwOusjTQ/052oeK92+MD5Qnv2v5bt3VO/ve16iO3tZrVJAdvgRZr7eXbi6ipX6IFnF0H0ebGWhbIPdqF23ci4WjetOQKB3Ov2379Lu5QpEX+3mMfdjF3bKytLl77/mm29l7NzP/qq72BkX3p4VsPPyPmgDUP81ZoDaBP+i1Vuv4zcQ0vdsGahSK6OVWtqwO56aPuXS7Canj5bWQ4yXKp0+8FHFJL0X8eH82LSuVuJ2Jy1G8iO/HU/u6M7iM56sYlHAgrPYhDgayRmyBjK9pMHYsFxb7A+RPvqlszq8qw9eM2XeWre3LycbDN5R9+q1qh+M4fMle3Yw8dWNab0jD7kroatxN4e+hKppNe7QAFFQC2LJZBaauEpkq0rxKcc+n2N/kPDLyOb/mzL287m+xPNgaHcfr2Ti2r8T7TKvQHNabb2Jm1L4IsAY+fvFiXp/NNyCWLfp1TN9DoQysOl3Prt+E78lEzTi7zrTIXrxYz66qCi/3HMIFdb2exfP1mEJloEtm8WK357Hdu2qEKM4q/hkHIPc7ul7soAz/hAP81e0K0IJaTOfry3vgZ7oNXxc7+Hq/O7Q513qKWmgBNqdVKxvqf63jqipwLPbNgP33Q+mHXLSJsd9PKaK/PNTr0XebutNfL82KXm8G4qnGLcp/VAe5BbxNpk7VeKNsK6ZOl/T35NQJ/AO+W4RhX1l6vbNNxr3guT9ZiV4Xe/QVu+tTMCJoeHOy0smGwUJgmK188S2oJx/GrPsCfE+tLfRRjOVuivdFJV/0b02/dGYzlcksmw7eh+veFszt7l7he+A39/qvVuf77/89vnTCfbBUdq92s4Xe7urF+pqwgjERWnsrximXKb3avN7dvJptf7tpAH62/R3ood2rerG6W+7+21/9Ne477y//GjsTIHYGgDffQPj21wPZGwZvSFigfHjNVT1Gd/P1H4Fd/w349fu6c6i99qhdhKjZMofMhUemh3LIX/TIj8engjvBkpuylsc7oNBBk4Mq3MTbuKeVp/lkQPMYtbeThsgOySVOvKlBYhwL7Hhrqke2N6t6rA8V8PpmwAT/RBLqKLWnjh5e9LOadMLnIihw8olU597sGT8f7dXmor3ejD+CeKPxgebTl8NYGAwevDJwUJAK5KTIYwRw7tSUDNYxyF92AN3i3VDJJijp1THNzXhKnutDvNnE4KOie3o/NPbf3tWb7l+1RvZES7//Xj/DoAbNMP7lRNn9eGwt5WcY259obnOqOdk3B2P5JVhqaET/ErAlgf8CtIeLSv5C3mFocoMYukgO1c6nFzIqIWdr/361WM81mNlonL7F8NRGzxb1W43G9v+tl7P5HG3vxaIG9dJB+dd/+MMfoma2rDfv8xRfuwkLfQuazL8S9Pfz1RaQ9w2u7nb0etLdTW1vbsBKv4x2M/BVt3qu2x3Z6fPVA1QGHth7v7Sf5SN7cHvxmmGEy1xPZRX+pOWLF+ZqOsxKzYrxR+f1AKNzkMdM9kCLA7hyYpzc26/rZdM+CJjEroOjaQA01r/czMxuOwpU//0MXJz9rf/IbTE67PfToaxasP6J907q3sGte58l8Hr7OFF/c93fNX1TwE89igOPBvvs8dvTU00MOEDfj/H7GPqAtu3yB/R//Wo+azbAWB6GZ9R7IW7i/dteMXg2jeiV9Z+p+d33f8wU1o2urqJMPaW69NXl56p/8/W3rrJf76dr/+sf/vDT73/7J4t5cekWI3i+8xU4XfPVWzl6HI+js0jEUYKOWPQIlZM4at7z2uNXt88+0Ova99ZMM9t9o5ejz2VARP3ee7h2jpmRdk1Fo8fouh8mAAFe13gHxhwtozO++vUTcKBdPVieMhRefApIyR5ISQbCi08BiTxAMHf45Z8GCgblhvSZAQXjccP5zGiCwbixfG4owUjcQI5D/BOwydjV2FPUv/aMtrxbnHd6GcFahVV2jTCbFQr4LtqtoqWuwWTZTfQ9VOlWd/g658VL+XcdR/LvsCyuptEiusJr9co3+celjtAEQWVwQSId2HAy18u30AO0BloF1QxucxjkY9AGixXoidVSE0930LqZPQIGWBhtUQzu8XWv2XAAsV9hMJLPsvi72BkpOmR2DeuKpTWvGmgZlt5k7y52gXed5Bj4VsvL/roLDbpopIFOCc7edgk9Qds4nU4lT8C6xDd6T3EEuGFAjmpfty8MoRCon/p3UAHqnw96hunwFH87uwdN+w63k37A2aM5TMcXgwnAmBrM9APub6AJ0NI0DkbyDrmRpOh4TzDoPW4Lxj79zOC/aMgnh/3rYQqIrTaB+i8HVX18/2HWIg9IKN8Mp84WXSNCv/zivk6n+P3FC6THC1yXcAO81D2KvDtBkXdY3dGQxkB65tKRMBjBwZK1RtgUdMRIwIDgP/yn9U8P43NUgGN6lTs4O8Dg+zYUgv7R+LUAUN9/dsEsji8YHAbC40hQanDaIY0jjiaZDANthAzgDAsXYeJIHAtC4qwHS3l/AV0zEyH/kOAZ8gWyyhQNgYCbuGpQeMh5R7EksYJr/RBNXCYsjgcN4VrDRR5tZ7hBh/t8ILCPto5NTJCwcOETQf0E6+hhBqISxCzwIs4oLp8HkrMjfQasxndHDySwD3Q+ilA/ew8n5/dpUvCBpF2e0Pj4HnEZ1MyTwQz90081FNfbHThv0CxYhdFkwP0cfotGg4po3VDlfqkwMfyYfH0/qpAn1xjvBwE3HB4bn/vb+JaNotd2v3XAQmNL5wvLJlOk73COD6cKynD1kU7kabHL76Z2OrRGc2+3qdt9JWarHF9mn16S4yNxvTUwuQ9XHl85ozX0sXY8OFoAwjDS8ZAIw6VJMzaEY7D4YAUcpkysPbHXg9WKbV3gvevrvoH13kroJ38xW/apmG6Qzal59yRyWNSwchrAoYY+m8tw9tC+RvcWbRRMv7iIsCteQI0Gcxvpwd8pQGtVv9wXqwD7h8e1n0oL+n1vlxDs959ZiUeY9acDfL7fQ+h7xuiAMxESnIa7+Xq0rmfd+ByRHNsHZsiyQl6FaYUyq0vw6nurQEDHAUXY3mv0zWzZUcXvx72V91+MvPVKwLefrMykQdNxC8Ncg6//ykqpha6hGjZIfdl4H5p/yxWYeUvw9XewEvwc7JF2L4LouR2x6en7XILfHQsURJYEpM9Q0dtvwMDo08F37sSXu+99Ddurr8BfbbnXkGHAK+6XLK8uHhiuy8PtJqjiWM2P2I10crDsO7a6uF9UjHvl1+SEHeLVQ4QrtDuxPq07/9UgLm3Dqv102HDv9/t3/hrccfHSw1tQ61DcbfT9fx1CBLfDtpsZRo7C7re3eIOaPckl+xrkFPeZQdMneXFqqTKwBUEN9bTxWO4NzlNmPIC9cLA4Uh5QvE8BT8Lx5f83VscbZBleuwDHEHEX+hoG0T113/aa8C0tC2e1krV6sCoob+70wjhqZkJ9O+SX0Nthjd6SPNjWQWcUe0P7DbscUtUWW21rvZypXz5UBmYiqVTr1vSFEy49RDaB3kbolGB7Z9bDPbd3huapw5BpgfjpI+2hd5XYeXsNKvwCv01CIw3F+QhjC1dU8wy9kbOz5b5n4xq87+2Oe33o6Gyd7XGPqRneug6tAcx4e7twlNmriEUDO2N7sAsFvbAp5UF5er1so/2M03m4ASdi8PF/AI6HfnY=","bundle_encoding":"base64(zlib(UTF-8 JSON path:text map)); AST-normalized Python strips comments/docstrings only","bundle_sha256":"4f3e024388c3fac92e5a33ecea1ac3e08a68a5fbcfa45aaf86baa0a1debfc83c","bundle_zb64":"eNrNfYt300iz57+iy55ZS2A7tvMgBJx7CY+BHWCAMDDf52R9ZEt2RGTJkWTHhpP/fetX/VDrYSfMMHcv5xDb3dXV1dVV1dXV1dL3ex9fPH3+9kV75t07uvdilSXuOLPGsecPv40O9qxJEs+sxE8XYdb+msaR5abWKQFl/nTdTuPQGvlp4PlWduGnvjUJQj99bI0WkRdKBEFqfQuDUWscz+aEJ/U9649PL1uH1v85/f2dNXezi6PMX2XWzJ23rXcxo6AOJ36SWllsuVY6pt7GF9b4wh9fxousfRa9T/zEv1oEaZD56ZH1fp1dxNFu05qvE385szrt3fZD/GoRgePWyuq1u+2O5UaeFURp5oYhEYEqgjxs9/ba1otoGkS+lc7iS99yPS/IgjgiuLW1SP0Ug7PmQRRRs0U0BzX0zZ3NhmkwGxKdHeBvz+M061rXF74fcl/RYjZftyV1Ykh+NPZ3PB/sTYDaiiPqg0iKPDfxLOJT4iZrGuFcNCKOzd3Eb8/Xuki2Hk5pCsxyggyDsavKrYMO/bMOrUE8F4PZmSzCcOdqNrzs+q19nsxz3Xrpj7M4SdFwB3Oyk8U7cRIQV6ihqkST9vSbbuQz19DG+l8kMlG6mBGz3DQNpmCV4Gbq+x4VTt0gemxFMU1nnPjWOHSD2Vn0iRgLslpXMytzRzTzYBzYrTq3ut3D/YOWIIE6SeYLwkYYSGb8RMxRupjT2KlHjJ2meL7I0ib1lVkXgef5kRYhz5/7ERWMAz9tW9R5QLMwT7PEd2fW6aunvf0DksMomPhpljIpF2564YsOg8jUA26+tsZuhH4mQcZUH+z9diKhHlMByb5QBeqZ5taH2hC9Xkwo0SyIxuGClMcPqLEaHWOG3n0jyhddUpF1GLseFMkX6kkj9YKEOEK4WD9NhWQmgx6Cn/vJJE5mvkcSvoJeC+HxWoLXGBzAaMb8JAPU2yAKZsR0f+mG8zjE1CZ+RlOXCkl1V366MyRB7x0R8aQlbhh8cyFfwAMOkBgwjQ1Qiy5JuJMsiKbWxPebzNN0MUpJe/0oQ5lgbrqOxhdJHAXfoFkTmlqiwU/A4DBsW78zf7QKWbPYW4Sy6YJautEUuqmmchzPMcNn0UehFEIwYIGoQSrltkUyOJtTMxAhKCMdihOa+ZDsSkJsINTuHCDphevF1yTLhIDn8LHRbbfzC5E5BwdmVJkQUyw3Y8FnLTwg+qUOamH3Ancakb0IxnL8GrMVuiM/xGSQMcySBalEMtqZJ8EYIojp1Pyeu2xOg4jsJHgvqGxbz4gwgmbTRZX+lHg3ImXyYJuDdEgIRSXNz4KIInBP4AEo+PaMWEV2ODmyYD1mNCtJr9NpWsvAff2xab13k4Dk9L07vqR2H96/6VqjNZliYuCMhIV/tGhViGh8hJ/I0+Lctl6jG4zVs0jEgvF6h0w+sW2H5oNMxySgr9MFzCHbgoBsSkYTRQvNhbsMyAgUJ50VYBZErTCOLxdzi1YIsSCxiCf0k+ZaKLOEgEhZvHS0redQCJbOIEkzZkFCVLkYjOu5NPilb12SrqaYUm2UpklA9p1UiQSHxYiEyiUDg6Im5oJ4EITUsZsIkfcM1AGsxwkhmAVJQnaV9O+SeH6veQ9iChtMK3EwgyiSXlAPsDdNXirJiDRZbflLQqjjWRNSd9G0pt+CeZPULVmMsyavuU1r5Kb+wd5ZxEySq6PE/OLzW1pIrb7C235Pn/ZwiPV3OHTapChxuPRtpw2libKziGhpA7hN5oDshd3h3uz3jnMWSaRX8/AsOiNpmpCSjW2yIqlzdBZZ9I/syCIhtjQa7a9xENm2TRyxl471i2V3rSdPLDK+jtPO4iGLkr3ba1qNUTBtOBYJvbWE/WV8juqBjJlNYxSrTf8l1fmlzgbURRtjlzhHg+AosB5Yu71ziVw3Fx+ir4BtPcQLYwz9yB45TWrknOddz8N4bcOYqi59YiXx1HbET5d++m0JJz78pN/orBrUf6PXaVj3rR5hB4r+mMVm6qb9bkf8cwrjsGE59bghv1xCxPthk7kiWu/LxpKkEdNA+pO6U3/IzfCnlo4s7hM+VHtu5vaZX8y6C39lUzcOgespFb3R/xKZPCNU67flSkkgQ7I0Xk67MCzDNF4kY9/GMu3O/H5DrWANRbuSf/LSVqIkTcY0nu8Nc7FrHFEBlhwSUPqe3txo2PZiTiPx7e9REcZ+b+1YEeTb9YbwPG3nhmc9wqwPGk/fvlU9nJD2cC8kLK+Nci47v5GDj4kqJrOtByf9Oft7IyQpWhD3qePGKVk78izXQCfGn4LmZIzffoZFMuUBaZvLv/wIlsyj759oNSDYZBEBjgzyDf1ik5xXkoZ/JhtONgZdzmGo0R+ZQfKKTmlhGWei7nvjvv47aLijoCFatzH1EMh2PPpK0KpYyrB3Uq1OyTWjMb5x19SNgp/55CN6r3kRgE1PiWP0r8m8Gi4FjSSI7IE3ioIUDxrKj6Bmg+KUnw8gMudsMHP/mEwmGzk2oUp67mvDlPhkv2iiePaL+AqicBaNwhh6U1QA6iIlWz6+sBtioYO3S7OcYfHrE8TZPXvQaT1yW5PzB87ZPdgVZ9A9J3zCuRJWhFA7Vr9PHkP3oKOrpD1v0/JNNlBAtQmnF0xp6bO5ReNwt3N4cDh5NNr1912ve9Ab7016nYcd/2Di+l7n4WFv/HC0Nx4TmDs6eNTZ2xv1xpOHu52DycFh59Gjxlkkxk5LMFlpGvV1QkugMozo8yxK3GsaOru3Hm1eUpsg28JnFCBOm2wAfjmbqCcUVeK9/YO9/dGB5+353uGk6+/ujscPuz0q9h75o0fdA3e/440eevud7t64d7g/6kx2Dw/HXre7N3l0MMmJvxoS+aCvRD96PaPZ6FcMjKOaygqv2Jxn3Rjwd0PwjuqMjTZUR1ZG4ozViHwzWsmglnBWGnLFKMhPNoBOQJTLaoQyqUnnDrCRVJe2eJtE+y7yDCN/dhapQQl/x09euQk5RSmcSNXW+k5wE/Kr2LtMF8nEJQNlL2hs2BZlo6b8Nr/W33pNVX2pyrLM0Vsza75IfKnTqS0AJJzz/cMna+bPYnLxs/5VZmcj57FQLVk66pNqPVb4o3E/G/X7nf/s9o72Dh8LnDaotLPmqEk0ETGXzSxrRuNW12nqmt1e5/4fLU2zHY0d/DaBncc3NHT8b9TLEFm0It8aWqrUVN1NujJMMFZu6kS6BpvkZFQrHzTpfkiNc7gaMztolGevWfwoljoNsqUflN5jq2nHtE2uKBx1fkJQMAlkc1PfLtkTljqhjoBNyO3tSxe1/ZE/7C6VX8dwtPtWp00WcMz8pi8zd0W+gvh+PaZ1l76+iyNf+w0I/thZ0IT4QfBI4iBr0luYknEieWPc5MVEGZxiYGxajE1AZe5UDuDT019PB1lwLsojOBbdnhVMaLsBg9WxfHImrb1DucIvCB+alj2vAQiiLUbk2fNrcqS6/oPuoaOLekbRpSrNMl16Llc9PXj6Yiu6p7IyQDn5y7Ax82v4od1HsuqrWdWjKhpIy+rK2gl8+2sqCCSP8LtHv7+CqSgBY0eh/Ulx0XTlPg2C88HXc6KVvPOWNYEloTL625XlVCQrp6iULRhgQytVxy2n0k/uYrEN7Q/kecElpTk6H1yea9ywJw+qAIwKQMTOlmXzOGlNRcm+dH5zxCe3IT6pR/ygFrGfJHKq3FFqk2wMOuekCDylBOyS9bFUTdesGXUdNacTxnIsBNbgvlIOqjUKpT4MKuIv5Rda9IAkuIS857c6B+bUugHhecrLNtn4F9h82jbBSiVpCkF3u01JKrxi9JmN4Br70WLGESz7ZNCg3TVZGr3dStkHRgzJ/g7O0IYCgrmLnUVCfPQcsbNKgCgbDRofG+dcgH2xZbeoS4LsOsqnvk0jxxs6jMiXHhv9jVV/z7b3p2lLUoNhGsPYLFU1Yb5LPHRK9UyjNlnE4LGgj2zGAYnHhKxsZocY2EPDgxjBQJDH7sNlZyPWYIGgX9KyTcJFetGHqw9PFeCwStic6x2MoKhn7gPBQovscRvWWNTvy4EbRFL9IgoQYAI3aeqcSmHtjEiwHPdDo4SMPi8GvHNDvIr8JiHkT4R8Yh8uhr0ezmNiAyC4BDsdxpCX86ionGZ8SAI4HM01PsWrISQZhUKiGZQ8nCh12bEhnwpNlJFt6JAidksySKXXvMfW09Y1x29OHlwjnku72os49ED5gYXOb8p+ALtsW32AJJ/wpDSh5PrlcfhNXl+2YaUueSDO9i1U7see/7d4JEH6NBnZozgOtffxFz/ZXflcYAIiX23mBEJUbjJdYutFpIlVdUANRq4nv3GApyniSblJ+6x0ZeNavxwcPVILNuFtIzBMy/k0N+kYnVwPHOs/+tSi1T03DAPRoFoF0Ak/Za3AZhw7hs8OiysfLukiWjZ4N+F6XBukAoCVxIWKCHn+TlXAAxuDsIwQfCHousB3AZIuZlxCMgPMslKeRKQFXRkJVYJ03oiuhnP4usQZGZkQwVPojog02gg72mGQZaHfooEGbmRh3nZ7lpsk7tpxEB5AhIkPB3kUaNemH3JnCQxtdVhoi3AmOZxkpRpPOGb1GiGrnPT7+KCNqdymOjdaJ6Uu3UUn/TTXyu+XRyQdEJNLKSZU3aZmM3JsMc+XmNwiN26qmlw6j7slPpH5IQ5cmvyFjBJZUN8Nm+pUrydDuPJcRrWH9J9Ff2Ct7Fj3ya2k5fET/WKt4Ngs+EAK6eY+PKnuz7cgYH0laEI9bTce8EM56G+d8smFLbnQ/kSf7/lsAGqZO6uw30ngIR5JHLpPmp7W+K6obV+MzYY4q9rUisEniPmIbzCFvcPe7kHnoNvZ2z082D98pLy4qp8sWzdV4zzSyYcw9lIHYxdrMiYr+k+f9EF/5yscUpPoUHPudilA525Aqj2CFLgT2Hsb7QC9YgEkVGLxtYELGNa5FcK5IhBU+dKR/IC1FlLWFqdCNuBhamA+SlVEhdMswxNVTjFih5bdNq3NvTZLomdM7vMkWPpJYSKHQ8zIcCjnBEdllSnh87M+15VqfMltY9HiSHwZgTi06yvp+tQkm5XGE0SByQFsXM1gDpWWGDvdmzImnNrdhketPLvnNzxJobEcOeSN74opE5vaAvZIbHsLZWS3sV51wFL6c14e2tW22sS9vqU9BnQHkO3dqM1KzZDyhbeI0w1CMdgNqlkVAnGkyUDGrBB/NZEl11uXVxotjYW9KEdNxFcfuv5k7yGtT4Nuh2TY+oP8Xc6hoK/nFYnINT7XW10LVRVf1tDeKr56UTWt0Ihk8o8NUK5hqwpQd2LL5k5KcBu7Kdk+VDZNSKdks2mhIKMh5rhgBjNlCe8PzZm/psJrKr0G3LXLPMTK/E1HTnh5/sZ7OYFAYHTM2XZDDpByhwpTU+Muz1PTqrHkCtcFtqPaMooTdPu+PApThl6eTdbNGLfHivRDE1VppSdEotWsrWOqQcpETyTQbm9VIE2YLDfHVPSOK0o07o3c0WiflajE90yx/rxp7RfOOE2jUfaqmXq1OlLnFcuZhz3UtvxrxbenduX9uTjoQJRmCYFF2GbwlcM+rKI1MyJsKiJfIvZTLMRZ/LVTbOaVelCuXJsTBiY297ihS28iG5cbTZjMH0NGM+rRAqTWFYKsiVYYtVhVNwAok/+9AQEYkVeOpY+ngqYfCyI24si/oK9fIREqHQg+NduJhhBeKnCZcQ0vmMg9uNzPY1tzQd6BUCwquBjf1MxIegVaSQA8Gra3QYmqc5aXNonNzoZ2OfIJsE+22OtbTfVft9J3MNBl5DWrky00yNm+SAntdKpWXhn4GtsuTvmZr6aGTdNNFsLcEtTGCTjx5/QimGS02WrQFA3OHdpPD0znQxJGPpjPO2XtLZLcRKY8IvYjREpJN8eUrodidoaleqHNAJmp0NKAtVcgdODXdtr7eTqKFEMIMSZkeDVTmCsy/V3ux00RFD3drRchk+c3NeYZ7peOFB4ZekqFc9+9rA9/2crkYvfPXCfawXaqnqakb0l8nRohE/bGdXgRq7EZa6lzeLuCvAMRs/vhJnymUGjUq2/UE40OHSWCMLxiz2HzxkJtVKTFTBaRLaRFV8HiyZQV5TBi+Go1SmSZ2CgUNvbbwwqEQ7kEGyN+Oon2lgiBkW5MznWS6gpOM0ZZNOeD3kkwNScuqAlTJxHW8GguQ7Rt0mWXxj6kcmZNP5BUp8E3n2PHUx0G7j7ibR5t9hSnkFtZhOm0D8jZ1RBpMJ25FRCa48PDHu8sOrRqHaqItBiB5n3aPg1mC5E294zr7GiYZv5cJks1VSLqkHMkUdg2ClflgrVohqLpaDacLfr6u5f1eQ/LKa/hkDwYwhmPCGBfF4IjQx4QwfZEO/GT/2o4NyEJpO7AnT7+6BrE4RhNH3/E5rff3SMm7O/3SOgDx/lHory1MZrstgjNsnoeLij57EZBGLqbUw+aFRgcm4/EWVaRiuVtVJAUIN6WZm6WDklRfdbTsolCpnEldU/KE5FzsGcmxhFKsgTDEeKpdhikmYghUCN8B5nw7UXjAaM+Eh08IERk8g9rDIVYktikj0X8Ij9C2oTpnE8hYHpSGfUdSVOU6kCE4Li0FLfkr4zCeHwJVCBMRm2Zbygy2Gg7RvJKsUIYJj7oN1JRRRaqyDVVWaZkh88iHKZjGhqdMaK7XU446/L3Hn/vjRs6c1KkDnAy0VGeP8fru+FXePZkVnDaIYYyFowbGOPLIWRHhoQJljaWhJIcDATfjf0KzmYf6Kbkk4yhdHm7qr8j9/IyuwlYB0d75zjxGjWQ6dyQVANz39qT55XX5DyRwBFrOC2HBtB49erkROW1gT8sV6j4xTtpWL8QoFobop5sQvDa0/nSe1NsdMGNeqoRnLooc0eqqe4LR7NG8AUSOMy1Ak1Mxl6RBYpC+p80xakrkI1OcnQKpZJxLxhn9pXfR8M3/cqgQofU5qNZ/orLE5Q/q8KPHccxDmFZf9GdQeLnUiiJR8Snr2S93jTKu5nPYQlet0lkm4+Nuh2QtEwg7sKYh/KWThA/AvE2tDXjw2WHEy+capOEI5ADIK9BCLJWoMqrIUg21ythfI0DJZLbVU0/n0MDrlT/WVV9Ds1JHTQ+NyDDnwsSLwS7nycsFuK8PPvvvvQh8F86fcj8q744zr6gCT7tD8SPVIRocP/AOiUT967Xj2i1JKHu0/+m9fKkDwHGTPfxR4fN07kb2b8h0n2UJ1LLDe31Be6GudYTJu438LzHx7O/DVyRW/Kkb62OzIBJHh+QA3BVRyIff+iughT9RcYBYEl7Vob2OEelcIwmtxAkUQy3ySGwV0QnUXiOIzdbkyrLSnF0jnFITogkLpts27svUE4cD0WnigKEZmWwnWbyym9Iij+Lw9jP6jdHXM3BCqVhVBIiqUJ8BMS7LwpiXIV4xjiIKAnzssQ1Iz0iJ5rZ1rQWQBcOQkMjcBNhMLA/E08GyflgrHOIFtgIfJZc01ULxDqu8uVVdGToo3NuJHWYlR9FJW0kFmLjMBgUOv0bSI21JPdMTFU3fHHibUnlsUkHX5JBULIUH0nLPnY523MwIq7TX5GmVApqCVNTY/m+GnOBGavLVhFxvWA8+Fpjp7D82h87xrRwatfHrigpp4IBspoIBui6FLAN9m6JOVrSBo/8czFTnXanOuS03u69NIpL1xReGhdIdGazZIm4EKNdFFH47guVvh803n1RShXxgg6nnHzshpoIZr8d0Hip+EunwQFF+vpKJh8Vp1+i+iAuNZB3JnDdGIthQNYjc6dkJ51iSPNbMLfhdkEWVC6WOauYZdgH0f/LkwaWjW4leQdj6jWM+YYSb7I7OdRT1tWByGd8SWoscwUfWNf0DSlOtVJXy4QaW2HQYyb9UadPCzUnRg2ouR4cHWGBZBUlXSCcT0Ecl27pSIrFB/Z69WE5Ob7fz+596ZzdO0ICYNM6u/fuC37s9rr8o4cfe4/w/eUJvh/g6zMu7u3h+ysEf/Bzv83taeXDL1rFD3jP2eruyk+xH20dig9Zuy8+9sSHBO3tiw/Z8KH42BMfPfHRlUj545HAzH8F9IHALpAL3AKnaCZP+3gDz+e5TYvrGZRbMQLGxWi5B9Gb6FrQIYgSFApyBe1iIGJUYohivGLwkhWSM8yo8xuESfSN1OKOxDhmfi9SBrYdNH+qHDAiXeJTqexLB4VChUtVbAo+maYgr+rJql6l6uWJqIIilqqeyVbPqq0uRA1LUaVSbA9AZO9No7B54uu5crxLc7xf1DEQ5DA3FaqUBNoMUS/hTH0hZ7B8dCKTCdqdEvgxwCP4wRuaCM8wMlKU8S+MaduEBEVs2MuVwuO7gEkNYwQIS5hnAVxym+oeEBQ5WDtWr3L48WVAYOwbLmsWvjDmLOrSAQLMYw3wRVAGlmNjCmjJalFvYSxcvS+Di+Bcl6hFhwM689JFxVKoZ+6oHCI3rF4HjVO1DRdbctw6OYtevfj4Aodk8o6mFyS4JmWr37RGzAsXPJ3aC53A4hi3pkTMFNHFj/UpSErrmjIZ6VfIM5620LI+tt/RUnv6mos43vdobx/+Kk3Rx1e/c2Hv4Cx683z4lvaSz4dYVG2MjFgx5Qhht9tFXnu33X14QGSdfui9f81+737n4KB32Hu4d7CLcB5hfNVhhPv7jPDlH2/e8KmPRAYDhP1Cp/0QMba8nCjdsWREUM/R/CKwV6Up4ib+am63EJ2/T7uC+0jH2bGYKNXyfU1LAY/0GNWzn0xoV0D9tve6e73u7v5Bb/fhbufRfje/3Zoli2hsz5pIWxA6oq9GSuUkimsS99ENouQxQGb4Q0Kr3CcSnKbhRqWe4lF6leAybr7lgk61rBkGmHp51MxmXSwU/xvOEQ17BP7ii5snI/2b9mpdnxamGkL/jXEBaIYNXSxovODUTJyA9FSK8pw2DHPue87Imzw9I8cI3ttzl/qej0DWv+WdCt+FZZsRy1McEMp8+qUL+GU+H7ZL37n5CF8EChywok0+ELR7UuK4wKUNoTEudI57uYmRBfWRdFmoiq10xtm6VDVx976P0x3TiKu27crKVlogYNYIgUVez/ebUt0HnSPIkAOkMInDFXzTh07xxpQlPK6Bs7P41nU5d8lUvG6n6LUzxNLkmy7NiE9ZTS6UviRUJKF3wXmPVTylXD7Ykd1y4/mmtoE44K4bl3xyQn1lhMDvcBLyFSPOBBYsbE/9zG7EiTsOfWrdcJw7JT/ppAfGMsQjKuyO9sw629OR7I86XQC3sfNfrlN7vitPh3OyxIMSJGEIbfagdLTspIU0vQ+Kvg8FV+ADrhVCaOrdAGNEOWpzQJz1B501OZh66dgNcbuyW5AnrBkfeOOUl10WxUU4EZcybHSah42oE3JaTuWlnxK1l6XckowTMalJCy3ECq+aqrICG7KsYjE0nrL3RIXHGFgdbNeEFVfYEGlHM2KcsZtDKiNYCavWSBv6qFgqK8M0xmZc92nTgmdauFvVLGytDOA5trfX6qD6AoZVOMuFkRAUjbo0Dm5aHjMVHmunulVx7biNDCbmQKbjCLfiuqcJKiKXnDmqeIPU7InVkm55nT8ItKq+rvWxdUvj2rZz1IQ9xbVyNR8B9JTM037hgSl7Nd7oXPck/P2w59RgrDr2IpCHm4R54VdV2CtKcFCYoF6Zlxo/1xZafqWWUa+mEboSFcX0NPOiYv1lRfPC4sipNy1UU3dtcbT93uJo08XF0dabi8pTIoKe1l4sfFq4TWjcAxGNTmobnWxoxIZd+NW5J2rDb7l22F8iD7bLS7iLe4Xa4zOXlDoMiCSWMYwIQ6sOxZYlo5TmSWtlfaYnVsiKU4NY6ZoUeWVMNUwf7nbmroEhYdtWYrWEE4bjggVHHpwoq8u6qngZ+eZQ+TLKdZDOY0utveVzH7FLLLfaKbZyy63g6vMSwz6UXM+XTs05Vh7EQtq9By51EXVx6gK7S6xj2IRVq4ZN1WnNZqMIvgFLOJcTkY+2hjtsS1gghEwZwLcxZcMORR+1KBsUl+iSZGGnYEsi9bbF3LxoCzuHDEpfA2kajWZNuBlXawnwuGZZN3uVQyJQKJYofcAt79dRBM3b01+KaLGZIN1ZZneZJJVxWuCvFD+nOhQ52kkQ8mjrhGfudxT/YS4K5+XaKOiFhlzyajV1lGDJBar71q+9TQedwKJgqiB+KPAcM8zOHfDs1OLRkrihueeHmWvKc9JjihxlNX/EDmwJJNX2tdlSmL0nPR6bUzs4JPq2GPGGTp+rY0MCfSBIqAf86o4F6A+N6Xl98nCOsFuH8LlM0H3eRLSg88ip0y1afAjs39Z9GVB5hUEAqVQqzaDnYJeMATkcZemxt/4c6dHtMuM2DMbsD8Gqcicg11Pkyg7fohvEsbi7AgS154qSE4eFQtgHaqAMBXctUh3NEpidmjW5qMz5RnOTRgfSC6A2vFvdgFGtsPOAzd3+pg75HhT64h0VQT9RNRdu4rEVffRoX9TajEyIdh1QHb2zniDivlprHijlmAfg6iyrWfJ0G8PS9jiztlduby/5OQ+zzIBxNqXHN/PwhT2jjeuyKkzCwFCfR3dBIsirW2o2iGUNHbw8lAXLN822aFRdAHQcBdZ5k3E2gi0SqGbIGgj2eZN5LmKq2uetkaVbRiQvPtayfpvNH7v8CIUar2XzAsJtnujhbLCExmjRYBuQGjKSgu8kBQbVv/aqy8Vmqo//W6jW/nQxgsLTiH25OInWUE/6KvG7t33Le5HWxAG1pRJfNsQUs7oAYGrEiApHD6mjuDnTd2pMC3ndK4JLpt3SqhjTkzE2M7qW+7nS98+x/EMBP+zclm4SuFGW2pxQvzELKp37nBQDKDPTwJ35TewkLjlFk4DwdKiMH6BtN47MaBOi0f1CMJrzATJ/BryXS5qUMKA1odlwajSYwGpk9pL7Xrqc5EQgZuf9Ro0mEBG07zYOyvhhpDj2YjTygj8eWodIOEulCEKhsj7HC4PmYH1dLleAwD6YNBwy1uEQT8gdDhvF51ySa69OOzIon3FTQmacyBgNke1HyyDBk7ixgL47ffHiOSfZdvYOG4qCtLMBHNAdzs+FXDXM1Es9DPGkVSkU+e2Lo3OcJQwa85AGcIR1v9/NHwHEwUn0itPINv6YV29lPhSNkpOuxXN/7cbUXaTIEKZOZd612NameLQsTmciZI2CJWYcUmQsEyo8YFdyn7N8kNLbsOzvBgkIrXSO2p3JTYpHT5QvX6gHDphnrOJoFYesnN38z5yrumF+MpQ/7cDmA9/8pOivHBAJLeM8TX38U7n6FUTqlIJg2vN4bjeojP24gsEoUNOuJcDZdhBSF5+pXo6WeR/6CLb+cQ/lkBJfVz0qBizrlnnxNIWpO8PtDH5ws3ygQmG9F89nYgu8CKWDMV850iijaOWYvKlbn2o7Whc7cms7WpsdrQsdRVAq+UA56gDxR/RAqz66MC8pB5h4N1rbdsR7BX4HAeBByo5s1u8znfkTb+2oI+JHEfIvoHRdp27VIPTN/DEPmljx6AhJzM+LCHJv4gKoDvFIaaiVg+0yVgJRzgfUAGzgFwVkdUHBeGDsqLBqdGvjzmVFuevQqdfKsW25RzP8eoF4l+js1e9lPeWMCoDcl4wzDHOyPvqJhJuXswN+BUMFu0mQtrS4PM+W9svT54Vn1py8/oRzvP1d5ZMkkR0taJvj+TrjWqanU7EWbrza4VgxCHJCle0RWajQj6Zkk2H9CaZchN5MQaX1PU6GtMT7dQ9CRIdPnlgtn7OL0CWigDjkEt4B6qnCRg3BqaeQXInTK4XYTGC/4hg0gEGJ0aVfcpi34niSoyidnvlW63Y0fJrqDZnL8jtG0DcGLNhfGq6eF3Ow2XXAeopYmZ1jJrqucKSl0ef5FKLFsdk1aaItEfXNcsz0lfW/ySyZ11ZKrCKUV/xk5Rq2Cvjj44r2+tXrAfZVk0clxJBN5jAmR9r3h9dG/g3/Lh8w6gwcc16aVstW35VZJQaKG5MCb1Mfa2reYnfBDG5apCtyDo71SS+CwNAhIZdlpFpzCorDc1gYK4EKWiHbLSDoaoxi/PJxP7hwlywlB3K9caFVtL2q1RtJno/dnW5fHgcDmfXcfa7PuqKswtSwUGSqBsx5PWmmYsi7JBqO170NuiiHpB9GK96XgUnQ6Iszd18PH3NbnT0BYPKb/QdCMa+fQ0nBnIWCYHDCbaKkiuNjqzXXJMpnlGgDPiMHIhuuIGzy+xrfFYNX5g+umSf+clioLpQwzCjwhlKC3fRyWFaSijcGXwHAss3IJydEtMYLX4a8BzcpNfBXyTF+SCaVXLIf6G1dGELdUI0f6hmANEFTzFbJSMha4f7BX8ofpMX9O00rf4oW6ODocW4jqvIkBgJHTqi9suC4ro/+fRxlJyopFc4N1xwXrZMw631RWcswYdSR/JCDsPdpw66j/QOxImC5Q1Eun1u9yaKPHnHqYsk84xJzEJlxJGwXmYk0NqN4ieMvpSNQBjwpeSaeWmPoA2pRwfqVFl0/qb0Ck6Mc4uF1vYeUR7fU7RGxpcmf8Ner2T2Ke/Vn0W8qzcyMB719+udLzoch8/LuZZ6hJp8bJ0M3lSRSEbIXOUVilIyIC4/FdxGu0E6UftDBXKboli7OjyfC8W5aV2N3XvDBx0n14d3y1SScwqIfq8D34WWy5TjZ/JQAGlURYsMzAgoQGx4RgGjmZGrmDygimuinmSObTNXTFyrDMR8NUV/LwiuXu0Tomsz9Ffjlp1x+F8MwKhzmKZpE2vG+OHwSf6X6zQRT8mwM+q3WgmJ+4oo0at2t3S5zNfFo3dtYrQOPQg7Eg9Hk4wokvxStpQa2GVasBBV9UOT3zNwupPV1zYJrN8q+spXK3AwJalIUG6hIh18bTaFR+UKH5rR2FbAkSy5dFgrTxWwocj3xxTWrpnkWOnLQGfoqycxcgtKdY3kpSCiIabLm1n1jioQgPNASME/aHMSy1Y2ZwiPAQMUaAfpVMT0q5QPxksGJ8Dg+jv7+hpD+FLJSObbnZ/atkBgVrSoxUqo8tuoSE7gV1iJs5FY9PkJ9VHfKGiUav7uqq8Z2GuQRYE21T0sptmEE1qKBVyEyrmawHZqkmuPJJOZHXyG7fo7g3br2MIPB6sda1AeiE3fb1049IAkvuYTAZkZ2xAwdV2Zotcxn6D5kbIcmqGZ+7BUugqz41Hnau/s0ae4/EAyoY9AtU7COhci1ALiRveuYJxg8rmXvOtZ77H+S02wpyKyRfhS3clRR1Y+pVumJW+HpdBNLS0pVp1O5XnVr9Oq2SavqV3ezfhmz3N2gY3eY5Bpd69ZDFfWtHuYuKnc3tSuuVLcIhFxAKkJR4S2WgtuhaGmgDdsm2vOliYGQyelugSytlzoqxiuVCIdlMhzGw23Kt2/Nm8rcc0YEcUwsf2KP9peROXcgdftKndu1bo1dMzRrdGfNKhnDGltYtoddp14Ib9MurTDKLP5lpRHWsbvJOt7VQv6wlfz/rxjr+A6KweOdjDYPeqtyCKmFOK/jv6sbd8b1c1Sj9ARmBEyTRL+/onyT5Ipmmn33sgNXk+9wBe+xFhffkDeeJIE9c3m7bD6CLcGuIqJ9ER/NZr7NO45mTUYbYqHyfbSIhWFbJ667ANMx19Vl54h+UFt6LsViXeQHb0GrCWH1CTZTd+OyzeLZVVaEl80pfOp1t86Q9DRgTzhfBFg3/djLufAp3F79A3ymeJRIssG9WrCGotZeww/jfsAah1dZWDBP5Fn+R37vBpyrXDzW2OTOfdHNg+jcQpQdix9cvKhZxRc8boC0auuBpScykmmPfLTNNPKAFr0NI88trTChG+zjKtYbkE1WlkhaxbdYQ3IHSVkWwLOKtxucO7mYipl3YQMWkoWQtr/Jhu7fZgMEctG9Axd8ttC+txmCt863wYjVYNH9SeuUXjqYn3/Hp1qRnV90C7Ze1pgLx9fkjl7VXdD9nLVjS5petlK6u1M3tdPRRr+L7a42jWsWVqzLqzrTONKmca1N42qTaRzBNI42mcbRFtO4zE3jSpvGbOVo165iGLNVvVlcGmZxaZhFghclx/jKRcvuhvTeDE/VWtYbxOUdDKLeaS+3G8Q7+pS9bT6l9hVvNYhMDDZh2/y1uxrEZfeObIBBXAoZ+ydd6zuxAWLItNzGhZ9qELey+y8ZRB7D3/Sll92K//uXbOLdsf0ckygDsw/6Bbsmo7QodavPFPS9qd/34QSTi9v3e+pxuX3MYhObnT42PFS87CcYirvsu/gEx/vMdrxIpy/73lFnHfnBC8jvSyJqqwuP8aVx9XVsvG8GyFXa3stg5XvbEvQm1bcMIRPjTvf/i6/YULm+2/Kr7txeUP87Jxl9WMSZv20Ms8oY+MTih8bAx1viEGf3L2WI8RUJEtK0d8ulUeOSLF8tFFe01J3rmePU3oadq0u4Knd7x8wMr8maNjn4LJ7N/Vt4iMt6C/q8CPB86SpHUc/fFvJzJh6IZDR0/odyPOF8dnEHgQ9bzMzBkai7X1N35corX6UpCmNHZBkmbmFWFsgDLoISU8wJvRrJGGxpOgVG6ikZFdobGFv1GM0n6rSAfwenzbl4Xbkiifjp27fqCdcnburjSdj3ju7t7Fin75//2XoTjP0o9Vv5iw6OrLevP+HJyy7OkAg68IJsbf3fTvuw3dt7jPmSh8nfXxu4EfygqXsdTeIbix/FdHavvWNCoOeze4xgh7r/ryzIQt8igPwl3yDQeiYfGS7BojhD1hVX6ReFZxduZrlhaC1SH4/W5vYBXs+9SHFgduEnQcZkSCyev7TeJ/Ey8AhoAttIrWIaI213wzgjzl344ZxwqXeMUwmiEmS6xSoSRNOzyB2lon9NSIm7iGqYY7a+iwnbub/zt/5tXvjkv2e/vzv99PQdUge5v7/17/6O0kpzBro+vyc48fHuQ5KWFGvTLwgRIZ2ICsdBGsSyoXoz+nwxotUe/EozcgEsmVtJqB7X9fHWXQWzxQxTG1/7zP4j6uYXEnO/+9DZjvvt0z+HL18gHR694LlZ9X2Qgar00bkF9et3EnU9zi6ez0xzz++CVSyBoev+op4u1hXj3rtlECfvTyVg3tE/Kjynn37/+PTXF9bpm9//Sel5WdA5ft0mDFWuuWM3ogUgXEOlSb9JxKzdnlBOAxv0+NMFOK2UufvbiRUj4SyhCchILnUn89w0rEsoTkOk4Y3HPq2UhGzpkpUjOM9yYVt868Xnt1boL/3QsgWp/M7ftDh3g93euZo/pvO/acZevXjz/sVH6+Uf7559ek16/89N2ttFmAVzmpPsOmaRJkYtfHM+5m7izqwVTS8ea8HVlp1ngRkwa+vUJyn3NgDJ5ewjv1tgg1FRttm6ni1CW2kQ+QTqK14QhudAR25IE5P4cpFMLQXsKINsrqA4V1jDr6IuH4vqmzpuPA8gcbfz4p14Di4yhjdw4rkfxeQM1ML8GCO8YPlzGcEJvTvWehsjnmFBtFw5kyM/u/Z9fskmL5kzdW5sDFlAfua/WSxW1AoQISAIbZ+5TRXIXTGQXCjKQHIoTKHvmdWaZ9y5ZhpD5IwTNBi/ubsf4ibtdm0x3icSnWO8h5R+Pq6DPdZd6Sc6roqw6g0QAN86O3G05JdD5CtSCqbTzFa4OaI95okJR/7miB82wmtXjVxqyS9xlVp9ir+4nmbsCM8X+XEhHPGul1bBuwwRxNDIzJFWhnjtekLuSpSbgzqpIMg1zPU+xSfzVI9L4fsrg9O07Nw6QlYxeJ80Pl6exEGcNeg0laNzXhkr4F/S/+UmRSupx0TB1qkIIdKDJsC/Ml6hatS4qTwoTbyzdfRuOMZLlXw8MCYOF/Qlf2eZNjgwxBuMsGsuSFWpLyxFVfY8rXZaYhCR9ZzqNH/c3GKM/gqj8FSskfWflnjS55GFZ0K42zh0Snsw2j2hpyncnKuFi65icmvsE3e0DuMIbzcXb7FzahYpbYsz99IX6YfqoN5kBa3aOeoSEziorxef24aNNalkJVd8R0VbvI5h7FSjb5ygwSfPiNYbEIj5rh6XT7/tb2R1iz0p4G+Pi2US9Q59eWB9K6O/KTP/H3Tp4HpLr+4fdOY++i75t+ypbtCLIPL8lfCNxVe709rt1iwCQnjgZ4vX7sFlBt6SgOB1W8CmRYCxGoKyDPzr2/TjahEkeKUf6HlCWwI8qt4gEY8CIPdf+Odn95zqgsmu+YChz7ep1Be8skp7NaQZrjGmH+JSrc/D3CovLuiyyqHcmCxLK81P4ozJEpxoFF2KG44blUM3fzdoZMR8OFJEVCKPnt+cZ81xDcwDmxAPyneFxRgQIkNuQKKCyA/t11yywxglGTp/5Y8X2MBxAFHEh0qbS95X0qx6XxEjQkz+LBJv3spDV4rBuHxOG8OTxfpxrqZECYFzagSopK6nF5n1p2VznwmG7Vl/lvb34g7Pn48Vhqf8GxPzp6DV4x1A7uE3OTpSi+VfNVj+9QNY8NCBNKMl+bHAkr+60MJxAy7RjPyk2EZeLRIDoDbv4zRrCSb/qSrTUudOLYp/1aD41xYUN9siha+hEXgRSFFCdHEeIUQz+DmVICEW0BkJsBEhJJeHhEsvXogHpMZej6NQh+Luwy/M4X1xU+YXLoPHexYFmoTaQGCBWH7nI07g2YAq0OsguxCvCwyiqWZQjR3i5n8SUySonhApL/XTUkXxrxzFv+6OQjnsgfdSup3XF+SVsWos1ikUoySSfnvaxhs2/O4eMWxXMqyM0E0vKwhTPwx/DGPuquEeW85qw9IK9uXGVnHDIWsi7W3FiRGjzdsIYp3HG7zYECIEAizfHV8o4xRbiznCTdIIlSZFAL02rKOwcpARmK5W0dZtnJE/5iKkNbl1ZjZPQi2O+smo5fvptTu3c+uKty6z3WbKfxaff/WzogLhESicwegF6Tx019XhnRZAqSGH9wv0T/3sncsPadFUFt0V0Ypc7FmcrEGZWDdr3jz6s85bSocNxjlLzSEPH7X8zJMaObCCHS5a3+fiRb0lSyZOW3Y7hRC5kPxiSDdZRPz2YJ5LsUFDX3jev16oOJKBQ3hhN9NxLKZOH8iU2I/obvmM5vum6DSkXMXuQa8MhOx2fmHjcnvwXhwR7HZ0BMPoSR5KefG4sDDczVppRTCkkXdZ8dJPEkQl76pBdXE/3pdv3JP/AOEb1P1/LNE1Or6BwKKy19BzphR/yKsQq4/hT9/8P2du2CI=","evidence":"Local harness measurements; sources.json lists upstream sources. See bundle README for prerequisites and external corpus inputs.","gas_stats_zb64":"eNq9kj1vwyAYhP8LMwMfBozHbl26ZKwq9DqlDjI2FeAkatX/XtdOq8ZZLKXpxN3B8OiOx3cUg7eoQneQrHe9RRhtwfsatu2Ywku28b532YF3b9+XCVUlRqGdjg6OJrSmgTFlVGmJURq6n4iqgsuv16FBFcEo2r2NeZIh72w0O/CzzUdjYwxxMjU8m2jzEPvRfuA1mJsDvP4CVLKkJ8hZnoEyodkCVKuSc6YpuzFsY/MDdCu6FOyiS8bI33W5GerOpeRCf9XolCtGxIKUaCUL8j+oi+FLqfUJdJZnrRJGNVnA0kITTgsq6M2B148v9cX4Qlz7N58+AdXDPfA=","gas_stats_encoding":"base64(zlib(UTF-8 JSON from amm_sim_rs.gas_stats()))"}