{"blindness_checks":{"checks":["11856/11856 supplied vectors matched by integer reference and wrapper","2048 fee inputs around 30bps: gamma collision excluded, tellref gamma equals execution gamma","distinct float callback values with equal WAD amounts yielded identical fees and decision state","supplied True flag vs absent flag produced identical fees and state","run.py SHA256 checked against fetched manifest and left unmodified"],"decision_inputs":["side","WAD amounts","timestamp","WAD reserves","own prior state and fees","fixed policy tables/parameters"],"forbidden_inputs":"no truth, rival state, seed, sigma, lambda, order-size parameter or hidden float low bits in decisions","harness":"DiagnosticBlind uses true p and arb only after inner.on_trade for misread and price-error reporting; rival s2 and order index j never passed to policy","needs_flag":false},"bundle_encoding":"base64(zlib(UTF-8 JSON path:text map)); only new sources plus freeze manifest and replay notes; pinned baseline dependencies listed separately","bundle_sha256":"33360c0e8d69849d28ee28742d93898083b068117eb5dfe80f0d843e6c72f359","bundle_zb64":"eNqlWuuO2ziWfhVN+oekKlol2WUn5Qob6NnpHmAxmASd9C4WLkOgJcrWlCwponxLkHff75C6WVU93Yut7tgSeXh47hfS3978+vPHf/z0P159rt8s33y81Lsit1QdZ+nGKvLs4lm/yDraWfVOWmWa5zK2aplllshjSxXZEe9JkcWyUtZBpfnWSgjcUzvLEQCb3VvqUJZZCridUDuprGgno2cZu57187muRFQDd6qsUtS7ZS3PtbUXpbWRKo2lVR1yrwQNvx5yq9S0zayjrNLkEmZFJDJMPloff/3wH5/4uw5AnkuA7GVeY9qqD7n8I5gdOLCInnYQvIDSQ74v4jQh2g0hFt4PmVx+LLI0ws5/S8U2L1SdRn/NUhKIxKq6OtQ7LTtLJLWstOhAa7YR0TODtCqrkmVR1ZCWZ32sgDKqU0i91FgtEUWyrJWVFwYV0ZUqgra8fynAaQGWRZoDSFQQklSHvYwfrVhmspa0397sT3sJUFWKStQEWHa7MSuXRyKuwDDJyGiBcGW1ZyVV8VXmZj8Mp/v9oRabTGqUJK7iAKi/prmoLlZVnKC+S1aIeGl9JcsBCbm1EUou7h+tLK3rTE5kHqcCXIoUtlIkFlAAobKcCLaUxiAwlPFWMrVLy1LGIZlZ+GWvB10GEmBFUVpbUZErGR3q9ChJ4LGCuQotTSvw8edZn2pRkzlqUaSVBR0mspJ5hN1OKZSzh615CaRmzFgAtZwcRQX6Iml9+tmzfoLt5vJEeq9hEbQ7NGbkfeUkj5pNaF82xqE0zv/89OGfFngSekUG/cGI9N6NE6niUGGv3379h1nQOEeatyog0Xtv2BuwG6ekMW3t8NEn/d9///S3SbFRsjpqtXyGsIxVWmV2gHxBj0q/yrstnGmAwqrSIz7LQ5aRnHo3N1ifcsOollD3QpqAcTL9UMmEgUaRPeWggQf+zU3w7il/ymOZWCcRO0d3qU2qguXktZPALGoM3gDaNVCJlAT1lFv4O/G9ODs+26e5o5G9ZQaL6xqAH2D/UXZANCCDvdBq67QroF2Zb0nuW7HfCzCZZQgZjYb/S+RplglbmVmv2WuXQlaB508MVSf3DlRZnOsx3/P9WUOVhr7lwfSdeW8YOrHhQuI6yoRSlhG90wjK67XRcpmToYZJJrb8F5EpaUZJGGGY5mkdhg6sKGGfWVHW/J9QnzughMbiNKodPFhwwG/f3X6S1nkiK3eCG+IA5JVF6dh60Ga+t5i74wVkHKFCWJLjVf0MLfX96Yu1sKnXl3YTZqW/uFp6QHR1XK9jWPM6xn0+waR8MpZH/X7R72ZkBLo5ccP7ic9utOnMRxC/L/WqOORxCFNSRu4IZ0OBN/iZ/k42nCwWICt/7T42ezZzopsL1gNeGntp1rew/f4kArPzjai2yl0OFwyJa4Sm4VtpEoIiD7dVGhscqQo3hwsTZyYu7MwuQ1bE+YTRE8PXpREY4kY/v0tr3vi1Bzyi2jgdusFK1miHNVphVyISpwHviPAx20hkCsl0BuSOOPcIzifXSiEBvYkloRaUCpce8WWIa8spLrT0bZBvYukY3C4bDeu9XHcyn/brox2FdI0ELs6mHsxkjI7opVWTraspo/cffUMZzPiFUiExZvBeqQO1DJC91EdNGmHaCMd+3WqD1wdkIAeFj4PYx5xekUMH+iNN/mD9kmZUcFA+oQivUyDC/UFSYqe8iYIC2V/n8arYd1UJBWq5pRrO5ILBlg0h3DnqUEnp/0hZqt1+QB+qgjPDx4WPbKUHSTY+S4TPX/ULjeNQ89bmO5leiZNySu1q4bwIHe2GXIuon4ZS86I2UMbGTeLvIueP/kArGiG/3J2vh6hM4erGCSbgwr2jFOj9fTo2ZXXTTNwRoPDdaySIkFxXH1mx1YXPnYnG090IEGgdAMMORxtg8L3vjsjVJCNua0+7I0W86mM0c3FfLhW8F8WNo+sG/Xk7ShWuC65uia6760Tg3txMX8Hb8mZYRs3tdLx3bN+KG6D53cUXuFnMP1cH+RKi3CkeEJ8aNMrr93jVzE5fAmvLIrisKJ4PpTMgxZ3oib17E8h79gqNV/PYlWkQ9aUyMdw76pnfCf+DaE5Z5ilHUXfVfnQ13W+vNx1kqijdUU4I1Phdy9E0GqjO4dlJqjuzwjKNyE5UuVRqXNWpi2KFYlRaahYY1baMSk/UgR0Utn3Kww9ViupKZBohJ1L0E2ZSxBGKfoqv1m0BNOqEnOvlrbm+rHeoGK6uQuK4SjAQj42zbiX/9t2kYBTSOqCat6RsgkrOBxG7p9UTaCpyky/d/0PcRqxgJVNT9q+rguwPw9SL1YNoRBwZavXjVZzSI16CHqkehyTD5i2nCGjABrGM4huem/IkyQ0Yjb4AJbBX9hxAmIEj5/6yE3U9yArQAkm+cz3Mkx3qMe1/9aQd71c9ywu3ddNp00IguV7j2H47gY3NmB30Q41r29PJfTv4nt83g/NJMO9Hg3m7fHFrDzMob63IU7KG/gU6LQeEsZWPihX/o75DEDX87yddJChd7eEDTCgF0R48CpR9t1zie0rfN/JFDICpPOWd+/CRo8CdisZTwlNRPWtHowfTKTXejm6YxhzR2iDZHzmfzqlIydQHU1YmMpavmn+USQFrHZBXnPj13o5DXDFiia0IIz3P1q6L0UFXxHusq0mwfgSilQ2R2mt+ItGagaTU70nZvObmNb/yodYpAeJe9Vmd0LRMrqXQ9poqQhHoZGIjM6ZPAFiuG4qGfzpP4nr21tbNtN14PQyO6+aazivQu8jcIVhT+xXKK02uQsuuzISxpW82qFT2crVmNraxl/j4blDK5nyGf6tWNgnOXptjHlIJ7bcya9ffe41lhe71Rb5F7NHU68/bnC3ur0tEtDB8pYya+zVZoTvmrLhd3LdLDQvKMl7fkbV+pRAC0iXSBqaHiRWdABKCRx+OS4pT2h7xLzSHU449OEtojsFskjrTKAfmNWT7ltN3P6elHx/2pUNQrFMBFFXvS5vZJ9t1H6EKynoikleTWiWDZqOiOGesADLJgGq4tct0+nUGfE1qFrioxw9qp+uKa8sbLm4tjY6spLZSxdA3dNmMr5xO4QxPdFJlrycAWXXj63bY7U2CEK0fc66JbbZXvDuUcs4aNGRnbT8I6VeTN6Ppa/LplCDnSO9S5CEdfHF1l0M7vC9ZzHmLo9RE3WASNV0+Cdy7xnzyH5tAS5GZYUeu6FN94Uox+J+q51yhTIBAYkYxPRP7TSys8/JMLfBqOac+OKVEn4u9DEPO7TDcizQPQ7uRHCocyVGMeOh9j1hlRqNivy9y/s1WRQL/Cpj9ZQ83azxSbBR9OxgMnwM5mRundhufwoYaK7fpMNMeeBCdz3ETLPRcSAM2WwQzHw3hfMG0zMzmzJyj+MO26wfrA1JUCQuQqHUqXZdl8lEfLFt0dJjWdDhFnROjQ1tYZCQniWnF6OR1L/GkvGFmoBM+FDKDxohOamlv0unK92ZzfWzD0LSuR3WAdsshP/Yt+jpHr3b/LVsGZFRqG2JWPYo1H9p7H9KWVW/BJMLvI0TGEzvfVo7B/IqrXccAA2aiADFEx+JatToOoEKMUSbztr2QWa9pOoceatocWo+Duz04y9ZxpT1Ma2Rzc2MAVnavLHt4loP6VqIsbspkT+0ExNvgvj6dBcnVxnYRt7C563o7eY7TrVS143Le7hKB+NAgsddX+bhTa3PAbjN99MWm/v270VkZYgx/XTVj7ptj9Jb9USp6VXHjeDdSIfqXgUjRvXwjXE9vevE9vVla38wGT2+0VdEIHcC0g31PSTP6mLGb67rKdspf0NR3Nt6mkSKBPb2R94m4j8R0MY8juZEPcXQ/DSI/uZ9F70T0EMdRJGdyEdwvomiGOZHEcz+Yz95u/CjeTJOnNy/xyxzKgj2aHX77/MvknTnZNwGQSlrqvvYl3WI11ywFsd+gGqjaoFgskulmGr97G8RR8PD2IQ782cNmFj08BIvZ1F8kcjYDldE8eYgfFsnmrY/n6WyKN39+nzx0mFHHSn2PY/Du0u0OZmZR1EcksnQU8LxFMJ/PEaOKfHsVwEykuYoyjxS6Gruzjqk8ybjbzGg7PNSR2W3qTxeTIJgE/mf/fjnzl8Fbz58FD8H9re8vfZ86zu+wkkoSorC50Bg0uh+SRN+YkG9TAUg3bkeR0SUQXYQViaUlT6FWr11alEMVa25JGN341PRlLlE2yPCZHDe7usuljtfcQzG6mGp7XWZOwpi55qjGIWOQmihckm9B1To0a/eFn5s97TY4V+LEaQMPMoY9gGzlmH29zeKeBtEgVitgubXDrxiy120gfj28AOEofrSr+9BBSP/MribktLt6zTi2N0z03Cvnz2Azqzp8wNOwYCZW46C45pyWdmCD7doVwxC91rw2Q8RmOXy9jtKPGz6MW4z8MiSv1LGK9S7JHeiM2UtEQM/YFgrc1yW/eSH3Vzcf6EEQTCmrkKJxaOLr45+yCGHCcSfLxz9rDFhoUMQDOnQKobtGx5i3l4LQ8JAjPD079vs4thlh6nah+pPWGHzUoXFKNZA43dGiuhUmwfgo4VN2nlxMDZsyh05fdYuRH/aS7pYNHtAwLFXjplDVranGOapl45vXQExhbF4a7bcJUWuAkhME3DBRNpTnjZ8yfTy9cuyuArYZVbnMsbElnpsn9QXP5gX+3FfHr9XF62W32TO2OjLnmdEjO/bGDzpMdUzErLQWzkZeuk5vSmbN1e+UzWvDgRbF6prp/tRPmVbD1Ek0hYqhQiqAIbQX0eG/gTZ5A8BXMG0Ua1iJV/Y+VVTEEC94S+jyDC2gSunWHdbQjeVyK8zYGIMug8P2hkERJlL5Uaurv0foIGVVFVW4uYTUpYUqzTFWpoD1zA2GMwg0ZB/jQH1der3nCyqdYD66uLE//vTp09JK6FIErhilSv/gQpuSTiaploS+JdmXBwiIWeQKuipjllFsn36SSsqv0toL9DlwSDY8lRVRVNCPBvItszaXmn76Udqmahr9cgXpcHDbzqKivJij2e3XtHxxKjsIqu3FF+yFbnEkBIT2vPmNgkWR9Sn/zHU6szER7tO4Kf/InYbRubm3/sxGTdeoyfreJEH6ocdViUmUeqbOPMKuICbzu4XtVyqFa0TbxrLo1zx0CrDy4bjtpRIrzww8b5jgdPUFRTECCZYPbfld6tuxwX3YY0k3xOUZ3xd8X/C9OfENvhBum3uk/n6Ol153TwoCmG/+GyXetOaatElwbcT+e27QvOfB/0NwZXN5+/iFk4qRD2RJDw5deggO4HdIYzoA5fJc61tMR5iIlOZJb/XiL9wczw4Jod9KCJfz8Rgd8R4M/+Z0WidEwbDdggXUWFBhTX8Be8Cf96D/sOrIv4xWbf5oFWs6g4bQA0JkE43JXBCKYQ1H/FPTHT6TDX0IfEC5+Dyf8HGhjw19CPowh9F4iHJY0bJVyVbCV9GpluwZPLdvX/DGngc7miOymX/9h3p1es/Go7c02v0YhSVXkqS7/ec78xuXa6sJJslfONh/25xoMNndoutfnIRF4pyul5jT5FhfgzEJ+oFjFKBOFZ2IVlYQvJsvrMalHk0oGvzMhaIXhhVKkQndyu7SGDX0ZJPW5l6z+cXdhC6dB0V2JHUg+v6/1esfNQ==","code_encoding":"base64(zlib(UTF-8 conditional.py))","code_sha256":"66f2b2d871dc1979d1039b3c99163206fe33e3ec5f9d96fb70ec52329d9054f9","code_zb64":"eNqFVsGO2zYQvfsrCOewpJaWZaebBkkYoECb3ooAWbSHIjAoibKJ0KJKUZbUov/eISlLsrxB9yBLnDePM2+Gw12v13/89PNGp7UwF54qgZ6FUp+1klmPKtXUSJcC1fJvsT3yCmW6zKWVuuQKGXmBZ9UoFaMvNlcyBazq4/V6vZLnShuLztyeru8WeCutqH8xoqDICK5WsDvbJVG0e7ta5aJALc/xhbwDo21MiWRpcaE0t7AYAZZ4UCGEA60Q/LXszDuc0LMssSf6kQYOQrz9Ffqly1STCyQuwvTOF7UnXcN3eZSQ3JGfzxwyU0rmokattCf0Oy+lUvyhDtY47HSSoM8uTjYhopZsISLEmF9L4iR5HULy4Ee227/1n0MqLZ27rVaZ4nWNgtR4UCee1B/SK4XI60Oh+JF94qoWftFpcDjIUtrDAddCFfSZ6sqy36BYZIrBLeUysxhekDbon3/JaHNeMVfVibMQFmDiSlf4wS8+0CR+80QWeNcHhzrjSiydJovzTJL90hW652XP0RAckzdzz6YSBpN4zNWnuWDuWmigxDXHe//d+++wcotMWxbSbtnryPfK0y3gu2Ib3ZT5AVqnDnLrxs50Hsip/y1S5toTEH8mX8n7YcPBxkfb7uuUxtAgg/sVOm7ucg/bRtwca/Jujp9HNqjl8YOKzl+Xh6OReaCQ9SFteso7ynva0X6WBu9aWGwp/PSDUjAXRvNJWjac3RhYuEnxSDZzpENR6FAMeqMOb6e0Ky5zmopCG0F5YYVhmHeTf9cSJCF7vwcSUA6EeT/x9jOqI3PH/xpdKkueCxyoCV0s+60I2TztR/fsxMtMeA44ynQfQ28s2Vy0zmlzJD4u9/0xCXFB4y6LCWrRQDuvgzWO6r4Q1pWC+sZbnOFrGZhtKiXwmVcYxhvFUwFn5+V/KvgKfZIKkke8zP3gRg0ED1O8gblnBAz32poms9LdA4XRZwTnUqU8++bmsDgKU4cRP9twiILhix+GoDi6AHqMewpOq7yj8OjZokNGRJEmtOAJe+kgeIbGsmuTj2Le6OiuC0u8LMshcd2NeXFGK1Sy1DaAQld7dabx+DGZiuHpWL/tblYycGB1hHcbSIBs3bUW/7pf9m4dDYatA/KE3HDAFGTutoyVPmJHuA0Dd3+6xQEpBiw03oIeFj8k5DZUHy4MZn+utk7/F0+Us/TkzpOzSYQI+38B/PNxcRUQAhk9uqi2t5OeRNH+nvaaV0hXdBUe8x5TfuQRsHzPt4dDlbNn04g7QHWq2c7l6JFZaT/Ap090f4f13eRgSutvTYVncZCNN5xJtBM/0BcCvLHDptRD6r9MGNTxxVtenvCzie2ukdV/Wsvgbg==","frozen":{"code_sha256":"66f2b2d871dc1979d1039b3c99163206fe33e3ec5f9d96fb70ec52329d9054f9","frozen_utc":"2026-11-10T04:30:17.031914+00:00","parameters":{"alpha":1.0,"gap_scale":0.0006,"size_scale":0.002},"parameters_encoding":"UTF-8 JSON sorted keys compact separators","parameters_sha256":"e4fa4ca265dcebe9dc421c0f43c8ac9ddcce3e6146cc3c42afd501537b0cdb2f","selection":"highest mean on 61300..61555 among predeclared alpha 0.35,0.65,1.0; no holdout viewed"},"holdout":{"completed_seeds":2048,"diagnostics":{"false_negative":1089,"false_positive":3113,"first_trades":14355034,"misread":4202,"misread_rate":0.00029271961320328463,"price_callbacks":22291468,"price_error_by_time_since_pin":{"0":{"bias_bps":-0.0007596449510743768,"n":12830012,"rms_bps":0.41318754129661733,"sum_error_bps":-9746.253838023667,"sum_squared_error_bps2":2190390.253834935},"1":{"bias_bps":0.010164536429371079,"n":2106990,"rms_bps":6.974760877294546,"sum_error_bps":21416.57661132057,"sum_squared_error_bps2":102499352.07259613},"16+":{"bias_bps":-0.019928071784309595,"n":330189,"rms_bps":12.927526102800877,"sum_error_bps":-6580.030094389401,"sum_squared_error_bps2":55181493.13172254},"2-4":{"bias_bps":-0.0030854600289496287,"n":3611833,"rms_bps":10.861767733842088,"sum_error_bps":-11144.166352741224,"sum_squared_error_bps2":426116827.5480895},"5-15":{"bias_bps":0.016603407388380453,"n":3403799,"rms_bps":12.765141206851114,"sum_error_bps":56514.661465162004,"sum_squared_error_bps2":554645064.7101715},"never":{"bias_bps":0.3742352034330379,"n":8645,"rms_bps":11.98215676291106,"sum_error_bps":3235.2633336786125,"sum_squared_error_bps2":1241180.6375734813}},"price_rms_bps":7.157145000676935},"first_trade_definition":"inherited run.py/RealPolicy first flag: timestamp advances by >=1; timestamp 0 excluded, matching reference diagnostics","gain_label":"TOTAL vs shipped float-observation reference: includes WAD observation/fee round-trip/gamma-guard differences as well as the conditional pull. Tuning paired comparisons isolate the pull against the corrected wrapper; holdout does not isolate it.","paired":{"mean_diff":-0.0016943641890520833,"n":2048,"se":0.003159986467373076,"sum":-3.4700578591786666,"sumsq":41.867712508404104,"worst5":[[10676,-1.0688260980772384],[11022,-0.8106807464167787],[11191,-0.7842332726808081],[10746,-0.5901324669192718],[11436,-0.5356792189842849]]},"pin_age_definition":"timestamp minus most recent observed arb decision with posterior variance zero; buckets in steps, never means no such pin yet; diagnostics only, not policy features","reference":"shipped tell_qm.json, not silently replaced by a local corrected baseline","reference_sha256":"ad382c07e6c2b3a5a8055ea767e140b7461105f29dafee69b7c1766c90d0634f","remaining_seeds":0,"scoring":"single frozen candidate; disjoint 64-seed checkpoints through unmodified run.run_policy conditional:Policy; no holdout selection or retuning","seeds":[10000,12047]},"hypothesis":"Retail interior splits equalize marginal prices; corner fills provide only a one-sided bound. A large observed paid-leg/reserve ratio makes a split more plausible, while a large log gap between the bound and the rival estimate makes an against-bound pull less credible. Shrink smoothly; never assume every retail leg splits.","observation_wrapper":{"baseline":"identical wrapper and gamma guard, with alpha=0","gamma_guard":"after clamping/quantizing each output fee, while 1.0-float(w)/1e18 == 1.0-0.003 add 128 wei; the equality excludes the entire binary64 gamma collision, not merely an integer 30bps fee","inputs":"int(float(value)*1e18) for both amounts and reserves. All later continuous calculations use only these integers divided by WAD. Prior reserves retained as callback integers. Fees retained as exact returned integers and returned to replica as float(fee_integer)/1e18. Chance uses integer paid/reserve binades. tellref.is_arb consumes integer amounts, current/prior reserves and fee integers.","posterior":"original odds with retail likelihood multiplied by chance on a hit; off-grid is retail; pin=False; no truth flag"},"per_seed_rows":{"columns":["candidate_edge","shipped_tell_qm_edge"],"decoded_sha256":"82ddf769f2565e70f71747807c35be388fd6aacd7d842ce87d3527ea1736d0ae","encoding":"base64(zlib(binary little-endian IEEE754 double pairs)); seeds implicit contiguous 10000..12047; each pair is [candidate edge, shipped reference edge]; differences not rounded","n":2048,"rows_zb64":"eNoU23dcjvsfBvCiUhFCpTIjKWlrka6IQoRKoiNpoEFoPnu2RFM0FQ3tiKhIRipFpIiGSAntorT8vr+/3i/n9ZzH3X3f38/nuhzHZUF0pVgPFW1r6o3Ee6m4yJNeO2eYjZaQDPEkovGNtzo7L7Nwvmp52OcwFgpyVlkPiXGwMLNftovYk/jDdIUTC7vmvLOodGZBNnjLQEYgCx90aiWiiN++xndkxzKgzdqqMz+agQPzc+29yPfdNije+PoSC0J+p2u31fIQx2UwBet4WK5v/KWAycPd0egwDRYPH32yNkQLMJBL+3zZmxjncKA938IPt3AmzHafH9bP/eq8uIeGNSJ5v6OI5n59f2O3BmAjc9sROaMAhIfkO1gIBuJ1nKLNrlmB+KxhvPlVJxf+VTYflhF5cr4DvwfZqG8QH68gtk835gr8Y6CoZe0CngATv62l3ynsY2Dd822rh/cw0GH9qNI8igaBFmeLsggaRsu5mV7rmGCvXvZseD0TOd0GvSuEKSjzy+hPm0WBxuXl28TuUmGb/YWz6A4V3fPMTQJGuNi22qrPa5gLtC3a+uMgAzrbo12ViRk/yosGl9Kgkm8VMEbcEv5u84VqH1gIdr72rPLBs5AjLkPqbFx4pSVlr8HG63uSazkUFsJkHUIbA1jInTxFWTpKxZU1w1sER6g4e2rB6rQCDjI4Kt+aiWt/bnlyNNEHMesX+Ngl+6DwwdueQnEe7D3d9rwR5WG7zk2ZsUYWVjhlJqo2sZBX7TyWf5eN6zsta38TPV0+1uoPcrHVe8L1XD8XyYO29iMbyXWItq2wIMrIjZ5hTVNxXJCh3TRDhanFfy9/+3DBXXH8yllvLqpafjk+DOFgkKlWfTKUgw92VruurSPf806l5sh6Li7h0+TtBi6CQ52TWMS9P4aOR9gEQiVzOf2pdSBCGhvF5RbyoLIwoUpakoesQqm8aRoFW57kRgnQKbi9JrJ+7nF/zE6eiRpx8IcsZ3Z2jSYVx2aHfV2iQcWs6JVeae84eKh8Tf8UcV1Y4+tCayY2t80T+Ua8nKg6ErXeH/o7bnUoK/uDszmK/y3aDzoNT5WMY/xwrGT5ns2pFDSnFSWlJlGgF6bkbi1BRUTCBzWfuVT0O3hvsu9hweuiw+eRbhYklqIsaz4Ne1KX+kjMo2FezIes67sCsfZIzNXu3YHov/89+uwODoQpZbFLdnIwKlv3OFKUhRxp2691c4jKEVc/xZPrL826tI1IKXcSifvGRO0bJ5OxTiZin92xo0legnnyhZNfFl1CVezevT+z2dCKLj02N4eNpK47s4yUuWic13FAiHh8KjxjtjAVK2oWdokKURGoOsfQrpGHxpGgXmXi9irF+/0nOFDhz5VfSXxb90dxhJxbs896h7WuMPDpQNngnT4uNKkeDn3k+Z/v8zrxOoOJ87pmDg+ISTYSBZup5FzdeP9wiMLF7J+ulq/GA6DmtfNUAJFndHdusC8Vs60dnnv5UXGjaLv2kyEOtt694egxwsHdeauV/z1io9tFpkedmMv/pP27jAX3Kwppqx+wUONa8bAzkQ3uuf7SFQlsRAqcL46+zUKMe5lmC3FwosREez55DmEx43MXUnH3CuX9x2AuSi5NWUSFcMG8mft36BQPO1y7OQuJb0dfVD+PYsDZd5duViQD/t5JT74+YQPVa03fEh+cPi+16jUbT2LULjbXsdF6Je33iBodZgL0nd/V6Thbe+Huri90XI1fnehKHK+982/PZRpEChPnh12iwctt2fbbf9mgHJinMTHOxpVY3+KMMTaaT+uasIg3I6WOpzZSIbl/us6uiQqHGl5t6XQAvNiXzAcEKQgOS7wXwuPAwc89/hyfA8ZU5J60OAa2/I1MMCD+HeAaNlHJ92w+820ug5zPyTb+y1c8zEt5uOZAPQ9fFQS785Yz0FhxwnTrSgY0ZuYt13jGwanctoeDzzkQVYh5dOszA/vTP6+72c7A9n0nCpevZGEs/GPaitUshAhKmgxkkedKvVv2i3imvn4yhUmH83LL419pdFjXHBxf9oOKpgFBvSziYzV9h12fWEjd/iPlzUcWSg+9+CcjG4T6fuHDSnJBGF50v9N5axC8XWgDocZBSIkYykxZFIjMiqT3LZKBCDx/dG+eJx1HJK24N4mSWjcb2D8p2DPnlJPjDwpYRTV6em0MWBzSDmhuZeD9hBajhrwfibyt9VlE12iTSxSDINiO2O+M0g/Cu4T77h8FOEhrO6pSOMPGxtzK6F3MAByLuS2sRby+iDZ3thwdcctaE21l6did/i1I5gwVwUtELoUTT3C3iuiQOejdqphS8oEFdFAf7njAQ2BH1ByT+zzwWxwDWvxZ6C8Y6E8n83f2grmaGf0BqIy35hcQv488MA4NoeDlp+/FGsRRu5St6aoUTL2/de0nsdHBI/WPPRshd/nb8oj7hDy85rwn9//nyol04uaQ56d1j3Gw4OpbnvB/HChqyYdEv2Ei+sPSv7pvmQhpz3NSfE7mtbj+0U9PWdh01yIxPY3sj+JtDxyJDgrbhPPn0VHrO+d8MvGjQrOzrz4TgZMOmkqGTBx3MZWmiAThnnT8suVCQXDLDUr0+sXCaGiQgnMvC5Zve1rWCdLhr7tKcrUAHY/UUuRk9jGRvyVlLNGSCYcz387bXGVi9Yzd9ivxTGyI/nqttJyLZmt6chHx4S6TK6fesCApx5TfR5R7ceNvUTsNSbG3u3paabCJzyx66ceFp52YwHF/LqbLxN9e4XBxVWy4b5DNxT9hM+X39kwUNjpnnDnKhOiFohUCluTnCPSmOe6jk/0q+KD7KBtB/hR/Hrl/GenMdToaHMhXjG7Zo8mBe24ZpTSPi5rVIdo2xPMyqUNvQ+j4s+6OWV0oHYf+Jnzxy6Ri0S+fA7rpVCRyHLKaTRmwu7xP39SMAa3gAcVVzUGI/cI6H03cUjrfp8OFjrVSZoqJrnT4en94/KiAj/zzTI+023woXPyYs5TDwjNHmfubiWVui9XlL3AgHazEdTnPgdHDqKCrH+mINadUBH6i46fU97BCLQrCFpqVhGtTkHV9pnIZjQ31LlGHSmLQeL76tU8MHO7wlOttYiCs36P9ghADx1N1vVNmMbCnYuDMk2csPFTNjltCDDP5T231WxaeD1yZzm1gYcKu4buHAxWiCcP35I9TMf1lg4YNj8xdhZc9i4KoCJt6VnPoAgVr865HC3pTcPbPQem8zzS03VDQjyGuqOKZl8YGQsx1OMKCKHUwtcDmNw/4PKK0iljX8f6WlA8fh14nRRl688Gz9Zum51ARf3Na4m4eFeozg3+f+FGw4cujUlVfCqYfTF57OMlAeXK24JkpBjIVO+WfXeUidoXXnM3ENw93jLuSeXnHO1FGgMzLI5GXRVZx/ZH2U/FyMdGMdthfs50Nsc/DlWJtbLgafbl9IJKPlUMs+W3hfIQmdfPiBAMgYdbu+HTGH9Iy9RutFrNhnbVe+MIiNvYkKa+tqGIisj1kxzfirIUTuw2laQi5vDtPfTENw83XE525PGxw4rdZ83j4YX51rOs9Dx9a52/c0MzDz4uRX10/+8H9skFbX7sfgvY0qdiRPekQ+mvTM+I5i2XTdQvpqDlWyDRYQOZJ64d/CbIcnBzefe4M8QV38OixJi5u5Wjc+0AsfGjcXvwfObftU86GDiQ38HWWy4uwofHirGyXMNkbssU77otzwHp7uLZhLgexB6vD8ixJ3tp089z9fWysXpWQtJXMvYY56Ql/S1kQjo7kRQUGIrbROMeG6PJWr03tJQ/Gzysq1xJnJvaWnyZ5+5ZSHFuE/Nr5tIuj6U8evJ8derKNuGtcqzfdlAO9xhzeR+JVkaQNlxez4De6LpwnxYL/pftHPjixYaWm9ufCCTaOvuJ3yLtwQO/LpK0iMkwX1a2vpsJVRGO7bRUVN78d8/jixYbjorU6CsRL0cYZZ08xsFN5fusiNwb84i4neMWx8SVtrHYVUXg0cewSydmhk5VHc4lBypkpJeQ5R4Y7jR8k6j3ZUC5qz4Wh5dZfEce4+KibwKBdoWGqbl51FlFVazjwoh0FtVkqS+cepWDd7MdOzmQ+r1C+ctODKDR3U5fIbB684k66jc3i4ca5qTmjhVx8SXr6POw2Fyka//WfsGVDvHe15S1iwbVoStFLCu5mHF/0sJaC9TbzZA8XUvFPcs5lO/J+D0TOkphfRebW0pXPnr7ggpOh0xNzkIPuav/9B6w46H837LJuHQeBWY5/vipysOh7Q1XwXRpWjade+lREw0TwZPYI6RH9tW/ue4TTYPiPvr5tmgdzfwuW8AzJJwNu4jtfc7Fercxg+hUXYS+vFRteZKHy1PBjjSAWlA9nF+dosiCuK3WxVpvkpL7mqOgWkoNGugQbWlmgiSt4mMeQPD3D991A7Fdtq//7lgelruLs7Q08LNm4MivHmYoNMqu71jmReVAsKXPOkYFEnx71HmLxWJ/hi/WBKObMVzyrHAiBTQoOxqSXFNxQlfIlHnKqr74/m4348OihkllsdOpcZsarkv2pxU87TEzyMmbG1nHh8NRG25Bcf86tlLNGNXz0x4SYvajlozt3VdXKMCa+nHYavHeRiR+zb3ygraVBL1Nwag3Ry6i1PvkfC0HdrhuiifU2K1tS3vHw/WK7aBWxZCpl4PdCGp6aBA/qLaBhTv2FioVHeGizajzbQPzB7LHV96Gh+8iFviJvcs73hoxZtHKwKfVXys42DkDvsjD8QfpRgWKo5U8OXv23/6JwZACoi/MOS0YF4N+TzTMCNymo2yt//WkaBde3KQf5e3FxaH6PteoFLpYJ7j2+vIyKVs8fLzzvU0GTvVGLFg42DqemyJHfJ+n638bZaWy430wt5d9gw/LJA4fky0wIhI10S11iIr2vjCrpzsTyJ9usI92YoA9kev4/Z2RNZKu9IO6/udo9mx+A0HiW60kiZ6Jgx4Ld/pj8m09L2OWPg6841wzkAuD7X2LwmGwAatfnnHxgwYHmXK1Z2MNB/kYFau1+Ji4EepmFkb19t7A44VA3mUP9b55XEeeLGhk3DwfCrymw5fpgICofzrHxK6DhjurlD2bk/WyXUxMZ6uLAjGLmEkQ+/3KlzmSMLQW2yb9Oxhyi4HOFds2yk2Qu7qgW303ytKmdxKwbVkzUbzZpyTlAetW6tRv/k+PAhx+fEkLm35TFgpB8MxZ++caryZuzIOWQJ/Hej4a7sqcPVhOvdVymS5F+c8w8RCiT+Ptm7UzgPwoaEm9sXDdDwdz6ju7PM3zUXLYImvWPjysx9vQ7Mmz0l9q8ebaUjTyHq9xnE2zsPO5s8niS9HqjVyqn4+hY/CHlokc8HUGaFdIJYgEwXbrcf0w0ACveHLWOFgzCi6t607HEpo1b3+mK8RFfutCXLcrHrTmPtiuQ/Sm/T138ITGfHqM9n8uAHr2E48Ehc0q/6IKyNB0K4uPrzy6i46V2fUKHaQB2FsUsUTAPAP1RRXNRHA/7Wufr7Sb+olZevi5CQd5emasLhSnwcZD9LXGQjhWfVh9KOkD6ROUtD/MpLtm/EhJDk1yoM3U3roumQi6lJOdaFBULSk5wxMic3LbAoXYT6T+Hjm16GpxFR0+q80kQnySyrtv4kee9zk9Gx5uJFEtp5/lzKFh8QdKlkPx+blO7b1g187E+Lqvx5Qc+sm1PFGaeoSNB1TN7F1F5KLvXspyDUKPDQdfKOAi6VXTPbiEDTxZO8f9bwIDjLLNNq36xkXYnwpn9k4068dWl9iuZsL966nDsciYk3zten9nIQ9V+JaXXajwUn2bH/AngY1/Z9jcWdD5YGglb2O/J9RvKlO/9QHpLYeLFTeQ+rfer8EwnWrzOv27HoEMx4mbffTod6ts2Xn53kvSPpg6xIqLBq0jv7YVsLJRNatmWz0b088PoIHt9wsM36sAScj+W3g/QCODgfbnv/hPEH7bxuVfvBeCBZmm1QFEAUFq2ZfE9DpocA2N2FXNwsFx+k28eBW3+351kiJO/0iVaKv2RnvRvj9gLf+wQ3b72xFk+ij9EKUec4cMue897rTVkvvN8pTYrcODxI6BmkPTOlJTTG3vzyfy1ad0+EEHH15vz1thE0fFXSFLhZjUNj7ZBue8FyeNSNy9dI/vbwK7Ubz2Ref9lUTR5f+60bt3Nl6GDJaMXbyPJw8YCEy+NhTyoRq96zRoJQKHUnGWepE8s0fdpLmb7wYdyLoXF9EPn1VM+35/TscSxbG8mcZXUzbjhQQ62lW8olxwlP/+8nfpbagMw8egtlfOS9B0hYUv6ei4udNndNyS+CYu4svIsE0HTqn8CzpE8xGGczs7mAkEH+4uJTZ8F3zaHcfAryfzIDHHN897xR640qB+8tb/zFA1r5t844m/KRo7vkBJ2sGEfGP96OI+F4+mNJqZEbPEO71QJgF2cwM+XGwKg8V/MjGw8H7WR3vptxNw1SxsG5ek4Gr7BqoRoaHyxvGoLB8krD5jfJC5hWptJpPrj9NsFEq4p/vjN+q67h+ybF9E/OlcTvdXs9PdEsMAwd3eru0TuP++CYSzZO+HF5+T0VKgothVtn0jjYWlNdN3Nm2Tvjbu6b3oQiB1HcoLnFgfCuvCw+wIXPhwCKv7eduKjMPTT0UcP/DAte25Gifh+TvJJk8MsPPVVPO9lx4LOzq2Wi9TYKI/l+8Wrk942/umwPSMQ3omzRJcxA5GqZPKxp4dFetdBWf0fLEwdPhmRS3oiq0PoxRLSG20TLr6de5sG/rab5pZkvvafZzQfJnMrbuWl6p9EpvqezTWnGTi7Mb1cleSkJFvxIxRbHjxW3l6UQ/aZSLFSV08vBc7mNdobiImG+mY2IhzcepFrsWwOB/cTonXz7KkovBSpziJavDzBW5XNQfXVBfs+ZnEgXrXEcUKYC48j/gUQ4UJv+bRNugYDr28/3K2mzkCfIVt2A7nOt9KGGiDX/WfEWGA4hrxXni8uJl6jY4JJtbQ/zsIe0b9POogKcdJaCyksnLORHzYn/ffS7P2hHmQ+3JepKAgjtp/qED74kQvhp747pYlP30rvMCJ52nusLHmcWP+Um21ZRMFJYXP9DqL68ALDPc/ZYIwwHVZUsiFdNfk27RUDU6dbz/19w0C7Z/KqfWT/utz4yBo4S97j4JH/lpL+EssOifx1noILf0srTzSyUN18f3Q78ZF5c3vzJBWDNUWXB2aoeGO1abDGhI71VqxrocSdag47vetpUHA5wlB7RcP3qpEm081kj/0SkPluyENBgbq57xid5MYCz/rfdMj7DQ1ZG1GRPvrZ2NqQitS+axtn7tGxX+VOov9dOtIC7fS+T/LhznI92DlFeskXqS+qmgGQ7jKuG1ALgJflGvfmr2x057sdud3JxoN7lfsv+ZC8WZgmOf1/e36o2IeTvhKx9fR4JBun58x12bCFjlCRM957QIewrfhSbfJzs7WyesLPcLGveKP1Y18u3p9aURpIzK97zJIl900wXTP1B/GZw97qx/+xMdgp/ns36cfn9t4p9N7MxfwMC8UwQy7O1s4vft/GRc+mz+dvEgc+xLpkh5NeKTpiWxbBgOayTIFLrzgYjhsPKyTyfbzsldy5GDvvkchwI3n3c5TatxYm9Juez5n+xETDnpaUyrU89FpKWEWsI++7smjm3llcaJ4Ku1IqyEVFa5583Vkq8pQMej57UXFq/ORTqz8M3HqZXFlH3G5gp+3+i4VJe8krG36ycPBstMKZjWwozLrAcCdacBTVdhfw8Pnz+QX/8nm48nIkaXxlANx/7T2lS7TSp/ZWkLkvLsl2jPTn4LizyP4z21hYnPjtpcB2FlYXVF3qCAvAc+kFRV7E+LmHDsinsuEwMdtwbQob/2kdZGbJXoIb28zMhEgr9ShTaWTAKtfpm9d7Bkry/NPO3yP9beGy4ItEH2Zu8nA/G28MFb/uH2DjDD9n6THS21L6ExapEOecOHVSwpYL54uPCk4e4mI4utV5zRwWXocvkn5MLKaqnlS6w0Hi2qULQ4n7jNf2+AuRftAour1ekPRwl7jqaiE2BGaJNqoQlzEfefaT+dK6vSFfg6j6bmj1u+8MKMQK+tzoYeBT/Lzbt/t4KPK/53ZwgJwz2o/Fx5t4yL+z7aNCIw9Sj/kvTx+lw/1ZgxDs6dD8o6TadouOlnuWacU5JIestne0Iv1B/nC+sDyRtk9bkL6djdbac42byJznv09qESd722ZuwbgR2eMyXVniPA8/vBwKObb1tB82CNZ6R1EY+P52R9pbfwaqfZyl3p/mwDf25cM8dw4etQ5LvSfv8UUHpc2Pjen42VRomEVy+De/6PutJDd79kjXWk6ycP7qmOkr4qZ5LYuV93NQq1ecd9CSg/M90zHOu1nYHN1VqkisjNa+WxtAeqWdf/hBfzYKWU9N9yVz8DbyV8Wh62TPN6xqPj6X3P9Mdfu0eVxcKYldcm01ma9NomHOa0l+03PdcH0NE7X6evKP1jLRKieuPfeuP4xSDs/MEE0956QrXOBhgf35yK1ErV/mXz/ksLBQ2rG8jhikeTz+Nfnni+pfWF4jPrR8c/KVDxcPh/qW9HlzoSRkzS8K80fxdPXa5Zf8IX8+enFaBAXbdykN5F8heUzkqs/X2QyYaDfe4wsykBq7Y/eQFheNdwdNz2hwUSUsPW+eDReyWi9TpIgUiZtKzhdpaF1kU3spjIZf3x9TKknP4CU6rQsl99H15pa57eY08IRPT78hPrB87blPgfSGB4/yWhQDYC9jcrJMgAbbjhNu7rNosAtSdXO8y8bi5WNJqkUkNyv/ynX1JedKx2vlY6J+xcYiPfVgNDa02x9QC8aKgl0t/1r5EPptcVGonY8o1qGhWGc21joe/cV1ZWPqwPfc0Fuktwt6x8VkMpA17HvocGUQxJv9bDZWBUEpVulbviUfbRF/vOj7+bjwdtNH66VU/D1m66crQ0XXe4VDTnN4+Bhf8LJSiPT0dcZ77bVpsK8/hI86NLzU09+VS+ZP/82fn/09uDC2iTY68yMQmY9v3+L8DARFeddQQiIDr4bzBTjXGVBTrdxl/ZyF9UNXk+cQP+bRwp4dp0GwZtC+nXigw0P16TY+8lzGVq8y4ePg75r4/f0UHFDQmU0h+7VSrkmgjBUEB7OZ1R+ZQTAdmWzrfMCBkV948+ESMg8jRi0XJtDxInxZ50nSL/YpJe80rKLBl6b89xbJfcGHHrSbbyD9xmHkjhaRMpRr5O0XgKIHBnYHiOVpC0ytRDm4uyBqZYs4B9ub9XamR/BgfXSIZxjJA7wNNb9EknMioXXe4BIdAztthXYphWDXANPg2LoQ3Ive0NM+xoabLlXI9w/J48VCq+aGsqGp7DWifZGNV2lhc5tfMzD4hy/RU8/A4xqBQvVxFo4pBJwqGSNz8aFBQ+sTfxxoXpBXUuGPEYFLS5WekBx4ve3H1XImXpi1FBZNc5ASsmRD7QwH0h82OHUk02Bh5miVGE9DyQ7dvUvIexM2p+CPE3mPjK6q5D5NYiGMOcp0SGbhgKi9MTuOA70u+aNXr3FQnnlN4EgoE2mGa2P9QphY4FEuo1LJweGW6BsGzzlo7FwWfimDhdnHj6d3EC/Z+2lXkf43e7p7k9s0BY+mbxWm1LNgHPjp3P//XLlhfoKBUR0HEVLbTNm1pPd+WWoVXkPDwIjKYV2yz03ctcLdP/mjnPOncX+rP/KiZ25o7eHjQTBb7tFuPvzGDna8OEdy3JtTOgkX2NhF101jelAgdWzDYX93Cr5mdnX4/uNhb7WGM2uGh6ZTrVFuK0kuGdwxqruKDR/R1q8ZfizIzbntTPdlIbQq6cRf0uuXy3W/WhvBhE5EpmzCXw50rPmz0ohpL9RO1+7kwujnp0ADYs5Kc4nd3YFQOpjCGieGhz1vNCH3tSXf0OgEcbTz/cS3y2zEllS2OpFc8GXMzXrrQRo2WAY1a1vRsPzC3mLaQQ7kduft5Fpx0Ltp78Gv3nTYPRsZeuhDconEYavBJjq29ErJy7wnecfgWvQ/ZRYeT2guk1ZhYUl6spMRyXvPHnz4yibSv2zaL6/FwAuhm5IWJA+ezm7iB+33x73A2meLDvrDysSQMzpAB8VYbE/iMB29Ycdktjpx8DOpOD3gBAdDl1MoHQVcxNCt/0vL5+KD9LzT68WYKO41tOgmlixdXCzfzsbtRa4Xc4gG50dVx0bJOf2rm/7hNwN/DKnzDNzI54t2Vv8jTgrkXP9ymwljSxG98TtMHPE0NR15zIW0MtnWFVyc7hLrlA1jIVqkaeLEZRb2eqjkBrjQMO/mrY4ZZ/L8b2S5L+hj4YaJ5G1t4t6Tt11GOSzkTDU2GbFZuH7yxj9rih/Ed9ottKH6QW09Q/nqITpKDn5ZkEwUf3Tx0qNFXKRlPPd5TjRzOmAvncGBcOMBr+R0Djrb+Y+DE72hvLbqHo04d0Vkw+6bVMiIjcjqp1GhxFq66tBWLipLxA50EtscGV0KLBb6tM/iOPGsn9fbWZlM6B2oO7KEeHjb6/1Rq1n49Z53W41ouTnzR/M1GlxKRGa9Jh51V/1xKJqJRcdMuuWvMGFt+rXfuIUNkbm1ErFEZa8GxbpVfMyqOLbAeDUfKXPckn5c4ULiY8LgV+Kmb3fDBElP7rsa8SyMqDPtN5cuRUd9GedqLlEg95h73no2VDZyvnxbxwZF9LzJurdMfFmoaVRBfOVwNK1Un4dxJ6cf64j9H8ZvPyI9bLXTE01Vkk9GvnjZ+h7m4IrwSKyRLQfn2v6L3/STA1mxrfnZPzgQ+6dy+HEaB/6Tt/xOkfvXEB27/4M1E1Ls87WriFfHL8rK36GBe8LK6CvpSVEWWtywnQxkTGwaPmfGwDI9u7Ft5Pm/L7G27CGKGyU3ntP3hRVDvnpK1xftMZXzlQpZ6LBVMx0h/VPb+jtr4w0qqvRPGO5Ip4J9cWvtnUo6Bs8e8tjyguSerAT5OkcWnMz3RSqQPmMXvkBiL8nFP+uuJC4gCr2Ya/+VwYbEETWx2cR7rhrP/2rSsHLJkgetWjQkxW0YyKbTMDvrmqUQsWzYfptuJsnTwplyabfIe/rlQnXdBwra9tjQf3+kYNfy1jdaZK7lvQ2vGUtjQc2GFmj0i4beVe11v77TEFM6y3wVkw21GM7FMPL76Tfrr1xYzsLlzdKP2aXk+o78sre5R3Jd2kOaKPHowgAmx5CFv5t0d3wk2g9wHV/HkP7/uYjPI+aFT610S2BjLK2lQZ5Ynvblo0s7C/P3ufz3ihhTTCk1vMnGxns3Pt0jXht+wnEnfemMz0fTjAkqzg+foKQu5eHw0b5lZ4jZQVoa/wb8UZLv+dtyyB9ua6aWCl8KwCIX0UflFwPAF4p4mjxCg3fvHDSPkpxyIvBYE+kFUmfbA70/MGGkH2nrME36lWDsIiaZp/1/69z07JlIdHm17qcDE+cFJ2eOrGLCjbm0jLWSCZ8he+1UEQo2/3z/dLUwBWY/jsxeTuaR46CVViBRvOzwbxkZBvzKW2nZ0gz0vNB+YHiIBfxqs3hkw4JQds0Hy34WCjc01saT868cHG38up7k9sGBZb+J/jc88o9eZ2Fr6WzPaykslKa6FyQ5ULDtiOzeFf9R0FFsudRxHxvqe8t5uy3Jng1yHbh8mYk4wR7jdxeZcHxIaYsv5yAhq3nQ7zHJBV1L9Aq/s3Gl6dCUTg8bewX+NX2JYcP5MWWeIPHitPP+gX4q3HwUHxoSh5zMpKs/cWBIv5A5QXwu3NRhcIIGVcaMmRiZX6Gn4/570Ez2xaIfDYwPXDIzuBG75GnQVxc7YUb0jzMTusuno8uioOS/IDrMdxw8ZpfDhhjld6U28efLhtjHwRQomlzWngmhwHtp58ld9wKhuqc7zasoEJrhttbVP/mImf+yyeMXH7HxU/sbS+mI3JNcNvSQjhHJxo4oBSooD68En1lLRWT5xgmhWPK+d9rn6F6h4eK+iCObe9mQSxsWGid9X/ye10rFtz5Y0jAoUNbog2U9kbcL5nNh+y3/iYMkF8f2Wxzf4sXBwzljpfHnOEidZe28U5uDtpFvWfu1OPgb/DwhbwsPZ8RnXB4RRTRqi6yiKVB+6xF5K4qCk2euf9yqw4FiQrBQA/l8r9xNfqgqFXuXBp88TVzEdOeeJ9cluO/8PmniwuYbER3OAXiWJnkt3yUAPNeGGn3yPeXCFjp2JIe/Noj7oyjOxSVR5yW7SU8ods9vc9Cjwckscmx0Ew3JKyvc/5EeHZJU3ipaxcbW6s0Ra7kcRIrKTdwkVrHvr9gQS+ab/W6LWHLe0g4fL/lEemu/kECyLemx84Je7qoyIvN67LjjamLb2PQPJzsOWp2+X84mc/JAXUruqio+dn47Od5E9BEuEWxYy8GiK96xf4iWO+bLPZfhwKRbMfETkdFu/5PXzUDLvLhX8l0MrHESq/ymxobuTlXrQdKPHTq3nNKtp0LtbPHOy8RTC4ykzGWDITZQ7vxxaTAKg979apcl918g4e9qolhzg9i5bC52iWzmvCHOt4qsSknjoklz+ZEA4kBAzYGylSzcyTU3M/6/n7sNq90ZiNdOsBcgjgxF2P/8x4K7FzVmngAbxctnlHOP0BExYpuUe5iO+yqintXLSU/KTV18gvz7HfFKb0Wz+Ji9YYQhQdy9y76shcw96pWu6x7E/bMjHisd8ofOxI/crbb+0Nzy3+A5SZKPDbftDVnEwVHPx3UGf0hffHn7wo9Rkjfa5egrbQMxS+LRsqxDgUiR+ll5msz/wK9a3s63yVy/3xJp94qLFpvboZ9fc/E412DIZyUD7rmq36VlGag715K8UYSH6orq9bNmk/n23ugy5xMNOlco9Xc+0uC1qvfYKOljn/dw1ddoc7F0W51tz6ZAGE6qSx7QDUR3RewS799McKvHloYTJ8fWf//VRvrmJWtZCvG+adX8wyRfxjoctvYnql8SeVt7mYet5o9tBEnOn3D210+x4qO3S8Ws6yAfL1k2iRtv0iDUd/Je23Uabp0T0vszwYZrn5i66iQbf075Xq8fYCD4hfzxmkEGmmZ6Zy124EIjI8LvznEusv/8OXd/Fx0nX0U+jzWjg9ObOQhBHrqy071WEd94nuCYvOAgua196x6St+803ra8toOLCu8nYbpmXKg3zG1d3kODrgCtJ5t4zqsNBkVkzm2OFZHKZ0Lr57rdime5KH+W4TvrDBe6SSuTg+/zILaqIUqqgod3Ef3da7kkB5/5uO8byVmmfabLbUmezPn18dNVDQby0hgF1TXkvJb0OnhVU/FQooO3hUFB85Y/s8RZFDTs/nX8iQYdxvemZI5spONTSPUFdx0qHD4aBf3WpuKW6RHTXjk2mBfvfb4rS/aZVu3quF0sHKSUCLvuZiFlOnGxK9kvvZtpbmZkv1ybaUlhMMn1yTOGJYiPTsjcTJ8mffB88IcbxF5Fh+a/2TRcU5fmtmWSPjNQuViZ5Lsuu7CF4sSgN8N3zswmeePxTJoaMcbEV1Oy0w+hmlW/w4hCGre9fQQ4UInZxIknftGZjJu8SHq8mf2hsVAGhjS+qq8QJr1n5eu1CSKkP50UO300kY+/6nfCf8bxcfpCNadvMQWeps8eGi+ioKX6fu7uQT8InvRsXzzghy5pxqYsTRZuDj8oDNVigdW/wP7GfwEo3l0h10eUNCv60CvOQtn9C4IjRAURiqOnHgecoi2S9ps4kC83utb4mYUhqSCdhR0sFC8rnWzcS3qZmlTnEPHn7txZqlw2HluPtYtzSC7/zESVWCBu8A8+jyWW2j3a4eRPcmK28UQvhfSdP0a7r2WwUWk3W+xQOskLMn8FVhizQHWMd3PazMKe6Pc+r00DccY3SiduWyB+1tiZ/PlMhYfygaimVireajhftOgIwvbCyLAHX4KwaovcnY/72WCVX+4+e4CN1muFfR7z/BBwVz3HUcIP8tk7KO8UefDrXWfDJ+q4+L7JdwqAWFeP/VYy17cPnUg6Rebgo4qHjUc6GXhqmROcZ0yDw2av53NAQ9bnjr+KgSwcvV6/xIPYN1idf0HGF9vLGs9+JYbOyQl392dg4PdytQw/BjY2jFkUmdOQfzckYg3RTF7sppYTC6KfHbwk///3m+VcnNVyWFD/nRfXlM2Cowpi/kUyUDlPKWNnFAMuVeLKNpI0nDE4nyFAPJ7f66pL5ngqo3K/riIH3YJfvo/944MVkJW+WzAQNQt3+Ui9oeGIWWv8rXoaqgqGZ1uq0rG3VO5oH/GY/2Hm5xtkTl8v2TqfyCrfU3fOKgCdSRU739kEwL/8tIgp2SMnXjnvWkPydqK4oWZbAgXZESdKCmMpUGrm/TpygYbIoeKHn8/TIGfi6XgnheyzVVWfnxKdXKXC90YHwee3wNP0qCCI37Utu8mkIqeneL04g4r+Wz2pse8oSIovM1/QSEHYK/+tIQvY8LK6Wmc0nw3frXUnkoNZ2GRjplQbwkJiJ6dscSsbTeVM/1GiZMwHuyJBBhQmkXR3ho4lmntCo9QpcP27seCwGgXUE0Z5RXxfrC2Y0q9h+6I449iGuSo8vJaSs/+hykPyeWGJQZIPt+x7ttnRlUn27IK7t42oQOQOh7VbqSjOruQfvcBDRaCJuD1xLJw26mHBheyWK+y4PVxE0VVev3rlD+5lB9aJBn8YnY0ICzf2w2rZ7J3OIL3v2/n6h2cZsFSMEhL0YkAqQiT6+DzSfwT/7FEg0mqn+1YWsvH94whtSQEbl9eo1GwDFerHVrqrbaaia4tBvtBWFhiFPsNDRix8NzOcXXqBg7iYqy/Pe3OAmur5M/fpMH2ZecvjAR2uhzLWC+azoTlYzzDIY+NlcHyFBel5Xi4ZOxYqkPNjKcDI8ArCYcuhwSjPIJj5zV84z46H86dqUoYO8/BYVFnlSwkVAvatZXeI6WrL3i2/y8OazUd9tpA+YDVL5byIDA/WS+8tDpDlgTu9VGKxFQOG6j9KvtoyMCvocYUcmROcRI+Jz6IsJKc6p66vZ+Hk17Z/84jjM9fP3SD7pffAQsMdfQzI5O/2PKLpj/BAPU19bX8cD5FSe7KFzOf2atU0IzrkQ1sfx2zn44+bl/CPbXysb8l56faQgRIla+a2RwzIWqltadClQtnDZJS1iQqVY0cMZpx5+Di/RuWnCw/d+3BSeyIA48PZbp/HA7DN6q3QG/JcTa3DS26Q5/zSKWH8CZ+Kn9Yfr8bzqJDfccHWJpqFnhUCp94S575pONd7kgG9kaayS6cYEC+NfalAensSK7lslRUd7a8aD83rpmJKa5nqW+Lz630hSyeZaJQ+Ozo6xQT7zVHJp3QKctdn9pqQPeS1a/vXvlTSMwUbB7gpDPhXGHtM6QaAc6Uu9iUxfeVS33PkfYnKYr1vJ0YW6Srv/kcBo8dASE6QCs7byKQ7ZE6k5q98Vu1C9pJoXlNiJgWfLF54HrxFQQLfNPp1ZiBudcXaPyeu4c2OkiF58IL0xi4RYv+wjn/RSw40zEM0U2s4OBI/pOlEvs/wos7zRmLJsXNy5nQuXOOuH/GlcXHnW3VgqiATgcM3rv4TYKJ7/qeSPh4HWstVJ435HPyxPPLg124q5hwdiezYSfK7ybrUfWdIX9pY1nefyBru97CYpiBuzIa3ZoqCeaZbpA+NMuAo+7l11QgD+avXpso+ZaFCxDc4kqiSYvWHTfaq24mW98nE9d2GpbeN2fiw//5pOeJnVSmz2J0UWMt8mnI0paB/rHfVQn0aGI/Mb/br0vDkxRLjgQ9+WDwaedryvR8g47ghMISJu7dmbYkifWrr31n1lndYyLkccN2jiIUF88/lOcoFYUeH4AfNpUGY6zrLdes8GjJsv4bmEr/t7tdS3OOPzqCEqoP7/LGgnft1cJjsJ2U5k+cjbKwLNZ2QcOND5bjrjnB3PoZfJ/RdHKJgKC7TwL+fAg3KxcbSzTyYnRnN3E/6xnPtJ07BLj4wjHSx+UdMLhlN2nCfiW0Xgi6LljJhO9fc5MddkoPb0os6yXVOFneffaFM9nJX4pJVxB8Xqn6H99Ex2aNi9YxIXbt6yP5TEJ62TIiNtgaReeFe+kadvMdz7qeVEXujPSr+o7GRuzFaX5DOxpnJaqVpU9LbYx6W12/noNbohUcnmfvrrK3GzVM5yNGa7Eub9MfPeNHxyQl/ON+yDEghuWL8+SJJtzkcnE3dVBLHZ0Ltqvbz31wmItrnUycE2fgb6VBnOIuNhXP+7t+8ko4vCWn0FavpMBmuCT79jOy3Dv/Iz8QDqyriTk5yYXx7TbHEFBcf5ak7bSboCDYwyVH8S4fKK0XZRUpM6E0q1K1RYaK2gfvM2Ij0upF9NT1buNCxZ63tI+dKNMrztOY0uY7UBl65JhtjAw77colzv5cuOSDEgYJ/2cHs2WRvJa3Tm15BR3ZQ7Mp9y+l4M/Xh3n+kZx2560k//YJ8/vZ24fjTJFdaJzwSIXaJVcwT8mRhbMuM9Aqif1dq85mdAZgKbPBNI2rM9X155S7pm7R5z2KIbgdFTp2ZDMAI60/08qkACEZOjZcEsdCUbnXTgLgkg706vpwFwW+2FKHHLNyQq9gZ3M3FLW1n8wKierBwSNItNl5pDMqpE7lNgmPhb/zwdqTLcna9H7Y/LZVw3R2CG3NiBb/tCoHsmwbT7ed9Ybvvsoj+OV9QhCvj9xj7YGN3cfWDrT6Yt5I3WVzmj5enDyobPCL9xiH+yS8tJuwyM0N7NjFxxiz6a9E+BrLGjXIELRgImAityVnDxe6qh86PiHf54vsn9OkkdDQ8VzCgo89ovH57OxvbTl7TWN7BhtE28Zm/e8jcLArzst9LfDc1XHGP7BnbhwnKxMsROZXja0n+daNsGCJSHsoriJHn5SbgtXE5Md09oF9nCRud+45W+xJjx5ousj9R8S7qwhthok6Xgqr8YgYiNhfOtpVhQGXka58KmTfU4TOBGsT7oSlTfJJ3lWs/VnDJc05TCZe0U2Xj5p3wpIQNbNxnHRfXm0PDggi0LBKhwbbtUfGldBr8196dnCb5uz5J5v07CSa89e/vfUFcMm2/77hmAOSM+ubt0QrArV1yBqyMACxmn9vkR7SxzuDNsmLh3ah35H8HWagvOcjduD4QggdNer8qBoKmup8Tb87EuUNzLYaIpU1LLPqUQpC3sqbOdH0Inu+O3GxyioknmiJXbnswkZQSNb+Q5wdLgcwjDL4f2J6ZwwdzGdh0RCq5MI/kuxOSmDQPxNf5df7SFiTnGqfbr7nKQsRl1TkDV1jYRffevTiRi7mTDlaJ17ioz0k+8DqUjdQ1pcUlxNZthrvbnX2gLeP3XpJ496KZrLuMPyYGhgX7ZP2Rsv/8hn1KNHxdP/+OJ1HPuPxwswIf/QO9ZWnEbt2T76ZMA0CRy3Yx3RGAZ0E7OvNs6Gj5vH9nGpH3Z8XnvoUsfPnvmqAhUdXXVUfxDRdyL7c/WE5U+2ozhzHNJr1/8GnIFBsexS0NxqoM9HXOu9lOFDdVCDrkwYFsUMT2r54cFFkHiS45wcDq5Lc+pkT/SZnlBmSOz02P2iRO5vrWHqFnNaRHzKoLUo0ivg9x3rn/Mvm1f5WOMrFa2a3g3XwOXLvuClyW4EBvbNuXrNJAHH+5XaOYuPXbSt+m5QGgbTw70buSPN+xLU25Cf//765uUj+JE72Rr7R72VByXfiM94uNKEMBo1d9FNT1W1eaDVPg0x79o3CajtlTkZoSJF9yfQ2rdzB4eGapoZ1IVLl68EjLSRpeWN0buXaaBtnjlX/6dXg4+DZcpFSbh/pwMuhz/fAqu2OvU54fpg/nZWt/Y0Cio1x65P99YlvfKYVlHEy8sN7RI8+B4imD98Ufyf7dK6pk8okLIb3igd5jdNzvjQzX+o+O/QGn3mgvo6CzIV4wjBh+VPtk9Vp/9PKXrc1f449C27+hnU+5uGc83+jvMy7WU2KT9ggGoWrh3KYj/wKRTHn0+rE8C1ETTi9Gl7GgGxzEu3eGh1Pfp+0qzvKQ0L78RX86Azq2+vmjGQycu9cp9F6UghQ9m9da4hTof82vWWXNxno/wXMFVuTcj1bJu7v7Yea/tBx7Tz9MPHk8xDFkYnhHvEPGFib+pI+wLT/6g7P65+ZcYl3Jvbtpq9nQvn/6qtQqkt8vuGlZ5AYh+XpaRml2EHadtHl8xSMAucqPQiuJyzfFMQVBzt9n64ZbpAf+evLxhQmDi6/Bh8UniItt5y7crMvBVc+vq1/ocNAj96M6SIGJPMduo9vE+SIKuVaRZL8Z2AmGRXPQO+9xAmcXySMQynpK1Js+YbRrMxPWAToKs4yYUJfbKP/LLgCFW/vf2B0LQMSlbV8ntrEgLnuh08GEhbNxk82vx9lYtci9a+A3GzvsgvfrOUXgyUPdzqvEBsPmcuFWLja7eK5QIZ5/5Gq0QZiFrfePcZSI8kKMG4+sGZhbstethLj+QPLcGzFspNh5mE9Gk3xjYOwxQXKyiefZeqe3LHTN+Dmq3mPhaZMnnUtygeJfUzc98jnm9bj9klFsSDC/LViwgIJ3tyezJOdTkOqjp5C0nYLfbp92xhLbWObx5h+o0L5upcJooMK2/RD7xHMqnu6drul8QsXJ5U+2Szqz8VNR7uktYsY/F4WevTxkM+3/uO7hQevV/K0OR5lY+qIt7Z8dE2+PhfYN2tOhu6tDo8yJjtY7nRtXiPPx/Pf4w6USfHhtetexN5uNtHdiTqK5bDzPe3w2/ikfjclM6Z/EmH85VmEBbEQYL9OYIFq+b2n+fI6J7f1CssfOM7HWReFPwHoOnn+U0EtV5kDwx8ShZAEybyLSssz/MZEhVPJ+hsxBB5/dzIVkLvq5L9Y2vE9y+g+03Sb3aWCjvuMbks97Xj6+ZmZLx/vaN5oLVfgYMn9asIEYuPbcCZePDBiV1DjEfCBzN+PivvaWAOwUvEX7THza+V+ZQwYPGVSzrXOJv7iuwz3pXOyb/rieksGF7vAF46hvfJxTEV3f3MlHbPAwxcqdCv+ny/7x3aj4/qLFO2CA9Jer0qw7o3Qc7uMqnS3xRYdc97na+2RfyzmIL+7jIfNWz5MHvTzc/Ltr6u0qChT/qDeGrKFgr+Lby1vesWEhlu97uIH03I0Sp6su8+Fsf+THkgg+aL0e+50bOVhbfSWASawvFmQHPeRD50K6uhcx64BklkQMFYaSW67/iyV5vHh09AWXglKRwyr7iCtUqnfl+5D3sFa4c5CYKMOWkE1mQSG/sig9iYWdOkWflGk8zD6803gjccT1oJfyXx5EU5+3fpvgYf6vG2rvM9j4et1vhxtxX1LBwjJ1PsbfrdK11eJjZjDD6+sgGyya7693JCeHFNzQMZfyxbzw/QtElvhC58QXuzW1JCfYqk3MeslGe8LsGNdzbHw7IHkyl/gz+u4f/Uny/CPOqFbPcBDW9vRpegkb9k35PYwykjPPqiYPldKRdb+r60oJHW5OL0W0G7kYLfn9ffIdFz+Xq23uF/HFqu3+0+1zfBG69941mUt0iCZctTO5SEdj4S7XogNs3OhZ2szdzwZjxuT400TSz2Q2vZxKosCxRV1L6i0Th96Xv2lqYOLx6bMGjw6SHrRQ1enzAS7E/6QpzsnkILkhZxEvnYOUjFzxdpLbBGIOdH4g3ljFp90vpOP4hX/Si/PJe1D2zuB+BA9eqQp+XGJgvnVXP+lDh54PZKQIUKEg6GBXk8BBibzjqYIkDrJW/OnY/CkAc6+JDt1pC0BHqLvwnWsMNNYoSty9woDPy6iXJ7+x4VA8NWXZxcZZfb+i7ouByCzW3nkvNBCFt7tGn+1jYXGt6Y1Csi93DkWzNX/5wYBLzdPp88OO+Qlxd8j5Ktmw3dFIiYNmJWGXdjLH2At2jVgSQ0P0Bkq/BsLxzfeK898CETedO37Hl4FL0wGz3nkz8IYicmI8iYu3wdSx+OtcdLEKg6+/4aPCveO1/Ac+nireoUqS/n+uqVXwKHGRJ+dnbyADt7g7qOsuMVA95+natOAQBLy4ZptDzFyXXPWlkQIzi5on3cTVIT8yS6hc/BYdHrlNfGBU8nEX6anpK2zGlxM7fxqEfvpGx4/QETvJLjr8aJw1584EwqzjrMMA0VWtVCic7NFFrfXSn4kxO+28NCkUXB0ovZQYQMERwT+bcsaZON9durpnjIk5XgfWSI5wYU89sDqf+PBSdF3XmkA8PSCZfYEo6K1p+SGNBvUNM/f6U2nYWf3goVw1A8pJVl0ClQw4HbjanEP2jyR9V2ysPgflbVKpSq9ZOF5xwPpuHQvUguvLCw4GwOmr0r7G/QGYr/Zbz+cRDemL+tWLiL+3+E0d0g2ClGyDBItY3yB9tWSHP77nTTy5Tgw3fyh2spWDzAf3LxsQNwgrnVimx0UBXuk+0+XilFxCcPAdDowHhx6y7/z//zOJalq8i4HLu1rGP5sz4D20e2DTOyZ4h9z8ThCz5RpKFePJ575G/3gWx8E7b9PJtp1svNfJpSias2G8IGg+f4KNIkr38IVJkid3c7d2TlIh4aa94MoUFf9+G7B+mwbCe/uWyDKiyq2UxtY9HOxIrK5xseCAI2h3PHAXF5J//BU2EuNa7je5bWbj1OZ5+8oN2VDx2lhnFsuDa4r8yiVXeCjO6i5R/0hFGuvQ7Ryyp9b/fXZWcT0fVzvHClqV+NArDtY6T+ahb1FkZQPx35fZi//T4OOtoeARAU0+uMv+3Ek4FIihD4X/bSKG597IC31BesaVssW5RJVp8Uhnsl8bFl3XmiJ7UyyPs1CS9Jzsea/KjRS4YFx7LWI0l41M38e3KsXI9z8SmlBZS/JcwZwPGmtIDnVMyfmXQgVqghjNqVTw7Rc8eaHBhKboqVcriaa6p7ekSDGwaHHKyD+i9p2Vmp77yFw/+a23jezRM/f3zokRYYEbHjSziLhdg//49X+BmJFovXLVPhA60YoO3T9ZcJYXef7fLxamlHbUVQlQUHi4uE5BkAKjmHeJ3zsC0XJKZcbwSyA0F4hWdIaFYJn66c09xIkx7x3lpPeI/Y3rvkCcJz+69EYdBS/NTUK/EM9erDyTK0rDkJmYsJcwDRvi5XdYXaGCJ3hvYQFxQYywZ/omLh7/9hm8q82FQVJhCzOPg6c50dV0Yrz3c39DDQbOTs1UWW1kQExudv233SQn8zmNByzYyKLbL66sI31WXKdl6ysu/sWt0BQdZCF4dKqF8f+/X3t6/gZnkjP1j8rUsv+fOzfwzBRe8+Hu5z6pRKz8w/QKXEOHk6eQl60iHYekfQbSN3CwWHvLwHHiGqs1itFxdLRPUjNZxAaJK/R3jhT8CKEdeXqcaEwfnttN3ju6v2b1Nw4ij4YdtyPnwmlUyf4YOSeii1dO6Q3SsGmE6qg8TMNVL/PcuO9MXHtV05/Rw8T798c0U/P52GRsnBdDtH+QVTo1RMOWcRVllwEa1MQbtQ1ayLmh70guJ85ZcPT1AdcADOVeLmY5B+CGdNhmtSoWxCKP/ax+wQL7smjBrSU0rHn+wLZdgoa+Y882XrhI3vO6fz9MiMtHlKWOSlJR9V/j4OKFVDwUyKszn0XD+gTX0lwhGqz/Xaxa+ccf8e4M/82j/mjakO5RQHpEUbd35zJiXqyi23UjFlzEFH2+EUt7JyrMSE54vzxmO5ucjwrVF8nf6mlwEUmxf1ZHg/bgVy9bASaKU+9tt5pmQEvSk+4lGwiZuoYIUflANEncGUvczsOrK4MTkUTbZcd+eW/n4LbLtTMrtnGgwJA6ZKTPxaPrTZWe5L6O/K+iOw2Eqo/CAC57srQrsrYQQqXsOkT2kCWUKJUUFcKYfe7MWKJIWUrZRRQtKokiVHYlu4oiRaiULfKe99Pv2zRz7/2f8zzFRI08tgnP8cnl9EcJaELZm9AWCSbsLz1huhH7YBNza/SrFOwrO/9ar7xOAzU56+Y3e3FPmqTItdgS8DHt7KP971lguYJH408vC3xWjWrqxXChoEG+eed5LrSEHDmnQA2HDoOsRZlh2K9zDE9XUEjgecjdooxKAs32srW6cmQQF9CYn0f197ddf6JAwBhZtu0Uqh1ZJeCPz90TVbmFX9+YENP/YFv8Oiq8uajfJi6N58BEJMnXnQmQHDkkjSa3Co0fOUWFLyEj2rP+VNBflsnrIMqF4tMr9E3R7oLyc666bDA4TMjMo/xf9vIL9BAw92vHFfFuAs4rl6+7uIgBDpyWIV1UOajs98UzLHi/WWcDyx/nnUKN959COjyt77knUkAHS+cV23e7c2DGYFOphxsHfvfoV2n95MALnYK8Jz84QLR9ydhHDYHr2hL606EhcPzUvcBFJCqIvRONeY3ezpePWI+92vSSLMFA11z/ukoyMRgMI3vz9JKCoV7X6AGhRgP9xHT1zi00KDl0rmCNIQFLD8BqDyMC0krddEVd6TAX9K2l+BAdVg2Y2Cdr0SH257q8KHSpU9L5q34keGXtxuBFy/ZrC1BlmMCQUqsUQKdsLjyvOEHAhMCNwIO+BMgw1NODZ88BuelAsNHcORBd73whG+9rgaZGJbObBWezuEc1NzAhd7+/y8P1TBB7OZVWmR8KnurP68XzQuFgpEjN/kkKZO5RZK1EKzbnWhwODAVOQLyTY0AoqDscGDx+ngoFZpXj4mhayY6Vw0uYMHO/k98abeS2f4p7RIZmyx4G7QkZxLZdu56Fc8tugYf78/b/P+85dMS2iQx/ef8w9NGqCjvOiw4CFtzivvS3E0Cv8jKpa2bA7XdSyoJNDPj04YLusTwOdGivXR2EuvN9SgwV+v/n1B5KfhXEnFrTaNjXw4a/fvHF51AvDf68pSp4H4rWnypFQy6lVnzCHHjlm61DJGrMbxRYnsYEPnbQ3Vj07M4P7ub4vjbRtrLD0elB3sQXp/E8RB0+ffosCwqfn7s1q8AE2+7xwMMod1nk9+B4ChRkHWwMQN25l0Jv8tHBIObn+kEe7Ofp3bZFo2xY7bZff/0YGy6pHP0+gHPDasuP+e5fJND3TDH9vCsS+gUzV2xB4y1+F8nq0rF3KahX6dChK6hBz34VDaSir/G8WUmDc3vKm5e0McGv/NLrindMuPdiT27eQTLcKhR3CXcnw5y7SndYEQVOp0uct8qnAI922S01fL19fL0ynvp0KG40eh67PQzSKv7KB2qFAe8hTeLfLBdyEwpWwTQXfCUm7YUqCOBf+0O4q5IA8TGH+nMzmFMf/EyTnGWC/5DAl+VnCYh2SZfpPEOAc7wYuT6CDa4bZMO0wtngv/Rr2hZNMvi+ysz8g7os/rNb/DsNPIrOBVuM0SBwU9Z4UEM4GOo/XVL6FnMspW9nchcT0q6lv9VHlc5++zD9mAXHO89nej1kgXirzrShCAMaGRF1negqk7e0ivtMqC7b/+XAPSY4LfWz+vaEDeZffCydS9lwd99V6Tu/GPDrxyI37g8GDPmPD/o7cYAauuiL5n4OuBrc5uyfZUChfoJi3wwDtG6KHY4WJKBfaOS3hxABEUS5h8gTJlBnX1Pj0OMtLQ9GldlgH1Jo8VCFDZvsfdMPXmDBEdLjFediWDBY0iObV8+EKskM8bk6JkidppGy1dlg/c6XXryFDb49V+6p7GFCL2+rh74Zns/qxN+87wnIXF/N6kdti3iilXfTIJ/OyBo0pkHa/jVJqyzDgZSV4mpsFQ7H9p46uRXn1BvxJRGdp1hw76fTTbujbFgUzKd5DX28sNTwRjUZVjNHjphXYS4xfrDbVJUNbQMdm/eiEhlZoe/VWLA7fO39a+gr6VSR4y0UeKStUhv+hgKS4grHlJxwT34PWrETc/DBEz7E3kacG5oStFi0zbGx0nRZONwI2JNojNYKbKP1P2TA79CB+ZZHDAi4IbBUbYIGqQV1h13QG28X8r7sZsK3n1cyY4AJgldVWGOvCNjz13bFOOpnSIsNLGJCa2qLYDJa9dW3bOQ19tJar8c+tVxY4d12ZWgv5vq2ynoNm3A46PRxjVdGOFi6dul/zg6HZ1orVUpKKfDvzx0PMipkOnWrdBMDgoJ6al4pMcDxrXf63BEO3IycDb3jzQGmosijmWNhsPSLOzv3RBgsbDs2UfqVCe/HWQ+O4v4xq3NLtN3HAd4XpQ8r0IsywTECNSyIVJmjjKILv3NbLRls2K90zneBzoYNGg+et57Az61UG93tzwDW8MdOW5xXF3br+M+gla9fiu9gMoEpwXvBnoF5ymVau2Q4BHJFd0TtHAmBkkvX15yaYcFVVfkXBejczyqP+cUM+NE7vsoV3QCfU4IWmGA8eDzRG136NYollYnPmfyZTf6o16xEUT2e//01RnJu6MG7snl6Xkz4ZSB4pwP9LbZEVKaLDQPxW7e8QO/2ntFxYrJgQv7uthfo80Mqt8Kw99TkDX9Y0ciEiwrMl5IXCHBd/1OQgoYsuu71Al/3TJtut307E+wL007aJdLAMbhyxDkB+9zWGY2bmFu7N2kX+6B/Lz9rOvOADSM9640Vi9kg+/NS/UecB1yNmNs7otjQOS7WX5zNhvXRcXfIWWzwiG6b88Pcr1qdLHC8hgH+eoO9uevwOedxVZ5A9W7onr2C90sjYfL5FOa4+n6eT2vfsXC/9S7/0sYCYd09xG51MqQm+fOeVSHDEomEKwWYdx8+FHqgac0ChbcVR/VFMX+4vCItESODyJPTR9/M0GFNvjn9MrrifcCK8lE6BB5Ln74wTod0pknowI9Q+Em8mEr+GQoKdpumFTzI4OT9zZhxiAx+w6yHgsWRcGCg+oIcGluTcsgAe/khrR2Fl9GTzSWgLUuGveopMusw7/iEbp0qGQuBVMuYrh5U9/OlMwZfaMCtKKo8gn14X87s/NGXNBh4vddo5SsaZJ0Zc88LxP54dnHmEM7Vw6KzWZ2xTHhb9qLEBB3X8jnyMoyA+UFtLwsyzmX9XLPUKDLk7agTyD9Phld5u9tuSdBBw2XTnMVSOnh0t89duRcOr3M+6xvfDYeip/nv6l6wYHLAeF17JQvUft44uCqACgddJg78RAsllvCO4Xwb5FtyJAs1Dr+p8wKv98I86cHydhZk3FGwVW+nw/q2s8sE39Fh1PVozdODNGhwurvjMVr3cuDygw4OrHCRSdbt5ICi1wcrpWTcy93UvHx0Y5lj8uNJBjwx7RZU/cOAZ6Ur1MVWsOC6s218+FIW7PcR0hvHvaK12lJ8H/ok/5HTYz0GpPOpmbwAPA/PLuu3U3F+KX6o50XHVw8mX6GT4V2LhVQ86vxBqcg0k4DlAue2BWYQILszrt55JwWmrklyVmhRYE9Mm9EPnjBwGH3RbY8m3Qnf3kAKA/KPg8ePh4aBfPz4Y69nbKifq8vYhz6+/pX/jQkTXOYMtUWMcU5lDg3sOY55cunJevAhoP1pxUNz3EOKumOPQ/G85kwnazRibxjjGmf/jeHAGYHd115h7il4bdIdJ8oEZy0VSi0Lr6d4f/N9PH8ng1mPF7/iQGBMwolTNRyIMpOJbbYnw68ixqSjAxleR3FObXrJhkcf7wxQ0eMn3DL3VIXC/OvnwRPo2Oh2BW87CjSVSFu+c8DeG9zK37uODNWe5yNEpciwObdmZ18pDartfXfMldFAJ3drQPQcE9p0OzzD53HurTWYZi4nwFo9QurPCpzLTgpvJpTokDnece+9Mh3avtaLaOvjPreQ9okxYEPxvueXnonRgMjV8dORoIFw1NpdlrhvteTq1xWg05d3QUMHDRZOMBTo7TTIOfXwZNpmJqx9XS1xTAXvq6mAvsImDvxqOOjtiL7XGGus/v/7ZQ43//A2I2Dwvui/qfUUKJf+9c90I+6jki1PeP//Hi3HxLIGEhOGyF5RrEqcJxtnYlzQ4aKdcqzbXKApjKamF3Bh0TENS9pOKuTX2DzS206F3R5bZXyr2SDfzyQHo/Z5Up6pvkzovBOcfQX9nlD47NMSFogFi46Ii7EgyVnJuaQ+FNrT+7KeNYTCD9tTt4NXskGmPMuHBx3jFihY3GaBRnSjg1cBC7I2FlOO1ZEg72+AzlAtCXiVUtsjb2AeMhxZ6EglYPeb+ek3LtgfBn+tdMa84R0m/rnRDPNmxbZyDRMW6B/WUzSzxOem+IIkE72o1iDvjPN2ae6J2MuoiK/fgQwnBnTyqEaqoq3uL408GSyIJrnIaaJvA9asS1QgQ8BiXujH+y5RruD3yYIE6w4aW4yhl00zLX5hHsmgP+4+gPNdZl1unzSHCcqdu2mH2dh/hyx/2UYQwBXZ9XhHFO7jexJfo/7ic1okdd4Yn4+Cp3yZy/rZsDjvjMFEH+YX1UMrKkUJqGUPBX0VJyCuMmmPlRgHQqy2PDdG04/cTj/3mgLO7Le2a15RIPztNuuP+gz42cHn6KqLBmienH7IhZNtTx/T0dB+e4qdABVevqcsP46GTTl67d5AA7e5fz3L0Sljzd8dDAIetf4qWsokYOCbeo3eQzZ4J6SsrMQ98+OPkKqYJQsWsRU2uqKBSYac734sCPhmOKqJvq4w0Bj5//uQLiw0pJQzwePfqzWR2DsHd9btspclIKCXdHnHJBdC9H2t5v9wgVewiH2ewM9x816jIpsDI1lht9NXUSBjovmfogwFvFb9Gd8mxgYHhyei0qji7IfgxF683qISp2RQoc9BWuHjNLBXbmwnjdIg7p2RlqMUEyzNfnxtRasinw18m2XDuoU5xX50PnXNk5ZaOiRJXvu7CDX31HDRymRDUF/DaT3cjwO1dku3eFPBQarINOgwFedXYduaQzg3LObpcqgE6fiaXQosEFxrGeqHipPjJzlCoeB8NLK6a3EorMqy11riRsAaE1uH0P0EvO+12fFwHQEtF/30a6QJaDqnz339mgqhd65Em77C62/Z9uVpAAu6PshZT2G/Gfl0/EF2NQPufFWlib1mwJr57yvNXuPrDdxv0kNP7c5VOIl94IPgcTUTnNcDtZd9utyiQCQsemKxexTs/3HgRoIYFWo7LWbvi1Lhe5q7l8p1Kty86DM5lUqFp0OXSf+YXNjBZ+YzyOBCa5bL1f1D+Of0airZoKGv15iUJdNhe8TRxmdJdDBcpaE2o88Eh7971rTq4fNbmB8zwBcFW+PIBjTBKFj3SLtE1Y4DlebeH/egu7YOZd2VDoYVB3eFq65Dl0i5/uznwuX1Ts9n0BXhSXx/q0NAiO+nmDBK4t2uqFlCQKrORfffDwkoVvxzTzwPn8c+VbVk1K5PysXYiQzeU+LRFah9j9AqmXE2LBu62XQG+5ya28kmszDMC8vt1qwgkyE/1uOLeAUFaowD1vpVUuCDcNGaZ7iHGsNq/WNQ9gbzDqvf2C/mfD47TzDh/Jv84s+NDKhwC5w7jhoWNj0+qBQCSfCVIqkcAmurrT6BOh3e81aKJmjQodHy83T8IQLuFvzNK0SdImfq1vIygNm0lTIqxACH+iNXSx9hL3q5adVRNPzEY10VdyboC+bPMw8wIcQlUGU9jQknejd0OKNzjp168lQSzJg7Bo+QSaDRn3ztMQ8L9iZaeZ7iZUH3hv47e77RYHX05LdydKPw88E3qZiz5nLretHU3NSYJRw23Nya5qXGZcNt251Oe4YZ8MelOdryJwOsYps88tYz4UX/4Mu/6FXNulsxDAas3V9WvJjFgIG8pHM/t+PckX5q14Mq9p1ek34Y+/v2C4K82G/uvBV3WDbNBIsMc4+VqDwv1cuvkgnnduysV3zBhEThese5dgbUNvGJxb37/3tI1Vn7bWngoJRfvdmeBt+ias5mrqVD/Oib57/X0MHtHv3RwYFzIPJ+0adQ9Pe3eSeZD2QojHBsOtSHc5WdudIsnYXnR93DHx1SHJYes8C5z5uV9BSVFzY78NaZDq9XDolvdKFDxpxYrdww9teuXwo+qNHR9zS1iwwQuM1/JDWGARf2FjzYNMICI/LXA2XDLDhbt85HcJIJauctHqtNMSGHR8VguJwMd6wXRTuUkeHmOsPymgNkWLaKxvcevWR/79UXBxbY1t+/J2XPguWca+/c7tMh5c8xFuMuHRRqW42tfWmwUmv78fcBNAiOEChpEGHDmh2Rgi/E2SBoR6rYvoMFROH23lxtFngPNLf6hdGArO/ZqUymQedTHjOjZgJ0hb0sXJoI2LR54F3kJxZsrxRMNUV76nt17fHPbYnZQCijk3SFxhBBJtyV3fZHCD1UqZ+Z848Jhq1+ijLYV0ovb7ZNXaCBkYjfTQoPHWZs7HfvwNd1ZoK5IvbJjalt+4SNQmH/FQvLJbtCIabo16/z2Ncjyy1XOOHz8neW+apYgQIPgi0CVypSwHWLW9EczvVvofHdtth/55XAY7MGG1b1RLT6qmFe+3uD2GBOh2ht0seFPXTYtbpyz8VHdCg7eK3N6TEdlIJvi25+gc9RyZeYR+iBM/fW9JZFwsHsypy48kj4cDjqsxaHArKtOuYbWRQYv2zdNbuSBn/+ObhJr6KBPrFUYgR7UVdIdV9xNAHKRZs8441I0C+8z3vZLhKIPFMYXXyfDAOczuez98ggaRc8P7ce7+M7E491m8hg+fnBBVcNAtb6Oe4fUifgzNjEr355Jowu+rH6ugITrHKoC+WL2VCaftVglzDmlTCf5iuqDLh14OaRLyoMWK1fqr/5OxvOswrFRHDe/N3bmLhBCPeJW8ctiiAbqn9+VE6xJeDVs1z/KTsCvEayc7+4EHB2Lf9QtTMBX9fvlsmRxnOw8V7+RVkauEcqhMbgfemRObvlqAAdOITW1uuqNIiaymjzR9OPLZOUKyZD5NnZN8l3ybBH86Cg4QO8/ocHVc48ZMGY13UKfzIBO4e1/j27TED2rnehIttZwPkopSK5jQWu+ovk9A4TkP/NSuoAatqSqNG2i4AjFlf/yaHPevOa79NY0KpXz35BZ8FjSA258RznzJ5H97tQ+ZfenR/JLLix1cJtPeZ9rUtWMylvqcBjLXJzeRMVujP4YsiUCFgYtKMx0GBOMO+d1QRsNqhvvr2GgPMOf3o0hulQnKSoex573oxnuMAocIGxfNQmxYgLfbNkdxETLpClmk6dQ79Zn6V0vGLA0xhjPrt6Bjj3PI49FkkCvxvu1i5RJCiTXbtnUpkDT3xFrE6o/f89yYHSHTgnlEo+VF35iD1Tu9sqQpADa3NBq1+AA2+t/s1vx5zavkxQfg9qZlF9swKf716lnSsbsAfl1FZp/5zH/GiQ1uSGfWSeqnI24xcZtlzQ94r7Q4ZzJl2Xe+TpYJXtEjOJHlWLPt2wlg1Xydv7Q6TZUGCrtM7oNAv8exM2bPfH69OSaGA1x4ZFoV5Na1F+T0uH+EQKnHh3V8IqgQL/KguvjWeH4Jz8zu5Dw/9m3G+UosPqiWuNczgXY+kPlQsVuECcG2y8jQ51EE+rFrGBrHurNpaXDXeLbGojgrHXXxNw+XOODUPCyVk5bmxIoWZ36qKiLpYVrfdDYF/Mp7jDxSGw/9WLg3G1BGhsWdSchWotMhNNvcoCoTsJq+OTWfC+fcc2VezrAioeVC7OU5PYX2d014RAlmu0tDpqtOdg89hbCvArBKddRK8KVHHvYA7L5BQZbpCnwOSp54+9z1BAxc7cVAm92U6fyvpBwF69T4PKPwmYXTbSL3eMgKiT2wvdjhIwU1Bzr/UvFXJObluaMYfPEWu1pyGFCT/2DaxJQg+SYn6Wn+OA5pbqf4Oo2VJpYmA/7smRcR8nVybURVkc5deigry34KQYet3bWp5/Gwkyz3wbMt5KAp/uLkUjSSa451dW31iD57ptx4GP2GOUmp1exeL8Eq7cz/vmDhvYLwOsKUVsqDgvaCi3Dft8Cs87x+3Yg3zNzqQ9IUPop7dFyY/JYHz9cfIk9vpbinzeTeiVsrW63CdMCOzybPAuZcLXd1OLj+GcqopzvfyBToG3uVvzaXY0wOQb/twC8/NyuwD+eezxVB3nQXweOhs3/dj0gw7nN5k0nvxJB1W73RuFB/H1pD7Ysj8zwVNLY2AM3+cpdi8/B9/31x8k7XEvnOd9zc7kw0x4vNKl+zPm8TZWb0ctGvNd52vhZRY0nFJ/+SueBUs0Twdl50ZCYcbmKk80YnuvYgz2S0Z+S4kr9st/8+RqVwcSJBJCY072JLBdlP3gTzHm384W2d6HdCgZmpBb8poJHQHRueWvmOA6K0Ali4cC7cDhJ/EioVAyC/LhP7DH/nGX/4I5+6H3xS79lhCQq2pT1HkTAqpF3TvmH1LBTSTnquQjKkw7aLD+uDNgajIizu0gA9oDWa92lLPAye05WbcM59PvLSxtNRZse/nDThO9qBeYz/OdBcJtfsQjtLwm78q2Ni7s/Nmt8gTdrPeOmlPPho6Wm0f217Hhl5QsOyGaC6N77ni1RnHhVILz4IA0FYg3LzZUocdu0bpaOAS8Xp6vZ4o9i1b7JmSfMheU7I73aW/mQnARQ+vWMJ7Xl6WCyjjXf73NvdlNZkLsosqpGey9Sz/M56TmYF7r1zomkM2ErNt9xm+Vw8BjQ43XUtUwCHo1u1iumQwN0vDibyMZ9LQNJheTsI+X9tPeo2fn6/oz3nJA5ke2juUbDvD3yeRtXkIGa91U/zOiZEgpzDmQfJAFWw7s3pmLJkkeNjrQhntJqM93bwcB8pqlz5LfUeBiZemHLe0U8BH5YXDuFAFBs+0iWScJaH+0aOPC4v+/9//1qgDUQmPl55ZM7Jvtc3FiqI7MrKmEDRf22jgLfrXmwoxiyKXGYTIcf+G4tXIE+6pJM/E5DHOxoLZDfSgFrArXKCwvp4DitvZxzWcUuGJjFPpKiALm16LMpVD57JsPb/qFw8UL6/SW+oeDlph5LLubAzd/OdSs6OFA7ML+oall2G/vS7/sQjsSfiX1ulBA8zC/fToqWJF9KOsPC3InQ9TjUDGfwhv//73mLsrKmQfvmLA16ufdf0IElEmo8o+gIUmGla5GBIyavCG2GeK+KimxEw8hwbiJgNe2YBKYpVaCcgXmKenZ+tUoPfl3xMkAAveo2s3YswQcmg1SlizCXtNso3b9HhfYo6ON1y/heflro8OJZcF0hlmiaD4T7jGavWvRZLUU9vx8MOQtTPyAf8GQnrvYpH2UBLI79v3IHCHB5snhyImrJBh19C9Vv0ECF9WSz1ZPCEj+WSaR8Bj3q0CNv7A+Gz75Wqc/1mWDtE65Bi9en5IfO3/XdXHgrrOV5aE2BoQknt/l2sGAgNbfAdq/guHNmYiD2eiB4TxVEw8amC4SWCZ/kAa7WPXSMU3hsP6NNGsSjdwxon7LkwBbv5MK21G/DgPNSCYbqBttik6ipKATRuocJvRL9ZzZzMXe63DrmUkRE2752OvaFWI/fDvHf8+NDHdllsgfQisd/KxW27LguvT5Jyx0rpA0/90uDAx2cDot9oaBH7c977U/AaHqnZaSp3F/bD+69wj24xpv5X2vsB8P3xvr08X8/cqpXE8G87e6P024/D0TXrZffTDeg7m0nX2WXUzAwwMi/c73CegYHba9u5UML4WCtDfuJINXg8rt//9+Y/syBfNln9hwOqgwsaeKBsmmC4fVqmmgdlc8X3WOgG+P2jUpfwko1dcwycPeKFqaxljVx4XPSds9bXA/3FaovufnwoS+8qMiKw+w4Dnv5SlxNPq96TWpPhYcMupK29vPgq/etVUxVWx4FHzaues5G6y+adl0HGOAyRPejQ+OMkCm7kSR7BkC/Ge6yxfh581R6LaQ68UeFV2w9u573K+K+cOrDmI+mJIMOYbGO7mufneNCY9W6NYvS2bC4gB1uR1REdDgMudYGhkBw69mJlMoYTAFwwn86M9D/RP9KgQ0eFDaHioT8NRhIEMWe13+W52iODTu2qqD0qpcaLkUHZaKkuI66zZtZoHykIsfWQl7QD67Q/0d5kNn8WbLVrxOHUVbChvZ4GuqZ3SkgQ2sB02SZ5axoG4uwP0hOpF/LFO5lgrXWH0nv9dRYXxSgDNcifP/eQnR/5IE9L/vb3MTQ0HifbOzaUIorAkKT7tTQMBukSer++7gdeddKfKrnAbzrXIyS57ToLo+ecvZxxw40dbT4/WEAzM3Rf4mOrJh5ELmG3VUd0Usj+JfGtyw5oRloc46pWI1zzlw2iGMZI+SdEsEFwMHOtqSWBJo0fY/C5uXcOHirO+kvTgX1JdXR5wK5MBW2uvjJ85yoK08xDtRGfvokfbYhM3//9zIgY0f///9sz67hFo04eHqVQMpHKj8ILjjyzUOrC7YkxgWzoGaRVaG51HPnaG8r4RJsH/dP9Uli0ngzjmT+qufAt5X9X6t/kSB8MIdU9YpVBD+zmtrmUwFdulNizMH2aBp8+107gE2aMPVBDv03q8PYl892KCcfufUTyM2nmdqoxAa2Tx6bPwBGzaHOlXIolWle95YrGQDY7hk2g6tq7XT+MbDhriM33JdmOMy930MZ1DIULzEcPVTKhkcvexkvvLjuQwhunP5cA76D7mImdLhZLDV0NnddNi64aPkfS0CTPZNVLbswBy/L3Oy+hYTjj8YeCaJfk7qtfn/92/ubjW7KXWKCdmetjqd6ixIieZ99B21dFdf9uwIG7KXXbTYiUpVbT6g5UKDf7KyfyxcaXBxfDNNDPOP/7jhsu2Yf+6a2wqF3qeBeJLgT5Vi7LE6a8s8EmhwuWN1eOsVGmTsMix6sYoFUqkXC3+gc+/jpb/IUuH3DolVinJUMN3F2ucqzIWblWvV2tHALL6D+7wIKA4MVDuK82pNLj04HN/XodDMvqEtLIhRHJrMDKWDGVnJ3xyth5bnf9dQ4UilSFGUJBVuTTTcekShg8DJ5btiaHRQnghzX2fBhHWD0dPbUEbiHynpJ3hf/C6d2lzKBtudfvvfuNNBRtLQxxstdPmnXUkjgEmr5qGhS+96PpEKZoJk483p+SAmDC3TiCvvZkHoGL1t3XsWkFaNhuS0k2FItpIh1EWGr5s+iiY3hMKNkTeq4qhinN27Qvy8vk9tnP6sp4L5Z8clZgo07Ivfwmexz12YfZ50ZQr3zrcuEfVpAg4nnL5cJc+B6HvLJfgVOTAwe877uiz2+DPZm1JkWFAdo59p/hH7/nHvho3ou7j6Q58Z4UC/5BloxAqHt2dNXtfjfQv1+pT65jAbnIZrQx0WM8Hrkv2J1SJMIJtrKT8yIOAkJ2PJIXRgNcfYRRTnGC83fY04A8SLx2v7CQ6cHxXdXMfmgFX/r2t1ZRxgqIf2FpRzYG4xJ/OdPgH9V2+nG6EXXZYpifmwQOHJ6mchKM254MYo9i3XuY4LeSocaLZ76vhEBXN6j59fMJ7L2gcDWgvXqNAWYq1th+do63PBSNeleD2nb40rooecDQcjPxGw9RpFjY7+XPlZodSGAZyoiFdMtPTB18VtMmSoNZi41IOSxUveqRQzoFtoRb09GlD25/UuHrwv0zqpDughkjzfyzYmcNnxkvydTDia9qnfXwLnfYHElCHaLDgzy3pFhqccme/r0JX6l7zHP5FAxRrUl30mwftD96uHMjHPv5ib9swgA91kUPXwCBvMGb5GjpgDi1guCTI76fD3aneqkw4dDL7fZh2YCYXp5XksvdlQMOzN8wk4QAdZIZd5Cj5fa0KVNqy+Q4Oyw9WKpwppsN73+WfhQSpsavUZaBmgQpfUulnLAiaYX3F3sUdVG0aWn+WnAn/ptxVXBaigyC+48elpNizU1rVko0kVc7nVq7nwO9Ll4S5JLgjaWPxLxp5hIQM9v9B7y54ysg6Fg0DX4rnlnuGgU72s4W4DDTZZ67SXN9OA/3R2vcQhElwgh53/gB7vLdU0S2CDS2DIvwY0dLPh6c/mBNw6EKsVaUFAmGPuuQpzFvSpHeE0o341J0T/71sNDkFK8m5MWPTXxOqwUARImVW76iyJgLZ2s3zSUAjw5B7s2/UlBA7FcUj713MgdJtB18kNHKg/+kBwURrOu2jVO5noHaMv7ZXfuSC/GJ6OjnBBXP7QhwvLwsCnR9M5Bv2uLcZrNs6CgChFPYMxFkReTYyvdGSBw7Ncs04nFiwrH3Kj91Bg8Svhhy3dFDgtYNWWrceBp8k6nGsGHOj63lxjJ8SBheX03VtRnw3ixQNSBOTlX7WpksZ85OsXwiURMNLZ3viQQkCT2KN3i+vIcDpj/0UJ9JpOhM1FnBvqOS7PdNEHG90S2mpJ8Io7UXq4jgSrNWJz83F+fah4qnUHfT12gN1zmQEbCcsmWjwDlm/Y5Me3mACP+vfpG9EZY+LpBy8OVDisFG5Esy26gy++pMNQjdnXmxV00FCe5GtYwga3mNm+zaJs2JYUJL1anAD+9aaE/VI8f6YbPSowN8UsvIT9qMATLSn6XRYkbE0sfIWeePeubt//Pzezx9W3zY0DDb2/Uu+b4/vedMn/ITrJvZCjOkaGYaWi9+qjZGB6DQaGSnPB7NLf/ucotW9qIdyKDv3b7UNOW9PB700P13qWCa8jlAWd/jLBx+2yeuodzPt3aAXuRRQoOZrhoraRDSdfxl1V3YD7rvaDRV8IF9zePss/gUbKOpIWmdHgePQ/7yLU6ee28RbsT6dKP/SKY39aEt733JcgwT/9kVIFJglqPK9WpIliz9l3g88d50PDvi3s3gNUeLnCskl+P/ZFBWWVRkkO5GflzIxIYz5Y0xzldy8MKuQMokLuhkFGkGnEocBIWDR21jj1dCQQvSs4njuokD1/LHitNhWqj9bU8b+mw9crXyZDa+mwIJYKC6fDocnCmqWE+pYcL51vZILL9qW2JU1MqNmdapBxiw1fbtzaLoJupN6edBAKg/DTGbtvC4aBXW/ZyK90FgglDUgPZOB9KM/M/xfIgKR/Ap5bUfeJSj4enDvvlff5k8RZ8Cb0EmuelwRH4uIkDvORIGf6Ydn9VBYEf9tl4JCGz/dfhaV1ZQQUbH5xc+NTzLOtfsVO1HAoWJg8ZkMLh9qfsuvevg2HTQ1Nwhdbw+G0T6B13G0ayIqlBF3OoQHrxGY3+xE6vGHd8WpHj7ATf6Q8YcKwCTM64ikTKnO+xY1cwtx/Tuzfxzgm3BeuMvi6hwnd1/M3K+G+TCx129ePe1rk2FVLaQUqyPVEeVCWsKBRqzJaB+/LoSdrSr+H0aBlvuejeigNHOW3HJZcYEGbycerloswD5eU7w3jEnBiipA7gf7Jv93BfBoGueu3pCwvD8Nctn6bwg8KGO4QrmpAHywtipgaxOdv7fK6kC9c0JezdSG5432PVRp3RekForuW85PBOS3BbJQP+/AvqRVzsWy4LHHZrvsiG0TqtS3E/xEgZqV21nOBgH3vQnxuMcPhs7WzoSg7HE4mMA6vdKJBbmiuXTZqN5rKlwNM2NwQmrwBvbmEPjeykgv2/hsdUldx4e77RbVmX8gwJe+s3TBIBoHRE082zhMQkbEpaAr7xfIRy8CDzDBYxkMKUUXvZnMn9ojTgDfu7AvJ/5WT371+jALHuLqtG0YpMJ1maG72NwwYnOJNn+bCoNNLskG6kwbuGyj1tV14HmRat9z7TYcTZZvY6RN0yHa/Z2o4zwW+0/aV61CxU18F4jxJsO+3VcSbIyRILjF2F4pjAOlBtWxBLAO0LhEr0n9RYbiOo/J9ggr2EUnV3kN4DvvpZStxX8k53pk9uBPnZL5A1g50oEQn7ZFmCLx5uOARrh4C5s5LJ85jXjjzW97WZwnmxBvu97Wd6MCnVOtwEnubyOTv2bTPbDj8TYJvHnvY4QjNfZFbsOevqs0pQgXsnWqHG2nwybB55zTuF/v2pWqPq1ggPC3mIYM+TcrRFfjCgKvUbbZ2gwwwlJaoE/nGhN+1l8bPfmUCke+5Mg73zeKXi24ttsQ+MRD/RuU3AYF16ibMCcxHfwUfdzRzQPPlm8WJjRwI3DMg9bOYBVmmeQWSj1jA0DfRf+RPhoQNZiNH0Y+T45e3nKaAfW29ntQpCtSkOohvxxzQ1hkb1dXFBCiwWZRWzYZTt8dWZNSw4e+RcEo15h2Zb/8EAzDv3Ekjky6coYBmxMxR4iwFjOWO5PNFU4B3dUv+5SgKkGQz+IMXqEDitSau89Dgrdrd9b8vceCkac5x8XgOrK0nLnwnseBJqjL9Keq2kNjOp0vA+x8WakfQx/YnOJZ7CdD4mOutgU5pUdbf/0qBgYXWHTvQtoCJN2PYW0T9TCU1ULNMmXtpN5lw5GRwcG8O5trlQeGcVBqcEzraGH2DBl0UqewbW3G+9zOljdBjX/c6vrhOgd6npy/dS8HzpdYlVeIYDv16+ecIp3BYcG7mMdxIgavlL3WrNlFg0dT3l/cq2RCcdtFzBt23bdneJTtxnh5Xqm/+/+dNU0dpL03Dge12/vU7k3BY4VPCc4I3BDKMksNs+ELgodpyb3sbNmy9cnZnnDUblvuv0xVfzIZo4Tz9P8JsIC2OuNrzjQW3Yq8e3PaVBSKbz7b8xvnTof8k0CmeCTzrP/VZjbJhPglWj2DO0ncRmOm7yAGqq96wOvrvp8AzQhR7gaCBWQVaVvhc5zPmpEXvJCJ87zAh2l9u6cY8BsR/3vIpAP1J+/BLPTAEnMZp41Xo4Qo/Ru+6cBBV2RZ4CJ3eVdY8m4TzO/7A5pLkMOiV3Ht+RCgUGrRsbHiEQ4F5cAcx+poA6aU060u1BPCeLG6ptWZBmEWyrylqbGxMEuMnoP301L0ZPgJG983/9fSlwEeLhxuWoi3PP/xYvoUK4ufElwSpUUE++VmNnjkF6LKNitw9FNi45OZ4SxUTvO1neYlKJqRb+Ty/gXP/Usuu3624B146RANjFxs6423Vinb9/+8Dkbx1xxlwvfTmtKwPAygSw0+2T7Ph99jJMokZNjxvSpifHaaCT641uQ/VuMrefq2UBPdvZEu/fUYCEb0KWnFlGJR7j0oLoccnbuVsCf///1kzJoujWqPxJDMNnH8nGIlmmlzY/ylZxmGICeebLLTNvzDhAm9OND/2iJDxn6JVOCfCxGVtl8QT8LaMf78eavf9aXVUMAE3rcwras7h651wS7jngPvrX1RaHKqwy3fw2T8SdM2+W5szR4LdWVY3quz+//2wk8eu7MU5lXItWUqOAoVqoc2NshSQYF/ZsXkbBZqPqpRv1KKAb53BMUdNnJtp2y+2bgkDraLBnDVaVDjNp1diux174K7WlH5fGvgwo79k+9PA80G4/Yd2Esy/EDZI68Fer1aRUdhFQKZApdAQeoLnqOM23CtvUn7oZ6HmNsWWnv1hIH3rbok3KlqVlHHibjh4Gd5nKtwPB86/+pcH7CMga1XVA6W9EZAvl7kqUp8JrSdPJRCo0iphfplnYRBwRI0vH/fcJktTZukFMgiFvN8wd54M3NERgeg+Ouw1dPwZ3E8HK+VYD6I+FLiXEzxKa0Ph6MtnYYPKbPhzIl7DV4UNYxMBKjO417+l+NpPtISD3L6CSB7si3sX3zopOkkAzdNto6wCGyxe2SyXQ2vzMmRsdkfBfcNNOTdMooCSS6NuwblG/pSxTg89FHtJ+XUKCX6rPz26/xoJAkdkJPKP0CE63FlsN2rNnyKyBvcT31PZ9/6osLDtxAF8P0s1yjrOoOIvFrKEw8Pg2PmIbCo3DM46b7AcMsVzFzxMjKI2BruX0bkcsKk1THQN58DVGd7ipd0cCH6dm7XQyQEN+jsPYzku9Mz/4DFBaeQWM8KZBfm+YXO7XFiwVNLn8cRLKnygbjBd8ooK6xrHYodCmfBy7JHbY9T2VnV5fy4H8j6km63N44DLMYltazoosCpoqvVJOwV0nM4cdI9lgeKzppIS9Kzmk451hWTw03Zf1FVAhm8XVtg7eBCw69/ihXTU9WH5AaHvuL/zzhSODYfBiwZW2EdLMljHyZozLcggy1bIqoykwTX/JnLBeRpcst91QM6CAbqTyzw3WjFgU2/r50YPNvSRvm2dwr7tcu/0QYNsJjD38R+3zGKCgkWdQt0gDfYeUj39Ag2DK3UV9WywuT7j9aAO84qJQefZGDpUKhJKBujAN367PvzcOw/x0zVeU2Hmn+yu3gcRcCOBPcN5GAHFfYor94kGQ3B0xEtddPxKVf5tBcxx9VcrD8tjz34mG2Tx/797UZRbPVChxkwfWjQNOPcW8Xui+l7WAf820ODz9JFn8Uo06LhkpixrwIbrgcJB540wt5srTtiJciA57OPA+BIOBBmJnnygxIF7aoczPqKsNrnO1CQm+JKVbueia0RX2bXEscD2Dp9n0kUWeE9VxpXj51zLlLW9h07XRC/ns6dCskPQnrN7qVA3yObT+4o998aNVVe/U2Fj96fw0zwcaNXYcyp7gQ3uxUGzdiEEJLRHTjXhHBnbK1lZFYj7fcOANzuIBeXLhrtFDGjw5fYpSVV9Gmyb7onnXccAmfoAvwUpBpAbMutjVSlwPio2pEuJAkVWdTl1mWHAn/VDMB1tHs4xWpbCBHvtvIXg60xY7vn8uQc/G9ZJcsWrUAUv8cdK/TTYsXOUZoWutNHe7Iz9Pmr2w6lHaHbd7t8XfOjAOxJrWu5LB+rhhq6HDOxv6YvOyaJ5qSGGr6VJ4Lric/QVWRIcy5x+IoZz6eK5k/IRmlSIDFD+yDhCgwiX7MoPR2kg2HON+ieRCmktJbHUZOz5JtAVtoWGc3v0PgOtk9F6cbOeBWOe8S//oeLRD6ZczpFgQ6QOYxVaeI7juCDLgjlVjQtn5FiwwMPpPLaWCs9geFWfFBXYurcrztykwNJVjZkL+RSwSnBsI/7/vTKrs/xx+ix4J5j6KGmeDs8E7o67L2LA+6RaF51MJuyp7rz9N40JvZa11Sr4fP3y3On8RY4JD2xWSffqUeBpgabgU30KTCRsNJm6QcAmj00JrdcJeG70PDLlGBcWPlzSfnSUC9OJoRNsMheIpPi1TWFcUJpfOaWXgtct8l3IulScOwOzwtNCBJSP+2imCBPwyKTmdx7mhnQPKc8RKzasLOZJMMlkwPzAtpSTqQzYVrj7xqR5CEQOGt/faBUC8qu3XWskceHmt8aKbHx9ySrr4oezmMuHFc8dQh/+4HGoMqCCtZzN3V27qBB754nkJYsI+PJSYdrGKgLkm+Tzz5TjvmLW8DeiPOVUtbdJXPiX9KNMJZEL6yN2fbMtYMER7+nEuf+/j/dtU/ba66Eg+XrzXHxKKKx1OM/UN2LAmeVCJY+NGaBz6pr/ztUsiBq7JSooyYK80268FyqY8NbUza8ctTcclRHAXjjsLpBBwT1f+GTlGGAuaBy9ffSCKhVMtHytSWsIOD6Sq90qSYDw4mnZyDycR66Q0XSLDN+Zn90iThCg+iT/I92XgJkrlJymvzRQsBMkOczToKwrwFsb51P1bc74VnRgXUCQSiIFZMIfXwxF+86HDG2xwefnQcrKy9YkoF++xlOsQ8CK4g4BsjYBpmujj2yMp8Hm0GNN9Es4txYH263PoMH37MM7PNNxjkTLXbkVEAnPrWICLM9GQuUlMxffJSRIVPzUShUlgbFv8IJOJAs+8Ejsf4a6jX1KCbJhQfHkpF8yyop+YZyO/fNhv+77j2iW8qYVwZJ0ODDi2pm8lg4W6sL3hbPJ0D7KQzqVRQaxW272/3+vK+1vgx4/Lwdiqr3tbuI5XHAlGk7r0kGMd72r0hALeqhimk8xT75SVbnUf4cM5jPX6o2LyCD+xWXBUTUchNhGf9+phENvElMzxocEbb7QOHyCBCmbtC6KLuUA21xxaliCAw5ptvYexjRI7Gk9krKbBv7egpWROC9+f1/yogGNkm6skGcxwMfxZKAtlwFWf5KNbTD/fbhj9MFWkIDBNFLknTIW9Mb5hH4sZ0HpuITZxQsU2Ct50iY/hgJuSTX2332pcN+msfPqSSrku07sa85iw7tnQXOmaPSkp/N67TCIOhXQsxZzt1LJ1rHZdCaULVRJBWcwwafw9eyN7jBocNq8UborDP4DTMLI4g==","seed0":10000},"provenance":{"claims":"all new numerical results computed locally on Python replica; external sources specify baseline, prior experiment, arithmetic and harness","fetch":"34 files, zero SHA256 mismatches","prior_artifact_sha256":"e931451c8e4b3ace70dbcde4910728e086fb292489bccaab0bf9c5c3be72fe14","prior_decoded_code_sha256":"8d871a6b4fe3fda47404282239939f558b1656a651fcc03eb86f1d4f56cc1b3e","run_py_sha256":"54d19a9194ebedee8b947dfaaf8626b1e4ef6f7d1b5aa12e738ec01a5ce401ac","sources_file":"sources.json"},"rule":{"alpha_effective":"alpha * size/(size+size_scale) / (1+(gap/gap_scale)^2)","gap":"log(cand/s2h)","price_filter":"unchanged TellPolicy/RealPolicy Gaussian equations, posterior odds and soft=1; qm_k1e-5.json unchanged","size":"paid integer / previous paid-side reserve integer; X for pool buys, Y for pool sells","update":"s2h = exp(log(s2h)+alpha_effective*gap); synced=True; recompute same phase/qm lookup","when":"after inherited retail bound update, only if cand remains on the nonbinding side of s2h"},"runtime_dependencies":{"new_runtime":"Python standard library only; conditional.py plus unchanged supplied Python policy/reference modules","new_third_party":[],"pinned_baseline_files":[{"embedded":false,"path":"run.py","relative_source_url":"solved/run.py","sha256":"54d19a9194ebedee8b947dfaaf8626b1e4ef6f7d1b5aa12e738ec01a5ce401ac"},{"embedded":false,"path":"par.py","relative_source_url":"solved/par.py","sha256":"d81d358cf2f54303d120da34c01022e62428c2e9d6b1577f8c30099b2bfd1483"},{"embedded":false,"path":"replica2.py","relative_source_url":"solved/replica2.py","sha256":"6e37b4e61e1ffa5ffb1e43912ddb8659105989aa986eb48fcd1d7608f8dca685"},{"embedded":false,"path":"evalpol.py","relative_source_url":"solved/evalpol.py","sha256":"27fa051b1dfc3a5da824596c59ed5140823049ab05fd18185a4ece1995d65df1"},{"embedded":false,"path":"real.py","relative_source_url":"solved/real.py","sha256":"7fc9f4bdf9a9af094ec2eb0e9a8e8eec8b343c5226bf0ebaa30c798785cb7c58"},{"embedded":false,"path":"tellpol.py","relative_source_url":"tell/tellpol.py","sha256":"6e62a0e070d9778537e746438f03ea7a4b44cb1d9652ae13702b801997db5f6d"},{"embedded":false,"path":"tellref.py","relative_source_url":"tell/tellref.py","sha256":"72679df55e2ba46a903075543654b685e7b2bf86dfbef3d5122dff6368d4a4f2"},{"embedded":false,"path":"pol_mid.json","relative_source_url":"solved/pol_mid.json","sha256":"efbb5ee102db4d312f64565d9bf7232b6becbe02b624164f744a402bbbf2983b"},{"embedded":false,"path":"qm_k1e-5.json","relative_source_url":"solved/qm_k1e-5.json","sha256":"5ff53e42ca87390e5f65d1caa3f7a480e67a8212fb0670274dfd562b05ba1afd"},{"embedded":false,"path":"tell_qm.json","relative_source_url":"tell/tell_qm.json","sha256":"ad382c07e6c2b3a5a8055ea767e140b7461105f29dafee69b7c1766c90d0634f"}],"source_base_url":"https://raw.githubusercontent.com/gtmcknight/amm-sim/66604b3426d8e97a73e2c39940b9b4dece51cc73/research/"},"solidity_estimates_unmeasured":{"additional_gas_per_affected_callback_estimate":[4000,12000],"additional_runtime_bytes_estimate":[200,600],"limits":"rough implementation estimates, not measured; no Solidity build, bytecode size, gas peak, OOG or engine score established","ops":"nonbinding retail branch: paid/reserve normalization; log(cand/s2h); gap square; rational shrinkage with 2 divides; multiply/add then exp; existing table lookup can be fused before returning, avoiding Python double lookup. No new truth-dependent branches.","state":"no new persistent state for pull beyond rival estimate and existing tell previous reserves/fee integers; alpha,size_scale,gap_scale constants. Reuse log rival estimate if available. Wrapper tell state: prior reserveX/reserveY and exact bid/ask fee integers."},"status":"complete","tuning":{"corrected_baseline_diagnostics":{"false_negative":111,"false_positive":375,"first_trades":1800169,"misread":486,"misread_rate":0.0002699746523798599,"price_callbacks":2802972,"price_error_by_time_since_pin":{"0":{"bias_bps":-0.0004052910904826331,"n":1614437,"rms_bps":0.37515272128615984,"sum_error_bps":-654.3169322455108,"sum_squared_error_bps2":227215.15995108962},"1":{"bias_bps":-0.011794985220034611,"n":265185,"rms_bps":6.99192990522666,"sum_error_bps":-3127.853155574878,"sum_squared_error_bps2":12964121.317397693},"16+":{"bias_bps":-0.1614983573595447,"n":40531,"rms_bps":12.829648797638914,"sum_error_bps":-6545.689922139707,"sum_squared_error_bps2":6671398.071502078},"2-4":{"bias_bps":0.041295396345999595,"n":454826,"rms_bps":10.846712832430935,"sum_error_bps":18782.219938465612,"sum_squared_error_bps2":53510815.26230312},"5-15":{"bias_bps":0.027444866654635882,"n":426840,"rms_bps":12.752760279011865,"sum_error_bps":11714.56688286478,"sum_squared_error_bps2":69418224.78823613},"never":{"bias_bps":-0.32106664215776964,"n":1153,"rms_bps":12.02974356125509,"sum_error_bps":-370.1898384079084,"sum_squared_error_bps2":166856.08386244072}},"price_rms_bps":7.141604741605662},"fixed_gap_scale":0.0006,"fixed_size_scale":0.002,"n_each":256,"paired_vs_corrected_baseline":{"0.35":{"mean_diff":0.0003275272420744102,"n":256,"se":0.007364533130175156,"sum":0.08384697397104901,"sumsq":3.5405762743253524,"worst5":[[61435,-0.36216336679723327],[61315,-0.33969823244615327],[61507,-0.3196874862172763],[61321,-0.31257126802370294],[61420,-0.27364662899231007]]},"0.65":{"mean_diff":0.008161423546229951,"n":256,"se":0.007906215823267917,"sum":2.0893244278348675,"sumsq":4.09759033306737,"worst5":[[61321,-0.332580851641751],[61435,-0.3238414869998678],[61469,-0.26776578435112697],[61502,-0.26631919443093466],[61401,-0.24674812863850093]]},"1.0":{"mean_diff":0.008822967432809747,"n":256,"se":0.00877603042217026,"sum":2.2586796627992953,"sumsq":5.047709644003632,"worst5":[[61339,-0.7508241404558476],[61447,-0.399349082293611],[61378,-0.3894982111346508],[61552,-0.3134053970569539],[61435,-0.3047724901100537]]}},"search":"only amplitudes 0.35,0.65,1.0; highest tuning mean selected, no filter or table changes","seeds":[61300,61555],"selected_diagnostics":{"false_negative":126,"false_positive":388,"first_trades":1800778,"misread":514,"misread_rate":0.0002854321854220787,"price_callbacks":2804231,"price_error_by_time_since_pin":{"0":{"bias_bps":-0.0003339772301784501,"n":1615839,"rms_bps":0.43190518628837427,"sum_error_bps":-539.6534336343166,"sum_squared_error_bps2":301421.9840710764},"1":{"bias_bps":-0.013878409088811768,"n":265431,"rms_bps":6.991706281450462,"sum_error_bps":-3683.7600028523966,"sum_squared_error_bps2":12975317.517758505},"16+":{"bias_bps":-0.10356476126675379,"n":40515,"rms_bps":12.860835346613984,"sum_error_bps":-4195.92630272253,"sum_squared_error_bps2":6701224.991702173},"2-4":{"bias_bps":0.04207407134147718,"n":454990,"rms_bps":10.844068343753325,"sum_error_bps":19143.281719658702,"sum_squared_error_bps2":53504011.36283436},"5-15":{"bias_bps":0.010695283056938221,"n":426303,"rms_bps":12.7549278705595,"sum_error_bps":4559.431253021935,"sum_squared_error_bps2":69354461.32288267},"never":{"bias_bps":-0.3237933326643024,"n":1153,"rms_bps":12.030629187770606,"sum_error_bps":-373.3337125619406,"sum_squared_error_bps2":166880.65256764463}},"price_rms_bps":7.141117250426252}},"verdict":"negative for promotion: below the +0.2 replica integration threshold"}