| <?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"> |
| <!-- Generated by graphviz version 2.40.1 (20161225.0304) |
| --> |
| <!-- Title: G1 Pages: 1 --> |
| <svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="157pt" height="246pt" viewBox="0.00 0.00 156.50 246.00"> |
| <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 242)"> |
| <title>G1</title> |
| <polygon fill="white" stroke="transparent" points="-4,4 -4,-242 152.5,-242 152.5,4 -4,4"/> |
| <!-- r1 --> |
| <g id="node1" class="node"> |
| <title>r1</title> |
| <polygon fill="none" stroke="black" points="88.5,-173 34.5,-173 34.5,-137 88.5,-137 88.5,-173"/> |
| <text text-anchor="middle" x="61.5" y="-152.5" font-family="Courier,monospace" font-weight="bold" font-size="10.00" fill="#006000">rule</text> |
| </g> |
| <!-- s1 --> |
| <g id="node3" class="node"> |
| <title>s1</title> |
| <ellipse fill="none" stroke="black" cx="14.5" cy="-223.5" rx="14.5" ry="14.5"/> |
| <text text-anchor="middle" x="14.5" y="-221" font-family="Courier,monospace" font-weight="bold" font-size="10.00" fill="#006000">in</text> |
| </g> |
| <!-- r1->s1 --> |
| <g id="edge1" class="edge"> |
| <title>r1->s1</title> |
| <path fill="none" stroke="black" d="M48.9049,-173.3567C42.6407,-182.4865 35.0482,-193.5522 28.5909,-202.9632"/> |
| <polygon fill="black" stroke="black" points="25.5999,-201.1362 22.8282,-211.3621 31.3719,-205.0965 25.5999,-201.1362"/> |
| </g> |
| <!-- s2 --> |
| <g id="node4" class="node"> |
| <title>s2</title> |
| <ellipse fill="none" stroke="black" cx="61.5" cy="-223.5" rx="14.5" ry="14.5"/> |
| <text text-anchor="middle" x="61.5" y="-221" font-family="Courier,monospace" font-weight="bold" font-size="10.00" fill="#006000">in</text> |
| </g> |
| <!-- r1->s2 --> |
| <g id="edge2" class="edge"> |
| <title>r1->s2</title> |
| <path fill="none" stroke="black" d="M61.5,-173.3567C61.5,-181.1589 61.5,-190.3749 61.5,-198.7638"/> |
| <polygon fill="black" stroke="black" points="58.0001,-198.7787 61.5,-208.7787 65.0001,-198.7788 58.0001,-198.7787"/> |
| </g> |
| <!-- s3 --> |
| <g id="node5" class="node"> |
| <title>s3</title> |
| <ellipse fill="none" stroke="black" cx="108.5" cy="-223.5" rx="14.5" ry="14.5"/> |
| <text text-anchor="middle" x="108.5" y="-221" font-family="Courier,monospace" font-weight="bold" font-size="10.00" fill="#006000">in</text> |
| </g> |
| <!-- r1->s3 --> |
| <g id="edge3" class="edge"> |
| <title>r1->s3</title> |
| <path fill="none" stroke="black" d="M74.0951,-173.3567C80.3593,-182.4865 87.9518,-193.5522 94.4091,-202.9632"/> |
| <polygon fill="black" stroke="black" points="91.6281,-205.0965 100.1718,-211.3621 97.4001,-201.1362 91.6281,-205.0965"/> |
| </g> |
| <!-- r2 --> |
| <g id="node2" class="node"> |
| <title>r2</title> |
| <polygon fill="none" stroke="black" points="148.5,-101 94.5,-101 94.5,-65 148.5,-65 148.5,-101"/> |
| <text text-anchor="middle" x="121.5" y="-80.5" font-family="Courier,monospace" font-weight="bold" font-size="10.00" fill="#006000">rule</text> |
| </g> |
| <!-- r2->r1 --> |
| <g id="edge5" class="edge"> |
| <title>r2->r1</title> |
| <path fill="none" stroke="black" d="M106.3595,-101.1686C99.3783,-109.546 90.9609,-119.6469 83.3124,-128.8251"/> |
| <polygon fill="black" stroke="black" points="80.5575,-126.6638 76.8444,-136.5867 85.9351,-131.1452 80.5575,-126.6638"/> |
| </g> |
| <!-- s4 --> |
| <g id="node6" class="node"> |
| <title>s4</title> |
| <ellipse fill="none" stroke="black" cx="121.5" cy="-155" rx="14.5" ry="14.5"/> |
| <text text-anchor="middle" x="121.5" y="-152.5" font-family="Courier,monospace" font-weight="bold" font-size="10.00" fill="#006000">in</text> |
| </g> |
| <!-- r2->s4 --> |
| <g id="edge4" class="edge"> |
| <title>r2->s4</title> |
| <path fill="none" stroke="black" d="M121.5,-101.1686C121.5,-110.0069 121.5,-120.7634 121.5,-130.331"/> |
| <polygon fill="black" stroke="black" points="118.0001,-130.4622 121.5,-140.4622 125.0001,-130.4623 118.0001,-130.4622"/> |
| </g> |
| <!-- o1 --> |
| <g id="node7" class="node"> |
| <title>o1</title> |
| <ellipse fill="none" stroke="black" cx="61.5" cy="-83" rx="14.5" ry="14.5"/> |
| <text text-anchor="middle" x="61.5" y="-80.5" font-family="Courier,monospace" font-weight="bold" font-size="10.00" fill="#006000">out</text> |
| </g> |
| <!-- o1->r1 --> |
| <g id="edge6" class="edge"> |
| <title>o1->r1</title> |
| <path fill="none" stroke="black" d="M61.5,-97.5703C61.5,-105.8989 61.5,-116.6335 61.5,-126.564"/> |
| <polygon fill="black" stroke="black" points="58.0001,-126.872 61.5,-136.872 65.0001,-126.8721 58.0001,-126.872"/> |
| </g> |
| <!-- o2 --> |
| <g id="node8" class="node"> |
| <title>o2</title> |
| <ellipse fill="none" stroke="black" cx="121.5" cy="-14.5" rx="14.5" ry="14.5"/> |
| <text text-anchor="middle" x="121.5" y="-12" font-family="Courier,monospace" font-weight="bold" font-size="10.00" fill="#006000">out</text> |
| </g> |
| <!-- o2->r2 --> |
| <g id="edge7" class="edge"> |
| <title>o2->r2</title> |
| <path fill="none" stroke="black" d="M121.5,-29.0271C121.5,-36.5355 121.5,-45.9623 121.5,-54.8278"/> |
| <polygon fill="black" stroke="black" points="118.0001,-54.8287 121.5,-64.8287 125.0001,-54.8287 118.0001,-54.8287"/> |
| </g> |
| </g> |
| </svg> |
