==⚠ 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\)
e212b838852e7465afadb18e8b5a8d1b33678ced: \(d^\pi (s_0, s_3) = 3\)
81862351ffefe06d6a8bb7b084228c3f3eeee9c5: [[assets/images/Pasted Image 20250801190905_999.svg]]
a29dfc5c0984794a4d1cebbd43064b9766f4fa9e: [[assets/images/Pasted Image 20250801190906_072.svg]]
13540d8ad04d98f74c37a33cd60c29a5606b8c5d: [[assets/images/Pasted Image 20250801190906_081.svg]]
85f31e8f2844a15850b9e80c7e69924c8897ddfb: [[assets/images/Pasted Image 20250801190906_088.svg]]
87d653650d05d41171f451e92aebb6188f9fe4b9: [[assets/images/Pasted Image 20250801190906_124.svg]]
68ca721b521a50745ea5f49d472766fe18fb661d: [[assets/images/Pasted Image 20250801190906_129.svg]]
dc7a49fd5749632986d64c4527216ea9d036d4a0: [[assets/images/Pasted Image 20250801190906_133.svg]]
edca9ef3372e4beff5e58d5af3939d92bac1fc07: [[assets/images/Pasted Image 20250801190906_138.svg]]
2121e53955e6f0f78823574b45d8ec16dac888ee: [[assets/images/Pasted Image 20250801190906_141.png]]
da86668e3268ecf60cd21352a097b7a60c343fb6: [[assets/images/Pasted Image 20250801190906_150.png]]
a9cb853ff9524450c7461836ac3ae65d6a15259d: [[assets/images/Pasted Image 20250801190906_154.svg]]
%%
Drawing
N4KAkARALgngDgUwgLgAQQQDwMYEMA2AlgCYBOuA7hADTgQBuCpAzoQPYB2KqATLZMzYBXUtiRoIACyhQ4zZAHoFAc0JRJQgEYA6bGwC2CgF7N6hbEcK4OCtptbErHALRY8RMpWdx8Q1TdIEfARcZgRmBShcZQUebQBGAGZtHho6IIR9BA4oZm4AbXAwUDBSiBJuco4AJVJ4wgA1ADYABQBROABpWswAFgBlTQBBRIApNNLIWERKwOwojmVgibLM
bmcATgBWAAYUjZ4eRJ2d3t2NgA4+IsgYdd6eJu0t+J3Ew4B2Le+mj8Sm/hlCgkdTcD4bD7PE7QmEnD6AyCSBCEZTSbg8LYXbSJHGJeI8S5XC7xLaJBEQaxLcSoHbk5hQUhsADWCAAwmx8GxSJUAMQbbD/TRbFaQTS4bBM5SMoQcYjsznciQ8gBmiWVO2VypFEGVhHw+H6sGWEkEHm19MZLIA6iDJOi6QzmQhDTBjehTRVydLURxwnk0PFyWw4OK1
HcAydyVLhHAAJLEf2ofIAXXJyvIWXj3A4Qn15MIsqwlVwO210tlvuYiZKk2g8GpiRuAF86QgEMR0fizk03k1euTGCx2FwA00ATcGExWJwAHKcMTcXoQjH/fH55gAEQyUHb3GVBDC5M0wllbWCWRyiZT5KEcGIuB3HYDX16OwuELOFy+5KIHCZ2dzfAfzYCVdzQfd8DCIoWyKGspnrSpfyQAcp2Hbh4guK4UKHWd52pXZekSD54hJcdawLYgiwkXB
4m1QhN23MDUAgw8JwqCRlRgABVJoAC0uOwAAxAB5CgBME/pOmYYTJBGABxbVdX1F03QgD0OwdS0EBtYhQQDTSnRU6k1I5T0J29SRK0TQMJ2DUNYHQyMJ0pN14meD4dnBJp3l+DZenfLZ4QnNY0GcHgPixTENhxJpHgOQ5HnJcNUDCvZeiaC5EgODKDg2Jpov7CcLSdeUuV5WFSyPcVJXLOUOTKpVNB4ZUeE0TRtWBXS7QDXo3K2Hh4n8nhMJOPsg
trJEUTRAN4khLZCMSC4dm2P4suuWswiYppMQGgl1rKaNb3jK9UwndNcEzJ9UBzPNzJPYgrIA27a2PGViDPTJslyApTtrW970fdCXzfD9MW/Cdf3/NAbqAiGQJZK6WIQB1cFIKAACEKILZQnth2tsmITHZWx3Gf1CKB2X0fQ1EfFo2ALKBSaKqI0aGUhGQoJFcCumHyQJtmOa5nnAPJOB6cvAobjAQpJlKWkpbAHYpd+yYZdl0ltA+DzHiuB5Mp2D
DCtlsBnD2ebfkwpJ4gOeJYoeZWEWlhXLm0PL3wxXoPPBYbxtlking2PKtgOK55tmwKHaltXJmcB5nn674PlfA5iKwhX/dd8Ek6SP5/Pmj5I9l6O5cdxXlZuFXIDF/AYGUTg9wPBBoMBOC6xmCRCH0aJkInQdpxHVAkn2yA++HOcOAXNBPfBUkNic8jCxC9BcFSdct2CQHwMb/MrogABZAB9aoABUD86UYbt40g2h4bB0aMBpsE6bk0z1A0jWMyRx
Q0QJzUda1bToQMiyIylR1JlmED6P0QDbIhmwGGRy8tawuWpEg1Y6xXhPH6niL8/lbanGGkldCcQHgYnytbW2+VopkTKMVFkpVFToB5BVbUYoJSHVlAwyoDJrDMBDIEHIHVAEBguFsZ4mFDjfH8hcQivxySTVRIzKeYiPhNEGktcKRxZqxVbExJIPx3zWxoZAQ6cYEw/TTBmBAWZoYizum9R6tjnplFeqec8X0To3jvA+PRwN3xJzBlsH8BYobXTs
bWTkoFEbb2Zg+IQiYICIGJosRSeprG72JBcWKiQXiagQMqBAOwmjECaLgC4bUPiaDfKQi4ApVRtjbPyYUdJ3DUmLjZP2FdyTYEZHAXGzdYITmmMZTu3dtSj3rmgbY2F+7j0nqgAKX4+z/HzIvYsiQ6IMQ3kxJGO9KhWgoLgQgTRBIAEdEgAE1OgwH6PSEY+gOAPJnKk5SH9Khf2wD/HuG1/7aWEYPYBzo3kmlMhpexUCqwwNrHZeBDkIxoMgCg7g
CKIBLzClcBI/kxykl6iSMkE5krW2xJ7Wa0ixyLU8sPNSvyuFKhYVVdhtVaXoB4RwPhqMvpCK6ouMREIIoEnmtsa2w0gkTgUdNVAr5ngZV+HiPEIcIq6KutbAqOKeAotMcdCxZ0rE2LCc4yAtVHH6rxi4+6H0LzfTQNeCc/0fHKr8aDL8oqIkhKZhE+GOyYk/LiQkpJjgUmv2CHqikBJiDKmwFsbAy0ZHgl6LgXoxB4hiDasQQiRTeiaAhGOZUvR9
wbG+bQ1pks/aO3iF0icPTgz9NKDBUordhmVFGcoQtI9UKTMHtM3u7aOBzOpBCd4hwKWrMokvCkvRNnrwQJvZi3qyjsXQNgNooxRhMkwAAGUICMNoAANdGAAJfA9BOgXEkJcl579XSf2/iIVt1KtI6T0gC5mWlQEgrNF6SBlloH6VgfZQl88yhIrQCitF5wEhfhkQ8CEmFCJGzKMlXorsslJE9hiHYmJMpUroWyeqjCIDMNhKw6qHC6oKm4eQNl/D
OXkk6k+g42hQ5a3VebY4LqyjiqUagLYTwcmiNOOlWaWUu0bTbMq2aWTAqPA1dKMxnidUXXSe6soRqf0mqPOa9xEtrWVwgHamd4dXz+M/ODV1f5lOQEiQjBukFkaxKgPEyo/qSZBqUxIfRr5iAXG5qcYglxlRJwFB8XAOJsAlJ2NgAkuAeNFM0LUrYYKNrFutVLDpkxy2TF01WvpTj8ADPrUMhCHcu4tvGT27guwLgzLHnhbg21DhJHeCOqiy9mls
S2dOr1tm9kSF4qMUgOwYAfAKZgLYDQD77v3UYHcyhfTowvW+9AHyvl/wff8tLAhfmLZMh+8F37IW/uhXAhB8LyTAZpOSNF1sxEYQOLsR4WsdgiqIWgI4WIsmrmE55RIZxAXMoI/SicbCar3X+6y9lAjGa0f+YnRjGGkjZNilFeRyJFEVeSP1X4UiPwYXBEq9ClwBpZJ7PBkxsmtU6csYpvVvN7EVjU7Tl6mnPraaTLp/Tvj5ogwCc64J5ncvASiT
Z1iPqHN+oJi5s6aSQ2iNVPEBAFwWpQZopiXYWaFcRY+AgKhPBejYEwhCYg4b2otIIG01LZaK21myzWsAdbiiFfbugZtd6JkDy1hsaruEJ7Ukg++E4pOqijuLE0SdjFondbYrvFoG5Eh71jPQfdpz8DOGVBcOA8R8AUAPlAZQFzV5S9eVe95N7f6Asfd1Z9PzX3AvdKCiBfh9vWSDMduFg9AOIsWG6UD6xdia16J7AfJFlpzyXMYiAyVFpxANjbPK
DwDZkL+3h8qRGGUg7emDyjEOaMTjo5X2Vzx/g45i7BlHU0uN94+I8byr5/hZKe9hsTxDwR+TeE1icmrzGU4U5dCzEBVMHbqZA7M6WryZ/TeIGaOo86mZlCQx/5WZdYi60JRBi5OYS6BqF5uboBfglKkjbQ7DEAYZpokTES5ovAIAHC4AIBtRqKYTKgbAFKZobDmjJZJgW6pZW5lA265b5YO61iNrFZjJe4DyHCe7do4S9q1YBjqqByUoyLNZjq4A
fBh7bIR5IGQALoQDYCnKWBwB7x7wABWUAvQck6MM4ygcAygx8gkygXEVoC2teUgped6OGFeUKyBNexe76ZktYFkxqG2EAMKJ27eKK52PeoU80YilWfk74gcgUnkL2vAGsRwV+mOFC4U8hL6JUy+dKq+QOJGTKORLKW+1Ggi0O3Kz4yQpwg0+US4gUbsZ+aOU8yQ0m/wfwfwfkBw+OM0aiOIxEeUUY5OX+bOVOv+AudOD0DO4SZqb0FqHi2q4BAMn
ORmTqMBlmbq4xHqQuW8keoujmEgzmGBtYSkWBEAGUeAV+8QQoA00WnkZwIQWwuaGwaaV+qiTQBSGEyomgY48QiWRaZuJa6WlumW3SvStu9uDaRWy87MbAVAwhYIYhtYbufai4+UA0dR4+FELWFIFwKhnWahdm5Eu8jAxAvE1QFysYmgyIB8jI66LQnQpyFAwkAAivug4V4XXrttXk6G4a9oCttuAp+o3v4S3v+ogmdl3qgpdvcBhIxsRAPsSMRFl
H2IkURJrLgr8INA1gSKcEvuRkqPLoaXesDqRv9jyE1C1G1Fyk+q8BsHDotNmjiJogkWKqjhKiiptMqgbKcPlFklVh/kMWAWUOdGMUAb4fdManBPBE7jwM2BprMVplaiMbahAcsdziZuxusfzmGbAZ6gSSjGjETAGjjJsWUATEWSTKWZZuTJTNTDIO2HTAzH/vSKjFAALLCULH/vzDCZzCELvKjBzNqGLAzFeFHArAinLIXKrOnMtPaf4t5O8Ffi6
cbErLLMmBXLwZCU7hSD2WVhIcQgEciVIbwCRBiO7BlAocWMwWvOHsLoSfOsSdUM4KQMQBcvgMoMoDAPQOjIkDujugYcJBsI8lxOyapIKVkQAhUbwPyY4eBeGcKWpgEUEW3q8KEZKcitKaFNbGlMJuCCNNsPNPirWJPk8EtB5N5AbKolfp7OPjhmaUafLsRoyqDkUQRhaa1Cbrvv8lrNoGcG+DIvgX8AnI0e6d0agO8OlMxoQgGTGBTsmccbqsLAa
v/hGWplGW3NSLGZMPbqKCAfMd/osfakDFzsZoEnzqEozrmdsbOrscga2RWSklWRgLKA5SWTmdWfSLWTTA2eLFxpZZtq2e2b2dzF2bKEFZ2dRLuaLL5aOUXOOaXKuSCWOcbDxXxbBoJTkhiAleXJlpuY7sZDuJgFDuIf3NwEROPkeT7uhItEtJJR3kHtibgEMHiTOrslHpUHvA0ArhcJ0MJGyUGpemBfXuXv8thltrBcNXtiKX+rCgBmhVSBhcFBV
oxqIqQssjiObIkQPskDkvlMtJ5BsINIHnRaxTyNbMRJFkxevpwqdexVaeUU+jklUQbGNJ0UTmsVIG6VxlKkYkUn2N5LUZlGJXiniJQv1IMbJcMTagpdTkpaaoaqpYAf5RAK4u9ImUGZABzg6iZasZmRAHAU5QgfmWdJwFAP0IQEYA2HEKRKIniB5ARVkmmKTYJBdHqISuSIVVxhABuEIAQKgFKNzIQF9KgJRMwGIGUeZJQMfFgFzTzXzQLY4MLaL
eLcVfwTLUMEQLNohPkqrWUIOFAOYAQBrSiAPNANWt0qTUcr6KQDTtMZAFyCiAWAQNLUVZUHLfgPzeQIrTkCLeECrdqLgEIFAGwNUOEBTdSAyEIPeVmQgPul9ehCkFsHlfwVCTuYOfCQGDiMISiVMl2ItKhZedRPNjeaoXeT1ugIJC0C0MfBuAfPEEYEIKyNUC0MoG0JgE0BuA0HuvgKBcZHBR4TyaNTBRyTtj4Spl+tNUdmKads5OhSBphSlGcHa
UUqon5CSE9oFIkb8NoDlD9r1P1PylfnqQ1EwoUnKrRGvqabdc1BxdaZXmIhlHBhhPfktBoggM4INCJVxoNJCBhhIplWvRhI/kxOqh7hhEUjJpDRjTqIpX/gAdWFLBpeiHGcAQmSzkmdDWUFjcZSsdAXjQTe5fjXmWXbEoWVjI5YQ+WeQ25cjfgDWQYHWbTL5c2SzG2T2RFZQ2Few32cWFFROMOazsXMXIrNlWuY7MI84A/TIj9s/T2K/U9u/Z/en
J7NoH/VcAA7ilcDlaUOubWi3Plbw+nSVWhKOL7G2hITnYPInDVTrIXcvKyC1YgdHeULvBsPgLxA0BsPuujFxPurxGwEYOuhcLGFXf0EcgfL3WApNdyZBU+mNZ4UNVyePQhYAUha3nNRKQtfPUtaFANJCK+KhTkkNDkrNIkeFE8A/jlGcERNFIiQPfQqdWfVbFdVffqUwndZxbWHvuhCo2o0cP1IA1rF/YtaJnogfVfjkvVZ/tAyGVgcjfA9wOpQI
bwCg0zmg6AQsVg6mdjbgxmeZfAcQzseodSvZdQ6FYTGc4TfQ1TN5cQI2YIk5S2azNwyFU5d2YLDw5FUY7WAIxg8lbLBOWXGI/8zHD/ao5hv0wSLikM+Odo2ALo3bvoynduQObCXuaVa9gSNncebjvgeFK+HYxSBuI48TUSU5rgAYUMFADmIQDupgDwG0JIMwEyBuPgAUg0LrZAEpINX3dE/U38lBfE4ZBNUkwjSk83jNcEQXbPVkxdjkylIcLxem
iSJItsLrocIkcRLxfTTY9hbqRBbhm0wRk03iC04UUa+aTffdVxVBVI0/ZhHI2+Aox/YHpxj07/RCxoyRGnKM16fiDbASzJUdFDbprM7bcpQs2gEs1CVpXo6g24ug9A9g8+DjXg/s4TYczZcc08xjJc5wxc8kjQ3bfjdc4wz5U2Y86w+FZ8/m9W689Cd82UL87FdOSuaI0lXFcbJIzvdI71A6062/S66XGC30160A3CwixCQY182ixnbwIddi1VQG
NsMtEJf5IS7gG0CSyQ2SxIJoAYZ0C0A0DwJ0EyMFjAFAAaAYach8MycycwBOgNQKXy5tmtoK8PapPeMwEiH8WKxChK1PbNeKTK93gvZI08PiH2CZv8A/v6cRWVW8K7N5HPEA9nC8LRTSqdedcmgXi9AUSxRax03fSMxxvHa9rbAkKoj5Nmq8NJb6z0/fqkTxhDcGzM7A05ZG6gNGzGaszMQmxswZVs0sTs+mWZRDBsYQ0TTu3ZWQ4W+c65fAaW7c
/c35cWzm3W3DXzFwx8/W2nbO/wzFYCaUMI4C4lTo+I/FQrANBB1R3FKorRxcBO8nWUMs+UCVq7uVq9issY97vMobEROdSqWxGstRIJNu0c845oS0PgMyZ7JIPoJIKQDwAYUtMJLUlxBcqyMyRfYXjyyXp8reqtoPVBQEThs+6KypeK+4fbek8B8gnPXK7WGihik9ktEfj2CQXjgShVr1M8Lrp7KcEU/KcffhoRjCGawRyfdACURyhLV0/8mOEh0c
MtC8KopBsM1PG5KIkdXvaIvNLzkVE/mgHbA6f5IHtM5s1y+x4Q5x8jajXMYI+ztszg6Jwd2ZhZcW1JxFyjKgQcegTjK5iGsQNgMFkuMqMQIFGPu8JcMUn2NgGcJorbCEM8b2GmiWCwQCSlqWhwR21wWCTwXGwVsiwVTLeiyY5Kt5Iu/MvKm8JcCiliYoQpCXfidJxobvMfDAMyXvC0HxEYJE94b+/esV3Ex+7yxV34YhaKUBzPfV7K+ESlIOtiG8
BA99hCG8GU0cKo8SLFEUgcMcEuCN7yAxcafhxvtfZaZ00CP8qIprCSPxvrJ5MSFSm61PJCEKsHKhfgbU8DTxgPi9QPix3JpdzA7DXA4jYmHd3pY914sJy96ZW97ARJ7Q5m21ccaTeTZTYuG5PlB5LtYFJlA8MxyTTkCzdTDXPaEMqTxIP0EMA416FLVX+gDX3X5X0VcbVrRIMEMqJy5OGjIbfgO36bcHX0hbTkFbUwOG/DYEaQI7RwM7Y3xAM3wH
UHSHWHZn2gJHc40hHHefgnSSM59GcZEEEQHIB5/uZnWY737MseQSF2ASEFwvMHtRP1e1lOq1XOmz5UBwDAEIGwMJGzAYQlDCR4gO6fQB8AaAcBu+O6bAPz05Jj1X2wvSvEKxAQit4BlXf9tV0CK1cZeQGBrvL1jiQgvwScMcF7BkSHU4OCGdYEcGpoUpZUh1JOEuCIr8t6KCAI0hNzN4Ws8k2AQOMRzQDfANu3GYBldCFTvASIAxINkH0E5XdQ+H
HcPos0QbLNY2iLeNmjUTZGc+CssFxpUESCMAWggkaKDIAPgXBSATQDgLxDkiCQ5InQK0LGBFAudU6qLKgFLCbCcFMaz3FNrszE7vcDm1lJGAfyQYSBj+hAU/mTw7R28qe1If2CRCkTedH+jVWwcz3f62VP+EgGKHvGqDMsjAb4c5NgCGAzgySLQLiJoBApPtUBgvVwkPQNblc0BEvVJlLylb1UwiC9fEJCHxArhoeA0SrFSmSjOBFoyQJIEtDoGk
oDeBrFgWwMvrmspuKoApNwOvI2sn0/A10rvz4FCD0ImIH7AQgvISC5KmDaQaGXmZyCo2CgmNrx10rrN9KbBWWFGRSHoAdBCAPQQYKgBGCTBZgiwVYJsF2DD+hjNFs4MdjXCtBEgLunvB2B7w5IB8ZksJAaBCA2gM4ZUOjAQB7w8oowAHgrACENsfhssFwbjzcGx8PBr3D6gQ2T6+DG4/g1zkEJCFztSUEQ7gMSDfB9Ci+cQxQuMESFONy6EAZwOu
gTRtA5I+gGcEyHoD5QhAvQfQGwGPj6AB+awUoSPX7oIDYmSA0XlE3F4T1JekrFCo0LwEL08QN2SRE6RtjnAmBtwKgf1ASC0COiww6KIbwNKsDrR7Am6pwJmE8CHq99PGi70EHA1LgOcDyBQLJxQNg+YbTThMUjLHCeO2leMvxwuHFx/hmhIESCLBEQioRMIuEQiKREojjYaIvTk4MxF/DURmhfJFUkTQHxeIx8TABcGcDOBCAnQddDun8hZhS46Y
xwRAGcGuC9M7gweFAT2bidsyRI6zBF1JGp1yRYQUIQPFuzUjXs/FLOL8ExIhdl4nQcLlm0i67xJAowcUEMH6BWhlAzJUYA0H6DKB4gyoAwgfB7BMh10sA0euUN+S8loKVQsoQ3gwGHYygyFDJiBylLytSQewNoaSA6Hr06mho0KDBxNGDCzRDAn8ULwaYWtjetosjFMK4GOj5hzogQeDUO56JWuohNRFSgu5SCQ++w4tpx246aVThKNKPn8yuE5j
d4eY3zIWOLGljyxlY6scE1/b2CUWu5JsdiJbG4i2xqbDsd4IzbEjbMfYpiY23MYYtxKOSUcYPFjT34YiG7E8SyNJYPltBug/QYkEMHGDTB5gywdYISG5dqh54t9iL2vHSiX26ApvJgMfF1dcBcvZoQkB1FfjKs1sb0RPioHhQAJK9LKOaINGgTDWUwiCRMMm6jcYJcw+biVyxZLCmig8JRvRx6i347+DkjCfJWDLXcDhDiNSsGPwmhiVBD3DBk93
YmGZ8R+DJPp9xT4f8TmsnYsvIM0EZBLUIaKANUD3idA2g9AUgJIBnB7xmAM4cEb0B3QUBEgFAVkKcjsE6gQI+xFKHsEd62l9qc8OeNIwNEmJcAOWbjJrDvwPBXgmOPEIcAIlUM5ORwiqYmRDQzh90+gIQJ0EwBtAhAXEXiIly4ijAjCG4KktgFTFp9sAw098YtDQyvFNEV+dEo7AgDKA5p6IVRo8C1ERQ/IQlHJAXHSkRIlO9ZO5sw0raBUXmAY/
GNpw7I1sMxQ5Qzlj1bYAt225nEFqUH9alwP6g0JzoTw0FfCZ2cJHzgPD6JiTOhlFTEPT2nEUg94c41PvJMBE7pgRoI8EZCOhGwj4RiIpoMiNPEyjPJl45AUCkMlKiqu94mrtPRCKZNQO8rITNZPaF7RvxHknoRtRclDDgJlophD5PyLMUOB0Eh0YFKt4lciIAgi0UhPEzbA8otBWKYGT9GJScJhwrjqlOQYQy+OqggTvFJxFGU8R8fAkQVOUpfd5
xBZXNltI9k7T0Ge0g6UdJOlnSLppAK6TdLukPTgyQ0xMHsDxCxRDqxwf4DiDuLejZp80wgctIwyAySQ4Ia2BtJcp5t1KlUr6CGl5obBmAQwJoIyQaBDBj4bAG0FxDaBygZwpyFmd9OVDZz1gewOmR7FfpDRvIDI2sL9PmkkReKgcdeRvMDhaxGw3sjyhTAYbKdYZhDdTgjPOYadvhlMn5hjMuFYzJgpnKcsZ3ThWznYO83Km/OUFE9GJxkBsXOxk
ZiT3gLwXEOIMZHFhnksk1ngCPQDkSCxRYksWWIrFViaxgvbljpKK5yiK+MTSWYkxqHKi6hqop8bLyVlNcyqfwVWZ+PVn6jEiYUQiDrKAkD4bZmCsYTaN8kmz/JZs3gVY1dZkcFkHkz0twAhCkh+mUzZ2ZhP9Fh9kpgBPCV7NJlnDwx0fFMjlPbFeDE+XYwqbxOzasMFO20/GLtN3htyO5XcigD3L7kDyh5rIEeWPMQYTynpiYU2Ko0EwLQTgNRTC
ItDMZlyaRqjYGZ7CWm7QSI9cgtmVO0VlldF2gvIVaEwAfA2A9AZUFsDrpstTkcATAKMAoAUA2AA06xc9N4qtdg4g+M4H8HOozSfpf0tAK0KBnvhvFGUDCK/I/mwEoZTDCtsfKrany3myM4Kv2T4ZXyRy6gkzjjPhYWdjYJIUnKUGcCZQSZNSrciMnc5Dj0IWwpEj2ksa59toX4d/CAuojCRWZxUzQjVLqkNSmpLUtqR1K6k9S+pp45bIVxGolcFR
AvW8SZNllYD5Z0rQhS+OIWhQpUQ0K/DD0h7z5A8PQhrFko/HDQ+wVwdXqMNOqA48Oxsu0VN3BylEe+3TZorxQGhVzvINckCa6OGiuwKlMiJFZjjHBiU54K9M4IGyXkiL/ZWEuZm7IkUR9i293dGuoKjG7w7hDw5SU8NUmvCNJHwusa5wbEsTcZhlSApxOUVZkPuYcoqckJOa/d0AhxTOTqGlxkTgsWwJqN8FwA9gtcEaXqBQX5DggIelxbaOKB7A
RZ9ciuDHm6HaTAk+VePatAT3GXTtncUyuduqgqrzKcW9NcKDFkDwM9iwLQDZeKs0L7TDpx006edMunXSoAt0hAPdNOXOE0FArG0lcrgGC9ahAHB8dgIVnPiSOkAJeEPExSwYpptsXXJiCoUBdXYbq3qJ5GDjfAHJJ1C1uCpcSm8oV+GGFbNzhX/IaFlc1aaioEEYqQZPiladflopHdB4oDb4Dxi6LbCQ2oxClRG3dmR9zhgjKWAyoUn3ClJKkl4e
pPeFaS0x3K5iVmIXWkTKgMY7mfGL5lJjBZwsrlQ4J3XaVmxybDiZ4IT7CqfBPYiOfZmGmJJ/uLyU4kkG5h+QMQ4UbAJoFXACgiQ3MEIMtC+IbBNAeAeILgDizEAmooeU3KavYKdJWJ3BE1PxMmVCEqZ6IF4LTPxDLQC1uuDdsyR9XHNNC+izud3N7n9zCAg84eaPKjUFcy8BrS8aV3GpSycFMsqvCmoeXqjLJ8rUQTvRskULlylA3JlKh+yiJooX
sHFIhMYVgq8iEK66lBMbUzdIcHCttTiurn1Eu1WIHtY/W01jgB1TENbkUy5yB8dhobV2dOqpV/5aVagzGZ/N3boBD1cY3mYmIFkpjPh9Yq9TIrJnsyoFXxCibAuokIK6JtY1EdusHK8q+lCiwOXerynptJOYqjRb6jQJydAeu8SpJUgxC/ESQVxOeIkGwAkREgcWRNE9mTRRpcAIWRcu2E0B64TV5ubHqhotWQB0NMMTDU2ntU4bXsH1Sqn50ODe
Q/1G7aoGRoXGhKZw4SyJdEtiWZ5lQCSpJSkrSVSjVIZyljZgrY3xqzxNyyerxul5pqnlGa1FOjiQwexTyRwIVAu265/izgO9EguhwfzERSmoKmtUprrWQrVNFGXhLCs03JB21OmrrhNG4XdqsVAO4zWJRYyZQll+rElb6NEU2ap+t3GlURJbbObAtGAYLTAqonwLaJSCnzdFoxHXrWJt63KcHPymqLRV6i5xi2UlXvrMtmBENDsBq0AaNqPAe8NQ
VvhLQrihwEHm/nbB/VPYh1BAKDUt4CBWCZqnHm1q0L48MNpMiZd1uw1zLz+kqdKGJMGgGw4MhGjdv0HG1sidgFyaoMyUwBMgLgh8K0MyRnBNAs8pAVkPumVDHwZVKCxwutpcIXj1s220WUmtMmprHlFkoheghET6btesUH2LbGJxULSUWS3XHt08jP1CI+sgHO9tFD1qvtEgJtRpqdFlUeMa8oiBhgZmiJto4+V0S8E1iE5jgqRB4LENoSDrXg5S
tREnEgascXZMgm7jOpR1zqspMfBLWTtxrJbuxrI19eLgZ3HE5VlQBALtDiw1V+oCAYgVsFwD7h4NGEBXEKDKRJpANbRWpLuCQ3NagSUuuLdbll2db5dtqtzkrr1qedUAfkDyQNupBJxHgwcYaB6qZm4Bj4eu9qp3ygD6ANwckDgJICtBWh6YRgDcJ0C4iJADCDQdUHz1W3XpmNbuvSZXnY0JMxeXGu8TxrlkHa/dneATS8sXoqM1udRXYKqsDg/L
1gqiFINtQiiP0fsXwS/tWqmG1qU9n2zfD9ubWabEO5SkggbHeB4hYdpHZYeJTSjP03gtc2uZ+HxVjg3w1+J2fDrJViLZBdmpyg5r9m7C2JPepRQ+vxqhyp+4ctmQFTp3SrP1IadsHgALSqgiIPABAJmnyQxKEAmICHgvqyhZQ/MrUcUHuOjTKEd96gjbGAAyzS6OtgEfwZoS2BtTTkZwGAIkDYAtBtIxAIwBQGqAno9BO6bUK5xdzag0UKHFIFcE
BXZxi54+Hob1GnwvBdo2wEgc/KClPp0oyQNRChz27pRcEAgvsNiGiFGZ7O+CcfE0Ne3Qr1NO+ZTa026OsHM92km8Rcv0mYLUFQpNA2kz41N7JBchxHRuxKGBipiylPhSIluzfYj6vW8SSilv38KG9NR+qvRDf6D61mcirvfFoFX3qQ5lOnQ6lpp0oE31hhrLZUF8V2Gso3wbXOqACz/1IeDWhLBcAjW2x7wRqwEy4Ql0ob0szYgI/qC63p7Sec7Q
KJfz2NTI491FavRoRf0NB39Lmn6cwGUDphMg9hGA4qLQEVD32Bk7BYmtwXJqMDDQ+agHszXrA54cQJaPdgVIZFloVCpcG5FOBaxMIsGJ7Doi6Ojd+QgoNrH0cmGjciOWe17HPE1gnBdgpwCRE7xdHcKc9D2Oom8GKM/ZVhPUL4GvUb2WaJ1P+KdUjvb3KVlDEY7KeocFWaHCRai59XocGk5AM+1IO7dwcDg9hhoMaP4EzRL6s1y+dyzmm7SYCEAS
SzERkPoGQBlgG+rtCQFuBn4Rn0wBgGMxzXVqa1TaXfHvvrX76D9uE5tStJbQLAT9EZD4mfv4Hn7xn0AiZ8M+2EjOpnl+wdUOqwHX6oBN+fOWOtwrcgYggj/ZegEIB4AHx+gvQDcP0B4CSAMoxAD4AYX0CCQLAMk0/WkbA4uK+uf9eaASBBkgStZ6UBUwUpIHSbtosp1AKnHchalRE8pYaB5NdHyniQfkAfA+cfMBFOjCmo1hnt6MfaVNLBqjGwZJ
PXLRj8oykygepPcbpjmB4RbIdUPyHCGnq6iMSeWNI01Og6vWJDw8i7HL9uOMSRFBJD0DMI4C77hlLpWYTSdGhm4yKruPU6fuTxj9S8YkD3hicGUEXTrAjXKgewYWAaJlRLAQhNAwWNiz9jVDfEmt3h81QfstXzTj9Nq4nortKwOrgFF+ixji0OAD4PIZ3DdskfwsvrcTbAddKMBaDEB2dXEYgM4GPjMlSAMofQCYJq3MjhjI9V3TGq21AXSTIFqY
/ULVEMnnlgelKF+GXrbUh8lWbFVQt1y8nFoPYALgvODgYctIZpRgyjVT3fnt8c3C2Y9R+zIZDgUGb1kQIEF3aIo5S0kMUfqy8LB1OSF4FhjXDjq2OrepKfTkQuWnUdwfEi3abItPrTjdlAwzRcZ39l+QcWUkJqDVYD5dgIPQTNDvFCJAqC20EpCrgxDPEhLTm3wyJayxH7AjtacAL9ApBwA4AhoHxOVKmBIgsgiEXfoCAYBC0KA6MOK6dU1AXWtQ
h1p6ezBbk7h9AhoKK1h2tGMVrrIgSHLGHuunXmDrFd84la0LvW7rmQQSG/AmNFAAbt1nIJ9cyCPXEBGC9rYDahv3XYbKAzjX8QhsfX7r1QGk+4QxtA39AwkX3YBjxtI3gbzNQM8lHYwk2oA0Nuc+n3Drog0E1N2my7TbKZnta3fFYMzeRtNKdOZZ7m5kDaCtKOGaMt65DZpv3WgqHPbcrVC5ti1GQ+oZIyUuOCawqb8tjkPgAuQ9dWhfYIpFlXBt
GA2ABgbayPAIBR10IvBAW/oGxuKH0Astw61KBIBunGbDtmfsQENAIB5pVNx28QD3hsBKIQt2DcEDkk/S3bzKVuOjA5C7xSAygMUAAAo8m1AE8vCGTtJ2zYAASm1Ch1lAuYVGLMFju4AE7xwJO8txLvF2aQzwTO5bZuuQ4UbCAQmwbU4DUrnE5K0OoWBn4UNW42QIO0xA7OVoT+3APu7WDn57WN+Zl5xsIEvYlnB749y23YAMIRrcg/QOfnoX9sIB
A7mgYO9JwpDzA6zfcjkCbfTFhBggu9+uN0niTB19A0t6kAPrklXcDA/QDIKfYHjOm6GdyXe4wH3s91rVWIutLKuCDVgXBTYIAA==
%%