==⚠ Switch to EXCALIDRAW VIEW in the MORE OPTIONS menu of this document. ⚠== You can decompress Drawing data with the command palette: ‘Decompress current Excalidraw file’. For more info check in plugin settings under ‘Saving’
Excalidraw Data
Text Elements
Policy space ^8FJGMy1e
VF space ^3EgWXwXp
Possible policies with FA ^E2OSM9vo
Embedded Files
cdf4650d7e2949a536bd92b36a4d328a2a01a1a9: \(V_\pi^\gamma(s_1)\)
67a49bae87db2a4505a36d9250b1f19e7d0d43d7: \(V_\pi^\gamma(s_2)\)
b2f9be3e1c306e282f96eef64a47a822fc831a3a: \(V_{\pi^\ast}^\gamma\)
9b5d3c6ad9b2d89f564b1c70667c1a7ba6334a21: \(\pi^\ast\)
7c1a01964ea632078952aa0f51624ab18daa2e52: \(\pi_1\)
1b5d235d4323c28f46326f013784a3a9932ae722: \(\pi_2\)
f4e92be0ade0d267e968d6a69de382c0b549220c: \(V_{\pi_2}^\gamma\)
33cc059a6aac42e1614a1accdf81ca99e71496aa: \(V_{\pi_1}^\gamma\)
%%
Drawing
N4KAkARALgngDgUwgLgAQQQDwMYEMA2AlgCYBOuA7hADTgQBuCpAzoQPYB2KqATLZMzYBXUtiRoIACyhQ4zZAHoFAc0JRJQgEYA6bGwC2CgF7N6hbEcK4OCtptbErHALRY8RMpWdx8Q1TdIEfARcZgRmBShcZQUebQBGAGZtHho6IIR9BA4oZm4AbXAwUDBSiBJuCCEYSSIhACEAdQBxIwB5ADkEACkAZXwAMTahNoBpNNLIWERKog4kfjLMbmd4
gE5kgHYAVkXIGBWeTfiUzcSAFkSdvYgKEnVueIA2AA4byQRCZWluHkT4m7WZTBbgABhuzCgpDYAGsEABhNj4NikSoAYniCExmImZU0uGwMOU0KEHGIiORqIkaIAZjSXpsGbjIDTCPh8L1YCCJIIPMyIJDoXDGvdJL8IVDYQhOTBuehiKEPsR+STvvNmHk0ACipA2HACWoDlrQeCdRBicI4ABJYia1D5AC6Nxp5CyNu4HCE7JuhDJWEqAC0jCrhGT
1XaSpNoPBxLwdQBfCEIBDK40vJ6JUGbUFJG6MFjsLhoJ7xU1R/OsTgdThiR4XeLbc7nNZZn3MAAiGSgKe4NIIYRumlDxAAosEsjk7Z7vWahHAFd3U6h4psnucnht1lmXucbnMYR6vfg92xCT20H38AOzXA2L7cgUdWBCpNSmXX6Cn06ny/X28n2ATZfnsz4AdsfAAU8TzAT+AHnNqr5gKW2wwa+v6TM4u4AfE5woa+35oQBzgvO+kwrvEqGTOhpT
OJsmwgUhiQ8JRpTUWAqzPAxpbMfhIFsc4a4MWcLGgYhzhrPRAE8C8In8eckmIYkiSyURLyJAxziNipiHgRpTyfrxsFiQhr7ONJ2kfgxBmTA6OoEWU+ChFAiL6PoaiLgACneOSPq+JlvnZEq4KQUD1L6jgcMoh4zlG2TEGFZK+lFaDTseZqQsFUAAIKkNCFAfLgS6pTccU5XlBVFUeNy3vgMDKJw3BQkICBFImRSRpAFQSIkUQUBwABWpYABr0AAS
m08IjpsUAdB5AD6zj6Py0yxhAwV5fyyxoM4iQZto1xmkaqCaS8pwXFcuxmncxAPGgpFSJ83xQNw/zqWaQJyvdgpShSKLotiWILGa+KEhapLkkif0SFC1jMPqgQ+c6bIclyq28hUEpCggIo3WKaAQVG31wjKcoCkiGNmqqkjho8Nx6gasCPCaNxg9atoFPZLKugg7opVVZrhf6Ei4KCIbgzTaAdVMMa/AmSbnqg5w8DwEmMiWeZMJWRaKwTZQVoW1
YcLW+PHBmTHbGsbadsEi69v2CCDsOY6ZNkD58zFZRzguCsrmuG5HEkLb+RA+7RWlUbImeS6XteUa3vedrUWxpEBYZhGISn7GvV+gVmo5kIuW5Mgpl595h0FIUJRFyWoMVZpxVXSXl+lUQhWVbD5SElUe5ApW5R3FWVOtHf8kEQ4UArMctaUbWlB15RLhA2z1AAanNAAqcBtDSAwvPQ7YALLxaNACONJtFazTLTLwv91QNxbcu8EpJdUZHQJ2xnZc
B1Rtdt2oPdD4XwfhoFeoCSKn1MY/UhlSdAGJAY4kHASIkJIyS/VgdAcgHA4bBVdvyVk7ISZo3JsqKBwpRTihbljIhlR0akMpsINU4Q7TB3ptgQ0TN7qsxtInTmEAXS4DdN3cOZRBaPzWqCFeYswzMO4FLaMMx8Zy3SsmJcpYlI8HOAyV+etNaFm4AyDWBYqw1ljDwUEiQXjbCgvWK2XZJ720duDZ2E43a135lGL2uBbZalXOuNYActHbHuqHd2Ij
ICRzhNHRxN5vJuKTgBTO1lSic1EpZIi2d8K5wjk5Qu7kS5xOboTVuoVwpNzCSVMkjdIpFLKBlNud9B4VPrmSdundCpDzvqPfA48HFXmnmAWexQBaLwDKCbAABNXAABVYg+BNhZXbNsAAMgfds2AhCNEaPEZ6NwVqdI2g/FYljP4/zKO/F4JwjjnTOZAP+eNUCZktmaIBT0wTgOBLGL6ko4ToP+ggoGUYQYoOHH86GWCcEI12WaAhKNZTEL5GQ7GF
D8ZIpoTyEhYsmEalpmaNhHDjRcJJGzXhzpua83cT3cofpxG4HiNI4gEtUDyP2UoyYQyBCqO4M2TYaxNxrB0ZAfWDUtQ8GDsKjghtjbLieGKq48Fmx2Jtn02OeInbjldlODxnt5zeJ9n4/2xxEhBz3L6A8zSI6niiXbfp1U4mJyMukjOFlJhPKsjnGye5ckGCLp5QpFq6klOqTXOusUqllJqQGgQJS2lNMpeEjArTGldwOSPEqPSO4qoGUM+eXV0A
8A6ENNgkgJkTJpOcAYAAJeozBllrHXnNKAI5+pWmvoo9Aw975mkfvEdYL8bgXNOtc7+grbgoseaCZ5UZXkgIAR8yBVDoGUn+QDfkwKwZoJgZUGG2D4Z4KRoQ1GtDMVIpxv/XW0bqFHoxYihhfhqayK1HTfU7DGaEpZsSnhHMyWCJ5sIn0NKh7xCkTcVBjLH3MqfAosxyjCZcq1EkEipZ/FGK1o8KCqGDamMePJfxTYrhKoQD41AU8nFkhcZq2pkA
vHEd9v4wJViQlmqoyHK1Wa7UJ18lRRJ7q07ccUpO3jNlskOW9a5fJxBS4+SjQKINEaQ3at7uGxKkb40V2ysmjpMm+7lRTbfQ59cM0T2if01qixc2LxeAMbozQD4wEQWaVl6BuyYGhVGR+Zk1jnH2qO9+uGv4XRuPcx4altAmkuaCTRzw+XK3eI9WdxqwsmmSyl5LwcPpfKRWCuBAMHNAuQRuiGy7wWwz3YjGFyN0XoDofyImyLcaUOKVe+Fx7b1R
ipky1hL6CXLmZmabh7M0COh/UIljYih6pFA8OJloa6nwdQOBHMGixWYZFb1qdujjGSuw1qE5iRtjxHMaOwgHZ7EmdVZAIcziNWThYzR/VfsNjyQO0cU1HBzVqbzmx87DtHNYGehILyRBsAwFQDg2soHKDr3+5UIH5hQfg8BWUGknAoC9EIEYWM/wUipdxyaJ4zpUcDEEWyI6o6XPZSIMobWIcEA0jc5tqA5gCBZSpzTqAep+R6ByLgX0TAKWzd1K
QL4voCDQ9c7D8mIOwcvqR5AXAQgOejXCBj2MTVfsRz55W+LAPlwvzM+1EZlQRw8DaL0A+ax6BsDbatCnm0VjPE2GFl7yXMxNnkgOh365tAxfOFmXtTYDtBfHThOI3EnirhNPWUEak4vAN17hbQ6ZLGMgbEpaxVj52ZcXb8rd1IEAWKSPSpBoMwPZcwaV3B5Woywqq2TNrgasZnoeRe2TzXSY1am/ezrz6GZHVLESy0X6ht8IEaNmT43hY8BA3emR
OKZNhAVlBCPPB/ZvXLHotbmj1+ba1lK2MK5jXbBIqv4OJ3rZEfY8DdVLtbsyfu2og1Gxgkx9i3nZjMnIlX6jHbwHbANSECaDBCoA1TmCEDhAAA6HAdw6gqAAwWUKoUOMOf+ABQBCAIBUu4BzAUBMBkgcBCBhOOQ6OmOIW2gFw2wFBh2JYFwRwuEhBUAxObktU3A5O/2rOXwNOYgOQTA/I+YTO7g7B1O26nONw3OUQfOpAAuimEAKIIuHAYuyB6AX
kqBwBoB7CkB0BageB8B/ICuSuKuJBaA6ub2CA2u8ejw+uM85mRu3UI4ygjQQ0FAQ0cANu26MORy+Mlw/ah0Kw8kyQw6gWV0Ie+22gUEx+kWJo6w2w/wreM6uuiWeOuO6WEC2eTWS6UMOWAKa6BWZeeezmEKZWDOLIlW161WJ6Oe9W56aKpR9eFM7WjCD68+y4ver6/efWUYA2pKMK5K/6AsgGwsiQDKM20hi+ailiEkkWwS4qm+2szw/4G+W2++L
08E2wZwJEO+nUp2yqP2ZGo4N2biguVQuqtGT+0kSQPKb2H2hxX+Oxf2EuEgK8AwMuBIcuEA5AFA4uuuEAjxzxEOMKqOxBWOVyiRqWBO/xOQjBpOLBeybBbOswdORRDATA/BLOcJ0MIhZoYhvO8wkhvRUYsh/gCh9x6APxiOuhiubAyurAhhqAxh7+8wZhbyWolhgy1hUYea3xAwbAFu9QO8rhEghA+g0Qrxj88Ep08kO4aw6YSQkx+2nu20lyCQ0
RFwJY7u+kx+weDWaYSeVwh2oISsA+lywccRL0TuOwUpK40kLwASvaO4We7yFR5eaIuO2RpeoKeRFeu6VeiJteNRkgBIGggQtWPylRDywcdWdened62KLCLRPWA+Xec+WqVKox3ApsGGZoEqLBWECxe+O2ismwWiG4ZwG21GxxD29GVia4dEhGxGpG/Wn6g29ofCV25G+xXRmu72LGNxNqF2/CbIf6lQ2AxA5aTwwSxAmwCAKszYuA0RTwmgxAASm
gu0uA5wxATELwuAPAIs8QdKuAawtW7gsY1E/kSEImnU/RHa5w+CPRLGGUUAQgdoEAiAKmUUoh0ILhYSBuc8Nh6AQ068QgHQUAoIAAippDSBQM4DCM0HAJgB0HALlIiU5uUEKcoCKdwC2NoBKc2NKZmDwNEb5r4crEqUpOuDhE2OqWCb/CHjHjqccOYgaeFr2nHkyY8maRbJcpsFaTafEHae9CkQ6WkbnsVnAi6SXiCuDOXjupCvuhVoei1hIP6dg
IGa8XVs3rikJdKDUVGfUd3hBl1n3pwomeBk0YcamWgLhHqYWdMVto8KvqtttkbAftEZOrKi8CtrOOWY/o9tJBmDuFRaIlsZfrcR0Y2R2WqtdrfvEnwqEp9palHL2RrsjgORShABHquWsPiAgAyMQJoNubhKCNsLgLtIufhaCJoPEDSOsAgJsMQKCMQJcBOYeQQMeU+KeRRJ6n0cQELFeTPjXreQvlEA+U+S+dXFzh+WHN+cMuyYvCfMsokIgFlPC
PoG0AfKQFlL0JWswPoBQEIKCAMC4XsjfOgIKcKfbhZaCE8D5rtBJG7rxeuPKcdMaicLKl5msOsHyrKmuKOsFhZd5vtpcKqXyvqY2DmWUCaaAt5vRaWNaTFuBAKqOhloJY3ukRgs6alq6RJZuiJZ6TJdXslfJaTEpSpcGU3iHtUQpWUQ3pAB1vpXGW+r1vdGBsMSmfNmsBuNYpFnKZmTMb8I2A5UsVqF5looWVYqWUcd7N5f4udBmLcuUEFXWTEqF
UPk2cNtfpFa4uFREh/nFQ5N9olQeoORIHlTSJlQgIkFiNgJmE8FOe5abTbXTmuKuZsLgO5TwDSNgGpLuYkLgM1XKCeSBB1SkgBt1bStsDeb+lISmUNY+ZUKNU3O+Zzl+VYYbjNZUPoJgAGMsrtecJIKNFAKNL0C8ENP1AGKMBMh0AKvySdahehdtNJN5uYpMV5pQeBA2I9ZhBYknrxRmBJHytYirAFXcuOk2EntmBQRxX7poqsSxQlv9YdnRBFo2
JmBQfaXdFlh6ejSlpjYVlJQUd6fgiUZTVIAGSIKpSGepU+hUZGeUbpTGRpWUPigzQmbPiZcmQmuZagJcvtsrNaTZWhhZcEgLfmZcDuPJO3Z5ZLY8E/vtkXoJgLArd/mUJ0d+urW2VFVrSHDrdcfrReErQTUbegJldsOudgE8IVJlTwMQNaTSNYucBVdgNmFBJsNgLuZsPiGbOcFucXulEeVxqUO1eedSqHUPNsH1cjgNbrdGt4rHRIPHTUonZ+fG
lNRZpUL0DtJcFADSP1ExKCPCC8BwPCP1G0BQJoB0B0NXShWdR4cdJomaZYmuM/lcNKR3dJGsGQUdtKTmBYuBD9eOhcAkPpCvdvgdlKQpODTrr8KCGFl5irFxREePckZ8sjZeqjeiGJcDDke6TjdJYUYfYTatMTWfaTVKJfc0dfdpbfWULTU0QZa0UZa/SzR/fNq8BJNYuBBsUibZRZRmMA05WmS2D/RsJ0w/tA49kpEpC/eyYgyFcg2Fag0Cjfpr
Qsw5Ng9IT2Xg7anJYQxACw7uTmOzecCEBmOYoyAKtuSLLQ88JorgBVS8AqFuQgOBH7a1X5IHUI5Ph2tsPgBHePlI7JjIyNXFAnZiRNcnayanaIovFo8oB5JVRMpWmsNWJgJsNMqNNZsLucOMEde2lY2hedbY0kPtA482Pts4+rD4dtOsKdLo8fiWN4z/X41qY8t5s8BYoVSE9S+E5ABDbwNE5OkrBJOYqc4VUkwuppU6Rk/lm6ZJR6bkwfQenCkT
afUGaeuTRU8fTpdUw0T3nit1s/e0dq+LBBmZfNhbFKc/hA7mfohZS8PMbvlhv0/jL2salYpZTcKM74uMxMxHp0+fmdgbQ2SrZg62XsRgys9rV2Z/rgyRvg8UcEKlfEJoCQ38CQ5cH8NgNJKOUxE8DSEtoyFwz7XykxLgDVcrC8/w0hO851eyZeWtNsD6ZI2ZTHUC6+eNUncoynT+WnRIG0EYHNN0PgMsucG0N0AGO2LgCOM4O2M4BQPCMRMsDi6t
HMHXU/O4/hR3ezQFnLb9bwPJCkL2hHlxQEiRMM7PbrvhZ/CsfqWKW04qvxck+vY6Zvblq8eurkTjbSDSAgNgHyvk0q6tNgNCBqM4P6VAMpSU+Qsy+GSGTfdTW8Tq3TXq4Ze+kG3OMPs2SNoQ4cZ82tE8EMRBiysdTxF23NvqnyiOlaw62tnOX09Kua0cOze9bWUg5dks5Rvfl5WM9LfhirMHLFTgwlZs32fHHfvaI6pMEki6gI+43RA2K9ThO9Y2
BejROsFde9fKmpH7kpDuMpHxqxFJM/B03a+mFKYK4WRpJe1hQ2De7xXe2sNJ2AHYwe47se9JJOkpBpPJzjn7lKavmcHQ0HcHRJ6UGKnEBbFxQ3XJyDfaxhLKmFpZZFgquzavlYo51J1kjW6JgXD6hJlJrrgHU+DtEI/UqUm29pspmNYNZlLGnpv8zpgPHV4cTVHVGturio7+RACBYQCOFaOcN0B0BQNEKEBQNMv1HAJBTAAGENJY0EEQHIKu0fkn
lYs9TZ5OqsUPRAO/Ptu49EesX3crJdZdZqf/OsOe48OLUjU+xKy+1keJbvZvRuLlSw/+3B3USjVB1URqx3lUzTYh7U/TW0YPuh6raPk29Ibh7gJsAR00UR+2iRxC3BgrPhSROt7yg5UzJtxKoLagGcE3YHuLf69sYG4sxrRx+J6+FLJ1IvMiNMh5B5FaB5PQIkAfPUJIC8PCPQM0FlKNENNmMyGUMhZ2hAE+PGEI568uDA5cM2BbJcd2TG1PB1z2
+gEYPgHNJWiOAfAi6NNMgMOvM0KQCvCfFiJsJgEtEu5UHN4QAtwS2ZMcGQXQzuGcL2kkNy1t8ciWKEbKmVYWa8PJG77u2dy8pE0LWvXOs+5+6+zvR+xkRAGiE95oC94q29/QppWU63hGZU/BzU7Gch/U6h8rSD5g2PthxD3W67TDxGFBk5gjxygKPNgDYVQ4//TaxOljzMTj9xNJLtM2GfjMyTxFeg8s0Nk+FTwvLMGwHTwz0zyz2zxz1zzz3z6L
AxNBqmlQKL+L1x169LQdv8PA52Vceswr/bEr1C5UCvIQMsh5AgB5OcBMlyUYNo8wKQAfNMqQKCIO7N+yNb2ELb1uD5h3UPzbsmWp3cWryyD5Rgru4fG7pHzu6ZMZW2NWPmiDXK3MaQ0PZPln3e6pNPuYZCmj92z7/dc++JfVkDw/TBsI2/CcHlSkh4vBxGf3Y1rD2r7EdYMZHNRCuBbCXJ+6GPUBOmDo4H4/cdEC4Ha2Oz99hOSVNjmTzE7UQx+H
JegJsGWT9ATsCAGACfEPiVprSVodeMQHWQvABe0sXFsLw35ZcyyUDbfhuCYiFlwGcvaNkJ1jamZSOqjQHN0GYDdB+oCuZoM0GcDYB+oTwaZAGA6AgVmgkgUEAQUczHUMA3/G3jYzMgqwABlLWxvFwCI7sQ8YAkPsuEu4CVruH3BELd1XT3cY+aNBUHRBpCTY5KAHVrFgLbylN1WmlFPlikaJEDH6JAhpoXxJQUCS+UdBNDQJ+bGUmUcPGDOynlhq
IT2gNI0twMVh8o+BjwDbvpBwix4EGF+RWls1J5D9ye0ggCOPweL0AOgyyUgM4ECDrwOAzQE+DCHOAgUsoMFF4HAFCGIRV++mEeEYOC6eIt+kvb1mljBqRtD+VKDZnYLCCn9qeE/Kfoz2Z6s92enPbnrz354W97hXadzIcH3bFle0LYLMCj027bdPey9ayvJ0KobgTuDyNcCcBIgkQNwPjCgk2HO6Ep9og9dmudC8xuoH24rbIU6XdprAEATYaPtk
yQEJ8k+ZQuoWq2ZYZ9YOmA1Pka3vpX1iBKHRmmQKL7tCqBXQ8vgeV6GEcmB8PFgZyiXzCtViwScWlmUAb3Rse+Zdym9QZACoWOszCQasLE6HEJedGcwbv1LDi0BOR/WwfWTjj2pK2ycITE8P4yvh9s0TLzMcC3Aojj85IoiAPipFMcMwlwOkZOkc4Eik8MeS6oMwnqhjjIDvXCG6yPYHZLq8kD1N6IiRiZfUBSMuCP1fCXBTyHEPTvmIBaVx5Mci
KDBkFcSpVVe6vTXtr11769DexvFcGbwF78JTwsjY6NE2l6DN9S2Yd6vBCYggRzQuAJRk7iCTSQ6IB2dcHhQc6DCWk8UOsZLAbH7FUq3XXrv10G7DdmAo3cbpN2m59iUcGyO0NEyYargNwlpDYH8GNTTjlAs4tMqEUiwZhXea4BkJdRkjrjikNXTTHiTKANd2ki8YXuml6Q/Z/hmw9AN0GFwkMOAAYYgCvAQABChoQ0DyL0GUAXxrMljFdgSz+BxA
N28Qu3kOjOAjo8R6GdxrKnGK+MSwjHWImkIXpkETOSQTRH71XAZDH20ApkbkMBgcjZWn7OkAyCZAYDNWv3KoTgMazZC68CoZgEqHqG6sJR+fKUWhzaEj4sOnQkOj1TWjwhK+9Y18HcLjCATWBOGHEUe0MQ81umisP3FMLQBSlrSK3FcGaIH4Wiw2w/f5jaKl6rFzS1g/5j8NdFlBRO8SELmAAy7GC0kZED4aUH2yOctEDES4HGMFSlA7WoRF3umB
2D/AOmQXMAKkjYh6lQifwa0oxIXoBIGI6YDxj41gb7d9SqUriJokc6YRSyAjZqfpxik0Q6CcEKsfmK6lZx1OKPHYDyhckPVsIV1OYZomRFKx2WAE6KfxFXyZTbSEeaIg2D+Cnks47Eu1pxPXBO9WmmwdLl6IKlCN84zkXLsXEkz+oKeZEECNBGME1iyuVXerpV3KT/NSutXLTC9OICfTQJkAFrvVG1jtcHBnXECucEIDrxugc0bAHAHqDTIaQ68S
QAMAmTLIT4mwfQMsiQrhCreUQ7tMsWSA982WxqdcKsVbzvxhWCQZWP3X0jT1e0AfFIRSPSFh9vkWMJ0lH3yGci0aKAzQGgNe7CjIOoZB+tgK0pSSCBelAHnn3jKGtIAKDbSd0Ujp/ThG+kydkZO3EmSa+ao+vj7A2BrFSwEecYcfjd4GinWvAK4HxyWzuSxBuxCjFINH4bDZB8gxQWEBUFqCNBWgnQXoNMlrQukjwgqR6xeG2insysfCm7ydHfDj
+9gxHtNTP4SBRo+gYgAGEkDbBGgHAfAKMBHAIA5oIFFeCBSMBGBmgmANoF/3m6/8bGYqT+GRLfiHB3qwAmiaH2D7mF65kAzIfxOFlsy4B0rLGkViQGaA2RC5TQHzNFmVC1KNQ+SfzK7xijymakqWcDy0mYd5ZfzHDuXwGCqzIM6s5geZPVFLgm6bTXihAOo7awLYnTY2fRxzZzS/Wog34eIIgChsbZ4UynvbMXgrxthuw/YQgEOHHDTh5wy4dcM9
lC8fZr4MXg9N8lvDIiHwrBlGyCkRy/hIM5XgwEdlEBnZqgg+OoLWCaDtBntSxlBLxlUszgCQfbLyjOAWIWwFnciUAPVImhns24WXkEWZYvZMpvKMkTmCOCCQG5rFPaFBF060EbS8EQqszI3qR8JI8QTNsJMQFcyFQPM9AbyPHkVF0+eAhFJUJz5CyZCzQgvnM3IFyz+qCssbOXyvhKjGB681UZvK1lqJj8q+cxORHGGWLbJeZE2bxUYVkiVYlsq+
dbPbJ3YA5UvYORqXpJfCE0wUuNs+XdGlifRknY6YVKkiWJ2JqxW6sQqzBxT2IHCv3hYObBipeFeEBaWBEOwMKEafuBeqwrEiaJ9ofKOYrhF5TrgkueYv2XnELF5drp1EDpiBDMj3TqxpXYNMZNii7in5l/a/rf3v5sBH+/UZ/q/3f6f9pxV4wcc4GiYZgV8OnayhbFfyvj3xoCFIM9hFpqQLS7NFcJrIbhbi15HSqKnuPBmQzoZsM+GYjORmoz0Z
mMy8QOJvEO9LkAcXlDhCgg+NFlSjT+FmDOCELdSnEg7JrI+kgSWM4EuNN7IMwdKYJiVOCRyWfk7C9hBwo4ScLOEXC4AVwm4YL3CHYK4R9dXtHEKrn11EhVEwItRWZaXBAEaQ1cPwoj49y+5uVURd3PEWoCpFNeI+vgOHkX1x0go9vAopFH0DJ5dTGedKLnlq0tFi8sviI2FiVpV5/Q2WMYs/pCKzFfuUdLqN4CvYbFjraVOcRJkuS3eRPYKh5Jvn
scrR0hEBdLUzBgLApgna1FbNiScZglBnDOGEr4jYQkpREYJI52uQaRVwiUzMJZ3mkpJTpNSy6fl0rakrGl5kB6a0t2XyJGxrsVKh5GcGuD3Bng7wb4P8GBDghaK5HLcpWDRM26a0gfNhVeDcsZZSyx5CspGniTXWanLZcYp2Xlc9lYEzpZUDjkJyk5KctORnKzk5y85BcouWMuzV3RtAvjCxOYgCRKwSw7lYtTOKUbAl9SK+Rhc8BVK191Mv0oFU
ml0xfTQVaaQzBCrEFQrF4XgixHABAoTIYQHAAYPUCGgwBpk9AZwDAHoCaBJAYoaETXWsY4LTZcQKCOm3wr3UDsbk8iTERKlvUPqKXb6nXPsnpjdoinFsLhFTERNG5LLfaIdhhp8oAk8NVegyNSICTP2UrPEFkxEmx95WUKQecq2UrFN+Rp3eRRUJ5UIdxZjQ3UKoo0m6Ukyd5ebAvUKqRYLS4wpiOApPkH4dgjYV4DQueGmDXhpq2VLxVi7y1Fhr
Hc0PM00WD8vJawmKms3DkuiAlBCHZkpGwDYBCqawXAOQwJBKwsQqpPcjppHKXI8AfKGqop0M0Vs7VVbNqh83L6todJis+8oOOfLAsFGoLDtqlH3Xp0dw7YHgHNBLrEA2AAwHgL0GYCVpzgUAC/msAPAvq8Wi3RLAW1HX4ULBctcmSEWOC8oLFJYMclok6a7tR6ANKDc2Bg2g1GZATaGjHlQ34UVYGG5uXxJZlpNqQuGy7PhrEXbp96xGySaRpJoU
bcB33blSpKQ7TyDWTNabCaxGLzYzgK9S6k4rVVrZQ1K2xytKm0T+c8t/s0TYHJoJXAJIzikKTLPk3zyVhSmqQSpsgWWrZNmm1KuWgQBLkC8hUAvMQH85PbXgxAchk93NruVdNybFJeYmwD2abpAjattWMh7dBfmpfaOoCzjrea3yvmpRv5pnjgACIa0OAHAE5B6p2l0AD4FkFmDmFFgDAcAhQHqDdb6V6IOkDTppC4gIAGyXKLGu7D6BOQrMzegX
leg8MygjOqFFaBZ0U6EBVO6kNzN5kk7edzOzIAMBZVjbxdIgPnSzrZ3VDoOcupnTkH52ZAldxMGRTzvl2S79Ao0QgQ/QZ1671dLOtoIxqmaQAJdZuqXUThJzME0AOiE3WrqgAa79AXJIgqriiaq6FdmQT4oIU4KuweCvu/XTjoaQbrQJLuv3foBHDrrGum6zFdbtN1u6WdbSdeOELAz07mAQHJEPgBm5O7gk+0d3H4QZCmwd8AoXPeyAmTcANwp0
L6htKzDRFjgJOowGwAMDtKhUBAZqBYV4p2Mpq0e/XYboYFPks9JO4kCQEBI+6igcmyfd2HeXj7hcxAA+GwG6px7bmwQWZrPuF0NqIA9QJEIvFIDKB8QAACjFT0ReAbky/RftzUABKfkMrmUBehgolQI/afr+DghTZn+j/dQAARDr79A+m3WjhDIW6mcnAd+iTpL7K4/QwuVTPPGyAb6FYdJKMNgHm6NRSAzUG4PIUJ1GEMD184QFACIm4HmoA+uw
P1B/a5Beg8hOACvrX3yE0CW+gkEzkYDrx29PzNWeitxZhBgg2AMA1wFEKPkOc+gDPe2lu3mjKBBgXoBkF4Ot8TtIcJyFlBkMsG2Dk1NHYj37LBAIwYveMEAA
%%