ref: 3a71a567e26efd18a100f0c000c5173f38c99df2
dir: /auxiliary/doc/expanded-H.svg/
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <svg xmlns="http://www.w3.org/2000/svg" version="1.1" width="456" height="491"> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 122.000000 209.846085 L 152.000000 227.166611 L 272.000000 157.884567 L 272.000000 123.243561 L 152.000000 53.961517 L 122.000000 71.282043 z" /> <path style="fill: none; stroke: black; stroke-width: 9.000000; stroke-opacity: 0.2; stroke-linejoin: round; stroke-linecap: round; " d="M 152.000000 88.602539 L 197.000000 166.544830 L 201.392305 150.152526 M 197.000000 166.544830 L 180.607696 162.152525 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="182" y="145.064">0</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 92.000000 365.730682 L 122.000000 383.051178 L 242.000000 313.769165 L 242.000000 279.128143 L 122.000000 209.846085 L 92.000000 227.166611 z" /> <path style="fill: none; stroke: black; stroke-width: 9.000000; stroke-opacity: 0.2; stroke-linejoin: round; stroke-linecap: round; " d="M 122.000000 244.487106 L 167.000000 322.429382 L 171.392304 306.037077 M 167.000000 322.429382 L 150.607695 318.037078 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="152" y="300.949">1</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 272.000000 157.884567 L 242.000000 175.205093 L 242.000000 313.769165 L 272.000000 331.089661 L 392.000000 261.807617 L 392.000000 227.166611 z" /> <path style="fill: none; stroke: black; stroke-width: 9.000000; stroke-opacity: 0.2; stroke-linejoin: round; stroke-linecap: round; " d="M 362.000000 244.487106 L 272.000000 244.487106 L 284.000000 256.487106 M 272.000000 244.487106 L 284.000000 232.487106 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="302" y="248.987">2</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 242.000000 175.205093 L 152.000000 227.166611 L 242.000000 279.128143 z" /> <path style="fill: none; stroke: black; stroke-width: 9.000000; stroke-opacity: 0.2; stroke-linejoin: round; stroke-linecap: round; " d="M 233.000000 190.793549 L 206.000000 237.558914 L 222.392305 233.166610 M 206.000000 237.558914 L 201.607696 221.166609 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="212" y="231.667">3</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 62.000000 244.487122 L 122.000000 209.846085 L 122.000000 71.282043 L 62.000000 105.923065 z" /> <path style="fill: none; stroke: black; stroke-width: 9.000000; stroke-opacity: 0.2; stroke-linejoin: round; stroke-linecap: round; " d="M 74.000000 157.884583 L 110.000000 157.884583 L 98.000000 145.884583 M 110.000000 157.884583 L 98.000000 169.884583 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="92" y="162.385">4</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 272.000000 88.602539 L 272.000000 157.884567 L 392.000000 227.166611 L 392.000000 157.884567 z" /> <path style="fill: none; stroke: black; stroke-width: 9.000000; stroke-opacity: 0.2; stroke-linejoin: round; stroke-linecap: round; " d="M 341.000000 142.296112 L 323.000000 173.473022 L 339.392305 169.080719 M 323.000000 173.473022 L 318.607696 157.080717 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="332" y="162.385">5</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 122.000000 383.051178 L 182.000000 417.692200 L 302.000000 348.410156 L 242.000000 313.769165 z" /> <path style="fill: none; stroke: black; stroke-width: 9.000000; stroke-opacity: 0.2; stroke-linejoin: round; stroke-linecap: round; " d="M 203.000000 350.142242 L 221.000000 381.319153 L 225.392304 364.926847 M 221.000000 381.319153 L 204.607695 376.926849 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="212" y="370.231">6</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 152.000000 53.961517 L 152.000000 19.320526 L 122.000000 2.000000 L 2.000000 71.282043 L 62.000000 105.923065 z" /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="92" y="58.4615">7</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 182.000000 2.000000 L 152.000000 19.320526 L 152.000000 53.961517 L 272.000000 123.243561 L 272.000000 53.961517 z" /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="212" y="58.4615">8</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 32.000000 365.730682 L 62.000000 383.051178 L 92.000000 365.730682 L 92.000000 227.166611 L 32.000000 261.807617 z" /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="62" y="318.269">9</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 92.000000 365.730682 L 62.000000 383.051178 L 62.000000 417.692200 L 182.000000 486.974213 L 182.000000 417.692200 z" /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="122" y="422.192">10</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 392.000000 261.807617 L 422.000000 279.128143 L 452.000000 261.807617 L 452.000000 123.243561 L 392.000000 157.884567 z" /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="422" y="214.346">11</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 422.000000 313.769165 L 422.000000 279.128143 L 392.000000 261.807617 L 272.000000 331.089661 L 332.000000 365.730682 z" /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="362" y="318.269">12</text> </svg>