==⚠ 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

5d1f10af25ff647ecd7d1c79cc8d0e5c67b86024: \(q(u \mid z, z')\)

84e472f8f415e4f915e543849db58fb2586e7eb0: \(m(z' \mid z, u)\)

b73dc4379889512e57a207d2a6dec1bc4e3c8e83: \((s, s') \sim \mathcal D\)

8687dbd4234d5cde4c7a635e7a84fddad90ba033: \((\blue{z}, \red{z'})\)

7204d8949adb120bda9078df7f2a27553df17341: \(\orange{p(u)}\)

535e4645b16cc5a943748297cab8617144a7360a: \(\orange{u}\)

2f57faa82674e7276e8436fa8f678a6d2a14ed14: \(D_\text{KL}\)

bd4b0f576eea11831338a2db9bf32bd15a78cb6a: \(\red{\hat{z'}}\)

81b5b4b751367010dfa5b7858f54effbc9b45371: \(\phi(z \mid s)\)

23c32b38747aa9e18c6569ded8ef56ce08569ddf: \(D_\text{KL}\)

6fa297e2d061877a10ee5a2649c139cd4a1ca822: [[assets/images/Pasted Image 20250828150319_856.png]]

%%

Drawing

N4KAkARALgngDgUwgLgAQQQDwMYEMA2AlgCYBOuA7hADTgQBuCpAzoQPYB2KqATLZMzYBXUtiRoIACyhQ4zZAHoFAc0JRJQgEYA6bGwC2CgF7N6hbEcK4OCtptbErHALRY8RMpWdx8Q1TdIEfARcZgRmBShcZQUebQBGAGZtHho6IIR9BA4oZm4AbXAwUDBS6HhxdCIOJH4yxhZ2LjR4gFZEgDY6yAbWTgA5TjFuePieeIAORIAWAHZW7ohCDmIs

bghcAAY00shCZgARDKgEYm4AMwIwxZJ1iYBBAFkAGQBVZ81yeIOARQBlR4ABQAStM2ABpTZURbnQj4fB/WDBdaCDw7MrMKCkNgAawQAHUSOoRotMdi8YiYMiJKjbotsX5JDVmHkWos2HBcNg1DARptNotrMpqah4tpWrNNrMAJwdRI8Doy6YTaUSxaYbjOHg8aUpTaJdoy0ZTaYdPhFSC8tDOCazbTTGY6hXTUbxDrxaakrG4hAAYTY+DYpHWAGJ

+eHtotNFyccoGSt/YHgxIQ5oeOceJpNOjIBQiZIRtKJtpZrMOi6eJ0Oq0pR0uhapAhCMppCMDdpFa1WtKFfzEmNRqSEKduBMJsrJZtpgsG3HhHAAJLEVmofIAXRh5CyS+4HCE8PpwhWzJXe4PDc0R+IAFFglkciv14shHBiLgTmcWrNEolNhMpTWrQ8LMizVDiu77vgoFsNgeKfqglz4NcDaYrgpBQAAQssjgcMoEHnrsGArFhKzLHhaBnlBDb4K

EUD+vo+hqB+gJsMsUD4VRhGoeh9ykNiFCSCE8GUYs2TELx/GCbgwmQYscCsQ+BQWmAhS7KUArKWAmzKRuymqWpEoJNKmwSvK1ZduO5pqVper9tqMwOgqKqVh0OndCpmljJsHbzMaxpAd2nqee2nbdr2+oDvEbl6ZpzizMW8SbGM0rTDwcxFvEszxO5YBJK0HatO6kplhMox1q00VqfpuwadZ2lqWuFq6YR8n4DAyicBcVwIEUAC+dQlGUsCIOs1S

1A2vRNCMHRJYsk0DEMlQ8BMOpSgaIENthawSLg8Q5kshzHCOaCIchhG3BIjx/DiHDYvQABS8Q/AA4gggIAPocPg16JL6yjAvtsLwpSIoQLSZxeuSBL5iSKHehSSKVGDAZ0g2DItiesOERyXI8nytVlEKIrTCWYyJGORb6uOHTSuq3AyuKpqmjwf6ldW5OLFaqBxbq0ozPK/atBMNOpRtXHw36AZBqGEb8vt0awXOQgJlLyboCGuCtMQEznOc+15s

QxItEWJZlhWVY1mW9aEYJzati0IXzGFM0ReM2UocO8FC26JXuosSuLsuBTNWU5xbggO4UbJaNXpjUcEWUl7Kzed7ZLkwfPq+77HaK36/v+pWzNMqqgcs4Hx5xZSBrBOenQgXpoZh2FkRxonEc3uGt9RtH0YxMinCxbFd+LjcSWwAlCcPZRiWPE/SVPkDyWxj4xXVOX1bsIelNVpSGfExmmQqXZC6l6+2WMlbTI5HTOZ0lW7DvuUsz5rR+ZMAUpTl

eUv87faRff29YrxQSElHUqV0qF3dtZb+1Yiq1lKm6asACPJr00hvUojVN5yQDO1TqJ1up9QGg2YaSNCD6GiONQi81miij5nNJgfQOCDA4MMB28wabfnmDcFY210C4FSDcQ6wQPxdSQvXTa8EIAAE18BFwQM9QgRgACOFAJitHuhQFs/RcCJGUHrGEcIESI3WJILkGhAj7TJD6QkhsCxsjhlDEGSNwb7XRkycIK4oFlBxtyWA+NBS4RFATSAGprQK

g6B2as0wTLAX5lwhsXMtS6n1DwdomVybLTGDOcWUNEzSxTLLSMF4YxKxVkmdYWJrDME5IEHI+sYYtFSfaK+0TEjzAdNE4CixbYtnYmgfs2h/zLU2NWNRM1vw9iHDnUY/JCrdilP7BkgdHxbwgGHXA24ZIJ0gPGYgcdUAiQvFeW8mQ04rzUoNc6kiDjnCUc8JR+JrwADEOjiUkEYA4mxgSYAwkYAAWlInMQ0KjrDQvxCAylepNUzm+ERX5EjSlmAq

JFgVrZVzLgvCA1c4KiLOhiKIUAhArggIgUincDHBEjugLW8RziJVwBmVoutyyzAQNgYgsxiDxGwDKbA2AJjEE2AgVo2BFSaGFpsNKlj3CVB3l40oUUsENmwNiOAHFCFFEueUEaEgyEUP2tQ7gy0gpUIYU0ZhrDUDfjaEBOhm0eGhL4Ykfa+wjjCNrt1G4kiAAqgIjCwUwDwXAgNDFOJMWYkQlD8VQxsUbUUkMfRhppCjCGMdGT7PlRAHxeMWj8gC

cKSowSICOtStoBFwsiwyjSh6V+nNNTLT1O6TYfMRlTBmGLaNPo8lqwgGGWW8sSm7O7RU8gHBqloTTvU2xIwPSDLdKk8qpYeytBNWUHp9teAROLjNMKy0kV5VXQIT23A6yKlprOJZS4Vmbg2RHLZlcdmxw8ZipOKwTn3nTmgHelyygXXQH8+SlY2UAA1gQTEBDiegrEhAAAl8TEH0EYIFkASGgr4uPCFakoVKsIi+WF0y85/kSki382T0UcHLgc6O

hFsUerEQ3QlxLSU4TwhSu9dxpgIDmOmHWLpWhcfONKNowqHTjmlMQTQQtzhpiFh0BArLNBFK4jKpSal5W5Whcq1V6rSj9U1cQkFuryHKCjT0M1eDUCvwmPQxoC0WFLRpjEjtewHWgumC6oRCA4UIU9RI9YyhvWaAAPI8D+PQJ5mgDgwYAFb4Ckc4TY70YMUGmO9ENwNjESFMdgcxpmwYS1jXY+NDjE2ZfQC4w86bn32OxpyXxXNEpFqJoWumLQt2

qmFkkac/4RmljrdaDp4ob7pJ1L5IuiQE14mHQU/tUZB1Xmm+gSpY6amTsWAbONbQSaIqSPyF0+9uMTYbOuvpqA2lGX7F5Isws85TPgmMNRLNpxykWfOK9GcGzrM2Zi3Z+zDmEVfSnU5ikv3KR/XsSRfwhBCEKnAa85ZNi+nBFIowAA1V4krmDumQ9qpGYKMOQs07hrO3n0mIoVEJyUspS4UcxbR+CdcGNEvWMxlubGqUQE0N+Yg2AHQygpq/Hgwr

Zj8KlMQINry2XxE0LzhAiR+UICmNKggsrlLqcVRgxYKqOQ6bAHp0oWrUNGf1TZxh3AXTntNbZphi1uBtKlMBLsmatqOo2K0DzbqvN0bxRD9YBpNio/iDiZ6C5HgwdR0IA40WfjAduf0aU+h0tGKpEjbLuXLEFYacVnJpWU8ohTa44QGNqvZ+8XVnNoo80Nma9wItjqfz2mMplUbXlQGHogIk50KQnvVjLKqSUR2c9TdVjLWbxTFZDpHxIZb47ans

XW1n0YyRMo1k6PyJ7LprPHabL07gNZtA9ltHWFmzb95jju9NOYHoqzOYgAHd7X7VlffYxXSrx4S//cTsc1OIPVxg80ksNcrcvco8i8m8h8l8j8v8oCjlLjmhuCpCu5ODoAesDwL6MwNMAuDiNDm+PdNMNgDAAgNFt6kFhMLgEhrAUbnwuhlQIgf/tZCgRIFDjDh0HDgjkjijujpjtjpQYZtQQgVhkTmUHhtnPdhMkijfFlAipbuRpRp/pAPTriuI

iPIxizmJGzp9nCC/ugMLLaBJsQKlDMMQCKqsPgSLnKPxiLuOOcMQG+MQMZNGPqM6qSCpqDmpu5BrmAKstrmqhXBqgbgZjqvwRhqblNP0sLKEXZpamfuOMlEJtwqsK7rgB0B7kdAzr5lcusMwbDvDtEhwWjhjjwFjntBSsnqDBViVniIVkapNggEmuVgXpVsXiyFjGXrjH4rmk1oEi1g2I6mooMsNmvnnGaGMP1tzOTBEiVE3ikt2EXGigIBLItr2

tKNgJ0JJgOhPgtlPurJrNrLrFOptvaOMH+CullEBJKntggM4B6N0jvhuhfGWjTHKJKDqKcWohfmgCzMVMVAiq9i+A/quE/uHFSvIRAL9iXj+nAZ8RaPrl/snO+mch9sTvhmIQihIZTp0FvjRhiq/tRDBDivgvRnDI3CRCxtwJCRkB+hzgFsFqFuFpFjFnFglklilmlu5GsjBMzmgN5IlHMERvqNOIiuTOpnfrgL4ZXh2CMm6ElHWDEnKFZIRLCJg

APApKdpRDCW3MQKSS3GgBST/lABzv7oHsHqHuHpHtHrHkovHonuyecJySuAltoFKA6E3nWEiraEkEiuycoGKa0aHIQMqcQIPHUn4bsLCQoT3AYH3MxKqZitxFALPFJPepqYmZPDtDQftEvL/jvI/MEupMgo/NcUcYlGolfucSfpxtcYegqtqI8bKPbq8XMGojpE1P4cUIEaQsZnloamgJ0pETbvZiMCRoqCMl2AkbwhsLMKke6ukUSZkRIICH8pI

KjhQGwO9EokIH8s9I8Eon8MBn8JgEoo8AgM8EnvUVIBGhYrUdUTVp2gjHnsmmiE0e4i0beZANmh0ZXl0QWrXq1tzP+EcXMBKEBMajTDIZaPWsWP7qlBfFfOWH7JUZLOUjNhGBsbGJPshUtqOrPmtg2BtkVu0OKGOD+E9raPKJlLcXbKdk0uMP+BMa6DfH+B8agClOlMqPqH8cskiaHMCcmWmu/q+VRtspzt/sDp+n/hcgAX+hANKB9OcD8EIMCLg

PdKjnyn8u9FIteEFtMDBvQDBjjlQRsBmYTjhsISTgRmiciuTEJu3mBHTvid7sofiu+FyegKzuSpoZSpIu0PxkzK0JoG6Hyq0LgClG0sqKNngOKkVB6NMLgN+DNMGi4SrqprsOrkIZAD4brrCYbnwUsF2QauZjQnxv2RapUG6ELP2FOKVOOUkRMNOV7rOT7owegMBrpR0P0JoJgPcB0KjrMNFlccQK8NeH8H8hMH8meWVheTlpGhnjGovrUeeRUYR

G4hmuyOXp+Y1vmkEn+TaHaK/PML+D+G0m0oimMaMHaMBHKLWDTG6EvrUUsX2qhXNpscnEsTPqtnUgvtOmgO6I3m6ClOWEkI7gqZACdnbskPuqkvvOGCtFMMxc6FKLEeBXfpekHI/jet9rictU+oJaCYDgidmasiIaTuIcig6L+MjXZVjVXA5Y1U5QsS5UxuoR5YqVoRzkilONrClNKNJAFSzJoG+MZPFMQOcLMBmPwk7IkCLeki6MriKHKh4elRA

JlaGXrkQoRIZfjtCBNIVXvvFCVbbrmvMKVKaLaDVaCr6PVd5ozn5hIDcncg8s8q8vcO8p8t8r8gChNQ+Q0U+YhTebwAtZNW+MwIJKmtjVVoJZmh+Q1lXoRDXtyX+fKGWnyWODKeWP+PMR3vWp0CWOOCuolF2P2P2JnVYsPphb2umNKFxu5s9ehVseXRrFrDrPonhVnv7uKF8SMZ0JlJmmDZ8W6AfkWCOYlO6OWGOR7DnC8Q6PqOPYRPfmjYCRjdo

aCeCbjdRnCW+vqdeg2MTRZeTo5pKoVDTnIevQobTUoQ3OhNqZ3LqcpBgPqYaTWMaSHmHhHlHjHnHgnkChydgK5Y6VKEXJfIitKMZH+C0t6b6S0AkNPWJiul2F8YPqzYGcGWqZBBqQ2GJNfeRKgHqWJRzjInIgosoqouopopINoroi3WpD/a5d5JvjWCksLMBB6CKT6eKYlAMTqOTA7s6GqHfUqSqUPKrWrd3JiL3ExIIyGUJQ+vlqPDQUmZijPPI

2mcEdrS1Kqecg/GguvAWbFDMMkg6GVAilONOCZDow1O5IWe3ecWWOMN3VlDlOMBEiAzdklFKWPRVBY6vGpM4BTYMu0kXWaP7upmAE44Pa4yPW6NOJ45vK2bpurcCkEUZeCv2XyJmtQqVXvv2PMNaubTtAcFbY5V6usDABwNMMQcoNFuFgcNKGUzwKjpsMQNFkYEFlQ/6Rlt7cjL7UPtDN9QHYhYtY0Wms0Z4mte0THd+dtb0ZqDME6StFKWWDk6V

KkmMdcflFfD2JMPEj0w9fEAgHs3s2haUsQA9bsc3QcUVoqOKJRbvgnRPfdmoodaWbfvPdvYqbxT9jjaeKfSJfCVvdxZALvaifnM2rDS9tRDidI9BDXHTZfU3GStg6CZgx3Iiz8zRGI1GRI0GbGdTQzTxMo/PLi0ROJAS5IlrZmRoylYAqgnVLo9ZFc2RjVC2bE/E/phrbleS6k2gCAwbYOS0CqMXKqGTHk3wteIU7C7begI8AcFIoCPoM8D8M8EY

PiBwH8n8EFpIHBoCM4JIM9F7eUUMz0/7SDflo4pNUtWUCtSXlHetRM1tT0YRI6tcbM0JoaEBULN2BzAkpqG0AMULPMGlC6NEmaIy6a12tsb2gc/s3lgrHXa9RG43XsW07mFngyzcxukWmENMpWOcTNNOJxQCU+J9h80S6vd88Jfjf8+jTveZcC/yXWBKsffZTCxfcSVfSi4o+3Ai3TpGQxFiyg3GVEPi5JCo0iysKmYS6oxS8vFSygmpHmVpHS2p

Gm2gsyxgm2TlUk5yzrdbkam6Ly5avKMtLKCA87q5jtE8uK62/OegLJe9PJYpcpapdgOpZpdpbpfpaUYM903eb03Gia6XXUUHaEKHYXhHaMw2NHf4tXt0b+dM9aK/ERdDZTrKLaKG1zNtoqKbQqD3Wh/dQm+cH+NgHLLXcc6c03fsV9XGnaAXaLOtDNI1kLms+m6dolGKMLD+O45lM2iusxZMG0CbX2AWwvUW+87eiCT82W+SXfVQTwOgwDqJR+m8

2ZSiUOZZYqNZTcRC7TkS4oYSU1fGVg9J9Q5SWnBzoucuaueuZudubufuYeceaebafaZqN5LWKaPyNfkBGWEBKw5A6gMWM2kWDWGh0lEBFiUg5I6g/CPJ9PF22Sbp729GVF4O3IyO5O2OyS+l2SxmdgjO24VozS/O0u7sHFCAiurEhKAx+vlcW0F/ElAMZx6Pdx6qNMGu14Rux2esHqiZgVbu2gIaAe2VWOEE/KKdfaokaCnq4Ip7tbRkb+pIvcjA

PxiMu9O9PcDiP0OcPiKQAcGEM4LgEFvq6npeXloB/7ZmoB9+6jOHSM36Vmra9B3HbB3c46z6/vCWBFI5uMMqG6WMQ2hKL9waLKPKeTIgwsbkgm4UkcxhfklhVUh9fPq3X09WB2EkP+JWicQ6KG33bwMWJKHm/x2JraBF0ejnKlEJiPe0MJ8p5AM/hJ8JVJ0S5W2JbTxAEC2p/vUXCMgqE27p+ffp/TbI6oRIO5axp5doRAOmBKJcLgCtFh/JpdYr

g6B0JcDrIqGQa8kGh6KcB6HLaru4WrkrSrdI51+y1u7lzu2bv0nalbowpk2gAdatC6CKxsJ+5tJ5nN3OQt6gegZgdgUILgfgYQcQaQeQcd/nj+xD9YlngBxLOecHaB8+atZB4950fa3B29z9exxTCZGON7G0OD1nWEplPaOOL+DqLtnBfhw3fyNYcm5zvNvGw3Wc5R8j3Gi6AkGTNOD+MqEJoqCx22BDUlKWOdXMHKDMMxQaOOFVfvDTwC2siW1C

/xXsh/j8yz0pwvxz/CvvRTAG3z8vzRgLz5t73i/Cwlzg3faZzkI/QHkHi/Wae/Zadad/Xab/SuHQxlBs5krWFIRA+w7aQDIpdhG4ZYlkZ0S4Ys+2/cbFkI0P7OVh248BRkSyUbZd4CIRBsFmXEo5ltGq7LxlVBwHWQi4ZaKcMZGyZgIPQswErqUE76jBL47QGYCqB9g5R5gudV+B6EYpmhmGVAsADQO770C++TA4KMP0yhZRMo4/Xvu10wQiMAi5

vTsibit5hFLM2oIbqOClD7w2OrvXAAuCvaC9imEgYEPgDig4heIEwfQOQwmAcAOgMGXANeE2A/JEqnlMoid2mpXk/a81AZua0NaWsi8L5CDrVnGZPdCYL3VAHXiNSFQUgRjZ7N2HLDjdCIiSffB5xShscZkaUZGoBwerQ9SOsPHtO9QnSfV2+BFBKN+D2yjdWkmdXHkBDLRdhJQLoJtCMh/B8c+YRYFmKG1eYL96efFcOgJXLYyMN+iJArjIOobS

U72D7JSipTUoaUtKOlPSgZQ5bGUsMSBKSpIgAxsAgM2AUDOBkgzQY4MCGCggAU1rzCwyiwhgtJWiz6AeA+IVoMCGAz3RsAQuQgBMHxDLdJA90UgJsD+CzCLeAhMMkrW365xOOCCMqDy204n1hKenE/gZwJSuUSUzNcXqzS8rrABa0wRTOcCq7DhdokwIuuTH4QSZpQmgc4PKAFptA4qEwbAJoA6AODlMyVAYblEVqmUMq2mVWtlS67pkUmCgizJW

BNYZNDaVqNQdOHOqaD7oOgiEUL2korC1hGwiDFBkICwZ4MiGCPo+Ru6/tjWgdTpha0fTgd7uUHdPjBx/KvcygjqHuiWEFyC4virsVZrOndAnxuMsCFZohV2bRtDmWQ+unD17St8G++FemLqAqrIdMoqHbZmujuKnZM2x6NrAiiLoZR5+1bMTpjTgEajuhL6RTv0MXo1tVO8KfOCWSIy2VIWoJcETbRHjttu2t9Ezg/R9R+oA0QaV/i525JOlUkUw

Y9l2GaHFxQW//EYCTHaBmh+8NQ2UH+Dk5HCMG8XHUpfxLF4NJEBgowSYLMH9ALBVgmwXYIwiUjFS1Y7mHQy2adBnYNYE/OD0gBsMRgsXCMpAOS4wCpGoJeMhO06FxcsuiAlRsk3QHqN8uElQrvO3Mb0i52uwBmD6OMgodJCjLfMg1DibSD2ysgtAWo3qC61Pis0dkQOUtRFxEUV8fsJoPBDCj8xPvCQGcIuFXCbhdwpsI8OeGvD3hCon2kqOj5VF

Y+qo0GInxHDJ9rWYzerIEMgDx0Qhf5MYCTDzbr41o9DdvJ3hzpgUxgWUfeoVDj6Q8G6usJ6uPjjZlJXRibc5lRyKxuhkgllYuBQONRCxB+/LOIH+B/DJQxwmSO0VxFDG8Azi5OJIFGJTExjl6knL5omL+as8t+tbTnhIQlQyhQ2VNOMVimP4oSz+4AtyciyLHDjCI1/A0mOMMGzBjBpAUweYMsHWDbB9gqse/1rxOkewfMToL31GCH4r4rY3sgkB

XRkV948UUqGOGrJrIgBx46LvgH3FYoku/bHFm5LPGktO2V4ueDlzZH3jsy3jGqC+M1ztSFUcoMtOTiUncY86pPP8a+MfjyS+pSKAae6W6xfwVoczLSTqB0nLMYm67FloBM3ZyDeuXLVAHKFJ4MBCqDvUUNWhWhCxm0mgpzh71m5FNJWEAaLNFieTepzgmAfAPEHegUAYM+gGDAGSUTSR9QXAL9pNTTwzVry7gnptdzDreDNRb5B7gEJ1HPc9RTE+

DtzDShlpSwBoasKOVLCVhVmBofKPKGnAygDQBoPsvaKh5j4AcTfSSTkOwqI8Lm3AEBs0iygqg8634R3GpLOxxA2B3sV4hzTMjw0PQK0UsOCznqo02eHQz5snD+zr8kxbUySicOWGBpJAMAeIM4CeRsAjAx5egK8AwjvQgszgQgs4E+F45DhumX4fZJ37olTQk0g/rmI8nzcGaIvNyrCPSyS9SokmTQMiN8idBJQiUEWprC5xqIdYK6BALrBlx4ie

+WUfXrOzSr0jlajI03qy0GEoZcqPXbsuBJ2kISoJh01KDujrC/EJuE5XAI8GQn2zmqayVWRhHBDRZduGEKAO9BgBSIFwBweKFAGeAwZeQAMzpkDNcFGtQZv7cGWBzu7QztRX5DPvqJCRGpm09oEyFV1rAVd823rMJMAnaRjgM6m+Q+jXykmZDxJZHCNrkLnx0yfq+Ud0Nw0x6lkDQ7MhtATynBE9i4JPPjvBQcg7pTJonHiuJwvHxjV+a9CtjLKw

H0EhhQBB2qAWdqu1ICHtGAvsLmHfDTZscv4WTgkJU4KuNstFnbNP7C9oRYvF2RzkrCrFMw5MIuCLhCr7NSRsCcTKcAmAhzCoYgE4jTFsIN9mArhR8QqjpFdTCIJvdUonKAmoT/0is5WarPVmaztZus/WVcX2gHCWpBozUABU9LpJvYQmBZIvPGLnYYKkqKtGFDhoFDzcuodtLlJGR1hkauPSZg61/YPUsO8QewjDxdE9ppJbfeEU4Mj7ESw2pEvp

pd3j6eCo+YJHwSn38F0S4ZZQNodGLfmxjQSLuUFICDA4JjixwE6Ev2P0k5w1EoDdhMjR7JWpM63IvlqKAr4mRSMRaV1GkWvYb0gcm/QJYC3Nm5xCo0SJdJyKL6uTbZLbXQRgMpY0jcynUrwpY00jFxk68Ua1HoppitKpBbS0RnRExbQCB2RLQzh22QGDib6/k6eKWPWB3SHpT0l6W9I+lfTDyv0xIP9P4bLjHSbHToNOEMLug+YpocCjuP85bo0p

LpG+HWCvhFxAByDGqRws4Vn9zxDUt5ayLvFzLLwFARymb24XFpUocAP4NeH+gLgEARgKRIkE0DKBYMZBRIAU0WCGVU5+0J1r+Bo6WwKYaifUEE1WYwUjIBPHsDnKEzI1PRnxFGdqBOVVpKYtabfFRWmgRIbqUNRKKkn5ihtGJmbRYnvJpl5CkeFMl6lTNDDujCJXTRxedz7kkSgOaorwRqKHml53yafUeRejewicgS78zFKEp2g/AIlX8noXx32r

CwJwRaFJWaBUE/VVQqoLhu3jyUzkClkAPob/lBJwL2ElS/nGMEzq1KUF9SkUUziZrdt2ckiVXvwkRQIAeAgqd0LaBFyJRhwwVZ0CsSSArEDCu0PACtAEQoRGFCtI3rHPYVoNOFWqaSr6G9QwZXgTwg4DAE0C+h7ouQcgDAGcDRZBg41JFSnPyo7V8ZCQccC6H7DdY1E6HTUNjwSAI5xwwsG+C700WfFpw4oFdHzDrFpQTI9yulbc1zh2gZgIFYyL

aC4YcVdRUzHZtyoR68rLFzfKScKs7kGsPF4qvpkJNzwUSQOVE4Zr4K1GKrNqyq/4qqqXoM8ZGmqvhADDfy6q4yBknORKliFgT+uvATOXb3NQ8j94nrSVJVRm75K0AWIIQELwdV/y5ZAC9YH8l4Uqy1ZGshAFrJ1l6yDZRskCZhh+GwKylK+BHEumuwuScxXqgkj6uJKOyYR/qiXhzjmDYBZezdcheLh2y6wnQRYRFOKjaAzQ7hPNV+Irijk0iY5r

CsoDmpi4wLmoGwOAMCoJSVBBo0AQSFkFGj0q6gDAQgAgAoALiBVJzAjrrHM3ohlaIgOfAuBOD6BEQwkqSWYosV6bf6fEMznZuM0STTNLfCjm0ys3uab+dmp5KGncVKiAtNmuzQ5pj4uLXN1mjzZkGi33lT14WtzZFsyDAgvFNEooBFoS36Agsj62OhlXi1BbMgasnIE8g2RwgGscWwLQaWC2cAoAfwRREtAJi5bSt+gb1FgATJEBlANCLFCHL5XF

a6ttmxLUOwTL1Tqa7W+rZkGvDjtJtU7Wrelv0CzxvUuVXZJZoYXYh4QwGE9JKhLA5z1o2oXsTITBja54QgKAblfBSAacr4QENEqfBy1GA2ABgYzvUAIBIaRg2U4CNKDbLTbRt+gTLZLJLxgxTEpANVHprjAkBmtRgVrZDtIDQ6Tg4pMjCjRICPA2AqwObbgE0DBAJW/ihHT5rh5aoMIAYSRKQGUDRgAAFOMBAi8AKKdO2nd5FaAABKfaMCAQCwqa

IPacnVTsrAChQN/OvndQBCHihWdf2tLWnCS0IACtUAJoHqpy3P52dPCBHTMq1TZBsduO7gIhqF7YAiA4pbXYsA4C3otdpAJDeyCEBQAxoJupDX9rsD9VsAuQP4EbrgDo7MdRunHddMJgO7CAjAb1C9vwBvbk5STMIMEG92dQtcRKKAAYDW1BE6lDGzyYvwMB/AMgYemhAnvRYJlvdvu/3VlXAD65ipwQFcMAChS9QgAA

%%