Organizando uma Noite de Jogos: Uma Abordagem Matemática
Aprenda a organizar uma noite de jogos com conceitos de bicategorias monoidais.
Ettore Aldrovandi, Milind Gunjal
― 7 min ler
Índice
- Mantendo Tudo Junto
- A Diversão da Simetria
- Agrupando com Estilo
- Biexteções: A Camada Extra
- Familiarizando-se com Grupos de Picard
- Atribuindo Valores aos Grupos
- Torsores: Um Novo Nível de Organização
- Produtos Contraídos: Unindo Forças
- Cohomologia: Medindo Nosso Progresso
- O Caso Simétrico: Tudo se Junta
- Conclusão: Uma Noite de Jogos Matemática Coesa
- Fonte original
- Ligações de referência
Imagina que você tá tentando organizar um pessoal pra uma noite de jogos. Tem vários tipos de jogos, alguns que precisam de time e outros que podem ser jogados sozinho. Como você arruma todo mundo de um jeito que todos os tipos de jogos sejam jogados? Isso não tá muito longe da ideia de bicategorias monoídicas, um método usado pra entender estruturas complexas na matemática.
No mundo da matemática, as coisas podem ficar bem complicadas, principalmente quando começamos a falar sobre categorias e como elas se relacionam. Categorias são como grupos de objetos, e elas têm relacionamentos, chamados de morfismos, que mostram como esses objetos se conectam. Agora, quando começamos a misturar essas categorias com uns toques de regras adicionais, acabamos com as bicategorias monoídicas.
Mantendo Tudo Junto
As bicategorias monoídicas são todas sobre manter as coisas organizadas, mas com um pouco de flexibilidade. Elas introduzem uma forma de olhar para coleções de objetos (como nossos convidados da noite de jogos) enquanto mantêm a capacidade de combiná-los de várias maneiras.
Imagina que você tem uma caixa de blocos de brinquedo. Cada bloco pode ser combinado com outros pra criar edifícios ou estruturas. Nessa analogia, cada bloco representa um objeto, enquanto as maneiras de combiná-los representam os morfismos. Uma bicategoria monoídica permite que a gente construa estruturas que conectam esses blocos em múltiplas dimensões e nos diz como podemos construir e brincar com eles.
Simetria
A Diversão daAgora, o que seria uma noite de jogos sem algumas reviravoltas divertidas? Aí entra a simetria. Assim como podemos mudar de time ou trocar as regras no meio da noite, a simetria nas bicategorias monoídicas se refere à ideia de que você pode trocar certos elementos sem estragar toda a estrutura.
Na nossa analogia dos blocos, se você pode rearranjar os blocos sem mudar a forma como eles se encaixam, você tem uma situação simétrica. Essa parte da teoria ajuda os matemáticos a entender como as coisas podem ser estáveis e flexíveis ao mesmo tempo, um equilíbrio delicado, assim como escolher o jogo certo pro público certo.
Agrupando com Estilo
Mas espera, tem mais: podemos agrupar nossos blocos em categorias! Quando agrupamos objetos em uma categoria, conseguimos analisar suas relações de forma mais eficiente.
Pensa em arranjar seus blocos de brinquedo por cor. Aqueles blocos azuis ali podem não se conectar da mesma forma que aqueles vermelhos. Da mesma forma, na matemática, categorizar objetos ajuda a gente a ver padrões e relações que podem não ser óbvias à primeira vista.
Biexteções: A Camada Extra
Agora, aqui é onde as coisas ficam um pouco mais complicadas, mas relaxa! Assim como adicionar um novo nível a um jogo, vamos chamar essa camada de “biexteções.”
Biexteções permitem que a gente adicione ainda mais estrutura às nossas categorias, como adicionar um novo jogo à nossa lista de jogos da noite. A gente pode ver como duas categorias podem se conectar de uma forma que considera tanto suas estruturas individuais quanto como elas funcionam juntas. Isso ajuda a revelar novas relações e propriedades que talvez não fossem evidentes antes.
Familiarizando-se com Grupos de Picard
Pra entender tudo isso, precisamos nos familiarizar com outro conceito: grupos de Picard. Esses são apenas uma forma chique de dizer que estamos lidando com certos tipos de objetos matemáticos que têm estruturas bacanas e bem comportadas.
Pensa neles como os melhores organizadores de festa do mundo da matemática. Eles ajudam a manter tudo organizado e garantem que, quando os blocos (ou categorias) se juntam, o façam de uma forma que faça sentido. Assim como uma boa noite de jogos precisa de um plano, os grupos de Picard fornecem uma base sólida pra entender como as estruturas matemáticas se conectam.
Atribuindo Valores aos Grupos
Agora, se a gente realmente quer mergulhar no nosso jogo matemático, podemos atribuir valores aos nossos grupos. Aqui é onde começamos a puxar algumas matemáticas sérias, mas vamos manter simples.
Atribuir valores pode ser comparado a dar pontos pra cada jogo bem-sucedido jogado. No mundo da matemática, podemos medir as relações entre objetos e analisá-las usando esses valores, que ajudam a construir uma imagem mais clara das estruturas que estamos estudando.
Torsores: Um Novo Nível de Organização
Enquanto a gente brinca com essas ideias, encontramos algo chamado de torsores. Imagina que sua noite de jogos tá ficando cheia, e você precisa encontrar uma forma de manter todo mundo na linha. Torsores ajudam nisso, fornecendo um método pra organizar elementos de forma coerente.
Torsores são uma forma de pensar sobre como os objetos podem ser deslocados ou transformados enquanto ainda mantêm suas características essenciais. É como descobrir como rearranjar as cadeiras na nossa mesa de jogos sem perder ninguém no meio do caminho.
Produtos Contraídos: Unindo Forças
E quando você achou que não podia ficar mais empolgante, apresentamos os produtos contraídos. Quando você combina duas ou mais estruturas pra criar uma nova, você tá lidando com um produto contraído.
Por exemplo, se você e seus amigos decidem formar times pra um jogo, vocês estão basicamente criando um produto contraído de jogadores se unindo por um objetivo comum. Na matemática, produtos contraídos ajudam a gente a ver como diferentes estruturas podem se unificar em uma nova unidade coesa.
Cohomologia: Medindo Nosso Progresso
Enquanto navegamos por essas ideias, também encontramos a cohomologia. Aqui é onde conseguimos medir o quão bem nossas estruturas estão funcionando. A cohomologia fornece ferramentas pra analisar e quantificar as relações entre diferentes categorias e extensões, muito parecido com rastrear pontuações e estatísticas da nossa noite de jogos.
Usando a cohomologia, podemos determinar a eficácia das nossas estratégias organizacionais e entender como diferentes peças do nosso quebra-cabeça matemático se encaixam.
O Caso Simétrico: Tudo se Junta
Vamos revisitar a ideia de simetria. Na nossa noite de jogos, a simetria garante que cada jogador se sinta valorizado e incluído, muito parecido com como a simetria nas bicategorias monoídicas ajuda a manter o equilíbrio. Quando as estruturas são simétricas, isso significa que elas podem interagir sem perder seu caráter geral.
Na matemática, quando dizemos que uma estrutura é simétrica, podemos analisá-la usando um conjunto específico de regras que simplificam nossa compreensão. Podemos decompor relações complexas e ver como elas se conectam, garantindo uma experiência de noite de jogos tranquila.
Conclusão: Uma Noite de Jogos Matemática Coesa
Resumindo, o mundo das bicategorias monoídicas é muito parecido com organizar a noite de jogos perfeita. Você tem objetos que se conectam de maneiras específicas, simetria que mantém tudo equilibrado e estruturas adicionais como biextensões e torsores que ajudam a esclarecer as relações. Você até tem ferramentas como cohomologia pra medir e analisar essas conexões.
Assim como o jogo certo pode unir as pessoas pra criar memórias duradouras, as bicategorias monoídicas permitem que os matemáticos construam uma compreensão mais profunda de estruturas matemáticas complexas, revelando a beleza e a diversão escondidas dentro delas. Então, enquanto você pensa na sua próxima noite de jogos, lembre-se de que os princípios de organização, simetria e colaboração não são apenas pra brincar; eles estão no coração de entender nosso mundo, tanto na mesa quanto no reino da matemática.
Título: Symmetric Monoidal Bicategories and Biextensions
Resumo: 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.
Autores: Ettore Aldrovandi, Milind Gunjal
Última atualização: 2024-11-15 00:00:00
Idioma: English
Fonte URL: https://arxiv.org/abs/2411.10530
Fonte PDF: https://arxiv.org/pdf/2411.10530
Licença: https://creativecommons.org/licenses/by/4.0/
Alterações: Este resumo foi elaborado com a assistência da AI e pode conter imprecisões. Para obter informações exactas, consulte os documentos originais ligados aqui.
Obrigado ao arxiv pela utilização da sua interoperabilidade de acesso aberto.
Ligações de referência
- 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