{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","idea":"Test whether a split-inferred current rival spot can restrict the price posterior to its 30 bps band, and whether movement since the last split supports an edge atom. The replica exposes a post-retail spot: treating this as the post-arbitrage spot is an invalid constraint, tested literally here.","rule":{"state_kept":"Baseline Gaussian log-price mean/variance, rival estimate and synced flag, previous reserve/fee WADs, timestamp/counter and staleness state. EDGE adds one previous split-observed rival spot (not the dead-reckoned estimate); callbacks use a transient applied-once flag. Last-known starts unset. Oracle spot is injected only into ORACLE arms.","per_callback":"SPLIT is the supplied qbase unchanged except credit. On a non-arb-read split hit, its equality estimate replaces s2h. BAND then applies real.trunc to N(m,v) on [log(s2h)+log(.997),log(s2h)-log(.997)] once this callback, retaining its existing zero-variance and tiny-mass fallback, and re-looks up fees. EDGE mixes that moment-matched posterior with a weight-0.1 atom at the upper endpoint if the observed spot rose since the last split, lower if it fell (absolute log move >1e-10), then collapses the mixture to mean/variance. No timestamp or same-step safeguard: movement is explicitly the requested heuristic, not a detected arb. ORACLE sets the true post-event rival spot and synced=True on every lookup; ORACLE+BAND applies the same band once per callback. Oracle inputs exclude true price, arb label, retail index and run configuration.","caution":"The band holds immediately after the rival arbitrage phase; subsequent retail changes spot without changing true price. Movement since the last observed split also includes retail movement and unobserved rival-only orders. No exact price-edge claim follows.","baseline":"LEANBASE variant A, soft=1, qm_k1e-5.json, a0=ainf=.35. SPLIT retains qbase original tellref classifier; the supplied qbase was built over stalerival, not LEANBASE. All incremental band comparisons also include paired minus_SPLIT, isolating the requested addition."},"choose":{"seeds":[64016,64143],"n":128,"timing_seeds":[64000,64007],"diagnostic_seeds":[64008,64009],"choice":"Three positive edge weights .05/.10/.25; highest paired mean among them selects .10 for the mandatory EDGE arm. score.py rejects every band arm as worse on selection; no further parameter search. Report includes the mandatory negative controls through the 512-seed minimum, then stops early if rejected.","results":{"LEANBASE":{"minus_base":{"mean_diff":0.0,"se":0.0,"min":0.0},"minus_split":{"mean_diff":-0.05083325573863329,"se":0.014776991399113273,"min":-0.5097253260865955}},"SPLIT":{"minus_base":{"mean_diff":0.05083325573863329,"se":0.014776991399113273,"min":-0.32573892904883905},"minus_split":{"mean_diff":0.0,"se":0.0,"min":0.0}},"SPLIT+BAND":{"minus_base":{"mean_diff":-132.21165120045268,"se":3.4026812951511194,"min":-239.22347930943806},"minus_split":{"mean_diff":-132.26248445619132,"se":3.4044835486578746,"min":-239.26861256491622}},"SPLIT+BAND+EDGE":{"minus_base":{"mean_diff":-144.99715521123008,"se":3.6547294242695365,"min":-267.42841966541783},"minus_split":{"mean_diff":-145.04798846696872,"se":3.65673366546392,"min":-267.473552920896}},"ORACLE":{"minus_base":{"mean_diff":0.12591920724602979,"se":0.03140802826158192,"min":-1.1006183491927004},"minus_split":{"mean_diff":0.0750859515073965,"se":0.026125919438410437,"min":-1.0697805513424328}},"ORACLE+BAND":{"minus_base":{"mean_diff":-124.2948391185988,"se":3.3135394399917053,"min":-236.5424344666999},"minus_split":{"mean_diff":-124.34567237433744,"se":3.315358907815689,"min":-236.58756772217805}},"EDGE005":{"minus_base":{"mean_diff":-146.57459167081373,"se":3.6735737376883133,"min":-267.6869667592736},"minus_split":{"mean_diff":-146.62542492655237,"se":3.6753648048984786,"min":-267.7321000147518}},"EDGE025":{"minus_base":{"mean_diff":-149.84296034332598,"se":3.7178479601532253,"min":-270.404967303489},"minus_split":{"mean_diff":-149.89379359906462,"se":3.720041326381178,"min":-270.45010055896716}}},"screen":{"SPLIT":{"status":{"reason":"exhausted","n":128,"available":128},"rounds":[{"n":128,"mean_diff":0.05083325573863329,"se":0.014776991399113273}]},"SPLIT+BAND":{"status":{"reason":"worse","n":128,"available":128},"rounds":[{"n":128,"mean_diff":-132.21165120045268,"se":3.4026812951511194}]},"SPLIT+BAND+EDGE":{"status":{"reason":"worse","n":128,"available":128},"rounds":[{"n":128,"mean_diff":-144.99715521123008,"se":3.6547294242695365}]},"ORACLE":{"status":{"reason":"exhausted","n":128,"available":128},"rounds":[{"n":128,"mean_diff":0.12591920724602979,"se":0.03140802826158192}]},"ORACLE+BAND":{"status":{"reason":"worse","n":128,"available":128},"rounds":[{"n":128,"mean_diff":-124.2948391185988,"se":3.3135394399917053}]},"EDGE005":{"status":{"reason":"worse","n":128,"available":128},"rounds":[{"n":128,"mean_diff":-146.57459167081373,"se":3.6735737376883133}]},"EDGE025":{"status":{"reason":"worse","n":128,"available":128},"rounds":[{"n":128,"mean_diff":-149.84296034332598,"se":3.7178479601532253}]}}},"frozen":{"params":{"soft":1,"qm":"qm_k1e-5.json","a0":0.35,"ainf":0.35,"q":1,"pull":1,"edge_weight":0.1,"band_on_every_observation":true,"moved_log_threshold":1e-10},"code_sha256":"017a0c848907e1469ea09e77b11cc50faed7926743fb16dd5ae096c1dc6f5548","definition":"SHA256 of UTF-8 json.dumps(path:text map for research.CODE, sort_keys=True, separators=(comma,colon)); freeze written before the first report run. Extra audit and orchestration files in code_zb64 are not in that policy/harness hash.","file_sha256":{"research.py":"dade887780994a0533a479cf58df706319d2627af08dff0870a4290e9c2c0ef6","rival_pin.py":"0145cf33ae6c03b8913cfbe02aad87d2fe34881c749cc726a205309d3dbe29ba","qbase.py":"18d626cba9cefa30cf4591bee1d1f369affc467241c1f1da3639eefe830e2fc4","quotient.py":"f91815c0b33fd1176ae3aa95d6e5266a31f80c2e1d6d5d5c9243dc88befe0187","leanbase.py":"ba015769f7981d7798acbbc9aff8c0e0c59825bb1541d55bcdef49311d7a04bc","lean_tell.py":"b70054f8c0561779e40c4c8df3f41ab08da05b9aef591816ac6c9034beb40a95","stalerival.py":"d124a171d35b024daed840e5449d352b2b5e50a68ce98c8a9aaafaf3419d23da","tellpol.py":"7d5961c45bec56292533e65607245ad119b8733c760a5bf28f76a2e07bc3960b","tellref.py":"4867a33106ce2597863b8d7c8fb396288954b98f291714801fae8820f1f47aa3","real.py":"6a4a0f0e7f8b43d38e5eaa9d8b2e847a0771aee7f89551b122fe89bfe7969b5f","replica2.py":"54380c8755f4e42e9a0426759e918eacd2c5f915b7f04e5d0501c394c5846b40","run.py":"91133e4ef485626226679d73349b5b4e374d9713ac5d7e9d36a39e1afd75933c","evalpol.py":"79a96efe8c543aee125c937554688b37ec2e7df44df4f3435265bba6eb012bf3","par.py":"bf8a1a2e2a4bf9a23bf4622d726fd815702298ad1f9fa0dd17197230cce63ec1","pol_mid.json":"efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b","qm_k1e-5.json":"5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd"},"timestamp_unix":1794335189.057826},"report":{"seeds":[10000,10511],"n":512,"steps_per_seed":10000,"arms":[{"name":"SPLIT","oracle":false,"minus_base":{"mean_diff":0.04827759389334019,"se":0.00755842902060397,"min":-1.0465369063717844},"minus_split":{"mean_diff":0.0,"se":0.0,"min":0.0}},{"name":"SPLIT+BAND","oracle":false,"minus_base":{"mean_diff":-137.111560449393,"se":1.7790282149184866,"min":-477.796750816175},"minus_split":{"mean_diff":-137.15983804328636,"se":1.7787598889426397,"min":-477.9791107694934}},{"name":"SPLIT+BAND+EDGE","oracle":false,"minus_base":{"mean_diff":-151.62845229707497,"se":1.9503724042578707,"min":-484.68550485138906},"minus_split":{"mean_diff":-151.67672989096832,"se":1.9500236679047505,"min":-484.86786480470744}},{"name":"ORACLE","oracle":true,"minus_base":{"mean_diff":0.15317529391496965,"se":0.013584979158892447,"min":-1.0756125842865458},"minus_split":{"mean_diff":0.10489770002162946,"se":0.011800436267861966,"min":-0.8689310999157556}},{"name":"ORACLE+BAND","oracle":true,"minus_base":{"mean_diff":-128.33890482682332,"se":1.739835076601213,"min":-468.6289348033874},"minus_split":{"mean_diff":-128.38718242071664,"se":1.7395504570243714,"min":-468.81129475670576}}],"baseline":"Each strategy runs alone against replica2 constant 30 bps rival, paired by identical seed; no baseline bank and no policy competes against another candidate.","statistics":"Mean of per-seed edge differences; sample standard error sd(ddof=1)/sqrt(n); min is the worst per-seed difference, not a confidence limit.","ordered_blocks":[{"seeds":[10000,10063],"sha256":"078239b669692412ce988dc61ceba56246c7f3dc3ea6f5c3c0f15f7ca8d02d9b","seconds":51.38028573989868},{"seeds":[10064,10127],"sha256":"3ddd74d41450930aa74b0d075ee719a660528acb395178d5c379567469d946ad","seconds":50.804378032684326},{"seeds":[10128,10191],"sha256":"e71f48f55c944dac695d86c4cb4a9d62202264398444a30c2468e57d3ab6bb19","seconds":50.911376953125},{"seeds":[10192,10255],"sha256":"afa2cb801308ad9f522e32a6ac2f96fbdc403bf2aeedfc18b45bbd9afaaac1a5","seconds":50.63648343086243},{"seeds":[10256,10319],"sha256":"89c6b4ebbbb846af9f31e58eb80b5db5f79e44d96d3f4b94ca776b324e83ebd9","seconds":53.062304973602295},{"seeds":[10320,10383],"sha256":"40be1f058e93f398f4fff3d37a856037bdf4ad1fb5670f17467292e7e985c620","seconds":52.88485360145569},{"seeds":[10384,10447],"sha256":"ef6abeb322ff22c2246b188692d6e4b5f71ef22816799145de928dfff7ddc376","seconds":50.93378806114197},{"seeds":[10448,10511],"sha256":"d59b92bb6efed8c113824c7f3c59577fe2c053980097d1a081d6f10f24ff6851","seconds":50.54663634300232}],"screen":{"SPLIT":{"status":{"reason":"exhausted","n":512,"available":512},"rounds":[{"n":128,"mean_diff":0.04942907267391394,"se":0.015492209730686313},{"n":256,"mean_diff":0.05646962485908347,"se":0.010581683227023133},{"n":384,"mean_diff":0.05100590724137666,"se":0.008750674400407945},{"n":512,"mean_diff":0.04827759389334019,"se":0.00755842902060397}]},"SPLIT+BAND":{"status":{"reason":"worse","n":128,"available":512},"rounds":[{"n":128,"mean_diff":-134.54450456133668,"se":4.041410972692102}]},"SPLIT+BAND+EDGE":{"status":{"reason":"worse","n":128,"available":512},"rounds":[{"n":128,"mean_diff":-147.74020492949282,"se":4.281663894607933}]},"ORACLE":{"status":{"reason":"exhausted","n":512,"available":512},"rounds":[{"n":128,"mean_diff":0.14437502072378328,"se":0.02547365649132818},{"n":256,"mean_diff":0.14796711013514097,"se":0.019114013910336857},{"n":384,"mean_diff":0.15698059638864637,"se":0.01550525831140784},{"n":512,"mean_diff":0.15317529391496965,"se":0.013584979158892447}]},"ORACLE+BAND":{"status":{"reason":"worse","n":128,"available":512},"rounds":[{"n":128,"mean_diff":-126.47791956050753,"se":4.015364140065575}]}},"elapsed_seconds":738.2241759300232},"cost":{"extra_storage_words":{"SPLIT_over_LEANBASE":0,"BAND_over_SPLIT":0,"EDGE_over_SPLIT":1},"worst_ops_per_callback":{"split_observed_max":189,"split_static_counter_bound":1989,"split_bound_method":"Five checked preimages per reserve => at most 25 pairs, five ratio neighbors each => 125 denominators, three numerator checks each; sum the supplied qbase counter increments, including successful update. The bound is conservative; counters omit Python container overhead and transcendental update functions.","band_extra":"One real.trunc: at most one sqrt, two erf, two exp (normal pdfs), plus scalar moment arithmetic, logs for band endpoints, and one extra table lookup in this Python implementation.","edge_extra":"One log-move comparison and a two-component moment update; one previous-spot load/store. No particles or iteration over price states."},"ops_per_silent_step":0,"gas_estimate":null,"how_estimated":"Static Python operation bounds and observed qbase counters only; no Solidity or trustworthy operation-to-gas calibration. Existing baseline silent-step filtering remains capped at 12; incremental rival-band/edge work runs only once per callback, so 12 times its zero silent-step increment is zero. The 40,000-gas worst-call gate is unestablished; do not infer feasibility from average counters."},"advance":false,"reading":["The split test estimates the rival after the retail fill, so its spot is not generally constrained by the pre-retail 30 bps arbitrage band; the selection audit found 2178 violations among 5581 split hits.","On 512 paired report seeds, SPLIT+BAND minus SPLIT is -137.159838 (SE 1.778760), and adding the moved-spot edge atom gives -151.676730 (SE 1.950024).","ORACLE without the band adds 0.104898 over SPLIT, but neither live belief update merits advancing, and even SPLIT alone has no demonstrated 40,000-gas implementation."],"code_zb64":"eNrtfYl320bS57+Cjd8sARmkSMryQRl66ysTv3Fsj61MMiPrY0ASJBGRAA2Al73+37d+Vd1A46DkHPNldt86sUn2fVRXVVdVV33+ZjwPxtfDJEgDPxnPO6v9N4Nv7ljPkmASZtaFv1/EiWXPsuX4Ogpn88xxrVmYzdejzjheHhfpx/5y2U7D5f+697DX9++fPOyf9Hr3+/eC3mn3vj/2eye9sX9yOj558HD66KQ7eWTpLo/TeLEJJp0PUbhcxUlmLf1s7v6SxlGeoou6SbjxF8NVGLkfR34auIvAj/hLEqwW4djvu8k6cgMqtIoXH6ILT33tLGJ/YqdZYucT/e7FuxfHLcobLsNJB921HOdDNF74aWo9WdPsbWqr83QRRhNn8CGy6M8kmFrDYRiF2XBop8Fi6oZRFCQ6G3/S9SpIbKeTF5MSZyjdmXiTcJzZY3+xGPnj69Tr0sAzP1zQl5QmkA3nYYZU+hiO/An9jSZ5ITNFF0hXcUY//WRk5i5jWlDdlvyIp9NhMJkFXleNZZUEG+91HAXF1OJomCX+JJCpjVx/5/p7N3N37h49uCs37bu/mLOdenq+ed2D1c4mnizC2eSylS9B6+qu1ysapEl4UZxZaf+o8+jRgyO71+4F7V7feeytHntp/1il3pXUoiK1aS4Cmg2jzKY0i36iXQf9ykrqXPREJYycWgOqSN5I0WM4tXg+vMGdj7TaxsKoIRWbyvNEP+bW6k7KDTMYeUbbaX9u1sSe5/MbpTbOCwH4zE6P077jnNPSPKo0p8eKTbfC1MKssPc8rWobuqA01etWpqWmVsCYTI2BK+X94e7Oiw6DRRpYKW/oDU1pCG2cGjKOVzKih9W1ysE5LTJoO9dJZE31iX4VE7BlwUpNZutHWTr8xbtI1sGhs+27I2fAjfsuf4w8SpLTE3ndohoqSZUjP5ml5gHxZR/9Dpdxzkbye6R/09ACQnC+543O1JD9QwcyDSdB6XAdzcPJJIhK/VH/nl0tSf3oceRNylCLAVUyjCaLIbo21kQP2lZNLl31ZaO/EMA6nmerllX+SOePOF+tI0CnmDgTo9T7/OVDtPD0ltmM6ztvY8Lwe/vCzVH4szfff//mtVNQhcNlnDNNITqE1e3797rdh+7COZMOL1ufgiQeTgOfBhIMg50/zoYGivIWHSJGd6yLeWCtknhDyzuxeFQWQW073YbZeI5zRTRx5RPptLLYopNBm0jQh99p5i8CHqfF9IpP4KsXT14/ffL+RUH6imKlBSiSb1iFyioxpakUcj8S+r91Lbih4cfuoXVYeV/VFTfn9ai7rSf0dNXQ8yN3W/Tsoxh1s+1MsNxvEn+8IMxB+M5axpNwGgapldEeLOL4er06s6KAWJEgsVYu4+iIWJVfsA0rQOiEziVtA21BmIZxRHszCToaxC5bU5zAgGB+HY39jApQv4INptTM0t24i5jILDViXdpdt+e2e27Pce3T4mvX7crXK5zAT+5y7W78xCvAMQlox7gHO28wPz6M28JUxmEv1w4jY2rgHLilyqjIsBWf0tkmPPZgl9lI6UzWy1VqC3PBnJtXbMe7F89fXrjqZMmHA05nlQDLGtV13ofoG/cbzTj9mfzgh2/w37s1oQZLEi17sqIhORYxHdNgnLVD7NaS989aMTwS0mQYWdFJbr/dZ3P6raCOmlyn/iwYWCtOP7HaL61iotZjfGJBzi9dfO/Lj06nc2XN48WkIDjBJLV6XfrT6fT63XsPXAK5EOd8IwCaZjF+fffEOrZQMRZIzvwR/ZvE24JQ3TYSi7hT6zK6shr/UOYqpm2k7hN/GWRBklr2wl9anYeulYazpW896tw7xfdPgdXvOnqAz9+2UiveRgRvC8C8LHWBh/apa8X0l3lxCyNxrSxcUkmAo+VRZmcFAJ6ESUQ92/o3UW182sPhNFwEwyHAiVqTzDAC5NO5sdAK5UyTeImxW6rf1dJfGVy/4AqiQNY7GmL07Mmrl0+Nvn+hqdtoybXAUIajYbzOhrQfD9U5+RAR9iKwpjogKfgPZJUvA2hBU07iV/CTkTKdd6k0UJ+XyLqiJviocN14FUTSgKKTioKZFaQ7YT6evxVcWWY+qMmb2A/rwrXWhIgZnTBqkt+rOSFf/l26d4CaXqDJM/n+Yxc/Lls/dltXKun1j5L0+sciqa+S+nnSt08l6dunedIzVeoZlap0OZec74ajVZqX/7H/SnXef5Un5nOhrPy7kcfzUnn8vdITHZ6Usi9tavcJTcpFB0/pC6EgTuvptF6R1tdp9MW5amLZrCPfXEe1k9wjMQRBanc7BK/yj2Ps1SpO+6qFjdkA1lgvAlEo/et1v3Rz2FiPPevHy+7VQPdIPVRKnKNEZLWtXlFqSvBHlxIkGiwaERaLSJVn0SA5r8jazukYIrNNpaxzq1fh5oFePMIZsXWXSjnW8bHVr90dfrykYlcY8maAZjxUK5cCjz+QQZTy1Li5fXtDo/jxchFfUT+W/ePlPLzKU4yl5WWXpd3S/33CrnNzie9IMo4qQV2R/sS1nur1BrRcruYGuK62lLeljhXc3tXnpLTsVOqx1R1I6eqeUOJ5fpRomVUx2RQj3dwaHB0aq+623B6dHuplUFtwqvXYaqvjOJBG9M+mwudWuWxj0RVyKPuuzibwRFLfOspP/l0TdnhPG9qQw8EHYNF3VCt1KKdEcBgrYvCsX/SPfvkGHZYWtD/gWkZCqfAvVJj64nJoUL4b0ghKow1pW+GZNcN35P9i3GQA6U8uw6vLX65oznaPsqcOzZnSMHOVTkkqc4ZMVYMLHKil87jmzJBmoMOnDR0+vbHDpwc6fHprh1NMsdfpUg1mL4Pdym7bPv3coiRdnu85WEmfVnIr9/ISjE9HTfVH1F25/ojqt5sa0Ghq5NJYDl1kiUUfjtZ7Ytp39Jc+M9eib3vm4l1w8ymd+ZKgCccsFwbs6TTt6O9KxnTPKNY3y6X9xkI4dVaXl4EuDTwHWmOGL8JwPUkx4bROEwq0VHAVwcbOKcmK2SbmE11rPAUwqtUAiS74D0kjrgWETeEqXD9S4DaubpImKvSOL07UqGYp7AuHe/DorzFkarLjr4hNmdgonVy2RLTCX7UQjH/QGujkjU7SX6Y6a+oT+SzzOtRDMXcaVBrQ6Y7jhVubPEsZ6dt8HV17D/USEbuPI0oMnx1sXCLrRrXLcABI5xpX3IbDy8K3scSPZgF4yAUxYVzcUY07V+Uhfk6EwHLdEdelTvEjYdphsIR0w87oAqUHB7KN5ieEupbASOslfSdoiiQ/ZaKJVKZpS4KxI8KjaHqDprmsItOc1+2cloa2dNEGtZdn4r8QPCDY6eEQhKE1HC79MBoOWwZYYdXAUPvJbHPZu+qwiNFuuS0Mla64ZnZfgRT2hdILaS91BAZyUEKvUpu6xV2nNagK2XDnoVUJU7rr8xbwBci1cAF66FRkcrjj1FlmZuAdGmgSTBVPblbKdwa1wfJMOwRVtD3+ekGdXrauQ8hMXaroXNJPjKl1BdY8qTfEDD21xWvWIMLMwB/jStPBPzYPCkM+BMpOvQkNJZJPyx/4nOQvRxPfCgcMNtTqZXpFGL1ysA1oKhFYvpVPW5/1JQeiFr5hMcL4MrBwkK3P6MvuOYPOyfSLJQdaJfZVIpCbpJzoYhuVcI8SuiiiE05VwiicHPvpNdgqlXOfcvrTL8fy64H8siz7s7F07azL1VOn1bBKmPY1pm235Brcouvad0/w70XLadgZZkux6gBlPpeXahF7YBcJLC6vr/BT4bTKwl45zU3qlaWvdAn+fD24n36hSQ7u8tpQb5+J28F3cxINLFCkWJn8lJ1cMU1kSFBpDtHHE0VI6JDcepRO5CjxByG+qHqcvgagmyhL6UjeCN6CqXFngqhA3ZoIktU3liW0rjQP0ND8wR27fXdug3nLz1iaCnlFIegYaAEBNrG6h9Tq87ci3LA+X1x++Gb24ZurI2ID8h3+xv1mmgTBp+A/SvfJkhacKhciGLoFzxfhqKYHbRKp1JSbHUiio+yYsGbGqk0t2xnHSQApbqn0h0iJJSEDsVfHLVkcLXAMdgSsqU2tTLwcqac2Co7ncUxXdlAqXToJ/IlIJ9HvHes7WiWIaUVGxmjSX8bRjHY+yEXkdJ8Is3AT0G7HS2sbYGUJLINNEDGvtlgQSxkuIML1o0k48bMg9T63Xjz/64tu97RFGOjUbb1/++rlxd2nT14/v4sMSu25UqSPIv1TIjlb1qp5S39nFy2518HeU5jbH0B1t14u/WTfurr0CdMsw2hNTCvBZQu/aAbDSTidtgDOoFYeNIj02bo6QyHvc06eBkkJT+X07bKlxf+tKxpUOqb1jljzgWKAfjdJdeFOmAVLWn4ce1oL5Hpe0cBgHEcZjRDUfeTxBnee+5mPk95Sp4Q4hLy8yzqIz600XifjoDVoLeKxvwCDG4xZFP4Fp3R8sCUe3S1TTL/c2kESr6NJ6l1encnsL9HuFe0pcMg6bQ2kf8hF17RH9siVhHfx9pneOHvsuMESAm9uTDG9jtuS362BfGJZvZvk4zhznkHTXKgLhunc75/eLwpzIk4lFaAJ+MkyLTLxy4CoS4GzK8dlnJVK92k8zbye+3HptT4uh9eETU/l1Lh+1+ucnLp0jKb85SMVW60XC/rA4g7lRHj1Dlyokod0xaKjkuyH8YjO8YZF4iI1FPUqXYiG2ZwGC+7OY8UuzyHfEzU+IGnv8v69bu++e/9e797JlRt5vf5DVx0b+XDV8fDMk+IqIJYPbn0SYDuCaBzisEYDhdE6srDAH5FCF6M9TYnwRWce7CbhLCDaKEx/pBh3rV16/uLuZdluw60s5RWgq47DmpUmUzcNsEFZnKQe+GiXwLVZQTIFwGsIviqKtL599+ZfL163XCpggA0jByIzMFKhbhdKmSKi9sNEJqdrrvVXf52mIWHLabggkudaH5eiQ0ipxk2U6EP01bTIrRIjBzJZouHWx6xHtP9Z+4l158ED4k7iXtu37pze69HG0veRdad379EDur2P/bZwEnSpb8+SkHU3EbCNdfHi1asBaxxGOIfQhNJCELAGhD83ophj04r1foiaFgEBKP0UoyKuP28SjdMpyKx7LjQ8dJuGZrRF17kwSTNmDVjC0LGsl9FqTW0QUbFW6xGtJFVY7GUUMBMI43Vqaa0mtYD5J0R3tj7YIJSiOz5+EWrn2xr0uXOiQoBGZHNHNBNo2Xn02TxM6UJFqS8Je9MQnqA6NT2J17xbGAsI2CiM6KTcv2dNrC3t34dIlIMT4kx6Dx1cvqieCK9Y6hMEP/qTY2Ratq7rQh+CYQTRLIwC1jmvadmIRXI6YK74todlTq2fBgVZJbqhh7PaE7u3xyqX1gRTiYKtXpB/ErdD9XDVpcJtqkVcbbfOvvEK8DzsyfHMKeZCNH4dZf8sBkWbyWMqDcpXw7KSXW1EaiQ/iZ2KLrjb0ECoNIbXcLGTodg73MyTndMwpJ9oSK/8EfHnA4tQSYq7SBTM8EG4MmnRYjOwEcPXIn55vQLjRJSOdva1z+NmkS9UzfmOvnvdBqvCoP9e16ARgy+ybMII4HFGdORZGEGfAACe7ft4ERIu2FuvCFFc0L6dQbgC6KItFX03xkq9fYhKw+FVWYUYxiKYZgRhdK4IfyjwZWlW0HtwVoJwVmj3/+s+Hej+f9Hd3Tmjo0SdDqyu9VhvGX3jTDevGuxW1HiEcwVlPI4cwR5mT8P0CYFmbg4lNNh4Sw2cnljrxSqlDmjjzfZ/wtDqm3xs9Wn5XkJ/S52opfPN0VtbTJYQIpsmwBZjsh5Tz6kytzCPGzOYfFy3MSwFZnNCQQmtId1Ulnd7gDXaxTixoROw+Ywd0aADyCcE3DZhkq2JbdEDIIjyAHd36T5LE4OgcTyn7oBe1DUXmxoSBPQsu0/p44DSzj1q9h7BH/Wo5n80O+Yej6gZh6DqaUywQJR1ArEJRo9DvaBrjiVaeQIdf0arkTI8fIiC3ZxIA0OiAKAlKDxg1KlxZgtL5S/2RAJXkJn6RADndHkKx/hNawtkO5wSoC0I/KBX79Q0wRCmKj3tOF4o4pdqfe0zzCZIAPNPfyAuG3fQe3S23rjWdy8ZiT1+bAHU+AsBVCFxo+0Plz7dfbdaBiA9f+8TK5umhOOWtIb/ddoHrCzxDwBKjCQ0MFqwv7GY7dG4YXlEW2ht53QlYYAhcNl29Jz09Z22HOO6x+quXhcyuN5DyYYAPOrQ+RzSfX6WEaNX6NMIcHDDjazzc8IQlH7aJwyBL0RiS+K9y2tD7AF4g8CepQTgF0RAPYFw/ZqaFAG1xv903w6KVWL9cTjd2/q0uJDRgASgpiaKnix+Ln3euTiGxRFTU1sjbUSI2A4uW/SrpS/jQBgeGmbZPhVjyQX1kUsLcSvsYhNQFHhFFu1BXXNawlCSy+SsA3rGijJqAsIvTFny/6okKjNaiEfd7oPeo0f903sP7nXps+M0yXLuWDM+rKcnrqCCfKDANIbGZ0dN02T9nam4VvN59YbR0I7QEgErbReVfgzNgHw9R9Z5XWN6eJ74s8OVdSdrL/C92jm1rnfpr2r0GrJKGtIRLdUxkJUCWUCxHQAh0clo0gfb13T2rrs59F0DB/NZvPdQaT6uoezpqVKm1gOmnVCUGNohGEYBpOvD3+V6FwZrnJRdgwzruhDg4/qNcfYcHitG2CSlRbtAuPUsmk4GhTZmQ5SGuRDrf9a2S//RV2Tr4J87Jm5XRrKa56i3ycTAmHLWMGWt5CTYLvgRAv1Z6cj7uwND5h2465kqWSVn3KUO6+sp/1zhgAMAxfxM/ZCC6UFj3AQDAjNAUnAMTdxeTg7f6/gI7fURUjBsq/Ozl/OD9ZeUsZHCNF9+O1+FK2B4FOxL52evVvUTsj6ZWWOdpYZE3CUujPTtE3+DCTHVaFOLTsX24fAI1BLvU2wSvn1KnaZVblhhgPieT8jePCH7MqTscTr2TvlcfeJqn6oH61O56idU/VQ37v6Edd83gJEhGCrXsKktQR9Yn2UY2cGe23ZA8GiMkrmvZjpAiacngyb58k0orHQU0OW+4SDsb2gWEFuisQpgCysrzT6rRl4N39PlE6TnFNTmhP7TGU9/+CfS7yO9//Dhow/RQSOsRgKb2ySpO6mnilVyx+COgEMVm2Q7Zkc5aZeOGgl8w5m5jSMwxlXqbr1icZnqLHTlUsF39tq0ZOCXXOKqAQPxdQSaQmxBM+Lpdg5UwT5WqrzSNh+yMyYPopKxk5XHFQEYuRUIh828xSoELL1qHAwVO+YauAPTB11jpflVWFtfJCmhDVs5f5XM5t+oGHgysNbRdQQBRxvWoGl6Zj0tpcXJRO4AtLQEZWGcnFnPBpBB4IY5DXd0e1iE18Tkz+N4QuSXWPi0zukXRuZQrSuRlWvh3yTI31Eoq4OaRbqGoX88effyyWvcA1pPWodO1YUbrzI2CzBBD2ksg6QvwN6fvzjKPHBDNxe6FniU0VnFK7ulElryoED12fA2R5XThp02jcltPaW/z1qQs/khwcA/oCR6kSR0EzTrODe86eLxOyXzFty31JMwMW6R5xd4fFHiR7eUunXpY7+VlxfxyLBg42PiFQLD/LDL0Kgaf+63jnpKoRL8rVsG/M/M3w/UWMD/DtA3qPgAA2gllIIEou+D/faL03BaRWUL6uaWkLrcwUob49Gi5jaKLHTumVZBxGV4MjXPwOMNG0X5z4qGqJpbrIVG7wWWkNnJSW4sV0YbK5/w5Cggahu4/pROimf7ekV32BOn2qiNpVIrThtmLNLMA1VUZ6MjYhBb2nbcSjL35TjtU8NUbTz3o3HAjdBKuf1O9+io2hzGi1rtmeOIiXI4Oe8eNrrCckm7jMFWfvIfYr2fEW1KLX+cxIRAVkk8DtI0IDQ2ZZGoP77GcxmIk1QeXd8DSHBEaDj2I34RmPlJRs2+fffm2XvvcQS7wSxV4kKpxmTLspXByEAJBp69/eGMbgl0b4+5QadTQXxxakglYI80hbE7xqyPrkxAaewlpxAmgKUhfBpEmzCJo84MmjIeJMSJXTottORd/hfFxqv1kMdpc1LPYGDF+owSwXRKL5xU5wEup1RAtCOM17iw4s6zxOSiWHCzpNUI1SKF0UwLb97GeCObnw6xEUKiDbCMXGMc+nIZ7MYBIecX/BHG0e8Zmqa31GGntOrKmgt2CJ5enykdicXCrM71xos4Zdsd/sXvAUTn8rGg3X8q+H9cx1kYRFk7jtoY0sCCAtaq009i4Loe6/66nZNTR2i3rk0TgZ4iXhMiaetEiy2/WIbHQuc3kJVqtYb1+s2FBb0alAV+MgqzhC5MzCXidPGrKRwdkUcyaqE1zli2GkbCRagOpZ8PkV0eDd0sUjoOQUTcAAzw4lWI9y9BMiL+YqlkwDyLmKinvNAZCx8sElNRVhDSssDE0DCN9okE8EuBRTyT518DXIOSGaCgvUrCcWAFH9c+xJZWrhC1bFGRskgh3RMenJSoory+kbdjYlJyxrtBk8GaW1C24t6fXoerFc0lVoJovaY8XjBgGK9oZge6AbBiwmETZwYkPMNjJZCht/pVUtBO+d0gK8JgzVvpunSr4+a7A6toAZ1U2mB5v2UTXisaoUF+9LoWjpYgx2S94FeKA9FhsaqK/mcwZNHZYt+xLP1aj9pMYzYSKrbD2GlQ/g8R800pq+GivTUJU3+WBMESMCniamlANtmy/v50+Pzlk796jydhcm6xFjbNQQGP+AhoBFZH+/y5HhjU99lkEY64nWbBtLxRKrkKAA1dwbbJfEr5Ifprn835+QXy316+fv4ewrHW1p8MecCiANplTKrxI/2YZPichBt8EAbFhz+ZpOsRvq0XK3ywcQG+hP1py7AFpobtTWHpyogOdGKjr7t1OTgbFY91nfElNymXrzP8xEjMu9imm7882JbFqbABv9x0FdLl5xosDNx0CynFsBDE9U0GVR53QOCQLwdL6dryWjGalgSE9bLz0LUaivodKsHGyCKa1PSE5lUsO8/uXp5RbA5ngBj5ZfvelPlRWtTc7tYHIZXFZ2G6sc4mvgK6G9JyJzv+d49/p0GAD22aPi5rJQzcVMV8qb8MDNUKEz08AUQyXc0Cuo2NLSUKyFFhClwdR4SVx3Q7gc1FSUlx+/bzFNi+jR9FCSDIvDQ0XN3eFv9UUG22PiMCWDwlkMYhsO26LA3qEbfae6DWDDIhE/wgAd+nhpgutWWdx45rpu0lTd2i2KyZWCengNFdTdTM8rWaeE3DPOTjMvAjlBKRoMnO740Cu4qgQIMyDj7BGc2o+NkL7kP03ndYSJwGtHF0/6EcVkYyPGS4ZTIA6l0tt0/LDBzCa9znVWcMc8MG5yPD0C6Tq3IqWLV5s+HzoaNtVq2e8OYDnh/0hnPeeMyLMRfnnY571Vz04KlvWq3TGoyeViRBaUfJtmRv71qfeLdErMqLkeR4gxW5wy3rcemjct8DTCrsSnQQIJVWixBkGwoDrwTlunVnIKc/hCEKVOhrvEZnVyJJIIRvUhZco7s6a/wtpQbChuf257QWoD05SkRN48xM+PVB9cwwe8emwznSqAAG2954fLh5X6kP4NAcsRrdNG1SI14R4tgE07g2cS5jLNotPIXAEA6pjOQphWtFeN94QFUE9RYke4f0P7cNt0Jves3NKPpiXwOXYMSQLDKxEeR7oHdjV+Ulb2lTD+y3Jl2j9fiaUOMkq3AUrYWPE8RSzUxUl6LKmWQ9nerlL5ootT+8b5S+n6c/WC3WaUmWfpuYj0nWcLrwodvlcd8gQ79wrQPyPqpckfhVJNEf1QVbSFAu//vYguLQqZZmDr6xAnKa6wjne6AbzRx2y/Xq8kCrEAgWoyEEiOt2vkDlfnHzac4ar5PSa508YxLyetecSPElMIDnp8PQR8y193k0sC7xkFn+73SviqdRtoImV8DH1fDiFgDifHEZ60lvLisPiQ7AvNTFW5f/PQkWmf+/y49ya3/iVTqkwt7na5gE5UecufIvLmcTq3Eg+5Z2s5gAlqt3XSMB3XV5vEMhFV63pBuRO2H1yXGKN1rOoC6s1BvL9nIQTbGrpnRI9+xBk2uiQ3CQ83EN7Od2h3/o2wrfVviG05wDSAUX4zVV04KVi0FCSPyB18gMFx3VWOFmZ1JyOpowsVzFNM/ciKqbbpe3DcW5JID9H7jNZAfQrEj03xGFDZdKpt8yr6/jeIUL63QKIQTLxkyhRmWeE73cOHZncFQlgN/MpsVgKqjMCE8GCox9dYYsDLxeR/TvTTpPqtE7RIXuVMRCAtGDQ/IR1/rxyfO2MgqHAASiCpapiOWqWLuGbN06brBzABtEgEhkjmCynj0rbgnYqtJNoASh6I3WE2STChF7VmGsUmHajs3nzIWyj/CK+bKXW1NP6uFMqvrE11hh2ABwfbYAOODPTC96X/MD+HHCP4r6DWuj+reOvOK9NFbjSA1ZPZc6VJNlVCU3IOYffsxseGbLJ9uW6suD0zaZm5OzBtandOU7K10R+wzpBapshHZCq+pV7Lgj/KTtHOLdGBE1+5BTpIAOzDX3MqbPxk1EBm2fqrKEORelDKoJVlMTqkxOCWRC9LN2GDGr83J5bnnQkGY1NGHS9XmY1R+QK75BkZsKoTEJ0te+lwcDVuOr7uRCSdVKSdwM70kL2I1jg/DlDJjjmnXEkbKdZevyHQ02hFCvU+FCYvbDkq1XC1hxlbyTEWvsWrYeJsZYYpygbrOgU7PwZb/VCLakAzVr4wBscNCLLgibFdcSXdt8+b6YDHEkvfx0mu4NuvBL0NWZcFMgX/wGTqvkpZIPgfWr/twx1vAG5s/6jX+am8+J88D6fX+am6/wqFCgVhE576/STteQvFJW39R86VAqwBdwUc3u9BekgGvPcpSY0eUlc24ffcGSAfX+UYsjfhyUBLpTiO47txxnmYM6LzdfIv7ArayuJcQdvMw1a9Ub+FuqxN44KuxoQezFe8mo65RPMXvGa2YCGkodq2b8boXIrFhP5elD38yn8guhBgK0CiyDbCuS2vg6ORbx4M6mKk0DFKkoZR43ZnILVfo4CvXGCjfzWHVUWRHOO1dN1OanGhnIREVfN8zUZTZr8pOqyvizQE2pWz1DupVK7Zm/uokDqxsY5pADZGfYjPAlHb8+fKgttnIp2mULLbwb559hNEWCtGFjIOfiv8VcKCQ/pkKDCsAPGIShqwJNPlOaNWuSEEG3wgbc42vq4MMi2i6G0NbJjnaYZCzmsSppJN3VnqjWN7GOBgg2sHp3LZ+F1qvfyEOu2F9ILz8L4ygzndzUKwgO47KKTTGGVWM93a/hTxWLU8jTxeJH5R7ws8PiQXG2Q0NyytIlYq6VcMnkeyaJ+AYsWWIo5WOrbOBERQFLcz/1syxRaLkFol/zSKFV2JFdcjs4SajCX+QB6qJl/QUdU4ercEKcMFSFMJOiO2YD3pnKS1TzZWnOc2DHW3QulIcC46b3Z1syvCGWETdJPNrk13ricyS3RjCv2Wk4i+Dbz9R/w+Rgi9t5rh/vND41MoxyDJ8IVf2u4RJBFLxwu8dqqYdlZe+v0MdWtLFlBeBrWpTRnleAnfxmahHkZZh6eHYmknYxqkjhyVCMKWDKwAANhM+WEWVt342a3HFNkTv+j9Pj/jqF7K9Wx5a3IlovgW61todRyt96R/z72P5b/+ivfcfBPx2NNVCD7rusl8vfG7ZTYu/zraPZBHiuN4e9TF4EL0HUg2a084IaggI3qMIBZCoaFnIQOiPcMQlEG6we6SrrW/Uea89PE/FEUvwmsMmLetNYwAvNiAl6mIWUnSsbVTlHDe2JvEaERjKAf2qaiziZpnLxdGBNQXVZHY23z2wsiAGIvWDHXF75fsf6FvR3CRO9ElDj/lU4TbZoPWiq1Hmkn+ClHesNHkTyQ0VpKqLDE6SZpZYPXA4di1mQ8DObIJgEkzPr7nG7R9PbYIRsd/MY0pqH+Qnq/FrF979BiV3TYP9B6us7BFr8mHsNw5rd0eyI/Rjze+l4av1Eg6G0HdLkYTcSO3+GCvz/eeX0v1Od3KQr/o164N+j7L0j741pqZZpbq6i0CM7ZIDnhNwbD/PtbPJwLs4WOr9bdfxv1f/yiH+LjvY36GdLytL6xf9w3JjfoxNVVo6aZ8i1lZIOLWen+xvUlU0q3XK/OyUr2O6Z2YKY+0dX/KDja7U4OxNVX4GcTsBsAeme/ipFKUQ68KZffovaqA9lXWgeUcdSAXAsxW/iKxHGmCAVNEjMsG/WmdJZlWKpd9m9OrovOsRa6g0tjOMkkUfzQ3+Uwku2x76kiRANjTyVXrrn5D6qSxF32LMqC99lVyWQSH3tXXPpcRymI6Je/MV3Djps/W/QiZbUagcE6HTMJxU1pZY6wqfZkJ9y1KDStUqFiLBXUsBK1pQDNZAQYW80qZXUflMbFCIleUqpz0xfhzUcV+VAuTPaGXvfVDYcPSNJ39Z10mNPOxc8MZIeSNI9I6l3KmmntakUIAxt5QHlZL4dzdobif1zQEupdEi39yME6aDykg2pbtJg0i53mrWWpW1gDWY55UZtZhWSfp1iswp1/0YVJ4Jp1XBM61bVJcIu1VAQq7UAxAdyXaNJ52u1rTxCwcAHoaVRkWoSuz9Jofrfq7gr44067oJyQbd5oFaODQ24F/S/U9i/pmEwgdwrSHeT5mZb05OZCFl15O/qGiHnoHqtjkEaFDRVFUst6NyBdf5qi6w8lhsTLON9I2PkTndQY0WyG5mj2/bkK8i1UlCqXVNayjrhVm64b5ON3rHe8IMtf2Fh7aM4zcKxPNGovsBQYXTMhxg50giBDuJk3yRo/eHNxcsXry8axa15vd8rddUN4X1HYpsyVwhOlTT2j5O/sgrnz5e9vpfgR3pnkhA+Ud+8fvVP7NcWshK++L7f+it42U0tW/mmE5mNhO5JM3+5yh16pSId+5YdCw4KT4OjYBECjwEiFnSJJHwZ+HTtkge640DkTW32E8fx9PIcumrBe9VoL4GH/quPqE1U4oz/TWVLo1i850GAAW9cWpQkNgeqc7wGXcOPRxuHUct/pF9x95e34atBoCBEaCKUpjFUH7x3rCdUxDu32LWLuA+z8WC+LW0xP5HN6VY6m9esorSQ7Z00T63okarRc8A31KqMmeq9g1RvAMIYL9aZ6mhCZ61NoHwdw7mgrR7aQWyX4Ukb3cFFosjd8QDh5gGHZ7wIV6YvMEsxTHSeibDxSFWsodp7N7bqUOX4/X+UG4hk/nWQ6udgVYiiI5Z28KRL7M04Iqq1TeBplQV4XJyfmil/zJm/uKadjc/gv25Os0pFGJhB187jFTeLLPCkFrEkkoK14xuotk2jXlup4fRZ+Vvk4SLfRGbEjuIYY2L1MF/qJJuRtdjd7AB+f+HzgKN8ic/vzqxjrRa0xAPx1kppH5eDwnNrydvonxY7qzlKFhs1qkhi2hBTx4pw2T94/hxOGN13ndfffojev1RKE7rLP7p3yuEMCHa/e8OJ/fsHLQve2r4G+maHnIAQBcishJ0x8gJ+ojm8ej783rXo3/cm69vrdXp9sHkQZfQe3OeOqME2LctChwPcqPOv2jbwAkIUEVAkSx/JRB7f/73/Ft7o+h1CvPf7D/sP7t0/gdiCpvhdl2d4esqD+fYH9hiTj6SPOzktUrfzAHFzinRaumMVAa4r9iYLyMInQKE8rELeDjegYUrwNA7EACPXNc1D4spybwdFwBUaDsSz+AvRFQ9fqrwtV5GCbHGoBhckUxuhUXqde717/d7J6f3+yYOT7qPTnmM8KNAhCa2Nq3yFlTUsy3jJrh5pJq+5mAOykdHJVahOq3/O1EhSsNUpYF4TC8dUJuiAV+CkahwMDx9OJ+Lc0988zL0cEAws3cLdAQfeKMTSG/hqVPGrOAwHXZgmZxJ3h2NeqSSp/C+8b6cVHGFL8cUvpK//gmM0xBQuMU0KzRMIa4+cQDoauxNXGBF+1KgfSo6EwzPU5vgvl4eIIBvUD33j6dEC0lpZCADSP9XaDbpXYPgrHp7LnyMthsS0VojmsxphXv9Sbgkl7ATcpKUQpiZa5ozymwJAbFyfuPoIX6QJ+CRDnWIlUO+xML3SRL74xWTybTbfjLwjFKtEoRrj/HoBqK7ZqRav8vJQcOYi0kre33UoBCl52fq4bEmQBnwrDAdlGxoeWuQXySaB5LKEqxgDnOXXhbJnjsIoDTlnhQ1GXZYptiDcXCWnkKPy5QA4+qRaeaXr1hB0ISwBQWfGisejbRurnTEebbA2uyNPx1GNbiRCfauonvAFfAiAEFSaVRerert3mKDDHa6f5g4LFCtwk4Ca3VjKLsr9Q2KLIJqRIwi5YA2U/+cRnV4E4xQXzmvu4liTj4WWRd4YHbCQvt4UH9DYOdfYuHdw57NcTUUSW/y6QRz7K4Wxf9cj+3vp+vV3IDBAebOrrqa4VqbGhnEuYxZzvdMJ68+VuqEoDUr+98vWe8R9vC7DucQivAYGpIvde2Dhvty1J3CS+/7ymuOaDahIWSSQZRxuaUIVqJBED9SldVppxlRBoTCuWo3jl7HjyDy75KsoY/BqdcctidCXGkJZG5dOLA6waUs8KJr4Qt7TjVumcEwFJaQledKiatT8lYtfT/Wv//AIhen/D1H43xiikJ97LuyLkdN8VimnIZwgEm+IJ6jq1AMKGvUORRQE4qIBPeFjp+pmGSpLKtdDTpaV4x5S9tPGSk8PVPq/PXZhs0i3biDNz/iyksW6AUIlOnmANlML51WfjCqt6f1hjd8oG4gVovCV5hXbmnzBF3phHmaWPC6X9BXRrcg/tEN/WAkG6YFXZrhg6CO1VARzc6PpCGwNJpmYBPT6jjMw+QncvCCDWrCPJIie6iLADQgM7rz1rKGrB9RwSyoXz1v5GhN85p7UFRm316pJBpZtvl/BTjINU8LbuThGSVcMYRVLgsoXDd7TlQKeYrcadrQqnTcK1ze1Ak7V21c5O87f81TGpYaFu4ytBplfzcwLWo7VVzg3itFgnStzWHUjcxQ8r1wrq72qKVFRdujLqXe55lHTiO51GVGoL+VmcfOh877JvgY6sFZQh5XWVx0fpz4VNVuIOPjB+aBJTZoLO4gJnwRRCmEhS3wAICxtaHOk94W/FVF7vGWOn88fGyFyGIo89ISWwNm5XLDpAUTQLVmpZ01GVf3GB1fG/BLwC2gKOtCBVNA/6xXo3s1VzrnMcbnKcWOVHKzlBQCflMRKieMf6JnDU26Km/jsQIzAmhY26SvPL+2vQZZ6m8672oEZfOqPgoxjJNTnWONdDo7jBrTbLo32WPmpqYyDgzoeGAeoB2gid3pgQM9ZfMYPW+nwcEnimPyxJP+quaGpia7ca6r8XGmhn7ug2o+cprOdsNvlf7HwBEKw7zA2tKkOdb4mz7FCSrTHNp6dPt8fnoMn6FQNGg+M2+wPQtFqJ6wzV6NV/X2PXiDZ5N7MAnBTjPQK2woyK9iJyms0xR0zyq4m5T6Mu9UlLJBJcSdmjCJ9KHEb36MPNKCZkFXI2PX0UPsQiXPTOhLNY50z95MJI+1Hj07z3HPFnjWVaVj0ZV+GcKQJ210N/OLrednweGeT1zHQel+F563UtwmPU9IyM8ocsizI+RKAJt2QN/0q3Aj6qZs7NTYhY3PrS38A/upjYDJU5SHkrG/F5SNixgjnwK5ThRVTPMjggDJJk4EKaN7+UC6/CPfnjOYVljckWyqtYdnyQkD2CteXK9YR/o1SulvGW5hF13erICI3WvpUEP9hiqSe9unplCaGvLNbDVcOQIQxGPVAskQWDg/m/PcMJr9P1M14vvqlWdOVfZ42SERzNCRfDkhVszNDBJqWI8bf9HTt7DeYA5XFfw3WQLe/cftj5IJakaPcZqc2Bx0uv5KpKDfhtPTS5sidbP17ZSpoGiLQrwJ2ZYiGjd2S+nRHuuYrGxVCmNkshG2JjcCJVVNmUzbPIdyzgCNdXG+MyOUNh5CKNUD9NfcNJOdxEbNzryn4NA1C/EKUzEigQeVmJCgOxyWAYoBBVWRlyCyZHanIoraNScsSlq3DlSXO7VHcteJ2HRVR3ctB3W92Lv36/YsXz+GXCYHXW7iip90DRVGyi6KsqszlknqDeRpio6/gqAgdP7iCauWyZSrCW1fmVlUjqBvQKtHfYTJAf4dit2K3ZjAyaXGnrhn9OoXNrIp7LUGpjbYkxCaagn8KtfroAOKkaetgJHIIZNbpnEOgamMe0ZT/Bxj0vF0nQfstWyfkVhMI3BZEAYzZR3R32XNv47m/QCCywPpf90f3H/V704d0WeO3Qp2Eg3Yvl/jyIcqdPK8TzhGbEvnKt0b6CmOyJKRbQFTcGiVEL4PEOAgXMI8rHk/DTOTd67/C2Crwl6lynVRUfrcmHCzD4SB8hZULAvWKoIPfuaGjgKN/ZmcfIn0dY8AIEZBSIkPHhuvUVJyi0hl5og2fYIhi+rgWjZZ4eVcKqKgIFA5/5nbJLshx2SyoMG2hZYNjMzi9FlbZ2oTB1rJZOzSlMSnrmlVuj3LShXczblwZrlhpXw2EhTRiYUjbIU9plPyLZ4TwkIAttJWrzemCKIbqdEPDF6fT6OeYDsokXmI1/pZr+o60AcKH6PsnP33L2gAiyq+/1UpCEcjBDiL8hF0LyoHlmMhUHsV21eVA1CdK68Gtc+q5xd8FTxoGBXQ8OXKwq7bKtaIhi968nkS2R3B5yEZd6+PYX5XEpGPomGV+nXf8Yfe6Q6qFv6wJyL1lQrYxVOrucdJZE6ql6dm9R9C+9Qs9FM2tXKLbuW/qqdhArVqCenv4sM88eZdG/bDQiNPgTZGuHgRC6IAn141Nldh8VZ+QMYekOZdfNSmhcxJOQTqVHYi0rz6Vxn89XEQl8YAekxirnMrdVv5VnvuXsiiFaJx+qw5XZcXzruda+55Ocwso40xaoX3/QGbOHwkUyNsUHne+VnqclQomB1TlfwKMJeib2i4oK3uSwCLfAMZndLzWbLP3T33xMY6wOohi2SKNbIniQUdDaIXtUTXotpCRDn8hEsIXi4LMo0vCKEbPEK4podwxi3ALqWyy4eKbnjnwdL0cij4fX3wza1bYZMEii0vDx7AhcS2od1YIw9VJMynzqmRHL/B0NwekVdJhSiya68pjsTtWu902IwaYCIT1DzaQn/iJCiMd3xt4jf3LS4jV/KxgTnvcT3ZlPVnK0sAKhxchiqA85+YH3gDgFYdjRcYOqrJoV2MVOVRjkwCYa0FVAFXNrs+iokdN0qQoydv3d2f0E/bNGAJlwDo6GyIByW2azJmV8U9OPqZta3IZE091xMYVdF/7xvsYFzvssTY/ajQMF92f4RS0Pa5n3qdkPc9r68khCtV6HgG+jmk51WpKOMIdy8KqU7hpUfO1uivTm/VrC7aPZdPbyDi4OPuYlxsr1Lg4lK8fc/4x68QIg/AawWJZdUYZdVg0/Br6tdWZHVqcCgCX4bfXAL+3LXcdjnuH4djYn95XwXKvCsvNbX4NOH8dSJfIi7FdPb1dZ4Jfi1+EPuGtjwoJzucf0FP7h3uokqFcg6se8GIdM6W65cG46tHvytXIioWa7LoCNEJixf3mxpyvGOpNBLA45b2GU25A6uirIbWCGhowQ89pBojboDUHQI0gDuCH3iH88LU44lfjid8KfPvYAD4ezXR0eEg3AqBABkBmH/9e+Pvqtv4I8BO2QDgdQxokVo1w0p3QVVO4Wadq8PWR9oTZzyq5V95HP4JbaawPTueXpGB1egee/7POk9tQlt8sz8gCmxllt0HPAw/EdBHRYX5xHxFLNLR0znkD3Sx+VN7s8ls8Y8h8XaqrSUQZmesi2Z3HT6J9/WfD41P/IM1hMtDTR5ZpwIx9fPRwavt5Rl/oPGXA6Ak3DR8Ez2/gUSDgncG9RcJ16gXW6M9Grr0Hued2sSQOkw52qiC6w/+RG8jxih1bh1pTt8s1CG5uUocqkngu9Tl93WsA2zXPFGXaVKARN6378vD03kH0tBfu5C6Kav5ll+MnQgi7OOc2k91BvLOLb0E1xIMQfK/RDpUlfHFW51Sap9D7qikAw64FEg5Mofe7pwAgWfeMGQSMBOGuh69D+rsgynXvVyHeHKfyLH4PQd8RAlz3SkhQ5ZgY9ZfkK0n61zT3RyDVXBti2iuwe5+fGiKh7zTsHzeRntnoIBvAGCtHHnsGGRCwHZDHKEce+xx57DTyGAF5jA4hj9ENyGNTII9djjyynZNzFjXUke2aEcfGQBwbE3FkO5V0jrqctmlCGqwSphJtym48b5tbUUZ+5dn0f9OVp8Sq3IoyuBPw2WA8vg5lbHpfNQWgjI3s/2/hyr5qCgAN7kPP4EaUsY9/G8rgHn4nG7bp1Vin34Q1vr61PwJpKAkSrcGUNlGJkfDLLwly2ScOhFFe0BMhjhf0c+c42AkX3K4HjpeSN16CCfgbz8cn1tnjxW7wbTMdeWoQx1rMqx19Tn1Pjaia1WDTAHGUV0gHvVxC6JliwuJ90beIZH34QdHUUQpt3BymBx9zlF49TLUe9qC5701ViqG9Ye3B32FlV1LCcgobX63s3t2lWMLAJox+tvGTvWCxZPLi3Q8vTIGlqdzIX9iU3EY2rMFSrwGLem9dA9YSuOaLol9j8MwWLATcaf8Wi2fDspttTMV0Thv5L03xo2HEvdKW41oZf2yq9xsU4uZWPIuXq6CyGX+L4u1tqpyO9YQ2i80lEWOdKPJ4nZVMJdmSbm+tFUSP1pnynyART3mfFzEoK22zaiheZ/hlNsOGgWhG1fZHUJUxWFDtW/cZFqdUdzkPPQhwq05EOJ+/rdXnUsy4i3r/KcCRsD1F7uP79bfgPUaSdpSnFeU/+toXdxmKaNXEr2PilwBnDZVyuSj8lpotjpR8rQJx0iL1lIxK9Y0W280tqhUUOP4IPJm6xgH46Gt9dJxkwxnhgNV/SKRuHy+r04wu3utE7IkRbHYRjxGVmYPO4jcDuvjloWVbw7IffkN8ODdhgwCYSzS8ik/XIxWF2uVX8SjqQt2/CIllXXnqa+dt6RF8hwaMkdpOR7r4ELFBmyeGGvZKJaeXvavjFme1UMmfDLNgl3FgEjZ4KOQIsCgwzC0cF7tfTbzbP73v9mBj4bj372koxusxw96Auzvvn3S7gxF1ea01gMHGWx3bLbXFyk906y922qamCs1iei7e87TXNFTsBLswzVLbGTRFM0L8YejoUTKM16nsjjZ9oYVv7FebdRc7AMMM+xLzDXYB4Tj4inBb7actl9+4Hbc0mHBgJFe1KLmpwx/wy33ljrcTb0W/J+jbaP/5i3+8/uHVK1cCCzOPpEDD6/W0InbisRMWvNVlP9+VbSvsPwxfLZ9bMuXBJUHU3fsnV25L/FOmrcHkshUg5mCbvggkUC4YiSEsF6jAZ3+QXLYAtYS4/DRoXV0W+S0Jh+a7LHJCE+vl0k/2rasOjI1oS758cdy6WUm+UH/2EX6qTqgyp5CDe8bPXy3ZQDreE+hKP67DRLnQCJdL2X5rmgTBJ7zqXQTV4wt/FuzYonBnoR1czP0Up5YjLmchu+JQbijUec7jzbN/b86h7VLOkDrTNeFKvA1ShQR8EIb+BQNmnBSmEOU49rk/jdvxRd2JBgCYHWnUPWm42n+GC7sG+Pv0I8CKa32UD6bh8AP1IXr27sXzlxd4MPrfuN8t6vfN99+/ea19XyrXJNbHpafnddwqeSmBTyS/y7Hl6UseZh4NPccSXpbOOx13PUX5yRNXX43gY25Lr03xawg3qPKzFHWIfmsHqfmPJJiq7gJdxjDSwq+1GoDaEflB24ovV4Uv8UkwBBjaGksDg3gmzogGsipRiTLwcY/YH4B4LsdqOF9c/BpeB/tU8FYawAENQWLqwVzRhZ1j2fZPnYFOOveJathovRNEGBfhsc482E3CWZCyn04Zsp8QOhHfdhULnM+tVy+evOYIToPPX9zW+7evXl4YX+8+ffL6Of1uwYK7NeiZMRGNEndfPP/rC6MYLSFdBofKR+xAPkt137x78uwVVxFbKG5bpead5llu3v+X3Ml+nFzDEDWPEQpb0XiVEZoOggndNJU26cLTuyk+GnKIpaThMlQ0S69w7DGIC8C7R0doUJMGLwc/5Xfiwo35to6uPa9YSbm4f7yhqCyz8tucA79RVtmMeEWm3DT+EQZbe8VNYWjmw4uWo9ojKGavSbYO45FmHnMRy5iofhyFYxtcr5cDf25Ppf1DJ/FW1oGXkrP4ck/EDJ9E5hQNrLVLLErRhnZtrV3Ee7ntC46YpCknqG7XcQnml2mpzGRm5hfQU0QjNUqzZzf38xdHFqWIpoW6H3Wgz8MVyiHX3G7l0DF80aQ0/IH+pHbuEGHpsQXMFFHqJs4xe2126jKSnPp7S1pDryBiHeJpgg2qFlbd0ghvtnw97xU+RMBFevw01cnPuXAQ4afAZpNVNTTAofeZ9g4b2boa5LsocQCYUaXilwUAXykzaraZ/qqqAtC6nkYuEZ1hg/sZyJpd5q20kXyZN2+0urky91s1wsNpaIXTDzXzRdCuu9GDzbmrPOAxGBe2VRfc4UYumM1BweQyyZfAMPpJEnGPOefcGAiUqM2aeecslpjc/CxwEWSaVWoVByX1iFO8VPwgxsmD+XImN4+a0XPmpwT6l7bvxm4qZMW4bvAU8M/dyFEcZpy3qSevjL5ZOdjABOEF2RAYNiAqdM9droYINA8yV+GKcHR0nt2i3q7hEMUXQUfFVbw+QewunrI7COeHTlyeEPHu6+iaJXI9rCngClWutC08pWhGPh4Lfhoz9+sJX+QyZRai6BlU2pVl5H9dashcUJdXH/+4iv32KoeouOuII0ch5ga1p8E00+xDVwoeORhET99rcnRKbek7hQxXD4oz8guCU7kXlF4BEHmpvgEAG+7VLP7hHwoZXms8j2Ocz/LLi9RjvqFjqjk4/bIFct/tnrauvEMkv9M9/dJcrX9jtb5ZzTyZpQtzn9BDKeGEEvIf97R/FjZjUXNUV0oTJs3roGIK5FKieILS/fDMT8HNW1N4QM7hjKZiglp16FQYa0gEszb8+/dcc/R6wNDPCTr5B4IpCDLBFNT1z+CU//QYTYWPbMbAbXEUYJjzK/GoiDtD4KhfAnbqxnfE0d4qmBr2JJlmbe1Tk5pKWVDBAb/b3AIgxWIuge1Btf8CeKt8/eZCudnkkDW0gvKc4KagT/p+RbcBV97HVEIsmBzcvye4wkje1bF7qTyyAp8MjgJfKW2clHo8BvMYNVVWTw6qnSnesakG+x++jqAOaIwPL1WHvDWNBYjoTYaa0TvgZaTMB+rHbgXnV3mpdzC4xA0qlWRGAHJ0dL3Ft5rw+pZBVnxy541Xm/0NwQzK3qUPefuuvnlV+5g7jTZ3wbAvanLNYgSqNWrd9NS1/CbTWKV61+XhKWsb3avp3r9gYcuzy1uvWknlAR5KW9U0wepe1p+U6oHgjDW9vC9FndQtNbkEYB8c/Lba9NSpgnDi6c+q5CpBpTc6gKk9t+bS4vGjnHfA98ehw9Ts/R5O6bzqCW/U89eQDnYD1as7VHI8kq//Mco6twVCv2P9sKIjNCk8rUoczTU7/FX+hmkMZ8T1bSOUhMfVbZB0DtgvE32Q0HUmTJ3zuBnyFgeMAPwS8pEZN5dcrtnRS9t3jpT6867lH6Hj5vL5xkod9Vr3rtrc9nLtHB31OfrmkY1WVMoNjbHCdX1DAQOB1qGgjt31Oh1EN+AtCoqVI5/SgXNqgZ+YgFr+AnzUHtcTcdgIZsHKgjTrWO+CtnIZjasIMGIStJGFu0WjTzI+HIXzz04J2VbfV6+cttLnHjWbBTQ8yC7VOPDQ+qgxlKh6k2tqhllek0tkym+mOW7dPJwgal8YraD5jZW5x8BSAmvlZEF8Vovulo/EMRxqHP9yTNzONJzVFLi/Xm/qWr/USGMYRXTMymQ+7d9OG7+yO2Fo1/8JrOx7PCAlDKCefrLraL5N4yWXfjLLb0Rp8PN4i3t9mAkbW/WIP8dzZB98KIc4O+QhnOfNDsKpx3PrMVrv0mdEf3HZVF7D1Zt6Cw7DsfJqhHA7kUyJmS4Z7fEDW9N5f+56qXCGLg9Cc6iSyMkjhs7S8eBHW9WQZSI3TwsH/lP26G94Mlc+zOt+y03i6WcZRlJJkqZ1ptmyNH1jm3RFWi+CwTM+e/Jnz2rlbUTrvs5UAaz5KFC+lcNUtE8W19K8JC/aDTG2BD1yHCx4Oai/qRUyWTsMHB1huMu/7c1ACbf1pyP47fKQCsP9ge472t+apxy5xQso00G/f+rc1s8FaLt2Wm/ZhEv89SKzTFm5C2JACd5jLN65I8/60ZWGVSgEJZDHk2gvL7H5MPGj7UVMZ4egXwKDjgILJi90W4stkf9wVFtoXCw4T5A7oHrBzRrEJTf89t2bZ+89HJYUz7QlNAELpSyhevnQxabp2dsfzqye9MsxCDFNqeCoZ998BvTB0UFKxkG4UZrLr48n4BYO0tRo4qSIL/AhKgIMdKyX8D5BKwfbtZ+XP1v2ItKOjSuxFsz4C5AKiKv7FauSzsSLhSzGz/xy8mes3IfoZ3Fn8jNwWuCP5yw7540IZVrpHHdp6tLwaY/oBtYyTEG3O18fcsBValU2sPhDow8oBW+i9barJR5J/NaYBKI8pgk8e/Lq5VPs/vMX3z754dXF8O2bV83eOyraItMEjCl7ibD/qENUiK+CnCRALpEFs72rrzVz9n9ATGmJgKsHwaX7S4PYgalzM81m/xz0qZzVRNqVp/YJHtHeGj/TQIyeda78bjTZqj6vdgbNAdWFdTCjBf4hbImeXdFHiWPVyh3OoU0rfHjnr6sH6tqteJuvYVlqDr5zRxKg/xVXQ7+qeefG0fOuFQNv4OHVxjaG02MxT7VJQQZ5mw4s4rkgpjkwgKPc5NJ4t66bWlIr9Uv88gYZRMAOkMxr8cppDDSngRLG25QfGHBZHlfVFw5gbOlfB/njekXSC2sqhd7hKEcxUK3cBFEjCfvCcU0xULmauJUxYdIMDX/zZUWzGK5xssutK+6noX3k1NpntumV1DncBbE+7MloLGGB5d7U5EhJtZpvtcbmHfk2FB4K4mg2F0+dam9l5bxed70b7IlHcdHAp8oVkTIlv9BhFHSWc9bkKUriKQSlQMTx6BdX0W+vEQDKjrpEO06VxEMz12PRACUZS8zOslg37lrbsr8huJoSbeMAxpaiiCRAyvXjlg7fyYk6lCcihdHx4zR84XIbVWYj+eonfV59KR0tHufA1Kvz6fe2Cg24mmIjhb5iqekrRNwRf4vSoNnJVKFYazpQhk+lmzbSM2ioK7yc9zC3kIGCDzvZ0MRlOIBbcK5xVbQnusuw0Gt2JRYy13FUD1qPmXB49lWuUJQOy5NSRjd2wg2PuGGqluuK8QQCHCzRttGErn+8DaJRVvR+OPdzQTdWZu4PoSLM7YBmi3hE7C8Vy482qtTDIUhDhl7dalCs58opmyPTMa8ixgBU+DqEkpBRxndPWmW1O/evd4/dWC38UbBQfqwGhbsvLCennemoLmru1wOYEtgJnJmVFP0wi49MJ27T1mdufNB/mH6xoPL/Yome5jOatD98wy5KvnEGDzsn0y/ae4nOVE9882xw0DoPTvgo44HU2xR1Nki+D8dbll8k+0VyS0bIi5zvUb4lxP/a+cpjYlSuMklmzyC3NPaMhbBgPSrWB0TP5n6j8QHauiqfOH4607KsTWp994SGPrjLs6OGPxPvgO+tfJzs1gwjUYxAbmzRvRqUXfzLXqli1R2TB9OqSJTWbDfK9Hs6MIepEAoNjqt/+EYlfPimAS6mg07/L3r8+tVzqbmVhRDwnw1pmmqWKG1Tix+dQadHy4NosL/N+Z3GNixc4YDuSulS6MJdq6aatWqqZcvQLSvwV/4Gz0xKZqDAgmJpH4R5E6cDcwO/2slg7juQOiQaYXSLyrBJ0benFPJ49jcoVK3ZGWHF20Pul3BQuDH8/Q3XnG9myd7ooMn7IVfcjQNa4EIFXh6UIiqNHgELb4CNVMt0BChAwR+5O0BNfaSx3GrD/tySZmTlxXMTNUg/PxO2zK+1EHjzPXejPN/D2S3iVdobtgJWK7cR6nYN1/8EGtDGaqsksAQ0hZZYwHxxVVzSdQZXUa2yUQkjdz2c270UQl70mVr6ouKNlixm/2wRbCXq9kWwUEyzxU7zoGri8UZBmrbFxpyFmKv1YtGx3mcT2H4jvXOTzl8ZBbuWMgh2Fd9OvXu97tERYm4rFpYI76Z4n4TlVtDqHFFpR0pNA2z1QJtrSkh2WOVxYw9caUXv2h3rxW68WE8CJZWCJ7HtPE5zScGMlhOi48WC41iy+PYffhQuFn4rlVwlwhNnF71Oty2j2jrHNCqO305p/IzKOHnbu16v/7CEQ7euWbFm+6Ctp4t9yDmH/FLtGZekuoDiwj1gFeHdbBPhd72KaYPfbblsQF4rCtPyamFKa7mqpVqNzF9XK1BSy+136mXFp+Uw87rNGf4s8G62TShfPbjubgsnhYCgM/6934rTwiPehLJxyNaTaWy9kyOGp9ODMcqqW8EvPSXKFm+GYdBotO8q/8B4fAsUQ6yFc6b6VHl+nte7cpplPdORLtskMjoSqwuzgjk4tWgiKSqLimZJKDH1XCU+8Xeuv3d37t6cir/bUurWpY+9WjBCI0X+PMw8bf0v4g87b86o6ardcdWuuKUl8s37H6KPu6OAEHjgst7Hs/1d0cBuWwt6Yvv7ouG92daMTXj1+EZhBGmRtO24lWTuy3Hap4YKDqHuxwE3QuceYHx0VG0O40Wt9kyuD/h93j0ckohWzJV2D0nuSvuRYUfcwyHmaTe8bL2C3ADXM3/i2sVGmofutp28Y0n8aPG+hIinsKrdgEeAJFwMv9bjLJTXRXj4o323IkLQLEhSRSCMLtVAPHvD+BNUeVOEbByZ7HG8mAzT/tyrBx6ZjrrulPBW43HQRsSH1KQyBtAXorJYkxrG0KDj8crUXMsb7surQkJvf1xxyALP6156ZPfaNGjnWBmmVAE2PVIZxyjoV2PhEPcRJ55aj2YDG76MDJrCu3g3+/Yv2udnt4EeCVPVVaBH7HKZamQbgng4xPVsTPMxF6lODTnnUrkuM5XqgzL6l61pEFEadEAIv5Rsl6pXKs78lZfLPzGW49zwoDYcW1ExOqxxUlC8cxUBw6a2zrvV+VHi48Z4Pr6iJl1leIKm2ppOHlUmdGxXEu5q8nnI9ggno4jaU7OquOsf0cgOVmaDM69ur6X89XslT/+Pvbqf/9JJM/zlm075S5Ydt1l+wPDjK+0+qkRNXgoQg108QfuzueuLw6YBufdVNslh43xEj9ZayNkaL6i1s2yla1PS1o5YPdbNGtTEBwYXL0+P8cDZ0uYNNxkLGG1qfXBejWjbMYvhhx+XkpJTiLsnnX5vUASJ5yn5k0mq4yar2cvXJOOXoItAu+m9rVdQuWqn8FZHZFT3GqbWIphmuj9x7q3ivd7UPJas1rQ0j8ihsHPmK57LryvWtP7pPODw6j9XtAw/c2RbUTgaMdLFZ3kR71b7b6cCeCSSx00f7akmPJcvwnkcQ3WfhbEr2mSa3DaBAp/G2Lv/F+XneNmxrAto1FnKK7OmvlriGj1aL0cgvcqf77sXT55//8IZyDDYFKKokjBzwv0ogCsPFCwh2x+E2thVgWA8FY/LKCAHk6biKj/zSYagAurOZYC7DhjPfty5lchshL9XFwI9a4O2OVTJfI6UgD/lSPPq5fAiDCbaG72wU1aT0zG16molFmz3bozDtdaLlbBw8JCJkdk9HNLTXl+9F8r2KzqSCytd+joKPOOoVRjR4SowozE579xYBwLBBNiGdpE11+Ap2BItyQZWu9d59MCI2gO9gnbI3zAbmudkul6I2RRPTBkU+EANVMmXOZZGIwGbIsPAYTsP4PC5tMkXBfphgxD2BOHnoCYLmBZ4Ta7UlEMEKcFrJeIP2fAhxwvaAgLu8lmoj15zVMfXRDE5IQS/CVJaH9H1Y2CZfx2kedDEig0YQgeIkl8MOwRzstlOyqCGoElYKoIQDiyjvcSAfKB1ISyUa/88Hf3sWj9P/Z8HRgkV2dKhIT2hhhIIRWRxJ4k2WPkQ6dXiJSks0oAR0ApbcRIMQ2CGkNiycIjZJFYk7OzmZ43IjNrKWZC2Jml+ZuHqV/x/sClISd1aiC0KSmNX0OG/5+UG4LX6loLSqg8pqtaqjQNwbgo9XguNXoryGRS7z678wkzblVTHu1NG5Kt9zZ1+rc0cVnmnX9KIQ3bKjhMjYFt5cFFc1WtGHWznYCyugIpNJ5x6SkwqACSHHqYLO4LXOKCGYxF6qYeMEJbR3S5yS0i1gkJDurMZ1jSVYI18eZdGXYULeailEFvi2oe5P2BftYCOMgRG0k5FoK1Z2A3gctVPFR2r+F3MpQfVAezLA/AbB7A3B7CvDgChJ9H9Pxu6jyApZwaVKQl78YSgUQiKUxKWYDjR3o5yP8f5Zjh6NyBl5HZyhwZ21JX4uBG0LF32mus0ChYsLaoopmISt5te8vy6WMjcmQIR/V5FAWojiN54XlCibhsPHIAVIHpJvTUZ6MSXRlTEK45Y1nCMC/ygyIqQH3+mKKAcuUFOuICCo3Rbja55wED+a1eRplBywfymoNADY4gtHfCGmEvcot0bY0kq/kgiWsLSs8QQdcz+pAxNFyEv2TJW1gH7SFSbKuNRAOdyTIp5KFoBkCAh5X7WYFgX3bwhpvhrHuvHN9RJFYdTtx4XObJM4ZjWaf2BW2E6qAsjml29dXNA+U1T/Jv8J9w061dKhbjVVQBSOL7HFEwJnJqA1ZiAw1YWuVWWg3mr/DyI27Bcsqc4QcsWMvCTtrP+Z24x/VP+jdKYe2EuKecTp/fvKbjrBb2HrsRc9rNgIuIWmOlG4JWybWwt8V6AwYxpLkyZwerhxkxbO6hyfDD61S60cqGkwQQe5P8Q5YSYvNyKV859wYPH/L6GQx0pivohym9T3EPtEkXNvY6Fu8Vi4gmPvhvhvijvdHlRqR7ByjKAzaNvvScYniAENPNfNGNE1iLsCCUkn0j+wi4niSsJiBrRdlK/Ym5Dn/bPm2CMN/J8x+3MPv0MBB2Mr+We9DN/Jwj+WSyyf5zvmS2NE7pU8qAsuTt2lhOaw8sIdrW4olRmSKRpz0zELOceXHWhmKEdX8UV43dhCNmB/VR7xfGsJwSEdL/WHHJMl7qsdCeTa6+f6Vr8aoHgnIZwVrAji2CWX0u43ygPm0ZLLV248tSEG50TeaZjm3LrDIZ0+vmZm2ZnWE3J3JsoKp++vHhPP09PDGOtyKZD5iJcd/mx0YXEdCdObhPITZYwCw7kMZ4fJcqVF+2Yr4Y2sBBuPJDnECJlt5aE/PpHR4EIA9A4/TrtI/Lm0nrMP05cNBIFMNeHWTzMZCkB4ZJKRs7qNT0NIGc0MJBzjZBBtCmzQ+s1REg6uh/AnTOVqSZhFQqegeA6ToZ+ZjeZJmNtrMePrTZN6/iYO8QjwcLNM/Ipw0YOldP2ch/FVEE3bGpgP1rneNeH0hiI2WmQRxy4ofZjVdnmzWyDbyo10T7cREqYJJgMeb/Vd4zbM6YpgFCZZA4h5hSzbciMErvBLFqGR0k44s+bL+yopMa52TVojWrIM9OZjfxo/c/K7D5WzHlhMISazcspNc7PeUFMS2C1uR8JWouDwAd/GE9tQqnDbfkswJMmVO8KOyrdOwgQcXGcQ2PgeihCZIEjeTNNUPyv9n2OdzdMSdQBUuzGOx1vj09QUUufn9JJCNmKgPqimXfrMFuBDtdqFz+Uea/Lp4WOPrdDVwnHuv2PXB1yTJ/mB19p+TWMsM02AMW1YPYgsHSeO1LHFIGV5FRVB5Tjoq8a0CTES1ImBljtEqJg+C3tNzUvgNLmGBHUUf6ruXnsGTsSYhFM7v1HlKT6VVUFVPjQ2Yt41rcTunGpuG6yUBa88M5hPOwblECtqJClwHhMxojziGcGhJl3KIjTDvjSpAoQfeNyYao4inx3cgkWrA/FDwYLoWpPQH0gSaJKzYhQbRmtVWkolc3lUvCsX4zV2GbeY51TxcpUtZRkYj1cmMzhKTRnFimyJQJL04E3TruwUXLc6k9xDC7T5B4Tcy/10RwoSx97o7bCKbtHLp+LIw37AZ+62tmQAgVkKuMtamJVPSGlqa34yK04VMnKbJIyzs+t9sqYe9moIX9nCESgXxrie/6C0PzBOeBMh6XsUgqXUa8MuVF5Z1g9KdDdgc2KbhDsW+rKVhfsG5zmKokn63GQdrQoQGk3ffMWoJF1Vuq1/NYRSgnFUvuJdEqdF9JTDQKKAGKYhuYoB5mcF2eWWx7mVVh55TtfGKhe9y8VysKZaRXpa4nUITlSna2FqFztLkfOGm7CJFsTG9e2kl0unRmOTNEPamHX1OaJaQlvI9YSVKcEMcY+18HC+GG6KypTlJIwqnEO4mRvz4xKsB1ycLhkX4yfAOy3jH9fAs4mIDZ+KIN9OnuzgEMTlbgFlSvCOQisSoY5VMC1TJscSgDKK+hyZUm4IQJ9wi/4qm0BD0vlVEEOT81jkFVQXEgNEancI55PbkeWziWw6wzxi4p+IbziHCCVgSWsoidp5q4Kf+hZbSOHR2yDRUS1u0LZwS8jqUBiN4oFB2X7FdAXGgZOG5HmwBQIbZjptVn+qFckv9KVvbzzCtMsjfobWouNRrLApnRpni0ZR6cGQkUuMhhBV4zhFVWRlhwt9Rxum4U9hfGCSlAmed98+T+0ByBX","code_encoding":"base64(zlib(UTF-8 JSON path:text)); module map overlays the pinned Taylor replica. Immutable pol_mid.json and qm_k1e-5.json are input data identified by hashes, not included in this size-limited object. Python standard library only; nothing installed.","seeds_used":{"timing":[64000,64007],"checks":[64008,64009],"choose":[64016,64143],"report":[10000,10511],"report_seeds_run_once":true},"checks":{"zero_feature_exact_callbacks":11658,"qbase_q0_exact_callbacks":11662,"audit":{"callbacks":10048,"retail":6220,"split_hits":5581,"hit_bad_band":2178,"retail_bad_band":2244,"hit_bad_spot":3,"arb_bad_band":0,"moved_hits":5580,"moved_off_edge":5580},"finite_truncation":true},"not_done":["No Solidity, engine runs, source-size/runtime-byte measurements, tell/fee parity gates or measured gas: this is Python-only research.","No inference of the unobserved pre-retail rival spot or genuine rival-arbitrage event; the requested moved-spot proxy is confounded by retail.","The Gaussian filter is moment-matched, not an exact posterior density; zero-variance pins and real.trunc tiny-mass fallback are preserved.","Full 10000..12047 report was stopped after the common minimum sample because score.py rejected the band controls; remaining 1536 report seeds were not run.","External immutable table input data are not embedded; code_zb64 includes all runtime Python modules but needs the two hash-pinned input tables to rerun.","Unrounded raw edge rows omitted for size; all per-seed paired differences are included at 1e-6 resolution, while reported aggregates use unrounded edges."],"rows_zb64":"eNpVnVuvtdl1lP9K1FegrA/P8yFXBBIhpAgiyJ1loU67iS3ctuR2kBDiv1NP1dwOJJG9v73Xeg9zjkONGjVm/vd3P/zxx1//9k/f/dV3//D9//rdH/74F//qn/700w//4/e//aff/Olff/7in377p9/88z/+mx/+8NMv/uX3v/j+p5++/fzbn/7tOLV9v/ppvdbVxo91lvX9D9/XXn/4vs8f+j7//fby6/sXf/zx5x+//+MPv/nFz3/43f/88dfffb774Q+/++effv/zd3/1y+/+69//3X/8B/3K//2X/+6v/9Pf/H//+Mu//Zv/8Lf6zX/+L3/97//uX37IB3/1+e7nH3/8dfnur2rR/+hfP3z/ux/1rx+/lfX57qff/v6ff/5v//j9z/rVL3/5rfU+9vp80wOOucrY/Lj3mX2Pz7feWr/8tenf9dz5q88vz5y6qj5VWmujXv045mzjlvFpq93Gb1rf7exV9flVD1cYukAplR/3XKOXMz6z1H07fxyl3935+DfdvV9uMHmKVSffKPr7HeOj++WOW4ur6/GFWU+rPPco41x9Tj+uUubWZfVj0e0qN+lznD78DnXcsfnc7HPpLY5vx/3a+uhVWq2+Sbt9LN+kjlZ70y9r0X20qfzYRjuLJdMttp7zHt1Vb6Qv6AW1ZnxojqaF4EmGHk4LWj9Dj9/9bOu0WYeXSctzh59j1aa1/nxrZXYtRe+ftdec0+91763n6At7lc5b39LKWH5grXgvvem3o47DH9c9Q1u7eGe9fNe63rLZuOl30aaNsj+j55XPmkNX9xLVpjXXq21ddRVeUn/omEMf5fAHbfu5PMo37UUfWp2jda2XJ72ltt1Z2KbFqvrbvq3zCNljLQYPUPX2/bL8ReanV5mfdo63WJupJenLq1+1grzPkXXU6i/ccxs7rjvssvXwuny9d9+tbzTdehWvuSxyT393bZnMWh9d63RvsLar31ptEUNPx2W1Yavx5tyhliOztqmz+VqLvnvnDku2zna1oq0st9pv6tZm4zfraOm9+1vf7UNf6LowN2hVtqIIwY8bez367szfZNEyIT/Qt9aK7U2f0br7cfV2S/slN5vrPOO6fZerz2sh77anrr7y1aGXO1O/7Wte21bTr+RezWu61tZDnC6T1broJz2Y3qV/2r0LF+dltKbssAyvN56h8Qz6Dj8eLXyR//Y1jl+nXjmgjU3OP72LTXc+ckaW586q6285mH5gc+oZi63g8RUT/KvStRO2zq7NlXHo82fMY5OY++oucch2l129Fu3w8vKNtrSdpX504eE9LwrDenU/kh516VNakVJWsbU3rbeMqeoNJmuheLQUMBxVjtyKa9amq+6e9ZeJ1vNRkJ/e3rIUfBRdWCHZgR9SLii3wgmrbLX3qctorWNSsxCMvGEyyDKv9unK4HbCZpElKaDovjL+yeYoTmn3uP4sthS9/+jaBUe0W9k9YlE5WW89mJ/RrzA231h3lu47bRncudqMhkXoCqudq0fj+tr4yQVO0cPEuvQn3Z2QraDViuOJXkD/e7Jjjq7y2zGcI5pCyz7lc7qtu8ht1k1QV+x0QsHltOo2F11mFLnRZ8ooMEViyO2KX1x9T0xYeWXo6Z01FCz1XPi7jMrGIheRhZSRO8hUeIHey7rbLzAw50OkPTV5oWlbV/LYt3M2Vq54SsSNfSmWynucGAoR6vL9tr1fk2/25AU5w1p+B7wad5hn+jddOYtU4ZjSt/12FS3gtUte/HmxwbJHPr4U2rS43mFd2XFEWUjGyorI0rqCLz+uNf2Qis+n3eqXVtq5WTgFuW0HxTnJlx9FjtK9SrqVzM9OL8d2VlKMVY7mRwWneRX2lY2fjSqCDvI9nx8nqa512er2C95dCMfNsc9Wqn/yg73sW7uDnbvaP2yfn4oWUS9GniUKXbytzCSZ3rj+KZ2XcgaR+StifBQisDw9ioz02MO0ncS1o5VwHNfbKOZe3U4e1Vi6w4v1EZMrih9eTiVpWZyX/xxdftYPYGQmfAvXKOUm4s7ujymiaBHXM5irDKaFUuS8+IC8CSvlG0f34F1HVZhgO68Ak/ZwfO5V0NLzNAX2mgh6DzhoN8Ahl5b5bS2aorksAh+Wn3acnFglC7YZ8kQ8fdxL3tAIn0ryw8tOPttsbGvH66gYLmDDM/Wjt1d2VPCbzr5Lcb/bkLXl1xFcboSr+MeOZSo41wsSMya7ICevzKr+1NIzy/IPly+Y6HCY7iR8waijXMnDTAEebbxchDxvI6uK0EJGWr5JituAGwKODNOuOOwTlXggU3aqlcOwqh/9x3OLitftbbsZ3cCQndDnE6gxD60n0dqX0D+UkB0eiN1txhgUHhwL+sTY9K7KG8GxXH3mkfQKpyTJyVIcr4ag0RZCUroYybWkFsEBW7IQPy+tC7LUMjH5zliA5fnRiur3+o0imCKuv6AAkKQuyMR3E0xOd1LWtucRwWPatlj/TRrdcrZtL56yXi1i1Sv3Znykxx3sVXzLIVQmXryQJIndWCZ2qxsfym+ATM7Avcf9l3xLkRVXBycKNn+U1B1wFW5I/8Pp9AR/diDCTKRRvKXw+YDTsnxKAVoz9kzLUf0MMpKaTFZqF34+eEBxdlDm1FrXGW+8tmkZiioBBwMBDIW0mJ1CJChBGFkfONlkhRyHqAUur46al3iscPPpZBJb+pTVNK/pAohwjQXaJP0J5ilqHjlcUxB36FPI1HuXmiUt7TjLyrGPH1lQQ8+k26qi2V4kZRGFihtQUB0XtlxeACogSYBQvqOstxspVAGLiqgZIioZVT+QMNMiWDbqg0FBtAB7RqWg3IMnyxDnSKWydrCwjGjoBnIOCra9k5FkJMubVk8+rTLCmy3EpxCmoKf8MOKCsmo5bS6vbGLPu2DF5EWFr0l6mXJem1An6S9DGjmt7UZF09AK98AneYPek7cM5tPF9Ep+3YOVX9msArnRRO8OCh+SnEOr0rACBenRlmcIIjSsWGh8pbcGCq1pj5Np45PGS98EKs5JPlOdsfw0MvVDiMWUelCs3nCSoB2iS1KsAgiRyPUDVcjWk8sVmutJVRNy420X2wAWP5NKolKTYoSnlF2EouWpNRiG9dkvxayvbZKT2yu1PEopx/atpGNgtwTi1whMnJdMdVwGxMD0lnIFZVSVF7wEJigLctpTdm1ZyjLfvfTcVIhg35VAV8jn+tG47ybed6UMLWhNaX8mVrGEfbywIH0QcaJ7CAMtgkKSN1k2IafWs3X9bLxAsVddOuvN5nLg0nYPl45aVa0YiVtw88YtlC+FTfLGAmEu6JUqtLN5YooRY8IzXQpePbeK15PKqqT6pJ6dWSI5BMmSArCk6pUDdT4+bjG/IFMTJvULwG6oMBIwFkRpqcS4vj/P5vpXvO72g8khFO0Vv1WENL9ccemzMWt4CWMspQllG34U8NYmHqzI8EO/6WT7RnYVYHcKViDVg1GHKKIpBAjSqPDXnle7jWxUjgfqYDtdPOuRbuCZLHQEkKticJrQ/ir7BSbKmVwNyRlV+zgoUCRuPfJH/lmz6QP7DzSGRnBcEUhVAEpttbVH7IUA2Uz9t2A7HBh1EddsQvkyIqdmPaQ8HiSnZUz1KYQjG+ILcut1U94qXR+bdSduD6o3BaMS6kZYcBrgyJ1lzYY4cpZBvS1nLi3AXebC82qDQAaOFgL33jR+OAFQqnlgQz4DSsgrSK0wzSIpzBsOaym1y8XhRUYqJwRVC0yFJBKCkondPJHQmYGMLi9jb6Tti1m4+FZmNggSCi1A8Xh/K449QrKyNzyeSngaY8slezFs4ivaMD+VAl3IjoWpOeEV/VZ1+YfQ5y1XBJO/uSjTtvfEF5nZWFl2qs4NRiIkBVbKILUD/ka7CVyyV72HQZLyscwIc1V5FfODDFmJYRV389YRChILwFTrEreV5pMhKztQQjzlC1pPUKPTiLxd7yCHkxmYYVQkVbRJyJvD3BngQ8tP9GsQdYP1JpmkCOysnIsOwKK9UNFVEG6l9tMXFR8/VA3GIiTts4OvFc0wmAsYabw+WUPwZX3w3up4OxRdHvmhQuNVUjVImBClWlHoQWGwnhCDU5XJMdWgZ3UxrVRzTjJtM74Cq1H+pj5mh1Lc657bG0NeSk5pU69IIiFLOvPpqe9N5jm4hjMVTKvJFB5S9b6eSFt7Qy81oOtJ4k9QUjlBUTkeRyqMvT6NgsZupLtrVe3Rp3jTLt6zHQFkRFBuwgoYHn9Tlt7D5BbGwL4LnBC8HYIbcGzYTo05FQQUQB6ZgR95DRo06gzfR/0vYAR8DhqEtlrJCbhRCjYZaQmOadgrlb7C6tkhFIm5LucaPzkEKIlR7CaeyScUAAX8A3H1loIVJ9scWyPDf/Hecvyufw3ho7J6al452/YmjPpqFYqEmqA4lLMEZ1RUyCr8io2K5/otQNEz0bfMmup8yS5qCstT7UwyW5neDak3vbeQqbvfIHZtsp7pI2sj0V948u5ERfVw8tTasuZECPksI1BQlbmu9zwCPdN1nUCsWQilKQpnZyFZvZZYVqFA6CUCIqneWTGj6vWG9pGDgFVVUagE4Q6Km0lkKraPXC1BMrUqFIQezp5eKYeEx1QK7XDqqub0QW+0Ap/TUQFWX0OZJv+WVfbPJjJhSLqTntmZSvu4w/NCs/v6WiGVxaARvbPNYlDpKQ95kbS8xooEuZlkrG/rZjKLCn5zkaBfHd+iK7SlB6Goe82xXIFMUh+vXM28awX0f85UCpQlKy+3OiYRaKwo0u8PnRU/o0AxnJc9TTHLG6kbyU5K2gLEzCOQnQbJAUssR1Pl5uu6TklV0cU/2mH0dNiEwLV3UWXRDTXQ4+7KAGWFkDpUXccGrmDqbK1Et2R07kQM7xj44WFJ2SpAFx6zPMChLVS+co6S/fpTRECtrX9U2TUwf6W3YzwlRKlauKcoaqFzVSvK1U5aI7oroE/wP1bXsQA9nZnGEVrmEOIMF7EcJY5KdL/lixtWznHvRWVueDotfzVvuRtxSQ7X8MvHnSqcTZeBxFp7AeAs5iSLXCU5PTai2CCrOKHOZRvFFM4h39HuEBRRpDqpIKepKEHzuBkwyHFCSy0PbWk9dKJG+6jsDJemFKbXzPVlAYYsWgSCqM11QacMkykjmFNIQW/h4lpRcQUnn+3Mbr+FHlhbVnES/kh2ytjZtTn9TII92mjDIRmT1kTJVRYWSneRl/blJVQcHHt30e9UdiShK+koyn5kugRJBSOhvhZQvs54b8r1U1sO4sAhRWE9aZnQPXH1tTDiEF14ZOogXlDbNuDgEipksMUUsTCkg79AnUrINNvAC7yy7n6WeSpVwSsppMN1uR6DoXH6lMk3dlqGvVsqE6dfPxD+lZ2H/k43qWshVcNRzb5FVqIECPP5XV0cADSUx52eZXTHFREdirQj2ebeArPB7Q9M1PmalNCwQvAV/saXO8YdfuPl5p5sly0ObJrwJAr1kNI7fVk6dgG12jMbL/WbkI8fuFPe6dkXkdY4BNi8sweCKNWZWvXya6AIFM0SOssQQgZSYMKcABUubRNY730oQU+iIuPT3QcBQQhTKPiG5wvwFi4StgtnpCS/nFoBMm7jFOr4RxDva1xEAU0HxF0+rZSbHSr1zKQCRGdv7bUKb3ivrT0uNoJ6hctlI8bKacVu+p5jjy9vu4abijcyLZc4Aj/DWZZanzCglS+CDNuGsQ1/Fokr2IUqgtLiGzfVumnhlXV3T4rajlBkhD1S7coCoIYd9ddjjZZTNZ3dnVYCxRq94EeMnmmzgJ53JTKVmGo8R+ntxC4u/T9XtLJknFgmuP3myrZyLRtewwhfN0/wtIfoUAAGkS9ZiHOaPutI+vo35qgVImZ1uSYbkWOFISPkQZAvEN5Xw9Y9WbrThwuBGQSp4AQ+LJqhD72/ksaEnCTwZFErG5vR/qb6pLmie5hX0BpRqJCmZHAnQOFAC7siUXQfSjwKFysRSlYk03sRr6RfKLDVvYG4Sif+fdZMGlL4xLGdFJ4/Cvc9kkB2rVTQSWo3WEkpF3lBmB3tP4H8kPMjqdC+yPblO/16F92ZUQnkqmtfgl0j6sknSRxdkbBQz2qrhvv/FVJ9vxU1pnJ5OEkK6S8CjPRb6C37iVZdHmmraHRUaFfQUfPH5aWKGzIPXWAM1zjUUgFq95oX4EoPdinZafttugoVyeu6lrzZVOLEI2LWSq9OSNXdQT266tdqEFTQVNxXy8oca7pFJO8RDklgBIac1rRzvF4ZUO8lXYGCcCUlPQDVwLKo5uWa18FwwVjnJSjhTh73ttCzciF9w8hZBuxFo0osI64v1OCcAzVQQwDQQDmAKb16eGo5sh7BpSkqkcdCXsUyp6TreOTMrKuYSwMb6yGmwcvxbVUa0o/y+xTiprPvqcl5WOktPVxKDWbR1cpru9LC6k2rpyzrkp+GxQ2nS/kEQIX0FVDDXWjwCNKwESg0zCzCBfYHX2Z3EQsVrQh5bWoyFoVTv+5Mg4aQpKzr15bhGCZq5dwz4nYqz6DkPst6lXTXdDfTkPSl/GI0Aq57DVSvAjvcrfMx/5EC9bXPBamTwnXfa/ZpYeda0Q+ilshlBA6X5RF6vZt+Av1xC1vIcoRClS70Sl/dpMifClimGcghW5PRG+Iq4F2q7UYEKa9Kb+liQcikurspCE0Wl7UMRjvm7CDZrEmJi45EzrKRLIRH3DCjw/zOcdWsRTepfE1FvqpWdZBQh4k7vVaj9mHvQkejCKC57TipXJyMTiixLcCBDxqRleZ+7kBsvebBEC+8PuaaITvlFAdcAOB13a9LyDRGooZyj1GB2dqT9u7lJdfHDTaDqkty4uN3BofIL+WJ9od1uttKbLm225CL0nqFNgO91ez+onfg6qPBBsuF9KYjjQkZPFA2tBkvFlIJ0i1tFBnuuqacsSLH+kPESJ3anNWuQomeLGzpZlcUjFUWWFuB7KW7l0WkifqHbtoMCjF/fW25e75CVMmpPr5QTz/TrD/0yyO2or0+roqYsUKDz11opxGbUoZBnmqriyuLZk6qftCctCAQ9GY1NJuwSEkntI9HIsl/Oi1hlTErbTCFhUJj3i5xXEpsOorm2XVHxSutlxZhcq0Ns9jdHiQ0psOtEFNMDyK+2U7WcLsRG5CA92vIKVLvFPCylQAIhfkFTa+ID+XonKi1mvVJVlZ/bUPB5LRbZEHA74/CTNSAQznipItNIWzj7sjivM9EKpb/Az0dqInwrKXpLTevIeshaHugtLC/4IVAfzRVQhG2rrSNIz2BX1ScSTNs7NQ/K70JED6lRfQVqdZmd3vE7gk6Z5NpAkRldd1LCkxCnWeXVVYyS00boGhHaBCm+aKoqfrbRDu1eYjCRixNb3GRoxV5qGRS/Mu8SipJ7P+kKSkQ6t04QGR4W4iul/068cK5YYYq06bIEL0e4BP50/5oo5uxovInag2+IMs0pAOoAaLcQd1eI2svo1kZCA3DaJ3mxAziB5jUP/f6Za+DEtcZUhu0r/1GG3sTvxYcYCRLbnvohXnI1PKKPdEBdTQ89/WzXk6RIciuFViE0IcxjsxHwC3c8Yy0cFumidsqfNDkHtazcn/zNTTaY9dQ0TOXna8ujP4CPIpFJoAK6xGTbHfTWBWGaJkEA1vio0pVsBzh6ehy2Yy0jrdbYNdoHmxr0JQBJpltuMUqY0HJkczW0/2ayLVShdmBLHJtoITQP9qy5jXiEt6YibyvGzHo8oemmXaNXmxYOfR96WMrA0RAAP/zWmCISwioiqu+hCD5FHo1D3limwV1wwzbg5ABsuw0l1R0Z18Dr6Mge5V/C8M3dS25I0zBMJeu/dDFXe6MYcanKS2i/iIyKkTDy/fPqaaC4aWt+rIQYhvOQoUff1z2f60/1Ua6a3zY/KfjU27bLWkSgtcGQQYyQw9mcoSSPUygYKS+0XuQlK7ZHdSn5PSi7d3h12Auh4VG8u005hcsZoLEgZYyQag4/fryi7Af9TE1ZaS7GwolOgWhA9RAneX3NQpQa5qRU+QIAaYQnAimtyuQELJpYl/4N5REJmtkCGlXgaaXielOhkZqa9SVrI+6OkkZkdFKOln0MclOyG9hK0O5p0sqP37LSpmR0re5p2DrYLl4Fl1lu0On/BpWVD7aUmfqlkh406Pa9JCx6hWApRKUliZWtEPTykD1BYMzPZkKIxf3QuMnPN2FqLtPVBwlcYOfTXdRINgWBOlsWZpJdiPObyCdsGK4+E4PjIIHul8gmNeDbCfusM+zPSg+kJaHvFKpVy3siXgSlrvECdB02C8KUjugrcwUFBJ4CsY6pLIWZgQazb+iECamYcM16KmmSLEaa1v9OoC9Dopw3smLMDBlZskgy+HFJrKugN89v1pITxlD3UkjQJmVkJNALJtIuQl0KNEpTFiRcNwDcM7izEjEpqOegSDhuYTyqk/fM2Fo8dDzVVpUZLnbBjFqS3Gnq0E3mZvRuujpP1r70aOrkEusaMQEOtZMvrgR6htfORl8PCzQQgNTlHuD21eZuQHEJaXhVdSabHYvJ1WrkP9AGM1XdnAjTYt7Uq1Bd7BN4U8p44ucsMWGcLoeT77L/KiCi25ARaYIFth6SO7TwxDQPSfBGHli9FNKzmGd9ap27k5DLsERaWXCd3GLYka4BraQIWnDwxSZBDG3g5lGZ0P3OpMaFZQjQEr89ueRQsv6Ig4YXyoVoYY0M6iYrSagT5W+2SB2hhcpKdTdJ68xqgGh14V7a/a5QNLdlXT2msoyJLBNajz5uBLlh2raIFClmVZwP2W3QnWADFQjb4M6qX6Ju2TcZqsLecq466uZp+Klz+j2tEZKtQJoZnDKExevG5DQtFzpC5D2dnvBWIkXL7mvnl0kUdmwV6mE8qmKaTv1RmeXCYK6yikpQLX43U2ONkw2X8RxLtMuHDKoCKXLiQ6dJ8toBuSROQ2Fd4u2adVTOxO6og9RpXnHI1KheosreLT0szp92nu1DnCbFgN6UqS5XO4kjKDbg2ChReV0wd7y5xooaxZgzXCcBnMIrUp9qi6EsIhpOhT764dvBJjOyidDEA650VCrNOhoGz+AFadsrd5rGEcNYLoMNTPJQqlwp2xa9jwB5/VgpoN0cBWjQJFr61HQl58UMeFilLEhTVO/b1doxAqiuK1MSZyNh8o2S7v0RA7XWPpOf2G+9RE+VqjaVjPeEAzs5bmZJhi5MyVbC7JGbY4A80MyyxJjkT17DEkd3AQBkHy57GmooJazpaJtf+n1RqiN2k2rZwDDYvgpGbyJ/NPC2bdAqXMnjPVKo9Wq8zgNulB/Bag40potmVJQsXp7MjI09gShKjM9wToWMkcoGmGO48J5dlfh1z23hoCz7wxQoKbf0d+BB120alX0WO5coZ5xE0t5pqSgrXjg/yso1YKi/6op9jrE9IeC1gI2mmpRiVh7EtUuraZokTE0Hgg8FQIYlchoIYDfcFpBvn5q6Bn3Qk13yoQwQzQE6Zyu+jTggz7iG0RTDaBffBRHQ3m68deeIram5w4suDvjR9pteirTOciPuGgth9OVSYy0m4snAVypdcCbkPLo6dApTQB1/c7kKRDsgHT0RAWiqsUFPpYu8zdQ0fOB1RPwFRk20zTeUfSAB2H1axsgT6uvY1QjBqKTf0I1ViurG007NyUF9CdSrVC6K7ANkWdxdublhcNQTBjPZjRlz5cv12tImZnfj38oKCSE3keIWjLFiNc4Sz2px0lPkDpCqGNSO6Xr1xnBKKs+pw/vKKAIf2jqUxvYkaCCJR1DrmDA6Bl7WSfziZhVhDl6FbmBUsBCRRi4f7+Ye6ZWcFbtr8Kn1wrQdJ7oizW4lvLVJ8JOaEURzIvGQ6mpCfK4T0gkKvaUoxUQxHydUj5jK56lQMu5GNsxEl6WDDzJrZ6ZAlKZC/WQZw6IxaqG9EwwBG6x9ofzdUvLnBc6PXNODMAF52OzTiob4VSNeLO7GsBfkEibA27Mis6BfmOk42lxWAllUrNkyPkQA3p/CnJKOc2fp6YENhJGmWqYphRpzz5Fzinmp8EhHiXsAKnMnj5JyqxfDYNOm1QA+aNFw6U9W/cQPpg/QWzCiEb0tLZ1pEp6j1uvmF1kjIQXMy4widyJ3jKzqh8kEGwkGFgOFh3mPBFfa+Wm0YEeW0mDhowMIUBPvjKnhbOwbF/9bcXqsLJuuLjDlfYwBLZSHJ/vrqIhQtprZkGMsx1oNV34CkPKaF8+rWltMoW3MzKlKAjw7x8mKaIsoe3aIvOQ84TNQ08cEchGWahoVU1OUD9SLtl0eushX+RaN430yE6BpELUkXyBfqNDBu31YDKGQOx2uOn0EAiq1oSeg3rKAoM9I/rdjBclfc41wdIfhiTSqxbomxkxBGmnBaD9FgKNSkKA/zAxq8g3IyKdKF12Up6SYSYjJ4n0Bk8oDzLbyNSKtwx9sGLrejLVmcwPXRF5QkeQLjxB+9M1IoNUUS+xRms/HdpeaV1r3xfyc7Nh82k06Nr7BndmWRdKjsx8Icvrboqt99bE3xm4zkgnFAeMWwrFNZi+ztQzddSmXzCs4tsIrt3K0SPMayTdYQRK/3jixwMFA2bLKZL6w0+jrHkSuOCd+MpHDhuojvQ8ejaGcKJYMw4JubnASPq4Lp/ZhIGQqmS2uwV30Wk/nq8DpOGZSuKWty43HUZGcoXWZlIi8uK081a/zGpONI5pDqrea7u85pxBK2rgG9Fiu4hktYqErTAnzW1YtlcFueXzC9G3p6bkXwx8qURnhJTBjQnGbpkuKZkfGWA4d7Tl7JVlpcvkElmmpJB40/aH5kYq1xhUviF5VmYIR7UkEmYU+r2GY4sPwosa31LeX0TPwlnrteYYCOyZcN6m4A/u7mr4QE3I/ZDv2H1RSoPKTRG26OgFYOrOaIZ8QrFSb0nATMcRxd/IMFyvb4YStch+Q/fKBknt29Jn8G3nblEeWwKkJR30SHfWB3VR++zqySxc9mDacUaVd+tNnDwYD4V2KNdobb15YCYynRmpeXes/GQkj/Yps4+yNqHVAFz/Jlx2m/Fd0EWuj1hnMftdzwPVdNxruO9vzMAbtC206zfnAxxmc/YHbPJGW5DQvwB0o81CTv3Fsi5afsuDbmclTNIg+uop0qF1UJoIeMwXdMaKGBgRKjPLKvcBZEW3u0OgNkZaR7Xg8zLAXoSXVFrfr2bwI7OhHm/kfm4zB9kKc3aS/RhhWkBmKn7yDeZX4yqb8WE3cdZCjqgvMxnxDoAojFaHG1p2RoTPq70mhEIOohzTX+mrbDpzN1KKR5oyuvEGZurXwEK5EYfRu2P+PLL3YE/QGTZhBAiWNwxNZ7V1DwB4lS5S0ohpOU9gRKM5rG0coCYHfdkiQx2h2/IKhAw3N6xwEWgsmWObUQ6jk0hryixKJgoO4k/TwrwO0O3zrQNJV45UkH9GllOeklFo8ERNwtkBjWExGnFpH6tMugl30FHpSsOGhJ8XgGEoh77/O+PCom63IYgVHtlrhGSHLbryCzacKUiH/koPhEEGkwAtORmpTYt+TbFvMh/7Ib+dfAES0qBCJn3dtkBFTv2u3bgtOm+DcbQ1PXJr5oLneUKiFh2G8uMd9GAWgwQPiSkKWlVPP/RlQ/lxUiuSq25kpJ0OU6Vl2W94GaRt89yUTSNHXshA94peQUnYta7g6JwmenaxC14Q+qstFDgi9FiolZAtCWz0NBSh4DMwZZY3m0HV7R+pGk4oIHoRCXqnnicqGmCxqLaoX9AI9ohg5IXtScfQnngLKLRV2ydpXEbE0Zq9QSkq0mnAO3N6yqH9vtcraD2yRTm2XHNPC/leHztyAuy3W4/WiNqg7M/uGYNZRHMlacvLe2hyyPlH8lRGC4qPEFlZDbqxsMsxOU/ofGOs8lqPp22/NkMYZmz6DG4xHz1a3rK3boVb5JGMTsoxZzV8AJ9BU9gmMlLD3OhOgxuFTOboGTIrYVgb4C3jbp4e4ViOnDKiKxuF03kpZK3dPBiR5QELRKi02xPMYg2CaEIgEHL3de5giZ/ENJMfCkNas/oUovLLy2T1K64Pcz3m2Zh6iXC1fI26wMyS4D6Nzn/SLJre5KgRiEMVtvdj4VWfeKyfEv/lQBJkaKfWMol7TLY6CXI9Tk7p4Ga78OFxEkoHG5WIiwIp7i/LPAxyqLJo9wE4RFHRBuZcE6TWfT4Fr0rQ6cGpQAc4SaQQBHcFuS8pYc+JO4qnzH5wlAvzm5ERcBiMK0plnq9JUpqlVozoEkoG9UOtlEk1fX+kv7ZHxG6ISFfCvGoHZnJPxI1JWPRrbaN7ZBRkwzkt/3iWJXUHmFDTWNiRYDlwzcxOU5XOdFwEQqvlbe2dzwID4nOBnhM8jnk98oiHvRbtwKrV9JBhce4X7dF3qC0GI5O0BYDRkX8454TEgm32HJfBcQjjKbHWG3VFeFUZdV3n62wXSDsHIX52b4MhoOgyCG5KDx/OsIl0hDx7Insbj3/sEKL30Vg7Ye4MtzBRVEPDJzHN8lS+c6RbgIZq077vTIrR5ho+UiKNOMKzF40vDhc1C4Zpn5uR3pc8PcCOm01nCResQKMM6tNiVQg489FwpCEkBqnsXaiQS6F0o2Djqz7BoGXeUIWNu9VJ3wOJAT17j89SQVXkHYuZ/bTnt3uucTMfhONyZp+dzaBYp0sp3JHDiDqy45VjL8bKoQ7b848Zj9sM4rh9Ms1rUwYxBmMAclvk0hvK3TGmQqqisq0O8mGWKC+SyVJzMyFVM2DiGXRZygex18zRJ5tQ5iHXimf1aLF5FaULjqLQg3vuhb/VeKoLOSuYLnm6RgoktwCtfF7tQjWonJJCJaQl3GY3KUJkUSHLW4D8n2iO2ijUBBK9ENITAWoGAC3bvB8PgD4dFdWKhfQn56YwjJYQOMn58DWC1q+dwyxf5jE4JCf6h92+tAc+yghmb3m83JvAdGvOn2rF4cbS79YyiTogL5iYRyzT3T/VStUe3Y0QUI4AElR/dDxCOvOioLv1hXy22yGbI0y+4YPlKcSBkjSCkDBHP01R8MIDEwk1xwONliYuA9InBGPPcUVWXCgghF0/OT6iu+eQGRog6OHJqd6fYLKgDwoTiUTlpaYZpl3+Uej5oCp/QbZsj7I7czRTqXQxT/UYKlMN6+ZYhLHcsEZDyhRmf3PGkVqgQ0y2v2AaB1XFN3vlooNWvgZdZo9UGgInIk8mfE7PLNqTqRROcGiZULgc7fSOClgt07/6L1AoGrHzMCXncBnq+wyNiPeqD23I6BTncDDfrkVxQluwsjfSbHoaETtzuM99wzmc4fRBL/s6nL08Yfk3R4tohNjRAAbQkZsYw2xnkiBatPR3urvlx3mye6pCoN/cvnA4HoS79gzRIQTEHPUMZs8vc9gcvoC1OVZ313jByMttDGZW9juzi0MVjrEceo8dSMfpKjsiuuAgnyXRX+MLVDQ+1h/N1M0H8i7H/7Uoln2WiPnyzaETugoKupKKswGA3qk68v9oay/Tdb5Z4WScdNnC4TX0uT3piVH385zt1UmIeBgLEqSQ5QUDQAmGeqBOWRFlC7cFNnq8TqZN1yIa1H1R8PNMlzaoYQ/EeA624l6WAXKfnrqNc0VeWc38fs3ZhV+styzRSnLoz6/20HUDLVt83mlCTOaVGC0HxA0z8OMNTiPyfSNcKGTttIciIYXohh2FcdkrmugCGO+uh87IEVWXIB6NK6cfMliLINWsOorzjGMR0/iV8MG0FOIen2HA6Xb4oyc6IH/SRnnkOGONMxIdbfBMkvuzoMqtqplxhhPigBMg9zs0pHGUkyrRPHn1cib+Qn0E+J32EDb4BGHMh2MFI2MZ8LblHVlEyysxFhSbxeRAI73AfJOrjIkmW6Jls86OhqRvz1F+JUNZTBU7G99Cz8AISmV+mnMyxxwURAPKcoDGQRyvUuD4jAyRmqnhrMCMSEJZbsgD6BIfOIaONud6WQDi3vgAwFwHWsYic6yf4uscGYbgehkaePJaxpRLxj21D4c2Buig5cgvFY1pw6HCTYe+sKftaXSZU2F30+BicILKzF211H1wpNFUQoQOv4BeNmeK6T+ByOmcbheTB4W7lV1MTg7mYgEt222K4VHqtNRyeGCprka3mxYIYhDe0L5a7oFksOAhjwOtnwMPi1tBcMHb9cflbJO0UE5N15X2dA1x7n43sgfl1ZYhHmUwBMHR85T1jrXDb5yxygYYEgA4oKPlzKPptJ6TC6Oe0DdovHlxUDfD/22FzyiaO0fozHfK23ny75GRTkTCKMflk+2phmF9axKx/H/kdAkllAy20g4Z1KDNYS0vqGIxBzTM+WdWSsmxJjRtePny4aSEk/lqAv99+LvmYDetg48nRQQPmM74i/VEHGdDajR+MsftLefoIB9RoRzMqaVoGeL/DKBSNI/XZfWcnFaI46Lg0KsV8Za15zAvH30Vd8Q8/QocuTdMBjKCdqtP1GmU7lH0wEK0F4DKO2MLbJupOdW3TGtdVLlhZwq8yV4ZXTyhkydfyNFEOys2OHEyOGMMn29lSQyEV+gETp/qnmlZnF43mKas6Y1Dg/Y3BHdbTkXxYHdJW3RyioUCBmP8O3yVyqrkYgWtgAWksXdFbMGwnGcaicMR4hF4b/r1N3Wi4v4sX61hK0cuI6rjz1MIPfwEIrZEZwtkzT00oybGCr4xtZQzslDMOHIpL1sUg9C/pNA7jICprHHbN1JkJdGeMYrwA1B24/U8oG6hEanHksQ2AWw5d9sGbWUexfXxRpsDqzwFt3eEtWV9qWI4Ds/YiDZohKqqJJpzlQfjcxyfSoT7joGJFBSxWI1MlxN1q6mTtaOoQz3CIXDZsyAzwPoDHGjLOZnQpDsGdjkNs0SkajjIGZFr58wKUCku36BgPVPBXLjPi1KeisIBhHHSv9WbTRK/QkWOBo7KInJ/YeKMy17w/q3hso7PsqMbc9MdJ/W8Q05LEge8XmsZXUDoXkbOfUlH0udXbqd55uOspy3MA3s8homl7kalkJs1rPRgFnc1HWMWj1Kd4UmHSs5bIK96biETDkKLERAw9dke1IjegAPphEjMHcxw4BDQ/R2dsuLFDOTcIGNnWyxfyzED7zn+NEIvzp7NgZOC4zm1CEVwjI+5o5C4JNkcminfhfxQoBnvq7TglPIyh7cTihj2L9HKByr6aIP1zpm9iKcMvX0GpR6Qc+zW6xS8xhlKn7kDRjMq8EGSWqLEGlZvP1beqovlJB45J+c3R2F3XXcqLTGOtKx+37ESvtfGm+GcjJ5xsl556Y6qLScf1gwyb9Dvfl1BKq6eNmSKR1ktXoeR3tyAOTyKwVRg9NysFRqvu1LQEb+jJNf6s7Kb85wel7FQbDVmknxmG76f4yQp/CN+hqotX3J6CGsOBA+44RgBlPKWVT2TO3vuyGc3MhbGrRWTbqp1t83NH9BQJMZdDgGv1lRPUkVHVbVNHOGwzLcDEXLMYAd0hYrAv7tZB7QP5x0CuSOcG0/wpEXnvIw0ITmKQst5ak6UFTbgdCNnsnstzoG34dix+fAGxzl8gEDnsd0cqtpyjnDO1e51vMMK0N0wfm/EjBKREYHgRA63cn/j+JjFTAN6NhVNfTnhKam1UgIQ2fc7ufIJ64gEPmGQ2YmTU/V8zllOReWw2Tyi3tYHudMFqTk3ZnV3GzgjmgaVCfCvSQUapgZDxS0CnmS5vKS5QAgIL7dPzdQVw2IlAZf2AITmWO8IhMGJei5tqXmeZs6n5NTM4TBS3jnIqKSfL3PiQJSQnecJwphJjvNBJvHBfd9EmQBTzgF388pobnJsYFpkC+ElJQNlk6tFwhtEr2vDHCW1J4bgF+DlKSadDnbOjiE1WZJHI8TnEqD+azVHFKDcYk5jfnEz9OjlQl9C0IQpS3WihmseKPYmDx8JTQx2h2O3nKgHMqxPgMUJRZzgSsjYOR1PKxAchMA1B4qQKjPtxLkj7sFCu4WcZHfSnWUyZT8WHqtIg60zIgbj3wNIJ4MaUdEgh3zF6/7iZufwUfMDdfObi+T/XUDOuYBJ30ntnKqaUX3ElZzLPmUInqWa86bJBIsQ2gtpR8gJS4phJOo7GRUcQ/X4q1/9n/8LaTwV5Q==","rows_sha256":"ac365e556ed48ef70013d4dd1a810b88f0b7c734d784a9a6f8f6b4b2e294d04f","rows_encoding":"base64(zlib(JSON)); minus_base[i][j]*scale is the paired edge difference for seed0+i and columns[j], rounded to 1e-6 only for evidence packing (absolute error <=0.5e-6). Report statistics used unrounded original values. Subtract the SPLIT column to reconstruct minus_SPLIT, with error <=1e-6."}