ref: db804ea5a1d2de8d9d7d6e8fe569f5f8ec231832
dir: /auxiliary/doc/expanded-T.svg/
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <svg xmlns="http://www.w3.org/2000/svg" version="1.1" width="366" height="388"> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 242.000000 227.166595 L 242.000000 192.525574 L 122.000000 123.243546 L 92.000000 140.564041 L 92.000000 279.128113 L 122.000000 296.448639 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 261.807617 L 167.000000 183.865326 L 150.607696 188.257631 M 167.000000 183.865326 L 171.392305 200.257630 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="152" y="214.346">0</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 32.000000 313.769135 L 92.000000 279.128113 L 92.000000 140.564041 L 32.000000 175.205078 z" /> <path style="fill: none; stroke: black; stroke-width: 9.000000; stroke-opacity: 0.2; stroke-linejoin: round; stroke-linecap: round; " d="M 44.000000 227.166595 L 80.000000 227.166595 L 68.000000 215.166595 M 80.000000 227.166595 L 68.000000 239.166595 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="62" y="231.667">1</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 242.000000 192.525574 L 242.000000 123.243546 L 122.000000 53.961517 L 122.000000 123.243546 z" /> <path style="fill: none; stroke: black; stroke-width: 9.000000; stroke-opacity: 0.2; stroke-linejoin: round; stroke-linecap: round; " d="M 173.000000 138.832001 L 191.000000 107.655090 L 174.607695 112.047394 M 191.000000 107.655090 L 195.392304 124.047396 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="182" y="127.744">2</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 302.000000 261.807617 L 242.000000 227.166595 L 122.000000 296.448639 L 182.000000 331.089630 z" /> <path style="fill: none; stroke: black; stroke-width: 9.000000; stroke-opacity: 0.2; stroke-linejoin: round; stroke-linecap: round; " d="M 221.000000 294.716583 L 203.000000 263.539673 L 198.607696 279.931978 M 203.000000 263.539673 L 219.392305 267.931977 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="212" y="283.628">3</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 122.000000 19.320496 L 92.000000 2.000000 L 62.000000 19.320496 L 62.000000 157.884567 L 122.000000 123.243546 z" /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="92" y="75.782">4</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 2.000000 331.089630 L 2.000000 365.730652 L 32.000000 383.051147 L 152.000000 313.769135 L 92.000000 279.128113 z" /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="62" y="335.59">5</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 332.000000 279.128113 L 362.000000 261.807617 L 362.000000 227.166595 L 242.000000 157.884567 L 242.000000 227.166595 z" /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="302" y="231.667">6</text> </svg>
