examples/natural-deduction.svg

<svg class="typst-doc" viewBox="0 0 259.3084789151356 141.78175669291338" width="259.3084789151356pt" height="141.78175669291338pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:h5="http://www.w3.org/1999/xhtml">
    <path class="typst-shape" fill="#ffffff" fill-rule="nonzero" d="M 0 0 L 0 141.78175 L 259.30847 141.78175 L 259.30847 0 Z "/>
    <g>
        <g transform="translate(14.173228346456693 14.173228346456693)">
            <g class="typst-group">
                <g>
                    <g transform="translate(0 0)">
                        <g class="typst-group">
                            <g>
                                <g transform="translate(0 0)">
                                    <g class="typst-group">
                                        <g>
                                            <g transform="translate(0 0)">
                                                <g class="typst-group">
                                                    <g>
                                                        <g transform="translate(0 0)">
                                                            <g class="typst-group">
                                                                <g>
                                                                    <g transform="translate(0 0)">
                                                                        <g class="typst-group">
                                                                            <g>
                                                                                <g transform="translate(0 0)">
                                                                                    <g class="typst-group">
                                                                                        <g>
                                                                                            <g transform="translate(0 0)">
                                                                                                <g class="typst-group">
                                                                                                    <g>
                                                                                                        <g transform="translate(0 0)">
                                                                                                            <g class="typst-group">
                                                                                                                <g>
                                                                                                                    <g transform="translate(0 0)">
                                                                                                                        <g class="typst-group">
                                                                                                                            <g>
                                                                                                                                <g transform="translate(0 0)">
                                                                                                                                    <g class="typst-group">
                                                                                                                                        <g>
                                                                                                                                            <g transform="translate(0 0)">
                                                                                                                                                <g class="typst-group">
                                                                                                                                                    <g>
                                                                                                                                                        <g transform="translate(0 0)">
                                                                                                                                                            <g class="typst-group">
                                                                                                                                                                <g>
                                                                                                                                                                    <g transform="translate(0 16.313000000000002)">
                                                                                                                                                                        <g class="typst-group">
                                                                                                                                                                            <g>
                                                                                                                                                                                <g transform="translate(0 0)">
                                                                                                                                                                                    <g class="typst-group">
                                                                                                                                                                                        <g>
                                                                                                                                                                                            <g transform="translate(25.898111111111113 0)">
                                                                                                                                                                                                <g class="typst-group">
                                                                                                                                                                                                    <g/>
                                                                                                                                                                                                </g>
                                                                                                                                                                                            </g>
                                                                                                                                                                                            <g transform="translate(0 0)">
                                                                                                                                                                                                <g class="typst-group">
                                                                                                                                                                                                    <g>
                                                                                                                                                                                                        <g transform="translate(0 0)">
                                                                                                                                                                                                            <g class="typst-group">
                                                                                                                                                                                                                <g>
                                                                                                                                                                                                                    <g transform="translate(0 4.4)">
                                                                                                                                                                                                                        <path class="typst-shape" fill="none" stroke="#000000" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="4" d="M 0 0 L 51.796223 0 "/>
                                                                                                                                                                                                                    </g>
                                                                                                                                                                                                                    <g transform="translate(53.79622222222223 -0.8689999999999993)">
                                                                                                                                                                                                                        <g class="typst-group">
                                                                                                                                                                                                                            <g>
                                                                                                                                                                                                                                <g transform="translate(0 7.238)">
                                                                                                                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                                        <use xlink:href="#g3BBB0C0DD22D4D9D9ADB01E4C8235C5" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                                                        <use xlink:href="#g813F8E7D29E6DEAD868AD8DA54B96EFA" x="5.027" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                                                    </g>
                                                                                                                                                                                                                                </g>
                                                                                                                                                                                                                            </g>
                                                                                                                                                                                                                        </g>
                                                                                                                                                                                                                    </g>
                                                                                                                                                                                                                </g>
                                                                                                                                                                                                            </g>
                                                                                                                                                                                                        </g>
                                                                                                                                                                                                    </g>
                                                                                                                                                                                                </g>
                                                                                                                                                                                            </g>
                                                                                                                                                                                            <g transform="translate(2 8.8)">
                                                                                                                                                                                                <g class="typst-group">
                                                                                                                                                                                                    <g>
                                                                                                                                                                                                        <g transform="translate(0 7.513000000000001)">
                                                                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                <use xlink:href="#g3F58EBEBE6F3781A3A93CEFCB6D4A8C8" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                            </g>
                                                                                                                                                                                                        </g>
                                                                                                                                                                                                        <g transform="translate(9.930555555555557 7.513000000000001)">
                                                                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                <use xlink:href="#g99F10B621EE03B8DEC850BF2CF8BD2E2" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                            </g>
                                                                                                                                                                                                        </g>
                                                                                                                                                                                                        <g transform="translate(19.707111111111114 7.513000000000001)">
                                                                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                <use xlink:href="#g7D67E1C75994B3229D773B565CECCBEA" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                            </g>
                                                                                                                                                                                                        </g>
                                                                                                                                                                                                        <g transform="translate(28.46066666666667 7.513000000000001)">
                                                                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                <use xlink:href="#g8E54F91CFD0E7EF6AE55E7A3AFAECE3C" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                            </g>
                                                                                                                                                                                                        </g>
                                                                                                                                                                                                        <g transform="translate(42.516222222222225 7.513000000000001)">
                                                                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                <use xlink:href="#g9DB6816BDE9576052FD66662810303CD" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                            </g>
                                                                                                                                                                                                        </g>
                                                                                                                                                                                                    </g>
                                                                                                                                                                                                </g>
                                                                                                                                                                                            </g>
                                                                                                                                                                                        </g>
                                                                                                                                                                                    </g>
                                                                                                                                                                                </g>
                                                                                                                                                                            </g>
                                                                                                                                                                        </g>
                                                                                                                                                                    </g>
                                                                                                                                                                    <g transform="translate(79.21322222222223 0)">
                                                                                                                                                                        <g class="typst-group">
                                                                                                                                                                            <g>
                                                                                                                                                                                <g transform="translate(0 0)">
                                                                                                                                                                                    <g class="typst-group">
                                                                                                                                                                                        <g>
                                                                                                                                                                                            <g transform="translate(0 0)">
                                                                                                                                                                                                <g class="typst-group">
                                                                                                                                                                                                    <g>
                                                                                                                                                                                                        <g transform="translate(0 0)">
                                                                                                                                                                                                            <g class="typst-group">
                                                                                                                                                                                                                <g>
                                                                                                                                                                                                                    <g transform="translate(27.124 0)">
                                                                                                                                                                                                                        <g class="typst-group">
                                                                                                                                                                                                                            <g/>
                                                                                                                                                                                                                        </g>
                                                                                                                                                                                                                    </g>
                                                                                                                                                                                                                    <g transform="translate(0 0)">
                                                                                                                                                                                                                        <g class="typst-group">
                                                                                                                                                                                                                            <g>
                                                                                                                                                                                                                                <g transform="translate(0 0)">
                                                                                                                                                                                                                                    <g class="typst-group">
                                                                                                                                                                                                                                        <g>
                                                                                                                                                                                                                                            <g transform="translate(0 4.4)">
                                                                                                                                                                                                                                                <path class="typst-shape" fill="none" stroke="#000000" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="4" d="M 0 0 L 54.248 0 "/>
                                                                                                                                                                                                                                            </g>
                                                                                                                                                                                                                                            <g transform="translate(56.248 -0.8689999999999993)">
                                                                                                                                                                                                                                                <g class="typst-group">
                                                                                                                                                                                                                                                    <g>
                                                                                                                                                                                                                                                        <g transform="translate(0 7.238)">
                                                                                                                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                                                                <use xlink:href="#g3BBB0C0DD22D4D9D9ADB01E4C8235C5" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                                                                                <use xlink:href="#g813F8E7D29E6DEAD868AD8DA54B96EFA" x="5.027" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                                                                            </g>
                                                                                                                                                                                                                                                        </g>
                                                                                                                                                                                                                                                    </g>
                                                                                                                                                                                                                                                </g>
                                                                                                                                                                                                                                            </g>
                                                                                                                                                                                                                                        </g>
                                                                                                                                                                                                                                    </g>
                                                                                                                                                                                                                                </g>
                                                                                                                                                                                                                            </g>
                                                                                                                                                                                                                        </g>
                                                                                                                                                                                                                    </g>
                                                                                                                                                                                                                    <g transform="translate(2 8.8)">
                                                                                                                                                                                                                        <g class="typst-group">
                                                                                                                                                                                                                            <g>
                                                                                                                                                                                                                                <g transform="translate(0 0)">
                                                                                                                                                                                                                                    <g class="typst-group">
                                                                                                                                                                                                                                        <g>
                                                                                                                                                                                                                                            <g transform="translate(0 7.513000000000001)">
                                                                                                                                                                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                                                    <use xlink:href="#g3F58EBEBE6F3781A3A93CEFCB6D4A8C8" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                                                                </g>
                                                                                                                                                                                                                                            </g>
                                                                                                                                                                                                                                            <g transform="translate(9.930555555555557 7.513000000000001)">
                                                                                                                                                                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                                                    <use xlink:href="#g99F10B621EE03B8DEC850BF2CF8BD2E2" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                                                                </g>
                                                                                                                                                                                                                                            </g>
                                                                                                                                                                                                                                            <g transform="translate(19.707111111111114 7.513000000000001)">
                                                                                                                                                                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                                                    <use xlink:href="#g7D67E1C75994B3229D773B565CECCBEA" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                                                                </g>
                                                                                                                                                                                                                                            </g>
                                                                                                                                                                                                                                            <g transform="translate(27.849555555555558 7.513000000000001)">
                                                                                                                                                                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                                                    <use xlink:href="#g57903EADA97AB9EAE67EA52EB5C6A033" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                                                                </g>
                                                                                                                                                                                                                                            </g>
                                                                                                                                                                                                                                            <g transform="translate(37.631 7.513000000000001)">
                                                                                                                                                                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                                                    <use xlink:href="#g5F7070DF69082C5A3E461B65292D9F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                                                                </g>
                                                                                                                                                                                                                                            </g>
                                                                                                                                                                                                                                            <g transform="translate(44.967999999999996 7.513000000000001)">
                                                                                                                                                                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                                                    <use xlink:href="#g9DB6816BDE9576052FD66662810303CD" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                                                                </g>
                                                                                                                                                                                                                                            </g>
                                                                                                                                                                                                                                        </g>
                                                                                                                                                                                                                                    </g>
                                                                                                                                                                                                                                </g>
                                                                                                                                                                                                                            </g>
                                                                                                                                                                                                                        </g>
                                                                                                                                                                                                                    </g>
                                                                                                                                                                                                                </g>
                                                                                                                                                                                                            </g>
                                                                                                                                                                                                        </g>
                                                                                                                                                                                                    </g>
                                                                                                                                                                                                </g>
                                                                                                                                                                                            </g>
                                                                                                                                                                                            <g transform="translate(0 16.313000000000002)">
                                                                                                                                                                                                <g class="typst-group">
                                                                                                                                                                                                    <g>
                                                                                                                                                                                                        <g transform="translate(0 0)">
                                                                                                                                                                                                            <g class="typst-group">
                                                                                                                                                                                                                <g>
                                                                                                                                                                                                                    <g transform="translate(0 4.4)">
                                                                                                                                                                                                                        <path class="typst-shape" fill="none" stroke="#000000" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="4" d="M 0 0 L 54.248 0 "/>
                                                                                                                                                                                                                    </g>
                                                                                                                                                                                                                    <g transform="translate(56.248 -1.0064999999999995)">
                                                                                                                                                                                                                        <g class="typst-group">
                                                                                                                                                                                                                            <g>
                                                                                                                                                                                                                                <g transform="translate(0 7.513000000000001)">
                                                                                                                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                                        <use xlink:href="#g57903EADA97AB9EAE67EA52EB5C6A033" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                                                    </g>
                                                                                                                                                                                                                                </g>
                                                                                                                                                                                                                                <g transform="translate(7.337000000000001 3.5200000000000005)">
                                                                                                                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                                        <use xlink:href="#gDD2C9361850AAD1772076B1714CBC5D0" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                                                    </g>
                                                                                                                                                                                                                                </g>
                                                                                                                                                                                                                                <g transform="translate(7.337000000000001 10.23)">
                                                                                                                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                                        <use xlink:href="#g2D35C76B16D8FF2805B18CA016D4F8A0" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                                                    </g>
                                                                                                                                                                                                                                </g>
                                                                                                                                                                                                                            </g>
                                                                                                                                                                                                                        </g>
                                                                                                                                                                                                                    </g>
                                                                                                                                                                                                                </g>
                                                                                                                                                                                                            </g>
                                                                                                                                                                                                        </g>
                                                                                                                                                                                                    </g>
                                                                                                                                                                                                </g>
                                                                                                                                                                                            </g>
                                                                                                                                                                                            <g transform="translate(14.421444444444443 25.113000000000003)">
                                                                                                                                                                                                <g class="typst-group">
                                                                                                                                                                                                    <g>
                                                                                                                                                                                                        <g transform="translate(0 7.513000000000001)">
                                                                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                <use xlink:href="#g3F58EBEBE6F3781A3A93CEFCB6D4A8C8" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                            </g>
                                                                                                                                                                                                        </g>
                                                                                                                                                                                                        <g transform="translate(9.930555555555557 7.513000000000001)">
                                                                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                <use xlink:href="#g99F10B621EE03B8DEC850BF2CF8BD2E2" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                            </g>
                                                                                                                                                                                                        </g>
                                                                                                                                                                                                        <g transform="translate(19.707111111111114 7.513000000000001)">
                                                                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                <use xlink:href="#g7D67E1C75994B3229D773B565CECCBEA" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                            </g>
                                                                                                                                                                                                        </g>
                                                                                                                                                                                                    </g>
                                                                                                                                                                                                </g>
                                                                                                                                                                                            </g>
                                                                                                                                                                                        </g>
                                                                                                                                                                                    </g>
                                                                                                                                                                                </g>
                                                                                                                                                                            </g>
                                                                                                                                                                        </g>
                                                                                                                                                                    </g>
                                                                                                                                                                </g>
                                                                                                                                                            </g>
                                                                                                                                                        </g>
                                                                                                                                                    </g>
                                                                                                                                                </g>
                                                                                                                                            </g>
                                                                                                                                            <g transform="translate(0 32.626000000000005)">
                                                                                                                                                <g class="typst-group">
                                                                                                                                                    <g>
                                                                                                                                                        <g transform="translate(0 0)">
                                                                                                                                                            <g class="typst-group">
                                                                                                                                                                <g>
                                                                                                                                                                    <g transform="translate(0 4.4)">
                                                                                                                                                                        <path class="typst-shape" fill="none" stroke="#000000" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="4" d="M 0 0 L 121.03978 0 "/>
                                                                                                                                                                    </g>
                                                                                                                                                                    <g transform="translate(123.03977777777779 -1.0064999999999995)">
                                                                                                                                                                        <g class="typst-group">
                                                                                                                                                                            <g>
                                                                                                                                                                                <g transform="translate(0 7.513000000000001)">
                                                                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                        <use xlink:href="#g8E54F91CFD0E7EF6AE55E7A3AFAECE3C" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                    </g>
                                                                                                                                                                                </g>
                                                                                                                                                                                <g transform="translate(11 10.23)">
                                                                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                        <use xlink:href="#g2D35C76B16D8FF2805B18CA016D4F8A0" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                    </g>
                                                                                                                                                                                </g>
                                                                                                                                                                            </g>
                                                                                                                                                                        </g>
                                                                                                                                                                    </g>
                                                                                                                                                                </g>
                                                                                                                                                            </g>
                                                                                                                                                        </g>
                                                                                                                                                    </g>
                                                                                                                                                </g>
                                                                                                                                            </g>
                                                                                                                                            <g transform="translate(48.02633333333333 41.42600000000001)">
                                                                                                                                                <g class="typst-group">
                                                                                                                                                    <g>
                                                                                                                                                        <g transform="translate(0 7.513000000000001)">
                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                <use xlink:href="#g3F58EBEBE6F3781A3A93CEFCB6D4A8C8" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                            </g>
                                                                                                                                                        </g>
                                                                                                                                                        <g transform="translate(9.930555555555557 7.513000000000001)">
                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                <use xlink:href="#g99F10B621EE03B8DEC850BF2CF8BD2E2" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                            </g>
                                                                                                                                                        </g>
                                                                                                                                                        <g transform="translate(19.707111111111114 7.513000000000001)">
                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                <use xlink:href="#g9DB6816BDE9576052FD66662810303CD" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                            </g>
                                                                                                                                                        </g>
                                                                                                                                                    </g>
                                                                                                                                                </g>
                                                                                                                                            </g>
                                                                                                                                        </g>
                                                                                                                                    </g>
                                                                                                                                </g>
                                                                                                                            </g>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(162.58762222222222 16.313000000000002)">
                                                                                                                        <g class="typst-group">
                                                                                                                            <g>
                                                                                                                                <g transform="translate(0 0)">
                                                                                                                                    <g class="typst-group">
                                                                                                                                        <g>
                                                                                                                                            <g transform="translate(0 0)">
                                                                                                                                                <g class="typst-group">
                                                                                                                                                    <g>
                                                                                                                                                        <g transform="translate(0 0)">
                                                                                                                                                            <g class="typst-group">
                                                                                                                                                                <g>
                                                                                                                                                                    <g transform="translate(27.124 0)">
                                                                                                                                                                        <g class="typst-group">
                                                                                                                                                                            <g/>
                                                                                                                                                                        </g>
                                                                                                                                                                    </g>
                                                                                                                                                                    <g transform="translate(0 0)">
                                                                                                                                                                        <g class="typst-group">
                                                                                                                                                                            <g>
                                                                                                                                                                                <g transform="translate(0 0)">
                                                                                                                                                                                    <g class="typst-group">
                                                                                                                                                                                        <g>
                                                                                                                                                                                            <g transform="translate(0 4.4)">
                                                                                                                                                                                                <path class="typst-shape" fill="none" stroke="#000000" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="4" d="M 0 0 L 54.248 0 "/>
                                                                                                                                                                                            </g>
                                                                                                                                                                                            <g transform="translate(56.248 -0.8689999999999993)">
                                                                                                                                                                                                <g class="typst-group">
                                                                                                                                                                                                    <g>
                                                                                                                                                                                                        <g transform="translate(0 7.238)">
                                                                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                                <use xlink:href="#g3BBB0C0DD22D4D9D9ADB01E4C8235C5" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                                <use xlink:href="#g813F8E7D29E6DEAD868AD8DA54B96EFA" x="5.027" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                            </g>
                                                                                                                                                                                                        </g>
                                                                                                                                                                                                    </g>
                                                                                                                                                                                                </g>
                                                                                                                                                                                            </g>
                                                                                                                                                                                        </g>
                                                                                                                                                                                    </g>
                                                                                                                                                                                </g>
                                                                                                                                                                            </g>
                                                                                                                                                                        </g>
                                                                                                                                                                    </g>
                                                                                                                                                                    <g transform="translate(2 8.8)">
                                                                                                                                                                        <g class="typst-group">
                                                                                                                                                                            <g>
                                                                                                                                                                                <g transform="translate(0 0)">
                                                                                                                                                                                    <g class="typst-group">
                                                                                                                                                                                        <g>
                                                                                                                                                                                            <g transform="translate(0 7.513000000000001)">
                                                                                                                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                    <use xlink:href="#g3F58EBEBE6F3781A3A93CEFCB6D4A8C8" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                </g>
                                                                                                                                                                                            </g>
                                                                                                                                                                                            <g transform="translate(9.930555555555557 7.513000000000001)">
                                                                                                                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                    <use xlink:href="#g99F10B621EE03B8DEC850BF2CF8BD2E2" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                </g>
                                                                                                                                                                                            </g>
                                                                                                                                                                                            <g transform="translate(19.707111111111114 7.513000000000001)">
                                                                                                                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                    <use xlink:href="#g7D67E1C75994B3229D773B565CECCBEA" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                </g>
                                                                                                                                                                                            </g>
                                                                                                                                                                                            <g transform="translate(27.849555555555558 7.513000000000001)">
                                                                                                                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                    <use xlink:href="#g57903EADA97AB9EAE67EA52EB5C6A033" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                </g>
                                                                                                                                                                                            </g>
                                                                                                                                                                                            <g transform="translate(37.631 7.513000000000001)">
                                                                                                                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                    <use xlink:href="#g5F7070DF69082C5A3E461B65292D9F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                </g>
                                                                                                                                                                                            </g>
                                                                                                                                                                                            <g transform="translate(44.967999999999996 7.513000000000001)">
                                                                                                                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                                    <use xlink:href="#g9DB6816BDE9576052FD66662810303CD" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                                </g>
                                                                                                                                                                                            </g>
                                                                                                                                                                                        </g>
                                                                                                                                                                                    </g>
                                                                                                                                                                                </g>
                                                                                                                                                                            </g>
                                                                                                                                                                        </g>
                                                                                                                                                                    </g>
                                                                                                                                                                </g>
                                                                                                                                                            </g>
                                                                                                                                                        </g>
                                                                                                                                                    </g>
                                                                                                                                                </g>
                                                                                                                                            </g>
                                                                                                                                            <g transform="translate(0 16.313000000000002)">
                                                                                                                                                <g class="typst-group">
                                                                                                                                                    <g>
                                                                                                                                                        <g transform="translate(0 0)">
                                                                                                                                                            <g class="typst-group">
                                                                                                                                                                <g>
                                                                                                                                                                    <g transform="translate(0 4.4)">
                                                                                                                                                                        <path class="typst-shape" fill="none" stroke="#000000" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="4" d="M 0 0 L 54.248 0 "/>
                                                                                                                                                                    </g>
                                                                                                                                                                    <g transform="translate(56.248 -1.0064999999999995)">
                                                                                                                                                                        <g class="typst-group">
                                                                                                                                                                            <g>
                                                                                                                                                                                <g transform="translate(0 7.513000000000001)">
                                                                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                        <use xlink:href="#g57903EADA97AB9EAE67EA52EB5C6A033" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                    </g>
                                                                                                                                                                                </g>
                                                                                                                                                                                <g transform="translate(7.337000000000001 3.5200000000000005)">
                                                                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                        <use xlink:href="#g5BCE45881A779980E0A5E334E0F66385" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                    </g>
                                                                                                                                                                                </g>
                                                                                                                                                                                <g transform="translate(7.337000000000001 10.23)">
                                                                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                                        <use xlink:href="#g2D35C76B16D8FF2805B18CA016D4F8A0" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                                                    </g>
                                                                                                                                                                                </g>
                                                                                                                                                                            </g>
                                                                                                                                                                        </g>
                                                                                                                                                                    </g>
                                                                                                                                                                </g>
                                                                                                                                                            </g>
                                                                                                                                                        </g>
                                                                                                                                                    </g>
                                                                                                                                                </g>
                                                                                                                                            </g>
                                                                                                                                            <g transform="translate(10.961944444444443 25.113000000000003)">
                                                                                                                                                <g class="typst-group">
                                                                                                                                                    <g>
                                                                                                                                                        <g transform="translate(0 7.513000000000001)">
                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                <use xlink:href="#g3F58EBEBE6F3781A3A93CEFCB6D4A8C8" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                            </g>
                                                                                                                                                        </g>
                                                                                                                                                        <g transform="translate(9.930555555555557 7.513000000000001)">
                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                <use xlink:href="#g99F10B621EE03B8DEC850BF2CF8BD2E2" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                            </g>
                                                                                                                                                        </g>
                                                                                                                                                        <g transform="translate(19.707111111111114 7.513000000000001)">
                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                <use xlink:href="#g5F7070DF69082C5A3E461B65292D9F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                            </g>
                                                                                                                                                        </g>
                                                                                                                                                        <g transform="translate(27.044111111111114 7.513000000000001)">
                                                                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                                                <use xlink:href="#g9DB6816BDE9576052FD66662810303CD" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                                            </g>
                                                                                                                                                        </g>
                                                                                                                                                    </g>
                                                                                                                                                </g>
                                                                                                                                            </g>
                                                                                                                                        </g>
                                                                                                                                    </g>
                                                                                                                                </g>
                                                                                                                            </g>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                </g>
                                                                                                            </g>
                                                                                                        </g>
                                                                                                    </g>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(46.02633333333333 48.93900000000001)">
                                                                                                <g class="typst-group">
                                                                                                    <g>
                                                                                                        <g transform="translate(0 0)">
                                                                                                            <g class="typst-group">
                                                                                                                <g>
                                                                                                                    <g transform="translate(0 4.4)">
                                                                                                                        <path class="typst-shape" fill="none" stroke="#000000" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="4" d="M 0 0 L 161.84735 0 "/>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(163.84734444444447 -1.0064999999999995)">
                                                                                                                        <g class="typst-group">
                                                                                                                            <g>
                                                                                                                                <g transform="translate(0 7.513000000000001)">
                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                        <use xlink:href="#g5F7070DF69082C5A3E461B65292D9F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                    </g>
                                                                                                                                </g>
                                                                                                                                <g transform="translate(7.337000000000001 10.23)">
                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                        <use xlink:href="#g2D35C76B16D8FF2805B18CA016D4F8A0" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                    </g>
                                                                                                                                </g>
                                                                                                                            </g>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                </g>
                                                                                                            </g>
                                                                                                        </g>
                                                                                                    </g>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(86.02206111111111 57.739000000000004)">
                                                                                                <g class="typst-group">
                                                                                                    <g>
                                                                                                        <g transform="translate(0 0)">
                                                                                                            <g class="typst-group">
                                                                                                                <g>
                                                                                                                    <g transform="translate(0 7.524000000000001)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g7D67E1C75994B3229D773B565CECCBEA" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(8.753555555555556 7.524000000000001)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g8E54F91CFD0E7EF6AE55E7A3AFAECE3C" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(22.80911111111111 7.524000000000001)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g9DB6816BDE9576052FD66662810303CD" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(28.08911111111111 7.524000000000001)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#gECCFA400DB7C24845CCCCF4FB3B495EE" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(32.980444444444444 7.524000000000001)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g7D67E1C75994B3229D773B565CECCBEA" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(41.12288888888889 7.524000000000001)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g57903EADA97AB9EAE67EA52EB5C6A033" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(50.90433333333333 7.524000000000001)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g5F7070DF69082C5A3E461B65292D9F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(58.24133333333333 7.524000000000001)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g9DB6816BDE9576052FD66662810303CD" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(0 11.209000000000003)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#gD8B6CF95F197BA70A804764C0D6FE8F3" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(10.418833333333334 11.209000000000003)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#gB41C746BA601CE2BB499C98488F7D909" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(20.749666666666663 11.209000000000003)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g40E03F594302710C8D065A06968D7A66" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(42.179500000000004 11.209000000000003)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#gB41C746BA601CE2BB499C98488F7D909" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(52.510333333333335 11.209000000000003)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g82C89B4213E546BD3787910113E42068" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(29.042566666666666 23.0703)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g503628348ECFBE7BCA09A75C57ACFCFF" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(66.57688888888889 7.524000000000001)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g99F10B621EE03B8DEC850BF2CF8BD2E2" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(73.29788888888889 7.524000000000001)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#gF7418FD6D0B077508416A6038A71C24E" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                </g>
                                                                                                            </g>
                                                                                                        </g>
                                                                                                    </g>
                                                                                                </g>
                                                                                            </g>
                                                                                        </g>
                                                                                    </g>
                                                                                </g>
                                                                            </g>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(81.27145 80.80930000000001)">
                                                                        <g class="typst-group">
                                                                            <g>
                                                                                <g transform="translate(0 0)">
                                                                                    <g class="typst-group">
                                                                                        <g>
                                                                                            <g transform="translate(0 4.4)">
                                                                                                <path class="typst-shape" fill="none" stroke="#000000" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="4" d="M 0 0 L 91.35711 0 "/>
                                                                                            </g>
                                                                                            <g transform="translate(93.35711111111111 -1.0064999999999995)">
                                                                                                <g class="typst-group">
                                                                                                    <g>
                                                                                                        <g transform="translate(0 7.513000000000001)">
                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                <use xlink:href="#g5F7070DF69082C5A3E461B65292D9F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                            </g>
                                                                                                        </g>
                                                                                                        <g transform="translate(7.337000000000001 10.23)">
                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                <use xlink:href="#g43ED73804051FF53C1DD04ACD7D70025" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                            </g>
                                                                                                        </g>
                                                                                                    </g>
                                                                                                </g>
                                                                                            </g>
                                                                                        </g>
                                                                                    </g>
                                                                                </g>
                                                                            </g>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(83.27145 89.6093)">
                                                                        <g class="typst-group">
                                                                            <g>
                                                                                <g transform="translate(0 0)">
                                                                                    <g class="typst-group">
                                                                                        <g>
                                                                                            <g transform="translate(0 7.513000000000001)">
                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                    <use xlink:href="#g7D67E1C75994B3229D773B565CECCBEA" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(8.753555555555556 7.513000000000001)">
                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                    <use xlink:href="#g8E54F91CFD0E7EF6AE55E7A3AFAECE3C" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(22.80911111111111 7.513000000000001)">
                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                    <use xlink:href="#g9DB6816BDE9576052FD66662810303CD" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(31.144666666666666 7.513000000000001)">
                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                    <use xlink:href="#g99F10B621EE03B8DEC850BF2CF8BD2E2" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(40.92122222222223 7.513000000000001)">
                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                    <use xlink:href="#g5F7070DF69082C5A3E461B65292D9F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(48.25822222222222 7.513000000000001)">
                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                    <use xlink:href="#gBDC9A862A18A9D4A8A7A352B147A4D07" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(52.537222222222226 7.513000000000001)">
                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                    <use xlink:href="#g7D67E1C75994B3229D773B565CECCBEA" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(60.67966666666668 7.513000000000001)">
                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                    <use xlink:href="#g57903EADA97AB9EAE67EA52EB5C6A033" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(70.46111111111112 7.513000000000001)">
                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                    <use xlink:href="#g5F7070DF69082C5A3E461B65292D9F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(77.79811111111113 7.513000000000001)">
                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                    <use xlink:href="#g9DB6816BDE9576052FD66662810303CD" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(83.07811111111113 7.513000000000001)">
                                                                                                <g class="typst-text" transform="scale(1, -1)">
                                                                                                    <use xlink:href="#g55E05427EA36164E6B2C3D1D4663D294" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                </g>
                                                                                            </g>
                                                                                        </g>
                                                                                    </g>
                                                                                </g>
                                                                            </g>
                                                                        </g>
                                                                    </g>
                                                                </g>
                                                            </g>
                                                        </g>
                                                    </g>
                                                </g>
                                            </g>
                                            <g transform="translate(69.96467222222222 97.12230000000001)">
                                                <g class="typst-group">
                                                    <g>
                                                        <g transform="translate(0 0)">
                                                            <g class="typst-group">
                                                                <g>
                                                                    <g transform="translate(0 4.4)">
                                                                        <path class="typst-shape" fill="none" stroke="#000000" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="4" d="M 0 0 L 113.970665 0 "/>
                                                                    </g>
                                                                    <g transform="translate(115.97066666666667 -1.0064999999999995)">
                                                                        <g class="typst-group">
                                                                            <g>
                                                                                <g transform="translate(0 7.513000000000001)">
                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                        <use xlink:href="#g8E54F91CFD0E7EF6AE55E7A3AFAECE3C" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                    </g>
                                                                                </g>
                                                                                <g transform="translate(11 10.23)">
                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                        <use xlink:href="#g43ED73804051FF53C1DD04ACD7D70025" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                    </g>
                                                                                </g>
                                                                            </g>
                                                                        </g>
                                                                    </g>
                                                                </g>
                                                            </g>
                                                        </g>
                                                    </g>
                                                </g>
                                            </g>
                                            <g transform="translate(71.96467222222222 105.9223)">
                                                <g class="typst-group">
                                                    <g>
                                                        <g transform="translate(0 0)">
                                                            <g class="typst-group">
                                                                <g>
                                                                    <g transform="translate(0 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g99F10B621EE03B8DEC850BF2CF8BD2E2" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(9.776555555555557 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#gBDC9A862A18A9D4A8A7A352B147A4D07" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(14.055555555555557 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g7D67E1C75994B3229D773B565CECCBEA" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(22.809111111111115 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g8E54F91CFD0E7EF6AE55E7A3AFAECE3C" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(36.86466666666667 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g9DB6816BDE9576052FD66662810303CD" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(42.14466666666668 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g55E05427EA36164E6B2C3D1D4663D294" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(49.47922222222223 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g8E54F91CFD0E7EF6AE55E7A3AFAECE3C" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(63.53477777777779 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g5F7070DF69082C5A3E461B65292D9F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(70.8717777777778 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#gBDC9A862A18A9D4A8A7A352B147A4D07" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(75.15077777777779 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g7D67E1C75994B3229D773B565CECCBEA" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(83.29322222222224 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g57903EADA97AB9EAE67EA52EB5C6A033" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(93.07466666666669 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g5F7070DF69082C5A3E461B65292D9F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(100.41166666666669 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g9DB6816BDE9576052FD66662810303CD" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(105.69166666666669 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g55E05427EA36164E6B2C3D1D4663D294" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                </g>
                                                            </g>
                                                        </g>
                                                    </g>
                                                </g>
                                            </g>
                                        </g>
                                    </g>
                                </g>
                            </g>
                        </g>
                    </g>
                </g>
            </g>
        </g>
    </g>
    <defs id="glyph">
        <symbol id="g3BBB0C0DD22D4D9D9ADB01E4C8235C5" overflow="visible">
            <path d="M 3.223 0.528 C 3.289 0.187 3.41 -0.11 3.96 -0.11 C 4.378 -0.11 4.774 0.077 5.005 0.297 C 4.983 0.429 4.939 0.528 4.818 0.594 C 4.741 0.528 4.554 0.41799998 4.411 0.41799998 C 4.092 0.41799998 4.081 0.847 4.081 1.353 L 4.081 2.97 C 4.081 4.532 3.223 4.829 2.42 4.829 C 1.518 4.829 0.605 4.235 0.605 3.608 C 0.605 3.3439999 0.737 3.212 0.99 3.212 C 1.309 3.212 1.507 3.443 1.507 3.586 C 1.507 3.6629999 1.496 3.74 1.474 3.784 C 1.4629999 3.817 1.452 3.883 1.452 4.004 C 1.452 4.345 1.914 4.466 2.332 4.466 C 2.706 4.466 3.223 4.279 3.223 3.036 C 3.223 2.9589999 3.19 2.915 3.157 2.904 L 2.211 2.673 C 1.155 2.409 0.396 1.826 0.396 1.078 C 0.396 0.176 1.012 -0.11 1.782 -0.11 C 2.167 -0.11 2.497 -0.022 2.981 0.352 L 3.201 0.528 Z M 3.223 2.563 L 3.223 1.111 C 3.223 0.968 3.157 0.891 3.069 0.825 C 2.783 0.594 2.409 0.341 2.101 0.341 C 1.551 0.341 1.309 0.781 1.309 1.122 C 1.309 1.617 1.54 2.123 2.354 2.332 Z "/>
        </symbol>
        <symbol id="g813F8E7D29E6DEAD868AD8DA54B96EFA" overflow="visible">
            <path d="M 2.002 3.938 C 1.749 4.312 1.826 4.323 2.321 4.378 C 2.387 4.444 2.387 4.675 2.321 4.741 C 2.024 4.73 1.54 4.719 1.21 4.719 C 0.88 4.719 0.55 4.73 0.264 4.741 C 0.198 4.675 0.198 4.444 0.264 4.378 C 0.638 4.345 0.946 4.158 1.254 3.707 L 2.211 2.31 C 2.266 2.233 2.266 2.2 2.222 2.145 L 1.298 0.957 C 0.858 0.396 0.616 0.363 0.231 0.341 C 0.16499999 0.275 0.16499999 0.044 0.231 -0.022 C 0.451 -0.011 0.693 0 1.023 0 C 1.353 0 1.661 -0.011 1.947 -0.022 C 2.013 0.044 2.013 0.275 1.947 0.341 C 1.551 0.385 1.4629999 0.429 1.705 0.781 L 2.398 1.782 C 2.486 1.914 2.53 1.903 2.596 1.804 L 3.234 0.924 C 3.619 0.396 3.443 0.374 3.091 0.341 C 3.025 0.275 3.025 0.044 3.091 -0.022 C 3.421 -0.011 3.784 0 4.18 0 C 4.598 0 4.895 -0.011 5.159 -0.022 C 5.225 0.044 5.225 0.275 5.159 0.341 C 4.664 0.374 4.499 0.407 4.059 1.034 L 3.069 2.431 C 3.025 2.497 3.014 2.53 3.069 2.596 L 3.993 3.773 C 4.4 4.29 4.664 4.345 5.06 4.378 C 5.126 4.444 5.126 4.675 5.06 4.741 C 4.84 4.73 4.587 4.719 4.257 4.719 C 3.927 4.719 3.619 4.73 3.333 4.741 C 3.267 4.675 3.267 4.444 3.333 4.378 C 3.74 4.334 3.861 4.301 3.597 3.927 L 2.882 2.9259999 C 2.805 2.816 2.761 2.827 2.673 2.948 Z "/>
        </symbol>
        <symbol id="g3F58EBEBE6F3781A3A93CEFCB6D4A8C8" overflow="visible">
            <path d="M 3.014 7.051 L 4.136 7.051 C 4.873 7.051 5.357 6.886 5.599 6.5559998 C 5.9179997 6.105 5.9509997 5.72 6.05 4.95 L 6.413 4.95 L 6.094 7.48 L 0.363 7.48 L 0.363 7.051 L 0.671 7.051 C 1.056 7.051 1.287 7.029 1.364 6.974 C 1.441 6.919 1.485 6.787 1.485 6.5889997 L 1.485 0.891 C 1.485 0.693 1.441 0.561 1.364 0.506 C 1.287 0.451 1.056 0.429 0.671 0.429 L 0.363 0.429 L 0.363 0 C 0.649 0.022 1.21 0.033 2.057 0.033 C 3.014 0.033 3.6299999 0.022 3.916 0 L 3.916 0.429 L 3.52 0.429 C 2.937 0.429 2.618 0.484 2.563 0.605 C 2.541 0.65999997 2.53 0.759 2.53 0.902 L 2.53 6.666 C 2.53 7.051 2.596 7.051 3.014 7.051 Z "/>
        </symbol>
        <symbol id="g99F10B621EE03B8DEC850BF2CF8BD2E2" overflow="visible">
            <path d="M 5.8519998 4.026 L 1.133 4.026 L 1.133 7.2599998 C 1.133 7.436 1.045 7.524 0.88 7.524 C 0.704 7.524 0.616 7.436 0.616 7.2599998 L 0.616 0.264 C 0.616 0.088 0.704 0 0.88 0 C 1.045 0 1.133 0.088 1.133 0.264 L 1.133 3.498 L 5.8519998 3.498 C 6.028 3.498 6.116 3.586 6.116 3.762 C 6.116 3.905 5.995 4.026 5.8519998 4.026 Z "/>
        </symbol>
        <symbol id="g7D67E1C75994B3229D773B565CECCBEA" overflow="visible">
            <path d="M 3.905 4.862 C 3.421 4.862 2.9589999 4.609 2.508 4.103 C 2.387 4.609 2.046 4.862 1.507 4.862 C 1.056 4.862 0.726 4.499 0.495 3.784 C 0.385 3.421 0.32999998 3.212 0.32999998 3.146 C 0.32999998 3.047 0.385 2.992 0.506 2.992 C 0.561 2.992 0.594 3.003 0.627 3.025 C 0.682 3.124 0.715 3.201 0.726 3.2779999 C 0.924 4.114 1.177 4.532 1.474 4.532 C 1.6719999 4.532 1.771 4.378 1.771 4.081 C 1.771 3.916 1.749 3.729 1.694 3.531 L 0.484 -1.298 C 0.385 -1.661 0.374 -1.705 -0.055 -1.705 C -0.253 -1.705 -0.352 -1.793 -0.352 -1.958 C -0.352 -2.079 -0.286 -2.134 -0.16499999 -2.134 C 0 -2.134 0.572 -2.101 0.737 -2.101 C 0.946 -2.101 1.606 -2.134 1.8149999 -2.134 C 1.98 -2.134 2.057 -2.046 2.057 -1.87 C 2.057 -1.76 1.958 -1.705 1.749 -1.705 C 1.551 -1.705 1.254 -1.716 1.254 -1.584 C 1.254 -1.441 1.705 0.286 1.749 0.473 C 1.969 0.066 2.299 -0.143 2.739 -0.143 C 3.454 -0.143 4.081 0.22 4.631 0.957 C 5.137 1.628 5.39 2.343 5.39 3.08 C 5.39 4.037 4.818 4.862 3.905 4.862 Z M 3.872 4.532 C 4.301 4.532 4.521 4.202 4.521 3.553 C 4.521 3.256 4.455 2.86 4.334 2.365 C 4.081 1.408 3.762 0.781 3.377 0.462 C 3.146 0.275 2.937 0.176 2.728 0.176 C 2.409 0.176 2.189 0.319 2.068 0.616 C 1.969 0.847 1.914 1.012 1.914 1.1 L 2.475 3.399 C 2.53 3.641 2.728 3.894 3.036 4.147 C 3.3439999 4.4 3.619 4.532 3.872 4.532 Z "/>
        </symbol>
        <symbol id="g8E54F91CFD0E7EF6AE55E7A3AFAECE3C" overflow="visible">
            <path d="M 10.252 2.574 C 10.3289995 2.6069999 10.373 2.673 10.373 2.75 C 10.373 2.827 10.3289995 2.893 10.252 2.9259999 C 9.724 3.102 9.229 3.476 8.767 4.048 C 8.459 4.433 8.25 4.884 8.151 5.401 C 8.118 5.544 8.03 5.61 7.887 5.61 C 7.711 5.61 7.623 5.522 7.623 5.335 L 7.634 5.313 L 7.634 5.302 C 7.821 4.345 8.305 3.586 9.108 3.014 L 0.902 3.014 C 0.726 3.014 0.638 2.9259999 0.638 2.75 C 0.638 2.574 0.726 2.486 0.902 2.486 L 9.108 2.486 C 8.305 1.914 7.821 1.155 7.634 0.198 L 7.634 0.187 L 7.623 0.16499999 C 7.623 -0.022 7.711 -0.11 7.887 -0.11 C 8.03 -0.11 8.118 -0.044 8.151 0.099 C 8.25 0.616 8.459 1.067 8.767 1.452 C 9.229 2.024 9.724 2.398 10.252 2.574 Z "/>
        </symbol>
        <symbol id="g9DB6816BDE9576052FD66662810303CD" overflow="visible">
            <path d="M 4.092 4.147 C 3.872 4.62 3.531 4.862 3.08 4.862 C 2.365 4.862 1.738 4.499 1.199 3.762 C 0.693 3.08 0.44 2.376 0.44 1.6389999 C 0.44 0.682 0.99 -0.143 1.903 -0.143 C 2.299 -0.143 2.695 0.044 3.102 0.41799998 L 2.651 -1.386 C 2.618 -1.551 2.519 -1.65 2.365 -1.683 C 2.31 -1.694 2.167 -1.705 1.914 -1.705 C 1.848 -1.716 1.804 -1.716 1.782 -1.716 C 1.683 -1.727 1.628 -1.8149999 1.628 -1.969 L 1.628 -2.013 C 1.661 -2.09 1.727 -2.134 1.8149999 -2.134 C 2.024 -2.134 2.684 -2.101 2.893 -2.101 C 3.102 -2.101 3.795 -2.134 4.004 -2.134 C 4.158 -2.134 4.235 -2.046 4.235 -1.87 C 4.235 -1.76 4.125 -1.705 3.916 -1.705 C 3.718 -1.705 3.443 -1.716 3.443 -1.584 C 3.443 -1.54 3.454 -1.4629999 3.487 -1.353 L 4.972 4.697 C 4.972 4.796 4.917 4.851 4.818 4.851 C 4.62 4.851 4.202 4.301 4.092 4.147 Z M 3.74 4.103 C 3.839 3.872 3.894 3.718 3.894 3.619 C 3.894 3.608 3.883 3.542 3.861 3.443 L 3.597 2.376 C 3.388 1.584 3.289 1.177 3.2779999 1.155 C 3.069 0.77 2.464 0.176 1.936 0.176 C 1.507 0.176 1.287 0.506 1.287 1.155 C 1.287 1.661 1.628 2.893 1.782 3.3 C 1.9909999 3.817 2.475 4.532 3.08 4.532 C 3.377 4.532 3.597 4.389 3.74 4.103 Z "/>
        </symbol>
        <symbol id="g57903EADA97AB9EAE67EA52EB5C6A033" overflow="visible">
            <path d="M 6.314 -0.22 C 6.49 -0.22 6.6549997 -0.055 6.567 0.143 L 3.927 6.446 C 3.883 6.567 3.795 6.6219997 3.674 6.6219997 C 3.553 6.6219997 3.465 6.567 3.421 6.446 L 0.781 0.143 C 0.77 0.11 0.759 0.066 0.759 0.022 C 0.759 -0.143 0.847 -0.22 1.023 -0.22 C 1.133 -0.22 1.21 -0.16499999 1.254 -0.066 L 3.674 5.709 L 6.083 -0.066 C 6.127 -0.16499999 6.204 -0.22 6.314 -0.22 Z "/>
        </symbol>
        <symbol id="g5F7070DF69082C5A3E461B65292D9F57" overflow="visible">
            <path d="M 6.5559998 1.4629999 C 6.732 1.4629999 6.82 1.551 6.82 1.716 L 6.82 3.784 C 6.82 3.949 6.732 4.037 6.5559998 4.037 L 0.781 4.037 C 0.605 4.037 0.517 3.949 0.517 3.784 C 0.517 3.619 0.605 3.531 0.781 3.531 L 6.303 3.531 L 6.303 1.716 C 6.303 1.551 6.391 1.4629999 6.5559998 1.4629999 Z "/>
        </symbol>
        <symbol id="gDD2C9361850AAD1772076B1714CBC5D0" overflow="visible">
            <path d="M 0.3388 0.5467 C 0.3619 0.5467 0.4697 0.6314 0.6622 0.80079997 L 0.9086 1.0164 C 1.0395 0.27719998 1.3706 -0.0924 1.9018999 -0.0924 C 2.2175999 -0.0924 2.5949 0.077 3.0338 0.4235 C 3.1647 0.5313 3.234 0.6083 3.234 0.6622 C 3.234 0.73149997 3.157 0.8393 3.0877 0.8393 C 3.0492 0.8393 2.9876 0.80079997 2.9029 0.7161 C 2.5102 0.3619 2.1791 0.1848 1.9096 0.1848 C 1.6863 0.1848 1.54 0.3311 1.4861 0.6314 C 1.4476 0.847 1.4245 1.0318 1.4245 1.1858 C 1.4245 1.3398 1.4322 1.5092 1.5246 1.6015999 C 2.7642999 2.7797 3.3803 3.8192 3.3803 4.7278 C 3.3803 5.1898 3.2031999 5.4208 2.849 5.4208 C 2.4255 5.4208 2.002 5.0127 1.5708 4.1965 C 1.309 3.696 1.1087999 3.1416 0.97789997 2.5333 C 0.9009 2.1868 0.8624 1.8018 0.8624 1.3937 C 0.7238 1.2474 0.539 1.0857 0.3157 0.9009 C 0.2233 0.8239 0.1771 0.7623 0.1771 0.7161 C 0.1771 0.6391 0.2618 0.5467 0.3388 0.5467 Z M 2.8413 5.1436 C 3.003 5.1436 3.08 5.0204 3.08 4.7817 C 3.08 3.9732 2.5641 3.0492 1.5246 2.0251 C 1.617 2.5256 1.771 3.1339 1.9943 3.8346 C 2.1329 4.2427 2.4794 5.1436 2.8413 5.1436 Z "/>
        </symbol>
        <symbol id="g2D35C76B16D8FF2805B18CA016D4F8A0" overflow="visible">
            <path d="M 3.6498 0.9702 C 3.6036 0.9702 3.5574 0.9394 3.5112 0.8778 C 3.1185 0.4235 2.5872 0.1925 1.925 0.1925 C 1.4399 0.1925 1.1935 0.4851 1.1935 1.078 C 1.1935 1.2397 1.2243 1.4553 1.2782 1.7248 L 1.7325 1.7248 C 3.003 1.7248 3.6421 2.0482 3.6421 2.7027 C 3.6421 3.157 3.1647 3.3957 2.6796 3.3957 C 2.3562 3.3957 2.0328 3.3187 1.7093999 3.1724 C 1.0857 2.8875 0.5159 2.2253 0.5159 1.3783 C 0.5159 0.5313 1.0626 -0.077 1.9096 -0.077 C 2.387 -0.077 2.7951 0.0154 3.1339 0.20019999 C 3.3109999 0.3003 3.8115 0.6237 3.8115 0.8085 C 3.8115 0.8778 3.7191 0.9702 3.6498 0.9702 Z M 3.2570999 2.7027 C 3.2570999 2.233 2.7335 1.9943 1.6863 1.9943 L 1.3552 1.9943 C 1.5015 2.4794 1.7325 2.8028 2.0559 2.9491 C 2.31 3.0646 2.5179 3.1262 2.6796 3.1262 C 2.9722 3.1262 3.2570999 2.9799 3.2570999 2.7027 Z "/>
        </symbol>
        <symbol id="g5BCE45881A779980E0A5E334E0F66385" overflow="visible">
            <path d="M 3.9424 2.8105 C 3.9424 3.2109 3.5343 3.3957 3.1108 3.3957 C 2.7181 3.3957 2.3639 3.2263 2.0559 2.8875 C 2.0097 3.0107 1.9404 3.1108 1.8403 3.1955 C 1.6632 3.3264 1.4707 3.3957 1.2628 3.3957 C 1.001 3.3957 0.7931 3.2648 0.6468 2.9953 C 0.4543 2.6642 0.3619 2.4024 0.3619 2.2099 C 0.3619 2.1252 0.4158 2.079 0.5236 2.079 C 0.6776 2.079 0.6699 2.1637 0.7161 2.3253999 C 0.847 2.8567 1.0241 3.1262 1.2397 3.1262 C 1.386 3.1262 1.4629999 3.0107 1.4629999 2.7797 C 1.4629999 2.695 1.4245 2.4948 1.3398 2.1637 L 0.9317 0.5159 C 0.8778 0.308 0.85469997 0.20019999 0.85469997 0.1925 C 0.85469997 0.0154 0.9471 -0.077 1.1396 -0.077 C 1.4090999 -0.077 1.4861 0.0924 1.5477 0.3465 C 1.7171 1.0472 1.848 1.5708 1.9404 1.9327 C 2.0097 2.1791 2.0405 2.31 2.0405 2.3177 C 2.0482 2.3562 2.1021 2.4486 2.2022 2.5872 C 2.4563 2.9491 2.7566 3.1262 3.1031 3.1262 C 3.234 3.1262 3.3495 3.1031 3.4419 3.0569 C 3.2494 2.9722 3.157 2.8336 3.157 2.6334 C 3.157 2.4486 3.3033 2.3177 3.4881 2.3177 C 3.7498999 2.3177 3.9424 2.5487 3.9424 2.8105 Z "/>
        </symbol>
        <symbol id="gECCFA400DB7C24845CCCCF4FB3B495EE" overflow="visible">
            <path d="M 1.529 1.166 C 1.177 1.166 0.946 0.902 0.946 0.55 C 0.946 0.22 1.199 -0.055 1.529 -0.055 C 1.683 -0.055 1.8149999 -0.011 1.914 0.088 L 1.925 0 C 1.925 -0.693 1.694 -1.287 1.232 -1.76 C 1.155 -1.848 1.111 -1.914 1.111 -1.958 C 1.111 -2.068 1.155 -2.123 1.254 -2.123 C 1.353 -2.123 1.485 -1.9909999 1.6719999 -1.738 C 2.046 -1.21 2.233 -0.627 2.233 0 C 2.233 0.583 2.035 1.166 1.529 1.166 Z "/>
        </symbol>
        <symbol id="gD8B6CF95F197BA70A804764C0D6FE8F3" overflow="visible">
            <path d="M 5.61 -3.234 L 11.022 -3.234 L 11.022 -2.068 L 5.61 -2.068 C 4.235 -2.068 3.047 -1.969 2.068 -1.76 C 1.089 -1.551 0.517 -1.232 0.352 -0.803 C 0.319 -0.726 0.264 -0.682 0.187 -0.682 C 0.066 -0.682 0 -0.737 0 -0.858 C 0 -0.891 0 -0.924 0.011 -0.935 C 0.286 -1.661 1.1 -2.244 2.475 -2.695 C 3.575 -3.058 4.62 -3.234 5.61 -3.234 Z "/>
        </symbol>
        <symbol id="gB41C746BA601CE2BB499C98488F7D909" overflow="visible">
            <path d="M 0 -3.234 L 10.934 -3.234 L 10.934 -2.068 L 0 -2.068 Z "/>
        </symbol>
        <symbol id="g40E03F594302710C8D065A06968D7A66" overflow="visible">
            <path d="M 16.456 -3.234 L 22.032999 -3.234 L 22.032999 -2.068 L 16.456 -2.068 C 15.477 -2.068 14.4869995 -2.2 13.508 -2.464 C 12.265 -2.805 11.429 -3.2779999 11.011 -3.905 C 10.593 -3.2779999 9.757 -2.805 8.514 -2.464 C 7.535 -2.2 6.545 -2.068 5.566 -2.068 L 0 -2.068 L 0 -3.234 L 5.566 -3.234 C 7.139 -3.234 8.415 -3.333 9.394 -3.531 C 10.351 -3.718 10.824 -4.026 10.824 -4.433 C 10.824 -4.554 10.89 -4.609 11.011 -4.609 C 11.132 -4.609 11.198 -4.554 11.198 -4.433 C 11.198 -4.026 11.682 -3.718 12.65 -3.52 C 13.618 -3.322 14.883 -3.234 16.456 -3.234 Z "/>
        </symbol>
        <symbol id="g82C89B4213E546BD3787910113E42068" overflow="visible">
            <path d="M 11 -0.935 C 11.011 -0.924 11.011 -0.891 11.011 -0.858 C 11.011 -0.737 10.945 -0.682 10.824 -0.682 C 10.747 -0.682 10.681 -0.726 10.648 -0.803 C 10.4939995 -1.232 9.922 -1.551 8.943 -1.76 C 7.9639997 -1.969 6.776 -2.068 5.401 -2.068 L 0 -2.068 L 0 -3.234 L 5.401 -3.234 C 6.391 -3.234 7.436 -3.058 8.536 -2.695 C 9.911 -2.244 10.725 -1.661 11 -0.935 Z "/>
        </symbol>
        <symbol id="g503628348ECFBE7BCA09A75C57ACFCFF" overflow="visible">
            <path d="M 2.3331 4.8972 L 3.2494 4.8972 C 3.8037999 4.8972 4.1734 4.7817 4.3505 4.5584 C 4.5738 4.2581 4.6354 3.9501 4.697 3.4187999 L 5.0204 3.4187999 L 4.7817 5.2283 L 0.4312 5.2283 L 0.4312 4.8972 L 0.6468 4.8972 C 0.9163 4.8972 1.0857 4.8741 1.1396 4.8356 C 1.1935 4.7971 1.2166 4.7124 1.2166 4.5815 L 1.2166 0.6468 C 1.2166 0.5159 1.1858 0.4235 1.1319 0.385 C 1.078 0.3465 0.9163 0.3311 0.6468 0.3311 L 0.4312 0.3311 L 0.4312 0 C 0.4312 0 1.617 0.0308 1.617 0.0308 C 1.617 0.0308 2.9799 0 2.9799 0 L 2.9799 0.3311 L 2.6796 0.3311 C 2.2792 0.3311 2.0559 0.3696 2.0174 0.4543 C 2.002 0.4928 1.9943 0.55439997 1.9943 0.6545 L 1.9943 4.6277 C 1.9943 4.8895 2.0405 4.8972 2.3331 4.8972 Z "/>
        </symbol>
        <symbol id="gF7418FD6D0B077508416A6038A71C24E" overflow="visible">
            <path d="M 7.678 0.517 L 4.5429997 0.517 L 4.5429997 7.2599998 C 4.5429997 7.436 4.455 7.524 4.279 7.524 C 4.103 7.524 4.015 7.436 4.015 7.2599998 L 4.015 0.517 L 0.88 0.517 C 0.704 0.517 0.616 0.429 0.616 0.264 C 0.616 0.088 0.704 0 0.88 0 L 7.678 0 C 7.854 0 7.942 0.088 7.942 0.264 C 7.942 0.396 7.821 0.517 7.678 0.517 Z "/>
        </symbol>
        <symbol id="g43ED73804051FF53C1DD04ACD7D70025" overflow="visible">
            <path d="M 2.5025 4.7817 C 2.5025 4.9665 2.3562 5.1051 2.1714 5.1051 C 1.9404 5.1051 1.7171 4.8895 1.7171 4.6585 C 1.7171 4.4737 1.8634 4.3351 2.0482 4.3351 C 2.2792 4.3351 2.5025 4.5507 2.5025 4.7817 Z M 1.4784 3.4187999 C 1.1165 3.4187999 0.8316 3.234 0.6237 2.8644 C 0.4466 2.5564 0.3619 2.3408 0.3619 2.2175999 C 0.3619 2.1329 0.4158 2.0944 0.5159 2.0944 C 0.6006 2.0944 0.6545 2.1406 0.6853 2.233 C 0.8624 2.8413 1.1165 3.1416 1.4553 3.1416 C 1.5631 3.1416 1.617 3.0646 1.617 2.9029 C 1.617 2.8028 1.54 2.5564 1.386 2.156 L 0.9086 0.9317 C 0.8624 0.8085 0.8393 0.7007 0.8393 0.6006 C 0.8393 0.20019999 1.1858 -0.077 1.5862 -0.077 C 1.9481 -0.077 2.2253 0.1078 2.4332 0.4851 C 2.6103 0.7931 2.695 1.001 2.695 1.1165 C 2.695 1.2012 2.6411 1.2474 2.541 1.2474 C 2.4948 1.2397 2.4409 1.2012 2.387 1.1242 C 2.3792999 1.1165 2.3716 1.1011 2.3716 1.0934 C 2.1945 0.5005 1.9404 0.20019999 1.6093 0.20019999 C 1.5015 0.20019999 1.4476 0.27719998 1.4476 0.4312 C 1.4476 0.5467 1.4861 0.7084 1.5708 0.9086 L 2.1791 2.4871 C 2.2099 2.5718 2.2253 2.6565 2.2253 2.7412 C 2.2253 3.1416 1.8788 3.4187999 1.4784 3.4187999 Z "/>
        </symbol>
        <symbol id="gBDC9A862A18A9D4A8A7A352B147A4D07" overflow="visible">
            <path d="M 3.498 -2.728 C 3.597 -2.728 3.652 -2.673 3.652 -2.574 C 3.652 -2.541 3.6299999 -2.497 3.597 -2.453 C 3.025 -2.013 2.563 -1.287 2.222 -0.286 C 1.925 0.583 1.771 1.441 1.771 2.288 L 1.771 3.212 C 1.771 4.059 1.925 4.917 2.222 5.786 C 2.563 6.787 3.025 7.513 3.597 7.953 C 3.6299999 7.986 3.652 8.03 3.652 8.074 C 3.652 8.173 3.597 8.228 3.498 8.228 C 3.487 8.228 3.454 8.217 3.421 8.195 C 2.761 7.689 2.211 6.941 1.76 5.94 C 1.331 4.983 1.111 4.081 1.111 3.212 L 1.111 2.288 C 1.111 1.419 1.331 0.517 1.76 -0.44 C 2.211 -1.441 2.761 -2.189 3.421 -2.695 C 3.454 -2.717 3.487 -2.728 3.498 -2.728 Z "/>
        </symbol>
        <symbol id="g55E05427EA36164E6B2C3D1D4663D294" overflow="visible">
            <path d="M 0.858 -2.695 C 1.518 -2.189 2.068 -1.441 2.519 -0.44 C 2.948 0.517 3.168 1.419 3.168 2.288 L 3.168 3.212 C 3.168 4.081 2.948 4.983 2.519 5.94 C 2.068 6.941 1.518 7.689 0.858 8.195 C 0.825 8.217 0.792 8.228 0.781 8.228 C 0.682 8.228 0.627 8.173 0.627 8.074 C 0.627 8.03 0.649 7.986 0.682 7.953 C 1.254 7.513 1.716 6.787 2.057 5.786 C 2.354 4.917 2.508 4.059 2.508 3.212 L 2.508 2.288 C 2.508 1.441 2.354 0.583 2.057 -0.286 C 1.716 -1.287 1.254 -2.013 0.682 -2.453 C 0.649 -2.497 0.627 -2.541 0.627 -2.574 C 0.627 -2.673 0.682 -2.728 0.781 -2.728 C 0.792 -2.728 0.825 -2.717 0.858 -2.695 Z "/>
        </symbol>
    </defs>
</svg>