ゲームナイトを企画する: 数学的アプローチ
モノイダル双カテゴリの概念を使ってゲームナイトを企画する方法を学ぼう。
Ettore Aldrovandi, Milind Gunjal
― 0 分で読む
目次
ゲームナイトを企画してると想像してみて。いろんなタイプのゲームがあって、チームプレイが必要なゲームもあれば、一人で遊べるゲームもある。みんなをどうやってアレンジして、全てのゲームが楽しめるようにする?これは、複雑な構造を数学で理解するための手法、モノイダル双双カテゴリのアイデアとあまり変わらないんだ。
数学の世界では、カテゴリやそれらの関係について話し始めると、結構複雑になってくる。カテゴリは物のグループみたいなもので、オブジェクト同士の関係を示す射(モーフィズム)があって、どうつながっているかを表している。で、これらのカテゴリを追加のルールと混ぜ合わせると、モノイダル双双カテゴリができるんだ。
物をまとめる
モノイダル双双カテゴリは、物を整理しつつ、少しの柔軟性も持たせることがテーマ。物のコレクション(ゲームナイトのゲストみたいな)を見つつ、それらをいろんな方法で組み合わせる能力を維持する方法を導入してる。
おもちゃのブロックの箱があると想像してみて。それぞれのブロックは、他のブロックと組み合わせて建物や構造物を作ることができる。この例えで言うと、各ブロックはオブジェクトを表していて、組み合わせ方がモーフィズムを表している。モノイダル双双カテゴリでは、これらのブロックを複数の次元でつなぐ構造を作ることができて、どうやってそれらを作ったり遊んだりできるか教えてくれる。
対称性の楽しさ
じゃあ、ゲームナイトに面白いひねりがないとつまらないよね?対称性の登場だ。チームを変えたり、ルールを途中で変更したりすることと同じように、モノイダル双双カテゴリの対称性は特定の要素を入れ替えても全体の構造を壊さないってアイデアを指してる。
おもちゃのブロックの例では、ブロックの配置を変えてもフィットする方法が変わらなければ、それは対称な状況だ。この理論の部分は、数学者が物事の安定性と柔軟性を理解するのを助けるんだ。ちょうど、正しいゲームを正しい人たちに選ぶのと同じようにね。
スタイルを持ってグループ化
でも待って、もっとあるよ:ブロックをカテゴリにグループ化できるんだ!オブジェクトをカテゴリにまとめると、関係を効率よく分析できる。
おもちゃのブロックを色ごとに並べることを考えてみて。あの青いブロックは、あの赤いブロックとは違う接続の仕方をするかもしれない。数学でも、オブジェクトをカテゴライズすることで、最初は明らかじゃなかったパターンや関係が見えてくる。
バイエクステンション:追加のレイヤー
ここが少し複雑になるところだけど、心配しないで!まるでビデオゲームに新しいレベルを追加するようなもので、これを「バイエクステンション」と呼ぶことにするよ。
バイエクステンションは、カテゴリにさらに構造を追加できるようにするので、ゲームナイトのリストに新しいゲームを追加するみたいな感じ。二つのカテゴリがそれぞれの個別の構造とどう協力するかを考えながらつながる様子を見れるんだ。これにより、以前は明らかでなかった新しい関係や特性が明らかになる手助けをする。
ピカード群体に慣れる
これらを理解するためには、もう一つの概念、ピカード群体に慣れなきゃいけない。これは、うまく行動する特定の数学的オブジェクトを扱っていることを意味する、ちょっとおしゃれな言い方なんだ。
数学の世界の究極のパーティープランナーみたいなもので、すべてを整理し、ブロック(またはカテゴリ)が一緒になるときに、意味のある方法でそうなるようにしてくれる。良いゲームナイトには計画が必要なのと同じように、ピカード群体は数学の構造がどうつながるかを理解するためのしっかりした基盤を提供してくれる。
群体に値を割り当てる
さて、本当に数学ゲームに深く入りたいなら、群体に値を割り当てられる。ここでは本格的な数学に入ってくるけど、簡単に行こう。
値を割り当てるのは、成功したゲームごとにポイントを与えるのに似てる。数学の世界では、オブジェクト間の関係を測定し、これらの値を使って分析することができ、研究している構造のクリアなイメージを築く手助けになる。
トルソル:新しいレベルの整理
これらのアイデアで遊んでいると、トルソルってものに出くわす。ゲームナイトが混雑してきて、全員を並べておく方法が必要だと想像してみて。トルソルは、要素を一貫した方法で整理する手助けをしてくれる。
トルソルは、オブジェクトがそのコアな特徴を維持しながらどうシフトしたり変形したりできるかを考える方法なんだ。ゲームテーブルの椅子を並べ替えても誰も迷子にならないようにするのと似てる。
縮小積:力を合わせる
さらに面白くなってきたと思ったら、縮小積が登場する。二つ以上の構造を組み合わせて新しいものを作るとき、あなたは縮小積を扱っている。
例えば、友達とチームを作ることにしたら、それは一緒に共通の目標のために集まるプレイヤーの縮小積を作っているってことになる。数学では、縮小積を使って、異なる構造が新しい一体化したユニットにどのように統一できるかを見るのを助ける。
コホモロジー:進捗を測る
これらのアイデアを進める中で、コホモロジーに出会う。この分野では、構造がどれだけうまく機能しているかを測ることができる。コホモロジーは、異なるカテゴリやエクステンション間の関係を分析して定量化するツールを提供してくれる。まるでゲームナイトのスコアや統計を追跡するのと同じ。
コホモロジーを使うことで、組織戦略の効果を判断し、数学的なパズルの異なる部分がどうフィットするかを理解できる。
対称的なケース:すべてが一つに集まる
対称性のアイデアに戻ろう。ゲームナイトでは、対称性がすべてのプレイヤーが価値を感じ、参加できるようにする。モノイダル双双カテゴリの対称性がバランスを保つのと同じようにね。構造が対称的な時、それは全体のキャラクターを失うことなく相互作用できることを意味する。
数学では、構造が対称だという時、特定のルールに従って分析できる。それにより、複雑な関係を分解してどうつながっているかを見ることができて、スムーズなゲームナイトの体験を確保する。
結論:一貫した数学的ゲームナイト
要するに、モノイダル双双カテゴリの世界は、完璧なゲームナイトを整理するのととても似ている。特定の方法でつながるオブジェクト、すべてをバランスさせる対称性、関係を明確にするためのバイエクステンションやトルソルといった追加の構造がある。さらに、コホモロジーのようなツールを使って、そのつながりを測定・分析する。
正しいゲームが人を集めて思い出を作るのと同じように、モノイダル双双カテゴリは数学者たちに複雑な数学的構造をより深く理解させ、隠れた美しさや楽しさを明らかにしてくれる。だから、次のゲームナイトを考える時、整理、対称性、協力の原則は遊びだけじゃなく、私たちの世界を理解する心の真髄にあるんだってことを思い出してね。
タイトル: Symmetric Monoidal Bicategories and Biextensions
概要: 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.
著者: Ettore Aldrovandi, Milind Gunjal
最終更新: 2024-11-15 00:00:00
言語: English
ソースURL: https://arxiv.org/abs/2411.10530
ソースPDF: https://arxiv.org/pdf/2411.10530
ライセンス: https://creativecommons.org/licenses/by/4.0/
変更点: この要約はAIの助けを借りて作成されており、不正確な場合があります。正確な情報については、ここにリンクされている元のソース文書を参照してください。
オープンアクセスの相互運用性を利用させていただいた arxiv に感謝します。
参照リンク
- 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