<svg:svg width="21cm" height="15cm" version="1.1" xmlns:svg="http://www.w3.org/2000/svg" xmlns="http://www.w3.org/2000/svg">
    <svg:title>Pseudo Kronecker BDD</svg:title>
    <svg:g id="l0_axis">
        <svg:text x="0.6cm" y="1.65cm" font-family="Times Roman" font-size="12" fill="black">0</svg:text>
        <svg:line id="l0_line" x1="0.5cm" y1="1.75cm" x2="20.5cm" y2="1.75cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1;stroke-dasharray:5 5;" />
    </svg:g>
    <svg:g id="l1_axis">
        <svg:text x="0.6cm" y="5.15cm" font-family="Times Roman" font-size="12" fill="black">1</svg:text>
        <svg:line id="l1_line" x1="0.5cm" y1="5.25cm" x2="20.5cm" y2="5.25cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1;stroke-dasharray:5 5;" />
    </svg:g>
    <svg:g id="l2_axis">
        <svg:text x="0.6cm" y="8.65cm" font-family="Times Roman" font-size="12" fill="black">2</svg:text>
        <svg:line id="l2_line" x1="0.5cm" y1="8.75cm" x2="20.5cm" y2="8.75cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1;stroke-dasharray:5 5;" />
    </svg:g>
    <svg:g id="l3_axis">
        <svg:text x="0.6cm" y="12.15cm" font-family="Times Roman" font-size="12" fill="black">3</svg:text>
        <svg:line id="l3_line" x1="0.5cm" y1="12.25cm" x2="20.5cm" y2="12.25cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1;stroke-dasharray:5 5;" />
    </svg:g>
    <svg:g id="node0" text-align="center">
        <svg:ellipse cx="10.5cm" cy="1.75cm" rx="0.5cm" ry="0.5cm" stroke="rgb(0,0,0)" fill="rgb(240,240,240)" stroke-width="1" />
        <svg:line x1="10.5cm" y1="2.25cm" x2="5.25cm" y2="4.75cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1" />
        <svg:text x="7.975cm" y="3.4cm" font-family="Times Roman" font-size="12" fill="black">1</svg:text>
        <svg:line x1="10.5cm" y1="2.25cm" x2="15.75cm" y2="4.75cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1" />
        <svg:text x="13.225cm" y="3.4cm" font-family="Times Roman" font-size="12" fill="black">x1</svg:text>
        <svg:text x="10.5cm" y="1.95cm" style="font-family:TimesRoman;font-size:24;fill:black;">pD</svg:text>
    </svg:g>
    <svg:g id="node1" text-align="center">
        <svg:ellipse cx="5.25cm" cy="5.25cm" rx="0.5cm" ry="0.5cm" stroke="rgb(0,0,0)" fill="rgb(240,240,240)" stroke-width="1" />
        <svg:line x1="5.25cm" y1="5.75cm" x2="2.625cm" y2="8.25cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1" />
        <svg:text x="4.0375cm" y="6.9cm" font-family="Times Roman" font-size="12" fill="black">1</svg:text>
        <svg:line x1="5.25cm" y1="5.75cm" x2="7.875cm" y2="8.25cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1" />
        <svg:text x="6.6625cm" y="6.9cm" font-family="Times Roman" font-size="12" fill="black">x2</svg:text>
        <svg:text x="5.25cm" y="5.45cm" style="font-family:TimesRoman;font-size:24;fill:black;">pD</svg:text>
    </svg:g>
    <svg:g id="node2" text-align="center">
        <svg:ellipse cx="2.625cm" cy="8.75cm" rx="0.5cm" ry="0.5cm" stroke="rgb(0,0,0)" fill="rgb(240,240,240)" stroke-width="1" />
        <svg:line x1="2.625cm" y1="9.25cm" x2="5.25cm" y2="11.75cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1" />
        <svg:text x="4.0375cm" y="10.4cm" font-family="Times Roman" font-size="12" fill="black">x3_comp</svg:text>
        <svg:line x1="2.625cm" y1="9.25cm" x2="15.75cm" y2="11.75cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1" />
        <svg:text x="9.2875cm" y="10.4cm" font-family="Times Roman" font-size="12" fill="black">x3</svg:text>
        <svg:text x="2.625cm" y="8.95cm" style="font-family:TimesRoman;font-size:24;fill:black;">S</svg:text>
    </svg:g>
    <svg:g id="node3" text-align="center">
        <svg:rect x="4.875cm" y="11.75cm" width="0.75cm" height="1cm" stroke="rgb(0,0,0)" fill="rgb(240,240,240)" stroke-width="1" />
        <svg:text x="5.25cm" y="12.45cm" style="font-family:TimesRoman;font-size:24;fill:black;">0</svg:text>
    </svg:g>
    <svg:g id="node4" text-align="center">
        <svg:rect x="15.375cm" y="11.75cm" width="0.75cm" height="1cm" stroke="rgb(0,0,0)" fill="rgb(240,240,240)" stroke-width="1" />
        <svg:text x="15.75cm" y="12.45cm" style="font-family:TimesRoman;font-size:24;fill:black;">1</svg:text>
    </svg:g>
    <svg:g id="node5" text-align="center">
        <svg:ellipse cx="7.875cm" cy="8.75cm" rx="0.5cm" ry="0.5cm" stroke="rgb(0,0,0)" fill="rgb(240,240,240)" stroke-width="1" />
        <svg:line x1="7.875cm" y1="9.25cm" x2="5.25cm" y2="11.75cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1" />
        <svg:text x="6.6625cm" y="10.4cm" font-family="Times Roman" font-size="12" fill="black">1</svg:text>
        <svg:line x1="7.875cm" y1="9.25cm" x2="15.75cm" y2="11.75cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1" />
        <svg:text x="11.9125cm" y="10.4cm" font-family="Times Roman" font-size="12" fill="black">x3</svg:text>
        <svg:text x="7.875cm" y="8.95cm" style="font-family:TimesRoman;font-size:24;fill:black;">pD</svg:text>
    </svg:g>
    <svg:g id="node6" text-align="center">
        <svg:ellipse cx="15.75cm" cy="5.25cm" rx="0.5cm" ry="0.5cm" stroke="rgb(0,0,0)" fill="rgb(240,240,240)" stroke-width="1" />
        <svg:line x1="15.75cm" y1="5.75cm" x2="13.125cm" y2="8.25cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1" />
        <svg:text x="14.5375cm" y="6.9cm" font-family="Times Roman" font-size="12" fill="black">1</svg:text>
        <svg:line x1="15.75cm" y1="5.75cm" x2="18.375cm" y2="8.25cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1" />
        <svg:text x="17.1625cm" y="6.9cm" font-family="Times Roman" font-size="12" fill="black">x2_comp</svg:text>
        <svg:text x="15.75cm" y="5.45cm" style="font-family:TimesRoman;font-size:24;fill:black;">nD</svg:text>
    </svg:g>
    <svg:g id="node7" text-align="center">
        <svg:ellipse cx="13.125cm" cy="8.75cm" rx="0.5cm" ry="0.5cm" stroke="rgb(0,0,0)" fill="rgb(240,240,240)" stroke-width="1" />
        <svg:line x1="13.125cm" y1="9.25cm" x2="5.25cm" y2="11.75cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1" />
        <svg:text x="9.2875cm" y="10.4cm" font-family="Times Roman" font-size="12" fill="black">1</svg:text>
        <svg:line x1="13.125cm" y1="9.25cm" x2="15.75cm" y2="11.75cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1" />
        <svg:text x="14.5375cm" y="10.4cm" font-family="Times Roman" font-size="12" fill="black">x3_comp</svg:text>
        <svg:text x="13.125cm" y="8.95cm" style="font-family:TimesRoman;font-size:24;fill:black;">nD</svg:text>
    </svg:g>
    <svg:g id="node8" text-align="center">
        <svg:ellipse cx="18.375cm" cy="8.75cm" rx="0.5cm" ry="0.5cm" stroke="rgb(0,0,0)" fill="rgb(240,240,240)" stroke-width="1" />
        <svg:line x1="18.375cm" y1="9.25cm" x2="5.25cm" y2="11.75cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1" />
        <svg:text x="11.9125cm" y="10.4cm" font-family="Times Roman" font-size="12" fill="black">x3_comp</svg:text>
        <svg:line x1="18.375cm" y1="9.25cm" x2="15.75cm" y2="11.75cm" style="fill:none;stroke:rgb(128,128,128);stroke-width:1" />
        <svg:text x="17.1625cm" y="10.4cm" font-family="Times Roman" font-size="12" fill="black">x3</svg:text>
        <svg:text x="18.375cm" y="8.95cm" style="font-family:TimesRoman;font-size:24;fill:black;">S</svg:text>
    </svg:g>
</svg:svg>