ref: bb561ee3b18be69e52b17cedde50eac96ea409da
dir: /auxiliary/doc/hat-kites.svg/
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <svg xmlns="http://www.w3.org/2000/svg" version="1.1" width="192" height="168"> <path style="fill: none; stroke: black; stroke-width: 4.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 124.000000 107.923042 L 184.000000 107.923042 L 184.000000 73.282028 L 154.000000 55.961521 L 124.000000 38.641014 L 94.000000 55.961521 L 64.000000 4.000000 L 4.000000 4.000000 L 4.000000 38.641014 L 34.000000 55.961521 L 4.000000 107.923042 L 34.000000 159.884567 L 64.000000 142.564056 L 94.000000 159.884567 z" /> <path style="fill: none; stroke: rgba(0,0,0,0.2); stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 124.000000 107.923042 L 154.000000 55.961521" /> <path style="fill: none; stroke: rgba(0,0,0,0.2); stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 124.000000 107.923042 L 94.000000 55.961521" /> <path style="fill: none; stroke: rgba(0,0,0,0.2); stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 64.000000 4.000000 L 34.000000 55.961521" /> <path style="fill: none; stroke: rgba(0,0,0,0.2); stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 124.000000 107.923042 L 4.000000 107.923042" /> <path style="fill: none; stroke: rgba(0,0,0,0.2); stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 34.000000 55.961521 L 64.000000 73.282028" /> <path style="fill: none; stroke: rgba(0,0,0,0.2); stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 94.000000 55.961521 L 64.000000 73.282028" /> <path style="fill: none; stroke: rgba(0,0,0,0.2); stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 64.000000 142.564056 L 64.000000 73.282028" /> <text style="fill: black; font-family: Sans; font-size: 22px; text-anchor: middle; text-align: center; " x="34" y="27.9205">0</text> <text style="fill: black; font-family: Sans; font-size: 22px; text-anchor: middle; text-align: center; " x="64" y="45.241">1</text> <text style="fill: black; font-family: Sans; font-size: 22px; text-anchor: middle; text-align: center; " x="34" y="97.2025">2</text> <text style="fill: black; font-family: Sans; font-size: 22px; text-anchor: middle; text-align: center; " x="34" y="131.844">3</text> <text style="fill: black; font-family: Sans; font-size: 22px; text-anchor: middle; text-align: center; " x="94" y="131.844">4</text> <text style="fill: black; font-family: Sans; font-size: 22px; text-anchor: middle; text-align: center; " x="94" y="97.2025">5</text> <text style="fill: black; font-family: Sans; font-size: 22px; text-anchor: middle; text-align: center; " x="124" y="79.882">6</text> <text style="fill: black; font-family: Sans; font-size: 22px; text-anchor: middle; text-align: center; " x="154" y="97.2025">7</text> </svg>