==⚠ 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
e7a5b255a607efc41e99c79d572165ac600cc88f: \(s_0\)
13ad942527cb361c3828adea09fb9bca1ab8db26: \(s_1\)
7b7b251d151b903c113b84d021c5caa3327edb4c: \(s_2\)
0aacb3352daeb2c801b22c7033ed0664791e311b: \(s_3\)
01a098cbcc17da16818adbc442fbe6dc672715f4: \(\tau \sim \pi\)
e212b838852e7465afadb18e8b5a8d1b33678ced: \(d^\pi (s_0, s_3) = 3\)
a7bc2eaa16d6f7afdfa4ea3814d298c69627d419: \(d^\pi (s, s')\)
167dd17b84c61118980729bbd8804e16351a3f7e: \(s\)
9523077a70d0bbc3094d9fa7580ac37da192fb24: \(s'\)
319324f00a526256c0a0bfdf9a9979cb47ec951a: [[assets/images/Pasted Image 20250801190310_340.png]]
fda757abb107971d2b78eb72132762759270daff: [[assets/images/Pasted Image 20250801190310_372.png]]
%%
Drawing
N4KAkARALgngDgUwgLgAQQQDwMYEMA2AlgCYBOuA7hADTgQBuCpAzoQPYB2KqATLZMzYBXUtiRoIACyhQ4zZAHoFAc0JRJQgEYA6bGwC2CgF7N6hbEcK4OCtptbErHALRY8RMpWdx8Q1TdIEfARcZgRmBShcZQUebQBGAGZtHho6IIR9BA4oZm4AbXAwUDBS6HhxdCCiOSR+MsYWdi40RIB2eshG1k4AOU4xbgA2AAYADgAWAFYp+ImxzohCDmIs
bghcEbTSyEJmABEMqARibgAzAjDFknWAaQ5egCtJAGEp5kxCCeYAR1l9l6PBAALQAstsymdCPh8ABlWDBdaCDwQgRQUhsADWCAA6iR1Nw+EU0RjsfCYIiJMibosMX5JBxwnk0PFFmw4LhsGoYNx4iMRotrMpKagBcSIJhuM4xkN4tohol4lM2mMAJwTNqJIZjRKLHloZw8VVynhjMZTCaJVWJHhTRJmoaLZjorEIF5sfBsUjrADE8QQ/v9qIgmk5
mOUdJW7s93okPrOZwQ2FVquDFHxkm4M0WkgQhGU0izRJ2EDCJ15CrmbWNPAmiwjwjgAEliMzUPkALqLM7kLIt7gcIQw2nCFaM5htkol2CIQnEgC+i00o+IAFFglkcm3CjtisSyjcJABVCaYRIAGSgHDY5+UsJeAE0XkNsPgeKuhnlOmUZ5UNqQMSofd52JLtxSEOBiFwY5ThZNoLXGa1VRGW1izKIgOExAch3wRZPWwbFYNQC58DCIpFyKKdIF/d
ZqkIWpg26ZoswWcUmL6AZKltVVq1GNpHXFZZVklCRcHiYM9kOYIYPOS4EGuIiIDaAAlAAFAB5IYABVbmUptlNudS2nUqYtCgNpYS04MoRhckRVLD0aXFZ1SVxDNCSdF0yQRP9qVOEd6XHNtWXFdlOW5Xl+UFDhhUqMUSxE1BnG1IZ5UVZU1Q1LUdT1KUJgmOJTXNS1rVte0ZU81zoy9X1AwDOpxVDAiGyEKMPRquMEyTFM03ctBs3FXN80Lfq0IE
BByzgqYeBGasRlGes6WbVsCjAkse1wPsiMHYdxUjYggu4KjqIqOcdgoktl1atcN2yXICn3Y7dkUk8z0va9b3vJ8XzfD8v33E7Z1EgC2CA3cLp2J6lkUoZnCbXAEAADQfZTSDgabYTGAAhCYfkYfQhFRH9TuBwCIGA0DFggqCZKmiZEKtFDprw5YsLQHbcPFfDCNk0iEHI+oqPKIGqhheiwkYpgehaVA2jrNipeafoOEGFkRgmVUxjafkFsElY1lE
1JrgOI5JuIuSFNo5TJFIZQECGIxJHUn4AHFz1VVcjymIZbn2fRrOhOEfKRRz/Ocry3OIAk0DG0sI7s3zQ+DOkC0Olk2Q5LlYEi+KyiFEVc8gRLnA1sY0qVFV1U1bVdXFfUksVE0zQtK0bTtB1KtdarY3QP16qDJcwxatqY19Lrk1TRZ0yjzN+qmHM8wLKAiydCaiLmKZrQVVVa0WxsW23NbIV7BB+3ZnCArHJkjv3YWuIXJcV3XTI7u3R6Aeh9ZY
fhpGUbRjHsa43xoTb8gM/y4BBmDc634oaHnQLCRGMAcQ/DOJoVcmgXbYBgIkB8QwjxsCxi7egbAiZgPWBAsmFMdhH0gNTaCZt4jwXpmqRmqEWaYWwrtEs3MzYkTIqUCGQsaISDogxRY7EZZqnEYrDiKsuLqzGPEVUQweKxyEgbdAuBEgSRNtJXhFtBKKReAAMRbPQWEvQtYcBGIOB8AAJBMq59Cgm0d2QOCcQ4ok7tiPEM8PLh1ch4qkScAqp2vu
nUKmcIpq0LhsGKBdFjF1NMkSsGUq7ZVriWeuJclEpGbiVNu5UBIlhcl3dqPcIB9zqsGJq4Z9rdzHomCevU/FzwXsNZeo1V4MNVFMYqs1vZ7wggfVa3YT5n1QBzS+B1wmoGOnfM6AjH7XWfpue6aAdyQw/nAiACCkEoLQRgrBOC8EEKISQ0BCzSag3JuDSm4FIL0PXkwhmyE2Fc1Zpwzm3C2AEX0XzAWlFxTCM0ZAyWTRODcHaNIiFDxOK8n4kMaY
BVmZ62EuQiYOipIIFpubPmltjyngvFeG8d5HzPlfO+T8AdbLB2CV4gJrpfHR14N4hAQT0B+WTsIMJE5eQZ3CtnGJ0VYrcFicXRRcRUmVyyjXXKBpTSpSKi3Uq7cKqMuxA0uMdUB6NSHvU8pjTuqT3FNPFl8QjTtKXryOY3SiKzAVEMWY9MhnLUPmMzap9toXz2iuNOczb4gp4A/RqT9bpblGQ8mmDCXksLeai7hnzz5cPQr8nmaA+HyXDhAqAWMh
LLGUDfXcGBw1QAmRAe4TxXjvE+N8P4cAARAjBETCAZxflCDbM4EY2gRjeyUU60Y9opizUtL278EBlC4DgFC7QipEj2kbkaeYSod7jqhJgE4qk2DLE6ZMnCIaSzZGIHmlYBai2HtLeWlSGltK6X0oZYyplNDmUsi2tt2AO1ioSH0lU1YZjDqGIBxI+Vx2TunTHFIwGbTpXyimLUs012EA3cQLdO6vkHvQqEKA7p9D6DUDBVDOQvmeRzQAQUgbmXA3
qU2QCPeRwClHFIUJuYsOA26I0bP3JsnYhdSgjH3DQsA3HSgWtVKA5w8Q5gCdAoC0oQiSagrJjC6WUKxMK1hcrVWqAeLaw1v264+tEobCmFi02RFM0EvQN/BGyNUbox4JjHGeNMggPFDZIOFJE4MpKRHZls9WUavZXSzlITfWBVmSFEsYUs71z5LE/OcVElSiRd26VmVq45TrlKK0Ew8nFVbmVDugWtW9x1Q1S6+qVwlcqePHqU8+qoCSB0Qai8Rr
acyWUMs9qeBy21mMdWrqRkbJoa28Z1HvllH2v6+ZQaMOQCuisVZr9I0ljobixhCE41M1jhhNme6aMQB4eZgxPmc0nscDFc9ZQMhrKvWpTSOk9IGSMiZMyFkrJrvbW2btS6eLKKg4o+dwHQNTsJN++aomlRqlNNaRDyHCO7o5nNjAKxztnrQPMm7d1y0IGtrbe2jtnZuw9l7H2fs31falN2+IcbEjKh67MHgSpikljA9wVUPbEgjF6cokYcwa62tv
uuzd7HEf7ugVzLDOG8MyBF2h5NE20RkYoyEcbiw6Mq6o+QsFrHRdv13MJsAvGjcCe/IbproDrTSeobJvc04FP/iU+plTaBLTKaVvClkPAtRtG9+qViJZ1FGdwEMUzejjv4sMesPZyDUHoMwdg3B+DCHEJpR5+yXK2V+f8T5wJwWHLecmzyhkEWBUxZziKhJ4pi75VS+lGVGWOuQGyVzwq+SCtqpZySMpo9tX93K2UWpw9iDVfjE0urpqGtKnliWI
a1q0CZZKWvSKfShg9ZdeKFqbqVvH09RMqZYWr58ox4GhTwaJeXTDS/Dj7YRtrZjZtpC232F7YPz8v5EerjZtILm/Nl2T/FpY45A45452wOxOyuzuyezey+z+yfYfqdrdp85azajc5r6yhyxtzNbFps5oBtDaAyrQ5IqTDTRKJw5y5EYK7I5Hpo7/4BqAGXpGKmLEDmKWJtDWK2IOJnBOIuIU4IFfqmhKIzDlTAY6jmjYGs6g6u4JDAa+6MLxCjCz
AzAB7rRIYUFi4wjI74BS4GAy4Eai7Ebf5QD0agyMaGGHorAmEUBmHXJUC647r647CG7G78a7iCbm4WjiY6jW6lAdi27yYixLD6DRAD5dAyIyxDASFhEaae6NY8DoH8STAz4HiGbkJtBh44r/Jf6B6KRNhGBnDOCIzxDqQTD7D4CSBHgcDAgvA8DGJvCIxNhp4cpSCcgaCBDBilI+JT5srNGZ5ha8rBRl7RKNZRTigJZipJYGjFSQbagFR8jTQKhN
4QDZKmjdozCMLIE9YM5yxsqj78j7FbCDzNQGq97oDojWDMAciBBEb1atKoCWjaBzG9rxH15qaz6ta7qmjaDpKzFM7PGAZd6ljL6tD8TpSAlb5Da34epbTmFF7XT+pv6D5X5rLupRpPIIqP6sIJroRJr7aK6HZppZFZqnZQCfoSCICnqXZuLBA45tC4BTCaC2hTAh6zQIBnDYATD+gpjYDVjED04KHMnYCjAjDYDYBmhnAdHuCVDCaRY7DxD3IljY
AYjgZ4n+HAoO6EDBF2zgou4jHJHRHSyaaVA06ayyg6jzAGboqiRjAZG4oWZR4SCaATAACKmAxikg+gmIPAAAUi7KQEeGyTwA+JiCMPoDiE0fnpIK0SIKEXHK5NnhErnq6L0aFiWCnCXsfo1kMUKiMfFvEoltXsloovKP8fXplCoc3nlIqD2iqHzvxAoXLL0rsYanGAcfyDUpVtdNVucRwJcRAndC0iyg8U8Qsa8Vam1l8T8ZMH8QsYBnatwNWFzl
aDThWROktJCZ2NCV6rCZAFNrMoifNsictsNlTI8utrGk/u8omhwgrnhISZ/sSZ1lEKSW2BABSRdoWtSduRIEkFRuqKhG0NgJoFqPENgPaKaFRiENzqgqqJoHgPELgJoGMMQIyaHk6FKQ9LuLKSJgqWUEqeyOhkskCvboEZqSETqcxCyBrO7rIlplBswnLKuUHuQiaoHropkQ+ZZrsquKRggEeN6Y8OpMCA+KCMYt6coI+BwPoNgPQLgBGZ5usFGd
gG0bGZ0ZHOaj0fnn0WmcXv6thRANFsMXFpXgWQlHlDvDIRXOltlANFklKEaBzhrMhNrLWDqKaNMM2acZUm2YcXqscVVi2WceQL2VcQObcUOckCOS8RXG8WUHPhOWXFOVFQCfOa7kBhDrHBCStCeW5mNjuRAHuZmQeSGEeTfpuWieeZifGjtricVUdrzNkU+dBGSegO+Wel+VepoG0IybMMQEqPEJoMhIkNgJJokEhRMMQChKBVMHgFojaG0CcE6d
gJKQQNKfuNhWAPKdQosPhSqUjkRXJuqaRVqbGRIgivqQwOEUabyDML0k6iMFqJaRohsKRraUSVxaCEePgMYnAEMPsFjI8AAGovCkD7DngPhTAUDMBDBQCIzyX2RKUqUdG+bdGBYpmF67m6Wl6RKCqxajEljjFoDir2XVjaDDo+UHH6XZL0y5b8Q8D02KKjpOqxxqV7Ftkdn+VdmBXQDBV9nXHLzhX+bDkznRXKixWQDxWfGJWyrTnzHxFznOTAm8
DKhWhi3gnrnZVQm5V75q6H4zJFU+qX4rKlqomrZnkP7MKXnYmQC7b5X1UZonZNUvnrBtVUlubQjfnoAjC4CcjAV048BQQICMlil86Mk8A8kPWJAnDzRIrVj+iNyaArUigynfhbW+E7XKmEVgCCJHV/hkXak0Uyy2irkSLXVwRIrzAPVIpPXB5YxvWcUOnoBCCSAjCBB2KaDKBCAIDelYzumYD7C9LGKwifnu20oKUSCI0xnI3xmo1JneTj0hYY0F
VY2Zn6WGU5nGVjH5kTGFkGibxyiYEoT+42jGiAnZLexxDKK+59Kt5IpJCeUdS9w+Uc11IBVeU9l81hWT53EKGX35TazKGKi1hRFSAfGEhlxKHQYai6bags1K2MK1j8kKGDaa3lXrR5W3l60ImG1InG3X7rJa1m3RrPJVXP4fI3l4l3kf4NWPlK7O3klHrtWj2e0QB86bCaxAWimMJQQKGKJjBUZwX5Q8CoL2zEBCm+5tBKhnCYroWrWYVymp24WQ
C7VZ050kV50nUUWQqtBjrO4e5yK8immcnTC+413kIvD100NcWmKYigikbxCkAcCYBQ2YCPB06ghTDPC9ByXUnp5/iT3tFZ6z1Pl54L0F5OQ6Xhar3Zl415mipE2TFJSRFTApCbzKgNkMXypJQmkpAzS3UWg6bWjzzFbc0+jP1HGv1c3v282hU3Hf0sqmgpMoQFRGibyKiayPUtYdLcAayPEFQ8QyhH11kTCAlda8hmjxFayKjq37yoMjYbQwmYOR
NH5tjFULY3T4Om1lD34kOW1Yk1UUN1X3lWPZr0OtWMNu2qE0mKQIBM48BIXlTTQIByxOq4AXAoU04IBjCaDMnIUDXzqRFjBiBhwlIYWcZYWKPbXigqNUEHV27EyBGBDYBRDb2F2EidMlil2xEbzEHe6AnMWiT7CWMO2R45HrD4CkDc76ArC9BDD6Cqg4hCDxDODKCgh2J5rTq+Po0RMhNMoNYs3xxaWplwkDH8o43l7Cpb3xOiiJPOD4FmhWVTlt
xZPOBWj4HAYrljBM4yjDr6Ws2lNlYv3D6j70nEBjAJiDn+b00pOi0N7ZSrmS28j2jfEy3JWpUjG+47w04WooNbOQALOe3FWFWTin4iyJDI7rNLZlV37m27OvJMxLG21LOprUMkv8LZ2Cy53rD52nXhE9PayF1l2oDpTDqbz40pFWmaKrjEt4qNXPTrCIxCBDDOkPgwBNgPjOm4ATDqQ9ZCB2LEDqSMivVcuRnRmBOBYJlZlo1CtL3pl6UxMV5StV
5mWtBxDzTe7WsM303A5ZYGh065b2iSZavF35RJCjMRxs0HFGsnGP080XG1MC31P+bM5k0WooR84jOMUeVdPz73GOWuXzCfs5a2jus06+7vvPG+s77+sYOUNYP7k4OHl4MonQcQA7MYl7PxqJu1WIcEmpu1u0NxzNWvmu0j1XMsO4DdXYA8AhBiRDDEBDBnB0lnDEAXATAhCHsTVGhAsqJr5tDECcmsWdZgvtjrWQvp3QuZ2wsZvEUIsaPkVosxxS
J6O0WVDDrFSmimhmOiTGI1v2lksSAvCA2giqRCDYDMA4jOBQCaAjAAD6diUAtntnykwgFyo9fjilY7qlKNP9mlYT2lIrGZgx4rRl5bkAhNMru9xbqU1Ykzc6aoWra+xTdle9XOZNs0dONOGsGstlvLmqpT5TfllTI8t7H9D7lrPTEDIzdzgG6okd4toD3TMcKTaoSQSQBU2UNO4woHAz8E3ONoUHOV6DOt+Vwb+VkbJtqH6HdM8bZUL+dtxzabhH
zoxHLtFzZHkIHt5aDZxAfV3VkwQpkmJp/WnrmgmgZr/W7HChmXWiTHqlInKd61SjEAMLqpcLAR8nBdKnMsdOIDWLBjLI1o8EsDGLFbz1uALsenjt9bEgQw54bQMAmALsUAPwR4+wWk+AUNmI+wq46kdiLs4ZI7YTAT3nM9vn07/nwrmNUTwXUWUSG9YXcS0rxNXuHO/tCh6o2oZo6syXZQ59vTfOsw80lohWDX+rXlZT7NFTxr3NZX/ZdTJYZq/m
CojxWx9M/IvOTC45u6+Us6KY80/W8019PW7rTO81dojFg3hDu+izcHyz+tqzuHE3mzU3sbGHs3do83ybNti3BHJGZzb563NKLDvS3us0dJ2sk1Z3YF3OE1qoFw8E/WnI7QPDO8qCtYSda1ELT3ULipUnb3Mnh16j2uTumLebasDX/3WmfIV9cGG+geqRokdiUPpLB4ikkgwIIw6kLsqoPwzAjw2AcAzp+Aq4Lw9A2IEwKP8NXmPL3eXRdxAroTGe
VPy9NPYrdPuNi7BN29CTUXm8jxMostpZdOKrGsSq0O3s28Ll57VUBr/e17b9t7Popr5rEpgtO97xTX2mKTdrvxctoHcwSYMe11is4NafrUbCN296r8VmV2MhDHAjalUCGaDbZm7xm5bY5u5DV/Lh3tp+8jCtBQtFAJoJ/4CBdvTDM6Glz4Z1C+VFbj/isI2FSBtGSwpriYw65xQbGBwvI1KDOFQErhXPk4QBjG5ekBBayn/2eI+EwAfhd7lm1sJa
MZYcwC6lX2NIbFsoeLbTpokaLGxsUdpaHp/AkB2IeAmAWzhJXwC9BEYFAI8JiGcA9gHwxATAJIEIDVsiey/JempUnaL9kyM7Wfqv1FaJkyg69WJiZQ/5lBEoSoZIPIVLIxUEMu7JKGfzyQ7xL+arFCDfx7xP9DW0vG9hUmf5TAzWFrd/rv0/6/shBv/I/tbSBIMIUol/FMDM2GRzMty++XDmNwALF94BF+XBotkm5DcUBxDd3ugM96YCFu+HfTk1
R/z4D8qRAykiQLqo6FcMlAlDAYSgE0DjCzAsYUwIYyq4S+LGNgXrk4FCYBBPA03Fxj2EAwihIgkoefhtwXDC+8LGHmcSmA/BbgFnegPgEgiJBSM3pZgPgGBBCB9AElZvosBBRBEFOUXaULNG0AKs0kMtJYisQ5yC8+QSKQpM3BAZK92cTOeUNr3GZIEKabZJYhF1iTi9SuNTeXo+wqyc0SuFSOXvzWn6edlKU9IJuTznpBZKes7FerTz8H08Ah8H
A2gdjGZoAUwPWHeO+0U6oBShigwxk6j5Fc5Yk03RrBeSxJLFJIZmE5qANmbgDneKHToTbRw4HYcBQw/1lt0UjtMbQEwM4PyHpLxFbQL4b2iME0AsczgqoXACmGrBAUNQ3UWYD42cgPcxOOfCTg30rYbBvS1kWDsVRW4B9SOwYV7vtSuEfds2mjIUd+zL4xEAewowZmvi1ZMVG+miW4C3zra6D0AygD9NgB+DYAh6TYTEFYh4BNgjwqkYELgAfBHg
qRE9LztPT5b0i8ujI5wV4LnbY0N+ErXMoEPyHBCpQcI+VooghGN4smSibtJrHmBFNIiIzSTBdXxGZDCuJI4riPll6EjKReQ2WLMEeI2gkgmsY9vNCWKOtAe3aRUAoh4iZd+scDM2MoiEbTABum+MAahwDb1CDsjQhgSVWQ7HlROu4WBDcyRijBzw2AVcMQGdL7BJAygZQGMG9IvAmwtwWECZkuQAjmMUCARM92lEbZMOCbL3l+J1E6CQxLVQPhMO
D7loWOlHZUIhU0B8hqwkjYgPcxVBB05C81PjpvB6wjAoIuQj0XI3BYKNvREgjOgRWk5qM2+tEICSMBAlgSIJUEmCXBIQlITgwqE1gSuwbigjwRxQqEYSGQjfEgBs4l5guO3HxFqcbyedM5XtApgLqp4yLtv2Z4P1MhCAB6m1wf5VMn+L/biVcw870ovBrghrIuMFZMjOxLI9fmyM36StlRNQ8AW+N1q+jwe54blPCVmQzYz8yOHkSMS1DJN3KQo5
CIW1iJc9AMiXJiuxW0Gt8kO7Ql3hqLQ6oCZRpDDAdeSwHajfeuot8tsL4lcCjhu4E3G4TNwAxjJCQUyYzE1Bqh1Q+wtws920LkDdCswhHNQKiAjDiBsAktPg3LT5izORYksWWPYIViqxNYusXwRapIFh0xoFpsL0YSRErQIOFUhA0BajBJMbQRck6jaDUFUcC0hYXNKWFrCtchA1YaYXWEyC1SBndAC8CMChhzwPwfQLp3+EO5jgmAYkYOINAjjF
WkIkDtELD66SZxdOOcbKEFyK8p8aoWdGLT5DM4UZBQtrHdO+JahvcmoDbLWGrpLtTKbY0fGkKK4y8Je7kt/u525Ygs2xk7fyUvxn7czqePgqdj2NC6xIsqUUoMbhwJaaJwQ0ybBtyPgb9ZHpvuUHgaUorFtY4ootALVyNBr5YkCo8PEqLaEbN1R1vWhNVOwke9eemow5tgKak6CYZu6XZKRgsa0hKAWkLAM7NhCuzrInAKALCEIBGBKgmsPJHzh0
xIpB0WsbsP7OMSbRoQ9cG2dAC9mkYiAygGWIdjZJwzoiUAcwAQFTn5gM5UAAijtX9m4BlgTAd8fiS9D5hlgBAT2bDOjy+zBQQgYucpHCBBzKg6ILuuwgQB2IwGLIFIORHABrQNgcAOAPCHoTnpoAuYLIOS26b1AGAhABABQCxidkyRjSBMB5OUYiB+aTYY4PoHhC38JezMvCrvOxwHy15pI9cdU3vZEiIQL3c+cAQPnGJ3Eng7mY/IAgXzMgR8ls
Q00Xkfov5z8n+QFI7EfzAFe8g+S5zX6+DP5kCzIOpHZFb8d5QCstC/Njnxz8AicgBU/LQWZBjE/swOcHMJC5w4F38/QA3OMJpyM5wQM4HDLIXALD570ugX9NIEMK8F+gVcD9OsKsLHcmws+agv3mZArCWkB3PtAfnMB8KMIOGngTS7wRF5kijEDCAfBZgNQCQFLEl0XlGA2ABgK7AwAIBd1eQtudhUIv0DQKYBEgcRYvIjAkAiF8iaxaQFsXHAVS
vPNciQFBBsBVgXCxCsEAbplAbFN8x+kLCxgehFItsUMAAAomcHQXgIwmoCxKYlaxAAJTBh25ndbQhUnCW4AolXOeJWHzyW5LRQZNFJcYogV3Rf52IRBbnM4CO8U0EArIO3P1iOK6CQsbID4rNjdzCOr4eiNwE6WLAOAnqXpaQB7mhRW5GELucMv5hwsDKmgIEMi2YCwgBlcADxV4oGWaBfFxsjYMi0ICMAtIOi/AHooBFhBgg2yyFDtQ7TFyKFCm
I5oMJ0E9gDAsIDIKcpljNSJpxhbZbsv2WqNwAF0VtB7UnAgR5wQAA===
%%