{
 "credit": "Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved (replica, Gaussian filter, posterior policy, qm tables); lean arb test from the lb-4 bundle; BASE = board entry TellMinLookup (give-u1).",
 "gates": {
  "T": "pass",
  "F": "pass",
  "G": "pass"
 },
 "all_pass": true,
 "T": {
  "first_trades": 352616,
  "mismatches": 0,
  "seeds": [
   74200,
   74249
  ],
  "definition": "every callback whose timestamp differs from the previous callback (first own trade of a step, timestamp 0 included), full 10000-step replica run per seed; contract external isArb (now ltTell(...)==1, the same call afterSwap makes on slots[3], slots[4], the returned fee of the traded side) vs LEANBASE variant A hit = lean_tell.classify(...)=='pos' on the same handed wads",
  "reference_label_counts": {
   "sell/neg": 80921,
   "buy/pos": 96902,
   "buy/neg": 80248,
   "sell/pos": 94545
  }
 },
 "F": {
  "callbacks": 100000,
  "max_error_bps": 4.665278580118226e-07,
  "tolerance_bps": 0.01,
  "seeds": [
   74200,
   74249
  ],
  "per_seed_callbacks": 2000,
  "full_run_callbacks": 549081,
  "full_run_max_error_bps": 4.667123632007275e-07,
  "peak_transaction_gas_pyrevm": 173293,
  "guard_shifts": 0,
  "reference": "BASE harness shadow (give.GivePolicy alpha=alpha2=0.35, soft=1, the contract's own frozen q_u1 tables; equal to stalerival a0=ainf=0.35) with on_grid replaced by LEANBASE variant A (hit = lean label pos, chance from integer binades), engine fee clamp applied; closed loop: the shadow receives the contract's returned fee wads after every callback"
 },
 "G": {
  "runtime_bytes": 21300,
  "source_chars": 43915,
  "peak_gas": 196985,
  "base_peak_gas": 207942,
  "mean_gas": 124904.0,
  "base_mean_gas": 131213.1,
  "out_of_gas": 0,
  "base_out_of_gas": 0,
  "other_failures": {
   "revert": 0,
   "other_halt": 0,
   "tx_error": 0,
   "bad_return": 0
  },
  "afterSwap_calls": 84428,
  "afterSwap_ok": 84428,
  "runtime_sha256": "3be678dbbc38734df4ee0b3522f8d5eef9bdd52a30b5c86fa8ea89640d7fa6b1",
  "limits": {
   "runtime_bytes": 24576,
   "source_chars": 50000,
   "peak_gas": 245000
  }
 },
 "source_sha256": "c64aaeda09cafa3b761cc2d6d8d201d1f6fdda3c15ba98a56a8f51bd21046744",
 "change": "BASE Strategy.sol (sha256 99d031f4...) with: abstract contract LeanTell (lb-4 scratch/LeanTell.sol body, verbatim) added and inherited; afterSwap hit = ltTell(slots[3],slots[4],uint256(t.isBuy?fb:fa),t.amountX,t.amountY,t.reserveY,t.isBuy)==1 replacing TellMath.isArb; external isArb now returns the lean result (x unused); TellMath.isArb removed; chance (TellMath.ulpOverGridWad), tables, filter, pull, fee guard, storage slots and name unchanged. Compiled with solc 0.8.24, optimizer 200, viaIR, paris; storage layout only slots uint256[32].",
 "engine": {
  "lease_edges": [
   {
    "seed": 10000472,
    "lean_b": 453.60771269334606,
    "base": 453.60771269334606,
    "vanilla_lean_run": 296.79366724057655
   },
   {
    "seed": 10000473,
    "lean_b": 449.36432504248745,
    "base": 449.36432504248745,
    "vanilla_lean_run": 285.66614982342753
   },
   {
    "seed": 10000474,
    "lean_b": 382.23256686027264,
    "base": 382.23256686027264,
    "vanilla_lean_run": 257.50147790692046
   },
   {
    "seed": 10000475,
    "lean_b": 757.423419988336,
    "base": 757.423419988336,
    "vanilla_lean_run": 479.2966580202651
   },
   {
    "seed": 10000476,
    "lean_b": 519.01070546513,
    "base": 519.01070546513,
    "vanilla_lean_run": 334.2427984784613
   },
   {
    "seed": 10000477,
    "lean_b": 542.0603221517852,
    "base": 542.0603221517852,
    "vanilla_lean_run": 322.70984475749685
   },
   {
    "seed": 10000478,
    "lean_b": 654.9298213995245,
    "base": 654.9298213995245,
    "vanilla_lean_run": 411.76406421422786
   },
   {
    "seed": 10000479,
    "lean_b": 466.2557310695449,
    "base": 466.2557310695449,
    "vanilla_lean_run": 293.7567618955618
   }
  ],
  "mean_edge": {
   "lean_b": 528.1105755838033,
   "base": 528.1105755838033
  },
  "note": "screening only (8 seeds); edges were identical for both arms on every lease seed; no score claim"
 },
 "diagnostics": {
  "base_contract_on_lean_reference_seed_74200": {
   "first_trades": 7680,
   "mismatches": 0,
   "F_max_bps": [
    4.1220825364174374e-07,
    3.729287711973228e-07
   ]
  },
  "note": "BASE's exact tell also matches the lean labels on seed 74200, so the T/F gates have weak power to separate the two tells on these seeds (e02-lean-ref found the tells differ on 1 of 2048 report seeds). LEANBASE was not run on the 50-seed T stream with the full qm_k1e-5 tables: the contract carries the compressed u1 tables, so the fee reference uses those."
 },
 "ledger": {
  "lease": [
   10000472,
   10000479
  ],
  "run": {
   "lean_b": [
    10000472,
    10000473,
    10000474,
    10000475,
    10000476,
    10000477,
    10000478,
    10000479
   ],
   "base": [
    10000472,
    10000473,
    10000474,
    10000475,
    10000476,
    10000477,
    10000478,
    10000479
   ]
  },
  "burnt": [],
  "blocks": "one block of 8 seeds per arm, each arm once, alone against the 30 bps VanillaStrategy"
 },
 "replica_seeds": {
  "T_F": [
   74200,
   74249
  ],
  "diagnostic": [
   74200
  ]
 },
 "not_done": [
  "No paired score claim (8 engine seeds, screening only).",
  "Gas peak measured on the engine lease seeds only.",
  "No leaderboard submission."
 ],
 "code_zb64": "eNrFfWmT4zaS6Hf/CnoiXq/YRVURAM9SsXo9Xm+vY9sznhl7PTMO2wGSQJdculpSXX3895eZOEhKqqtnX7yqVjVFIIFEZiIvgMTJSfC37//j7+M300YtNmr8basW26meqvVp8N23P3yxWsu3cxlslrNpO93eBb/Gx8UxTyZfTOer5XobfPjqu+/+tl3LrXp790e5UZ8CvV7Ogz8cn+wUHEMTf+jAfljLVn270MsO4NsehK19AtgtZ9eqDaAsWAESzV1Q3wU/yLvZch2M3m7nzeVi+vZiG0aBnM/Hm+k8SArGZSaKYK02Sq6bi5MNtXEavJZXm81ULgI9nW3VOjgK3s2DraxnahOM3s1/u2RqnB7/vlkuwgj71koF66uZCpYaGpOz49Xdv20Q5lquoZltMNq0wUxdq1kUrC5gkFGwuVs0gK6eybfhcfDVbBY0awWUCzTgu71QdhCRQ0EuWovBqR3VMfb85/X07XQhZw67ZjlfwXA20DQM/x0MdDWbLlQwaq7qaRP80X7fRMFfvvsbC+rZsg42F5KnWSBkkzd1URwfH4cT220UiPFmttwGmy2QOwrmcntBqOCIm+XiWq030+WCaIDc2a6n8zEPRsi7sQAamGagvd54obEljDWYLoIaBszTFOlG3XAa1Gy5vLxajS+UbNfL5fw0+DoGChosm6woirzRiGVwMwV0mqXSetpMQR6Dm+W63QA8yEwbLKHHYAW0a+RsVsvmEnrcLoO5mi/Xd4agFwr72ygYShtcLpZboA+w3YgDYqUk/C9vp5vgRs4up4u3yJ8buW7teIFRerrebGGAcq4CYPf2Yq620yYyN4BOGxrT2+m1Gl+xUze4KxaM+kLsuJCVjciYMuNbza42MAwjXBH1BpgCL2Co6+k1sH11BZIDeL6G5r83Yj/CrkACXYtFW+RMZjW2SKjYSbFZXq0bdRpcbLerzenJyVtA/ao+Bgk66abLiZ0sJ9u1UiduxnDBWMYTxdI4k41kgjVSpI3IC12KuC1PdmYU9vpGycUPajYDCtTjBERjBjeAYHWwVRuYIfXV3fjtegpyu7xaIPvwNshpfdW+VdsgmQQzWatZEAdXi83VCiVMtVHAYKJsplsYchTwYKHeSnMtgiUIp4U24/7aTLCDOuHBwf/7U8e9q0mOv5D1BpjcbJFv5sLRIfjwRQA/VyCTJNeOr29++O3rKocO07j7mVBdfbVotjDdgtn2u009cqC3IQq2Wi9IHtYgLWp7tV5sfIV1+AEgL1RzqVrTK/5M9ej2/Jzx4ssqDj/AZQXXkzX9/WQKs8SXZclkfYR/bZHgvkhwLIK/tohlXYsZFsHfTzvddp0WWMP32HVI/fnuut6os64vvL8+OjIE+mS6AV4vgpOA/7oJYL4vgCMgSjB9popugB5ewHwNzquAHe8S9q8ofZ5yi8hdbR4j8ruDRH5XLc7PNxPPCTWvFi9GDmjEwrOzTThmoa9xIWe66hePNljcJx80co7VPn7Ey6rC6xcvRu9esBCpEb7bJ8dPsj09RY31m84S1BeoStrlFdiMYP6S/wpqYLsG9Ed//dOIvgcvA6ZYEYZ7BIKm/Jjnkb1Qj1DnIG08kav5S5R6T4MNEo3FKYzmVSpOU+5LVpXj0CLahBN7d1upo/zI0mwzJNb2HAWEsAm2KO2vtncr5fE6nsvb09XZmaP4tgftoM7GWfIqPl2dn7taY1dtQGGkK9CvJfqBxke1ElTBa/g+TkUEmussaOHDf01FoG5BGewR9z+m1336tp6+Xg5f/2uUHrVnZ4zF4cnrCRBn8fL1l5W9s/hYsckexKYyumYRjoENliJGCPqciFRH/nGa71HnNdCBhv0SKcSCMf4H/8A8hidG0CLyKc4qlLt8jzCvQRVLTxf9OUSA8eqqEwZ2dpaKAwPWdsR6KEcbfZ7y8MNGjysghPZyqKMN1PykZhuFsPHkENG1JTpJOdEdr76s9NNJ7zUI6ODxZrzRe3LqMBool1EqjtZhOB4wa73Hn2/AVt45hXBzsYTB3IBAo9sTjPivWYyMuSHZZTwOT8ERBO9/s5GbQIKJDkYxMBhsHfhgwEh1uwKnBWyZ2uPj92s/94Kbx1Sq9FJfd4rmEfm+OTvLEiNTnU71lPS35qhiRhdA2XCiKkuwC9DEYKv6bDeiPo9UWFU3oazmh0qPmC2vK7jepe3/TNfbKxgi+gbrazBBt9dALIC6DElTnAfrW0tzOQcmbR3p5e3+NAAH6YD29XS6jDtF4a/kow7CxXS7uW/OzHtz5oB0z5bVZdxRegrfgAQAdxmDNTdmfrYcjycXUzBLAzcAQKEU/vaEH7xrj9VlNVtOLs+qi+nk8ugo7LDq978Fkl9OSNGfpwK6A0u4tZYQfa7p4kpNBpDEN6toLyMVvQbWAYmQBs5wEgN32Li6hdjt7jSA8Op6ugS/3EUV4Mpa1iLjNhPUY6cmMlBmGhnqKYo3FjbAA/5upq1yrY9q8HxvsNjEfhAQgEO8Cf4OoZOEniVEgs3dqQHcYkwM3Rpx+XtkL/4ROUT+sSc46HF6wsJQ/OWdvwRseyLTXXY1IBytLWafq4CVOkf9/oBAva6ctkfjMJhu2O+HXV6u0E+NQZI+flyRPxt/idfytjL/ndPdAx3iz8OqpjL6anUb7knQSH6sw8Mzoz+YyxhE6+Xrk04no63r3A11lIowPAyLAlnZKS9BTmFuv45AUI/svbp37wB+6Dyx0zg8GtX+Eps8TxzOYghl72IdA8B3J4Oj+F1H8buO4k13u+ndlneGEf7WAZJ5Ntx1+uuOeUbceU7chRNf931X931X972r29wNhWd0F3+8YyEhM3off3zP7uGf871Upd6P1R3qlhak9uPHVp2NDwkSVagqFn54H5+dgTZ7z+g/4xTYUoD8cGeK70yxuoMOehqxr/qm4EhMz5LJ9F69d1dNz/iru/j0jnnt+74aTV/QsF69j0/fsz2pMKx4f1bd3aMb348rGvB7q0zvEe++Cn0fqTujQ++8a3VIcGwZ9+bxE6V6IBoe16cuPXI4J1KWbSyYTrqcD8holzpA3fad3F4cTzdfwb21Ws1kYxJgNtXw5puv/hT88M2bN8HIh9+1mi1vKHsHvk8tt9N5l9JBMNByixazLi4BERqffXYXSNPiH7/62zc+w/cVCIzGzBrgdoqTCIhkwiyTtgC17RIVk6C5kIsGEzqUtDMpRJtvw4SOcYXfXmGaCdNUmC+TbxWlyDYBala5eKva4/8vGQ2fyHCcwqHt5HCj3SzHbpLjx4octINlb/7Eq6wULMlZEadpWSapiMvJ4WzJd1lSxbd652fizCpR7Of4F3C45sEIgCEADIOPwbX/Ah44L4KJrcmw5mbVr7q+pyrHqrqGGlqizwkXW1PjY9As8LLkQysMUvQnOVcjFKS+7cREFSj0zohutmvMNJpEZRh8CLwxDT7YafQHEvrp4g1lE/8w+WRnmu9sfjUbedvmTNt9VtsZ7QMdyZf1yY/7zbfT6+n/Uvs/ntT77ct69Fh264FGb8/iV+Pb09v9dpvZdOVbjv43BnB7Jl/J09Htef2qPgVLvNflbPHEoQTvhx30VOe7qymYtNvzGNxB51p0SvbmYjqD0rPgx/DD7cuKTy7B3/60W3xe8ZdY4QQrDH1xZ1KIq7fjH6Pbox+7nu54hdJ0F911996BnQB7czf03H0YJiaLs4qXk8VRBUHzO4J/F91BsPX+qHp3spjs24WX748uX8Lct/Zhl4oQU36WRAzyjmfBOEEieKvWkfYsi6Fgzwu4rJBw8avbI0DthJ/ejul/COUB08DH5LfjHu498LUh3dqH3L0yTENWWZbyAno+omo8ytMs7n0tEvyy5uE++LJtbdtC8CzpAbE47jdJIz7QwMawG9E4gsYivBjDxX4G7BIpsHlpfdZ+esFdX4bh6ebkgQrjS4fBHmfXy+X2f4G1fWellxBwCNyGLwc5gffVopdTYQNv7j2lxWGyfXjvsuLgsWHu25ZmiSvEtDiUYfJ7pwXBXR3Mj6PHl3l4lvnGMyor9sB996bzrm/ftemZ+wLqb208zwecypycynU1Wh8tTtbhCd9jt6XY+gzKX61PsdY9rFu1+rM4BwiDgr8Nz1ncn432woglzPcxSvBtdAtIhhEHDyXjBc+TTICExzyOO2ULpv6/5HobgAsCeAEKi+V6Tqui01kgV6v18nY6p7JJoNYgLiEow+8vQNm93Lxbb0cwwca7awFNb3CRDwoW4MPdfZ6UOi1LQ0cv++686IYPyv3Vj6eW9vH+dAWlmnJw1coMXKKiZH5VCH8WpAoWoKGP8jgWhYizJElEVhRYrVeaiVyUGeexSAXL0vi+VoQoQe6zLM4LbM0sQvXKGcRyeclLlpR5kbP+KtVOS5wzzkRaZiwrS8H2mwJkeJwVWQ49ijzbbcpRvioAk0IkeZYUgoFi7NUxmrAlxPI0zbKcgZAUqBaxrX5xBpRheZ4C8nG+21evIuBTxLlA5MokM2j3G+LAhyzhSZHnZZYnD7SEJBcig08O+DsC9CrkJfjhWcp4ysDZLR5oKknihEFzacGTPOX3kAqFnmAIzkjswekT0UxbRC3o5r4UjrGFU/xzz7w3a0W7acjryOcEI5/DeMTl+aerOd/6Zrb3q/nrnpofzZZn1fzFizlmCPtTJ5pHB+bPpq3I0lz7ZSNpDOBsOZ5Hm9bfrs3ti6m9vdvQSlao96QHWNV0o+5V/WeF2qOOVnU4xisZreQwHfHPM6YyO5TRP6P52Wz5arY8vZhG1yfJfqdrg9RKjld19M9e+RwToMjoTYtOxvWWOH8d/XhEAPiFOiddSggB+Ng5JaSGrrdncQiA8ZDboFPH8NPbRGK2LgSjh7aORAGLI5blwR/D0yANzLaTLQghBKh+94lZmx+tIQCHUG52NV9EgdshE0aud7m5pBxpsFzMwNvEDGkFQTRQJJhP1+vlGgLgbu/HBknFsmDEToqgXm1CDNO///Fv/yV4MJ3PIVCG8HQD6IF8SsJBB6PmSPA8gzgPt4ng5pFj1/n+rhJcNcV4PdjW0EmvFdsI7RWJqHKAyyEY+xMAbYNZb7bYda/ZDQTpdifM3k4VwqK+29KOHhvq/uX7N9WFuv1DCrF60kB8zGImUQGkMeqMBP42cCthkkNUn8Va59BX2Whdw3WTwAe+t4XWisMnhw+UKYyX4buGcp3CJ4MPlGmop0v4SPjU8IG6utUWQGtSPVaRxIL6R0ziGBU4KlbEqYQPoljDp4GPAhCAYVCXQRmD7+D9xgLaEI0Fh7KCGzBoK9Uq5qygFkhdp6m5yKEOaOg4h5IcYAv0ehEW2i1a0zWo+LiEeyXAlIBXCYAl1C2hXALOEr5L6EjWhD6jEQlAA8we4F8CEnUM4wYEa8QVygwO0G6G/ea279jgXEA/BdxDq1tAeYFl2uLCLD7C4oT4QL1SWpyg/RLqSqgncfxQR0J7MrN4Ql1ZdvhKgJE4DoCpoX4NdWsor+FeI/14SqC7BqlgaIRBNlKWsZwVrGSS1axhLTjFGmwc5wlH9yIHE1FyIA6MOmFN3BKH7bgTaDdD+gpL6/54pR0zQBSqN27Hgx7tcaw0TjfG/vg8LwjjXXwV+SKCJyT6jh9QO4eCvLX4lBYXh0ef9qnFBeqU9Q7dxRNorow4E82hXg11arhfa0/z+iC9LbXvobWAedEfUW2ke4+yfaqmZgRExcJi2Paoh307ygHdQIIb4GUCfXCo4X6RmyncA9ci5vaX4d8c+Q6OJPwK+sXvDBRFY+/n7j7qhly2hZWUwrYWx6BIYKJrul/Ab4p9oHrBsqLx93PQKjIHioG8Sd4SliVcA1HSFsjdAualTgCvFL6VLEvgLnigUBsYlMP9PG54JhSwkVNtSeSB+yxNEuQE3LX3QaoZTFcmFEONpOOGymqtiLCpyHHOUImG+rlK6b4AvBTOJfhbw2/R4tzIYPYAfnRXUfvIJpSBjEvUx9AG9luDoiCVxhnwA5VgS7/QPkplrFTKS5QcaoXaweqgkYGrwEmEaKhfgbMQlLDQEuglCcsa/m+I4gqUfKOZHa8iGJBSuAeTgWegyYs2FwlQScXP/cE+BPClsNJgpQhmHWpM4ATxN7FlqJFRShTgkcMvyhGVA0fNfU2yktNv0ZYK5SQHCjPSvajzyxZ0MGg1uI9zympk1WaM0ww191GGgGMK2wdeJSg/JVBMQB+lUhYvtCJ4H//PQZYawghkCmYuzD2gMdcScMW+8T7PJdwHWSNMCpQcM4KkRPkBbJAbIJfwizOBg4eNmGviOHKksCNuiE4N4FPb+1iSaJIrkB1Oo5I0ZrR4wF+dkQwajtv7KK4aZS23dJBEvZRmU8Zq6rUmfAgCrRRLOGJU2vbxfsPJXAENWhqV6QMtMQpfArNAkM7PqAz4VIPVFxnMP9ASMNNTjbRlbf5s+WFxBq1nJDex0T2xs7ruCnWh/0bXwvgALTP6x0Jz3wLbb8N+5+S5gGyB49IYnbYDzQaYECT1yUEfAcVBJhQo0jbLCQ820JsdvMHa/IWWgX91UhIsB8+qBtoxlLMeNO9gyZdiBI/yl4lSIJWVxj4lmTYD7SC7Vgws9pqCZ1YzlhXgrRltnpM2S3RrPTNuezWf2PZIGKs8bkWSCJ0MbAPo8JYka6dv3o0YsKxT1DXgQca5p7BpIWlKkrOuPcc7B62Tmpm7CfGW9/oQaE/j0nKK93hnaFanCfRoMHbaqBufIFXb9PrmPS7zRKEsel0lLG6uhQRNR4zc01TSg9YyIXtFM1t4vAd9o92ODWSHOUeKC/CprCa8r29BuZTWc9y1DmyiuX0IWni6JZmkcac9jnXQxQ500scOW8s49b0DzRTZwcLrcDGguacaeuZM0Px2PAMKgZ+GGtho+dRo4h1oqpmQTwA1he8d9CXpTKP/DHS/b+H7TgX2XRB9YipPAKLsaVvX9+648TdFzcckUd20mVkLVPhR9/k97B+8C9SzDMMX1FQFWcrS2zYDa3Dntg3qlea1xNgKdDeOHKwHzNdGN8SrzOJtbIiBNjAOE66aGiK2pGUJOYUtxVigPQgy8xR3VhlrpfYqRbvRgN8GkU0BYyhBf4CuAmisk1NM2ad5QlbcwILtS9M0ayBKFKVKwF8CLwTGUYK+yYh6qR15StKWkQ0E64k2lhciE+RGoZ+dFWSVGVod9HR0QfU7eHcFmhE8KkxgSdaYSBWkowU4jFvBowDdyTFmpbFlxjJSz+gx5miVwesuBPqYEHeBD2rlQbe2b9C+WpGHmRLvkAJItxquAF2CRp8CXAUIkmsT6WJETBTHq1rX5GtkFj6nD1gD8PwLnhtoRF7kJIUx2jXQoQr71SXpptyPOCd+obcLFp8rXjKbhgXLADjpkvqXB7w0Rzv0Y4FaFpo/0UqXFofC+MoEXTwZ2o0AfQ3NkGfPgzYjkOTXOWj2TD8DPSEJ0OnzoTXKCuhKmM8NRmjPwxwkIEF/DuQ8wdjuM3zsGOIACJmwb4q9n/0DXhphDlRgnwUP1gM8RGkzPM+Hb8nGifgzf0AR6iL+137QIyJdmvS8xId8xZ7PGItGkabl1hLFBzy+3Y/1M6BH3krjO9l7ztPk3gfqt5EYKIArMVJlMsu9P9R5idZCGu8SNYYpAb0BvAJJKxnOWfDchfFTxcDT7XwMRpqSka4C3SBAGWKr1C5GUrznb3DTVy/SQ8sgqM+aN7zR3PoeibUPlno9D5DZsphwjylGkqymESQ23yB6nmbh+zdjTzwPSsA2JU1bk33oSsmikqdZU/7R0VhQHo9TJM6BPqjlU9urIOjEji+pFdnO2FpmE/1QXcyAipqi0syP09hw5vwvSjM0ZnTOj7JWM0m4KqwtNn5P2lHTtINZQ55ZWTCYG2sPskBRXmFtWGIp7SIJ8kIw1cob5DyN1XgVGaVCy4G3KCw07/mMtKjFOcVkTkKM34P6s7R+U2r5lPY8HmoNM1SYgrUxmoEuyUtoCNrZb+HH7WQDoXOiWu5llJPNyCka7fy9PubdJ0lqwjwnD93QkjwEG//m3mtKBtDkrcWJwFi3JGljVgYQz7IXg+9CJx7zlLfEMUXyQ7JN/ClsdL3ft/CzCKDB2wEVEdeWl4ZjxtoWFjr1Hnoy8DcFcSfmkvpOyNOJPXQ58BYTGlNi5TUhqakxw89NNoZZ7Jn1NgorK3nsoqrUz1DkfKZr8plqygiA5wN6BOdjbr1Mx2/nZZdOiomWJXiawKkkA+WO0oZeMmVMCKaw/afUs+EEek+SPnmap6wtwUeWjMYCvaKHbHo38IX19gqCN353EysO2iblOsWVjhb3OXLieYm968ZD5zYzmVvMTb4HEBbgLepWKeipoLWPmmFciHYlI+8rc7krO27zDeMBLVIuRaZZi6sHDUNOFzhPcf2EvF3mKeZ89YQkCCQL3USOSzSFYhgb6Jp0GzcRN0ptq8Az0wTXzTMTcaC/1vCWgy+r0Q4qyg7gElCGeh6jDWubHe8ctPHYGOCdcpM3QO8yRSuKeB+w6LWPbmqa+xq9HrAqufVlH/c0TWRldA1C11xz/mTPo/DSghl3zKbXnGv1LE+TdCxBo5+L3s9zflqSfU3QLdPP6VtLI2c07hKT7fpZ/h6EJBojMfCRU4jh8s/xtAA6wVUIlnyWl6W0xA0FjMf8M/008FQh6mw/289TpDc+20uUzb/qabagQUEv1FafDXMibCfHOMz+gS6roZ5uaT1B9PS8GLTBvWfKe/DgBTU2Uxlr65MInw3rMhRsmJsiW0B51SwmXZhTpirxv6JnPQiCZJqbdRuda+Mbg47A7CRFosnAXiRWn5gcY0u+GwfLI2mNxmQuwNPFb7q0EXbqPyZ2NpkQxTLdtNhHYVs01qggzHLMldpeM9tKShoFLRSoTZ0rrN2QjXReBEDTak6rG+vjuRxBSqsatLqtGsqbNkR316+FRk8TvEmG+tT6DZnHHGmUk10iavW4kpKlLXE5iKEXXViczQgyY+lUTdkvbuMCYdeiU/s/rQfhwrMurHfr8kogP61kZg9Aan1yE0Wk1geHvnGlkJEFsDmk1GItdeJzY6n1FtKeNGJpiWsMDP0W1FvcwydWHlPyGxyXUpK2lCiE/8tMY9IVfXCbj3Yc59bvzTy0w8CtLQJ+mNPktDpKsYroZRFj22/mvWQnwcy2W2fGP29iZ1esrJDnmFgfN/eym3gKJASNi6m4Nmvz9Lb11Pp9xtMZyqGwuWWATkvquyQbqu28NX2nVpZzj3lmpSSNzXpmLTQ5mCZG1DTznKcce2/D9Z5bHAzVi7ilMKaknCbhrmvrw9scXs9fSy0VnDxJMC6acsaldllwnMEur5r5DJWBKawdN74YrkoitJFmZp/IMBrS+SmY22BEO1zxdX6MJC+A1p9s/oJR7KhAG6TW/zVzHEp1G5t1R7PqRR4frrQrqbWQZg1ao79ZmDiZKJZRn5ghq0l+kKbAH1op1LpJ6T9h/Hnc98LI/ykws0mWPrN+MtK/Ja8HsRRgAeskBQEHWomGFeBlQUyvJeo/hqR0GcnSZgRxdYGZtUbMMLFSNKKU4GWmAKMzlisyT6gnGPqbqfVykaIwNo158Ya8QgE2VAktapt7wTU6ro20k5eL3quNrYyfC9LJcso4oB/b8jxJROoziyYDxsnHhTGgdaZ1wtzq6hxXxSiSoUwxL5KMW68H14DIV8YdAXnPp+DUO0JroiA4mcgZlgJ5wd+0voSJqO7z01w+l9OaOnKt4QmEsM3TPU1gp+E9Ok85E4lmT/UdaGaBFgBvHvhZMMUU9C2fvPCJtGqI8gJ413IuNCuf5WiUDGkPNpMpLhL+zKxmy0DnMFzRFDwV7fMyiy14lzBWoAD4maWQ8bO9RYX7F2QseS0+01fUGL6VXH1uVlJBbMCaOPlcP09BPKfLz/cTC9of9C/9UL5/sGruc5eg54X3MeNhblIX9l5/5duttbe2xHLFryej1k5tS8J6jOYTZ6ArVW3hRG/1G12TXKm2sJiIbo1ZFzDXCtxCOISLmcpxi3ls961ZXAhOJwlmS1IqS3wZ6QqQQmG0OShJ3rWJOxlTSR4YwZWlL2Mat0kVPuqPS6eb0D4WCffZssLsITMelC5FZlfzTIaBdmUZz5hJ0iduhRDGlynbJsZjjW+RyjBfhvafxTbLVHibGQvTJm1j81mTzIxBGG61oFGZj9lT0qOxaMkC1DafkQ7aZGZ9nqxfZj1rylZoo3sSygYUlDtMbe6oNXszaVWtxl0IlFlLSPu3NscaUxaZ60ybNUHKnBHNsaw8sBZz/34Qfd98Vs1DKy9K0SNO2T15ffQexD0Z+1j7nKPPXDpsTCTKfDbUSz2NOXUy4XIxdFemGFM0Fo6bXSdUIlKUHNGWhu82n05QAqw6+mltHHe7O1B+C9GQDOQ2K+3KoE8u7Po2lqW+P8oLCmG9G/B6ZGItFsUInHbU2fyWKI0Mko/NzK5atzouyi7fjysRwu8XgDIKPRj5DuDd2BbNOp/ITW4Kd+PpWPnsLcHlbobRPtrePMpN7trsi7KZ026lXSBhcE3X1i+89YexC5rn5A2WPvtmpJDROn5Me4wyD5nZMu51YdrLHJJfRv59SVm+0nq4mc1qZmY9n9ama/LbM59xzSgmUQTLVEOxp6GY8bXjA/mgmiLmewU7zu9d1cvvz3SAa9YYb87vVGH9dS3ekBfNe/uO/KxA3O3qBRvuLaJcbdytZlAGwP5AWWbLMhtvgQxw9G1LcOVaW5a7HDZLaU2h1EVb+zLTrqL9IQXmVVuzDuJy/7ndUZljBEWOnosBkPKtzfUD1+rcl+XEhcaunKB9yGyZpPJufaEAs2lyG7mVP5RRJxOM9gAlsdHwkqCk1a28aH2bRW8nHpXlysaGDUGUfj0eaJFzO3ZBGMreXDGPGAmbVS3sx5aRd2/WCvrZelqtIVNakuef99YRqIzj2GvyrLNeGeVMyYM0ujCzpe5Ta2mz60w33ubYHfFtC0a2ULg3nKmCNb4UxiOB3ryFAK6l2EmRv59TlHTQV1YlzMo6Lu+1DybGOTQfwOLdn/PEYbYYqZgsDe/ZAPdXMJN96mfqyCK0mBblNIN766g2frUrKQRpd9FAvFsrpZw2q/36Ccb5MVjJktXWKkqf7xK0W6SBSC9VRoe4soR8L0l5mho3u2uzFmd2/WBZQ1wp24TW6gsLJyjbZlZak6a1GBc2k8NMvgslAf1QzOtbOLc+TVe4l11Lyg7QuhdZSEMH2u9OmScLR2WZsU+485z0iKWL3UdDOwdL0o+04pNYa5u50eA8AiqgBAjKuTmdAd/yktoUdscot/uKKHORFrSGnZrMhI2OM4NZKig3zgkHYX0XI98iwX062GND3CzsSCk+Rh9MpagxdLcuU5AuF4y0v8IIUlAexdgc9PMYpz09PG0h5uepNqugGemujDR2SWvWMWUECpuHaO6J39A+1ezevRPs3rBPSdY+FH0U5C/srOKwe+ed/8mUjxqG9dm9bQDPm3wvGtmpaXf5sp5/1ZR9qAGM9xIZ7ZYy+2VxRzf8y3If27AD+DDK1aKWBl+Y4U55zAfxtLHrn2wPipndXFyynLwBWnMz+xdScRgKscct0ajryAbH/R3KCbfPLrHBTmNc/XBPHbDBnmj6kHOY7/YFeEhe6MbvIxh6wIwyOfmuzwveT27nOB9oQwfFrOwNRsXMblW+s/PZQ9E+ctUfk25ZYy232OnLw+FzVCz2O3Ow5dra+2xn90hv7w79l1ko0cs/PwiFloX1s9Sp3z25C9VbpUHrx8weWrNTI/NZ5ezAuOwoFK6uk2YjXcf97pc+FN/Zw84wW0mrR9zYad34NZzc73fI7CqOmQeMQZyJSzFc2PUZzPexAZTo7ZTN6YEyzmVLD/ohfrYnrqWNIgq/QmJ0NPgXEG+AN6/NDuzc+H4UITHa8+jokti+iLoMn7RpKXOK6941zRuu7booZRLT3v4Em0un56QaHH+Dudva7Ep3TxnaHEXmLS4neiYMf2uEwicW49Zav5Y+PQXmM/aCcs01q1liZ91DP6nnu4HCWL98QvYpsVAZ7fssnwgV29Uk2rPMMNf3hP13xAWTVS/puc/kabv2aAXHeGUN7lV8IoaxXbvBcaWUjXzOOm1KfT0LimJ15LKIs2dnyzImnr8yrDTLPydHqJ85rh0uml0t7KBNZYetc9b4ld34gf2Mw1Z4k7kM21D/95592dkfiXOwzL2F6mu92HqcsZ2rLe6htnoI4oIs97bS61hj9cmC0z5TnFvMrPtJes6nTpWF6j8rE5unjnHdjOUM9Wtm99EYfEWa7kExsxoCMsf9mDtcaDxJYm1lt1PTeJkg31r69fw+naAW2WXpn6hx6+oZc+vM3b5R3oNi3lZ2T3skLLO+Lx/05X8hbqdHOXtwZsUxjYvejridHaoIRetr3VMYOWmkPlRn8+zTGvSfIB+R+b0CqfVXhxj2eqQnuXPr13NvexLrAwz76nrUlGfsP+nRh+r6Gv5mxprblVS7m8/u+Ro+EdIblxZkzYXdO6u9LU/sc6rc5i/6z0fhGhpmSbmxKHYFyK34cm+Juh2REB+wBndcMbdy756KF7avbi+j8E+Z1wLzUvjcXcZMVKXs0zeJjV1Su7uxe0aqYS3H/W84lob2qCrrBdQWy7xnYQ0PMNuXcgnzBi1EZmevNmOD4DWh3HLi+eC8Do274OMEt60x6wFYfe50RO53VqR+vwLuaMLsAODGaLcG7SOrnT6mLJuyq/uO/ug7pPxxjd15cAnpGc4UK5+w073bQ5sQVMPKJ61EuedfMpjhCT5N/TiUj4xp1waufLHyKdacdJzZgVmYZwieuoOfYg7M6eDz8vGzdqHhHjLM9j5rZQ1XFfAJ97h9/noceimfsc9LxJ+x+mb3m3zeil9GPm1r9SF7wrMDoF/SxkY08QH9FR94coCgGmF9QD6wKv3dX/GOxYa5Vpa93I3bVW6ti31Dh7eg3pqrjJ7KpExAf6+Z09Tk5ZFtrfual+JlZZ8UcM9Emr3RGcXjpS4pzma9MZh4Wdm+/P5resY5wxjWRhRisCtOoF1mJr/UPbuQ2CgncV5Ejz5UD3d14yq3zWV3lGj8E6zcr4O67wlmfZjxTHo7rXVq9TW14Z+IFhanhBYvtH9fCDfvQOjRJLZe5MCm4FtOUO/5kZmx897TJqLHM0tD3G8e655nxr0H0fkb7vkKV5pwgyH3PpLNevb0u+jR3chOgjkktF8U5anBE6zuHRBprxcDlZIPILQZGebHhPcfnP1K7BMtwtMrpXXBxlLBPLXodifl1vrkOzsazTsGYtq7gzIM9k4XPvI1u4lcBBb7HW0FeT30VCzh11IGVVusTNaj8JYotXkyBtYcd19DbaIG7SOknCL3udPU2z+y3Bjx8kzh+io91elyfvAtc3tn/BsyTPwscMcN7sGl+m7dBeMBjJ9LitQLuxuw8c+8ZPTMKEKVblcZzlbtM+mUMzacdvvkrfSzjAsXy2k51Km458fufKOdk7RugM8ltuCkiEftJD3NSlncnKQArB57XPtyS3taF8GnksAy1096ytBGGtbP149iSE9b0t5Su8oZ5yxjT7CV2uSrEusFlpwz8TTbSk9J2GeQOXv6s4S01VDE9JqF+FkWtqnxlXyUUXqetWvw6bPnx766ZPHnPGeo68+1y25dwb8ngsQ6b/czlGDr+pbFruZr3dRWb8e93S6qLt1dt97PU0aP+bq69C6sBt+KU6quLub08TVAWhaNr6u0TM17aHjhcpZCJ6l56gNmRZ7a3HQucuIWrjPEGDPTzriMG2uK+xw1LaNjNi4hWJwtrVaYfVUmo2/8/obF1lLh+kbS4pth0LqBjkBPHGe7lkybdTfcW31ACtp7n1gtKbMthln2IrbP8sX9rHKW2ufY3FOKZJsaE9mX9KS1pXvMa7uSSk/0GC9WMl4bfVCYTJVOQQ1lqpR2tzC9mYpcC7QGpXt2Dl/vZDQyDLgwO1yEKlNuKanMu8KMuFDUZe7yDCmBWwfMXlKzO5X8CdISkp6mM3VTyjUaCbT7KllMu/fp+W8l3VticP8EvT1N0B4ZQ93cvsdsNxuX6738VtHUqqCnC1gdF4MsTZxCDMJoPDbuJt2eomZrSTNlbheVVq3ZYmJ2Swj7tDkRXeNbA8xu2lSwGmSoIV2K7/Wk944IlQLGWBLT7g58ykcolD2gkST7QTQrNVlAjO+keSIdN9G6d73g5jSzktf4/Sz0/Gbh3vaSE/fNGjRPqV2ys6XdeVTTu21inZg3uRCFcQ+qyTrhXmNudyrhDhlJ8sa1ed6TEiGi3I84lKbdwwfWyXL9B/MaxM12fdVsg7/8EHzwZ91cdq8M7s68WXcHMKy7c5qaru5i1l2uu8vGXy61du+S3DRypiY7r9t8t/Xv8N3e+4pyQNSebLkNgw9f4Ik4NR5wEWyrv/wwim9JCqP4ll48l9qXsnGzEY5eLVbal7ox81K73L6CjF60F5sX71EDtLOXXjYm7WvShH2tG77eLYcaWKvxj1O6l6VAuxGPeBIxFsGUjvaj/XDyhTsyA3FnA9yFw5/bF7rF5nVo9JK92r4qLbcvpePmpXw0jty8rM+8LhUaoDe6FRb1zL7xLbFv3WPmbXD0VrjGvp2vsG/rQ4IJRwB8mxdOJHrnXmrWx/FdfPROvsYRCGrDrJO8xAelOD6qlXDUPZop1qKrg8kBmAvoipjlE06LvJq2j8SRiBIRiTjC57yi/ezIDsH4HsHcmAfM1vbNeK0lnNwhXmLe8IeRYiL3mN6nnqMcsxTbFQJ86dzeKHG7fBwlES8iJqKUsfTxkYnDolDb9/jlVqSFHSXrjbK2op2b9wPiewJTZhugF/hxs68RX+zXMW5noE5MRF9EHFlwSwW9ArC4j92O2YdYXRObRRbxLMqyQkQH3KkdaiQHqUGSV1ukE/t2w3SH7zs8xwlOO1Mtj/t8c1yj17YQkiwH5KIyLcvDHOsOfOle7n7ZV0z+wJ7pM86Pcq/7HU3PWPZqe7yOT+FScLxkp/CHh+H5+YhlL0fT/8OyMAxfZGkq0smnHVzwaN+/HkTn0QPS5IPHzl1Mq+3xYj1mE3PUwsV0LM9Z+KE7bG4kjy6m+K51PL7zcrSN5uFZdUvnyRFjoYX5ZHDi2ADrr//fYd08EevRaHvcXAKdi5dzoDBP0yePYK2a5bodmdfZ2lHU0aERzfzVujt07JE3SPu3Tl8vHhzuEkYLhvZoNHuJzDpahy9HOP6j/umq1+4oQHqXMBHS/leM6p+Xv4Thx72bRwxun50VgzMW+u/dX1TxZHHWTBZHR+H1Ua+HotcIP1r8MmjhelFdH91Xt6G61y9hTMZjuF501weZMFPr1f6BLdFjB2reOx0lvXS6HssIj7/cldmrtR6I7A7v3Yuzb/wV744wdPe2nVz8Pn86fnuMn/ozIFY3Jz/SG6+n54KV4bSCv87x0tXqZuzIHb78cf9gut+7drht5/dzwOz36ve5a+VtteKuld8PtiLtbJNnIHyzMX/xAmfW7NJqMAni6BQYTLDLUPbPJOwOrDC6bBtNuyMtm8qoim30+977w38ufnHUvz4spDMQ0tkZn8xASPv318sbKIG/UAZ/oXR0/fPsZXIEX17yX6LeF5wIlZvs0TaSR7NojUVRs48Q9wjN1pPZ+uf4FzcxeuSQnhRYhR2qMqTY/nvTZ0sHRHqXXnlui9phCbYzhvp7bTRdG50SbKwSdK017X6dUWNww3rjZr/lPhHw1eebx1mzc/yhqXBVjdw5LEezcEzUBOE7GRHR7HeL6M+J7/Pd8FC3fpfvocv3Z8nkPXT57uf3v1SkPq7hChj+/ij5JbraPXNwt/XFslWb+3vYl6vh0Po81H58UxQn4hKOb91O7oO5jQ3K72Do0TsgdLTWnle3zBUyLBSmcK+pPrrNErkAfwFd+HsQ3b7IdCj/fgT1if2IcnMA5cEhH4QYOGG3LGoAKaLiz2Z6QTu/VIvz+NXi0DEh+yfu7X8zUvbzzPKT/pgegErmAiilw6hXwlyJoJK34QOH+9lWqRNo0V5BC9udA7O9pbjh3bGkbz7rWBUH/d/VG/QPwSfWOodPBp8UPgl8OL5gGj4NfKBMwfe2yHWj4APl+ABVCWW5wlTM6egNepfxrfWPM/SR4ZPYJ7Uw80ZP2+fmTfn0fhn44PsQa/jIHPfMaF1gQ0lBDRUAlCXmpYKigQ/HxwgK3EIfMwgwGZQxbBS+x5iIwa3Y6Mhj8Fmcglf+L/zg7tcwvO+Yn9F/W0X65gVLUVuZ4/TCMR1qsHckxFrJ2fHq7kRdy9lqOQt+Wy033JznAF9/m0/bf9sEP/E3wejtetoCx/CoxqUOUjqTIQp++uo/oGc61nB5td05Tgia8m7d554EdX1WjVk2OFeIbuNZS727SXHIOoOmHxxmnBS7p6yBlzxbDtzkthrNlugon5/Twcco0vMWJvtZdY2nG8/bzkNu909dkxUCgHaYDPlC+uJodD2WgPQJtQp9jOV9ZzFt2m4mXT6HeLvyEN9yjm9bojeO4+pTTMbs0opGOOmLw7s5nVW5vpqp0+AmgvmM2ayNAqaPkNWG6asLOhRyc7fAczn1TL6N8PzNqdL2/MxG4ZGMABAFs8V4tZ426lceDgcI/Xin3zuON53juLowpxNDL9HThCjQnQMsHz61qTs95iXF515I9o7huzzLXrzYtOcVMuQSHABg32XfifPubUWHEY427ZiqhsRnB2XvhVEcHTiWbnVjgG9O0iMSa6gmOJ1g5wjzrgJ/186El+m+qG9rf34Nn/ic5PAgtNUFZhA/bGuYFStuu+QnaTTOoEv4hEfwZwJgFeufgIbyjlDUAHvFTkV4NAK+vIpPIdqClmimY0shASf98896cUP1bjva1uFkGD5Uf/n+zR5FbmVFUQfEGhHEFRBQXEZdBDGCXsIxC49u3o1v9mHrDpaoOIYWAAIv7mtnfNNzn3Rd3dZ0chIdW3Zbn5CQhD07rWV1K3tV5H6VfnNEahBP4D5UJHBzS/pbh9WA1CDv34LWncrZ9L3yKqE70Puud/7o3tGjtlJ09ZSjzDYr5/Pe0eF6J/2DqN3Rqz5qujLHqNrTVEezxWizCgchrzuD9T4Qqv9yxI4GRwzi0ax7jYhfqtuJuUx+qe7sZfpLFe/W5L9UvOACN3jhfpAsLcq9LrJk336OdqGi3RvhnvE0h/wGV6tWbs25r4EM3soVGsh2G2y2arWZOF4EC3UTzKPgOgrWU7C2QO7lNliT6cSzhfD8Y1SlQ/6btu8/m6uv8iLPx8inXdwtf9K7l5t2a+5dTP1RXeYc44eVbDT8j5oA1B+WLDCbIB90rNUq+nGs6y5sAzMKRXS4lSmTfd50OZd2OyZzvDhnPFygfnrgUMSFOWn7+qgqShG7lYnJKJpH12FljjuDy2i2jMAI95TVLsTeQFaILZDxFQ3GjOXUYL+H/L0nlc3sUWV4zJg5s2xlDicLhyeUPXyq2v449g/Zk/XIUzei+Ubnn58xVYZtBX/3TdG06tACUDAJ4MumJbi6gqUiT7IywTWffHeR88DIZ/aYM3d43T8jvrc0GkaraRiZI/EeaRWaw3qzdWQFtSsCrEGOX7yYyaPZGtSyQV9G9L2vlEFUq9X0/Mf+OZloGafnqWLpixer6VlZ4uVOQDinrlfTaLYKKVUGtmQazbc7Edu1q0aIIlfxT9gDud7S9XwLZfinP0B/wjxNqHk1W02uQZ7pNnydb+Hr9Xbf51ypCq3QHHxOY1bW1P9KRWWZ41jMyYDd933th1K0jrDfhwzR327kavTDWrbq24Ve0vFmoJ4kLlH+qzbITeBNXDlT452yDaucLenu8cop/D25m/fTvrzwdmcTh53iub63Eh0Xe/CI3dV9MKzX8PreSvc2DB6ChdnwF9+BefJpTNkV4Dm1ptBnMRbbCu+zkr/oTk2fOLeZyniaVoPzcN1pwbbd7TEeCb++Vv8wNt9//3s4ccp9MFW2x9vpXG22cr46J6xgTITWzoxxxqWabfFw85Ez5JEz494J2x5PN38ElarrU1Cg0fZYzpdXi+3f/dU/og7LyNYOB6Pq52pIN6A6eGXbp7PV5fbi+Gq2+jNI52sQz59k6/v1HZ72OzRlDutTj3UH5Qh12mEXhvflcnozrLJGHe+A/QbDDZZvHW1c01GPxOMBiSM01k75IffjCfJZS1AQh/I43nnqkO28qA7rfXu7uhjw/EtSSAepXTl6eE1vraLTNae9AqeOyFLucE97fjRn69PmfB1+AG1G4wNDpybD1Bd4X2+n1xCk1sCvNminbbAAd6qewpfxOTgusxmEnuBexccipbMewcW6kRCELPF+E4xeA/j3y9m0uYsCOYOQtqK/vEKIcNCZU8vNlxVg1Rk3sI9r1LmofGdr0usCbEcWQUGDiVuY6vfgD8yDIBLiKeQixVT8EANd9FeRfx2CubDxqtM1aypZ90o674FkK6wo0L6J1usIQmqMpq+HscnbK7lu/1MpqE+BSfddPsP/B0MWfryn7DoMjWP/jNjggebW9zXHu+ZgLB4cxoE+/8fetCLwj0B7uCj5Rwpm+xECaM3TeN9K9lqPeq33bKYLDb5ezlczBVEB+tJvMZu2VtO5fKtQFv9HLqazGYYK87kEa9hC+bfffPMNiq9c32UJnhIKimoDhtefYPr1bLkB5H2Dy6stnaa6vZDm5hqCikmwnUJovVEz1WxJ5mfLG6gMMrBzHLbn8oElw5300jAhp88rXvZ/kuLFC31WDTfRpnn4wQVpIOg2J6XHO6D5Hlwx1k5v79b1unUXBDx418HBXQs01r9dTPV2M+p5KtdTiMh2dyoEbkXUYb+7e2u6+Wpdj0w45YMp2cXjsguxekF6l9bqbq66u7prCuSpQ3EQgGGfgN+to6Y1rNAitFQb8xkBJoABfCcD+emLT1/MpvUapCpwZtCy00dMjuv+ZFpM9FUBegOTR2r+8NOfU4F1g7OzIBVPqc59df5Y9Tfffucq+8l+f+3//Oab377+6nuDeT5xMxGi9NkSAsTZ8i0f3YZhcBSwKIgxaAxuoXIcBfWdnXj2mPnpezpafmfC1NPtG7UYPbZbI+j2CfQnziGX10yoYHQbnHfDBCDA6xzvwJiDRXBkrz49AAeugQfLEguFFw8BCd4BCW6B8OIhIJb1EMwcftnDQL1BuSE9MqDeeNxwHhlNbzBuLI8NpTcSN5DDEF+CmISuxo6V/tQJ2uJqftKqRQATFWbZOcKs0TsBpoPXsVAS/K3tWF1DlXZ5hUdPz1/yX1UU8F9hWpxVwTw4w2tx7Jv880IF6D+hJTglfQ5iOJ6pxVvoAVoDk4I2BpdkNMoxmIL5EozEcqFIpltoXU9vAQMsDDaoA3fkujNrOIDIzzAYyaMi/i5yHorqC7uCeWVVtZ010DJMvfHOXewC7zrNMYgDF5Puuu17o8FIAZ1i5N5mAT1B28hOZ4/H4Brj6eMVjgAXN8h76+p2hX0oBOpY/w4qQP2TQc/ADk9x9D03UG26CH5G7hEPk/B0wADM/wGnb3AtBu1/Q2wcjOQdSiNp0XBHMagdaeuNvXpk8J815HuH/Wl/u4qpNob6LwdV/VrEzbRBGeBQvh6yzhSdI0IfP7qvVYXfX7xAerzAeQk3IKLeoci7eyjyDqs7GtIYyM5MHAl7I9ibssYDq8BGjBgMCP7Df0r9dhOeoAEM6dh5iNRAwHcdKAT9s/ZzAaB+enTCzA9PGBwGwuNIUGvYLZI0jigYp7yfFCRkAGeYuAgTBexQwhS53pvKuxPo3AoRyg8pnqFcoKhU6Aj0pMlW7RXuS95BLEmt4FzfRxOniVXHg4ZwruEkDzZTXEzENUlQ2AdbxybGSFi48JtWPYMh6JuCqgQ1C7KIHMXpc0N6dqSOQNTs3dENKew9m48q1HPv5l7+Pk0L3pC2y2Ian71HUgY1s3jAoS9/k1AsN1uI3KBZcAmD8UD6bUwajAYV0buhyt1UscTwY/L1/aj6MrnCtQlQcMPhWc9zd8uBEaPglVkbHohQaOh8asSkQvoOebzPKijD2Uc20bLFTL8L6WyoRHdvu5bNrhEzVQ5Ps4enZHggB7kCIfep1cMzZ7SCPlZOBkdzQBhGGg6JMJyaxLEhnAWL9mbA/vaOlSf2ajBbsa1TvHd+3jWw2pkJHfPn00W3bdQNsr6P755EDgsJM6cGHCT0WU/63EP/2uVZcKvIaYBd2QlUK3C3kR72OyWTjennu2oVYL+5XXlWGtCfOr+EYH96ZCYeENbf9vD5aQehnyxGe5KJkBA0XM1Wo5WctuEJIhmah3vIs0JZBbZCmbElePWTMSBg44Ai1t+r1QUmqKg47Ly8v1rkTVQCgf14qceU2NrAMFcQ6B8bLTVXEqphg9SXSVai+7dYgpu3gEB/CzPB82CHtDvpTy/tiE1H3+cS/OpQliAwJCB7hobefAMBxpgOvttOfLn73tUwvfoK9qsp9xayn+2KuilrZ5cdGM7L/aUxqOJEzY/YjXS8N+1b63XZftEw7pSfUxC2j1cH0Z+hrZ+fn774v1jAsqA=",
 "harness_zb64": "eNrFWmlz20a2/Ss9dt4AcChw0WrZVI3tyEuVRnZZyhunRIUFAk0SIQggACiRcvTf55zbAAhKVF7mfRmnIgK93L771vj+LNJePJx4hXbT1bNj9ey5epfpICzUpbeKkkzZk2Luz+JwMi2clpqExXQxcv1k3l6Pt735fCcP5//YO+r2vIPdo95ut3vQ29Pd/c6B53vd3a7v7e77u4dH45e7neClynSuvcyftvMkutGBO4ifq0vlxYF6r4hLrsY4mqjtjI6VHyW5DlSUJKlKxqqYauUncZF5fqG8iRfGeSGD4yy507E6O31z/vbNxam68bLQiwv1BueNdaZjX/MgWyanXhbrPFf51AuSWxB2o90P+PMliUJ/pbwonXp9+dvrd9zd/ZbKk3HR77bU78NFVxXeKAKa/Q1srFwlt3FL3U6BMI9KwNosDFSY11i55dixmoLJfSFyWOgocv3Iy/NwvLJd13X6fStNcgsQgGkcgPxbL8hbysebL6TOVRgXeqIzNQpjL9C5Y9h4rLxC6RudrdQ4zMAaoKSAXqDJPE8V4VznhTdPW2suhvmbbKRs4uKofn/NLxV5Ix2VyAj898dKx5Mw1jvAd54CsbHWKgjH1Y4ERxtxyOm9TqejfC+KRp4/y1WKyVyXIl/k3kQfq3RVTEFnUxNlTUfF6irNEj+/VkrtnKhkUbRfc+bE/S1PwGg+55BVpr1gpYIk1srLtMpnYQrMBnE4T5OsUPkKnEvwP3cNYmHefBEVIYFDCcJ4osqlX5IkGsTY4HrZ5AbyqR6vjrvXNcBilep8EH88/XqKJUnupl4xdYMwi725tqt3b5Tz1x4Ox2Gkh0PHMZBlElqrs8LutBShYObrB2oTAbv/TIJFpC/xbFuZTqGQnjDGcl6prx/cCl7j6N+SMLYJqKU2doCVlkNWPxhU8zBe5CoscpUt4p0k3ikpEyOzRX2KKfky0jBFDajJLdX96prw9FL7NpxACjzsJNWx3UDLcSkO23FzHFnY1mAQNzZfda5bTSKAMKFZTjkahH4BGDWra/toKf6FZrYqYnqlKI3HKNdT1Qbxzzit21EvXqju0SC+OD3DO8Ano9+uLH0zt66vrLmG1gWfAh0X4TjUWc5BMQR7BCVoLWBevf2D/++vY0Fdzt/jXFrAAGon9q0uiiS1T5e+ToswiR1oP0bX02cg96cMfigjS82TczyIYQAq0GM1HIZxCAbZuY7GxgCqaf7LFzAwsL6xDAsa89jl4qCCrucc9vLKDBlb7atO+T4P87kI7FW1BW6AIvx+X+2Ye0uu6LhQYfypVo4nHtd11ijD4Yn7KVEeLVYt5S3xP36LlsITHl4Mm2TcYvAWo7dcd+utANAGW+07BYHq7pEj8eEOHlDZZr8B6DRIvfEEYVvOqwC1atCCbLqsHqqR8ah68BqwhPztztp+CMh5DKmlvltAwzo2xFveEo+CkuWt5JGjmYxyMJPB1X0DgxBxT/2t3xBgg121ZI0Yf4Tub07OyAhBgYDwqyBNGDU2RZajflRW28JfIXMLWCP9q9m16jcH3Iku7BmkTwgPToSrbqnhBBtokIZJumQI+AGLbKkozAubYmqKrSSWJmgDCNyFQ7rtUgR9JaHIeUB9jSoV1/Xg/ePA/m4V4CPwsHgIHq+oQzdGeW6oPByHO7IEOBbIL97rgH6sDA73T9lQsR6f+sNKTx5gK67NRO5H9D5wzcbi3cpmMEk3u6CDm/rqFulX5QbdMB962eiVBFwkFFrdhB7iO+KBP0VYnksQUeNF7NPTrE8ELiWIoQExrCH0ayJA83pHRrmXnqW25m12vKmwwqiYXDh/v1VbjQsRNTDC85bOphvBiJnCawN4potFFqts7TeHl1+PyUxkNnGwA9FSxiWZkHQeCi/XjEY2pwyvkYWAuUxYaN1NGzB5FWkvvCL0TcCwK/ab2RKpfzSXrF2f4a/9woOfL3F+mvtMAao5HAqKSJ7xoNpuevoxmKrGFtOh7xy/l3TIMpNgfJUV6CVYm9vjeH08l0PBmSqV6wPAakSdRsCowqyLFME2G+spbAoQ53NkUXY15i7SAKyF3YkfMnpCuwuMY8K5NE/RTw5HyBsCsVinMTXUS+SVUbmRo1fH+7WRmlHz2HroA6z3wzrTxDrkOPb5eyDtxjzg/RDaNBylJUZUPvAKk+qEGmpcYkAllMWp9mZQlXI1Hh4fN15E0QZQPFeeQrIiCAq+1S3mKXyAdWs57m0WgkMUlxss5mluZw5UHgIjsz34h40tkFwliob0anZuMDC7alB4Le9CAqQQ5574ACHnmloVMpNgssosEl5qiJ1hPBxapYaVyRQS39TLWMuI0SLSI+mWjBzypzMF4jq+CbMkvrIuOtY18Hg4fL5lVCKH9eXr53cXZMyRVXlELJl7M9SfWW5TvzErSjxMZv3LbFGZm/hBpuq2IOMoOIu04WJo/Blzwlilbjj30uEiTrIAFUpgQ/PBHC+ewKZAUN4Bv2OHiVhGJLENfI8W+bQ68FlLPUPJM5z8tyvkD2XlJQlvo0JuMYcnC+jEUM8COzULWY2a9UONoMOkP0jAEzsN4xgryvRdosYFil5QtHpnxrIWj0MILnJoT+rm82QGKAIMlMXjcDLk8eaR/PLCaIEqAYbNIg/FnClAK2tk5TlKIDNoE9xkmKIszx3mggWdG0+TrWnCmjZQoyjxZyhk5/MhuDbMcrqg4Yjuwf7WUv/rxWEUeRdADhXwqrVG5IgS8PIh3XEuTCzKCoZVgxcob1wgvPJA+DzYu6kgu0jRO3uHPdctn14CrWj1SmnPn8IK5sr2EVdCureWYhnvYIGP7NkTCCzwGakzFuoQxAjGWh2MIovyyd3NctQUsCxKWZC3EOmKaVnP0HdH4aguSWWmrDW/bBSU9MDUD8RlcBaVzNYCE0KU2lC1lQW9gKdJxOBK+A0lIe6np4P47JQtkjI0G1upWNQqmXXUIYiz058+nH7Fygo+DSXSwQRMLmMSuNcSkprFdBcOqn7pwSVhD+bFL0aJF+S2gSylJDLuJaKMQ3ddDpeRzTFO+7sVUZjM8ARzqTHN0073mrEDSNBDf7+/F99HiYbsOARXZuq6dB7ECbALe8xx9R1/7uv+Aq0MWi/CBSzuHjzj9sGz6yv8Xt+zNvaTQBpDp6fusCqRST7LZmO+Zg7QKHlGT388kfLYbKEq27nJUsWFCSWGRxW6chzLMUsUGKTJIlBKzV9wgE8Zjck22giy46RQYxSGOfJDh443TxaZT75RRQTJ+0qmJlIZ1jfCVcQAFMasmvtdp6bJrY1uKEZHqooO82OQ6CJzHIMwEMwUchBnwqBy59qyRduEfcz6y/rAvHf5TjbRxKHk2t8OW+2oAqWnMf/6iBo5Hk5fJZUsHEy+mNtS19S8lmWG9zO+QySnX79+/noBxuS3Xkox5Q+WS657ZWVJpK1rCacXixGico6Qa0lXE7OVKyxXiB+6AEDGY87lkmMTHVkKGTdOwTpmCbP1mmT2aMEgZryvkuYri7lAYlKYx7DmzHVraPh5aimMOpkN4sqBjMXCxS6GmXdrjNx5Qlm+izbmol/4ld4UM0apxa4y16Qz8EeZnbl0Grljjs94PNaWGWaO+supu0h5QrW2baP7AFUBsggC72N4kKKCSOJqYVCLZJU4g1m1tCwJUcpKVcgWVI2QC8LmUJz7+62YAeBMr/qRNx8FnsqOmXYJWtdAGIUJXLC6qscaIECLaEJpt3yvN7BinosPz2muSBgBQYi7djZB4BBkSeIIIBIQJd4Wp8GNiFvAE9lufM1wtEIhOfThzpgOlil4w+LWajk0SngsIZySg8KhGJ6tk2CrkSDzkSm86eBK7o1HjJSJAUfE7lqmkUih4QdvtWlWSnL/2M9VdYVxbX1SY9U5R94vAVfo9A0yFS59g4mQ0S+JQTLZpOTRP9lLfvdpHzXvH7Ae1kD2ybPzn7rNLfb057YkDZUmBJOuNq0N+nyzocjYU6kvfdSMjZQGx8WomN2CodJ8yKeS3/6tjdq2nU8bLfp8qtaL1EVHnSvJ3sEs+7L9vryi2ZHu8USSJPjlHUmNSkMhPlO/zZoVp/7Uf537Gb3+CdxfoAbPfvipPfUHz9QffzDjL9hPotDVj/9zOYgvOv0fuuq8/0PPHNv/YVd9+eXy4+fzL28uP/Zld7pCzgQAF5/P3n0bvv10/ubrL8P1NPIkH2RhAS2BRrN30CmvHnY37x56J3/vqj9UAb1SOwedJiIltyCzbczaSNBpOmXKyMQ8lrSxZTLKRC5K4qrrUOWh7gPGzGcohNROatgD2INn4Fb5SujtKgV2QR5Iq9a132HSjK03jHDOkxveYrLa4JbDOWZuQKcAKWVU5o+bgtrG0Z23NXCpnLBDmDzahuQmy/f/MkSStI2GR/Aot3Xz1tRxA/nv6VruuGqAtNQHb4EAgoiJvBsOsqV+n1c3gPafFnyD+C+XfK2HNZ+0wphe/F50W+ry3c4b9fzwEPl80t3x1PP9vS5cGJ5H6nl37+UhCgnf22ESJz32HV4yuqz1efOoLk/Pzo5F30bIlVimsPc7RPE1DMKbkNFRMhXsNFeWCBQ4GnWbsd8aJIHDG0I0LWqwx2RLp6g1H1w2ukp9itMFYPBGLl2MwEkpqgwWaaZvwmSR1yWiZcq17EaXN51yhajljRkj+x/AWixJenuYloNASRjA4RD7YopC7JKjn+JxAhTecDtAB8lCpEVccKC09rLVwZ4KpJcAhYNV+3bwwtwuIC5j3yvF/nUXOSXw+JcXtDmJdLrc26pK7tLo60ZtWPAqVqk0SSJhc66+IUYmeViEII9NpxIdXjv4q+pSu+YJSYn1bcWQX+R2Whp1WLyDXeqkumBp/hMOCB120J44a1q8OfPjX9ZIQZiC0wZSXomWypaPMCox+SZn1AuXN0AEq4neY3RKVGys2sEqZwtK34DSmfTyjqtOuRXrCX/YFbVYu1DZmJqghF6kqeR+FiR77gneksCx/K4l+vV8R9/oWFT/otoBjNngUnbZHhnB5KlF/DVNdVBbdUGkHXoJub1iBJXWcWi+MDBt/RCZ2gY6wpU0JBqRHjN/g13Bf5Tqq173eWt1+GpDwxkQr3q/HsCge792ex3nFeuaKDpWHfW6EhmeZLJVb9XLFMBj2lWh5kkuDZSqVe2xv9KqtQTIJrcAsL+rFlGa4wAIvgn/G1F7LOS26oF9nxifcEjJOq+JvbolsXCIesnvB9IsCRZ+wW8k5E55w9zmSTwx5nqbQK3hHuGCMvAQmer8xy51DVJMMvsWB9tiYy+AtGZj1KjbTZgVCy+qEVjyYh569yNSGhCmypayuJeydKNQEe3jrrJ7JtzO2Obt/boH/eN3EIb+F5O2nPgCYBxo1Vs2qW6RZrHUIPY06kgjhNvSoGJ7Z/3FCS/CpwgNoolGAZVx4VpcZ+UzLbLKi1Z3kl60ARjYzXUR+nwHb+lsh2MoWgT14x0itdcEqKpL0+gP+UkUaWno1rfe70wBTJ1/+zPy0EswaA+29bmlPn4SJ/b6taKqyQMUiivN5QLEH86R5Nm31fWCOfmfHqJwnsPHzcHDX/d71JU5/1ChHBFNpYxKvi0xPb/SN8xfQITmSxhRGKjLrVvRxFNYfkLkxGsPuXS7cV8vly+Yjl3Y5xBJ9qSYSm1fXjJCcdhFidXJCTwExvd7bCZyQfdgo2F+NVuX8jb1jTeVkgwzeZYaKwpABa8xtVPfLtP/X2NkzaX6vreyFpzHYOjl3FkFxb5hfsVI3gqnvLyuNpWkLTgmN5z6Sm5lr8u+Nh1Gn4A3rmlxRn21wxZOh0Lg0tf1Rw6Hx48uxzY8lJmVcOYynknZCxAsYkiymf9QdvUnYMTLTuew+/Jlb3/vcK+DX9fZVik9VxMx1v3dlnEFNaL0NGuc5KIPxHpL63rjjpD0nH0WN7SEW4KyQlxYjYFO+XjCKUi6++AO8Wk6+W+ZEyPDe6Pf6dJ5dPQy/4+AztjSAkovwKo2nVWpstRiW9MhwTKa3w0kLTUNqegz2N6sU2vfjD5YbHHvyAgZK6i/5apeA8g0LBpfVFTXG9LAfIz+Uvo/tVrTUpYPbtdrgzCNXXaLiGfXEVyJ4ZbLdfYYaDyzx1PyacKJoQaRRrIQ9fdH4qr+8W49jBdaPfnvedO3w29QUFXO8RimBIMGycUWkks0qdvrfASqP9kweW/5BMoigc2vKgCNxf8y57cPMn9S+oAnFErymcdGKh/5AZiAMB9lMAEyC33esK+M5WQrXurRhFaVCZU6bJf2szL2Q/6bEb8xIjHfvDt/yVfwjkKvNuynut6/49Rdc8qvpkqUkF1Cyfh0J0/eKLexYwcQHbVpyU9jULJ4lVNIfLrLnW1c3sJhqvhKLGTVtJDVpqasaB3NbxbkoyLZdvfQsO42t95x693jz1buyPfVFjWqtP7RDhuwjPsgf3hlrVcC22HAA45mcvVw0qFL3N/dctSfu7ANU+CRqy2GsPoTsNTYjRhbKuzmN2xMn0sgZ8MLFJ8MPfuMNrv4r5p4+/MvHD/geO/o6OUgfvJLt60Btv6UpKxJ++WyB7NyPUAf+m59B7E+qA7t5qCtAX6LzfxfGUEDr43jqmamOSxsVR8dIWA+IssgfiUrrrd4oPorI4pgu+PpuE9soRwfbDmrvu8ykmnmIOUwJbm5J9BM5FIGDltyizSkLp1tRQbL2rKDNTB+UMYa8Gn4iL8cYtvm4+d/ufOADZv/yrX7uymjZND2ArYaeO+arz9x3viSHLVqHER6eDdCFcqiJuiNu3uH5RfRjyZ3j4COj6Ljy6JQzbacko68rOQlWKNrpexotLOnygZhO9PjdnO6pXDQCHUxnBPq3N7+gRoddjr7e+MjflIucWCj0TnSUtySkooIIfBV9Uk2VJv3ylj7Sl10+od7vU5Hnff3O2Ubdm/rt9t2+Sl/6+EH2yC2at7JlXj1YdbmdwvmUwB2/1B87u3rw/2D3fLiHmpYLNLh2MsLN58eN1uDNeDXXjY/Ua+bHEWVIEUyvyqoWhtHzcbrX/logDXZs/t/A+h1gv8="
}