| <?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 12.1.1 (20240910.0053) |
| --> |
| <!-- Pages: 1 --> |
| <svg height="150pt" |
| viewBox="0.00 0.00 371.00 442.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> |
| <g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 102)"> |
| <polygon fill="white" stroke="none" points="-4,4 -4,-102 85,-102 85,4 -4,4"/> |
| <!-- fut1 --> |
| <g id="node1" class="node"> |
| <title>fut1</title> |
| <polyline fill="none" stroke="black" points="13.12,-71.5 40.88,-71.5"/> |
| <text text-anchor="start" x="16.12" y="-77.7" font-family="Times,serif" font-size="14.00">fut1</text> |
| <polygon fill="none" stroke="black" points="13.12,-49 13.12,-71.5 40.88,-71.5 40.88,-49 13.12,-49"/> |
| <text text-anchor="start" x="23.62" y="-55.2" font-family="Times,serif" font-size="14.00">0</text> |
| <polygon fill="none" stroke="black" points="13.12,-26.5 13.12,-49 40.88,-49 40.88,-26.5 13.12,-26.5"/> |
| <text text-anchor="start" x="23.62" y="-32.7" font-family="Times,serif" font-size="14.00">1</text> |
| <polygon fill="none" stroke="black" points="13.12,-4 13.12,-26.5 40.88,-26.5 40.88,-4 13.12,-4"/> |
| <text text-anchor="start" x="23.25" y="-10.2" font-family="Times,serif" font-size="14.00">  </text> |
| </g> |
| <!-- fut1->fut1 --> |
| <g id="edge1" class="edge"> |
| <title>fut1:c->fut1:target</title> |
| <path fill="none" stroke="black" d="M27,-15.25C45,-6.25 81,-6.25 81,-26.5 81,-39.11 67.05,-43.87 52.17,-43.49"/> |
| <polygon fill="black" stroke="black" points="52.66,-40.02 42.34,-42.41 51.89,-46.98 52.66,-40.02"/> |
| </g> |
| </g> |
| </svg> |
