<?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="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" xmlns:dc="http://purl.org/dc/elements/1.1/" version="1.1" viewBox="61 123 727 595" width="727" height="595">
  <defs>
    <font-face font-family="Helvetica Neue" font-size="35" panose-1="2 0 5 3 0 0 0 2 0 4" units-per-em="1000" underline-position="-100" underline-thickness="50" slope="0" x-height="517" cap-height="714" ascent="951.9958" descent="-212.99744" font-weight="400">
      <font-face-src>
        <font-face-name name="HelveticaNeue"/>
      </font-face-src>
    </font-face>
    <font-face font-family="Helvetica Neue" font-size="16" panose-1="2 0 5 3 0 0 0 2 0 4" units-per-em="1000" underline-position="-100" underline-thickness="50" slope="0" x-height="517" cap-height="714" ascent="951.9958" descent="-212.99744" font-weight="400">
      <font-face-src>
        <font-face-name name="HelveticaNeue"/>
      </font-face-src>
    </font-face>
    <marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" stroke-linejoin="miter" stroke-miterlimit="10" viewBox="-1 -3 7 6" markerWidth="7" markerHeight="6" color="#7f8080">
      <g>
        <path d="M 4.8 0 L 0 -1.8 L 0 1.8 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/>
      </g>
    </marker>
    <font-face font-family="Hiragino Sans" font-size="35" panose-1="2 11 3 0 0 0 0 0 0 0" units-per-em="1000" underline-position="-75" underline-thickness="50" slope="0" x-height="545" cap-height="766" ascent="880.0018" descent="-120.00024" font-weight="300">
      <font-face-src>
        <font-face-name name="HiraginoSans-W3"/>
      </font-face-src>
    </font-face>
    <font-face font-family="Helvetica Neue" font-size="25" panose-1="2 0 5 3 0 0 0 2 0 4" units-per-em="1000" underline-position="-100" underline-thickness="50" slope="0" x-height="517" cap-height="714" ascent="951.9958" descent="-212.99744" font-weight="400">
      <font-face-src>
        <font-face-name name="HelveticaNeue"/>
      </font-face-src>
    </font-face>
    <font-face font-family="Hiragino Sans" font-size="25" panose-1="2 11 3 0 0 0 0 0 0 0" units-per-em="1000" underline-position="-75" underline-thickness="50" slope="0" x-height="545" cap-height="766" ascent="880.0018" descent="-120.00024" font-weight="300">
      <font-face-src>
        <font-face-name name="HiraginoSans-W3"/>
      </font-face-src>
    </font-face>
  </defs>
  <metadata> Produced by OmniGraffle 7.17.5\n2020-11-25 07:08:06 +0000</metadata>
  <g id="Canvas_1" stroke-opacity="1" stroke-dasharray="none" fill="none" stroke="none" fill-opacity="1">
    <title>Canvas 1</title>
    <rect fill="white" x="61" y="123" width="727" height="595"/>
    <g id="Canvas_1_Layer_1">
      <title>Layer 1</title>
      <g id="Graphic_3">
        <text transform="translate(66 168)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="33">01111</tspan>
        </text>
      </g>
      <g id="Graphic_5">
        <ellipse cx="310.614" cy="232.5" rx="39.5000631171249" ry="34.5000551276154" fill="white"/>
        <ellipse cx="310.614" cy="232.5" rx="39.5000631171249" ry="34.5000551276154" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(284.014 223.276)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="17.408" y="15">q1</tspan>
        </text>
      </g>
      <g id="Graphic_6">
        <ellipse cx="427.4051" cy="232.5" rx="37.2911554779238" ry="34.5000551276154" fill="white"/>
        <ellipse cx="427.4051" cy="232.5" rx="37.2911554779238" ry="34.5000551276154" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(402.5722 223.276)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="4.224876" y="15">q2,q3</tspan>
        </text>
      </g>
      <g id="Line_11">
        <path d="M 279.114 203 C 279.114 203 258.03487 174.69784 271.114 157.60547 C 284.19313 140.5131 302.35467 133.75603 325.28025 142.66797 C 348.2058 151.5799 356.1909 163.61264 352.03587 189.0625 C 351.37396 193.1168 349.87173 196.9817 347.8137 200.6147" marker-end="url(#FilledArrow_Marker)" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Graphic_12">
        <text transform="translate(222.5226 128)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="7247536e-19" y="33">0,1</tspan>
        </text>
      </g>
      <g id="Line_14">
        <path d="M 308.35514 267.9451 C 309.3978 282.0848 313.3626 297.0917 324.114 306 C 348.9032 326.5396 368.8511 325.8229 398.114 305 C 407.0135 298.66727 413.2091 289.4808 417.5223 279.7621" marker-end="url(#FilledArrow_Marker)" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Graphic_15"/>
      <g id="Graphic_16">
        <text transform="translate(339.479 282.51)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="33">1</tspan>
        </text>
      </g>
      <g id="Graphic_17">
        <ellipse cx="669.4051" cy="232.5" rx="37.2911554779237" ry="34.5000551276154" fill="white"/>
        <ellipse cx="669.4051" cy="232.5" rx="37.2911554779237" ry="34.5000551276154" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="4"/>
        <text transform="translate(644.5722 223.276)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="15.640876" y="15">q4</tspan>
        </text>
      </g>
      <g id="Line_18">
        <path d="M 452.1305 259.61016 C 471.61146 278.3919 501.399 302.0832 537.114 314 C 601.6435 335.5312 617.70026 331.58936 655.179 308.5 C 666.6821 301.41335 672.46416 291.51748 674.95345 281.2044" marker-end="url(#FilledArrow_Marker)" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Graphic_19">
        <text transform="translate(607.114 282.51)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="33">1</tspan>
        </text>
      </g>
      <g id="Line_21">
        <path d="M 663.37286 200.47566 C 663.4085 191.62342 665.2221 182.4995 670.7134 175.36526 C 686.4296 154.94684 701.9541 151.51583 724.8797 160.42776 C 747.8052 169.3397 767.3515 186.40387 751.6353 206.8223 C 745.4774 214.82256 731.5211 220.4956 716.8228 224.4369" marker-end="url(#FilledArrow_Marker)" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Graphic_20">
        <text transform="translate(734.114 128)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="7247536e-19" y="33">0,1</tspan>
        </text>
      </g>
      <g id="Line_22">
        <line x1="206.114" y1="295" x2="265.14417" y2="259.18036" marker-end="url(#FilledArrow_Marker)" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Graphic_25">
        <text transform="translate(452.114 152.02)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="33">0</tspan>
        </text>
      </g>
      <g id="Graphic_26">
        <ellipse cx="555.4051" cy="232.5" rx="37.2911554779238" ry="34.5000551276154" fill="white"/>
        <ellipse cx="555.4051" cy="232.5" rx="37.2911554779238" ry="34.5000551276154" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(530.5722 223.276)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="16" font-weight="400" fill="black" x="15.640876" y="15">q3</tspan>
        </text>
      </g>
      <g id="Line_27">
        <path d="M 407.1183 202.38196 C 402.62863 192.961 399.71323 182.69688 401.6843 173.7539 C 407.07096 149.31427 419.5047 147.36706 446.4187 146.23384 C 473.33266 145.10062 465.8079 145.31427 496.6843 169.7539 C 506.17094 177.26287 515.37134 186.08085 523.5659 194.69463" marker-end="url(#FilledArrow_Marker)" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Line_29">
        <path d="M 539.2252 200.31396 C 536.3024 191.01935 534.9217 181.04528 537.5906 172.35385 C 545.2171 147.51757 555.411 145.967 582.32494 144.83378 C 609.2389 143.70056 607.9203 143.51757 632.5906 168.35385 C 638.4048 174.20722 643.5233 180.86452 647.95105 187.62168" marker-end="url(#FilledArrow_Marker)" stroke="#7f8080" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
      </g>
      <g id="Graphic_30">
        <text transform="translate(587.1751 158)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="33">1</tspan>
        </text>
      </g>
      <g id="Graphic_31">
        <text transform="translate(79.114 350)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="33">.*</tspan>
          <tspan font-family="Hiragino Sans" font-size="35" font-weight="300" fill="black" y="33">(</tspan>
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" y="33">101|11).*</tspan>
        </text>
      </g>
      <g id="Graphic_32">
        <text transform="translate(120.114 433)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="33">0    {q1}</tspan>
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="73.98">1    {q1,q2,q3}</tspan>
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="114.95999">1    {q1,q2,q3,q4}</tspan>
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="155.93999">1    {q1,q2,q3,q4}</tspan>
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="196.91998">1    {q1,q2,q3,</tspan>
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" y="196.91998">q4</tspan>
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" y="196.91998">}</tspan>
        </text>
      </g>
      <g id="Graphic_33">
        <text transform="translate(523.114 433)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="33">0    {q1}</tspan>
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="73.98">1    {q1,q2,q3}</tspan>
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="114.95999">0    {q1,q3}</tspan>
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="155.93999">0    {q1}</tspan>
          <tspan font-family="Helvetica Neue" font-size="35" font-weight="400" fill="black" x="0" y="196.91998">1    {q1,q2,q3}</tspan>
        </text>
      </g>
      <g id="Graphic_34">
        <text transform="translate(108.45 673)" fill="black">
          <tspan font-family="Helvetica Neue" font-size="25" font-weight="400" fill="black" x="7247536e-19" y="24">accept</tspan>
        </text>
      </g>
      <g id="Graphic_35">
        <text transform="translate(528.114 673)" fill="black">
          <tspan font-family="Hiragino Sans" font-size="25" font-weight="300" fill="black" x="0" y="24">not </tspan>
          <tspan font-family="Helvetica Neue" font-size="25" font-weight="400" fill="black" y="24">accept</tspan>
        </text>
      </g>
    </g>
  </g>
</svg>