examples/witness/everything_solved.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" viewBox="-15 -15 455 450" width="455" height="450" xmlns="http://www.w3.org/2000/svg">
  <symbol id="start" viewBox="-10 -10 20 20" width="20" height="20" overflow="visible">
    <circle cx="0" cy="0" r="25" fill="violet"/>
  </symbol>
  <symbol id="_2D" viewBox="10 -10 80 20" width="80" height="20" overflow="visible">
    <line x1="9.5" x2="90.5" y1="0" y2="0" stroke-width="20" stroke="black"/>
  </symbol>
  <symbol id="_2E" viewBox="-10 -10 20 20" width="20" height="20" overflow="visible">
    <rect x="-10" y="-10" width="20" height="20" fill="black"/>
  </symbol>
  <symbol id="_2E_v1" viewBox="-10 -10 20 20" width="20" height="20" overflow="visible">
    <circle cx="0" cy="0" r="10" fill="black"/>
    <rect x="-10" y="-10" width="10" height="20" fill="black"/>
    <rect x="-10" y="0" width="20" height="10" fill="black"/>
  </symbol>
  <symbol id="finish" viewBox="-10 -10 20 20" width="20" height="20" overflow="visible">
    <line x1="-20" x2="0" stroke-width="20" stroke="black" stroke-linecap="round"/>
  </symbol>
  <symbol id="_7Cs" viewBox="-10 10 20 80" width="20" height="80" overflow="visible">
    <line y1="9.5" y2="90.5" x1="0" x2="0" stroke-width="20" stroke="violet"/>
  </symbol>
  <symbol id="_blank" viewBox="0 0 80 80" width="80" height="80" overflow="visible">
  </symbol>
  <symbol id="_7C" viewBox="-10 10 20 80" width="20" height="80" overflow="visible">
    <line y1="9.5" y2="90.5" x1="0" x2="0" stroke-width="20" stroke="black"/>
  </symbol>
  <symbol id="r_2A" viewBox="0 0 80 80" width="80" height="80" overflow="visible">
    <rect x="25" y="25" width="30px" height="30px" fill="red" stroke="red"/>
    <rect x="25" y="25" width="30px" height="30px" transform="rotate(45 40 40)" fill="red" stroke="red"/>
  </symbol>
  <symbol id="ra" viewBox="-40 -40 80 80" width="80" height="80" overflow="visible">
    <rect width="15px" height="8px" transform="rotate(-90 0 4)" fill="red"/>
    <rect width="15px" height="8px" transform="rotate(30 0 4)" fill="red"/>
    <rect width="15px" height="8px" transform="rotate(150 0 4)" fill="red"/>
  </symbol>
  <symbol id="_blank_v1" viewBox="0 0 20 80" width="20" height="80" overflow="visible">
  </symbol>
  <symbol id="_2Ehs" viewBox="-10 -10 20 20" width="20" height="20" overflow="visible">
    <rect x="-10" y="-10" width="20" height="20" fill="black"/>
    <circle cx="0" cy="0" r="10" fill="violet"/>
    <rect x="0" y="-10" width="10" height="20" fill="violet"/>
    <rect x="-10" y="-10" width="20" height="10" fill="violet"/>
    <polygon fill="#00ff00" stroke="#00ff00" points="-8,0 -4,-6.928203230275509 4,-6.928203230275509 8,0 4,6.928203230275509 -4,6.928203230275509" transform="translate(0,0)"/>
  </symbol>
  <symbol id="_2Ds" viewBox="10 -10 80 20" width="80" height="20" overflow="visible">
    <line x1="9.5" x2="90.5" y1="0" y2="0" stroke-width="20" stroke="violet"/>
  </symbol>
  <symbol id="_2Es" viewBox="-10 -10 20 20" width="20" height="20" overflow="visible">
    <rect x="-10" y="-10" width="20" height="20" fill="black"/>
    <circle cx="0" cy="0" r="10" fill="violet"/>
    <rect x="-10" y="-10" width="10" height="20" fill="violet"/>
    <rect x="-10" y="0" width="20" height="10" fill="violet"/>
  </symbol>
  <symbol id="_2Es_v1" viewBox="-10 -10 20 20" width="20" height="20" overflow="visible">
    <rect x="-10" y="-10" width="20" height="20" fill="black"/>
    <circle cx="0" cy="0" r="10" fill="violet"/>
    <rect x="0" y="-10" width="10" height="20" fill="violet"/>
    <rect x="-10" y="0" width="20" height="10" fill="violet"/>
  </symbol>
  <symbol id="rq" viewBox="0 0 80 80" width="80" height="80" overflow="visible">
    <rect x="20" y="20" width="40" height="40" rx="15" ry="15" fill="red" stroke="red"/>
  </symbol>
  <symbol id="bq" viewBox="0 0 80 80" width="80" height="80" overflow="visible">
    <rect x="20" y="20" width="40" height="40" rx="15" ry="15" fill="blue" stroke="blue"/>
  </symbol>
  <symbol id="df" viewBox="0 0 80 80" width="80" height="80" overflow="visible">
    <g transform="translate(40,40) rotate(-15) scale(1)">
      <rect width="18" height="18" rx="2" ry="2" x="-9" y="-19.5" fill="green" stroke="none"/>
      <rect width="18" height="18" rx="2" ry="2" x="-9" y="1.5" fill="green" stroke="none"/>
    </g>
  </symbol>
  <symbol id="start_v1" viewBox="-10 -10 20 20" width="20" height="20" overflow="visible">
    <circle cx="0" cy="0" r="25" fill="black"/>
    <circle cx="0" cy="0" r="10" fill="violet"/>
    <rect x="0" y="-10" width="10" height="20" fill="violet"/>
    <rect x="-10" y="0" width="20" height="10" fill="violet"/>
  </symbol>
  <symbol id="_2Es_v2" viewBox="-10 -10 20 20" width="20" height="20" overflow="visible">
    <rect x="-10" y="-10" width="20" height="20" fill="black"/>
    <circle cx="0" cy="0" r="10" fill="violet"/>
    <rect x="-10" y="-10" width="10" height="20" fill="violet"/>
    <rect x="-10" y="-10" width="20" height="10" fill="violet"/>
  </symbol>
  <symbol id="_2Es_v3" viewBox="-10 -10 20 20" width="20" height="20" overflow="visible">
    <rect x="-10" y="-10" width="20" height="20" fill="black"/>
    <rect x="-10" y="-10" width="20" height="20" fill="violet"/>
  </symbol>
  <symbol id="finish_v1" viewBox="-10 -10 20 20" width="20" height="20" overflow="visible">
    <line x1="-20" x2="0" stroke-width="20" stroke="violet" stroke-linecap="round"/>
  </symbol>
  <symbol id="_7Cb" viewBox="-10 10 20 80" width="20" height="80" overflow="visible">
    <line y1="9.5" y2="90.5" x1="0" x2="0" stroke-dasharray="30,20,30" stroke-width="20" stroke="black"/>
  </symbol>
  <symbol id="m" viewBox="0 0 80 80" width="80" height="80" overflow="visible">
    <g transform="translate(40,40) scale(1)">
      <rect width="18" height="18" rx="2" ry="2" x="-9" y="-9" fill="green" stroke="none"/>
    </g>
  </symbol>
  <symbol id="_7Chs" viewBox="-10 10 20 80" width="20" height="80" overflow="visible">
    <line y1="9.5" y2="90.5" x1="0" x2="0" stroke-width="20" stroke="violet"/>
    <polygon fill="#00ff00" stroke="#00ff00" points="-8,0 -4,-6.928203230275509 4,-6.928203230275509 8,0 4,6.928203230275509 -4,6.928203230275509" transform="translate(0,50)"/>
  </symbol>
  <symbol id="start_v2" viewBox="-10 -10 20 20" width="20" height="20" overflow="visible">
    <circle cx="0" cy="0" r="25" fill="black"/>
    <rect x="-10" y="-10" width="20" height="20" fill="violet"/>
  </symbol>
  <symbol id="_blank_v2" viewBox="0 0 20 20" width="20" height="20" overflow="visible">
  </symbol>
  <symbol id="d" viewBox="0 0 80 80" width="80" height="80" overflow="visible">
    <g transform="translate(40,40) scale(1)">
      <rect width="18" height="18" rx="2" ry="2" x="-9" y="-19.5" fill="green" stroke="none"/>
      <rect width="18" height="18" rx="2" ry="2" x="-9" y="1.5" fill="green" stroke="none"/>
    </g>
  </symbol>
  <symbol id="_21m" viewBox="0 0 80 80" width="80" height="80" overflow="visible">
    <g transform="translate(40,40) scale(1)">
      <rect width="14" height="14" rx="0" ry="0" x="-7" y="-7" fill="none" stroke="blue" stroke-width="4"/>
    </g>
  </symbol>
  <symbol id="_33" viewBox="-40 -40 80 80" width="80" height="80" overflow="visible">
    <polygon fill="darkorange" stroke="none" points="0,-6.9282 8,6.9282 -8,6.9282" transform="translate(-20,0)"/>
    <polygon fill="darkorange" stroke="none" points="0,-6.9282 8,6.9282 -8,6.9282" transform="translate(0,0)"/>
    <polygon fill="darkorange" stroke="none" points="0,-6.9282 8,6.9282 -8,6.9282" transform="translate(20,0)"/>
  </symbol>
  <symbol id="start_v3" viewBox="-10 -10 20 20" width="20" height="20" overflow="visible">
    <circle cx="0" cy="0" r="25" fill="black"/>
    <circle cx="0" cy="0" r="10" fill="violet"/>
    <rect x="0" y="-10" width="10" height="20" fill="violet"/>
    <rect x="-10" y="-10" width="20" height="10" fill="violet"/>
  </symbol>
  <symbol id="_2Es_v4" viewBox="-10 -10 20 20" width="20" height="20" overflow="visible">
    <rect x="-10" y="-10" width="20" height="20" fill="black"/>
    <circle cx="0" cy="0" r="10" fill="violet"/>
    <rect x="0" y="-10" width="10" height="20" fill="violet"/>
    <rect x="-10" y="-10" width="20" height="10" fill="violet"/>
  </symbol>
  <symbol id="_2Es_v5" viewBox="-10 -10 20 20" width="20" height="20" overflow="visible">
    <circle cx="0" cy="0" r="10" fill="black"/>
    <rect x="-10" y="-10" width="10" height="20" fill="black"/>
    <rect x="-10" y="-10" width="20" height="10" fill="black"/>
    <circle cx="0" cy="0" r="10" fill="violet"/>
    <rect x="-10" y="-10" width="10" height="20" fill="violet"/>
    <rect x="-10" y="-10" width="20" height="10" fill="violet"/>
  </symbol>
  <rect x="-15" y="-15" width="455" height="450" fill="white"/>
  <use xlink:href="#finish" x="420" y="0"/>
  <use xlink:href="#finish" x="420" y="100"/>
  <use xlink:href="#finish_v1" x="420" y="200"/>
  <use xlink:href="#_2E" x="100" y="0"/>
  <use xlink:href="#_2E" x="200" y="0"/>
  <use xlink:href="#_2E" x="300" y="0"/>
  <use xlink:href="#_2E_v1" x="400" y="0"/>
  <use xlink:href="#_blank" x="20" y="20"/>
  <use xlink:href="#_blank" x="120" y="20"/>
  <use xlink:href="#r_2A" x="220" y="20"/>
  <use xlink:href="#ra" x="320" y="20"/>
  <use xlink:href="#_blank_v1" x="420" y="20"/>
  <use xlink:href="#_2E" x="400" y="100"/>
  <use xlink:href="#rq" x="20" y="120"/>
  <use xlink:href="#bq" x="120" y="120"/>
  <use xlink:href="#df" x="220" y="120"/>
  <use xlink:href="#r_2A" x="320" y="120"/>
  <use xlink:href="#_blank_v1" x="420" y="120"/>
  <use xlink:href="#_blank" x="20" y="220"/>
  <use xlink:href="#_blank" x="120" y="220"/>
  <use xlink:href="#m" x="220" y="220"/>
  <use xlink:href="#r_2A" x="320" y="220"/>
  <use xlink:href="#_blank_v1" x="420" y="220"/>
  <use xlink:href="#_blank_v2" x="420" y="300"/>
  <use xlink:href="#_blank" x="20" y="320"/>
  <use xlink:href="#d" x="120" y="320"/>
  <use xlink:href="#_21m" x="220" y="320"/>
  <use xlink:href="#_33" x="320" y="320"/>
  <use xlink:href="#_blank_v1" x="420" y="320"/>
  <use xlink:href="#_2E" x="200" y="400"/>
  <use xlink:href="#_blank_v2" x="420" y="400"/>
  <use xlink:href="#_2D" x="20" y="0"/>
  <use xlink:href="#_2D" x="120" y="0"/>
  <use xlink:href="#_2D" x="220" y="0"/>
  <use xlink:href="#_2D" x="320" y="0"/>
  <use xlink:href="#_7C" x="100" y="20"/>
  <use xlink:href="#_7C" x="200" y="20"/>
  <use xlink:href="#_7C" x="300" y="20"/>
  <use xlink:href="#_7C" x="400" y="20"/>
  <use xlink:href="#_2D" x="120" y="100"/>
  <use xlink:href="#_2D" x="320" y="100"/>
  <use xlink:href="#_7C" x="0" y="120"/>
  <use xlink:href="#_7C" x="400" y="120"/>
  <use xlink:href="#_2D" x="120" y="200"/>
  <use xlink:href="#_2D" x="220" y="200"/>
  <use xlink:href="#_2D" x="320" y="200"/>
  <use xlink:href="#_7Cb" x="100" y="220"/>
  <use xlink:href="#_2D" x="20" y="300"/>
  <use xlink:href="#_2D" x="220" y="300"/>
  <use xlink:href="#_2D" x="320" y="300"/>
  <use xlink:href="#_7C" x="200" y="320"/>
  <use xlink:href="#_2D" x="120" y="400"/>
  <use xlink:href="#_2D" x="220" y="400"/>
  <use xlink:href="#start" x="0" y="0"/>
  <use xlink:href="#start_v1" x="0" y="200"/>
  <use xlink:href="#start_v2" x="0" y="300"/>
  <use xlink:href="#start_v3" x="0" y="400"/>
  <use xlink:href="#_2Ehs" x="0" y="100"/>
  <use xlink:href="#_2Es" x="100" y="100"/>
  <use xlink:href="#_2Es_v1" x="200" y="100"/>
  <use xlink:href="#_2Es" x="300" y="100"/>
  <use xlink:href="#_2Es_v2" x="100" y="200"/>
  <use xlink:href="#_2Es_v3" x="200" y="200"/>
  <use xlink:href="#_2Es_v3" x="300" y="200"/>
  <use xlink:href="#_2Es_v1" x="400" y="200"/>
  <use xlink:href="#_2Es_v1" x="100" y="300"/>
  <use xlink:href="#_2Es_v2" x="200" y="300"/>
  <use xlink:href="#_2Es_v3" x="300" y="300"/>
  <use xlink:href="#_2Es_v3" x="400" y="300"/>
  <use xlink:href="#_2Es_v2" x="100" y="400"/>
  <use xlink:href="#_2Es_v4" x="300" y="400"/>
  <use xlink:href="#_2Es_v5" x="400" y="400"/>
  <use xlink:href="#_7Cs" x="0" y="20"/>
  <use xlink:href="#_2Ds" x="20" y="100"/>
  <use xlink:href="#_2Ds" x="220" y="100"/>
  <use xlink:href="#_7Cs" x="100" y="120"/>
  <use xlink:href="#_7Cs" x="200" y="120"/>
  <use xlink:href="#_7Cs" x="300" y="120"/>
  <use xlink:href="#_2Ds" x="20" y="200"/>
  <use xlink:href="#_7Cs" x="0" y="220"/>
  <use xlink:href="#_7Cs" x="200" y="220"/>
  <use xlink:href="#_7Cs" x="300" y="220"/>
  <use xlink:href="#_7Chs" x="400" y="220"/>
  <use xlink:href="#_2Ds" x="120" y="300"/>
  <use xlink:href="#_7Cs" x="0" y="320"/>
  <use xlink:href="#_7Cs" x="100" y="320"/>
  <use xlink:href="#_7Cs" x="300" y="320"/>
  <use xlink:href="#_7Cs" x="400" y="320"/>
  <use xlink:href="#_2Ds" x="20" y="400"/>
  <use xlink:href="#_2Ds" x="320" y="400"/>
</svg>