==⚠ 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
Embedded Files
e4a0d4b1025e9ee88fd50fc42a94fedeba6158f1: \(z_t\)
12f6be2eded017b1c7ee19bb77db95362e5fb5fe: \(z_c\)
05174e66cf49987f8947e3a83a8f5c185f596c36: \(\bar z_t\)
cfe4b4afb85f5b893337e47393e6ad7ee04911f3: \(s_t\)
01cfdff154951f9d6f0c40a60229bdb4e3c4bb86: \(e\)
20dc0a963fe10e6f0380f145655254cc1120d3a1: \(q(s \mid \bar z_t)\)
069fcae5f8fd206019d1d17beca505ed2b583d0f: \(\hat s_t\)
2d9e21d0db36592a12fddc60dd6d4d418cc0ece7: \(q(z_t \mid s_t, s_0) \sim z_t\)
7165d48c15f7f1b419160600ad3d2f6d327aaa24: \(\begin{bmatrix} \mu(s_t, s_0) \\ \sigma(s_t, s_0) \\ \end{bmatrix}\)
69ee94c875b9a81a8923f5dfe2c7064cb5742676: \(p(z) \sim \mathcal N(0, I)\)
54c80850cd9e3379f5b3952e1693b11e469da95f: \(s_0\)
3108d1d6b955a3db393276d4fb43c42898477fae: \(e_0\)
43bf199d01028df5ad117480fdc4abbda7c70c38: \(z_c\)
55193b6917234c6d87dea36feefacea3de996cc1: \(\hat s_0\)
97e55f84b3e088b0ebd1df0ab283056b42233d9f: \(d_0\)
%%
Drawing
N4KAkARALgngDgUwgLgAQQQDwMYEMA2AlgCYBOuA7hADTgQBuCpAzoQPYB2KqATLZMzYBXUtiRoIACyhQ4zZAHoFAc0JRJQgEYA6bGwC2CgF7N6hbEcK4OCtptbErHALRY8RMpWdx8Q1TdIEfARcZgRmBShcZQUebQBGAGZtHho6IIR9BA4oZm4AbXAwUDBSiBJuCE1EgE0AKwBJAC0AIUSAGQBHBAAzADEagDlNbB52gGsmtNLIWERKwOwojmVg
6bLMbnj4gBYABm0d+IA2U4B2M4BOPYBWS55j/jKYbkSeOLOkxJvdm8T4vY7AAcNyekAoJHU3DOyT28Uu8RuQL2PCBO0SZx4iTBUgQhGU0i2Nxu2jhlzewP2PFu8Rx1lW4lQexxzCgpDY4wQAGE2Pg2KRKgBieIIEUi9aQTS4bDjZTsoQcYg8vkCiSCno9BDYS6XCUQHqEfD4ADKsDWEkEHj1rPZnIA6pDJNw+EUBGyOQhTTBzehLRUcfKCRxwnk0
LTXRA2HBpWoXmG9syI3LhHAGsRQ6h8gBdHE9chZNPcDhCI04wiKrCVXDHPXyxXB5gZkozaDwRmJV0AXxZCAQxC2JyB22pdxxjBY7C4aH+iZb49YnEGnDE3CBa72ZwT2IjhGYABEMlA+9wegQwjjNMJFQBRYJZHIZwozYqusoVCR1fDSzWSBoUH4APocEYdSDMa2BAjwAAqEplHMjIQLgpDslQr6dq6OYRkIcDELgR79mGZz7JcOxEcclyYkCOJEB
w4xFiW+DUWwMrHmgp74GERTdkUzaQO+6AABp9O0ACy8T0AAUpgQhcpcnS0aQiQAPISSJyibDi8GVIQ+jREgOKbGGuwHCR/xApcdxEUC3w4nGqDfAcxE7A8AIorspw4hCxBQmgnzaJcpzbDsRw7McxKJFREaSHiBJQK8OwpORNxnJB9zkYkgJ0isPqzmUNoesq/JCgmJV7HqUoysmCpKryRUSGy1jMNGgQ5HqBpGl6PpSNKGiBNa7r2o6WwsgNnpm
ghfr9gGwhBiGw0RlGMawFsCbTdVDYZsWpYRmErH2ZidxhYk25zkwC5TvtZxjmdk5LhwK5hgi1nfOZlw4thuH4VsRF7CRZEUTwb07vuh57ex55JvKqbpgUmEtpe1W3pk2S5LD1HlnRaBbYxEZ8ixBGoODCC5oaCCFhICA7LgezEDsmgAjwNwIJcvZrj0xA3HsPTYM5uAkZqxAIFKxyIkCPTxNa7iMk+Mzhs+8QYWWFaGeguBAm1+ZkwT2MjXhQgZh
AiCKuWyh6tg7JwPRRpcU8vHlATEACcwFDMJ0RhsHUfQAgAEgAiscDQAOIAIJ7pg+jB3qWkSDpel6irQUJSVNw7PcgIJnLzzcM5xzaN8ALBUCxzUnsHkRl5PmoGF2ggkkFnUic1I7KCUUxYSaCA/5FI3Fixzopi9yRS29I5SNtrcrVqroIKpUJuV0qynWNUqpUDUcE1SEo21homuNlSSD1Ij6Tto0Ot5TphmPHqdRNvL+hGgaSBt80tot2CxituWQ
Evz9YwxPZ7UbiLHO1lroTk4K8C4YDzp3QeqgeImJvg/GRCdMoH08KAJ+n9UKAMgYtl3AeYIX02JnmJpDFMaZHxwzKAjG8d4UZUPRrRK2OMWx405ATImJNgjk3QPEHgPRjiaAQDwPsfY4RnHptgM4vZ4SaE0BcYgmgLKJGLggG4PRNAaOPi2ZgUsCivkzqUBWMxqF8WVlWXUuZNa8J1ifPWBsjaOBWGbC2LCbY8R3A7QYAAla8kgAAK8RBgBJ2FAT
ovsegUGOO0AA0nuVYeRNJtm0rpZQOiNgDn+NoO4PBdhnD7scW4qdbLOniECQ4CCHhrhONsckqDwRDTQNcbQpwhyXGsggn4PASmt3xO3Kujlm6hWJM3BM1lGZZQZNwL+EB8qckKlPCAM9Z7z0qkvRZq9yDr2alvbhu9vQIQPtgXqGS3TjzPpXIxczRo30qJNWsM0n5zUvgtaM79lrxlmT/F5qA7G6N7ATYKgMQS9NOuAi6GIdjQNusuRkBdEj7FuM
dd6OEMEEwQU5IijNU7QuBoQhAxDCakJxFVaGjCIy0OIEje8qM0DZiYZjP5/9cbMQ4SeElEZ2pa0qDSIiCBTjYB6KnDpZwejmVIggRIatpVixuNgcpGjDrYFUZLAg0tDFgjACY0oZjygWIkLgSO1jcAFm1iy3RUQoD60qE4k2riozuNKNxUodt+IQF9n0PoMAEDKDOBQWJRgALjCgjsTATQAKDCUnUQgUcUkxzSWciAKtnAnASuuCKZwU7OR1JMiM
dlEW5yREXRFoUUrHGOo8cuTTUABRyTwT4a5VEpR+FmnE0V+lxTQM3fyR0G1XGcoifhUzR4n3HpstUs8yoXgXlVRUE70Brw3i1OK+y7kSGOac/qFya3XPmWNQ59y75TQfk83+8CcRvw/l8ta9Zfn/LyoC7gJEukBTbRGeck5nSbhhYuOFWw8koLChRVFn1MFYqxLcBtZYQZELBpylsZLKFo0pVeal9CHwobYRjFhTF8Yco4mQls3LeEQCFZTTQVNN
Egh6DcTQ5ljoYkpjCckArcDEBkQgQECJ4g9ESGqn0MtjFap1WAPV5ZBYq0QteDWpqeV/22pahxtrsjONNjic2jqFP4A8a6iM0d0A0STZ+iBj1IK/o4LAxkFa8kZQTC3fBBrVZ9D1AQ0GnCENvgdkIIQkhSC+waFyJoXIhDHBqEYIRlx2gwi5PobeHU94WmPduj0lyL4XrHdfRLvpktrVmo2F+ZQr2fPgatCMI94U5M3FcGzxwB3mWSgZbOZxWmQQ
3CCP6AVEgkVKR3ZECRfoFx7oFcyV8FmT2Kqsmd6y0MLuWbgG4xAxY9D1BXdLoscknAxDcPuQIB4gnbW3Lt8CiI5PuG8VRGJusbgAUCk4dxyR7dJVDZD9K9V5jk7Yi1ZQfkFe0xeNDNKGFYbQWiolmLfplouJzKt2HmH/dZfhkhhHdakCgC0CT9qEctlUxj42LjsdlC/KyHk+h9BqHwgEtg5ZjsPrdEhKAwdkJsAoNFdjuGIyqaZyhNn5rFNlDgNT
zD9LXxCdKF/cXr4zFgDF2AHbNcLu3D2BSRmKJYfPmcI5d4Q5ASInJO8HuomxNatlwCFrzc9uIvhKFS3eLnzatOycCySR3i/DRMcKXJvXxgGcD8UkyU+6/H2M5HuWqHcJV2IXDKkHUQ3E96L73EuwB7Cl4rCMgv8AwGUKZ4lhHdMvnwQ7ZQxwBLtDtH0TQyhrzxDgPQZQe5cDGmOAAVWIABJScb5gJrjk1ju2hMS7dFg9xFIH82vAijk36w3qQFJ6
c3Tyu7S795hMCPuO27jDr6bFbg8uSJIjuMFfOfwR2MlmfuubKzSprMXrNib9VtnLr2Vyne670CbqPilwa59CvnKy4epLVoeWzyf2GWr87y16pW3yaG56dOcyT6Hcv0HS9mnwFm2cZW4KMC/6j0CI6InMgMoG6K30WKGI5SBSMGBKRKXC5C2Er2mYeqVKQOwudBjKHObCbK8GKOz+PCDscIQqxAGoiIqcPwPQlwxAxwPQewPMew1YKIgMmgSiOwUq
PM8iRcAmGq8sImaejmkmVYgcsmZqrBeUVqNqEgdqLiGmbi2m+edsBmEARmeoJmF0PSyuFmVm2cDMOoSCSsOhhq3srmsGhKHBEMhelQLQQgSkPQwcwwze3sEwLEdo2AzeAwuAPi8WByXUDyY2CAaWP+Ny48r+cyuWp6fgwBGY1yxWdkrkJ+2c/e/CEU5kKC7ueCmSYY3Wuc9maIVwDw++6ukAdkDa7RbSQ4XS7wuBWRF+U61+c6y8dU08C2S2Goq2
u6SIm2FaWau2+2DmZQHa2+hECUuSF2ax12V0O08B8CAU/CI4o+iGL2MMb2JqBhhO380B9632kogOGGdKzBWEYO4GkOWaqImI1yNETKsB7CQRRGRhDOeOamhhkAuOmOBOzK/OkAxOUApO5OMgfYVONOcJNyDO3OLOvOeJXOzOrOIQfOrCAuQuXxYusuSeKez40usu8uEyGUnMKueBvRpQmuhw2uBceubwjMeS8ez4puG4hwSIK+1uxwtuYemKCQSU
LueSFuoUopMwsuvu8Q/uBSIUKcgIwp8pjuwUwI0e0eII6ppQ9JYejJpiWh1Jme2eF0RM1hXilQvs2Avse4pAPiygAk9AkgzemgSkAEe4DQIkNwQgUA6m+m8a6Asc6S8cWwSCKQqIV2/C3GzRfR8UBwiBCCyu0ODcC+3+YYPcipHSuweSHSoUdWh2na2cuc1u+wKUNSdWRE1RaAZ+o0ExU2lKs6Gyd+i6D+uyrUa62W3UJyH+WRORrylq+R45mRxR
+WZRl64BJWVRxRd6IBsBu0BMI4twQ43WJxGBX6aA1kvRDAN0f6908KwUnM6IRwBB4OWCpEIeuK5B7mBGwRZQSGdx3x8MHxyMTBDKuMOGTxdh7BHmnBxGpMpG1IxA2A0hXWmoAIAqEhEUXMvwYUPcKc2ACqGZxA0qEsLI+iIuGhhi9p5iPhqsDQ+h8myJVJ9O1qjiqm9qFhWmDFrpIREgmgUEFAlwUENQxwzATQ8Q+APiUE2A14QgIkfQxoPQASne
CECZSaCcyUcQGUKUW2iKZpvW9keSpIgIbWGIG4zc1ya2z6Bww41Isp1wcI+w1yOxAysprSO2CIKiPcwIZB5W2Up+4xg5yykx02N+1Uc2S6I5q6XB6RRyh8fU05u6WRBRi5LYj8565Ra5lR6BP2Lx25bxcBgCIyXWI+qBvkewQ8ZQjhbhhEnSOl/wT5fxf0Pce2eSH5cGUF35kAv5FKAFiMnx3VROYFDFeG7KyOHV+osFPB5E3MuA6i4q7MNlZIxA
8QS1kiWoC2twfYPAWi1kxAXMahBi5F8slF+q1FiEEkdFX2KJ+JzFKm+OMZLYmmlsVhzqtsbpEgLQDQ1Ocl7wMAlmDQEkzecAdowczeAkCFSlqSPeEYKsFaJIPwfwvcWlKCelx0LWoqHSAUpEBS5EduZQFl041cgIGIOom4SIgMPWW+AyZZuwPGzk6ItlOoHZTI/lK8k6vZ8M/Zt+rNQ5jUEVaRBR7+cVmWX+VyiVC5RRKVZ6vy6VS0mVUB60rxV1
u5A4RSQ4WIx5FVV5F0FwsylVWBvAbwCI2aWxkA6Cz5WKppWI1ybmbVX5kJnVtx/V7xvVQFtJr4vEXmlQZwNQZwzgHAASFAmQDQ14SkXI1KmgwcbANwTQvssEswcZiEZJEAaEx1IJeJ4J7V9t413BlQPAxALMeSu1SiqiuSuA/C7MCFRSxAYhtMtM5SeFewWoCAZw+1ZFssmhpi3hlYhqsSF1lJusN1phrF5hEYj1TqYALqBentEgYNhKmgv1FAAA
alBAovoEpOpEGT4sSBDd3omb3vZPLj8HyoiupbjdmdOIiCkJ8EcAiLKYfg0hAPjbwACP5C5OSM5L9ETeVZAE5cdtsNqXCBiEXHCK5FiEzV2eOgFZfiVFMQOdzdAMOZvKOVFQLbFUmvujOaAUYfOf/jloAUuaUbkRUZ/LesQDAXlcrYRHVsgl8CVVXLWR+lrVVagKnGFNZKXNcmbQ1aRIiHCE9vip+aNVnV1SDs7XQq7Y+O7d7vbJUIHE0D4oQECI
HO0DcFyJ0C0L7T0NeDAIkEYCcGwHHa2F3qrEnWhFqh7XxA7ABLxlAM4E0OMHAOMD4pIgJIkMwB0pgBwE0MaIY7YUhChMnc+OhJ3aBfDkNYjiNbnmNSRg7J8GFLTECAqhomKvEJRvCCcKXAmOxokMQAIscIRQ2rgEUz0q3ZmJqhRSE9od3arO0H3XiayMpkPXdQ6k9ZxS9Z4txegBJIIHxTAMwAFjwHaMwIMEcHsM4IvQgOMKkMksY4nQE/vc4P1k
kJBNsK2mw/CCjXVvWqFPCJzNZNVg/U/X3Dks9Pwh0pBGrSbbiPWZ2eAyzbMcsmKKKEmhVCFfOgFeFUg5FTBQlrg4Ufg3OaljWi6IC5yElRLdlSUWlaubLSQ9QeSqI/qDYv3TuE5ohCJI8grSAR7UY4yDwF2LdtnBFNUslNco4VsMFK4frciBuNiuSK1YEZnQDi7bSk7RAFwxii+W2VmqXCweBRnXbTiILjTpI2KYnjaZaTLt7sc0iMdGc2uKiPwi
bZLkyanaEOiQYJiZTjSfU1EGjjCVjuEzjoqAa0iTuXq4zmScSeBaSTzhSVWEnTiEEJeIHZnVxdPegNYz0LY/Y44845oK4+40CJ494zvSY/M9DVsORKSKiKRCnCRJkztpsy1sNtsBcOUjZaosWVcqdrIbKSfVjUXGfdc7sczT5dMrc8LRPPA8KM8+KMFdMWFYgyuvzeLQC9g0CyWbwGLX88lZC8uUQxlXCzcRQn+SBcRsi3iRJtU4hIMJi1uU2K+L
i86AS6cYAiLOm6TWS1rWUheXrTeTvgCKoqKhrXxAEZQZ5mI+hhI4ixy0Qf8bw3G3y0a0TpBYK+njSaKxqeK4npK6brm+8Pm8MhcEWxK6q5U0TuqxiRTtiTq+BQ0/q4iabDaya0h9wDixkLSqRrPVAPPRwEvSvWcGvRvZoFvTcLBPqMxCYUyP7qcJpYCDtuw+/VqhAMoLgK0ycP5HtsSHcMlGiOSBZCxwaJgLB7ic9e00pmjoSeSezih8QNJ9a+Gy
znqM6yzhCe65Y5UOMD5lBPEIQPQJoEIIMHAMHIQLEZoNIZoLXmG+UImkmWeSlDXERJzJiCA3kheXZBRP5B0qiOnBvgedm+tgiArjUjnJDoB3WaW9ki9A8Om8lBlIJ+W6OqC9Ww89A3PA23Aw858y22OX84Leg6fAlVW+C+288VC9LTCx8nLaQ+Q0rWcQguSHVgxnQ5iKe5eRCsw/whcEdHCPVZyxbWybMjbYy++yOzQWO/QYBaywdTMBYzIxIN7b
7f7YHfoMHaHeHZHdHbHWHsu4aqY0E6nYNWCW+0I9wvRRAORL2CRBBFmsomrPEGrOdrRvwSItIqXDsNgFotinVjWCReqrN8JhU7ql3VJrgB3g8fRea40+gGYfdWUGPeJ5PW6rEz7X7QHUHSHWHdeBHVHTHTZ/48p/vRRC1qjddsrlBsXCjd8HnMXLmgfoNoioFzMpFwMqQYcMHmiNtmF9/YhL5Sz1Wxflxv8P8LA1zdl820/j89FUemV3kZ25XCCx
22C+ObhMwNFCepLRVyATLdV8Oz+Y7Yix9o8S+1RTO7gIpbV78jiwZvizMJPQIGcf8AFBcUOHQ2FHu0w/rRk81TqNcW+OexCcy+IzN/cT8WBpyztg5QCGFM5M+yd0jlE1ncK8BQnvbgyX+z+/bqmnthz0Zf3CnA8GVanhB6iVB5qzB8QDia1PBxa6a8h6gBh58aRh9V9caD9X9QDUDSDWDdgBRz0FRxmAcM1RcKiGlGbkeyx2x603EMXCKqTc2sSC
gUu8J6JzX20xJ2UAic02gE367aRtp0ILp/p4Z8Z6Z+Z5Z9Z0J4P9wLyWrj8HVjqHPyiFBg0p1exxS0J4QCJ1X3BxvxPajktZ2tZOSnKgE60VAKd7W+3CNjjnwAut1Om/FHpUBqCa4BISkdoEIF4xchBgMAALDUD3ADAWgUAWNDMwQiE8wBkbNADthMgJgEQgMBGq+U2aNlgQGZZEOUgojmUa0xcQ4HtgE7FwOsx0HpKz2OyzIKsAvFLhfgkKJMMu
fZGbKFQ+aS9kG0vUrvfBS6YMlev+FXn8zV4a9MWA7WckViHY3p4WtBcdmUGN5Q88q07MHjt03JkNreS7W3quwBSAISIKzLSnQxnxUsD2VAnbD91AQCNbaZ3VDCy2Bxh8Wwd7PYpDlODEhAS8fPKgK2CEtgU+btMVunzA6l8pW9ubgV5T4Gx56kQg39uBxB64xy+ZOSvtX1pwUM6+aHOTvX11YEkrWUA03hgAgFNCQBczInpzjgFqc3WiAt6ugC5C
+w9gNQRIN7EDhnBmAewIwFGU0BGABEOPPRAT0daUD4Ec+Q4N8Ef5rgTSGITZrCDVqbhKyTaZnmeTiC30Io5Sb4OSHfQthf64gsoGIMrYSCoGTzetrILeYzElkOXKXuYJfxttVByvbIsCx7YZEIW5XfQVg0gDENjB43BFuEPMGTtwK1gqsKkSt7YtHBcZO3pv0d6AIQQMISCPgUYYQod8xIbwXAnSYu99guwwIaNySE0JpuYQ/8qDgj73tsEOKCmn
DlBIJDTuSfIVp+0B5ZDnwGfJkl7ntyQR/IW2IcNZDuDbYMhuqNViTgr5Ylf+YnFoQh3Ry1CWh2/WErX0aHACUWxreTu0IdjkCVOPQ11nbQ04Ld0AOwYgA0HiCBwRIiQI8EpEXpnBjQ14DjHsGvA1BfYqI2MrM1NH70h0lwGuD3HZJFxXIVPMfATVn6bgSCRcVEAqwvJP0/g/eVOFmn3zXCrmdwp4Q8P555jNBqXJZLWyeZi95B8Db4UoN+G/NQRc
vDBsCJK7/DNe/bQhgYKhFGDICz2UdmywsGXVGKJ1c3j4zRGLtnwe3XgM4MfR7QIoPwAKLZjoaWQyRjIcyIDBhDHQsy5QQPkyxCEh9GRZg02r8QG7/EmqQJeIVdUSG8iP2IrAUdaSKGZCWSyQIiBRGJACCbhQokviULYRlCtWa/KoUrRqE78tRqHQCdDyk7GiSSbQ/UQ6xgFb9zRCAgAR0w9YQBm8TQQgLEnUDjBBgzeCSBwCBBGdF6NwSQEYGbxs
AkkAY5SnZwWa7AKkqcRrpWgLLHReedkNYjkiRCnByI2FeMScKriPicxR2bOHECuaPCy2zwmtkFXeGNsFBvNL5q23y5oNP8QIrtnuluTNi9BbYyEZGE7EbkteC7epmcWRCfBKyIsOht8GLb7s4EGUREBuzAbh9CCUQxqmFDiYMsL20FA3j2MRYME+qAo+bu6jkYKMlGKjNRho2cBaMdGejY4AY125+MDu9vI7mEwT6RMqCPzC7rhWRAghJC+dKVMT
VozVB64oodKPTBFA4JcIFkFbP90EzlMjqpfQcWDxgiQ9+xA9ajobGHrw9IAiPDfsj3ImVB7CngwQkuO4BhQNwEUa4NbTRa4Bm8/hCgkHwGEQARIfGRer7DYA8BOgmgJoHaDqBKRnALQWJOMGDjXhYk06FBqpPipKSQRt8OXqlUq5vJYWMI/MRW3gRVYNwXWWLm4IsjtcVYwePOFmh1A4VkoO2aDDGNQDJQWs8IDrIXDriYh7mJY8SRzTkHvMa28x
ZbEsSUkrEH+22DYiCj4k3MTs+xc7L3CuzXB2ulDXgPfw3BKtuxE3XsYiJaG/ZNoeVTyTe3hEHiWR9kuNjfQihniBxF4pKVCUQ4gS8q2ow1mCW/EVC/+oEoAUSWaGwFbWkskAbARSFfsrSWfd8SKLT7PhWSiuDkj0lVwPAw8vJZyIq11wyiDcIpVWWkPlgSkLc0pEiLKRXxGkI8SpIUm7jVJmzv22fP3LcF1JB4DSoeb3AqUjymkUQ5pOPK7KVnpC
7x8o6qRnizw54XS/QzpshONB2hfMMkHxO0AEjN5fohAM4FAFUi4RcANnFSvZ32gaVo+JEQ/O5D0o2YTm5pJAuiBRTVou2FkSfNsCnyFJVEcfSmsdgrStI6s+wNYn3G1m89hJEDAqFAxhk0JOaFYiXtJNy5HS5Jk5IWmoOK4pcVBLY8EepN14QFtJkLXSfBzOI5o+57wDceSyoGyl+pHcApJ8BhB9dbJ5tf4ozGWbFsRuLksaiIyZlVAGRwFPVGnX
5Y8ieZkAGJpUBnBAglqYhZRMSFwA5NcpbwApLTE0TogeYY/TomKhmqlMxcRibVMdWRGGpF6dTXUYPVh4tSWm49TqQnMIDtBm84hGAM3gCTexxk14RhZBDUhCByOpA6CV0JbAppjmkEfOHtnhCDyAhLYZidwIzjazdg/CUDo3MrhUhaitlJICLEHBM8u59wyACPKhlChXhLzKefDJnk7IZJeXOsQCKLHqCzpsvYxRAEuk68qu28rKg7Xckfy+xBot
8GNLtDzt7B6IscU4Pt6EsjINNG+T8BMnUiTy15ckc3FjbAgWqNI1+VnQZmh8mRzMuyTjOPFhQEEF5X+S0O5mXtDY/ItumHKFFyjjcasmYLIribmQFF2wIDoUqzAKiNW5Q5UZUIaF8ydRjfJdphxRikYUJaEjCVhJwl4TBgBEoiSRLIljiB+2AajlZTwL1F/gVwNEMUkwWscP+YYM+oAu/6/jx6CEw0fUN1FgSoJcnSAR0KDHdD4BfQzZVPU04SBn
AQgPoPoGcAwAWgCAQOC0BgCXAOAuAASL7CBAARjQQWZYTBMgAqwe4cQUiH3PYmsMH6IiuIAmAbRUifglxbiTK1OYgoLm5MlRYWL573TR542GtlovLG6Kvhig75jWJl4AELFDYrthoPl5aCjF68yxVLWsXXS9et0+xZTKN7UzYCOC1WAJHcXnobemIycTiIxTdZm4T4sKCZNIgXzUAyIdEPdn95nspp24nqruO/n9dWRpER+RFGLYZKEp005IbkrK
bmyZgwo+8dK32JIrzmirPNOnw/FFKvxio+pdq1VHiztlQE4gC6vFkHLnF8JSCbLJNErDYBJyy0fHKQmdADwzeIQABEIDjBxgboxIJrh6CSBOg3sS4AMELmUTVhyUUMXklWZSkWMKcKuUcFJBrhmuNLYyFcyfrDhDgyuckBnGSgbgy4tw/iVQIAZpQLIOzWUj3ES7DwCxIkwET2SvyZdxeBK2eT8NWW1iYqi8wrjulOlNje2YIuldrxXKMrbF8tPe
WqIPk2ZAYt8kJRdCKS60vePg1ADCFODkgkQG4yIcksaqfB6Bzk3VW5NZUfy4le4qRvbmtEQBPw34BAL+H/DxAgIIEMCBBGgi+ME6posxi+rHHuofEgcGAMaA9EBJYkcATacaE0DOAuQzeCgKpEDj0BgNgYmKc6jilcjzx/87JUAokDohNA4sHULtQZigLaM7GNNsCC5gIUqY8iXCGcHe4qp1Y5U9Qu3WB62qXFp1XADUHwVqjjCLFZpuxVabYwrR
vk+Roo2UaqN1GmjbRro30Z/LOFLRVAM4Gja7BjoltFEJ0SrlvB0xiBNiVcHM3cSjgJIGrPsB2zkR3gqIYQWUhJAf0N20KiiEXDuaC8XhdbbRXDM+FbIR11YsdSSrwZkqiuFKsxaStpVWKl1YBG6V2JMGTd6pXqmqVWCmAjj0OGI4xliLOWCqtg/HCiEbXa6nyWG7ZIkZgUPUII1wBkxmA/Rfl3qr2jBWknqgvUQ4/oPSWpOkuO7cjE+ACnJdeLyW
CijV1S0Uc+Cs395MatwE9Q5u/o8k8kLmmyvmRRAeaPcxQ/jWX3tU/iVR6/Z1ZqL35YcHYXS9CZIEwnYTcJ+EwicRNIn98b+aAO/sNLSkmUHgPSN/oso45w1qyYyJFMWqgQr81lO2v8Tph8Wc5gJLSg7R0odg4c8OBHVeuvUwCb1t61/cZUPwSDwgUoKINifUnOwrL3tyZPOCCEclL8eWnMZVuNR/6NLxOeW/Erst9UQSjRey0AWaMDVCMZNPBIwA
0DDRSVMBdocYDcBqB7B0cOwG5YMCEDqaKBXClaEkBrgWQFWezd4JlEBnHsUg4UQGIqmbhdZuJabXtEA0ZhEQP6vsxtdjNEE9qsVxYzRb5rxUBa1QGoLUDqFkk0qFJpi2dY7qALQtl165Oxax0N6OL2VVgsaQXMy279steLAVflQJjFxus4Yx8hVtPLwJtgkq9yMrixCu5b1iq+kaEJVV3zuG2KeNlqp61Ea+t2ShWTeOVlGrM+9ubXV1hSh67gUU
GapbUug4NKxZ1Q6EpqOllg6hZre2nTJ1S0yze9HCiXbBJZ1J82dlQD9eRm/WARgIoEcCJBDqldToBGmgFQNPuCtJeGIIBjJP0Bm7ZJSspakGZDV2Uqn69cmuHCCRDsCrIbapzQgVDEpxR+1W5woUO7WYqNFaoXFYOunkljbd2oKxPPNd1Vtndq846QQ3d3xamViW2EaYPex+6rqnKxCJoB5UOCvF/KkHS4IxS5r3gcrTwfsET0eaOS5Ia2luLG4Z
7lVLW1VazP+gDxOZw1RrQNtT6Grxco24paUFP1sCL95kK/fmu9zOBqQd+rGnkhr1UgdgNqn+SLOb1Oru9GowCRDpyCkZQ1CAcNZGujWxr41ia5NamuR0TKEgLZPJG5Bvp8G3xP5JZZCNWUU6W91sNA1v071IlZDUAUjNUHqDNA2gXQXoAMGGCjAJgGWlfndq02TK4QfcAspcP2DSqp+Jh3YF/3MOSHLD2ImnRLIH37LwJS+offCTgmnKyFcEBOj1
Nj0546tvPcye2BSiFoCyoPKsFwDT0kGLl6AG4PgBqDWAag7QIifyHoDtAl6nQUgPEDqBsAMWhi86eFunWi0XdfRmLfSri2GCEtO8tRT2oSjXr6iSBTVeRGDGfSMyZVGkAmPa52Q+OrEwQwSNGadzRJaXCeZKB0XW65ii2JGVrtRlbZ1iXlTGTfpxlnYU9l2FjDdjXYYHlcVwlONcnfkJKkWn2VLbTLxJPqs9EQw8WqqzTszee2q3rYlOyXqj3VAs
mww32FlbbRZ0RgceqM9X06sT4FEvUNtvHWrQ5w20oBrMgxayQ8auPWVrkNlWb9cwpI3MyT9mWypSVuG2XKT9mO5HZruVUmtpNXuyAGAePUsHkNIcmI8JpdhjHgtJEmCTKsu0lHN5AxznSpCMfe9SgiDBOgNwUIMHGUTKBfYgcOoFBAkiBxfYzAEwGmqhqS7SyufbrLwNNJzKxVO+npIcEexdI8RQc7ifLjvqqJ2JPXbjvcaKSHAK0FIO8iLD94Xl
1F3msSezUnn+am2QWolSFtQaTqndK8wEWvLUlgHxjEByYwurXU7kzihfYuINhK07szyxknI5Zn1oqkSCI+c9WCcoMvjV8FRukSyrhG/HgT5B0JoRq5nEbXJY6lKbOMSCaByIVSRFNgHyZ7ZBYUC8Qr2FPBiAoFgsJ/nhWIo7RSKBq3jVVM/ECbzekUrlLAYxNibbqsJSTaQteoJzlIfQMYIkCjWXAlISkQOHaC0btBvY/iIieLuLmIgG0vaI6GiB
YFR6q5xzUKDPlwKR5usHpx8RmJfEyijDJbAZCbtf2Rm0uH+iSVl2HX6K55ygkA8vMi1DHzFIxxdYOwmNe6fj+4v4ybw5VjTLYQe1pSgZy1h7iZ5kZrslDBSa1iRvkN4InpdzTaVmzZy8UquvbxLSLbWl8hCfhAcyuz6dXs2NTxPrn8lI2iORtuJNy4ILz4rMbKIUs1LqpaJJvY6t21SGETV1QWWaykM4nXVplzoSkYwBpGg1ZypARID6BAhBAEkC
gHAH0A7BBcvsFoM3kwCbSKAASHgHgvYW71VKFLfhHyVfIsDW0EKgad1k2zxcCkRcIcDHpbBHNBJoKIuJuGBDPjbg9xlOP3kj3jJzgIIDi0lz8qIXoZ0Z447GaknoXR12dULROS3QnTBjwBudRdNGOEXszXuwE/vL2h31IxHauhiNMT3hKn+HWCg5erjaR7z50SugyRam6Z7OznIyS0Xr7PZ0LuFEdRBojRDVAuMa4CzkLDAUSFcAmgNMtNsoxYGc
mlwMqauYB5DbMFomcTGNM6AiboehC5qRJtHqWEOpZ5pCVBpg1waENSGlDWhow0iQsN75/euRDRoLaLIUGLEAiAAtxADhZzYKFcCTbSL0sQZ/vL53+D5JGMWM0tvBeS59qfNZYz/fisC21Xgt9V9M81fSyUr90dN0A1dPAMrqKZbZ0i04qnZjSBQ1FvlXRasP5bHoQ6T2SxcgClaxkeBv4G8HR31biDLZz+YtbZbCWsUpLG9RJb/mrXpL+qukmXpV
Z8nnw2NyiMriChribIGlxvUqN0tA7ABLquw/IbDURqo1MamEGoaTUprhNWhjMLyRprFwG0KIYEMiBe1k7p+A0vOKXE5hG0EQqiYcJEfWVU6HerQt1e3pMtJGzL6diy8zt6E2XgmcMRCHADgCmgMEWWuCNFCyDdT6yTwBgIQAQAUAWgJxyQRqGbvrAyMIgFdA0CPD6BTQkDHFZburvjLkIHSruw3eqs1sf99uge+3eHuZA+gfwtqwCLbtD25DXdnu
wrwZtT3l79h1eypIXstil7Hdruz4g6sGCD7M9telpKypn2V7s9zgFAD6CmpDQmxze4fdvs5BjQhAIwHi1yjX3t7mQKCFgEZxEBlAF0Owr0CJW/3O7mQYuz3sU4PpIHXd68D6oSNM6X7596TlBATpLxW7eidkEaG5Udwwrb6C7PF3YHV3cHvIWo86A6TL4SIDaUCzmi2IQB3YBgUuxVQIBCBT8/eO4LwvzwIPMgx9rFgbGwfV25QJAD+1/edA/2xH
xAU0AgFaZMOZHIkNgILCQcnXgg6e73SQAXR2wWgvIB2KQGUBSgAAFIIeoDP0roFj8xwcBuAABKPUD4l9QlgkICwIx7gFMcZRzHkGLx545o52PAmZy3+2vc5BKQ4AxAzgHTP5xkWEAjjisKQENZ2xsg6jvaGyE4caYiArTVJ1nTeUV20AWTy9FGXsJ5PSAnDvh3YDqBahcgxoN5XAGUeqO3lmgDRyQcQhLB9OCAKCGwF5BsP46szMIMEFacQINM+s
KAAYEwfGMdV6ewBeyG7sZABnSpta2iWDitPGAHTrp0j3AAup1rTYdCJ2CAA=
%%