ref: dd3a0f224d9472f4969c425980218e550d357eb0
dir: /auxiliary/doc/expanded-P.svg/
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <svg xmlns="http://www.w3.org/2000/svg" version="1.1" width="366" height="526"> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 242.000000 261.807617 L 272.000000 244.487137 L 272.000000 105.923035 L 242.000000 88.602570 L 122.000000 157.884583 L 122.000000 192.525604 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 175.205093 L 242.000000 175.205078 L 229.999999 163.205080 M 242.000000 175.205078 L 230.000002 187.205080 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="212" y="179.705">0</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 242.000000 365.730682 L 242.000000 331.089661 L 122.000000 261.807617 L 92.000000 279.128113 L 92.000000 417.692200 L 122.000000 435.012726 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 400.371704 L 167.000000 322.429382 L 150.607696 326.821691 M 167.000000 322.429382 L 171.392308 338.821686 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="152" y="352.91">1</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 32.000000 452.333221 L 92.000000 417.692200 L 92.000000 279.128113 L 32.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 44.000000 365.730652 L 80.000000 365.730652 L 68.000000 353.730652 M 80.000000 365.730652 L 68.000000 377.730652 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="62" y="370.231">2</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 272.000000 244.487137 L 332.000000 209.846115 L 332.000000 71.282043 L 272.000000 105.923035 z" /> <path style="fill: none; stroke: black; stroke-width: 9.000000; stroke-opacity: 0.2; stroke-linejoin: round; stroke-linecap: round; " d="M 284.000000 157.884583 L 320.000000 157.884583 L 308.000000 145.884583 M 320.000000 157.884583 L 308.000000 169.884583 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="302" y="162.385">3</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 242.000000 331.089661 L 242.000000 261.807617 L 122.000000 192.525604 L 122.000000 261.807617 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 277.396088 L 191.000000 246.219162 L 174.607696 250.611469 M 191.000000 246.219162 L 195.392307 262.611466 " /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="182" y="266.308">4</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 92.000000 105.923035 L 92.000000 140.564087 L 122.000000 157.884583 L 242.000000 88.602570 L 182.000000 53.961517 z" /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="152" y="110.423">5</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 122.000000 157.884583 L 92.000000 140.564087 L 62.000000 157.884583 L 62.000000 296.448669 L 122.000000 261.807617 z" /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="92" y="214.346">6</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 2.000000 469.653717 L 2.000000 504.294739 L 32.000000 521.615234 L 152.000000 452.333221 L 92.000000 417.692200 z" /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="62" y="474.154">7</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 362.000000 53.961517 L 362.000000 19.320526 L 332.000000 2.000000 L 212.000000 71.282043 L 272.000000 105.923035 z" /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="302" y="58.4615">8</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 242.000000 365.730682 L 272.000000 383.051208 L 302.000000 365.730682 L 302.000000 227.166611 L 242.000000 261.807617 z" /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="272" y="318.269">9</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 272.000000 417.692200 L 272.000000 383.051208 L 242.000000 365.730682 L 122.000000 435.012726 L 182.000000 469.653717 z" /> <text style="fill: black; font-family: Sans; font-size: 15; text-anchor: middle; text-align: center; " x="212" y="422.192">10</text> </svg>
