diff --git a/Excalidraw/Drawing 2026-03-30 01.05.52.excalidraw.md b/Excalidraw/Drawing 2026-03-30 01.05.52.excalidraw.md deleted file mode 100644 index 0eb1a1ac..00000000 --- a/Excalidraw/Drawing 2026-03-30 01.05.52.excalidraw.md +++ /dev/null @@ -1,179 +0,0 @@ ---- - -excalidraw-plugin: parsed -tags: [excalidraw] - ---- -==⚠ 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 -0c2ad4dae5ed514b2fd2099d68d0760c69fbce4d: $$[1^{1}]$$ - -f9c478059e1cce4e96a58e13baac6bfbb4f93eff: $$[1^{1}X^{1}$$ - -214cc7890168fcc3649c7581bd637e267a6de7bf: $$[1^{1}2^{2}$$ - -84fa363149df51fc341b5998c6b4e67ed3dbdb8e: $$[1^{3}$$ - -f49bf0b1178f855291cee484fe1921917621c6c0: $$[1^{1}3^{2}$$ - -c6ae105adef2251de3956c588d95fb1ed29d572b: $$[1^{2}2^{2}$$ - -f7ab87077d1c10f7309f5bbce5c714d5f25bef0f: $$[1^{2}2^{3}$$ - -539b82e2e9bc43b1e2665050071a453e72116434: $$[2^{1}X^{2}$$ - -082b26651855e6e47f735b3481c3b45c1678ff69: $$2^{1}X^{\neq 2}$$ - -76483ecab4b1eb14f16fcd978d387e8ac0f6344a: $$[2^{3}$$ - -32a8965b6d15d90d3898edfdb7969dbd9a92f3c8: $$[3^{1}X^{3}$$ - -cc5e37cfba585550da4471dd85852d6a38354787: $$[3^{1}X^{\leq 2}$$ - -b752624b6df8d46597c3242c793dafa003ae9422: $$[3^{2}X^{3}$$ - -848fe42b60268d03c05e522d05a9dd988119d57b: $$[3^{2}X^{\leq 2}$$ - -98ffd4aa77ffc7c0ea17203a781a2cd621186d8e: $$[n^{1}$$ - -8aef2acc0c00b47668a81c160807e1ab6d4b03ce: $$[1^{2}X^{1}$$ - -%% -## Drawing -```compressed-json -N4KAkARALgngDgUwgLgAQQQDwMYEMA2AlgCYBOuA7hADTgQBuCpAzoQPYB2KqATLZMzYBXUtiRoIACyhQ4zZAHoFAc0JRJQgEYA6bGwC2CgF7N6hbEcK4OCtptbErHALRY8RMpWdx8Q1TdIEfARcZgRmBShcZQUebR4ARniaOiCEfQQOKGZuAG1wMFAwYogSbggOAAVSYgBBAEkAdmajODY2AE4E/AAzbAAGADUAKRTiyFhEcsJ9aKR+EsxuZwBm - -ABZ+7Q7GgDYAVh41vZWADh2ebYXIGGWEjp3tHcaEk73z/p4dnY+9q4gKEjqbh7NbaZ4rHYJNbgjofT5/SQIQjKaTcNZJforA4JBKYkGfRp/azKYLcfp/ZhQUhsADWCAAwmx8GxSOUAMT9TlcsYlTS4bA05TUoQcYiM5msiRU6zMOC4QJZHmQHqEfD4ADKsFJEkk/I0gSVEEp1LpAHVAZJuAkKVTaQhNTBtehBB5DcKURxwjk0NaCpA2HLsGobj7O - -X9haLPcxvagOEI1RSEAhiFa1icIXszoS/QwmKxONwsXwc4wWOwOAA5ThiK0JfYrdbpv5CODEXBQZNW5ppngnLpfHYdP6EZgAETSHZTaB6BDCfyFwjg9WIMdyAF0/pphKKAKLBDJZVcbnNEDg07hxhMntgCzvT2cIP49cgZZcX+P4BGhAAqWCgABlCDPbgZ3wOccxVYI3wkfpsB4XBiDWNsED2ZM9ihTQeB6YgeH6DoOmIHYTmIfpdlgwcek0MQkM - -NbAhEpAxR3bXBuCKcYIHwdssHKXIEgAPWABIAF81wgP0hIpdxxFQfJxjAX05ISP1j3YoDiG4iRcH6Q1KXbejykQUUgOUWjqTgd81QKCSCjYyAygkao1gAeScvSAEd9GIAAxZQ1g6GkAE1vzgTBTUNSZpNKWZlHmHMljQNNHkxfodjWBtEjwoi/hDVBnEabRXk+dMdlOF49n6N4/gBYggTQDoVm0NZBzwl4Pn7FZs3YxFkVRBKMSLHE8TWAkiQ4El - -pPJHNjTtcUWXZLluU3flBQjMUmTmqVyA4WV5UyKBDUgjUtUi3VsH1WL2Oms0LStG0TXtY7yhdMpw2ED0vVunMA35YMrTDHNVqjGNL0/KakynXhSJWFKKr2X4SzzctuB4HhOpKUt80ratpK6FYeD2LpoWbVsuIhhJuxOXs+yI8nhzHCc71QUDwPYhcW2XI9N23Yg93SPbVz9QpBbsiGIB3HYAHE+UqNg9i8wZlEqHoeB3b9NAltyACFNaVEoIvKeV - -qSoQXrLk2ySns50AEV6kIAAlNZJDCq49fgSLDbYY25NN8ZzZF8o3M0ABVVVsCck5dYmN2DdII2xO9l2/dKUWACsre/SW9igK3I+gaPNNjz34/GITlL+U9zzQEHy5vOkIeZx8IJfBBoNjD8v2YX9MAAoDK6Zh8n1VFvRZ6DpsGhE4Ko6BAEmwaiEHuXBMxnlY+X5HZNEozQ1lHlYEB6HpaPoqBGOY1jBY4rj4vQXiBOEgANO+hOLsAfYEKS8kFhTx - -iU8YVIt0UGl0C4ASDpKIUB9ISEMo4MapkAwWXwFZBYtlk7lDWG5HoVsQHYE0JUOAyh1T9DWEHTQ/59AAC1nAAAlwr53QDMOYhpr4gniCVPCvYvjQyOCsbKtxKbxHKtscmBMOjHDRpAaqtVUCNA6GCWERETgJEOGsDYMiERIhRPtPq2g8SJFxFiYaTxRrjTJHdGa61JToA5AtbSS0BRs1FLNSx0Ato7QVPtQeaoHROikHqEQF0ShXQQOaGqlofRmL - -pN4yKz0UyvT8JIIGn12LfSDLAP6k12KAw+lXduYNGZYleK8O48N2IYyRmgVGOw/hlM4FWDgNYfT42hisHERMcwtjbJOLsjQewnHRIcPGdNxzBC6feMCjdWbCiXCuPI/9IBbhFDzfc/NP5m2FqgiQo5vxOQrJgRoKx1SNH/IMY4HQTj1H6G5bAVtsC531gXOOJsy4nl7ggmut564DybrgV8ENq45l1J3P8gFgJjJZiUSCw9yiJDWHPRofZ+h1hOH0 - -bAEI/LYEaJmBImhCIdQQASXAOx1KNE3kfBi+gmJRHPnJS+HZr4QFvoJISPABI8GfuJSSBBpKyR/i7X+xQ5mlEAfS3APAwF6RjBAaBxk4HmRyZZYoPsUGWwgLUGAVsACyVDTS1H0JoDyuAYBeQANJuXIZrTQ9BLR/HufQ6KATIDX0SHEHgeNobHE5E1SEJxeFoDygVA4REISlVeBVKqN0Ep7G0ATJq8KOi9nxi8H1AKNG9VQOiHRA19H4i+EOHMxI - -nQZMCbaOkTj5o2MNHyexq0y2bRlHKdxB1VRHUdCdPxBoInBIjagb+AgS0PVbU9JkL0AZvQSdkntfwUm/VDEWyAWToxvLyWTDqmKSqKLzaUxGBYKkfGqdurG9TpIvH2K6ro+ziadMZuTHplMzjOtEUMhmnzxnzimRzWZXNFm8wPNkVZvt1kqvFlLXAMs5YKyVirNWGttZ3LoRAD2XsS6J0A6LLZOy9kHKOSclYZyLlXJuXBqYDyi4mxQ3Jf2Eh9D4 - -CgMQe+MASVEfdoXJDirnnsQrkujjtdGYNyfM3Vu/yuo/mBa8sFEyIVD1bhAPpM5g1QgIj0dCfR1jYpEScbAG81gICeMmFYxAcWaBOA6iAdFyWUpYmgc2tKgEMv4sAFY7LkNTQ/mgHlxRe3yXYwA9SIq1jiogZK6VsC/jYDMggpBNkcxAcltLWW8tFbK1VurLWOsbXwcQ0w1M+U9iNESG8BIWIPjfB4TmHKSjo2pXjS8GRBxKbxvDaE4Esi6yIr8n - -WEEGwoRVJTT1LRPawS7CxEGjoGwfgVQQM4BIJSSgFomp22tViEgzxW5W5aDi1oSnKNKbaDa9pNq8Y9CQMSwH3RCVI4sl1+1RKHa6OJ71F1oDnRAadaTZ1vsXB+tzgrnw/KhfK0GqlhUGwjnEyME6hOBPBn9fC/Q+yNFIvussO6e1+SR5jOpDTpF9lOHDNpql6YjN4189iCzdzLMPJ+9pJNRk9ophw11iQescbE23K83GPkgRJyUNoQE/1ucFu54o - -c7heCzmWAIXYACbaFawpjrKi2vM8UoNkqbx0yjc5PjCbU29hi+832+UUBNZqRlVZi+aRf3Scci5dynkfJ+UCsFUKusID6DYOpcoLJNBqBdyqTAyYZZ8//T/HRmY+kXEUaRNK9wXZgE2H5Nd0MiJNVhoGvXzn2KZGIMboysCzc0ot3taTarNXat1fq2YRrTXmstdai+buPcSC9z7l2EA/cB7YEHgXFHnCbCUSlXsOJ++JtwqVij8fthvCT3074cM0 - -9yTXByqaURSBQFqCxxECEuMlCz+vo2m/RZUicCYv4QQtwUEZlSIQEnlSEH98QdUCBlC/uBrkq7hv6jMHVIgIMBBt+QCz0/2/wQF/3wH/18SBW7hBT7gbki2KGVTQ22V2X2UOWOVOXOUuWuVuXS2I2ARYyyzqlBAqj6QhHjUKj8jWF9VykKyjWeFy2+DyyOFRkxEaykShE2BOGeFwnhQhBSmeE3RKG6k0StBRm0GDVIgRzOFU3wmMULQWwsXZGWyU - -JMyrRWm5kWxcXrV2kVE8RbR8RO07XOzCV4E7Ru2O2HViVHXiUSSeynUDBnR7X+kmU+xmW+34z+0Ezfx81s1wFGDB2IBsLZ0Byh0Zjy1eEhCeBm0gBqS4F3SV2iIPUx2PRhX2CxTHwtkJwQFpz4xzDJyWT5kpzcOpyvTJnp3vSUUuBeVBSCPeTri51fRzF50KJkkF2FhFzjzFxdkl3aMhBl0UWOFeDSnJn5QFS6OFnYIKi4NImKj4LuFj16JeGm1x - -yGOeE6NaIowmM4P7x4O+CeDmPGNEPEOaDhxKnRHwnT1GOX0NxzxgRMnz0zwpygGk3QUwWwVwXwUIWIVIQoWoRdwb0imbw8Qvnb2IED0VG7zkgn04NjVwnjXxmeBUVjySEKw2BaVdS9VG1yx4AuNflP1FBuNN1QGs0LyyGL3VS1R1T1QNSrzNQtStT+PdwBNIG9yBJpRBLBP626Mam2EnieAiKhD8hkOFl7xl3WExCUXWFzSOHhRxLfiNBXzXw3xC - -D+S8IANFD309gP221IGP1JFP3wHP0v1IGv0Hnv0f2fxWQBxtA/y/x/ysDAKtJzEANtJAPtPAMBS7h7mqNgMVWQWi1FmuUaB3DtizksPYltSikYT+GvjyiIKIUxT4IRyRQEOuGWE+CSBOD6SIQ4ShF7HEX+G7RkTkRSkzKURUVURTKkFTX6wzV0UGgMU+EHFkPm2X3ug0OsQWjW2rXUIULrV220NZMk0O0HR1HbRMyCSMKSWLXujMOdAsLdDHUCN7 - -Re3sLe0cOewXVf3ZxCIhg3VdXR3KR7TrAPNqWxmRk5F2G2HxkrI6VJm6V6X6IbCiNKEyOyO50gDZmmU5lyO5h/UtJaLWQow2XQH/FIkwA4FwHoCciYxjkeW9n1w4lZ0h0gGZE53E3cN+XdJEygNZxyPYkhWkx6D8k3n6E0BxHhR6FeAOC6DEAQDTB3hnmq3PXOFnh2AGDJRPgpTPnuJKE4jpR4ns2EhWFZSc19Jcy5WD3kj5QQrUh8ONQC0gXQGC - -xMlC3CwBzgKFlUlFn0B6BTkkE+H/FqFoVwMjJigINyjxijU+HwlwiZ3KkRLK2BDiEzMxFhESBaWhBxFYOMKLJkRLMUWUQrPUT6zRH6mxGzUMSbPzTGjkNbPMS2wkA7MWlyPWxrV7PQB2zcX210NnN8TOn8VOztEnPCTisiSOznLuysIexjGXNe3KycJKE3PALCGvQ6kqK3WR1iNR0oIRk6qSKtHqnVy+HQkvTvJ9DKJ4JBGfJHGGSyOJwaOcPZlc - -JkkFTyL/OaKFyThVR2HvlwEIG/FniMtjzzhMsyzI0Fi2tFkIFNCEASEqCclHEHPDIy3wKeT/nLiQtVI4h4xfXBWVAExVO3MgA9NE29PfLbykwDJ2FwBngqgQn3hRnQnUlwzeGwDD2IFEUomWxwgIixM0A4tPipR4pQqvgEpEpZWADZRfjlOYFcwAt5S/hkuB00n/AUqCyzxlVUvgXUrEvgP9PKHVFHHqF8JWFkGMsigYTMujOWEstYRso+A6yITS - -ioOcEUS2HxmGv2TV2eGTXYkkR8tkT8oUTLIVzUV62EO0TrIisbMrLm1MVKoZHSogCSs5C7LUMWQ0Myr2x0IgmbVytOnOkKuuiaxKquxnPKqNHnPu3HUe0nS+lXPqo3O5kCOQqNGhzQAbB4JPK6pvWzv6p9CalhELrR2KLGrp1vTzOhHjUrJmufXqL+ogE/K+xWq/XJwKP53pr5qApVQ6CcgOE0GGG/AChgpI1Y1xIutQ3KBTgoASBTnpDgDVRHrw - -LgpLgQs40dI5zqPQu+Uwo3sEOwq9JgPBoIpHkaFwCMwR2aGIFnlxB6H2TwiU00CohQgxShGID2GVj2E0H3n6EPlC2PkJssyJIvj4ts0ZTZQpsc2ps5SdCF08xGMFVkpFQ1TZoMg5pCxzDC25qCI0oQPKCoQ1VHB6ArE1FZBwIlvtXMucHQlkRnxUQbEK12MuxKByim3ylhFcqeHxhRj8n2G8u4Hqkamai6EnguDrCxGCotvTTCr0SGhtubPtrDvi - -o2isRsVsRSu7I9qdq9oHIOz0LbXyo7QduKrjqUbKpHIqpHUyUXInVqoTvSX8JTq+pat3J4fiNzE6pEPcZiPzukWhHrGhHzNvNpxvR7C6DhyzKfSJ1+pv0bvfWWvXFbvyJf0ksuqnpnrnoXpuGOojLOoTgnu7qupuruoeqetdlOtevycAppRVX0ArA6HwDgCMBpGyfWVycqYzwA0KYDitgCly1HBpDDJpXaZXrY3eqqL7lTtQq3v7gWohQBqwsgMP - -vrtiZPvKFOSMx4HxQXiojSjIvxWGoqgvISFwG4QQDyxxFSnWAJq4qJuAZpVAfpVyApofhEugfEtga/mkvGaB18wNgrFQagXQZUswbUpwd5s0otlFlxHwB4HwGGCcjSxzAjMlpMxjOmyjSeD7DOUxCqwa0cr9VkUOCeFhHjSYM+EqhzH1r+lBCzF2CWIT3qmYeBurMLFBDuG+BanuCTS6AUdsIdvbLUbdo209tcW9qeohuHJ8QDoKsMO7WXKCVyoM - -KqpjpqrsJ+jXNxCTsWScaBrTvyUpmexiJpbzrPN3U4IKT7GXOCevXp1xheAuCibmpiY+yWu/NJ1/MeIFmqa0oDmDlDnDiXoQw6Yha7pqdFl7v7sHuHpyZetGfHp9ahfKB2r2oOuwCOrabjdIyqa6fDfKAlh4AM1HH6B2SDbydXp+d4s+r1emfmobt+13pqIBQPugJWc8X+3QDhx4EwmGrKlQh2DosaDvqxE0EbFnlXiOGwDrAop6EHBuYs2pQ41J - -okBeaEkfmAAAB0N3PQ3JeBRKE3Ak6a4HvnLjfmfDoLrTAs0Hc8QX2IsG5VwWD28GJB95BgeB1VdVxbphKHpaM6VEZcXgyXptUooRlzWHps4hTj0IsR8RSDmWCyQ700o0Y0sWyDE1MzJG01ays05Hc0+XUBnsglBWK07F3bHFtGxXdGcqI6ZWjGzGu1EOFXrsI7lXrHrDbH1XUlE7HGIdnH07pH+js60RnyfGzWjzUZ1hTlRqQmyjOC3gjgnW3y5m - -Pz4n3XeRPX27vXc3fWJBNZhh6IYBmB6Rvwy2Q3X417q3giUKfq22d6O3U6QacKwblPJWO2IBdg0w948Bt59myKd46w+gMb4ViBThGgEATh+Rf7Ti1gWJ/7zNuL7ml3+KJBnmBIoGl9Loj2vnGbK27JmbgFKhAWlLgXZUIsIXn30Ag5SAThKhCANUTgkXnqTLUWqHPhQQDhjgQQEdq70SVbDgTgCpRsvhyjOFKW9bu1BHC6WpRH2pnyhCsOZH6yc0 - -or2I7b+X6PiPOzSORWKOtDG1qOLG8rA65XGPTCWOo6VWlzOOHCtWePY7U6XHuAiJ7geqOrMYRD0iEi+qxOlFDgZEcRnybXSiK7SzjgJHotXy63Ymm6EnVqNOUmISw2dOQKwKIKoLTP43S5cvELqipmbPt78KFm97gaW3cLj7Ibyg8ZcBqYv6iVpsMb+gQu+xjNiBsJNAZFBwDMMbcB40egVhsBQdMGAHbmgHrNHmeJhKmV130vOn34JLEepKcvT3 - -vCRUc5L3FKpUSuuaH2QZcH+aJA7ZsBRw3JvwKB2ev2JAWvf3UBThQRGdJ5hpoTtgSoVb8pCog110yoKp4PqWfRCstgzhBx9lcJzh7hKz5uazFvra8PoqTF1vpzlHnEXb1HSdUqeyEqMrKP9vfapWDHjvjH5WzvDvWPGqbHY67GNXuOrDwd7u+PGYSpyZXv0YD1Cx4PROj1kZ3g6xR9pPbWQfOCekY8IfZqlOG6Ye1P5l4f/zNrJ6qMaM6MGN8bY2 - -KnMfyM83jsbZ7ZHZnZM2V/s3ZfIXkeIA9ODOjOTPl/mNMeLPcevra2XW7PPC9XHPlmCehy3O55UIOpsBKIl4qLyo2wVEzwYgMQEKQHBCIuAU4AYnhSNB52CXMXsuxviS9Xmm7DdsEF3ZU0Muh7eXp3UV6KQmafzTSHbCK6a8b2pXHmk+317oA7YjQIwAkACimgg4OQcht+yjJxRlgJUF1GHguAwdneTfVMn6lwgDdGyKUURLVm2DK0qWE3BqFNxE - -ZtRxGc3VlpbRw4NkY+q3GKi2Q25O1k+wrNKhn00L9ls++FP2jRzHJB0GObBIvvoQu5sdqqU5f0PY3ezV8AivHPVo9wzoI4JBb3Q8tNl1rN9vuHfOqJJ1ES5Ze+wPB8l8Ed6KcoerrL8lTg9bfovWqTWfugDqYNMmmLTDHvvzGbK8UKlnWotEIf6A0rOEBT0q21f634oIosdnoGkOCaAiUlFRCPsG2CopDgPADFPVDbAzhOQKwGGqNhRiwC7m8A5L - -ogJErS992NNLLopBPZgBEG+XBDOqGIHKUyBj7JVJQMbopw2A9AUcLC3oAW87UrA9iDGRaT5Q7geMO4Jik86owqCCmUPMolOEll4UPveVv7zOS5pg+A+MPph0j6ZpwquHFbrNnUGKME+paLQUK2266CVG+grKj7SMG59ygtHccv2hMZMdw6xfawaX3Y7l9rumrBqvOmTouDihbg1ACI17BCdxqlZdvljg5Z1gyWVw0ujJwrpdBuBj6YfnXXKFxMXC - -E/CAGtUSEK80mEgAtkWxLYAsL+sFLIeZ2x7r0m2m9AoYTw8JFCO4pQsni5zWYSA+kyKOit22+BFQSI/PCbAcELZw0CIGNUsncHfqMY4unFBdsTRsxPNJebKddluzQGoA927zTLtgOPZK8Zhw4OYbgHP5XEr2QLUgdrzK4UCj++AY1LRjgApwdgXkPYaZTRbLA0ojUcqEokETTZG+qUFWiiWjSdY+kTUKELlmmz8MEobvHpP0mhIRD8cghRQdIx+G - -yMVB/wyAGtwI7yE9B2g8Een0hE6NDBQ5fRvCNMEncLBDtJVuiLxGYi1W8dSvg4ycG6tCR/HBsNDCNYt86oInRImJxRrpQRo9Ivvg+VERTwoh9/RarEKKLxC26CPHAfyPQBpwM4EsLOGr136X9xRWPHITj0ma398eszetkT2lH70lmZQr8aswp4SAzkB8RCLgFwDNAD4GKAYCEHJij5IJiiUVNgEIh6IzgIAkzGZitFwCQGCAhlBwCfhuisBnzKYV - -6NmEEDgEQcRYVr1BbYNde5XNYdRloz0YLRyLLNlQGt6fAGoeMQcOHjzKtR3G5WOIPJ2qycFRECaUbCWKPJRoNgmYXCMQWaCiCvhVoFXMNnVxjYtcqEHXPh0I79p2yyhZbDoK7HOIex2VHPv2PMKVV6OJjeDoq3O5WSMRtg+PvYOnGODjxzdRJoUPAJIMDYgwBcjqwJGJhr0mYfZGcjjRkjUAI1XqhjjE4ZQ+S1FZcrXWia2czxyTf8qnSB73k705 - -wM4fmSlF480KgEv4E0Q7pC5uisefoGsTkiS4AejUYgvJJCm1ZxEHmVSWrlwwaTyoWk6bDiUFS6RV8BJPPIlx3yPEySpeSkhXkNQmpaSteBko3nQCAlfcd+DvF3hwHyQZcIfQfDiFsroRmWwubkonhLIp458nwWUniWzwm5BpxJEaaLEN7G9Te5vVvP8WmDbQSADqW/Pfg5KSUwAIpIhJTB2nllI8v03aXHn2lT5Dps+OGB1FOlXFV8GpCgFqWJ4Y - -B1SSpLfJtF1ImYz8nsI0iaV9pmkn8F4h7gqSAJ2k/8iM50sAVAKhjVhR/ZgJvwdhOx4xmWa3iomRLplqKE8E2lQVOCPA/pEnK8uiC+BSTJOBUTMviARLKJ3GEfQsDlh0ltjIRbIAySoTT5aM9BpkmEX2NHEOS+0Z2btLZOY5oitZEAd0KqyBEuSuOM49ybDwwr2cvqPkzSDvzY418ty8469PsGhAdRVBfg97glGXH+CscquTXIlMh5Hj1OCQzTuA - -UynjUQebCSeMuXykfjCpeFHnJ3g2rrFISFUqqeMHKnCwOo3JfCPnILn4Qzgmc4oJLlWBHARZgxVGLmRUTxFigucwUoXMLnFyF8YxHvMLMzJVzxZtc2PFNkagZRBidBWyp6kmxQgep1pfqRdLuJDSAC108oLdJN5m8YBj0xkp7mZIt5gSS00EinM5JtE85v3DwalFyz4RBZ4xUUqiQlIYkjgJwaGZnnxJTzF2w09ulblIDORXIECDyN5F8j+QgoIU - -B2exCelN515ZTCGh9J3lfSoS9URFJUiRRiM+BLUlEuKXRJSlj5t84tIbjhkIzfxapOoCjMPw6k7a+pQ0hDCvxAS8ZFpZooTJtIUy3SZM0UMTNdKkyVhfpI/oHBDj4Aw4gvJrk+I4lsC/UFclpBKX2CIoaGZwKgvlExRKJGGWtZ4DInzK+9UAmZRqFCCXHpgIQFwEEMpISgFRCskhXCATBEnPkWxuktsloMVlGSVZ3YrPmZNhEWTLGQzbWUVV1mWD - -okY4o2WXxjDPY6qFskoOPziHzN5R3k30ffH8lOzmq/HRIH5QzCfcPG3s9NL7JikBDHCHLQcIB0PEpTQ5549KV9Ujnl1ekqUPyCEImbgE7+GSyACVK06ly2iGc1uWnPGD/tuC02IhEiihC7AaluXCXMLAaWkQmlAsxRP41jy0tdFXbKeIYpLmdKKMSi9EGlE5BqLQ+mirpToo6gjKDFVWXXAvgQp9SjcD8m0SSSeLQt+gsLeFoi1mlMkWSi0sBStJ - -qm3DABnqTgilHoIVT9ppENXPlkbKnE0FOCgadPKunPzRY1ud+UIE/n24f5Tuf+SUEAXzTgFFy5aeCVWk/Sw8w0M5LiB6S4ZIQTyhPGDOTwQz58f8TAQblhl4LwCu+IlWjMIVOkDSWMkhcaTIXJhzSBM5xkTJdKUy6FxABhSyuYVRYj+kbbttG0Zn4FrezgM9FsBkSM52EKUYNCrV6LlReSCtORZAKknwoComuMUnPgKUxKpZaAQcAInjT7IrWU1F - -3rH1iqaD2x5izsZYpMnWL1ZFQuxZHUNkTlnFI4+yVY0ckmznJK5VyeuRiEeSfsP41OnbOAQxtZxgU5dANWjxw57ga4zxlqt8FfdElVI4RHDBRhCkCcI/WUZkrSmUKclNOXcdlMniwgYl8cmtp+KTnlKd5lSiZenLaLjLJcuGOqYinJgfBmglMfLO0pyGVrxgdasbORSbWPDW1wsbVdeQk76qjgJUGtcLCVWTwPgqquGOqvmJEsCYw6roAapWDjyY - -Z2y0gbsrnkSBBawtYYKLXMgry5pL2aFa3nZLgKFea0kslAvWDxpMwuWPpBisnxsJsVqeKGRstl5Izzpm6meRgG3XoAYWcLBFo1wAWrygF5ys9VvM+mXqEVyiBHL9IRz7AekKUJ9ZfVeUQcBwbwT5fKQwWkrsFX6zBcqW1LozDQmMi/NSpxlGDyFDK1wUypoVMLU65MkmQ6U5VI9gKEAFNvtUOr8q44gq4VdsHjR4xxVqufMjlH2TxABNog6GGcCI - -TuMFFk6lVbJNnVpR8ymq1APsGjSxpDWWJTMkYiNUaDgRjtU1StkMnmryOqsq1RK0OiayXVji4OhdhcW3ZbN7iicabI9Xmy3Jvi1Tv4v+qBLEZAahDOQlCXODa+rg/jriA4SDEopXglHJPFNZJLCs+ir4ENnSXsieR4cxGbktCZ5q8ILBYpYjNKXsiKlklbOePnHUUYu1nIHtajEeH7EyttS6qTnNkTdrG1NWymHVrkjOANNIILFvorCJZhytckBT - -dOqU3ycOovc7rVpr61Uwnga69/JPJ/W/LLc2lXSvpR2CGVTla8iDZvMuVwrrl165pH5HxivB4U8CkGZipfUz5U8IIbDVnm+WPzZ5fy8oIBuOUgaIVYGqFdtrZJQaL18KzYN71uUIaHlyGuuedu2AvKiIbygcOsGw1bLCNqM/DSSv3xEayVgIohVSu4CkLTSdK/Gdkto3ULmNxK+hcytoWsbD+7G0Co0HAqQUL2bEvfrwsOG3ButbwT4BcAlVtKCW - -uUFGJsA8Fs7p2keBZeN0Q5nBQ8GYlGNwIJhKItFkMMECxU8qYoi6J22WQKzMUmalZmjczVYr242KNZzqhxfKR1mIc9ZqIqwYbONmBEvFDgr1TmD8WniAljbf1b6Ni7BrQtLsiGH5B4mSl8yxrNAMcHi0Jrz0ZZGJUlOdZlLuRU/LNXqyy2ycli4PFnDf2LWJzwaxWhXqVshKDb6lDUH4GulaQksil9WjpZLmTHZ6Cs3WJqb3Nwiy6YUsigmL9Nyw - -Z7igIuiqGLuTVYgmRFennXLpr2K769H618Vsvu1bqntEgKrjVzq4NdNt4Gjed9t227yNioeTMkisjyoqh+4+HmbxLhBHF10t2++YtvNz/rTMVsIMiGVoyT7Pt0+qjbCrn2db/tz3Q7XepO1Ng95F26fEdLnxrBYdCpeHQqKdLIzkdCOlxCRvR3kbMdNK7HQ/lx2R7CRdGwnayvZWk76JYYpNhIGnqz156i9ZgaPSobDQOCzQLEBmOvVP72IOUYSf - -BLhyiq0w6YSmHJom594o8aJUbGVD4FVkQqWqogtw2ai4gmoKMZcsYrllJ8zVGjMjpti10GCddNqmzfrodVG7HNlk5zebonSW7PVt3G3d5rt2+aHdts30Uvxd3Oygpu5NKKcUHAxKfd6aCkeuKSUwpBoxWfMiHtH6xN0tNG4odHpB7wo1czBotcUMK1FTGi5akrdUurUNas5XSqNBVA6jAdoQ7CZqR0SCNVKKMFcsI3QVSjdc6RPeVKDog4OwguD5 - -wRIA3rACwgZc9BiouiEGITb2DgaLI7Jp4Nzb0FC224g9r/XD70ABDIhiQypBn6T1X2y/dvKuVnziC4eZFfQdX2QlQZl2t/WIh33fr6jQ+5bQLSFoi0xaR6s5Rfskyz6vpP0u/ZiCO33qs6z+59a/pxXvq8Vn6uHXhsY1/7NSKOzPkAYpXELQDlG1YzjooUd0qFq+eAwxq+pMbGFLGxA9TOQP0Jim91R6jxqLiCqcDkxLWgQee5EGWGyMaNGQbEn9 - -cqD8ISQYhwKMoqhiFwEoz1ul0I4wQk8eFMYfTB5ZEc+mtzUR1V3KELFmuy1drutWStbVJfOzeYOMLG67Qkh/yU5NbFTiPN1uy2VyIbY2y9WAW/kMFrnH6HaweEdrXDAimnB/dx6TEPwU1y2Hg5Yexw3jucM5qwhd6Nw8ng+oJ6vDJa5PX4dT0BGC97aovaEbEQRGUj0RyqbEY7XFAEj1p+Tradjx4n4U0xIkx1G4J5H0TRRrE0wdB0emCTZwQaj6 - -dIg1GCVG66Y7+r2XSYWjxDUhh0YWmQa1jl6jEIiojwYm0VqGrFVdrnxHGBU+Kr9YPrjMH6dKelAyhmxpSQrOjKx96VfvWO36ccWxh/Q+s+57SX94M67R/r70Htoz3+onbgv/34KbjDxO42gCx24ynjThieU8RJ0fG9WXxjlb8ZYX/HXc9TRps01abcKxRDOxYMsHvWPBWh6YI4EcBeDMHwOvRe+qAJZmX0YlCiracotdQybhoyyzwTWNYM9puZDY - -WTYsT7DSl3GfBlXcZqpNmaRDtJsQ/Ses166zBNk2Q/Ys5NuruTySK3Sof5M+a28fqrQxRIQz66mqiMokURAeXiSo1cS6GPKe4Bnm10R81LT4dSnrUXj2akollJm1uHKynh/ISHLLV84K1ae8YPacL1mm5I2qjrK6ly2jZ+teR58/0lODfB3zHgzs2ADEunpoYpLaEFTBksVY5Lb511EpaRK/muE3qQDkBajM4a6jhJJbUXhuk0C6BDApgfXg+31m - -QF563o2vr8itmlE9LSHbGoQVik0SkpQcNfMmNlnrLpJUWImbaNkMnLx61MztqbOXrIF0MbyxEXqx+XvpfeAK5fJQWPDP9uG0c8OaHOo6T8txjHVObAMzmIDzxvQ+uveM/HPjxO+jQ1YVRIHKM6AE/swEM7GcQTB5x1IWC+A6LzgJUd4ILthN+pcQDwPCFAvQ6R4UYiq0EOpczJMs8sjBSWbWPjRggvUSaXkommAuAj3VFJsC6tgguis6TVm4wQbO - -c3SGHNTqq6wRY8VubvFnmlTpyKwuCnH+xQkUyZkIv4aiRDrdAhKQil+7op5YXxucNxCKJIi9F0teHrDlzmdx2pqmDIjTDPkuL14JPS5xT04CBLouB07jbABNQxC+ydSwrjRKZg8jPSMQlKZxyow6bTUQZQ8A6h/nRsF847ZTcWs02Vr9N0HZtZ6RfAdrA+dCDsHMsD6dl5ZpoxgB6BvsP2+gFM6eoSs9G9texz03yTrAClXhoO5EtleQXBWKb/Zu - -UndvFvhX9l88o3ovIemxXljrln7e5ZGOCkD5sm6UifNB0ilEFgVq+agoNvzniriOi4/DKuOAHyVE58q6gGnPdH6VGp+c/VeHMx3yBfx9qxABvGZxs4vVqhncEeAVET0IIMqK6hiWsMlFiKXVesE+DJRqxEiZ4bS06lUwB+xwLyubTTRU3MN8OTgn0hzvK6TV8swQ6nw12QXtS51vRhyaHGsnELdq+Q49fdXPW+TXmt6+oewt+b8NIpv+rofCXXo2 - -7hrFFbKfMN+yFT9wJoQMhhvg11TUB0IWxeWs0w8peQjGzM1hvY2ypIlwS3kfaK5zFxWJnHHCVWL43xiUIANN707nNA67nmMALnLrD7AW7p2nO9part/3MyADwRe6dBDN2eSED9EKLYVJhX99ktiMVGJjFxiljW2hs6AsSurSJ8/3fvEsXpZyckS58pBUFcxLNBQrxtzB7MYcivybcH8u3N/Mdx/z5bXRx40rev2CXuSXlmBZDvqi9ysrbNuh9KRv - -ne311vt84yOcuMAGj8wd4aZObDuVWI7kB5i/jreOLmWrxQlcwgY/B68j+hAIOLgAAD6wA+gBWFNDGoAozACqAZnwAVgtYKDTA/sKlp8LcoCOKNJNfzVHByDfXJIBcCqyiyDEfQx81IKEaktWoYjEqKptrHYdfhKg/MiBc7tJ8wRQhnbhZoHsHdpWg4gvqdzuum7x7rm0OiUCnsYWMRYSoi+FrAdwlFisp9EFRYSgXB6okiwHlqbYtdBLmEIQ+y51 - -t0t0fy8N6fgU3X7oA3IvTfpoM0yFj0Xx3o/Lfhu8Ow2PrP+4TP+OVH1tgJ6ACLgjX5ADABgpFfxkRGp431vgBJmeOfSJRrBNAmIGsJaMAYNHxeKXezA6MIklnaaHo7LngOx4inb26CwMcV2DG0SdepjhiawtmeNABm+ukZqCd8ddaUoopZoOTGSOiJ1gKtXA8tcXGZheCkiqSZPDkTeW0o6wdYIwWl3cTuWCtXsHjBUS5YMnB11C4Zv0lq7qTfdv - -stCIutwi5DUhpEY6vo5D3Luih7EVX0wtz2NnQSvC7gDryOyQttVy6OFqaiUxLKtMUGyjj00xbD0VI4aIVlpvB7VTaWiPbo81OsWo5YTIfEk/1PvjE9N9403xf8Pj421yzxrfEc2Ao0kn07cmOopdfi4i9Hr0RF672L7Jzgseal5CFpfphlEjLvI8S/+6owyXaUTS2dojcRalE0bhlww/7O9T0HTDgvAfosfWPbH9jxx8472CuP3HmsTx1bYIc230 - -zq0zM4vuzNDH4UeZsYzipOlyO75Uxqy8w5sv4NCGSZ9o/g6n31viHZc/7VmcGMr7IQwM0h/mfGNFmZh3zr/WccatKOA7KjghWjrKsgGKrDxxs9VYRvzaFzzV2OwY6pnrnE7gozQMW1LZePg2vGpF+cLBAPKeGJdtqM+XKzarIj8ZFRFmXIpSTRsYhSELJI6ynDPzLLb84VlkQfAu2zFfZBQQ7usvKTJ13JxCKgvcvB7cF4e8jFHtMmXNXJpQ7ydq - -evW3W71nC8Kd9GEAxTIapV61V2DSny7sSw8gcHad04p4hWaa0M4brH3TXp9i1/VkKwOtOLV9mUTxalQmmcbD9vG8JYowgeIQ7BYWzQ3Jd+u25ckRT2B+b37BIPylqbHWvg/CfdgSH0bGg+uL5uHikt5QBsK2E7DeHhDty8rfn1Az/pAHrVlES7P7Gezc+G7d253y77YzJt6TC9uA0Ofx3AjiBXnKdutQmW3wFMggqucdQ0wrWBsGmA6D5XCVhV1l - -b7aDu7uQ7+7zR4e6IfHuo7dVy93AYq8rDwAKkBDHADgCaguIi7aAIiAyDlAiAwhBYAwEIAIAKAmsZWTSfZAHxhvy9koHRFjhF4Ow+gUhon0ULsuuv439xPUCm/9fe7Z16C4OVMwiAlvU3ryJdfKdDMtvE30klN5m/2aR7BQI7zt/SBneB0B3nkFd8m/pA7YE9ll495O/pAnI6Fhqu96eK7fOAUALyD8lVA5QZsv35b+kC8gA/1QhAIwNJFwgLftv - -T3/QJ6VqAdeuqHEfeJt8W/I/GvWX5R5s8gA4+Pv+gHcP7awV5fSrY3pHyT7hnfh4MZGh78T7++Q/m4L3p0JDiNBYM1QIStAMtZ0WvB3UvYAWV19prUg1Qw9X3V0Eag45Z1s668l16MDtA5bPFBgAQGvxkgeZJ2/lD7HB9TeXvAU2Oi5tFAPehQJAGH3D/PJdezfD+DsA+zB82+NUjJMn+fWCAhy4mJARbCgk1hMhRYpAZQHyAAAUkS6gLwFphh/C - -QBHaNAAEpDQdsJ/PGHlDlB/fQfiS6H7T+8BKLUfvYLH40q/fbvX3qAOWEVcaGEA8fwBDqUum/7Xf2M2JtgCIAPtw7JQCCm14PexNhAUAU8NJCb+QBZgpAOkKQArB/Z7jsTPvwP5d+aA3fI/vP3YBTggFsg6oCCnACd/qQJ/U/1/ghmwBF/GA34doCxpQQRkwgwQLf0jGeco+6EBU+1yqOpDTe0gJ/lHLDc4iUhagJ/nf3v6veXfHAzAGv4yCyB/g - -NUmQEIAZK3IlPLVA+8EwCZAWOEjI1+h3iODfKa/rX5deI4BqgkAJUov64A9XsZAIBFGggDgApsK5wxgwAKXBCQQAA=== -``` -%% \ No newline at end of file diff --git a/Excalidraw/Drawing 2026-03-30 01.05.52.excalidraw.svg b/Excalidraw/Drawing 2026-03-30 01.05.52.excalidraw.svg deleted file mode 100644 index ddfefd1f..00000000 --- a/Excalidraw/Drawing 2026-03-30 01.05.52.excalidraw.svg +++ /dev/null @@ -1,2 +0,0 @@ - \ No newline at end of file diff --git a/Excalidraw/demo_théorème_du_début_2.excalidraw.md b/Excalidraw/demo_théorème_du_début_2.excalidraw.md new file mode 100644 index 00000000..fd26bb98 --- /dev/null +++ b/Excalidraw/demo_théorème_du_début_2.excalidraw.md @@ -0,0 +1,183 @@ +--- + +excalidraw-plugin: parsed +tags: [excalidraw] + +--- +==⚠ 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 +0c2ad4dae5ed514b2fd2099d68d0760c69fbce4d: $$[1^{1}]$$ + +f9c478059e1cce4e96a58e13baac6bfbb4f93eff: $$[1^{1}X^{1}$$ + +214cc7890168fcc3649c7581bd637e267a6de7bf: $$[1^{1}2^{2}$$ + +84fa363149df51fc341b5998c6b4e67ed3dbdb8e: $$[1^{3}$$ + +f49bf0b1178f855291cee484fe1921917621c6c0: $$[1^{1}3^{2}$$ + +539b82e2e9bc43b1e2665050071a453e72116434: $$[2^{1}X^{2}$$ + +082b26651855e6e47f735b3481c3b45c1678ff69: $$2^{1}X^{\neq 2}$$ + +76483ecab4b1eb14f16fcd978d387e8ac0f6344a: $$[2^{3}$$ + +32a8965b6d15d90d3898edfdb7969dbd9a92f3c8: $$[3^{1}X^{3}$$ + +cc5e37cfba585550da4471dd85852d6a38354787: $$[3^{1}X^{\leq 2}$$ + +b752624b6df8d46597c3242c793dafa003ae9422: $$[3^{2}X^{3}$$ + +848fe42b60268d03c05e522d05a9dd988119d57b: $$[3^{2}X^{\leq 2}$$ + +98ffd4aa77ffc7c0ea17203a781a2cd621186d8e: $$[n^{1}$$ + +8aef2acc0c00b47668a81c160807e1ab6d4b03ce: $$[1^{2}X^{1}$$ + +f297bb8c586c081e6495ec2b90fc2134c5756fa0: $$[1^{2}X^{\neq 1}$$ + +%% +## Drawing +```compressed-json +N4KAkARALgngDgUwgLgAQQQDwMYEMA2AlgCYBOuA7hADTgQBuCpAzoQPYB2KqATLZMzYBXUtiRoIACyhQ4zZAHoFAc0JRJQgEYA6bGwC2CgF7N6hbEcK4OCtptbErHALRY8RMpWdx8Q1TdIEfARcZgRmBShcZQUebR4ARniaOiCEfQQOKGZuAG1wMFAwYogSbggOAAVSYgBBAEkAdmajODY2AE4E/AAzbAAGADUAKRTiyFhEcsJ9aKR+EsxuZwAW + +AGY4gDYVgA4OjoBWBJXN/o6eA4XIGGWdne01g93+nd3NhM2DzauIChJ1bhPbSNBJrd4rEFrDr9Hg8b4FSCSBCEZTSbgrJL9R6JBJYp5wxo/azKYLcfo/ZhQUhsADWCAAwmx8GxSOUAMT9TlcsYlTS4bA05TUoQcYiM5msiRU6zMOC4QJZHmQHqEfD4ADKsFJEkk/I0gSVEEp1LpAHV/pJuAkKVTaQhNTBtehBB5DcLURxwjk0NaERA2HLsGobj7O + +T9haLPcxvagOEI1RSEAhiFbdmCDjtNoS/YwWOwuGgDv0Vj9c6xOAA5ThibiNE47I4rLE/IRwYi4KDJq3NXY8DqbNYvEE/QjMAAiaU7KbQPQIYR+QuEcHqxBjuQAuj9NMJRQBRYIZLJrhGFE+QMoSU2YGD0AAyBwA4rUlSVJuJ0PLqVQTwBfBGbv0iA4GluDjBNALYAUuxnOcEB+HpyAyFdQPjfAfl1ZgABUsCgW9CGA7hZ3wec/RVYJkIkfpsB4X + +BiBWdsEAOZNG00HgemIHgzg6YhNh2Yh+kaU5sE2Doek0MR6MNbAhEpAwxw7XBuCKcYIHwDssHKXIEgAPWABIf3XCAER/Cl3HffJxjAX1LISf8R1FDSJFwfpDUpDsZPKRBRXw5QpOpOAULVAoTIKZTz2ndBqhWAB5aL3IAR30YgADFlBWDoaQATUwuBMFNQ032mWZlHmP0ljQOINg6FYvn7NZcVeA4vh+ENUGcXFgQ+A5oWhA41nWQ41h+P5iABNA + +OjWbQTh6hIdhhLoB2zFSkRRNE0AxbQ8RxPEVgJIkOBJd9yT9Y07XFFl2S5bkt35QUIzFJkLqlcgOFleVMigQ0yI1LV3ykPURFKlTTrNC0rRtE17V+8oXTKcNhA9L1wb9AN+WDK0wz9e6oxjMC0JOpMIs4xpB1OJrLhzJhywLXhh0pvNK2rd8eDWV5drWEmWzbdSIoSHsdj7dK5vSkdx0naDUCIkiVMXVsVzXACVO3EViH3dIPuPSywpKC90F3TYH + +z5So2AOZLBmUSoeh4XdMM0B94oAIQdl8JngP7PzYb9LJCrWz1KCKjQARXqQgACUVkkfKrlfN3yg9r3xh98ZtfC8p4s0ABVVVsGinYXegWOnNIL8jO96OU/98oACtA8wg2DigQP88KouS9/OzAPwkC0Dxn5mSgiKpbg0jEIQCjY1Q9DQmwzBcK7wjYPg1Ux4DnoOmwCE5u6hAEmwCSEH7XAMx3tY+X5TZNDEzQVjXtYEB6HopJkqA5IUpST1U9Tyv + +QLTdP0gANP+P5S7FCTgIMyeQTzWXGLZcYisdYOW/hAXACRXJRCgB5CQXlHAHT8gGQK+BgoLDCpXCQKx4o9EDig7AmhKhwGUOqYsGdNC3n0AALWcAACQKoXdAMw5iGm/rxbQ3UoQvH2I0fs/QBwtVuPcR4zxXiZi6vCFSI0xqoEkcCaEvEdgJB4CsQxAkOjoWRKiT661MTYgSLiBRe0/TEidMdYGto6TnUlOgDkV0XI3QFLLUU7jyjSlenKBUn0l5 + +qgdE6f62B9RAxKCDBA5pRqWh9BDO0US/qwxTPDPwkgcbIxUqjIMsAMbOJKNjJGPdJ4Ewlo8BsDYEiHFLFTfM3A1hghaQzDgVYOA1h9OsFmjxGhNS5u2Kc3Y6wCzqkOPgfpRwTmCBMmCxFh4y2FMuVceR4GQGVnuA8GtIG+0sqnCQY5MLRQrJgEm6pGi3kGH1DoOx6j9HitgQO2Bm68OQcXT2IDQEdxUkBbuE9wJAsgnSQei8R64CQhFXufoMIzzn + +gRFZ0sShkRXuURIKw96ND2P0D4Ow+jYDBOlbAIy9GaB4hzBABJcCbGIAgRol8n6yX0PJKI79LKf07Eg3+ekfw8F0jwYBxlTIEHMlA6OsDig7NKIguOPA0HuRjBAbBPk8EBWqUFUBxD5kB1qDAQOABZThppaj6E0IlXAMBkoAGl4psIdpoeglofgtz4cVeJkBv5EqmlCOENVGg8FeLxEsfpWrtX6J1T4PV+h9QGkcYaYN1oHBEdVLMexQ0XFmjsUx + +q0LGoA2ltGxO04QiX2odMk6S3GPQ8RALxV1DR8j8fdQJz0ZShI+l9VUP1HR/V1LEwGaDIbJI0dAgQrioYDphkyOGWMEb5KqagSd/pAzo1DOUyAlTowEMTBLUEzQvisyaV06m3ADH5vptTXp/Ti07A5jsfFzQxk80mb2aqTyE3btKGLJZEsh4Lg2fLbZW4dyqwOUeI5yc/a6wgPrQ2uBjam3Npba2tt7ZOy+VMVufzfzlzgwHc5lzrlrFufcx5zzX + +nvM+dHV2uGPy/ITnqk8Fd4P6HwFAYg/8YAspw+7Zj/ywB/jgX3eeOr8bgoHgvVZ8FR7jwRctaeOE8KosltClSmLx4QFeLOME9V0rEB6EcPo/UEiaG6k84S18EBZmTGsYg1LNA7B9RAaS7LOWKTQNrXljkf46WAGsMVicJVOgsjAmVgKEFMqQbgFYKqMFqo1bgn42B/IEKIaFA15RENGxNmbC2VsbZ20ds7D13z46CIxkkPsDZdiCVOFetdrUOjAk + +JYSk4+iwQTWaX6dRqTUDvG0NsASCQMzSIFpxIaiKzFrVXcCQSjxeJQibDCIsTF2oUxUo4o6taGT1vZAkHeJ2W23X8Q9CUQSXpvTCb2yJ0MJDZNHXacdg25kuMhpkudrpcmIz3WgX9xTN2rsxuspcoG0Abnk7CrFkn7KxbjnnXJkYV1KYSYTDG+xxGNAEuetpFVdr48Zn098fMDGclhDVUWiyEDLI03Jv0ezIPq2g1D+VrZxmHv5oLb9ybO7qfR5A + +fukLZPosgG0fC2QYPFAi+MbdxR+gnh2WAOXxRhujZBBN3isJmxnnaotgcXxH3VUpxthAW3lfRanfKKADt8I4N8j5j+aRDxQB01FWKCUkqpXSllHKeUXwQH0GwJl5QWSaDUEHlUmBkzGylzL4omIMyvDq7iOsUJVGWRjelEZA5JsnATU1OEVvQt+kyMQe33lcHO55a7j6OmjWmvNZa61sw7WOuda691H8Q9h4kBHqP0cIAx7j2wBPUP9cxv0dI0NN + +iZ+5um/RnPHQ8+kzDUXg4JfLLrnFSdKIpAoC1GY0iWi+7y+imP1+U/AcqROGrT8II24KASypEINZGLCCx+IOqBAyg3e4w1IuK271DMDqiIBBgEDn4qQV6gHgEICQH4DQElBIqqYSYM5hBZbFAkLwYkZXI3J3IPJQjUZvIfI8KMY/Ilw/B+p9TaB3A1Sr76IU7HBZ7XDLBZjaATQhrzThpb4GIpopLtKNDxBb6cgiTHAHCQgXAFrmKAhJDcHvCcQD + +gNR9hVpOL7YdqeLHbaFuatp3QQaaHQA3bdqKgRL9rRLPb7ZvaXr7bfZPbzo5KLp5IFKA4/DA6lJbrAYQ5bLs4w5wrIHniKpOSjAo7EAuGgpSYY4SwhoNjvBZjbYlBlgE6oAdIRoqRJEk73rz7vCDj9RLQ6z/p06Aaaa8gQZqwAFgZ+ic7vo+g84zLPozZAroFC6qQQrFGM4qSS5s6oBq5q5gAK79HK7Rx9EcwiGcTSJdDBqgjSFnhK477DFnijEX + +DjHiFTEbAJHjBHDAhKEz7KEvB9il5yo2i25V6O7cowFQbu4BzkKULUK0L0KMIrDMKsIcLcLD595/SD7hIfyj7EDx6KiT4nKYi8QTRYjpQXANj4omKzFTSr4noF5kxNQrCHEiaP6iinGaq14XGs5XHlBN5moWpWo2od5OoupupB4fHh6kCR7fE8q/H/FFp9Er74rSKCQfDHDpT7D0bODT79RYjdYnAiTBo7AolgJGgH5H4n4hDwpAElAV5X6ew37X + +b36kiP74DP6v6kDv5Lzf6/7/6HLw774gFgEQFWBIGGkwGihwGmlQEWkoEqazxqYgpDxYGngqTwbvKNC7ihwNyOEqSeqlDerVZoDOBhpTSSE1RwjG6p6yIhkdQghxpnAJr9RQgbG/CpqaJtaSKTZ6IGJGKSIyHzYlrWK2L4ibCVoOIHTqH76QyGFNrXRM7nbtqHadohLvSmGkR9p2HoBDpxIvagyCFpI1kZKPbOgOFuhLrhFrruGtS4i/q7qAFgpR + +ERR6LnCNGJGtKcCXqSHE49JMxWiTGfCcQ2Jvr058xTK87VSjLzKFH05AZ+iyybIKzgYqzlEGk9FsZEblC3gCSYAcC4D0DRQCZxxCYEafknKkLoDDBjiaD2ocAJCZS7jAV4YsYibW6qTNGynC5tFQodEYoKYylLmIgOkorOklHKjLw6Y9DpSXz9CaA2L4o9ANhb5dBiAIC7A3w7znBNJ8ybCJDCQDBsovwcpvxYklBqR8qaSBb6RrAiohasbAwQKA + +mRZQLoUO7+bIL2qJaYLoApa+RpYZaSauk4EBycImpjg9AViaisgVYUH8IlTBltRb7CELQGLz4p6qGRrLDxldTxqJqpkCEaITRTQiRnCzTzQfCPCFlFrFlb5lp2LlnQk7ZVl7bDl1pXYSD1mchnZtoGEtnoDBK3Y9pmHdkxJ9lWEZlrqJKlWWFOH/YxjTkboeGg7zkQbhEtFhASxTYnC7mXoYi7l3pk4GJPJgg8D5GQDVFnl1Gck1SsF/q053nkUQ + +CPmQ49HyrM5vndFq7sYBxVwUAJBVz0hwBGrIVMZtxlzgU8ocYVgdD4BwBGA0g3D0YFwUFVZgXHJXUBzxSByZSSFjg0h+k8oBlvXezoXAoBGtEyZoof7KgEUQ2oGOnoH3laaUUByPIuY8B0oHziTrD0V0rlkbacggjxZ9TMo4jbD9RCWvxcpiXC5fyaTCqCqALACir/JinMBKUfk2RRZibzJBEfgVjaXJYV6aoGX4JGUKVuk6wBy4j4A8D4DDDRTl + +Z+gBn2VubfztQjLaB8zQjTb4oiShrXoqRRrCF9giR7BPKSEXAJpJUlADYYwrB0FZhsmJqr4TQfYoFzZFr9Ta1SJhX9h5pdBqGpWfZnT5WNreI+KNm5UqyGGFUmG0mf4Pazo6gAwGgVWDmrq2GjlGjjl/bLoA5Z0oxNWzlg4VJtVo5YVGiY5oCsycS9U+gNgDX7loBNZjVG7jUQCTXc4XlfrCyd0LLiy4Xi7LUgY+FrUvn7I4maywYQXwbpxZz4A5 + +zI5+zA2gUXUfXukBybD/y4CECYS7zPjPVr3nVl6b3S3lAPg8BOZjj9CXKnWUH4ag281NGC5V0i7tEj0ISw6KZV0I2kVi4w0j6o3lD7GsQE2zRNR2bsWNA9AkwHCaD9R6KkrXwHDYAfCMU9AiRU0iU02oC+YSUaWM0AK6QAA6pDno8UvA8lqJJ0nNauk6Vkal/NyCQFxxSWnkItqWfo6W4tERxlOWEg98gwPAxqlq5Bf0atjleZm042j6XWhw2w5Z + +sZbUdwDwTwc0SicRzU/WGZNUGaJwUJOaRwdw0V6IVicVpZu0iVwdNaaVB2GVnikdOV+hsd4d8d7ZidFFyd0SvZI6GdE62dKdY5v2dVBdDVbhJdZSoR7VVdnVEUGIeiaZGRNMXJN6+Yg13AmYpu6wMiVR3MU1vd+eDRNOQ9gDXhcs490OTOZRlxM92BX5EgDswwMkMAzA9ImED9INicYNmFRFkNou0NfhcOERU8WEaB6myNSdIzEAgkaYCBuA18eN + +9FN8HwfQxAq+fErMjQCAOw/I/QWD/UKwikaWz81N3m+DH8hD/KjNwWbNYWUq3NqlL9MWGlyGQtnD1e+lPDhl/DktJl5QGcpAOwlQhAJqOwyt/p3yUj1B3lhKcQXwIaTW5ZfFY1Kj0asa3USZ/lhwa69t40k000YVc0fYkVaZK0shlim0JZ5aNjlZ1arh9jdZzjvirjAS7jxhnj925hg6adbmiS1hQ5oddINVedYTU5kTaMzVc5MTld/T8T3AIJ2w + +DdvARYzdpO6IIyfMKe65E1BTPdn6M1GYpTAGw9QDK1VT61tT09ieO135v5/5gFXT69PTLzwufTkR2FUNGBQD39/hdpxF4ziNkzS12mAcGwuAewnwmgjK42Gz/QxArMTyyY7EmgkiIkTmGzuA5wPQaw2AK9KkHmwlXm5x4l9NEguQslTNukdze+ilkqiejDsqYA8q6lcWTc7DOl6qXD3zhbvzeMAjW95Qoc2AY48UmEFAabEjRUAisLFUmYI2dYca + +g4kixM6LPliZvUKZuLgVg2Nik0TyiVJMShZtttiIXt5j1LljtLFZyVDLqAv6iSzL3iLjF2cdnLd2JVOdfj6d9jgrRdwrM6FhYrKk7o4ThSJQM50TThqOhdHVNdQ29UdYKrMr6TmRzMpZDYFwurXd+rvM01fOHt54t5n95rY9z5NTr5dTtrjT6AnG3GvG/Gx9lWLrktDTc9AczAwcYcEcUcq9LHp9bHUtQ7TTLTzAbTHTzrgnaFbrGFb9/TH9Zrwz + +v9/T/9Tp5TnZ5EAce8TEHM2AYkR8zFRY7YhiIIxAxADSW+PEuArMCiL6ODJbtNfm/KVbJDwA5DwQVDrNdbCS9D0qzzRxfNiOTkocHzWCPbWqmW/zgj6AocjQRgCFpoGcOQtlkjQZc7bUWaI2xYR57d806LajCimjbwKiu73AwVRLXQJLC0UVs2hal7paVjFaZ7yCKVdjgHz7zarLb7HLXaXLX7wTZV/jf7lVQTwHoToHk5K6jVUrpdrVKssT8rCH + +HMxYOHKTl6xw6rWRmzpwjw9Up5Br0yxTnMN5C1pHFTT5lRSs1rFRyl7Hn15Q+gN1d1D1T1/Hr1rHMngXr9IKLRinGnWmcNAb/0QbADQzmnMzabW+fFKwMbxmfEJw3UjQpKBiPAFKE07Ys4nIawuAB8u0yqpznmollzPK1zmkVboqzNtbZ9vnDbd3VkPN33rzcW6oYXulEXYt2qfztD93py6AygVcbA9AY4ct9A07EgMLZUywoaOeg4WIc0Ik/UGY + +ndUahXGjLwTBvEZwaZ+Lq6oInBmYIkx7s+/YLXFLRZFj20CVt7JQu27XCS06nXDZSsTZeVjjRhfXn7mnPL5QP7/L06/7VV06orE35dzh03krJSc3srcHcTCHVXoaKrgsW3zMGwIaGYnlKk3d+HvdJMkiUIJrRRSnD55HV3pRVHNr9PdrEgV9N9d9gtzHH30nomTP7r8nnrAz53MK/roziKJF6n4PKNWn5QSiPQ7FPAMbMIvE/EebCajEsI/EBw2b + +5nTyeiTSxAkhmgDnxPBD5bP8FPP4zNHnCAVD1D9zdDdPXNKlNkzDwXH4nTnbwtXzkXEtPPwnkFqk9q3GcAVcmwyU4vXqWdlLxDIiRNoAkd4GuSxAbBZoBXeROry0alddGmdCEHQTrAYhQ0S7bYBCDMZUtGuN7Frnb0ZYddw6WVKOi7xjrst3eHjL3kPx96p1h0v7QDoHzG5ZIQOYfeqhB0gBQdPCMHMInKw74Kta6HSMupAHW4DIiODATcnuQ1bi + +CLgzQfYGmWz4fojug4Z9GkQKJndi+4OSphR2u4V9buV/XnhfQkA1w64D4BuB23e6CZm+vTdvn3BwoA98KP9Qih3zU5I1Q2IDCQE8gfh0RcAuAZoA/ApQDAQg5OLEP4L0S4A0ePEHEJmAs5uYi25zUtnTUkoVsOAQCc/vW3Cz+cb+snNtnHAzhs9u2z/TnlFzf4AsJA9HHjHxi36pcQKVBYAbwCaQiIOk1UR4B1ieQhoVGWZDrCwW6yK8JoZXVukk + +E1xyNJsiQNJstAva10REzlUEFmjmg/pjsW2WxkQId61kSBOhY7K+2bJUCP2xVb3iHwXRMCMyEg6qjnVqqTdw+hdIHFEx4HaDLuvhbviMxaJ5CnIgwCcgt34EHpeYyvYglCRQ68QU+G3F4H1D1qF9FqeFXZDd3fItElBtRXukLATQSDwawPf7oPxKBdFpc9PJksviGIng+iGuJsFrgV4CwmkZ7YoJNGLyQh5hnIIsEsPGwol5UbkQ/BiRrwk9sSbu + +RvMagJKt5iSDqUkt3gpKh5Pi1JIfD8S/xj4J8hgpPNrRPZr8F8RwIjorlhJr4ESm+bfHAh86QAK8rIp3OyLlKXEdMI7MdhOynbvFhR0wV6CQB9QUVv8DJRPGAB5KbRewiowxLsDnK9hl8Ko+EuGkRJ9RGgopY4ofgVIUAlSwPeUlKTPzPQVSbmJ/J7E1LalOyupP/AYI6oSlrSCBM0hDVgImlMxtpbnknHKHOhuO4cSOAAMfpUAMuKZERFr2MQ65 + +HgaZVqI8DoKzQ+KhKOXgLDzyDDeA1UbLmtiOBYhyyewHASkWEJplCBD7DQhsJOxbDuuOwp6AVT2EdlaBhwwGlOjHQnCWBP2I4ewPA6rCuBtwlqhd1WrVNAezgiGq8I/B8dLhsHRcgIIQ5dQIQHMOlukSkFWgt8QIiqKbwMTrFwRXfPQVPVTFV04Rq6AjlvGREet7B3rKZhLnHxbV8RsxXEfMQQknIBioxTkvsEwlYT9geIyyH0WcCCw+xtI2xEOP + +JFgB0J2EyiThOQl4T9chE04P2JIkgluSwhXEPiHgaCQOsMIC3AyJ3zoVmRduB3JiX1HajDRAcY0eO0naNAhR/edAF8WjwSi/icExkjCU5JMFccJwYNPsGUZngkgoIJsPVBZiCkryIpPiTT21HokhJbI3zPXiyAe5SAMUOKBgkSgpQ0oGUbKLlGvEqRKSA+UUV41tGSiAS0o/orCT2CDh9EbJHXJMXox6S+Shk/qIlS0mBijSwYyMS4LRJ1A0pypO + +3mqQ1IRQ38vrRSXqSAnyt0xuYxAtmKtLlSsxr/QsTFwgAL1s4uccsVVgy7OBtgLY/RCnnWCQhryxtcru1lxC9CWY/QnXhmUJFjZtcU2Ecb+gnGPtHe04nQtsLd4LiPebZGgUnToEhMdx6417JuPsariPhHA/ceulm7Qd7hJ4+VH62eFV1LxyCf+B8NvEQ1BBjQ7MumDW5vifQWYT8ZmUNrjYTu7pEjloPL6ASYRwEvDsoN5xbxf0KI3vtJkGY+sf + +gmI+pqrkQmzFcJ4wAkcMKJGjCdcSowYmZNb7ikTiVkvUTZLEnlBZa8tRWpC28kWjfJNJBSXaOUkOjk8eZXHMWGfTSJJCrBZUbngEjG5Eg0Pcsv1GSmWlK8pMpIRgApkSBPcTkoQC5N9zuSA8XkkoD5Lkl+SmZgUlSScidEJp6CaeASANHeBejc8PojfOTA1FyotRxM1KdfmlKVTMp9sqMYuJjGGg4xL+fKVqUKnJj9S3RNMcaXgIVTwxVUoOTVIL + +H6oRO6AHenvQPrYAj6KtATn8jamo8HgTSEmO8GYrHAWurWQaZ1kUI9YoQLXXXhNOJFjDjyc1c3t7RmFjU5h+KBYXSJ4nji2uJ0p9otNOxziVpDaagfsJXHnC2Bu0gcholOHB9+5ofHdFN2uGR8QcqHC6Za2U7pSgubzNhI9L4Gx8luh6GEJmHqz85Xx3SPqi1xSaZMfQRYJsAOH6qncym6IqEfoLBn9MQJ55Q1t+l2DiY7BEEaCUtWRmJ4cR6Mmi + +ZjLPClzcZU2QlLzMdGUjZhYIeubSMJRNzGRQYwSc/yc62TcSEgfAJgF3D/xhgFAE1Cl17z0yNZjM4fPSRZn08rIzogWK6MMR6JOQPVVSavnEIbA5o42OEGsDFlylLJiCkSdLJxI6YqZCtJWjJJFGELxRzMqUfhJjRIjTONCrmZ8DrDSJTZq+AWTrmYUotRZhMt/jbjtmKkHZIcp2dopdlGE3ZuU+MV7MTEo1fZJUgQWVLDn5iWiOYmxeaQjnZYo5 + +EAH8o0D/IAU2GicpvsnIaHOAuglIp5EShOArdlWXlcaHnOGmFzV83YwBVNNhCtiRx9wO4HzFeDpzOQXUzGssPpbVliB7vNkJsN0Ku83Guwz3r3M2mHSAm72LcfYXHkQAwO4RG4WdLuElALWugpwT3xeEsM/Bq8xbveIljpQNg5876WhxpgXBD5Ug4+augaQEgRkaZQeqa0cE3zQZ/s8GVzhz5PzM0MMyCe/IRkwT1UyklGT/NQkYzZcAC7GZNJJE + +JLMw9GZJXonxQYhFF8LLfLAvUVMiJSuoqWcgp0xAsQWYLCFoIqpLCK6Sik+0aQuTwGyglRs1MqAuZLmzC85MDmGwoskSzOF5Mnhdp0DhekfS3GQFQzLFEgrRFQU8RZtBBK5FwSGYSQo+gUWqjfRm+J4MittmSlnZi88WSGLDGuycp5edUiYu4AFSdSyYYqXfKsWBybSjiuxaHLFWlC6pLivagdSOonVahKFRyqsFDScEIQ2cwyf2B0n9SIluOIaV + +1hGm9Zi540i5WXLxkgKRxrEhNLtA4mnA5yWS8bCsMnFMt25s46Omy0uyrSe5y4ipWPJ2nikNxmdEeV9n9Vrj6lk8mME0qj7nTWlpfR4WeM6W3TulNQ3gX0u+FZNcmCUgYaMsvQF9RlUy2aPu37DK8/xwM5ZSzksUHcNl0yI1p3Vhl/cHB18g5VLiOVoyTlf8s5ScjiVXKK5LE7WjarGrDJ7VlOV5ZqNk4CTPlSCmWegDMoWUrKVIPFQQoJXmLtZr + +MzaN1MNkZ5+wNK+FX6KRXqKxSOoyWdOoxXlA0FGCrBTgqXX+hNZRC0FSQuCl6yXR+iN0dQs5n4zmSDCmXiotDSsLD18C9lTorhnsK9FoY4DYYq5UXE8pfK72QKp/wpjhV8CjMcHJA0oqUN4cgdtFxcVPdbq91R6i1KExtTJCbWI3F8GLAkwbEaLcJZlxcocxOIZtRqFTm7FPJ1GrMI8hmF0QwgRxWxBQrsXqj7ECBLcl1XktWkFKZxRSigV6u7lL + +ivGwDHxqwLqUCt9pgHSpeKxXTRqZ5Ig0et4XaWw1zxwPO6Wfhj53iM1rdBXt1C3zJNPp0yuakfJbq8BdEx5fNYDM0FLKIAG1ajsDwfl1Fju6gtvr93fpNrEZfoL+diPbXZ5TlqMk5Kxr26ZgrN28klkhLdbRbLIsWvqPFohJcb8ZvGnYkoQE3TI4FKUhBWcVPWcjxJ8XRLslxvXyT71RKnWTZA3WQrqF26nRqhO9H546V5MBlQBovyorStXC75aZ + +XMqWVrKNWu9SIrXWkKV8YU+FpFOmRG1LITo/SfySMmJSqVPARlQJKA0uyJVYGjlZBra7GLPZsGsxZ/gsVIbitGG2xVXXsVSrapkc4wegGaatN2mD/bxdYN8UqRv4fYdNGWiOB2c9EnwfzRACjQcEuCDG/sExsSDdjdg4ZOsNVF2jFhZoTyHjfITy3SICtFwOanNKnH5LCly0kpd6tk3cs1Nxw4NTUu2nhqGlGm6edK201tKy++mpNf0yM1uYFyz0 + +h8RQuILdYUONygtQ5vCqHB8+dMVzVfJC0ATK1l2rPhDPhGfpjuOHBtUFo/mQiW18E2iahOS2t9Ut4wOHcGnSiGJOIiTVHb/JS19E9dEZRHUbpR2LbNi6O6RPxpUJfAitwBFkSesG0zqMAPQERmI30DjbgVq6pSWIt0myjZ88ohjYqN3WdaLZXwK2S2xtnHq0VLuT3RJNNHSTzRsk29QHvO1TbgpK+LoLCA0nbASN2q7kryQMkCl1tkiLbRKR22sr + +QNde7KUdu5Uwa0A/KpMYKsQ2rLSpoqvMeKtu2Sq+90qx7XzwgCmD64jcQjfUO+3eV00A4DYJjqajllmgfMdFuDvo08FodY0zOh1KR6cRzgDGlMpXKmGoBctDu/LQ1EHDNz72809Yfjok2E7KBxOspb6u8ZbTc6SmgPiprWEjlBuFw3cY0rp3R8S+umpnSPiB5oaFUd/ZBI/BM2c7D0jUAWB1k7piDV0TwH6fnjrAggnVl8xZc2s82V9IDPmopqoO + +Q4C5AtCnYLfsrC3SjjlkWztTrvVyO099ZwXXEZM6Sm7tdBI5g6vn31sGj99GM/YoUx2X6E0Luh3iTKT115Pd+AL/sQB/5/9/dK6nPUHuJUh6bEuwE3ONnWBnABwtuvmXCWj0Iri8jKxPQNvRXlbygcs73K5L9weTA8GeoRcoYCmqGGt8uUKaCQilxFpkurYoMtrimV6hSVKmvbbkb26KwjnK5vdBt5Vt64NHehDX7KxGQGBJ12/vf0zu1D6Htzip + +7aUAzi4AAA+uZ3oAVhTQ9qTKMwATROZ8AFYR2CanLGS8Z9IA3sVP05np8+Km3GjRiwTJYst2SaHDrrwq6hUquEVRaCONipW8yyndXHa6vyUssPVPXUpetPKVv7SqfvfskklG4HSw1R0vcQB0g6HjZ5YfJ6cDxeldRs0iQPRCq0R4/TPDEUgsvk3WWQyv0maCQQsqL7ubGdCakGVLvV2z0HuEgb6r9UaD/U1xMcHxahTATCccj0FWCvBUQpScn6rr + +ImUrsoMq6v6EBlom4JDaq6w2I/XHlbH5ADABgdFCEEOMja7wPgLwASDvEWaMpYeWIGsIT2LY78rme/CAAKkp7pCbZHNS/gw0Z4tsEcbzXthIY4bhdihPzPhlhrKH1TATf1AGlPq+2LBlglmjdSJFqiF7iwOcgafqvzl9Des2+jRD2rGFNJj99XaYVSLrl3BoF9I6/bkp/3pUxNBOzuUTpk0v65N30MnfaY2MU6tjf+geRGquFRqgDsayAJ8YnpPC + +VOHfIzT3hvFrzTNtSXmPWBZi5oUDNm5PgLpkG8AF9HQ/brgfeP4HoR3ejvsQc2UhLX5FBjvmiIl0YjDl38iLfLii1YyRsOM+JSafozgLa5kCq04sLHXWyJ1Hy93RYYbwBxCAeRwo8QGKOlHyjlRzQNUdqNKH/JwDereuv1mp4oV26/FFHvXzGHoephjheYeT1nqJAc60bYuscNArnDS53PSStXO7R1zxs/RFubVGIqAxvW13cyv0X16UVERw7Q/h + +b0xHUA7ewPUKqLPIbqpN29I4PtQ1SmZVOR2vpoFvr30lVZ1RU76m8qnB1VqRI2c+nZIg6wddG7gnCE1NZg5quvVmJtCeTHkj0ionNZMLNOn6/tTYRIHCCaSo8+ozq2/WHXv1LTnTT+100sdf3yb39/+wed6eHmU6P9AamnVPOLrNKjxIBnQWAeumRnBTcWQgL0q+EJmrQz40kU8FTP7yKoH4jM/ekSAkxWhF8sXXgerMVrNqSR2EbLtAm58OYvWc + +sxDSrPUHaz4WzXZwYFMoTLI5Fs4Egf3Zas+wvhgmWbsWL3BArVFjmDRbCtNRtaTF/RBALYv/rx1RMydYOcPOWGJAAvIXiLx4Bi9zz+Kxc8QuD1AlyFi+N9XOQ2IGHaVMepEnuf63CShzdkmWv0Dlr8LaZas/BVnsvNlW1D7Wzkjl0SZnAhlZwMvdrVOCPopklJ1Il+hCNaLwNu2gfftog134oNBo1vYBbiPAWu9dluJtYvu2QGMj0F1CIOxyMXrM + +F2C3BVCzsrpc/FYIJIAr3WBtDwQtC3VW1BsR0EvgwpfFE1BhDU4kBE6fXoeyN4L6+KpvMY5NEMyI6glJuRPjkpDpemne2VXi9JuuxunSd37PluseYG+nxuUlyNZwNOkxqWlE8z4evP6URQQQUbFVjuuMtk4nNq2WrjLseNy7pkWLKlWWo+Pxrwzku2yyjOr7Rzd6+9Q+giYhOEYOO1cfaodWOpvcIKJ9RE0J2FsQArwN4e8E+AlvCYW+vln7m5ao + +OhsMTf9fvu4JxOeD0AVsVfJoBczYBONAwPRHZnShMRqImgaEH0ESD9Q7beeLHtvzwa78UhAWOSkfwoYn9UAq6GhuzT85PMchRMozVXEKF6UX+Ti3nh/xhNwUEKSFZCxWJVVskprJFmqBsEMSs2SgucnU1Ev6Emqd9ZqoBeMNNOUsUiNc6kVAp7PZK72dp0S3WSdPzH5x/FoqoJY9PbGqlNhAm4pqJuBn7eB4uS4cdDN83TxHSm6azu6VsANLVNsz + +aukLvrF9VAIkHfZszPQh9a/0lrm8YhEj0CDVah4zUUculm8m+t1EYbdV00Hei9ZxXI2fOXNnLlxphm7rI7PN3uzjcy3G8vgVTqPdR59AJ6W9K+kFzWs1wyubJVglzglK5oPoZClmyjD+618+lY0UYB9zLV7K8OemBjmijJRsoxUYOBVGajDsOo8VeXWlWH15VpbRIs3X3moQx7fzXVb3XqjNgi1j88ta/M4O1rBija1Ea2sAWgLKhkCwdZ72H5Uj + +js2R1kdTvwZ1bd4R8AnLuufbKxj1kNAGgy2rdxhgNtfQRch28FmNwNwbBwT4K/bONYITUzxpjQTY6wRYC2jCEJQcW8djph/ejffZY2BuhN8Ncpp9Oqah76mmS0UgOMM657V0420vegO4AAocBk4wh1hD0FrG+li9GgH517zb0guoWYYhGrzKgZ7m8+9LpKAlmVBsyVy/fbRNAMn7fl+XFrr1v/zu1Y42EFY8zA2ORYPllXASJaewhDg1jhiWRKLA + +iI5ojj8RLrUJTiHNFJWvB9IbAcVBqgdQJoC0DaCdBugfQIYCETwWZ7atk22B+CoHVIj+oRFlx7Rezwdbtzfo5Em+dA0gPWrKC9AFdavW3W6ZOzibYSuvN0KC9Y1EayXp1WMPZRRvNUwtGTKZhMHfZtjkyoiN7afzwjv89EZO2xGztLhyR/GffPyOTrUFzDedew05H9APQKuJIDhC3g1HYJtLkAMaNtR1i8QESOcBhBdRiweFwEHECtNiJPbxwbA9 + +2K0TZldEr6/MmbxP3jH4qZZG3pAGmOiaG0pAx/RjdbL933TXZHGwwP95BrAmo97cdTuJtCt9j097TRzsSeHpnLaT5IiwR+l8x3RQsnA2zavuPyfDddS43mfpziPZ7oBr4zZa83SjVbMcsW/HO1vvU/jLiwgKaCEAJBKg0UMcP5IYwaOdbtgis1BL2VG2DNkBrE2RXNvD8JAwkXHmxNoj3xYQRwJlDCrtt3ANmBwMSMdg4jcQraqawtmc1wYXMA7G + +lDk0KjkoZDaeWQmOzAlv5vMQIj/T5mcRKEKP3+8GdUGOHqC4BhgawWQPUYeuUvnA1LuEPsAY0Mvi7BXJIIg4JrwNeItNrl1mR0QpK8yRIgV/RaFdNcXxtvYTZxYdOSu5j5Az1d44EvyuFNvvXG8Pa1eiXPTFN46Xsantk35LsZ9NVpaEH4oPpBl0CRMu6RTLHgNiTMMmWrVPGOkAse15ZfzM7XkXOmxS66482Fmkj21WjhAA6DRQt8mgYYJhEyi+ + +uN6/rnI3KrluKqrBdQ5W190acBaDb1ThefDVNvYmv6FtkfI0EWZczmgxACkwcxJhnATMNtsQGgxBD0QS3FwTQPfAOZ+263rJwO+ycCyipbmkdh5o235OttulSBHt2Kb7cSmueMFkfR/3w+EfiPpH7O61L8Usw2sbtZM6wcx233S77BJIE4+kT0vJEJMalWY9rDJLKcfJcmFgJw5VzFWbWcZUOr2DaGT0bjmYx454s92u5mN+99jb9Of6VX1StV7U + +vHufvNN9O39GGfnvM7F7UZ7pX7oSfJGHxrQ6EFG2s0gfRdG5cDw5uc19QJix9wp0i6AbFPQLl9wpp+ng9z5KnkB9y5/M8u0GX74Vrg4sTaxrYGKMIZBwktqtTfGPjB8ibN4yV8wFv+KJb/RlAGRefPXQJ4CejfsnJ8UdBQL02GC/LuAFEX7qFF6O+zU0rELxj0ypAd7a7n+Dtq5TI6vUyBFNDvq3Q+XOkK9ZW+KRa0e5lyLYVKopRbpYrSfBuHNz + +6Z9C9WuwvSARi/84i5Q8+zO9iRtFxIZkfgW0jHfU69i91TSmA3QbkN2G7k1K3NHM7pHagPgbjZcQIJXz59YRahDn05wTQ3XVIsZloQA6jPPomqiQMPrntei7jmBCjPsmtnbglMfPfuPJX3dm9wsef2pffHY9/x1/sCden33AZvL8GfJtoeHh/NheypaXlxYuAlX+DoelxCUXxs9X9J8WjXR7370g4E4Lzh5tdfJ6PxqR8WYcs2vQrdrtdCicrMP2 + +R6tTjXdngafdOzw+jZMlrm2C45zg41V+wwfN3ppE/42ZP6wbT9gApfLJfWhNBmvExTvaW6fNCpF+JMngoCwvzL8V6l+BIUzt71lbmc5XZ1I2hdTZW2dOGgfnziq7ea3XGynzXWpqAeqwdHrcHbIgOUtY5Uwusp0Yza6JO2tOurzCRi++i6J9yPt/tU8AIrGQRwA4AmodSOcWgBIgMg56+rgsAYCEAEAFAB2MUr4vsgH4r/2AwUHcwiAwk9QTsPoG + +spcWEvDuQ/9pIYuAbxf/R/yk073OVx5BP/UALslf/ZKAVd0vHcVgDv/X/3/8h5LLxKAQAtAPSAMAoDi18YAnALAD0gUOE1cRNSAGID4A9IGihwncpFQCSA/QGShOAKAGShYUVUFagEiBgOoCmAlgPVBCAIwGZh6AqgPdxf/ZFFqAiAZQBphVIe+ETpuA0QLwDa9RfxA15An/3SBdwS/GUDfzVUmACv/RgJDFMIb5A9kiAvQJ4DkoUeDICnQdHCNB + +eGNUAekfQRIBzwYeSiz7B5eRbRsDqQNUFI9QwRIAN565XHGWxTgLPAgAjAdoD90xKBgAIB38MkBEQWYTkA6BXSVQN/8yAymzVR7oGAKFASAfgMEDL0egMyCf8TsC54uA/IJNRhRDQMWZggYGVHoSATQhIQHYJkADhSAZQD5AAAClMtqAV6Q6D2gh9hEQAASkNBQ4P/HjB5QcoCaDWguIK6DBwSYPJAegg4H6DEgkQPwDaAqAHzB8fcA1hxBghyHR + +9rJC/AqCExIBmwAiALnjX9/yS/x98UYIQCgAgId8DX9ZgUgDpBSACsFhxTtIBjuCHg8oNnN9gxILsAq4BAmyB1Qf8jgBSgplA+DKgxwWQRsAFYMYBMIdoEcUSEAMjCBggSELaQmTAwEMDGMRtRY8R4AwF/wkQlYK3Jm1NSEpBagZEOhDYQ4fQ/9HAZgD2DGQLIBwgTUTICEBwQyPC+Zqge+CYBMge9Bwc9gwGj/RdRUEP2Cb/UcBNQSATEQBC4nO + +AB8gBQ0xQQBwAH2Hk1wgJSD/AfwIAA== +``` +%% \ No newline at end of file diff --git a/Excalidraw/demo_théorème_du_début_2.excalidraw.svg b/Excalidraw/demo_théorème_du_début_2.excalidraw.svg new file mode 100644 index 00000000..ed7b428f --- /dev/null +++ b/Excalidraw/demo_théorème_du_début_2.excalidraw.svg @@ -0,0 +1,2 @@ + \ No newline at end of file diff --git a/Mathématiques pour non spécialistes – suite look-and-say.md b/Mathématiques pour non spécialistes – suite look-and-say.md index afe7581c..94182391 100644 --- a/Mathématiques pour non spécialistes – suite look-and-say.md +++ b/Mathématiques pour non spécialistes – suite look-and-say.md @@ -114,5 +114,28 @@ Le début arrivera toujours sur l'un de ces cycles : ### Théorème du début — Démonstration 3) Simplifier les cas (en assimiler certains) +![[attachments/Pasted image 20260330021624.png]] +La version de Conway : -![[attachments/Capture d’écran 2026-03-29 à 22.50.04.png]] \ No newline at end of file +![[attachments/Capture d’écran 2026-03-29 à 22.50.04.png]] + + +--- +## Théorème du découpage + +> [!definition] Découpage +> Quand les descendants de $L$ et $R$ n'interfèrent jamais dans $LR$, c'est-à-dire : +> $\forall n,\quad (LR)_{n} = L_{n}R_{n}$ +> +> On dit que $LR$ se **découpe** en $L \cdot R$ + + +-- +## Théorème du découpage + + +> [!definition] Découpage trivial +> $[\;\;]\cdot R$ ou $L \cdot [\;\;]$ + +> [!definition] Atome +> - **atome** : morceau sans découpage non trivial diff --git a/attachments/Pasted image 20260330021624.png b/attachments/Pasted image 20260330021624.png new file mode 100644 index 00000000..a32471d7 Binary files /dev/null and b/attachments/Pasted image 20260330021624.png differ diff --git a/désintégration audioactive.md b/désintégration audioactive.md index a6c7f938..e912cb98 100644 --- a/désintégration audioactive.md +++ b/désintégration audioactive.md @@ -60,10 +60,12 @@ header-auto-numbering: > - i Il est évident que cela arrive lorsque le dernier chiffre de $L_{n}$ est toujours différent du premier chiffre de $R_{n}$ (ou bien quand l'une des deux est vide) > --- > - def On appelle **trivial** un découpage du type $[\;]\cdot L$ ou $L\cdot [\;]$ +^def-decoupage > [!definition] Atome > Les **atomes** (ou *éléments*) sont les chaînes qui ne possèdent pas de découpage non trivial. > - source:: [[sources/1 - articles/Open problems in communication and computation (Cover, T. M., 1938-, Gopinath, B) (z-library.sk, 1lib.sk, z-lib.sk).pdf#page=181&selection=221,11,241,7&color=note|(John Horton Conway, 1987)]] +^def-atome - i toute chaîne est **composée** d'un certain nombre d'éléments. On dit que cette chaîne **comprends** lesdits éléments. - source:: [[sources/1 - articles/Open problems in communication and computation (Cover, T. M., 1938-, Gopinath, B) (z-library.sk, 1lib.sk, z-lib.sk).pdf#page=181&selection=243,5,260,9&color=note|(John Horton Conway, 1987)]] @@ -211,7 +213,7 @@ header-auto-numbering: > > - en assimilant $[3^{1}X^{1}$ et $[3^{1}(\leq 2)^{2}$ aux deux cas $[3^{1}X^{3}$, $[3^{1}X^{\leq 2}$ > > - en assimilant $[3^{2}(\leq 2)^{\leq 3}$ aux cas $[3^{2}X^{3}$, $[3^{2}X^{\leq 2}$ > > - en assimilant $[1^{3}2^{2}$ et $[1^{3}X^{1}$ au seul cas $[1^{3}$ -> > - en séparant $[1^{2}2^{\leq 3}$ en $[1^{2}X^{1}$ (qui est déjà listé), $[1^{2}2^{2}$, $[1^{2}2^{3}$ +> > - en assimilant $[1^{2}2^{\leq 3}$ à $[1^{2}X^{1}$ (qui est déjà listé) et $[1^{2}X^{\neq 1}$ > > - en séparant $[2^{1} X^{\leq 2}$ en $[2^{1}X^{2}$ et $[2^{1}X^{\neq 2}$ > > - en ajoutant $[1^{1}3^{2}$ > > Cela nous donne la liste suivante : @@ -220,8 +222,7 @@ header-auto-numbering: > > - $[1^{2}X^{1}$ > > - $[1^{1}2^{2}$ > > - $[1^{1}3^{2}$ -> > - $[1^{2}2^{2}$ -> > - $[1^{2}2^{3}$ +> > - $[1^{2}X^{\neq 1}$ > > - $[1^{3}$ > > - $[2^{1}X^{2}$ > > - $[2^{1}X^{\neq 2}$ @@ -234,7 +235,21 @@ header-auto-numbering: > > > > Cela nous permet d'atteindre le schéma original de Conway : > > ![[sources/1 - articles/Open problems in communication and computation (Cover, T. M., 1938-, Gopinath, B) (z-library.sk, 1lib.sk, z-lib.sk).pdf#page=186&rect=12,345,377,408|schéma original de Conway p.186]] +^theoreme-debut +> [!proposition]+ théorème du découpage +> Un chaîne de $\geq 2$ jour $LR$ se découpe en $L \cdot R$ seulement dans ces cas : +> +> | L | R | +> | --------- | --------------------------------------------------------------------------------------------- | +> | $n]$ | $[m$ | +> | $2]$ | $[1^1X^1$ ou $[1^{3}$ ou $[3^{1}X^{\neq 3}$ ou $[n^{1}$ | +> | $\neq 2]$ | $[2^{2} 1^{1}X^{1}$ ou $[2^{2}1^{3}$ ou $[2^{2}3^{1}X\neq 3$ ou $[2^{2}n^{(0 \text{ ou } 1)}$ | +> avec $n \geq 4$ et $m \leq 3$ +> ou bien quand l'un des deux est vide ($L = [\;\;]$ ou $R = [\;\;]$) +> > [!démonstration]- Démonstration +> > Cela suit directement du [[désintégration audioactive#^theoreme-debut|téorème du début]] appliqué à $R$, et du fait que le dernier chiffre de $L$ est constant + ^theoreme-decoupage ## Tableau des éléments