==⚠ 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
SAC ^Xrs4LGa8
Embedded Files
e7a5b255a607efc41e99c79d572165ac600cc88f: \(s_0\)
0aacb3352daeb2c801b22c7033ed0664791e311b: \(s_3\)
7b7b251d151b903c113b84d021c5caa3327edb4c: \(s_2\)
13ad942527cb361c3828adea09fb9bca1ab8db26: \(s_1\)
01a098cbcc17da16818adbc442fbe6dc672715f4: \(\tau \sim \pi\)
e212b838852e7465afadb18e8b5a8d1b33678ced: \(d^\pi (s_0, s_3) = 3\)
a7bc2eaa16d6f7afdfa4ea3814d298c69627d419: \(d^\pi (s, s')\)
167dd17b84c61118980729bbd8804e16351a3f7e: \(s\)
9523077a70d0bbc3094d9fa7580ac37da192fb24: \(s'\)
319324f00a526256c0a0bfdf9a9979cb47ec951a: [[Pasted image 20241103235109.png]]
fda757abb107971d2b78eb72132762759270daff: [[Pasted image 20241104000835.png]]
%%
Drawing
N4KAkARALgngDgUwgLgAQQQDwMYEMA2AlgCYBOuA7hADTgQBuCpAzoQPYB2KqATLZMzYBXUtiRoIACyhQ4zZAHoFAc0JRJQgEYA6bGwC2CgF7N6hbEcK4OCtptbErHALRY8RMpWdx8Q1TdIEfARcZgRmBShcZQUebQBGAGZtHho6IIR9BA4oZm4AbXAwUDBS6HhxdCCiOSR+MsYWdi40RIAOeshG1k4AOU4xbgBOADYeNvieRIB2PiLIQg5iLG4I
XAB5NNKF5gARDKgEYm4AMwIwzogSVbaABSGOewBJACEWACUACQBFAAZ14gAcSECBBWzKJ0I+HwAGVYMFVoIPOCBFBSGwANYIADqJHU3Dm2wgzDRmIQcJgCIkSOul3RfkkHHCeTQ8UubDguGwahg3Hiv1+l2syipqEF8wgmG4zgArEltNMZZdeWhnPE2m1tIkeJM2jKxkM2kNFUqJST0ViAMJsfBsUirADE8QQzudKIgmi5GOU9KW1tt9okDpOJwQ
2CGQ3dFDxkm4MtNRMkCEIymkccJZTCRz5PCGiSSbWms0uPuEcCexBZqHyAF1LidyFkK9wOEJoXThEsmcwqyUibBEAT5gBfS6aTvEACiwSyOSrhW2xXmZWuEniABlmJbPiNmEN1gBHTAAaV6MM0mkS64AsseACwosoDyprUjoqjL4fzOsSoRwYi4Icxysoqd6/EaiR3hqPAZpARAcBiLZtvgly2tgWLAagZz4GERSjkUfaQM+qzVIQtTut0zRxkMl
yUX0AyVNMUGGtMoyXIsyxShIuC3O6hB7Ac2ZoNhFwSqu6CkDwABa3yaNMiRPE8iwAFY8IQ0xwBi0y3JO+jupC0IUqKxI2rSZqkliuLEPiaCwcSFnkvCL40scHYMt2VZshKHJcjyfICkKHAipU4pElxqDOIk7QKgmZQqhFUVDFqOrjPquZGialzmmS/p2o6rounUEqeuhpZCH6Np5UGIZhhGUYxnGsWQEmKZpmgMp2VmmF3vGIxtHeiTgSW9LlpWB
Q/kSDa4E2mGtu2Eq+sQHncIRREVEO2z4US47lVOM7ZLkBTLqtCyYRAG5bjue6HieZ4Xlet4Pp0T7rdxb5sB+i5bdsJ1XGdpAwuucDKfQcDrokGIAGoHu8ABSuAYjC+gvFOj5rYOb3vhAn7fpcf4AUBfKgeBeZQW0MGoYsiFoHNKESmhGGnOcCB4fUhHlBjVTQmRYQUUwPQtKgiq0fzzT9BwgysjBUG/Dq2rsUsKzcd8fECcEhPCcz7FncwUwACrM
DCPD0AAGusUl69eB48AAmr8k4wFA7z6VCsJOYipmueZFo4g1tlZQ5RnOZ77r0qmy2suynLcrA/mhWUwqivHkDhWqMq/DFyrSjw4HJbqaWGsa8YBz7uWBugTqFW6Y5emVFUBo6NXhpGlzRtZsbtU1UjJqmUDpllCBCag8T8iM6fyVBw1lhW84TRCjYIM2NPIW5XbMity4c5UPAjmOE7TpkB3zsdy6nasANAyDYMQ9DcMI0jKOTmjW+rLg72fZtz2/
eJEAcAe+Am2wE8aY+g7x3kkPoWQbQ5DxDvE8Xkz10YvjfljHG2w56QHxoBIe8RiYQTJhTemVMkLzSJAzIeIkWalG+uzYiEhSLkRFk0Tgwxk4MFFvRCWlQ5RgV+H1O8CtOKv2duxNWCANZYS1mJM6k5lBCCMBiRIuBPgUCEAAfTgJ8ZgvRYbOGUNeXAqR6yuyDh7ZEJcyRWRsrwCxWJTHUhDm5cO69I7eWjn5VkAUJSJxCpccKIw7wpC7vFSK8QRh
51SgaDKxdvY5UquXCAlcCruhKt6RaZdG6hmbvVdujVLgtV7v3M0g9MLpwmCMIYuC7JlVGrPesC8l6oFpqvJaLjUCrRfrZXexV977TnEdRc38zp/wAUAkBYCIFQJgXAhBp9OnoBQR9bGX1ca/n/NgzCuCZRgXwdBOy8FqZNJXvTNg6EKHM1ZgRCUdCFnvz5swwW7QmEC3FpLVAEwNS/ESEMHgAixKK3CmsGEqt9jq3OThBA2tVgXW3LufcR5Tznkv
Dee8LtDLuwceY2Jlk/Y2OxY5SkwcsVEjDoyNpXkiQ+RjvFfkbCfHcDYanO8ATM4ShCeqZI2p85RKLl3bKVp4n5SrkVbatd0mCuqlkuqrdcWTBohKApbVh6wIHkPGY/VtT9Snn+Ge416nTUXrNY5JKJwR3aZvG5O9P49N2gfWch00C1jxusiRWydmkz2ZTBCJC6ZkNOYzTWEKA5vygC8DiixlAb0XBgPpUBGkQDuA8Z4bxmBfD+ACYEoIRWTVOUIK
szgM6/H1PEUY+ovl6l+ExQaTVIDKFwHAbgnKkjtHzHKqC8QZQ/OehASEmAji3DYIsPuy9oTdKJNkYgYalgRqjeO2N8bJIyTkgpJSHBVLqU0tpXSj4e25qrBnDthZCxDHjOnEY57IJ/OjXWhttkUiQW1PmbZd4IyJBGJW7tvb+2DpyD6sdZR8ChCgNafQ+g1BAQHUOn1wbSBQAAILvyTLgI1pCygToQ++JDZ1FlUEuHAH9DrqzLgXIuZOpRfjLgwW
AEj2w5WILVLAyj35LmlFoa9W5WNnlUTQGBLjnC3l3mmCMeSowr0rgBa/PWILBKYUoVCiQF9gag3BlDGG8NEbI1RsY9FhKzFmSJPy32uT/b4vsegFyodhDOJ7HyKOvlY6eLpUFJOfjs4/NZUSEJuZ4gRL1DyzK+KMlBgKtXYqYqJxBYrk3aVEo27WKSNMfJPclV5lVZhGCkxO2CZGNq2peqJRTRmtBhapq2kdMtf+yAO0lh2qPvlokWDXV4I9eTfZ
xCR2+oA/68FokDNRFg1OxwQVZ1ofnf9aSsl5KKRUmpDSWkdJ6U/XuhlKQhgvtYiMB9EwoqQW7TegkCQz1ysPT8iCn7CB9uIJB39HXKsYCWINmdaAOkZHtfG3WiQDZG1NubS21s7YOydjuk4y3VQHognmGUsxFSTA7Tlze+20BJS+b8E9oxfiwL6vmMTEILvfqg7d61ZCgMgbAzIfHN2jmodRCGjDH0sPFfHUsOnFAGeYyWXhgjx9Fw0fI4giji4q
O87AAlxBeYmPoJY0ufs7HXycYlHRQWYC+McFeZUJIsCfk/LfYIpWCyACq0mwWyakUSH+IzAHANAeAyBcBoHMFgfAtFbtdOYv05mByViO54r6z7MzJliVlFJWailZQqUeOHl4ok9K0CMulO54WbLpQlqSlyyJ6VeW2IQJFxJIXs1VfC7tHPwYpUt1i7K7ZSXWrDveYkNL3ARhhI7eqDoEoam6sdRgntDSUOdcgItM15X2NWuoXvW1sa6lrIJjg5rk
FPVEO9R11C3WTdBvMiGx7w3nub1ewdd7+tDbGzNhbK2tt7aOxEZvEH2A83SkLeqITbRUdjEb1WngUO9v1u4NMBURpmI8ACX6g6hLXO0u2uxr1pjuwnU30jW32jV3xyHjVkXkUUWUVUQ0S0R0T0QMSMSv1BzFBSAmBPRlHaDaDn3aA/wRy/x4wSEglmFwTCSLQ7RlFb2jS/SuwIz/SJwAxJwMDJwg04KX3X1gxZzZypz73u2IFEJCGwzuU5yHW522
GFzIzAAF3QWemFw7Rx1KGcDIIl1KBrClzY05iuH0GiHz3YQeQb1YIaA4VVwYj5B+V+TPT6l10BVwEhiN3ER60hWkVWEkH10SAQG+BhEUXwEBAoDaEnDaHXFhluBlHeAxAPGd390kC5A0ECHdEMy91s1MwxXM0cRK3cnJTs2pTjkCmCgZVc1VDPS1HjAAKfWmCNGCWTyLG0BYLAQGg6mZUvU6gcmLwFEGN+BSUL3riqnQDRGsGYE5ECF/RlWM1QAG
m0DvB1CLQaI7VYir0KVsk1DW3kn4VWI6nPXhwMxKQb02x6jvDCRxwgHbzGk731SKyEJNV2jNWaRtRqwn3qzKEaxn22RJjn1ay9UOXeL9TOVX16w90AlvwkEQGnWG200NRImmFwBlE0HfxlFwHfWmAQBOGwCuIQAjGwFYmIChx1DHi5HfV+GwGwA1BOCyPcEqF51D1KHiFWSJGwHRFvXEKMOuVl0IDMOUAsMV38i7kVzVz5HqNYiEw6jcNfmxC8Ik
Tkz8IkF+A4ESH0Ad2UF6EkHwDgAoCMGvEkixO+EnD7m0xd2MjSOwAyIsOyNlSz39wsycTJRs1cUpXcQc0jyc0qNj2qISiigVCmAOP5COMEyzlVE1QSH5EVDzFgX5HJizwGKGOGJrlKnFQbgkEmI4GmLfgOhyWsSWJWNDPWKh3lUTGSxr3GG0D2LfX6kOIAPPXr1smONDLCVyw72rC70KyROeKD1KzdPELH0+MPn6QeKnw2SJn+N2SBIXxBONS63B
KZjXz62hKrAgDhKG0jURPjSSGQzW3fx4GmGwEvEb2wHaHGGQxCFRxOE0CGE0DwHiFwE0DaGIHRJGAZIICZOXBZJF3ZLKE5I5C4LABoT5JMIFPMPuQFklLYXFIcNZEEzfUh0nn+SEW4hNkVJ8Pk3QEwDYE+CME+GvF2FIAPDaF6GcBOAPBhF6H1xhAQH102AtNSPSJEDtM9wdLyNdwKMD37ys1dM8lKIj1pQqJcwlFTlgUCXfxTJTKmAjIihLXCRI
PVBHjW31ELBVUCwlQrmkpGPTIiy0ugHIBzJmPzPmMLOSGLLWM2w2PLLKEVSrN2MQpDKsqbOKT+OmH5HGA7PuK7MeN7KHKKLXkHNBLKGqz2lHMIydQnKa2nJa0ITIXawCrBIDUkRXKhKgBhPQE3JnR3LOmmDknRLlGIGbzvK+WwBHkSBfLvGIFlniGwBlDwFwCiiPKOE0DvGwE/NFGZOejZPUIlEAu5MgNHyuRl3AsFOFLsKnJVwlKljHiuPjCGlQ
r1zWBtkwohN8LN2wyGBNn0ABF6HXASPvG+GvBlF6CEH1xNiEC9kmhMXyKkBYsyKzxyPdI9z9zuudKKOswErcXsxpSjwTmc18TEusK1AmChz/32PJhZIgBCUGh81YhfQqX6l+BWO+STIModB0rTLSX0szImKMtzNmPNPLwWKLIbOsrLK2KVWrNrOcqONctOJwQ7VR1ljaFcLbxGk7Kismh70Z37NeLaRCqq16QisnwaxdT+PdUBPioA0SqFogHIXW
uDQyvXOyoRIKyhH8ogF+FwC5EvESA6gAgQHRNpIx3RJ4GJK+SCJqvPUE0qQQFbU0E6u/MXF/N6oMMuAGuAtAtGpfAgqFKgu414E7WmvguHgjB6jZvfRuI4mWtwCkjWuXMhLPgkDgwxGPCeGPBwPeGxBeD1hkk+ESGwHXBOB4GJpup0ytIerYp9meuHkdPesKJeK+tyI9N+vKO8UBqqOBtVF+WSDZtgXThIM7SmCeST1VB6iSgjGnpnpnpuMM2TKG
N0pxqLwMuzMJtMpJvizGBrLAWmCLRYPzF+USwVUrIJE1DlBIKmEE33uZUTLcvS3zGNDHmqU5p8u5vngNUaXloH0FoXOFvH1Fu+MwQls2VnwITa0XySsXJSuVNXJVtWDVu3I1uCHjQx1wFRzaBPJpNwQAjCQ+WQwfLAR4FvIQBGGIGwGEyPI7ROCejNEZIGVox6v/MgC9sJxArZjAr9vGsDpYVaD4VDq4W4B2XAlmFlKWvcNwETsDWTr+lWB4FuHX
GUEtBPT1mPN6EBBvxeHXHiCeDgGUCdqYruutNtKyPYoWOhsMydKbv5pbpesgHDy9OEs7t9LFH9MiiPK1CLAjCPIAI8rZrkt0PCXfyigx2PoLBRvRrxsSSxrCz0tXuifXpMrmK3u91Sm0FlhWNzE7SfrIJOLsrPp4ySmIeNDZtliGAxyYnyYEDONaAAI1GZS7Q5unnfu7N5r7N4oFuCv/o9BFvtTFp+NAanKlogeBL5rghXyTo2vSsyo3InRypQa1
oQBShfNII6gQCqcxLODfPVAQDaE0ExNfPiH1uEywezCygYcdR/OYb6o5K5O9s4d9vPjDCiC7pVwJBmEEbeRzk7XoLyblO4kMbEjESVNNxXDOmwHeFUV+GcA4EnFuH1zYGxAPGwF6DUWmDgyBjURSMbp4vslrtxT6Leq4oD3d06bsfrp+rKMcxEqBrCkbV43HoilzECRmGZVzEqSpI1CifGNz2FWXrrmIGL1ROIDaBDALLSffxSApqaNpu5dPurz5
GijlcsqOObOHj6iqSuPbOaZ1Vab8u/p6d/sHKH05kSDuzCtqzHN8uisloBNGbnPGYVsmZkaoQ4ZGpejGsgveZ4w8q+cqAuImBRvEbNwk24g6tEVBW8KVpVPQDg30HeF2EBE0CEEkCMAoDUXrSkmkEBCeG+BgGvBxZJZMdYrMYJYsYbpJY+ubv4tbrD09L+p9NEvpdaFYl3u+Qx0EwxwqeE0Cffx8yuO+SmGIKfwFHnv6IxtidFXibGISSSbzJSaJ
Di29zh3aMmFlk7eEygh6ipprxfWWN+X6n6mE2+RWL5VqeVRHhzgf2qduLfoGcgB7MNepwgGNarHlsta+PHPFunzAdiulsgfnJfcVqmeVtmaQbRS1twHyuwB4BCFwDCWIBGBOBRJOGIDODvBCHaFgWIHSkodGCPOICuLLwM0uaI1dpuY9v6vufYZ9s9e4e9YV0mtsgqf9eEcqWYPVDYVjvcOupXBBawtjYgE+H1DgDQ++HWBNhknXEtBOF6CGGIHW
HoH0FTJQctJfBLcevxTrsscDlxbJdfb4pD0Eqcf+sgBjzcZ7tQHaECS3YAJzjZoNtRxaIns8f+NRwNrvu2VwR5YSUxpTIFYzN5fnaJoleEYvvZcmHPTWyttsuakKeDu0CNA10gmDI+UWsZswlGASyhzM7vZaYfe7y/t7xaTeJ6c/aAe/cGd/eGftfnwSqgflpA9dbA9VvmfVorq1rCWmGIGKvyv6koZHnVENErVzAvFFaf0w7CQNqfMSBQ7tLI+6
p/JYYgDYZ5OGtYy4dWH9omqsNaBYLY9aG1B1ENHfQBYWQsP4ijdBbSpTvQHwGcBhHWE0EnE+D1hlH0Ee+YGUl2E3HeHiDgCBYrvU/8OrrLcsQ4t9zJGsbxeDxKKpaEry4s7j19Z/1HqYn6jCUPZsMgBCTAXCRRqaPbQzwCyh4FWif86XuxsFZzxC83qXdxU2wPdmF4Wf0rUrwVe2MWNZYjD4VHaoY6hPsy6JkLCigWpx/y71cK6fZK8CtaW6ZfYq
/6eAYgF+L/ZGfq9lsa56ea9StkZJDXMQfa+Qc6/jRPSmErRRP3pqovHPNR2qqGDOEVCfy5BmDwZ+VvN+WdsYdZMo7AC7zW6Gvdc26efZ1wyY72+VVgrsJmuHm1Hx9+WVwkdfnpMjZk1A6E/iCMBhCeCkh0f1xCaeGcAxFIBeA4CeEhk+EYrU5h4M/tIWKJeh/074/JdrfsYgEccbdpe7pbcWMrS1DpvWKF7imlG+U5RO8NCin3sbzr00op7z0C9x
t5YdBFbFdT9SZ74KcVaRxlF/xVYbPVfwZ1FgSLFfoK5V5l6dbfZGyQQ2g29Cr6bqyq5AZq5An/YdYa6A4kN17gahIG3DS3zQNIA0BAAbASAEK1eCoGcDBTggI9MDeIhRDDISdboZEByGV+HIQlD4YFCPvajKfBUJqEqOPOPAWLl36ysnK9ZEsvoX968lQ+HGDnBH2goIUxSMfMOh2zWzGgdWobNCgshN78drugnTaqsEnD64bYMACgKQEtCaBMAd
4C2MeEhj2A4MpsNRJ8CLbGRq2r1CHg30rZqCbGrfYzgj1M5Ns6WZQcKOnB8xWVGiENG4rDTzB5wIwZBGYHwiSC+chUySankFz86r9xWZlb3GwnsrDBSBENOsqq06gXsc4MsDqOTDYR3Fpe7TcAdfzgK0CR8wfB/oA2V7P9VeQzN/hr1nKf8nWP/MFjTn/7wkwB8tEASUPyGQD+CMAp1vAPgyoDZeTOKQg0PQHy4iQWA61rzmUL85KMGhYgafBPR7
9yBIQqgYYXv7swf4MAE2M4G2pSRMAPANRNiDgBXUTgRgAAGIl0eAcAJ+JcBuSmFGOvfZwMyjYTxR5INZYAnKELAY5MmXcZdsMB1DaBb2/g1kE/gybSVpKs/aPF3T9Jz9guBNZJuXVCqjEhWa9f4Qu0BGPtbqxbMHk9Uh4aC7EzfSzMUUHLQ1O+HdF4kFXfZwCL2UEbUPURDa2FI+JBQ7sPCyw/J30Z3W1urzq65C+B6fFrrqzywZCleT/G1nkI6b
OslyDI03mdCfrx8TgAoVEvZ31DYAdavwTQGhxOBDBcAEYViCeUEy1Q5QUjC5l+RwFu0VuPHV+LGANaNCZmbXCoZ7Ro7rcUhxhBjgHR9aLFb2cFIRqyHaDT9Mc3HMNgskIDSM9e0zO7huQoCWg7wRgXAC8FuAvBDYHADgO8BhCWgYQbQY8MwG1E19jGMI7TnCNRDEsdBsPIzvDzbrUtvS3fH4YcNmAnCCQtg83s3iuGeUd2vwvzlOyBEzsQRiTMEa
Fx8Hf45QyxLlN8j2R8JPhW/LniWgzj5gUaGUGbk/lCFDx+orEKYP8W8qxDiuV/AcliMV6P9OhJ8RcB6MIDvA2ACAScMQBgAwhPg8Qb4IQD1i3BHgtwQgIkBhBCBn4ewnDMsk2grc1etXGcjLTghy0deLrN0a1yN4GjFm8aNDtByhzPlNAMZDgbhzkhtBja9BbUEJiPIj1reuAbwfQ1VFXMKOy3W5gBSNFB86Oy41ceuM3Hbjdx+4w8ZoGPGnjzxu
w2XFeP9KMtPMjaQsRcIfzXDnCDYlsgegqaj0Km8kI0Gtl3ab9zO3wyzmT2zwY0EAXyDXIvwSbL8vB6/YHrXxb74tNBhZbQUSgM5w8URJnLvoyK5ptMpxHIzUdxGUhIjMRN/eZMkO+g1McEeoDohMBQpEgRSSOaGtaLeSdpzJZBTgXSONwZ9to84yKl3jvHZCaRj4hWs+OA6vjf+kADoZFWIz9ClxBA/3n0KXEAFmJssRKJWnaAR0ehguFboBhJCk
5oBHBAnOALqEwFDJCBONGdH1LejfR/owMTCGDGhjwxkY6McDnwKFp04lSLJnwiuJCYRMn+bkhfVObvoR43jN9FDigIPZQBtQ/rPUMwxICORKAqaWgLD7XiMJcjCQCbBYB3h1wgIXAG0HdB7DDgmACEZKAZb5ijuyQIsZcP3qljbhsqI0HUVYj8g4c7+LiayFwQ1k30UweSFsl+QBJsxfE+EQJPn78t3BS/TwTKFFZwSpJiI2EaTQUl6YZJyk76hm
MR7RD72F/OIfLR0kLJEIpXP+i+y6gN5DQ4wfxhLxsnWc7I9kxiBcQ8qdE0+bk7kakJHLpC2R1XScr5IfGAd8hwUwodACwA14IAMIODJaFDiUA9YPM1YPzMFn1hOAUAGEIQCMCVBDQhBbtkWACTvo7RksnIGsOmhQh4oXcPafBiIDKBBYCtXEgdMaBQBzABAODAbKNlQAgKntKWbgEWBMBn2EhO0CmEWAEARZ+0sWQLPdC4AhAts94OEFlmVA0QII
L1AgE+AJcfMI+JaXsIYS8wLROuBgWLDDo9Q4c8YKyeJm4FrBVOZuATphDDnujlp6AI0FAFhgwAbYaw3YO8G+DrhJAzgetAgBgD65YY641QYpJkn19rEjfBEVW10GGdkRCM+tu3RpYuNm2Jg0fvKETxUTXOKQCeDMD5QTsAZbguJivVnaZJaoJHMoHcM7hPTUABI0yZhGrSns/8E41GVpPiEzjDJFWbggAwZmsjecQyVYMeDUQ2w4M3wA8OuAPDEB
PguwNoGnWvB6wDwMoJ4KQFWqIJ5kcuJZGgkIHMyYqGvDzmMw5EFCIUNA+jiRG5iMIU5fDA+cPy6AsCbRB8xvP8UGgS8MZaweIK6KLnYUIAkCXoKRWUgnB9AHAbEGAt6AwAPCqbfAJ8Cxmxj+5eLbuWkxhlu44ZaYlSQYLUlfDXGKPeStFBnkj9VQJaZIEeQfQKKkxcSFeYVFEkbzJUW8sLnvM55KpD5xIMIX/m6730iQMQi+U8SvldNewFqYfBa0
8mKEQ+0aH+K/Pfmfzv5v8/+YAuAWgLwFF4siXck/Bfw5kP8WRAeHWB3hYYJBCgDKHWCSBPgUAdcBwEhgNyeAnhSBZeNCUrIUJL/FmcPHAZP5UsjrFBZzLQXjCtu9CLBYnJwWCx5IJIqHG+kyaTBzuawXAvnP4GFzSA4coTkMGxBDAGFYrbEL6JgAnjiA+uNRJDBhCAhjwbADubDPB44otBnFFMUpPEXDyHGDbdEQDRkUUSkoj0pls4B3qqKBo6i2
SeT2X4L8gZYkvztFm3mQBd5B8ruM8IPlDjMIYwHOEWlGC3trFGQy/hyISHmpo0t8+/vfPCqMyn5ESmRMoGiWxL4liS5JakvSWZLslcyXJagi+jhKlxJcj0IQBOBwBYYJgPWJOGYCkA7wHAO8BkoFn659AhbHJSEuxU3iClmQ1/sUvf6lKOxT47XkFK5Fuj0Ft/WpTUHqXWTmO7yYmYQreTmSDajk8hU6LWCJBqFfS4uT/APAvA4MgIGEPrl3G2h8
2sMdcHnQhgcBfgvQJZaIpWVGYe5Ii7ipsqHl1sdlo8rMePOMEpwCQLKY5bPPkr7155aipeaXAxq3K15NPDGo8oMWvL95JivGbZCSDvpLJABc+YCrRlGtr5iQjBV0jvm9M0hj8xce4rOiaBCVxK0leSspXUraVloelYysxXMqYF+SuBYUoQV1ckF5S8AagtwjVLaB0C8PuKsj7Jze1LyMOnGvJhP5BojonObgDobdL6RqAGhUJ08Ufyv5P8v+QAox
BAKQFYCiBfwo2VdzzGNq9ZZ3KREUtURuysedIonnure6LKS5bDTR4LzLlC9INYDJDUeDN52SRicPFzD7yR489C9tHXxGsd1J+rArCmpfYgrTW28ZxTms6HeSshnKxBWUvZFtrKl+vCaYVPTXACxsNwIYOXMrnVza59cxuYgBbltydheBG/PmmamN5S0qsitFWiLTdTG0WoZtM5LbRg0mmbBPHLlMpxB8UhwA0aRUIw0xoIq8aehYwuYWsL2FnCyG
Nwt4WNSKNK2Q9E0VYino+EF6JPtemoK8B70A0KYFoRfR5hsSoBGoewz40QCspfBHKeAXGm04WhM05nHZroE9qygYU1xbgKilpSCl7m12l+tPgMY7wowoVVAvIkNLG0Uqh5LH37bjBII7S5PtxBlAqr+lggiQFEpiVxLEgCSpJSkrSUZLnAWSi1Xat3Xlt91/E6SUerb6UtEZhgn6bIpmFxAb1yeHqH6ouUBrNFNy59dO3Xk1jl+4aj9aLiMU15EN
mYC9pMDulDTBoSapmY+1A0SFwNjizmMZOHJQrH5sGjlW6mbVDbeVX/ZfAKpCn2QN8Y0oTcVNE1QARlTClhWwtIAcKuFupOTUtgU2x5Vs62UYFtmbS7YqC3JOIMzUbzeYWCp2TbZCLAKCFjRZm8oVuSKlYaJAgy4ZaRROBjLcAEyxIFMpmVzKFl8mzKgWgSAQ4Da0OOUDqH1CMakcGTQaGjn6l31scxm7jbANHRZrMpwGSzeTip02aEBc03UfxuaG
s7Wh9A9oVzhwHdC8BvQiKUuP61Ljxc6UyXJ2ozVObeGSuMmdKsYhJBDNGPDpViUS1qqC1RaklcwDJUUqqVNKyQHSoZUFbSWRWuScIoPXLKXS+gqrVIv2UXrDpniNHi5wigkFmti8lwcFg61ViutxeXrRv1ZAc8Ky2/WvOqy+m89/JAKqbUV1sU/001oKpIVBofkwbnUa2kpS2qQ1NcUNxcgqYdvj2jYRNZ0aHSMrh3jLJl0y2ZfMsWX3aMd9+QsH
1GfwAFcEumygppu5I/4yBRoAAtu2AJxdAdJmkHSZMkLoa89mGgvasA1VaqdVeqtgAaqNV6wTVZq9HfukIIlp4wpBcgnqHwW1otNgSJIIJh1AeV30l9A7lfi43WbTNg+undlMZ3n78pE06QvNPAGzT6c006XfIQXFECPNAuwXLFNdqB7Fwuhc1uLoMJBa9hO3GXecRJG4Jp+m2Q8irumBq7aF6wJ4BiF6DKRYYGISQMoArlGB3gcGJ4MpCkiWATYH
5IxtCJtKlsoZ8WW1SbvK3W6R5mY5xuerdUO6EofCOokcUsHsD8FMNKee0SGknpT2kNJoh7u0oBc7lui/GlMQBERqyaJZGVnF27jB6aaww8mgzWG1M196G2AaMjPP7JrL5se+xU6xZHJ6qR94j1Onq17baTku2rmQbwQawljekHeNBs1RKFVMS2JXEviWdBEkSSZJMJJiUoYCgaSdJb3ohKYbISG1q3NCchFAP8keGFo/kDyssKDqiFHKW2n1A43Z
y4620mmdG24Bzrkt6AR7pIDWGaNJwx4E2BU0xBrDjwKifQEMEkCX4IZ5B0xlQZXY0H1Beg9MQwaRk1b3GzaIMsEPJrhkTl6oOIHwm8wjwKB7Y0QzE3EMvrgZqwOnoux3m4o5DFgmyvvJUOQ0QhxxQ/r8nGC4IDaEvSPR/Wm0GHU1RhjkSYa8kp6il623ZJYa20czbDt3fbQ4aypOHcq0KJRMQAPKC8Tyb6OqheTaBXkMGjvO8g+QQ7PlXy75MI+R
wiOu0VugfWI5LuFXoBwDiRrOQQoi1h1hMKefeuOrjpPKrgBcgo6qtoWl9vgUASGL0BtgBEZQ9AHWteGxBSQYAhFX4AdIMgg8JAmnGumbsdVXKCUO6ugz0adWMGkevE2RfGAVAGbZ609IsIE3TjLEyCL2sGrKxDrljHQlYgvNWNp51j6eax0mhZXJqNFFD7ynY8MfkPqGj5wjDtI0Qm1AbJxMeq4wZJuMuKVePk+DRtuSMHJXjsDOw1EE+NzNPxPI
1YPlXyr9tiqcoUqkXQqpVUaqOoeqo1Wao4k3y7VBE0t2RNsrUTNOk0TUsxMJHQtIEZI+TP8iiZPKOcFXXBkQNCckYuwaYLMsbwriTgMoHanrGIAYgK5+ARbNuo07xj+JOnTowPPhlCm0RZ6u3SwfCj1NQaGxIIX1DsjspZTTEDygfvkP9q/pi9QYjou61ztDTqx55esdNMbmtjA28+rvV2NqHb2Maz9TBHaCZGbiZxzSa6bA1x6P2npjId6ceMWH
NtAUvld/yz3vjHDYZ3HKgzOg609aYvHgEbRNpP5jmMES2lFCOBqa7azoR2lmeuaRGYp1HICrR0eZS79h5oks8HR4Plm0AZBaWOemJPuEXgdZooxAGPAO04MykG2H2mxAUBsQvQE4PQFIBtUKAygcmMbv5NWrhzFuy1VbvFMd9T1Lq5g9xNYNHD+6jeHqEWgNra5PmJy/MKdNoklibhcxynjuYkN7nljB5g6S8qx670u28YZycfW2MX0HT19IsCjU
XOH8DiXyMCP8pRn6HXzs298+V0/NR7vzaezia2sz1vHUNhvEC+Dp+OqknymDbBuVR64IdNWYJt8viRWKkNyGlDaHDQynWZhFuWFnM1EbzP4A4jXrYiwOqDqDQbi5F0kQNHjJMHsj7hCWcCx6UUmkt4LVYA92iWQxQwHJ2GEIFwAmwTgygTAMpCMCWgRgzRsC7yfQAiX2jQpqxpDM+oVaT1zqxqzxIOVWc1QnjGYKxB+SzACTbNJc9RAVCqU765MW
MkPX0u6mPQwIg09IfBERr0mmTGCGjlyabn4uwe/diUyaLvpcwlTZlIfxlKGhJunlvQ1HqBV2L3T4A244VyCtcr7eyC5DeFez3BnwO3xr8WdGWaTBVmGodZps1gmENdm+zQ5sVROZNExAXcgq0hKKs4W7meF40XHNlyBBsArzSohaLHFQHII3ynHXZAoW4Bdg9FzqxICMB3hMAvQO8NohNjpK9YuwegICEkAmweA7wS0HBiFtkHRTC1kzKVuWs1t6
DEpvo66vkumDKJii+SlBGSinNcEA9K9vpeDWdbQ1FPCSc9alalkyBkNCXu8oLCXnrTVlQ/v8SEwVJANViry5DZm3YyTW82yoEAYhXZqk9dxsw6zN/M3F/TFS1G2VbNG7dGBloxQ7Vf3qpQ19/NxVbgDI3TraZs6yk0J3WDKATgTsNRFJDgDcW1hLwbAKXVuDaJlAxAZIprYHMUGtOQ5xMcKbK2SWJFNuvZZtft2mC22a2Dtif27YfoxjRaAftiRY
Lv4WJox/iduYFC7mHrxlJ631v1Brsc417ZlBjzLFB6ueP1w9tuxPYAnD+lSSpMjQ0qh2Ib5x6Pf5UMMw2Pz0GxOz+wePBXU7gUwC6jeAtfHQLkI8C6/Bg5wddaiHZDqh3Q6TqsOlk3DoaHw5jAeuxHTC7TdowomYj+Z5m+VeztB1xg4W1I28g7QHXYEfPFXWsOFsejJAQwSGN8pYLWwDSMIZgLETgytyDwFhHk8xX7sCnVl1B8S4VrFNj3ej1W42
zmMnntR+ojwpiPZ3AibY5QfbCYMsScKXEwkJ6MeDeeXnL9brqSJ238Mev1j/dixCLmMCi4VIwIiUbY7v2S5aXUaKVjLhoc2SDRqGAoJ06/al42LP7bp+XrOIkJw2vTcGn83PiRuhWXxoD9fCGYg4xX0A3XXrrgiqqDdpjI3WYPeU0ATcUaLoVR7N3m44OkTeD3MwQ9KvomoFWJkiwbStHy7HCA9JoqzRV2AgGH+KmALgcICfA9GW6lo1XSEeiWh7
S1gRfauPWqSJ7awaU/6WExo8p+27LHmTECZjqbrCxx26+qzKmWI1TPFYiz0GLo5QI+8sBFqF5716+EYjI8uqyDsdpJt79qG1/aCfGGAr79hGwhqAcAWdtgZ94/YYxsQOe0mtM3h1EGhFhoOvwG3g+RJ0O8neLBHWueSSsloSG6JPKwIBpslPWS+Dxm+hIIsYnu1EBzxOQ9TlEKh2kwdlgqonUqC8jEiQoyLfQA4aYAuwZwJOAxBrCsAMLMZfgGvA
wgjAAPDFX08PXa2fcf0keytYNvSX1rUpra732xID8ZjnBnzicuPrzz5qG7Q/WPS3tPrV5azpY0GBdsfq/BCXQYR7b9vRqwhY8Zqi/hucvmAnb564yPqMmJ7ltph/+02qeMhWM9MTz5xFeKHg77Nk6XPU1yqFWbgd8tOoQ/rZ2SFQ3XO5zaFN53hHSg/OqKYLs/2kYSBQwq85QOAPUDKnWK7nYSJzuwIyz9TuprfUEwuSFgJdp4G05/j65Ag3wBAI
CF6BrDlALwdYPbHoDXh6AMIG2JoE2nG6ujwpuur3JFN8vhXUlic7JanMm3v8GODJrK/Bp7FrB2cQTIq+Zo5wVXEvR9VotCyav7ljoHVxY71fB6DXC5mV58qJjB2PKJBU42HducR25eg+aO3fzM2hOvz4TwB8jbCseu0bB2wTU/oE3eu21Abm/UG7gH37HNZQhzZzoWnv7wpSb7YPgMTdKFIpi4I9/v3TcS6QDlTn+HBg4Aq28AAonafEYOFyPmWl
I71TBDYQvKfkPmJ4dHNeHvCPh/R7Uxs7MdGm9TPu0ESx8PN/PK6fdtowmIrZiPaDo97ZaK8lNsIQVwbkbXo/xe4K1HDS2PmMHzDNF5WTru1i65jrkm0AVL2tNe67zPuo9adlG5+8ScQA+RvyAUTrSOLv4RgoojBhKPQ7SjZRQweUTiXDBKjinvvbC13gFuwx9It7+Bj8+iu4XBqaJgs12uqeVXcFGm3NwS7eRRRz0I8b6XFoWTHhK3Z0SGLcESAc
BQMFAeh73dB4DP+XunZMcO/1ujuZLG1yZxK+I+yhqzTLMBGwg3eGPVn3ukx/uc49mXcUMOZsXLFBvkfNs36ipsxr7HGgBxssVy3bQtc6jpxNrn+wnbc3PyJAMAZYCMAPCQxUSsMEYLgGUiqAEOzAb4HeCgCkGa1JhK8bAvpvwK1PKd99+64EF6iPxQX8MxIB/GKgUSF4QCR5WAlNEwJcsI8pg+gmgvYJkk/KwhMROee6bAfcp0FsmEre1vG3rbzt
6sDxB9vh34712pC299fkx0g+WbaPMN930CQFiUlPYmpTzzsjyeywaa9+chJWlqhUZeFagy1+vbgeUIuEYjnUxDq9vmO8q/Pnpv2kku+uH0kPOhN4KszbeZ6jCiykFoo0NzejrOcCdrVmddp/jsOu/7l36kep5u/8rjPmAmN2D+81wfPNDag36UHimE/EpHbEn669IyjDUIgHgQnlODdobc9L2SHegAy9ZecveX8jZlWamo5YE/XjqXfcJ3vJ2ifU
jHNAcM3DSs1YOp7Hfts2Qff3HOl/Y/pxfQ+zoJwfANMHXAwgDw2kAjyYT1nuhTb2PmWH1puk47KkGONKG8ujkvTDN70/MIqC+k3Fke9tr3Wx7a+7vGf4Mma0K8HvQzBPfbsc1z4q95defIGy4y+wFvmrI7wTy5+th6hJfIvjyaPniaIU7Ofm27Cl0PGV/6fnnr7xG9b5ePp2df/YUWRIHFlCyKAXs3mVf/VnSyQ5wwTUOMCVlCZjhasgrFLM1lgZ
8AOs3YTzJWyKYEbLBAddvcjmy7gEAGGyyxnbL9UDsk7KkALsuyCkA7shwCeyF/ugD3+3iAHJsAQcqwByy7VsXLwQkctHIpAeEOAATQawHABwAcINgizo0AEmBZAXVoqz1ADAIQAIAFAC8D3WYaiGC8B4IKtwiARNE8CHA+gHCCBqm7tmgCBb4HvgiBXAfqYY0e7gBSCBMgZkBrCUIlrZFAUgUIEiBYgYKY8YrATfjSBiBDoF6cIznxxaBKgQmxbK
dbBYHGBmQOsBj+8cLYFxoIgWsLf+Wsn/5xgBgcoF2B+gG4E5AMsgQG2QTgYYHaBmQLf5QBIASbL8BoQZYG0BLOin66izgcIGZAk4BB6JBkbjEE+BLgZkAs4esCzYTg/AcwCAU0IBhSdw/dDBClK8YJUiZyrAcUHog0IKtStAlttqCvoEdAbRTAhYKwFGAbAAYAjYDAAQBggrIBkyDiY8FLjJBIgauI2ug8ksD8BPoCQCBB28E4HzBxAHCAIA3JLF
B3sJANeBsAywGkHPkwQL0odWWwcZbpqEAC8A2g/0AYy4AAABQH61ALwA+cjwYlgEEMoAACU7oEHJyIgGAkikA1wXcETavAICEW8DwRnDvBi0t4FGB0sg5AOB5spwDz+mgT2RByisCgGAC7MNkAHBu/lXYckNQIQGXAaAUwFae2IWHgByxAYQHjBdgMpAvMQYvWg7BewWgGaAhwe5LmcbNoQCMAesL0H4A/QXsJhAwQKyEsIntHmi2y+gPkGcwH7n
d7TaBgHRR8hcIYLB7adOnBish7IZyHe04AFtDce4QCtBfgw4EAA=
%%