1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
<?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.38.0 (20140413.2041)
-->
<!-- Title: %3 Pages: 1 -->
<svg width="206pt" height="206pt"
viewBox="0.00 0.00 206.00 206.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 202)">
<title>%3</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-202 202,-202 202,4 -4,4"/>
<!-- cons0 -->
<g id="node1" class="node"><title>cons0</title>
<text text-anchor="middle" x="63" y="-176.3" font-family="sans" font-size="14.00">·</text>
</g>
<!-- cons1 -->
<g id="node2" class="node"><title>cons1</title>
<text text-anchor="middle" x="99" y="-122.3" font-family="sans" font-size="14.00">·</text>
</g>
<!-- cons0--cons1 -->
<g id="edge2" class="edge"><title>cons0--cons1</title>
<path fill="none" stroke="black" d="M74.7877,-161.973C78.7249,-156.286 83.1141,-149.946 87.0625,-144.243"/>
</g>
<!-- a -->
<g id="node5" class="node"><title>a</title>
<text text-anchor="middle" x="27" y="-122.3" font-family="sans" font-size="14.00">a</text>
</g>
<!-- cons0--a -->
<g id="edge1" class="edge"><title>cons0--a</title>
<path fill="none" stroke="black" d="M51.2123,-161.973C47.2751,-156.286 42.8859,-149.946 38.9375,-144.243"/>
</g>
<!-- cons2 -->
<g id="node3" class="node"><title>cons2</title>
<text text-anchor="middle" x="135" y="-68.3" font-family="sans" font-size="14.00">·</text>
</g>
<!-- cons1--cons2 -->
<g id="edge4" class="edge"><title>cons1--cons2</title>
<path fill="none" stroke="black" d="M110.788,-107.973C114.725,-102.286 119.114,-95.9464 123.063,-90.243"/>
</g>
<!-- b -->
<g id="node6" class="node"><title>b</title>
<text text-anchor="middle" x="63" y="-68.3" font-family="sans" font-size="14.00">b</text>
</g>
<!-- cons1--b -->
<g id="edge3" class="edge"><title>cons1--b</title>
<path fill="none" stroke="black" d="M87.2123,-107.973C83.2751,-102.286 78.8859,-95.9464 74.9375,-90.243"/>
</g>
<!-- empty -->
<g id="node4" class="node"><title>empty</title>
<text text-anchor="middle" x="171" y="-14.3" font-family="sans" font-size="14.00">[ ]</text>
</g>
<!-- cons2--empty -->
<g id="edge6" class="edge"><title>cons2--empty</title>
<path fill="none" stroke="black" d="M146.788,-53.9733C150.725,-48.2862 155.114,-41.9464 159.063,-36.243"/>
</g>
<!-- c -->
<g id="node7" class="node"><title>c</title>
<text text-anchor="middle" x="99" y="-14.3" font-family="sans" font-size="14.00">c</text>
</g>
<!-- cons2--c -->
<g id="edge5" class="edge"><title>cons2--c</title>
<path fill="none" stroke="black" d="M123.212,-53.9733C119.275,-48.2862 114.886,-41.9464 110.937,-36.243"/>
</g>
</g>
</svg>
|
