Spieleabend Organisieren: Ein Mathematischer Ansatz
Lerne, wie man einen Spieleabend mit Konzepten aus monoidalen Bikategorien organisiert.
Ettore Aldrovandi, Milind Gunjal
― 7 min Lesedauer
Inhaltsverzeichnis
- Dinge Zusammenhalten
- Der Spass an der Symmetrie
- Gruppieren mit Stil
- Biextensionen: Die zusätzliche Schicht
- Vertrautmachen mit Picard-Gruppoid
- Werte zu Gruppoid zuweisen
- Torsoren: Eine neue Organisationsebene
- Kontrahierte Produkte: Kräfte bündeln
- Kohomologie: Unseren Fortschritt messen
- Der symmetrische Fall: Alles kommt zusammen
- Fazit: Ein kohärenter mathematischer Spieleabend
- Originalquelle
- Referenz Links
Stell dir vor, du versuchst, eine Gruppe von Leuten für einen Spieleabend zu organisieren. Du hast verschiedene Arten von Spielen, bei denen einige Teamarbeit erfordern, während andere solo gespielt werden können. Wie arrangierst du alle, damit alle Arten von Spielen gespielt werden? Das ist nicht weit weg von der Idee der monoidalen Bikategorien, einer Methode, die verwendet wird, um komplexe Strukturen in der Mathematik zu verstehen.
In der Welt der Mathematik kann es ziemlich kompliziert werden, besonders wenn wir anfangen, über Kategorien und deren Beziehungen zu sprechen. Kategorien sind wie Gruppen von Objekten, und sie haben Beziehungen, die Morphismen genannt werden, die zeigen, wie diese Objekte miteinander verbunden sind. Wenn wir nun diese Kategorien mit einer Prise zusätzlicher Regeln vermischen, landen wir bei monoidalen Bikategorien.
Dinge Zusammenhalten
Monoidale Bikategorien drehen sich darum, die Dinge organisiert zu halten und gleichzeitig ein bisschen Flexibilität zuzulassen. Sie führen eine Möglichkeit ein, Sammlungen von Objekten (wie unsere Gäste beim Spieleabend) zu betrachten, während sie die Fähigkeit beibehalten, sie auf verschiedene Arten zu kombinieren.
Stell dir vor, du hast eine Kiste mit Spielzeugbausteinen. Jeder Baustein kann mit anderen kombiniert werden, um Gebäude oder Strukturen zu erstellen. In dieser Analogie steht jeder Baustein für ein Objekt, während die Möglichkeiten, wie man sie kombinieren kann, die Morphismen repräsentieren. Eine monoidale Bikategorie ermöglicht es uns, Strukturen zu bauen, die diese Bausteine in mehreren Dimensionen verbinden, und sie zeigt uns, wie wir sie bauen und damit spielen können.
Der Spass an der Symmetrie
Was wäre ein Spieleabend ohne ein paar witzige Wendungen? Hier kommt die Symmetrie ins Spiel. So wie wir Teams wechseln oder die Regeln mitten in der Nacht ändern könnten, bezieht sich die Symmetrie in monoidalen Bikategorien auf die Idee, dass man bestimmte Elemente tauschen kann, ohne die gesamte Struktur zu ruinieren.
In unserem Beispiel mit den Spielzeugbausteinen, wenn du die Bausteine umstellen kannst, ohne zu verändern, wie sie zusammenpassen, hast du eine symmetrische Situation. Dieser Teil der Theorie hilft Mathematikern zu verstehen, wie Dinge sowohl stabil als auch flexibel sein können, eine feine Balance, ähnlich wie das richtige Spiel für die richtige Gruppe auszuwählen.
Gruppieren mit Stil
Aber warte, da ist noch mehr: Wir können unsere Bausteine in Kategorien gruppieren! Wenn wir Objekte in einer Kategorie zusammenfassen, können wir ihre Beziehungen effizienter analysieren.
Denk daran, deine Spielzeugbausteine nach Farben zu sortieren. Diese blauen Bausteine dort vielleicht passen nicht auf die gleiche Weise zusammen wie die roten. Ähnlich hilft es in der Mathematik, Objekte zu kategorisieren, Muster und Beziehungen zu erkennen, die auf den ersten Blick nicht offensichtlich sind.
Biextensionen: Die zusätzliche Schicht
Hier wird es ein bisschen komplizierter, aber keine Sorge! So wie man einer Videospiel-Ebene eine neue Stufe hinzufügen kann, nennen wir diese Schicht „Biextensionen“.
Biextensionen ermöglichen es uns, noch mehr Struktur zu unseren Kategorien hinzuzufügen, wie ein neues Spiel zur Liste unseres Spieleabends hinzuzufügen. Wir können sehen, wie zwei Kategorien auf eine Weise verbunden werden können, die sowohl ihre individuellen Strukturen als auch ihre Zusammenarbeit berücksichtigt. Das hilft neue Beziehungen und Eigenschaften zu offenbaren, die vorher vielleicht nicht offensichtlich waren.
Vertrautmachen mit Picard-Gruppoid
Um all das zu verstehen, müssen wir uns mit einem weiteren Konzept vertrautmachen: Picard-Gruppoid. Das sind einfach eine schicke Möglichkeit zu sagen, dass wir es mit bestimmten Arten von mathematischen Objekten zu tun haben, die schöne, gut strukturierte Eigenschaften haben.
Denk daran, sie sind wie die ultimativen Partyplaner der Mathematikwelt. Sie helfen alles organisiert zu halten und sicherzustellen, dass, wenn die Bausteine (oder Kategorien) zusammenkommen, sie das auf eine Weise tun, die Sinn macht. So wie ein guter Spieleabend einen Plan braucht, bieten Picard-Gruppoid eine solide Grundlage, um zu verstehen, wie mathematische Strukturen zusammenkommen.
Werte zu Gruppoid zuweisen
Wenn wir wirklich tief in unser Mathematikspiel eintauchen wollen, können wir unseren Gruppoid Werte zuweisen. Hier fangen wir an, ernsthafte Mathematik einzubeziehen, aber lass es uns einfach halten.
Werte zuzuweisen kann man mit Punkten für jedes erfolgreich gespielte Spiel vergleichen. In der Mathematik können wir die Beziehungen zwischen Objekten messen und sie mit diesen Werten analysieren, was uns hilft, ein klareres Bild von den Strukturen zu erstellen, die wir untersuchen.
Torsoren: Eine neue Organisationsebene
Während wir mit diesen Ideen spielen, stossen wir auf etwas, das Torsoren genannt wird. Stell dir vor, dein Spieleabend wird überfüllt und du musst einen Weg finden, alle in einer Reihe zu halten. Torsoren helfen dabei, indem sie eine Methode zur organisierten Anordnung von Elementen in einer kohärenten Weise bieten.
Torsoren sind eine Möglichkeit, darüber nachzudenken, wie Objekte verschoben oder verwandelt werden können, während sie ihre Kernmerkmale beibehalten. Es ist ein bisschen so, als würde man herausfinden, wie man die Stühle an unserem Spieltisch umstellen kann, ohne jemanden in der Menge zu verlieren.
Kontrahierte Produkte: Kräfte bündeln
Und gerade als du dachtest, es könnte nicht spannender werden, führen wir kontrahierte Produkte ein. Wenn du zwei oder mehr Strukturen kombinierst, um eine neue zu schaffen, hast du es mit einem kontrahierten Produkt zu tun.
Wenn du und deine Freunde zum Beispiel beschliessen, Teams für ein Spiel zu bilden, gründest du im Grunde ein kontrahiertes Produkt von Spielern, die sich für ein gemeinsames Ziel zusammenfinden. In der Mathematik helfen kontrahierte Produkte uns zu sehen, wie verschiedene Strukturen sich zu einer neuen, kohärenten Einheit vereinen können.
Kohomologie: Unseren Fortschritt messen
Während wir durch diese Ideen navigieren, stossen wir auch auf Kohomologie. Hier können wir messen, wie gut unsere Strukturen funktionieren. Kohomologie bietet Werkzeuge, um die Beziehungen zwischen verschiedenen Kategorien und Erweiterungen zu analysieren und zu quantifizieren, ganz ähnlich wie das Nachverfolgen von Punktzahlen und Statistiken für unseren Spieleabend.
Durch die Verwendung von Kohomologie können wir die Effektivität unserer Organisationsstrategien bestimmen und verstehen, wie verschiedene Teile unseres mathematischen Puzzles zusammenpassen.
Der symmetrische Fall: Alles kommt zusammen
Lass uns die Idee der Symmetrie noch einmal aufgreifen. In unserem Spieleabend sorgt die Symmetrie dafür, dass jeder Spieler geschätzt und einbezogen fühlt, ähnlich wie die Symmetrie in monoidalen Bikategorien das Gleichgewicht aufrechterhält. Wenn Strukturen symmetrisch sind, bedeutet das, dass sie interagieren können, ohne ihre Gesamtheit zu verlieren.
In der Mathematik, wenn wir sagen, eine Struktur ist symmetrisch, können wir sie mithilfe eines bestimmten Regelsets analysieren, das unser Verständnis vereinfacht. Wir können komplexe Beziehungen aufschlüsseln und sehen, wie sie sich verbinden, was ein reibungsloses Spieleabend-Erlebnis gewährleistet.
Fazit: Ein kohärenter mathematischer Spieleabend
Zusammenfassend lässt sich sagen, dass die Welt der monoidalen Bikategorien viel mit der Organisation des perfekten Spieleabends zu tun hat. Du hast Objekte, die sich auf bestimmte Weise verbinden, Symmetrie, die alles im Gleichgewicht hält, und zusätzliche Strukturen wie Biextensionen und Torsoren, die helfen, Beziehungen zu klären. Du hast sogar Werkzeuge wie Kohomologie, um diese Verbindungen zu messen und zu analysieren.
So wie das richtige Spiel Menschen zusammenbringen kann, um bleibende Erinnerungen zu schaffen, ermöglichen es monoidale Bikategorien Mathematikern, ein tieferes Verständnis komplexer mathematischer Strukturen zu entwickeln, und enthüllen die Schönheit und den Spass, die darin verborgen sind. Also, während du über deinen nächsten Spieleabend nachdenkst, denk daran, dass die Prinzipien von Organisation, Symmetrie und Zusammenarbeit nicht nur zum Spielen da sind; sie liegen im Herzen unseres Verständnisses der Welt, sowohl am Tisch als auch im Bereich der Mathematik.
Titel: Symmetric Monoidal Bicategories and Biextensions
Zusammenfassung: We study monoidal 2-categories and bicategories in terms of categorical extensions and the cohomological data they determine in appropriate cohomology theories with coefficients in Picard groupoids. In particular, we analyze the hierarchy of possible commutativity conditions in terms of progressive stabilization of these data. We also show that monoidal structures on bicategories give rise to biextensions of a pair of (abelian) groups by a Picard groupoid, and that the progressive vanishing of obstructions determined by the tower of commutative structures corresponds to appropriate symmetry conditions on these biextensions. In the fully symmetric case, which leads us fully into the stable range, we show how our computations can be expressed in terms of the cubical Q-construction underlying MacLane (co)homology.
Autoren: Ettore Aldrovandi, Milind Gunjal
Letzte Aktualisierung: 2024-11-15 00:00:00
Sprache: English
Quell-URL: https://arxiv.org/abs/2411.10530
Quell-PDF: https://arxiv.org/pdf/2411.10530
Lizenz: https://creativecommons.org/licenses/by/4.0/
Änderungen: Diese Zusammenfassung wurde mit Unterstützung von AI erstellt und kann Ungenauigkeiten enthalten. Genaue Informationen entnehmen Sie bitte den hier verlinkten Originaldokumenten.
Vielen Dank an arxiv für die Nutzung seiner Open-Access-Interoperabilität.
Referenz Links
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRADEAKTgDwGoAngEo+NISAC+pdJlz5CKAIzkqtRiza9BIrmMnSQGbHgJEyi1fWatEHLZwGih4qTOPyiyi9Ssbb-Bz5dZ0lVGCgAc3giUAAzACcIAFskMhAcCCQAJlcQBOTU6gykRVz8lMRldMzEAGYyxIqsopr6igkgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRADEB9YARgF8AFAA8A1DQCUIPqXSZc+Qih7kqtRizaiuvQRKkyQGbHgJEyPVfWatEHbgCZBovdNnGFRZRepWNt7Y7CYpJ8qjBQAObwRKAAZgBOEAC2SGQgOBBI9j7qNiAAOvk4ABYwOHQg1Ax0AEYwDAAKciaKIPFYEcU4+nGJKYhpGUj8BgnJw9RDiADMOdZshSVlFa4gY-3Z6ZkzoXxAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBoBGAXVJADcBDAGwFcYkQAjEAX1PU1z5CKAEyli1Ok1bsOAcgA6CgMZQIOAAQALHnxAZseAkTEjJDFm0SdFKtZq1zd-Q0KIAWceelWQWparqGsrO+gJGwsieZjQWMtaOAfbBoQaCxigAbBTeluzKTtySMFAA5vBEoABmAE4QALZIZCA4EEhiUnnWVU40jPQcMIwACuFu1jVYpVo4obUNTTStSOSxPuxVc3WNiKstbYgdcb5YUAD6wPLcSUFKpfT19fRbC4gAzEsHnp3xIHcPTxumlOF2U3BAfQGQ1GrgyIEm01mvGq2yQH32SAArGsuiBSi8dt9lohsT9fKVeiB+oMRmM4QiZjxKNwgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBoBGAXVJADcBDAGwFcYkQAdDgW3pwAs4AYwBOwAMIBfAPrEQk0uky58hFOQrU6TVuy68BwsVOnl5ikBmx4CRACyaaDFm0ScefQaIkzgYALTkkuZK1qpEAMyO2i56HEJQEDgICqEqtigArNHOum76nkY+0n7BqZbKNmrIAGw5Oq7uBl7GvmAA1EEhFWEZyABM9bH5HobeJv3dVunVAOxDee4JSSkW01VEGsRauY1TleEog-07Dez7vdVR205nbhcz9qQnt8MgDxtZpDcxi-JaMCgAHN4ERQAAzEQQbhIMggHAQJAaX6NLiwRg4ejdSHQpBReGIxCDFFxdGY7FQmFEmgIpAOEkjMlY8o4qn02mIbIM9xMim4xBwjlBCyspE0wl1blomAY5kiylISUc-G7Uky8kshWc8VIeZSji8zX8wUSmgAIxgYCgdIAnEaqcjlebLdbEP47Hb5fziRyuRarbb7XidYh6f7Xe7PRCtUrCREg4hY0hieHbTRGFgwI0oPQ4PxAXyHSGABzpzPZiDMM2MNg0fP0V1gZiMRg0+hYRjsSBZkCvRZcIT8LCFxUhm1lntuRJVmu9kD1xvN1vw9udtzd2v6wfDhP4oVwjOTkDT6ubhdIJsttsdrsETeqkbbkfUglI5GHiszs8wBsXpfXtdwDvOcHyWIdn3ZQlyGJD92BPWc6x-RcrxXG912AvtUXicDJEoSQgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBoBGAXVJADcBDAGwFcYkQAdDgW3pwAs4AYwBOwAMIBfAPqFJpdJlz5CKchWp0mrdl14DhYqdOBgA1OUkh5i7HgJEAzBpoMWbRCGsKQGOyqIAJhctd10ePkFRCRlTM0CrG18le1VkdWJNNx1Pb1tlBxRgwKztDy8kvwK09RLXMvY85P9C5GDM+rDcyU0YKABzeCJQADMRCG4kMhAcCCR1UJzODlhGHHomsYmpmln5pK3JxAW9xGdF8q5V9c3xo-PT4Ivw642Du52ZubOaACMYMBQJAAFgAnJ0lsRbttjrtvk9-oCkABaMEQ8pQmiMej-RgABRSAU8Iiw-X4OGh9zhSASPkO82piGBWKwYHKUAgzF+jDYNH4MHoQMQYGYjEYu3oWEY7EgbJA6PCQn4WFklKQD2+AFYWXLPByuTz5SB+YKkCKxRKpTKCLznp4uEqVXFLGrENNHn8AUKAGzTbIY13u+GepGIZG+hWeTEgbG4gktVQgElkinvGEnb7enXsznc20moXm8UzSXSzyy23+8I4GAADxwwCE9DAiTpHx+XyQAHZs+x9XmjQWzaLi+sreWbUaq-aODX643m4lKJIgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAEkB9YMAagCYAviEGl0mXPkIoAjOSq1GLNgB0VsBjjoAKNRq3aACgEpjIsSAzY8BIv3nV6zVohB6YmnVx68Zgs6Li1lJEAMwOis5s3nxC5kGStigALBFOyq4AvPGWEjbSyACsaUouHNyxwoG5wUnIAGwlUa4xAlUKMFAA5vBEoABmAE4QALZIZCA4EEhykRluKgDGABZYAHrAALR+OUOjM9RTSPZzZe6e2l0BFntjiCdHiKHVt0jFk9OIjadsWFAiFEEQA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAB12BbOnACzgBjAE7AAwgF8AesAAaAfWISQE0uky58hFAEZyVWoxZtOPfkNGSZCnctXrseAkQBM+6vWatEHbrwEi4tJy8i52aiAYjlpEAMzuhl4m7IJQEDgIEgYwUADm8ESgAGbCEFxIZCA4EEh6IHB8WEU4SAC0thElZRXU1bXUDU0tiB3FpeUjvTWIbvWNzW1hneP9VdOzgwsz9iBdE3V928vdM1NI8XNDbbE7e0izhxebw+23K6dr5wPzw6O77w9pk8fucshIgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBoBGAXVJADcBDAGwFcYkQAdDgW3pwAs4AYwBOwAMIBfAHrAAGgH1ikkJNLpMufIRTkK1Ok1bsuvAcLFTZi8irUbseAkQBM+mgxZtEnHn0GiEjLyCi526iAYjtpEAMzuhl4mHEJQEDgI9pGaTjrIesQGnsY+qhFRWs4obi5FRt4gqgYwUADm8ESgAGYiENxIZCA4EEh6iSW+aPQieExKZd29-Yhjw0hu4w1cUzNYc+QLID196zRriPGbyTuzjKGHx8uD5xsARjBgUEgALACcWY9RmcRhcaO9PkgALR-AFLIFDEHfGiMLBgBppZivRhsGj8GD0L6IMDMRiMM70LCMdiQNEgDz1ZJCfhYeawk6IDbnACsyNR6IgmOxdJAeIJSGJpPJlOpBBxVx8XCZLIOkkokiAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAA0QBfU9TXfIRQBGclVqMWbTjz7Y8BImWHj6zVog4BJbrxAZ5goqJXU1Uzex1dxMKAHN4RUADMAThAC2SAEzUcEEhkEupsbgD6wOxcuq4e3ogAzP6BiKIhFiARUTHUDHQARjAMAAr8CkJZWPYAFjixIO5eQSlI6eYaIAA6XTA4dJHRABQuAJQNTQl+IAFIyRmd7C4geYXFZYaKmm7VdRPxLTOp8wxYYJ1QEEwFDKzUNTB0UEhgTAwM-nRYDGyQ5ysLNg9ABefQGwBcMRsXCAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgW3pwAs4AYwBOwAIIBfEJNLpMufIRTlSxanSat2XXgOFipzHAAoAGgEoZckBmx4CRAExqNDFm0ScefQaImSxiYAmlay8vZKzhRuWp4gMhowUADm8ESgAGYiENxIqiA4EEhkmh46HDA49AD6wGbSNIz0AEYwjAAKCg7KICJYKfw41lk5eYgFRUguZdpeXFW1wMHS4SDZuSU0U4gz7nMgKXUAVI0gzW2d3VFe-YPDaxvjpTsAzE1YYPFQEMwtjGwaPwYPQoEgwMxGIxtvQsIx2JAviAaPt4rpmHUUqtKJIgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBoBGAXVJADcBDAGwFcYkQANEAX1PU1z5CKAEwVqdJq3Zde-bHgJEyAZgkMWbRJwCSPPiAwKhRMWpobp2jnrmGBi4cnKkR6qVpD75gpShcALO6a7N72xn7IKq7BViAAvGFGvk4B4hYeMkkOJigAbOmSIdbZEamk5kVxNqUpRAWVlp41dsmORACspMSxnrXtKF1uGcVe3BIwUADm8ESgAGYAThAAtkhiIDgQSGRVnosA+sAc3GFLq0jRm9uILnvsh8enNIz0AEYwjAAKOX4gi1gpgALHBnZZrRC7LZIO5NdgAHXhMBw9COJwAFPMAJRgi6IDbQxBXOHWeYgF7vT4-MrsRgweagmgfMBQS7EOznCFQm5XRhYMCeKAQZhvOnkkBAmD0VmIMDMRiMGgorCMdiQAXikkgREAL2RqOA81OHPB6yVPKZMBZSAAtCpdlqOPMAOTi14fb6-YT-QEg3EQtLXJBdEB8jXaIUisU0SXSpByhVK+gqtUENgjaqIphoIH0f1IADs5qQAA5LdaiQ7MtpEfq0dxMTiTXiAJzFxAF5sQ8jc0tdpBtoO3KujJ2uike6l1bQA4Gg-sd9tlkDMmV2kdxWso+uY504idUr0PX3zgycmF3QnkDZhwXC0XpiVSmUJxWbZOq7Tqx9arcGjFZowOb0E2Z6mouQ49i8-J3lGj6xi+8pvsqn7gGmmrVtq8J6tuhrOs8oaUp6NIziePCUNwQA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgW3pwAs4AYwBOwAIIBfEJNLpMufIRTlSxanSat2XXgOFipzHAAoAGgEoZckBmx4CRAExqNDFm0ScefQaImSxiYAmlay8vZKzhRuWp4g1hGKjihkTrEe7Im2Cg7KyADMrjTu2l4AvNl2yfkArDElcTo++v5SVblRKAAsxZqZXrq+BgFBlh2RKcgAbH2l8UOthoGmoRM1RLNUjQMJkhowUADm8ESgAGYiENxIqiA4EEhk-WXeMDj0APrAZtI0jPQAEYwRgABU6KRAIiwR34OGyl2utxoDyQLheCw47y+wGC0nCIERN0Qz1RiHR83YRwA5N8AFR-EAA4FgiHKJkwc7wmjAsBQJAFcgEolPFGPRBFJlYMDxKAQZiAxhsGj8GD0fmIMDMRiMFH0LCMdiQGUgHavXTMb40-E2EUksVonkwPlIAC0grN8SO9MZzJB4Mm7OhsPhwquxN693Fd0Y0tl8sVypAqvVSC1Or1BqNBCTlMGHGBHx9CPDSFmUaQAHZPc1sd9fqamUD-Wz2MG4SWkYhy2SABw1-N13E2i6lxDViuIfsYqnF-7N1mBtswjthrsTskATn+cfYcoVSsbKY16d1931hq8xtzTXz3EtwCO+MokiAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgW3pwAs4AYwBOwAIIBfEJNLpMufIRQAmUiup0mrdl14DhYqcxwAKAFoBKGXJAZseAkTIBmTQxZtEnHn0GiJSRNTAE1rWXkHJSJydXdtLx99fyMgswANcNt7RScUF1JieM92AF4bSNzlZABWCmKdbz0-Q0CKuwVHaoAWOJoPRqSWgOMMrMquogA2Pq0Spt8DEbSLcY6ovNrSN36E3UWUwOCw9pzJlDqNXfmQU87olBmi68G7jeqyK7nXiPWq50KDUSMk0MCgAHN4ERQAAzEQQbhINQgHAQJBkb6JcEAfWAACppDRGPQAEYwRgABXueRAIiw4P4OHacIRSFiKLRiAxA0SXBgOHouPM0l+LMRiDqHKQM0x+35guA6UJIGJZMp1OUtPpjOZ8PFktRSAA7C9eRx5UKRbYxdKaIbEAAOU3sGG4gkgImk8lU97sOkMpmivVIJ1SxAm2XeHH45Wq70av3awPW4MSu2c0M8uUC3EhK2w1My+0ATiJWDAiSgEGYJMYbBo-Bg9CgSDAzEYjDt9CwjHYkArHsjSWYuJh+ZANsd6fR7MY5cr1dr9ZAjebrfbnZR3d73n7y6zC24I+A4PHk4KYe5e28pnBMMsbrPqeR9uIGLnA+8VZrdcHq5biBth2XY9n2BD7tePgiPwECjqQp66qyiAXvayIHhOj6DnG6q+t4-o6kGSHsvaF7oXyOaKrGXo4f8eFJoh4ooZyxDIh+C4-su-7rsBW6gbu4GDmRPDHneVFqj6tFagGIKSEAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgW3pwAs4AYwBOwAIIBfZjgAUAdQCUISaXSZc+QigBMpHdTpNW7LrwHCxUmbIBay1eux4CRMgGZDDFm0ScefIKiEtJyAJoOaiAYzlpE5Ppexr7+5kFWobIAGpFOmq4o7qTEST7sALwqUTH52sgArBSlJn5mgZYhNkpVeS51ACyJNN4tqe3B1nI5PdEafUQAbENGZa0BFhOZ9jM18yiNnsPJpuvpneG5s7EFJMsjKTtzcShkJUerII-XA8XND45XWpERoGd6jFSGGBQADm8CIoAAZiIINwkHoQDgIEgyCtRtCAPrAABUkhANEY9AARjBGAAFJ4FEAiLDQ-g4GZIlHYmiYpAJXEpfiEklkkAU6l0hnaJkstkc5GoxBLDFYxCNAXsWT8aEIxTC0nkqk0+nfdiMGAI9kAzmKgDsPNV6vu7CFxINYqNktNfmZrKtURtSGVvMQAA4wSkEfrReLjVL2L65daFUhwyqkPaNX4CW6Y56TUCfbL-YiU2GHUgncc-FroXrc8muYgiunEDjnTWdfWRY3FeiQwBOclYMApKAQZiU82i-gwehQJBgZiMRg8+hYRjsSCj0Ud-wifgQQkI0jQ0m9pAtkPovdR3OGiUFvYyv3yptX1X8ve13XRh9x70xQtEsQEDNsKzbflGBHMcJynNgaFnedF2XVcMXXTc-G3BCs33Q9CR1Uh+HPAMyzTENiBxaCdz8cdJ2nRC5wXRAlxXNcNy3AgcL3LgDyPYAT21d1Yy9QsXyTUim0zCj0Wo2D6JwpDmNYtCcAwzidwjE4+IIojhPzeMi1fSRKEkIA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAAoANATQEoBJEAF9S6TLnyEUARnJVajFmy59BIsdjwEiZafPrNWiEJ3bd+vYaJAZNkorL3UDS46fOX1N8VqklSAEz6ikYm3FYaEtoygcGGbDwR3nbRyADMpE4K8cYAvEm2UX4ALHLOIco8AgU+9igArGXZrhxVataFvkSlQeU5YTUpfo29zaGJQvIwUADm8ESgAGYAThAAtkhkIDgQSLJjlXyLSSvrm9Q7SAF9LQA6twDGBDMg1Ax0AEYwDAAKtdEgZZYGYACxwJ1WG0Q+0uiAyB2M9yeYBeXlOUOu212iFKCJMywA+sBuEJXiB3l9fv8pIDgWCIWc4RdsY08ZxCcTSWjIUhcbDWS5xvcYDg6ESSexFpY3p9vn8hmwgaDwdzGZjYfDBQkzFKGVCtrDcV8wFAkABaYoAThuoQ5PFJMsp8qKirpKus6L2zKQrONppx1rxdpJeqQ8MNbywYFCUAgTA+DFY1BBMDo-rATAYDAudCwDDYkGjZK1bnuAC8RWLgIsuR6eYgAOzexAADhth14x1VUKbWKQgZLgKJ9rJFLl1NdytDreb0i2g+DtaW9cDsLn7dLt0r4qEkul5NlVIVxiV9O7SDbfcQgYYUZjcYTSZAKbTSAzWZzeYLBCfg-L2+rLkKCEIA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAA0QBfU9TXfIRQBGclVqMWbTjz7Y8BIgCYx1es1aIO3XiAzzBRAMyqJG6TrkDFKACyn1UrTN37rQ5KOHjHmkN3EYKABzeCJQADMAJwgAWyQyEBwIJFEzJxAIy0yY+MQ05KQVdL8AHVKYHDoAfWB2LgAKAAsASmzouKLqQsQTErYIgD1gcoAjJgYGSq523KQ+nvt+rSzZHM7ERJ6+0ZgwKCQAWlsATjVJMoqq2vrmtuoGOl2GAAV+BSEQKKxgppxZjYAVm6KUQxQYWDAfigECYoymIGoTRgdAOiDAEwY3ToWAYbEgUMRyxA5ViTFqERmXAoXCAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAAo52APASgB1+EPAFt4AAi4BPXgKGiJXAF68QAX1LpMufIRQAmclVqMWbLtxmDhWMXEnsV6zSAzY8BIgGYj1es1ZEEAspJw0td10iMgBGY38zIIs5GztxTnYreVtFR1lnCJ1PA1I4v1NA4J4UhXtpMJc3Ir1kHzKTAPMeUNU1YxgoAHN4IlAAMwAnCBEkMhAcCCQY8s6ggGMAfWBuUik1a1rxLCgt5V41ApBJ6aXqBaRDDsSQTe2pUiUL8KupmcRH+6IACsK2eYy2O3en0u1z+Pnmi0QABZQZVjqdqvtsmlXlCLtQGHQAEYwBgABW0Hj0IAmWEGAAscDDfkgUQikCCnpVXpDoQTiaSKZFijS6YzmTdEHNAfCEpVBIw0PS6Bi+KRpLx1Xl8SBCSTyZSokFaQymd9YQ87oj4QwsGBKlAIEwiQxWNR6TA6FAkGAmAwGHc6FgGGxIPaQKi2IJ6BMlVgIbsPl8KGogA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRDgAoAPATwC8cAShABfUuky58hFGQCMVWoxZtOvAcLETseAkTmkATIvrNWidt35DR4kBh3Sih0guqmVFtdc12HUvRQXSndlc0t1Gy17SV0ZEiMTMLZRRRgoAHN4IlAAMwAnCABbJDIQHAgkABZQszZcgH1gXlI+UhwRWzzCksQa8srEAGZazxBG5tIeVo6u8Z7S6gqkAyU6iwmuKdaRAB1diDwi+AACLCgm2eoGOgAjGAYABVinC3ysDIALHDmC4pWloMXGsxpspm0riAbvcni9AiB3l8ftE-r1gcthqNwucmlw9gcjqcJtMIZ1rncHs9HPDEd9fgs+oCkABWa5YMDhKAQJi3BisaifGB0KBIMBMBgMJZ0LAMNiQDkgLFsfY4QU4Oi47ak1IiIA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAPACi4E8uAXjgCUwgO7CQAX1LpMufIRQA2CtTpNW7bv0EiJkmXOx4CRYuVLF1DFm0QguHXsJ5Dxh2SAwnFRAOykAEw2mvaOTi56omLSXj4KZigALMGhduxOfNHiccaJSsiqAKzpWg48zsICrjgSed7ypoWppTS25Y46NbX1Ro2+SSSkyWXh3Hw1XHWiDQnNRJbW7WHaPJPC+p75CygAnCNjmVWC0wZzTX4oxaQAzEcOOqczs-3zV0WHKxkVlS41+gugxaXw0Pwi3VEgLelyGtzuDy6PF4AJiQIKRHho2+nXRu2QgWxYNxMOBRAOy2J4TxH1UlI61NJGJQAA5QQz2DShkE0jjGfFYYU2SE+ZypOoYFAAObwIigABmACcIABbJCWEA4CBIYj9JWqpA8zXaxC6rz6tWIeHGw165WW61apDJO0GxCpG2Iciuy03T3KH1IVSe-yBxBsz3e832pARp2IUPRt1++N7MOBT0WMMHTNRhUxxBG1Nh4hkT3FEtFk0BpOW0s0ePEIIlsvx24lx0ml21nWd2OVhsm4jtnumwc6vMgC1IPumjWMLBgcJQCDMABGjDYNAAFjB6FAkGBmIxGA36FhGOxIEuGtPEMHGx6FzeHCv15uQDu9wfEEeT2eLyvAg2DDFMhz9Z9l1XDctxAXd90PY9T01c9Lwca8QNHYgHyHDNIPYN8YM-ODv0Q-8UMA9DgNvAtiDjIcy3w19oI-L8EN-JCALQ8BqPTcdTRzJiQEI1iSPYv9kJwVCgJvMN6OdGghJE2D4J-CSuJkzD82Tfim0UxcoPfFTSI48ipMonjZNHHN4yCecDIIljjPEziKO4jDpEoKQgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQACACQD1gwA1MQC+ACgDipADpS0WAPrARomQFt6OABYAjbcACCwgJRGQw0uky58hFACYK1Ok1btufMGMlqNOvYdNzS2w8AiIAZkcaBhY2RE5efi9pWQVgcjEfLV0DY0CLEAwQmyIAFijnWLdEwTtkmTlFZSy-XJMzAqLrMJRyCpjXeJkAYygIHAQgwqtQ22QAVn6XOJARsYmO4O65smInAZXkGS0YHHpKTeninuQHPejl9mQAMxSTs4uprtmI0nvKwYgF6fTozEq9P77R7xMAcAC8HHCZicMCgAHN4ERQM8AE4QVRIPogHAQJAiAq4-FkmgkpB1Cl4gmIBzE0mIcJTSlM8qswmcxlISK8xDzflUxAANhpbIA7DT6FhGOx1Gg4LSxUy5cKABzyxXK+iq9WUYRAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBoAmAXVJADcBDAGwFcYkQAKAHS4Ft6cACzgBjAE7AAogF8A+sAAepAJ7SeAdxhQA5jAAEPfkNESZ8hQHIV0gJQatuvdz4Dh4qXMUqLarpp36hq4mHuZWyj42INKk6Ji4+IQoZACM1HRMrOxBxu5mipbW9gEGLrmmngqFEdLRsSAY2HgERCmkxOkMLGyIIDluFebVNXVxTYlE5BSdmT2c-SH5SqrFjgt5ld62q-rORgOhihbKpL7+a2UHS+GRow3xzUnIU2k0XVm964NeyjU7pftFpVwiNpOkHPAiKAAGZiCC8JBkEA4CBIADMMRhcIRiCRKKQKUxIFh8IJNHxiHIRJJOLR5NRiAALNTsUhGfSkFT6jSyciGXSQIwsGA5lAIMwAEaMNg0QQwehQJBgZiMRjk+hYRjsSAikBvWbZLgiQRYcykSwAbhOoMo0iAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZAJgBpiBdUkANwEMAbAVxiRAEEQBfU9TXfIRQBGUsKq1GLNgCEA+sGFduvEBmx4CRAMxiJ9Zq0Qh5wYsp58NgoqO36pRkwu0XV6gVpS771A9ONTABY3K08hElIABgdDNgBhBSUVMM0IsiDYgJBEs1C1fjSiIPIsp1yAVnyPIpQo0r9HBIUANmrCmzrSTMa44wARF3brL2QSnsk+kEHgEJSCkYiSmN7smfN5ms7kepXJtaTh8KIycVWnAApdYgBKTY7Rsl99y+u7ywXjlAqGl7YAXnuiyILWiZTYg2EQK+yFBlHOzRa0NqsO64IGcm0yO2AA4wQjjIkoR8tqNhLt0dM5MRsaM8fC-sYAKK0iLk37+cpyCqs2z1CaciFyIK8lB4gVNQnU0XIADsHMlIAuT3e7geEQAnAqpsrSNp3hIYFAAObwIigABmACcIABbJD1EA4CBIcyqa12h3UZ1IELum32xCOn2IVz+z1B70uxBKcOBshO6Oyj4ewMlRNIZNxpC6DOINrZxDpkMFy0BnNRpA4lPlmOVxDVwt4vMamsR0EttuBjsh8ldzP1vuF0R5qqFhMhsdliM-PPCEcMOgAIxgDAACuq2FasMaABY4eapgdz2PTwOz3tus9VwdXkBHmPyuel++14Ra5-9mMfkPEKJf4Qe2jYhT1fCNhGbX9QIfYhcygr8-3rECEInYD-3HVDXTDa9EGIYtgOwsD43wpAIIAp9e2rCguCAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBoBGAXVJADcBDAGwFcYkQANEAX1PU1z5CKchWp0mrdl179seAkQBMYmgxZtEnHnxAZ5QomSXj1UrRwCSOuYMUjSJtZM2drsvQIXDkKpxI1pd119Ox9RAGZTF3YbTwN7ZFFiaMCtONDvIgAWVQDzbQ9MwxQAVjyzVxkQrxLkADYKmIsM2sTc-0qg1oSfcs7mtx6wokaBtKGitr7SKOcJ4ayy0hT5gp5xGCgAc3giUAAzACcIAFskCJocCCQyfNcjgH1gDm4447OLq5vEXPvpAAWIBojHoACMYIwAArTdiMGAHHDvE7nX7fJDlf4WAEAPWAAB18WDmIx4Tg3iDwZCYb04QikR4PqjMdckCosSAni8KSBQRDobCtEcsNsAQzdEykH9WYhRByua9kZ9EHcZXKulpCTAcPRnq8ABQAgCUwN5VIFtK08MRStRcpl7I1IC1Or13ENeMJxNJ2u4Jsp-JpIyt9Ntt3RaN5WDArigEGYYPhpoBMHoUCQYBJjCu9CwjHYkBjpqdhIAXtrdcAAW9GSikPafpjGNHY-HE2waCm0xmszm8wWCB2OWWK89cQSiVnfTWJXXEJcQDLMRCwOnEABabIATjWVSwUGelh5fOpgs5IrFYZVEfZK7X2937H3bqv0p+jSjRa0cYTSc7qbXTNST7fMtELIcnQ4QkAGM4xwQkGCOGA0GwRhFFrZUGyQAB2EEW3YH922TACe2Axdc1A8BByvcgsMQAAOR8hRfDDUUYxcfh3Yd8VHbkPQnb0yT9Gj2RlLinQVGdDjnLi1TuEseNdPjjRo1UfnIBcJJY2dMNE9TNMGDggVY+s6I0mg7yQTdxMM59gCPU0TwtYNz1FcVpMwszHUM8cvSnckaLfet2WbL8QEIv8QC7QDe3I-swOopjOBdegr3YuSLJgVcpRsiY7MVEzZRZTi8LCiKh2i0jsziyjwLSiNyG8iYRyU3zJx9clj3NIMll5UNStbX8KpIxAgOqnV4qootCtk-SBoIttIsq0bYom2rEu48tWq6wMz2tBlKG4IA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAE0AKADW4HIAlCAC+pdJlz5CKMgEYqtRizad23AfxFiQGbHgJEyAJgX1mrRCFXrNo8XqlEjpE9TPLLPdhr5b7kgxQAZhdTJQsQbmtBPx0JfWlkAFZQt3C2KP5vWN0AxIB2Unk08wyePmy7OIdA5ELKEo8rXkF2HPjHFAAWVMVSy3aaxJ6gsP6QQbyiWSKxpsmEokLXPqbMiqEq3MWUFOLViJEFGCgAc3giUAAzACcIAFskMhAcCCQZg7YAHS+AYwJTiBqAw6AAjGAMAAKHUCIBuWFOAAscLFbg93tRXkhnJ9LD8YDg6AB9YBqYScRE+IEgEHgqEw6RwhHI1F3R6IHFYxAhXEgU6aYFgiHQoZseFIlFVNHsnlcnq8n7-MCAqVspDyrkpXncK6+VXoxAANkxb0QhQVfwBrINHy5PPcESutm00vVJqQWvBYCgSAAtIbng6MqdfIK6SKppZxSz9eyABzuxAATmBWDAESgECYoIYrGoiJgdB9iDATAYDExdCwDDYkHT1KDlm4P0YaERdD1LrViFkzy5OIYaYzWZzeZABaLSFL5cr1drBDHjZALYYbboAAJuNb2VqubIPkv8YSSVlyZTqbThQyxczJV2bbbTcbtUficBTxSAHrAH6gsu5nBhCEMMr1FKNb23D1E2fJcsCgE9ym8YRIJ7R93gHIc2EzbNc2pCdi2nCsXirGtLDrRd0ibH4AGs6DQNA3w-c9hAoYQgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAB12BbOnACzgBjAE7AAogF8A+sAAepAJ4TOAdxhQA5jAAEnHvyGjJM2QHJFEkBNLpMufIRRkAjFVqMWbPbwEjx0uXMlVXUtXW4fQ38TCysbEAxsPAIiZ3I3emZWRA4Igz9jOTNY61skh1TSV2pMzxzvfKMA2WKlOLL7FJQAZnSaj2zc-V8mmOD2NU0dBpHouUVTS1KEu2THZF7q9yyvPNnC+QVFkKnw4aiDkvjEzvWAFj7tuqHIgubFI6Xr1YqUB63aoMZhd3gpPlY3KF4ERQAAzYQQLhIMggHAQJDOZbwxHI6hopAAJixCKRiAJePRiF6T0GWCg7RA2NJaVRlO6xJxiBZ+LJ1AYWDAgygECYACMGKxqHwYHR6YgwEwGAw8XQsAw2JBBSB+jt6twmDEzABuNoc0kPVlIACsZqQFp5ADZbYgHRSkAB2HXPOkMpnWt2Id3Oq0B10gflanLCsUS7UgaWypAKpUqtUagiSmm7LgGuQmhZLCgSIA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgW3pwAs4AYwBOwAKIBfAPrAAHqQCekrgHcYUAOYwABF14DhYqbLkByJZJCTS6TLnyEUAJgrU6TVu319BoiTLy5pbWtiAY2HgERGTE7gwsbIicPL5GAaYWymoa2nqphv4m8iE2dpGORK5xNAleyT6FxoFywcqh5Q7RKGTO8Z5JKQZ+zaaWOVq6jSMZ8llWZeH2UU7Irn21A94FM8Wt8x1LFd0kpADM-Ynbw+l78xN507ctpWERXauuF5tXDTvPpjaCzey0qKHIpBqHl+IEO7xWRAhG2h9Vhi3hYOQABY3D9UU8ii9shx1JN8jdCWNFGZgZ0ESgAKy4lGDAmjEqKam0o4fIg4qF1Vn-SkcmkPKbC9kKdro0EnJkCrZ-ClSpRcuFy1Y45GC65pEXSlQk3ISlWzaU0jXHLXnS74yXmpRi41ktmOmUg61EJk6pVDfWqzmW2Vexm2vFCs17NXBz28lBnSF2wZW+PIRO+mHWdwmhAoUAAMxEEG4SAhIBwECQzkWRZL1ZolaQWNrxdLiHLTcQxFb9cQrgrVcQZ177Zxg6QDNHSDIE+HEfYWCghzr7cTc6ZLMXy+nHcbQ-HACMYGBl4gALQANnIu4HXcvNGPp6QV5vYVXzf3SEvu4fc4A7Lum5dv+C7JEuK5tkgAAcX79jQjBYGAgxQBAzCHowbA0PwMD0GeYDMIwjCNvQWCMOwkDISAYEpJo9DcLwYzmAA3B6hZQYgACccHjohVHJKh6GYdRIA4XhSAEURJFkRRBBYVufx0Qx9CZKQcisdyH7wXOs58ShaEYfJYn4YRxEVqR5HJJR8m6sqzBMWYGmQX245duuensIJhkicZEmmdJlngHJIm2UM9lzGpTm-nBm4eQJBnCdhuEmVJ5kyVZwU0fo4UKCxbEgFpxCdkOxA1u+HGlXBxAtuVfbVVVU61e2RVVT2TUzrOXbEOuoUQbu3VVX+vU7u13Z-l1oEKSAfWjZVOkjrNrklT+s3ASVgGzcVM5HieZ6vv1d4lZuT57de-WwTpA5xSAXmJaJyV+alOAWbJVFZRwSmMfIrFOppFXcTpvFIfpQlGQ9iCSWZz3pUFb1TVwn0qd91L5YVh0dQhwOeQlYPiRD-lpYF1khX62WmD96r9UtM7uVj8Wgz54OQwFr02aTPA5axBz9WtM5-tdt24ylUMvRlcOhWTyO-dmkhAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBpiBdUkANwEMAbAVxiRAAoAdTgWzpwAWcAMYAnYAFEAvgH1gdUgA8p3AO4woAcxjc+gkeOlyARkqkBKNRu0ACXfyFjJs4MLMgppdJlz5CKACZyKlpGFjZ7fScjVzMrLRguXgcDZzkFZXjbSMdDF1Nlcw8vEAxsPAIiMgCQ+mZWRA4c1JiClU51BLtkqLz0s0sO6xhuvVy02OVi73K-IiCa6jrwxubolzdMoa6ksZb8uO3snvGYjItp0p8K-2QABlIAZlqwhpA1vvljTalLst9KigHncXvUIid9ulvu5PDMAbdHqQQUtXuC9usoT8-tc5ihEc8UWDVhCMV8sVIQsMEChQAAzUQQHhIB4gHAQJBBUJE96cHB0JhZEZYKAgagMOjGGAMAAKOMBIAYMFpOEu9MZSDIrPZiERXJWIGFgu6fKYooVEqlstm8tEWE0AhVsJAaqZiBZbI1hP13BNqoZrs5Hp1XrePv5ZvFkplcv8IFt9sdJRdHOoQYALE7k8GtUgAOyZ-2enOIABsBfVbtT2oArOXXdWq0gy0nC4hc43S3WkGmO7WWxWe8X8-3Xbr02KsGA3lAIExjIqzQIYHQRYgwEwGAxU3QsAw2JAp2blqHeEwoaRhABuKZd7NBksTw+NGdzhfUJcrpDrzfb3f7gisCGaJnvIpDGNevxiha0bWrG8YOn6FaBjWj7TrO86ASAH6rt+W6sjue6NAemHHsB-TgTeI5FkGDYKpOaGvph2FfhueF8n+REAUeqLEjwIESheEERtBVrwmw8GOhQUhAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBpiBdUkANwEMAbAVxiRAAoAdTgWzpwAWcAMYAnYAFEAvgH1gAD1IBPKdwDuMKAHMY3PoJHjpcxUoDkUgJTrNOgAR7+QsZNkLlZiyCml0mXPiEKABM5FS0jCxsjgYuxu7mFjbaMFy8ToauJsqqnBopDumxRm6mFpbeviAY2HgERGTB4fTMrIgcMc4l2ea5+fadmfGmVskDRV1ZCZ5SlX61gUShTdQtUe2DcaUeSXm2MHZp+pPDHn37hcdD2yoVPvMB9SgADKQAzM2RbSCb3QnmiVm92q-jqQWQr2en1a0Qm1x6AJmcxBCyeyDepChqy+sKuWwRZkByJqj3BGI+2JhGzh+P+hKRUnC+wQKFAADNRBAeEhXiAcBAkKEIlSfpwcHQmGMDlgoCBqAw6AAjGAMAAKoMW7QYMDZOGRHK5SDIfIFiAxwvWIBlUsK4qYcpACuVao1TxAoiwWgEeuBBu5iF5-KNlMt3Dt+s5-qFQbNIe+YYlDqdKvVqKC7s93ojhsQ0dNABZfZGkOaYwB2Is540xgBslf9gdNAFZ60gm9Ra3G2DLs-6yx3TTWu+0e-KlSnXemPV6fVU-Uh8wO28OrbLW4hFyakP2Ld9R47xy602xp1n16WC-KsGBvlAIExFdqHQIYHRZYgwEwGAwO3QsAw2EgG8HTWeNeCYEwAG4lHMHYgTnYtYy3RAh0da9b3vR9WGoF83yQT9v1-f9AIIbDd1xCCFGgs4k0PVNSRPTNZ3ZRC82XNDgPaO8HyfHDX3fAifz5P8APaICyNAiioKUGj12rZsr04kBuKw59+Pwr8hPFYixNIkCcWpHhKPkaDYKJMdnXosFGJnbwKCkIA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAJAPQGYAKANJ8AOsLRYA+uWCiAtvRwALAEbLgAUQC+m0sQCUpUeInE5CxXADGAJ2ABBTXpA70mXPkIoATBWp0mrOzcXoIiYpLSZkqqGtq6BlEWNvaOzqSu2HgERDy+NAwsbIicXCFCRhEywvLRalo6+obhUolWtg5OLiAYmR5EZMR+BYHF3AAsoRVSVTUqdXFeCc2m1eZtKZ3p3W5ZniSkXkMBRSUArJPNkau1sTo8S8Yrs+sdaRnu2d66R4VBvBfGK6zGL1A5LZ7JV5dHofPY+Q75Y5-CblS4zcwguL3JoQ9qpaE7PooXKDRG-Ub-VGA9E3UGLJqA1qQ-FbGG7HIHH4jEoosLUxKYu4PCJMvGbd7slDkPL+ckgUSWKAQHAIAm9T7IaWk2XchVKlVvbbqvbShE6k565Wq1mEjVjGXDC3CRVWw1sonIe3ax3sS0GtWwoj2s0+4p+60Sj1kHhck7BCTAOA4TR8kXXOaxBmSJ5rZnio2B4mkGNk7ncYgJpMpqbkAXzLMtdMvFmRjU+Evm33O-WqvwwKAAc3gRFAADNrBBZEgAJw0HAQJDkLrjydIYjSkDzpA8ZcTqeIYhkTcLxBjXerxA+Y9rrzn-cAdjnJ+IO62K-3AA4n2uz2+90h7WvRBXzHf9gO-RAlz-C9Tgg4g7yQR8gNvaD9wANgg04EMQL8gKQ0N5WdAgBxAGhGHoZQYEYAAFW1PBAawsAHRQcENd811goDAIIhViLYsDiAwoDcJ4oiwBIsiKKo2jjXYRjmNY7DiE4rcD3vJSkNUwTsI3LSlIglDQIvXIgKw1CkBUk91PM08ILQ7ChNUj9NEoTQgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAA8QBfU9TXfIRQBGclVqMWbdgGoAnt14gM2PASIAmMdXrNWiEAq7iYUAObwioAGYAnCAFskZEDghJRIABYw6UNpBgrDw29k6Inm5IWt6+-gaBwRRcQA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRDgAoAPAShAF9S6TLnyEUARnJVajFm05cA1AE8eAAiXqAxt1JqBQkBmx4CRAEzTq9Zq0TsOBwcNNiiZCzNvyHnAF58LsYiZuLIVl42cvaOOEFGJqLmKGQS3jEK3EqBmjp6gYauyeFW6dF2WSpK8Xm6KqTxRSFuKchSUbKVfhz+NRpauv6NCcVhRFLlXb4gADqzAEZMDAwwOAIyMFAA5vBEoABmAE4QALZIZCA4EEhSIAAWMHRQbJBgrMHHZ7fU10hWDyeLwcbw+Ri+50QAFZfjdEAAOaiPZ6vAhgw4nSGIq5wgBsSKBqPezQhSAAzLCkAB2AkokFokmY6mUxAAFlpwPADM+TMQlz+0I5RPRIFJiDuAuxyM5oMZ30QAIF+MBdK5xJ58phOPJQvp6vBvOxAppKpl3IN8uVAvZpuFG34QA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRDgAoAPAShAF9S6TLnyEUARnJVajFm05cA1AE8eAAiXqAxt1JqBQkBmx4CRAEzTq9Zq0TsOBwcNNiiZCzNvyHnAF58LsYiZuLIVl42cvaOOEFGJqLmKGQS3jEK3EqBmjp6gYauyeFW6dF2WSpK8Xm6KqTxRSFuKchSUbKVfhz+NRpauv6NCcVhRFLlXb6OytV98UoAOks4ABYwOHTqKwBGMADmWGDAaAC2dDgATlhc-OpcAGQqKyv+jzgrMGBQpxfXt34AhkMCgB3gRFAADMrhAzkgyCAcBAkFIQBs6FA2JAwKxgjC4ajqMikFZ0TBMdiCHijAT4YgAKzElGIAAc1AxWIcOJp0Nh9PZSJZADYORSueBqc06UgAMzMpAAdjFlO5Uvx-KVCsQABYVRKedLNYhESTGfqqbijYTEGizYLOZbeSAZYgyWbReTVZKrRqbUyhXKLWrfbTjYKzcqvQb1WGbZ6zXro07gfwgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAAp252APASgDU3AJ59BXdgC9B3HGPES6M9gCMxAiQGNlUeSAC+pdJlz5CKAIzkqtRizadu-Ie1HjuSl2vWOpyue7s2i66YgZGIBjYeAREVgBMNvTMrIgcEs4ePiLK3grc0i7agXIheobG0WZxpAAsSXap6U7KSoGF3MX5rrnZ7KXcoXzhlaaxKGSJ1Mn2ab6ZfoGiLgHdnp19amVhFZEmMeYkdQ0pDhnK0oHrQfIaEsuymzrlNjBQAObwRKAAZgBOEAAtkgyCAcBAkFZbKc0po6CMQP8gZDqOCkPFpo02HCBHCEUjgYgMWCIYgAMyYmEgPG7Akg1Gk2qU2bUui4+HUBh0FQwBgABX21TSfyw7wAFjh8QDCUySUgAKzMpp4znc3kCqrjEAi8WS2nShUMpAU6EsnEqkBcnn8wVanUSgwUfRAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZAFgBpiBdUkANwEMAbAVxiRAB12BbOnACwDGjYAFEAvgH1gdAEYDSADwCeYkGNLpMufIRQBWclVqMWbTj35CGoydLmKxnAO4woAcxgACc70HDxUrLyKmoaIBjYeAREZADMRvTMrIgc3L5WNoGKKs6uHt5plv629sqq6pqROjGkegkmyakWftYBdtmO7C7uXj5FrbbyZaGV2tEoAGykAEz1SWwAFH0tmdIOuT0FzRltpWIAlBv5S4UrbXSkOV15vac7JcEHI+FaUbokM3OmKSfbxVkKTrdfLLe5ZFSHa6bX7pf7APZHW5-AZSewQ54RMbvKYTL6NGH9VaydZQkF3OFDA6IzwEs62YlXYFI2Eo4CPfYY17VFBkXHURLfEC0sHtQHU0FwhlU0leYUUhwFJlbFmrdmcqrjZAADlIWrxizlrIuYplysJuwckKVEtZlKtNxpNqJlzEiodTotEPF5NtLo5FReGveAAZdfqfobnSbrT7VjJLdTI+cXd7kXG-fboR7BiSY2m2mqA5i3kQdcHw0LswCgQ6kyVc+7YwXLZnjlW1oza+3453Nu32f6wsXuchQ+X+Q1Fu3jTW+036X7E3XUQ25-mc4DW7LuynTf2M+qsURQ3UJ-MI9PV2T1+DpUrl-Cr8zzfWIVvHfOpJTUyrm+ii1ymqhvEZ6Cg+M4-i+t7vgsD7xtGjY3o+Xqmg+357p+bIHgBQZENMpAgcY55NL+C5lImO7kRhSFDP+Q6Ae8+GnkRYGXlReakSuZTvvuww4UeKAAOwERWh4ligsSkHyLGNGJI6SbMoGyfx4nIAAjIYSlmOwAhYAATgIDAwHQel6RAThGQAZjgcmagYgkVpwukGUZJlmRZMDWbZ7wGGpjk6fphnGaZ5lWTZYhGDcCAoKAllmVwSD4SAOAQEgwYBnFEAJYgGnJaliDpWEmXZZJeVpRl8VIGQZU5RVWVVdQKVIHodXZcJNWxK1SBTDVgldYgPVNbVRWVYgBg1dM-U6jVACcU2NflEz9TNC1IH1I31TloY1cQ-VqdtQ1qWpe25UNLUbdlalJYdnUXUgK01VdJ2rTlt2xaNV0vWp53vZtamlYdu13Tl42A-Nj2Fb9l3VUNk3A99L1vSAxXdV9PUMFgYCNFAEBMDIRkgNQfDGVASBgEwDAMI1dBYAwbCQFjhMydp9B6WgfBYFk8YCGIAB6wAIXOrPs5zazc3zwAhNQDCyDADAAAoMWwelYG4fDhfDL3tRjjMpDjeME0TJNkxTVPJTTdMpAzrBaSknAwDgdCBNzigus8KM5S94069juP4zbIDE3QpOIOTlPU7T9MEAHAqNPbjtc0MbvS7LCtKykKtqxrUNIGp7WHUlPtsPr-tM0HIdh2bjuR1b0dM7H2kO07YuuyEe3TTd0uY77BsB+XJvh+bNfgHXtupE3K5J1LIAyzIcuK7hGeq+r7ujQD+VqdVRd637huB8boemxHlsj4zY+cMLHNc6QPP83xFBiEAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBoBGAXVJADcBDAGwFcYkQAKDgDQH1gAHqQCeAXwDUvcgAI+ggOQjRASknke-AfMVi1szdp0rVvAEzSucocPkSp+hSNsn1V7U7sy37m8ZCjSdExcfEIUclJiajomVnZLTSU9NyUTUw1BD2SDD2UXCwytI2yFHxVJdO8s+28dZ2V-QJAMbDwCIlMKaIYWNkROQqSzB2tnNULi4ZTfPL0E0qHzKpnx2sWRw1yGgKDW0I7SAFZu2L6Bq3WLlakJyaWDOuM5icuc69cHu42fesbdkPaKDIxxoPTi-Xm1k831Sqze0LWYlmw0h1S8D1ycMcvhKRUeeT+zWCbTCyAiADYTr14oNdDUMUiKhYrrZcT8nvZIZN0aUjGkXjj6bytv5ojAoABzeBEUAAMwAThAALZIMggHAQJARGLU-oAY3o-HIplEhIVyq1NA1SE6OvBIANRpNakdwGNpp2IHNKsQtutiAAzKDTuxXeQPU1vaqrZrEAAWYO6h2G8gVR3kEA0Rj0ABGMEYAAVift+vKsBKABY4M2Kn0J9Wxw6J+1hk2ZkDZvOF4uAkBlyvVz1RxBNhtIIN2s6tzzT9ud-NFva9-tV0WiIA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgI2ccZg4QAX1LpMufIRQAmCtTpNW7Lr36CRYkBmx4CRAMzyaDFm0ScefAUNHjdUomWILTyi6usa72iXunIci4mSuaWajaa9pL6KEbBimYqVuq2WjoxAWQyrqHJEd7pfo6ypDkhSR4pkT4Z-oZluZXhXmnR9ShkBk3uIPRRvg6xgaTdFb3cA3UlyEZjib0AxlPFw+SN42EAHitDAesJbmEAnruZROtUm+wAXiIKMFAA5vBEoABmAE4QALZIAGw0HAQJAAdhoAAsYPQoOxIGA2D4vr8wUCQYgAByQ6GwizwxFaZF-TFopBGEBQmFwggEj7fYnk4FIAAs2KpeJpAyJLNJiAArGzceBOUj6UgBSAmYh1hScdSEVyxdLeWRZezhQrRSjEKqpXI1UL8fdhEA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgI2ccZg4QAX1LpMufIRQAmCtTpNW7Lr36CRYkBmx4CRAMzyaDFm0ScefAUNHjdUomWILTyi6usa72iXunIci4mSuaWajaa9pL6KEbBimYqVuq2WjoxAWQyrqHJEd7pfo6ypDkhSR4pkT4Z-oZluZXhXmnR9ShkBk3uIPRRvg6xgaTdFb3cA3UlyEZjib0AxlPFw+SN42EAHitDAesJbmEAnruZROtUm+wAXmcdIwAsPWEAQgD6wMTCIgowUABzeBEUAAMwAThAALZIABsNBwECQAHYaAALGD0KDsSBgNg+CHQlEIpGIAAc6Mx2IsuPxWkJMPJJKQRhAGKxOIIdLBkMZrMRSEelI5NK5AwZguZiHWbKpnLx4t5SBlAsQZFlIvAYoJSrVUoArMLqVqFTqiYhDSBVXINcbab9hEA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgI2ccZg4QAX1LpMufIRQAmCtTpNW7Lr36CRYkBmx4CRAMzyaDFm0ScefAUNHjdUomWILTyi6usa72iXunIci4mSuaWajaa9pL6KEbBimYqVuq2WjoxAWQyrqHJEd7pfo6ypDkhSR4pkT4Z-oZluZXhXmnR9ShkBk3uIPRRvg6xgaTdFb3cA3UlyEZjib0AxlPFw+SN42EAHitDAesJbmEAnruZROtUm+wAXmcdIwAsPWEAQgD6wDLCIgowUABzeBEUAAMwAThAALZIABsNBwECQAHYaAALGD0KDsSBgNg+CHQlEIpGIAAc6Mx2IsuPxWkJMPJJKQRhAGKxOIIdLBkMZrMRSHWbKpnLxAwZguZiEelI5NK54t5SBlIAFiAArLLqeAFQSlRqpWRhXKdWK9UTEEa1XJjdrab9hEA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgI2ccZg4QAX1LpMufIRQAmCtTpNW7Lr36CRYkBmx4CRAMzyaDFm0ScefAUNHjdUomWILTyi6usa72iXunIci4mSuaWajaa9pL6KEbBimYqVuq2WjoxAWQyrqHJEd7pfo6ypDkhSR4pkT4Z-oZluZXhXmnR9ShkBk3uIPRRvg6xgaTdFb3cA3UlyEZjib0AxlPFw+SN42EAHitDAesJbmEAnruZROtUm+wAXmcdIwAsPWEAQgD6wAbCIgowUABzeBEUAAMwAThAALZIABsNBwECQAHYaAALGD0KDsSBgNg+CHQpBkECIpByEAYrE4gj4rSEmGIVGkpGIIyUzHYiy4ulgyGM9lkxCPdGcml4gYMpAillIAAcoup3Npkv58oRrIArIqueAVQS1YhtbLEOsOUq9RKDUTTRriTrxfjKMIgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgI2ccZg4QAX1LpMufIRQAmCtTpNW7Lr36CRYkBmx4CRAMzyaDFm0ScefAUNHjdUomWILTyi6usa72iXunIci4mSuaWajaa9pL6KEbBimYqVuq2WjoxAWQyrqHJEd7pfo6ypDkhSR4pkT4Z-oZluZXhXmnR9ShkBk3uIPRRvg6xgaTdFb3cA3UlyEZjib0AxlPFw+SN42EAHitDAesJbmEAnruZROtUm+wAXmcdIwAsPWEAQgD6wI-CIgowUABzeBEUAAMwAThAALZIABsNBwECQRhAAAsYPQoOxIGA2D4IdDkQikYgAOw0dGY7EEPFaAkwsnEpAADgpGKxFhxtLBkIZrJAiKQjzZVM5NIG9KFTMQAFYRRzwOL8bykHKBST1mj2dTcRKVYhNYLEGQtaLFbrlYTjdK5KaFVzfsIgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgI2ccZg4QAX1LpMufIRQAmCtTpNW7Lr36CRYkBmx4CRAMzyaDFm0ScefAUNHjdUomWILTyi6usa72iXunIci4mSuaWajaa9pL6KEbBimYqVuq2WjoxAWQyrqHJEd7pfo6ypDkhSR4pkT4Z-oZluZXhXmnR9ShkBk3uIPRRvg6xgaTdFb3cA3UlyEZjib0AxlPFw+SN42EAHitDAesJbmEAnruZROtUm+wAXmcdIwAsPWEAwgD6wMTCIgowUABzeBEUAAMwAThAALZIADsNBwECQAA4aAALGD0KDsSBgNg+CHQpAANgRSMQ8JAGKxOII+K0hJhiFRIERSCMVMx2IsuPpYMhTI5bMQ605NJ5dIGjKQouFj3RXNpeKlAqQ8tZ5LIYu54ElBNViC1woArArxbrlfqiYhTRqkHJtUr8ZRhEA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgI2ccZg4QAX1LpMufIRQAmCtTpNW7Lr36CRYkBmx4CRAMzyaDFm0ScefAUNHjdUomWILTyi6usa72iXunIci4mSuaWajaa9pL6KEbBimYqVuq2WjoxAWQyrqHJEd7pfo6ypDkhSR4pkT4Z-oZluZXhXmnR9ShkBk3uIPRRvg6xgaTdFb3cA3UlyEZjib0AxlPFw+SN42EAHitDAesJbmEAnruZROtUm+wAXmcdIwAsPWEAwgD6wDLCIgowUABzeBEUAAMwAThAALZIABsNBwECQRhAAAsYPQoOxIGA2D4IdDkQikYgAOw0dGY7EEPFaAkwsnEpCPCkYrEWHG0sGQhkskCIpAADlZVI5NIG9KFTMQAFYRezwOL8TykHL+ST1mi2dTcRKVYhNQLEGQtaLFbrlYTjdK5KaFZzfsIgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgI2ccZg4QAX1LpMufIRQAmCtTpNW7Lr36CRYkBmx4CRAMzyaDFm0ScefAUNHjdUomWILTyi6usa72iXunIci4mSuaWajaa9pL6KEbBimYqVuq2WjoxAWQyrqHJEd7pfo6ypDkhSR4pkT4Z-oZluZXhXmnR9ShkBk3uIPRRvg6xgaTdFb3cA3UlyEZjib0AxlPFw+SN42EAHitDAesJbmEAnruZROtUm+wAXmcdIwAsPWEAwgD6wACswiIKMFAAObwIigABmACcIABbJAANhoOAgSCMIAAFjB6FB2JAwGwfJCYSjEcjEOt0ZjsRZcfitITYWSSUgAOw0DFYnEEWngqEM1kgJFIAAcbMpnLxA3pwqZiEeoo51K5kt5SDlAtJX3lVPASoJKsQmvVSDIFIVOoleqJiBNgsQclN2ppf2EQA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgI2ccZg4QAX1LpMufIRQAmCtTpNW7Lr36CRYkBmx4CRAMzyaDFm0ScefAUNHjdUomWILTyi6usa72iXunIci4mSuaWajaa9pL6KEbBimYqVuq2WjoxAWQyrqHJEd7pfo6ypDkhSR4pkT4Z-oZluZXhXmnR9ShkBk3uIPRRvg6xgaTdFb3cA3UlyEZjib0AxlPFw+SN42EAHitDAesJbmEAnruZROtUm+wAXmcdIwAsPWEAwgD6wABswiIKMFAAObwIigABmACcIABbJBfGg4CBIADsNAAFjB6FB2JAwGwfJCYSiEUjEEYQBisTiCPitITYWSSUhHujMdiLLjaeCoQyWSBEUh1hS2dS8QN6YKmYgyMKqRyaeKeUgZQLEAAOVly8AKglK9VSgCsmvZ2rFuqJiCN-NJcllJs5f2EQA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgI2ccZg4QAX1LpMufIRQAmCtTpNW7Lr36CRYkBmx4CRAMzyaDFm0ScefAUNHjdUomWILTyi6usa72iXunIci4mSuaWajaa9pL6KEbBimYqVuq2WjoxAWQyrqHJEd7pfo6ypDkhSR4pkT4Z-oZluZXhXmnR9ShkBk3uIPRRvg6xgaTdFb3cA3UlyEZjib0AxlPFw+SN42EAHitDAesJbmEAnruZROtUm+wAXmcdIwAsPWEAIgD6wMTCIgowUABzeBEUAAMwAThAALZIMggHAQJAADhoAAsYPQoOxIGA2D4IdDkTQEUgAKxojFYiw4vFaAkwxDk+GIxByEDozHYgi0sGQhkANmJLIA7BTOdTuQN6UhRcykEZ2ZSubipXz5UKkOtFeLwJL8WrEFqSYhHmKqbqVfrCSaNYg4RzzTTfsIgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgI2ccZg4QAX1LpMufIRQAmCtTpNW7Lr36CRYkBmx4CRAMzyaDFm0ScefAUNHjdUomWILTyi6usa72iXunIci4mSuaWajaa9pL6KEbBimYqVuq2WjoxAWQyrqHJEd7pfo6ypDkhSR4pkT4Z-oZluZXhXmnR9ShkBk3uIPRRvg6xgaTdFb3cA3UlyEZjib0AxlPFw+SN42EAHitDAesJbmEAnruZROtUm+wAXmcdIwAsPWEAIgD6wDLCIgowUABzeBEUAAMwAThAALZIACsNBwECQchAAAsYPQoOxIGA2D4IdCkEYQIikOs0RisRYcXitASYYhHgikYgyBTMdiCLSwZCGQA2ZlEmjojnUrkDelkwWIADswspnNxEt5SDlJJZAA55aLwOL8SrEFr1UgmeyqbqlfrCazpfCzYq8ZRhEA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgI2ccZg4QAX1LpMufIRQAmCtTpNW7Lr36CRYkBmx4CRAMzyaDFm0ScefAUNHjdUomWILTyi6usa72iXunIci4mSuaWajaa9pL6KEbBimYqVuq2WjoxAWQyrqHJEd7pfo6ypDkhSR4pkT4Z-oZluZXhXmnR9ShkBk3uIPRRvg6xgaTdFb3cA3UlyEZjib0AxlPFw+SN42EAHitDAesJbmEAnruZROtUm+wAXmcdIwAsPWEAIgD6wAbCIgowUABzeBEUAAMwAThAALZIACsNBwECQchAAAsYPQoOxIGA2D4IdCkAA2BFIxBGNEYrEWHF4rQEmHk0lIADsNHRmOxBDpYMhjLZIERSEe7KpXNxAwZwuZiHWlM5NO5kr5SDlQsQZHl1PASvxKo1MoAHKKFTqJXrCYhjYKyfCteK8ZRhEA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgI2ccZg4QAX1LpMufIRQAmCtTpNW7Lr36CRYkBmx4CRAMzyaDFm0ScefAUNHjdUomWILTyi6usa72iXunIci4mSuaWajaa9pL6KEbBimYqVuq2WjoxAWQyrqHJEd7pfo6ypDkhSR4pkT4Z-oZluZXhXmnR9ShkBk3uIPRRvg6xgaTdFb3cA3UlyEZjib0AxlPFw+SN42EAHitDAesJbmEAnruZROtUm+wAXmcdIwAsPWEAIgD6wI-CIgowUABzeBEUAAMwAThAALZIABsNBwECQRhAAAsYPQoOxIGA2D4IdCkAB2BFIxCPGjozHYgh4rQEmGIAAcpKQAFZKRisRYcXSwZDGSjEUh1miuTTcQMGSLWYgSWLqTzaVKBUgKSBhczOYrwMr8arEByNWSyArubrJfrCYhTZq5GaJXjKMIgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZARgBoAGAXVJADcBDAGwFcYkQAdDgI2ccZg4QAX1LpMufIRQAmCtTpNW7Lr36CRYkBmx4CRAMzyaDFm0ScefAUNHjdUomWILTyi6usa72iXunIci4mSuaWajaa9pL6KEbBimYqVuq2WjoxAWQyrqHJEd7pfo6ypDkhSR4pkT4Z-oZluZXhXmnR9ShkBk3uIPRRvg6xgaTdFb3cA3UlyEZjib0AxlPFw+SN42EAHitDAesJbmEAnruZROtUm+wAXmcdIwAsPWEAoiIKMFAA5vBEoAAzABOEAAtkgAGw0HAQJBGEAACxg9Cg7EgYDYPmBYKQAHZobDEI8aEiUWiCJitNjwYgABwEpAAVhJyNRFnRlMBIJp8JhSHWiNZ5IxA2p-IZiHxgrJ7Ipou5SGJID5iDI0rZ4DlWIVqol9PVws5IDFiGZysJcgNspFwkowiAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZAJgBoAWAXVJADcBDAGwFcYkQAKAHS4Ft6cACzgBjAE7AAogF8A+sHqkAHtJ4B3GFADmMAAQ9+Q0RJnyARsukBKdZp27ufAcPFS5C0gE9VXDdr0GzsZu5l7WINKk6Ji4+IQo5BTUdEys7I6GLibuiiq2-vpORq6mHt42vnZ6GUEl7hZ5lQWBxdmh5RFRIBjYeAREAIykAMzJDCxsiJwtWSHADT5+9jPBpbnW+fY1rXMW3psBRbNrYVad0b1xRGTEY6mT00er9WEHhZnP8orlb9vHL40locPnUvpYzpELrF+glSLcaOM0lM-p95q8mssnqC0SoKkCHCtsd9FlV3rU2h5cedujE+vFkABWEZ3CbpQkU4lvdlzdZ40ko7F7EnNLEUhYQro9aH0sgMllIkDctYLLminlC6lSulERJyhH3dhKnLKfYY4Hk3Ym6Sa2lXFAANmZ+tZUyNXwa3htlxhyESA3lDzdONN+KDuU9kJp3plpH9zoVYaFqpBHIWXulRAADE6Ui7FWrlVb09qUMNSPaA4aCzkPdbI1q7cgy5nK67q+6i-XbT6y3Hcwri42y6N4w9Bz6mXr+2Ou9GiGWp4iZ5Lu-ShouDVNx2vY62QNuiEy+0v2BFklUEChQAAzMQQXhIbMgHAQJBDafsERgswAbiUYWpW97zfGgXyQJkPzbHB6GYVVoOYQC7wfRAILAxBEkg-N4JAGhGHoMwYEYAAFVd2EYGBrxwRDgMQJ80LITCeHgg4mJgnCQDwgjiNIqYxCwLRBCoyMgOQhi0LLRiuGw3D8MIki514-jBOo5CJLQjCTymL80XoH9PEsFTH1A19EHtYSkJA58TIAdnMmjUJMgAOOzkIwtCAE4XKQNSTIGTMvMQMTfIGALrOMt9iACx0rIigK-PCxABmGAL3ISpKAp8t8MMYLAwAeKAIGYMxyPYwQYHoKAkDAZhGEYUD6CwRh2EgPL2M0-MYGg0JdP0lRDMShy3wgxgIAgNAs1Ia8mDgGBkk4uSeJAPiBKEroRIihLHJoAiwEqxAAFphifdqsEqmSuPkjNFJW-r3zQgZopy1qpgKoqSpoMqKqqmq6ufBqmqmFq2FHKteGYL4-3RUM+HB+ZIYjNaLNotKwo43L8sK4rgZAT69uq2r6sa5qCGx9qeE6+hv3hutEZogY7t8hidr2w7-Np5C6N8ra0eekBXqx0ryrxn7CYB8ASbazd8zBqnAVJAxYcUX9PXOhaFKWpTVpvJH6bSiTme8tntZozLEtSnmMbe7Hce+gm-qJwGJZBtsZYUX9-wR43kO5+79ZgXakFZgK3JM4gnyey2BY+oXbd+6CHfF1rnelxXSHdlWONk7j1eW5TpEoaQgA