rubyfca 0.2.11 → 0.3.0

Sign up to get free protection for your applications and to get access to all the features.
@@ -0,0 +1,314 @@
1
+ <?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
+ <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
3
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
4
+ <!-- Generated by graphviz version 8.0.5 (20230430.1635)
5
+ -->
6
+ <!-- Title: clattice Pages: 1 -->
7
+ <svg width="491pt" height="701pt"
8
+ viewBox="0.00 0.00 491.25 700.50" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
9
+ <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 696.5)">
10
+ <title>clattice</title>
11
+ <polygon fill="white" stroke="none" points="-4,4 -4,-696.5 487.25,-696.5 487.25,4 -4,4"/>
12
+ <!-- c0 -->
13
+ <g id="node1" class="node">
14
+ <title>c0</title>
15
+ <polygon fill="lightblue" stroke="none" points="262.13,-22.5 262.13,-111 327.38,-111 327.38,-22.5 262.13,-22.5"/>
16
+ <polygon fill="none" stroke="black" points="262.13,-22.5 262.13,-111 327.38,-111 327.38,-22.5 262.13,-22.5"/>
17
+ <text text-anchor="start" x="265.13" y="-94.7" font-family="Times,serif" font-size="14.00">Composite</text>
18
+ <text text-anchor="start" x="265.13" y="-78.2" font-family="Times,serif" font-size="14.00">Even</text>
19
+ <text text-anchor="start" x="265.13" y="-61.7" font-family="Times,serif" font-size="14.00">Odd</text>
20
+ <text text-anchor="start" x="265.13" y="-45.2" font-family="Times,serif" font-size="14.00">Prime</text>
21
+ <text text-anchor="start" x="265.13" y="-28.7" font-family="Times,serif" font-size="14.00">Square</text>
22
+ <polygon fill="white" stroke="none" points="262.13,0 262.13,-22.5 327.38,-22.5 327.38,0 262.13,0"/>
23
+ <polygon fill="none" stroke="black" points="262.13,0 262.13,-22.5 327.38,-22.5 327.38,0 262.13,0"/>
24
+ <text text-anchor="start" x="265.13" y="-6.2" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
25
+ </g>
26
+ <!-- c1 -->
27
+ <g id="node2" class="node">
28
+ <title>c1</title>
29
+ <polygon fill="lightblue" stroke="none" points="79.13,-155.5 79.13,-211 144.38,-211 144.38,-155.5 79.13,-155.5"/>
30
+ <polygon fill="none" stroke="black" points="79.13,-155.5 79.13,-211 144.38,-211 144.38,-155.5 79.13,-155.5"/>
31
+ <text text-anchor="start" x="82.13" y="-194.7" font-family="Times,serif" font-size="14.00">Composite</text>
32
+ <text text-anchor="start" x="82.13" y="-178.2" font-family="Times,serif" font-size="14.00">Odd</text>
33
+ <text text-anchor="start" x="82.13" y="-161.7" font-family="Times,serif" font-size="14.00">Square</text>
34
+ <polygon fill="pink" stroke="none" points="79.13,-133 79.13,-155.5 144.38,-155.5 144.38,-133 79.13,-133"/>
35
+ <polygon fill="none" stroke="black" points="79.13,-133 79.13,-155.5 144.38,-155.5 144.38,-133 79.13,-133"/>
36
+ <text text-anchor="start" x="82.13" y="-139.2" font-family="Times,serif" font-size="14.00">9*</text>
37
+ </g>
38
+ <!-- c1&#45;&#45;c0 -->
39
+ <g id="edge1" class="edge">
40
+ <title>c1&#45;&#45;c0</title>
41
+ <path fill="none" stroke="#999999" d="M144.05,-151.44C177.29,-130.28 228.81,-97.48 262.16,-76.25"/>
42
+ </g>
43
+ <!-- c2 -->
44
+ <g id="node3" class="node">
45
+ <title>c2</title>
46
+ <polygon fill="lightblue" stroke="none" points="202.13,-155.5 202.13,-211 267.38,-211 267.38,-155.5 202.13,-155.5"/>
47
+ <polygon fill="none" stroke="black" points="202.13,-155.5 202.13,-211 267.38,-211 267.38,-155.5 202.13,-155.5"/>
48
+ <text text-anchor="start" x="205.13" y="-194.7" font-family="Times,serif" font-size="14.00">Composite</text>
49
+ <text text-anchor="start" x="205.13" y="-178.2" font-family="Times,serif" font-size="14.00">Even</text>
50
+ <text text-anchor="start" x="205.13" y="-161.7" font-family="Times,serif" font-size="14.00">Square</text>
51
+ <polygon fill="pink" stroke="none" points="202.13,-133 202.13,-155.5 267.38,-155.5 267.38,-133 202.13,-133"/>
52
+ <polygon fill="none" stroke="black" points="202.13,-133 202.13,-155.5 267.38,-155.5 267.38,-133 202.13,-133"/>
53
+ <text text-anchor="start" x="205.13" y="-139.2" font-family="Times,serif" font-size="14.00">4*</text>
54
+ </g>
55
+ <!-- c2&#45;&#45;c0 -->
56
+ <g id="edge2" class="edge">
57
+ <title>c2&#45;&#45;c0</title>
58
+ <path fill="none" stroke="#999999" d="M254.73,-133.21C258.41,-126.06 262.32,-118.47 266.2,-110.94"/>
59
+ </g>
60
+ <!-- c3 -->
61
+ <g id="node4" class="node">
62
+ <title>c3</title>
63
+ <polygon fill="lightblue" stroke="none" points="101.13,-288.5 101.13,-327.5 166.38,-327.5 166.38,-288.5 101.13,-288.5"/>
64
+ <polygon fill="none" stroke="black" points="101.13,-288.5 101.13,-327.5 166.38,-327.5 166.38,-288.5 101.13,-288.5"/>
65
+ <text text-anchor="start" x="104.13" y="-311.2" font-family="Times,serif" font-size="14.00">Composite</text>
66
+ <text text-anchor="start" x="104.13" y="-294.7" font-family="Times,serif" font-size="14.00">Square</text>
67
+ <polygon fill="pink" stroke="none" points="101.13,-249.5 101.13,-288.5 166.38,-288.5 166.38,-249.5 101.13,-249.5"/>
68
+ <polygon fill="none" stroke="black" points="101.13,-249.5 101.13,-288.5 166.38,-288.5 166.38,-249.5 101.13,-249.5"/>
69
+ <text text-anchor="start" x="104.13" y="-272.2" font-family="Times,serif" font-size="14.00">4</text>
70
+ <text text-anchor="start" x="104.13" y="-255.7" font-family="Times,serif" font-size="14.00">9</text>
71
+ </g>
72
+ <!-- c3&#45;&#45;c1 -->
73
+ <g id="edge3" class="edge">
74
+ <title>c3&#45;&#45;c1</title>
75
+ <path fill="none" stroke="#999999" d="M126.42,-249.71C124.05,-237.13 121.42,-223.19 119.04,-210.62"/>
76
+ </g>
77
+ <!-- c3&#45;&#45;c2 -->
78
+ <g id="edge4" class="edge">
79
+ <title>c3&#45;&#45;c2</title>
80
+ <path fill="none" stroke="#999999" d="M166.26,-251C177.8,-237.7 190.77,-222.73 202.3,-209.43"/>
81
+ </g>
82
+ <!-- c4 -->
83
+ <g id="node5" class="node">
84
+ <title>c4</title>
85
+ <polygon fill="lightblue" stroke="none" points="224.13,-305 224.13,-344 289.38,-344 289.38,-305 224.13,-305"/>
86
+ <polygon fill="none" stroke="black" points="224.13,-305 224.13,-344 289.38,-344 289.38,-305 224.13,-305"/>
87
+ <text text-anchor="start" x="227.13" y="-327.7" font-family="Times,serif" font-size="14.00">Composite</text>
88
+ <text text-anchor="start" x="227.13" y="-311.2" font-family="Times,serif" font-size="14.00">Even</text>
89
+ <polygon fill="pink" stroke="none" points="224.13,-233 224.13,-305 289.38,-305 289.38,-233 224.13,-233"/>
90
+ <polygon fill="none" stroke="black" points="224.13,-233 224.13,-305 289.38,-305 289.38,-233 224.13,-233"/>
91
+ <text text-anchor="start" x="227.13" y="-288.7" font-family="Times,serif" font-size="14.00">4</text>
92
+ <text text-anchor="start" x="227.13" y="-272.2" font-family="Times,serif" font-size="14.00">6*</text>
93
+ <text text-anchor="start" x="227.13" y="-255.7" font-family="Times,serif" font-size="14.00">8*</text>
94
+ <text text-anchor="start" x="227.13" y="-239.2" font-family="Times,serif" font-size="14.00">10*</text>
95
+ </g>
96
+ <!-- c4&#45;&#45;c2 -->
97
+ <g id="edge5" class="edge">
98
+ <title>c4&#45;&#45;c2</title>
99
+ <path fill="none" stroke="#999999" d="M246.33,-233.32C244.89,-225.68 243.43,-217.96 242.06,-210.7"/>
100
+ </g>
101
+ <!-- c5 -->
102
+ <g id="node6" class="node">
103
+ <title>c5</title>
104
+ <polygon fill="lightblue" stroke="none" points="205.75,-454.5 205.75,-477 277.75,-477 277.75,-454.5 205.75,-454.5"/>
105
+ <polygon fill="none" stroke="black" points="205.75,-454.5 205.75,-477 277.75,-477 277.75,-454.5 205.75,-454.5"/>
106
+ <text text-anchor="start" x="208.75" y="-460.7" font-family="Times,serif" font-size="14.00">Composite*</text>
107
+ <polygon fill="pink" stroke="none" points="205.75,-366 205.75,-454.5 277.75,-454.5 277.75,-366 205.75,-366"/>
108
+ <polygon fill="none" stroke="black" points="205.75,-366 205.75,-454.5 277.75,-454.5 277.75,-366 205.75,-366"/>
109
+ <text text-anchor="start" x="208.75" y="-438.2" font-family="Times,serif" font-size="14.00">4</text>
110
+ <text text-anchor="start" x="208.75" y="-421.7" font-family="Times,serif" font-size="14.00">6</text>
111
+ <text text-anchor="start" x="208.75" y="-405.2" font-family="Times,serif" font-size="14.00">8</text>
112
+ <text text-anchor="start" x="208.75" y="-388.7" font-family="Times,serif" font-size="14.00">9</text>
113
+ <text text-anchor="start" x="208.75" y="-372.2" font-family="Times,serif" font-size="14.00">10</text>
114
+ </g>
115
+ <!-- c5&#45;&#45;c3 -->
116
+ <g id="edge6" class="edge">
117
+ <title>c5&#45;&#45;c3</title>
118
+ <path fill="none" stroke="#999999" d="M205.79,-377.21C192.66,-361.04 177.92,-342.89 165.21,-327.24"/>
119
+ </g>
120
+ <!-- c5&#45;&#45;c4 -->
121
+ <g id="edge7" class="edge">
122
+ <title>c5&#45;&#45;c4</title>
123
+ <path fill="none" stroke="#999999" d="M247.98,-366.25C248.82,-358.83 249.68,-351.22 250.51,-343.79"/>
124
+ </g>
125
+ <!-- c6 -->
126
+ <g id="node7" class="node">
127
+ <title>c6</title>
128
+ <polygon fill="lightblue" stroke="none" points="347.25,-296.75 347.25,-335.75 386.25,-335.75 386.25,-296.75 347.25,-296.75"/>
129
+ <polygon fill="none" stroke="black" points="347.25,-296.75 347.25,-335.75 386.25,-335.75 386.25,-296.75 347.25,-296.75"/>
130
+ <text text-anchor="start" x="350.25" y="-319.45" font-family="Times,serif" font-size="14.00">Odd</text>
131
+ <text text-anchor="start" x="350.25" y="-302.95" font-family="Times,serif" font-size="14.00">Prime</text>
132
+ <polygon fill="pink" stroke="none" points="347.25,-241.25 347.25,-296.75 386.25,-296.75 386.25,-241.25 347.25,-241.25"/>
133
+ <polygon fill="none" stroke="black" points="347.25,-241.25 347.25,-296.75 386.25,-296.75 386.25,-241.25 347.25,-241.25"/>
134
+ <text text-anchor="start" x="350.25" y="-280.45" font-family="Times,serif" font-size="14.00">3*</text>
135
+ <text text-anchor="start" x="350.25" y="-263.95" font-family="Times,serif" font-size="14.00">5*</text>
136
+ <text text-anchor="start" x="350.25" y="-247.45" font-family="Times,serif" font-size="14.00">7*</text>
137
+ </g>
138
+ <!-- c6&#45;&#45;c0 -->
139
+ <g id="edge8" class="edge">
140
+ <title>c6&#45;&#45;c0</title>
141
+ <path fill="none" stroke="#999999" d="M352.18,-241.35C340.51,-203.59 324.12,-150.53 311.83,-110.77"/>
142
+ </g>
143
+ <!-- c7 -->
144
+ <g id="node8" class="node">
145
+ <title>c7</title>
146
+ <polygon fill="lightblue" stroke="none" points="444.25,-280.25 444.25,-319.25 483.25,-319.25 483.25,-280.25 444.25,-280.25"/>
147
+ <polygon fill="none" stroke="black" points="444.25,-280.25 444.25,-319.25 483.25,-319.25 483.25,-280.25 444.25,-280.25"/>
148
+ <text text-anchor="start" x="447.25" y="-302.95" font-family="Times,serif" font-size="14.00">Even</text>
149
+ <text text-anchor="start" x="447.25" y="-286.45" font-family="Times,serif" font-size="14.00">Prime</text>
150
+ <polygon fill="pink" stroke="none" points="444.25,-257.75 444.25,-280.25 483.25,-280.25 483.25,-257.75 444.25,-257.75"/>
151
+ <polygon fill="none" stroke="black" points="444.25,-257.75 444.25,-280.25 483.25,-280.25 483.25,-257.75 444.25,-257.75"/>
152
+ <text text-anchor="start" x="447.25" y="-263.95" font-family="Times,serif" font-size="14.00">2*</text>
153
+ </g>
154
+ <!-- c7&#45;&#45;c0 -->
155
+ <g id="edge9" class="edge">
156
+ <title>c7&#45;&#45;c0</title>
157
+ <path fill="none" stroke="#999999" d="M444.36,-261.77C415.75,-222.33 361.87,-148.04 327.18,-100.21"/>
158
+ </g>
159
+ <!-- c8 -->
160
+ <g id="node9" class="node">
161
+ <title>c8</title>
162
+ <polygon fill="lightblue" stroke="none" points="335.5,-454.5 335.5,-477 376,-477 376,-454.5 335.5,-454.5"/>
163
+ <polygon fill="none" stroke="black" points="335.5,-454.5 335.5,-477 376,-477 376,-454.5 335.5,-454.5"/>
164
+ <text text-anchor="start" x="338.5" y="-460.7" font-family="Times,serif" font-size="14.00">Even*</text>
165
+ <polygon fill="pink" stroke="none" points="335.5,-366 335.5,-454.5 376,-454.5 376,-366 335.5,-366"/>
166
+ <polygon fill="none" stroke="black" points="335.5,-366 335.5,-454.5 376,-454.5 376,-366 335.5,-366"/>
167
+ <text text-anchor="start" x="338.5" y="-438.2" font-family="Times,serif" font-size="14.00">2</text>
168
+ <text text-anchor="start" x="338.5" y="-421.7" font-family="Times,serif" font-size="14.00">4</text>
169
+ <text text-anchor="start" x="338.5" y="-405.2" font-family="Times,serif" font-size="14.00">6</text>
170
+ <text text-anchor="start" x="338.5" y="-388.7" font-family="Times,serif" font-size="14.00">8</text>
171
+ <text text-anchor="start" x="338.5" y="-372.2" font-family="Times,serif" font-size="14.00">10</text>
172
+ </g>
173
+ <!-- c8&#45;&#45;c4 -->
174
+ <g id="edge10" class="edge">
175
+ <title>c8&#45;&#45;c4</title>
176
+ <path fill="none" stroke="#999999" d="M335.72,-394.59C322.38,-376.67 304.56,-352.73 289.23,-332.13"/>
177
+ </g>
178
+ <!-- c8&#45;&#45;c7 -->
179
+ <g id="edge11" class="edge">
180
+ <title>c8&#45;&#45;c7</title>
181
+ <path fill="none" stroke="#999999" d="M375.81,-396.8C395.45,-372.61 425.17,-336.01 444.52,-312.18"/>
182
+ </g>
183
+ <!-- c9 -->
184
+ <g id="node10" class="node">
185
+ <title>c9</title>
186
+ <polygon fill="lightblue" stroke="none" points="433.88,-446.25 433.88,-468.75 479.63,-468.75 479.63,-446.25 433.88,-446.25"/>
187
+ <polygon fill="none" stroke="black" points="433.88,-446.25 433.88,-468.75 479.63,-468.75 479.63,-446.25 433.88,-446.25"/>
188
+ <text text-anchor="start" x="436.88" y="-452.45" font-family="Times,serif" font-size="14.00">Prime*</text>
189
+ <polygon fill="pink" stroke="none" points="433.88,-374.25 433.88,-446.25 479.63,-446.25 479.63,-374.25 433.88,-374.25"/>
190
+ <polygon fill="none" stroke="black" points="433.88,-374.25 433.88,-446.25 479.63,-446.25 479.63,-374.25 433.88,-374.25"/>
191
+ <text text-anchor="start" x="436.88" y="-429.95" font-family="Times,serif" font-size="14.00">2</text>
192
+ <text text-anchor="start" x="436.88" y="-413.45" font-family="Times,serif" font-size="14.00">3</text>
193
+ <text text-anchor="start" x="436.88" y="-396.95" font-family="Times,serif" font-size="14.00">5</text>
194
+ <text text-anchor="start" x="436.88" y="-380.45" font-family="Times,serif" font-size="14.00">7</text>
195
+ </g>
196
+ <!-- c9&#45;&#45;c6 -->
197
+ <g id="edge12" class="edge">
198
+ <title>c9&#45;&#45;c6</title>
199
+ <path fill="none" stroke="#999999" d="M434.04,-387.94C419.25,-366.08 400.16,-337.88 386.1,-317.09"/>
200
+ </g>
201
+ <!-- c9&#45;&#45;c7 -->
202
+ <g id="edge13" class="edge">
203
+ <title>c9&#45;&#45;c7</title>
204
+ <path fill="none" stroke="#999999" d="M459.22,-374.61C460.19,-356.21 461.27,-335.62 462.14,-319.18"/>
205
+ </g>
206
+ <!-- c10 -->
207
+ <g id="node11" class="node">
208
+ <title>c10</title>
209
+ <polygon fill="lightblue" stroke="none" points="0,-288.5 0,-327.5 43.5,-327.5 43.5,-288.5 0,-288.5"/>
210
+ <polygon fill="none" stroke="black" points="0,-288.5 0,-327.5 43.5,-327.5 43.5,-288.5 0,-288.5"/>
211
+ <text text-anchor="start" x="3" y="-311.2" font-family="Times,serif" font-size="14.00">Odd</text>
212
+ <text text-anchor="start" x="3" y="-294.7" font-family="Times,serif" font-size="14.00">Square</text>
213
+ <polygon fill="pink" stroke="none" points="0,-249.5 0,-288.5 43.5,-288.5 43.5,-249.5 0,-249.5"/>
214
+ <polygon fill="none" stroke="black" points="0,-249.5 0,-288.5 43.5,-288.5 43.5,-249.5 0,-249.5"/>
215
+ <text text-anchor="start" x="3" y="-272.2" font-family="Times,serif" font-size="14.00">1*</text>
216
+ <text text-anchor="start" x="3" y="-255.7" font-family="Times,serif" font-size="14.00">9</text>
217
+ </g>
218
+ <!-- c10&#45;&#45;c1 -->
219
+ <g id="edge14" class="edge">
220
+ <title>c10&#45;&#45;c1</title>
221
+ <path fill="none" stroke="#999999" d="M43.31,-260.6C54.85,-245.65 69.25,-227.01 81.86,-210.69"/>
222
+ </g>
223
+ <!-- c11 -->
224
+ <g id="node12" class="node">
225
+ <title>c11</title>
226
+ <polygon fill="lightblue" stroke="none" points="3.63,-438 3.63,-460.5 53.88,-460.5 53.88,-438 3.63,-438"/>
227
+ <polygon fill="none" stroke="black" points="3.63,-438 3.63,-460.5 53.88,-460.5 53.88,-438 3.63,-438"/>
228
+ <text text-anchor="start" x="6.63" y="-444.2" font-family="Times,serif" font-size="14.00">Square*</text>
229
+ <polygon fill="pink" stroke="none" points="3.63,-382.5 3.63,-438 53.88,-438 53.88,-382.5 3.63,-382.5"/>
230
+ <polygon fill="none" stroke="black" points="3.63,-382.5 3.63,-438 53.88,-438 53.88,-382.5 3.63,-382.5"/>
231
+ <text text-anchor="start" x="6.63" y="-421.7" font-family="Times,serif" font-size="14.00">1</text>
232
+ <text text-anchor="start" x="6.63" y="-405.2" font-family="Times,serif" font-size="14.00">4</text>
233
+ <text text-anchor="start" x="6.63" y="-388.7" font-family="Times,serif" font-size="14.00">9</text>
234
+ </g>
235
+ <!-- c11&#45;&#45;c3 -->
236
+ <g id="edge15" class="edge">
237
+ <title>c11&#45;&#45;c3</title>
238
+ <path fill="none" stroke="#999999" d="M53.63,-389.98C68.43,-371.24 87.32,-347.31 103.04,-327.4"/>
239
+ </g>
240
+ <!-- c11&#45;&#45;c10 -->
241
+ <g id="edge16" class="edge">
242
+ <title>c11&#45;&#45;c10</title>
243
+ <path fill="none" stroke="#999999" d="M26.71,-382.67C25.79,-365.19 24.7,-344.61 23.78,-327.15"/>
244
+ </g>
245
+ <!-- c12 -->
246
+ <g id="node13" class="node">
247
+ <title>c12</title>
248
+ <polygon fill="lightblue" stroke="none" points="111.75,-454.5 111.75,-477 147.75,-477 147.75,-454.5 111.75,-454.5"/>
249
+ <polygon fill="none" stroke="black" points="111.75,-454.5 111.75,-477 147.75,-477 147.75,-454.5 111.75,-454.5"/>
250
+ <text text-anchor="start" x="114.75" y="-460.7" font-family="Times,serif" font-size="14.00">Odd*</text>
251
+ <polygon fill="pink" stroke="none" points="111.75,-366 111.75,-454.5 147.75,-454.5 147.75,-366 111.75,-366"/>
252
+ <polygon fill="none" stroke="black" points="111.75,-366 111.75,-454.5 147.75,-454.5 147.75,-366 111.75,-366"/>
253
+ <text text-anchor="start" x="114.75" y="-438.2" font-family="Times,serif" font-size="14.00">1</text>
254
+ <text text-anchor="start" x="114.75" y="-421.7" font-family="Times,serif" font-size="14.00">3</text>
255
+ <text text-anchor="start" x="114.75" y="-405.2" font-family="Times,serif" font-size="14.00">5</text>
256
+ <text text-anchor="start" x="114.75" y="-388.7" font-family="Times,serif" font-size="14.00">7</text>
257
+ <text text-anchor="start" x="114.75" y="-372.2" font-family="Times,serif" font-size="14.00">9</text>
258
+ </g>
259
+ <!-- c12&#45;&#45;c6 -->
260
+ <g id="edge17" class="edge">
261
+ <title>c12&#45;&#45;c6</title>
262
+ <path fill="none" stroke="#999999" d="M147.56,-411.5C191.05,-387.1 302.38,-324.62 347.41,-299.35"/>
263
+ </g>
264
+ <!-- c12&#45;&#45;c10 -->
265
+ <g id="edge18" class="edge">
266
+ <title>c12&#45;&#45;c10</title>
267
+ <path fill="none" stroke="#999999" d="M111.92,-399.54C93.1,-376.37 63.45,-339.86 43.33,-315.08"/>
268
+ </g>
269
+ <!-- c13 -->
270
+ <g id="node14" class="node">
271
+ <title>c13</title>
272
+ <polygon fill="white" stroke="none" points="229.38,-670 229.38,-692.5 254.13,-692.5 254.13,-670 229.38,-670"/>
273
+ <polygon fill="none" stroke="black" points="229.38,-670 229.38,-692.5 254.13,-692.5 254.13,-670 229.38,-670"/>
274
+ <text text-anchor="start" x="232.38" y="-676.2" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
275
+ <polygon fill="pink" stroke="none" points="229.38,-499 229.38,-670 254.13,-670 254.13,-499 229.38,-499"/>
276
+ <polygon fill="none" stroke="black" points="229.38,-499 229.38,-670 254.13,-670 254.13,-499 229.38,-499"/>
277
+ <text text-anchor="start" x="232.38" y="-653.7" font-family="Times,serif" font-size="14.00">1</text>
278
+ <text text-anchor="start" x="232.38" y="-637.2" font-family="Times,serif" font-size="14.00">2</text>
279
+ <text text-anchor="start" x="232.38" y="-620.7" font-family="Times,serif" font-size="14.00">3</text>
280
+ <text text-anchor="start" x="232.38" y="-604.2" font-family="Times,serif" font-size="14.00">4</text>
281
+ <text text-anchor="start" x="232.38" y="-587.7" font-family="Times,serif" font-size="14.00">5</text>
282
+ <text text-anchor="start" x="232.38" y="-571.2" font-family="Times,serif" font-size="14.00">6</text>
283
+ <text text-anchor="start" x="232.38" y="-554.7" font-family="Times,serif" font-size="14.00">7</text>
284
+ <text text-anchor="start" x="232.38" y="-538.2" font-family="Times,serif" font-size="14.00">8</text>
285
+ <text text-anchor="start" x="232.38" y="-521.7" font-family="Times,serif" font-size="14.00">9</text>
286
+ <text text-anchor="start" x="232.38" y="-505.2" font-family="Times,serif" font-size="14.00">10</text>
287
+ </g>
288
+ <!-- c13&#45;&#45;c5 -->
289
+ <g id="edge19" class="edge">
290
+ <title>c13&#45;&#45;c5</title>
291
+ <path fill="none" stroke="#999999" d="M241.75,-499.2C241.75,-491.5 241.75,-483.91 241.75,-476.65"/>
292
+ </g>
293
+ <!-- c13&#45;&#45;c8 -->
294
+ <g id="edge20" class="edge">
295
+ <title>c13&#45;&#45;c8</title>
296
+ <path fill="none" stroke="#999999" d="M253.95,-577.1C273.48,-547.25 311.96,-488.43 335.62,-452.28"/>
297
+ </g>
298
+ <!-- c13&#45;&#45;c9 -->
299
+ <g id="edge21" class="edge">
300
+ <title>c13&#45;&#45;c9</title>
301
+ <path fill="none" stroke="#999999" d="M253.93,-585.88C288.66,-557.73 388.63,-476.71 433.94,-439.99"/>
302
+ </g>
303
+ <!-- c13&#45;&#45;c11 -->
304
+ <g id="edge22" class="edge">
305
+ <title>c13&#45;&#45;c11</title>
306
+ <path fill="none" stroke="#999999" d="M229.38,-585.63C195.28,-557.74 99.48,-479.36 53.71,-441.92"/>
307
+ </g>
308
+ <!-- c13&#45;&#45;c12 -->
309
+ <g id="edge23" class="edge">
310
+ <title>c13&#45;&#45;c12</title>
311
+ <path fill="none" stroke="#999999" d="M229.55,-576.77C209.76,-545.99 170.58,-485.03 147.64,-449.33"/>
312
+ </g>
313
+ </g>
314
+ </svg>
@@ -0,0 +1,7 @@
1
+ ,Ostrich, Sparrow, Eagle, Lion, Bonobo, Human
2
+ bird ,X,X,X,,,
3
+ mammal ,,,,X,X,X
4
+ ape ,,,,,X,X
5
+ flying ,,X,X,,,
6
+ preying,,,X,X,,
7
+ talking,,,,,,X
@@ -8,7 +8,7 @@ Sparrow
8
8
  Eagle
9
9
  Lion
10
10
  Bonobo
11
- Human being
11
+ Human
12
12
  bird
13
13
  mammal
14
14
  ape
Binary file
@@ -0,0 +1,272 @@
1
+ <?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
+ <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
3
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
4
+ <!-- Generated by graphviz version 8.0.5 (20230430.1635)
5
+ -->
6
+ <!-- Title: clattice Pages: 1 -->
7
+ <svg width="450pt" height="354pt"
8
+ viewBox="0.00 0.00 450.25 354.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
9
+ <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 350)">
10
+ <title>clattice</title>
11
+ <polygon fill="white" stroke="none" points="-4,4 -4,-350 446.25,-350 446.25,4 -4,4"/>
12
+ <!-- c0 -->
13
+ <g id="node1" class="node">
14
+ <title>c0</title>
15
+ <polygon fill="white" stroke="none" points="241.38,-22.5 241.38,-45 266.13,-45 266.13,-22.5 241.38,-22.5"/>
16
+ <polygon fill="none" stroke="black" points="241.38,-22.5 241.38,-45 266.13,-45 266.13,-22.5 241.38,-22.5"/>
17
+ <text text-anchor="start" x="244.38" y="-28.7" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
18
+ <polygon fill="white" stroke="none" points="241.38,0 241.38,-22.5 266.13,-22.5 266.13,0 241.38,0"/>
19
+ <polygon fill="none" stroke="black" points="241.38,0 241.38,-22.5 266.13,-22.5 266.13,0 241.38,0"/>
20
+ <text text-anchor="start" x="244.38" y="-6.2" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
21
+ </g>
22
+ <!-- c1 -->
23
+ <g id="node2" class="node">
24
+ <title>c1</title>
25
+ <polygon fill="white" stroke="none" points="108.38,-89.5 108.38,-112 133.13,-112 133.13,-89.5 108.38,-89.5"/>
26
+ <polygon fill="none" stroke="black" points="108.38,-89.5 108.38,-112 133.13,-112 133.13,-89.5 108.38,-89.5"/>
27
+ <text text-anchor="start" x="111.38" y="-95.7" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
28
+ <polygon fill="pink" stroke="none" points="108.38,-67 108.38,-89.5 133.13,-89.5 133.13,-67 108.38,-67"/>
29
+ <polygon fill="none" stroke="black" points="108.38,-67 108.38,-89.5 133.13,-89.5 133.13,-67 108.38,-67"/>
30
+ <text text-anchor="start" x="111.38" y="-73.2" font-family="Times,serif" font-size="14.00">9</text>
31
+ </g>
32
+ <!-- c1&#45;&#45;c0 -->
33
+ <g id="edge1" class="edge">
34
+ <title>c1&#45;&#45;c0</title>
35
+ <path fill="none" stroke="#999999" d="M133.02,-83.32C158.36,-70.55 216.19,-41.42 241.51,-28.67"/>
36
+ </g>
37
+ <!-- c2 -->
38
+ <g id="node3" class="node">
39
+ <title>c2</title>
40
+ <polygon fill="white" stroke="none" points="191.38,-89.5 191.38,-112 216.13,-112 216.13,-89.5 191.38,-89.5"/>
41
+ <polygon fill="none" stroke="black" points="191.38,-89.5 191.38,-112 216.13,-112 216.13,-89.5 191.38,-89.5"/>
42
+ <text text-anchor="start" x="194.38" y="-95.7" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
43
+ <polygon fill="pink" stroke="none" points="191.38,-67 191.38,-89.5 216.13,-89.5 216.13,-67 191.38,-67"/>
44
+ <polygon fill="none" stroke="black" points="191.38,-67 191.38,-89.5 216.13,-89.5 216.13,-67 191.38,-67"/>
45
+ <text text-anchor="start" x="194.38" y="-73.2" font-family="Times,serif" font-size="14.00">4</text>
46
+ </g>
47
+ <!-- c2&#45;&#45;c0 -->
48
+ <g id="edge2" class="edge">
49
+ <title>c2&#45;&#45;c0</title>
50
+ <path fill="none" stroke="#999999" d="M216.11,-72.94C223.86,-62.55 233.81,-49.22 241.53,-38.87"/>
51
+ </g>
52
+ <!-- c3 -->
53
+ <g id="node4" class="node">
54
+ <title>c3</title>
55
+ <polygon fill="white" stroke="none" points="125.38,-173 125.38,-195.5 150.13,-195.5 150.13,-173 125.38,-173"/>
56
+ <polygon fill="none" stroke="black" points="125.38,-173 125.38,-195.5 150.13,-195.5 150.13,-173 125.38,-173"/>
57
+ <text text-anchor="start" x="128.38" y="-179.2" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
58
+ <polygon fill="white" stroke="none" points="125.38,-150.5 125.38,-173 150.13,-173 150.13,-150.5 125.38,-150.5"/>
59
+ <polygon fill="none" stroke="black" points="125.38,-150.5 125.38,-173 150.13,-173 150.13,-150.5 125.38,-150.5"/>
60
+ <text text-anchor="start" x="128.38" y="-156.7" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
61
+ </g>
62
+ <!-- c3&#45;&#45;c1 -->
63
+ <g id="edge3" class="edge">
64
+ <title>c3&#45;&#45;c1</title>
65
+ <path fill="none" stroke="#999999" d="M133.19,-150.62C130.76,-138.64 127.76,-123.93 125.32,-111.94"/>
66
+ </g>
67
+ <!-- c3&#45;&#45;c2 -->
68
+ <g id="edge4" class="edge">
69
+ <title>c3&#45;&#45;c2</title>
70
+ <path fill="none" stroke="#999999" d="M149.86,-157.68C161.69,-142.71 179.61,-120.04 191.5,-105"/>
71
+ </g>
72
+ <!-- c4 -->
73
+ <g id="node5" class="node">
74
+ <title>c4</title>
75
+ <polygon fill="white" stroke="none" points="208.38,-189.5 208.38,-212 233.13,-212 233.13,-189.5 208.38,-189.5"/>
76
+ <polygon fill="none" stroke="black" points="208.38,-189.5 208.38,-212 233.13,-212 233.13,-189.5 208.38,-189.5"/>
77
+ <text text-anchor="start" x="211.38" y="-195.7" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
78
+ <polygon fill="pink" stroke="none" points="208.38,-134 208.38,-189.5 233.13,-189.5 233.13,-134 208.38,-134"/>
79
+ <polygon fill="none" stroke="black" points="208.38,-134 208.38,-189.5 233.13,-189.5 233.13,-134 208.38,-134"/>
80
+ <text text-anchor="start" x="211.38" y="-173.2" font-family="Times,serif" font-size="14.00">6</text>
81
+ <text text-anchor="start" x="211.38" y="-156.7" font-family="Times,serif" font-size="14.00">8</text>
82
+ <text text-anchor="start" x="211.38" y="-140.2" font-family="Times,serif" font-size="14.00">10</text>
83
+ </g>
84
+ <!-- c4&#45;&#45;c2 -->
85
+ <g id="edge5" class="edge">
86
+ <title>c4&#45;&#45;c2</title>
87
+ <path fill="none" stroke="#999999" d="M212.85,-134.18C211.29,-126.52 209.7,-118.72 208.3,-111.83"/>
88
+ </g>
89
+ <!-- c5 -->
90
+ <g id="node6" class="node">
91
+ <title>c5</title>
92
+ <polygon fill="lightblue" stroke="none" points="188.13,-256.5 188.13,-279 253.38,-279 253.38,-256.5 188.13,-256.5"/>
93
+ <polygon fill="none" stroke="black" points="188.13,-256.5 188.13,-279 253.38,-279 253.38,-256.5 188.13,-256.5"/>
94
+ <text text-anchor="start" x="191.13" y="-262.7" font-family="Times,serif" font-size="14.00">Composite</text>
95
+ <polygon fill="white" stroke="none" points="188.13,-234 188.13,-256.5 253.38,-256.5 253.38,-234 188.13,-234"/>
96
+ <polygon fill="none" stroke="black" points="188.13,-234 188.13,-256.5 253.38,-256.5 253.38,-234 188.13,-234"/>
97
+ <text text-anchor="start" x="191.13" y="-240.2" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
98
+ </g>
99
+ <!-- c5&#45;&#45;c3 -->
100
+ <g id="edge6" class="edge">
101
+ <title>c5&#45;&#45;c3</title>
102
+ <path fill="none" stroke="#999999" d="M198.51,-234.12C182.95,-218.47 162.75,-198.15 150.02,-185.34"/>
103
+ </g>
104
+ <!-- c5&#45;&#45;c4 -->
105
+ <g id="edge7" class="edge">
106
+ <title>c5&#45;&#45;c4</title>
107
+ <path fill="none" stroke="#999999" d="M220.75,-234.12C220.75,-227.26 220.75,-219.51 220.75,-211.88"/>
108
+ </g>
109
+ <!-- c6 -->
110
+ <g id="node7" class="node">
111
+ <title>c6</title>
112
+ <polygon fill="white" stroke="none" points="291.38,-189.5 291.38,-212 316.13,-212 316.13,-189.5 291.38,-189.5"/>
113
+ <polygon fill="none" stroke="black" points="291.38,-189.5 291.38,-212 316.13,-212 316.13,-189.5 291.38,-189.5"/>
114
+ <text text-anchor="start" x="294.38" y="-195.7" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
115
+ <polygon fill="pink" stroke="none" points="291.38,-134 291.38,-189.5 316.13,-189.5 316.13,-134 291.38,-134"/>
116
+ <polygon fill="none" stroke="black" points="291.38,-134 291.38,-189.5 316.13,-189.5 316.13,-134 291.38,-134"/>
117
+ <text text-anchor="start" x="294.38" y="-173.2" font-family="Times,serif" font-size="14.00">3</text>
118
+ <text text-anchor="start" x="294.38" y="-156.7" font-family="Times,serif" font-size="14.00">5</text>
119
+ <text text-anchor="start" x="294.38" y="-140.2" font-family="Times,serif" font-size="14.00">7</text>
120
+ </g>
121
+ <!-- c6&#45;&#45;c0 -->
122
+ <g id="edge8" class="edge">
123
+ <title>c6&#45;&#45;c0</title>
124
+ <path fill="none" stroke="#999999" d="M291.39,-135.8C281.91,-107.25 269.13,-68.78 261.16,-44.82"/>
125
+ </g>
126
+ <!-- c7 -->
127
+ <g id="node8" class="node">
128
+ <title>c7</title>
129
+ <polygon fill="white" stroke="none" points="409.38,-173 409.38,-195.5 434.13,-195.5 434.13,-173 409.38,-173"/>
130
+ <polygon fill="none" stroke="black" points="409.38,-173 409.38,-195.5 434.13,-195.5 434.13,-173 409.38,-173"/>
131
+ <text text-anchor="start" x="412.38" y="-179.2" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
132
+ <polygon fill="pink" stroke="none" points="409.38,-150.5 409.38,-173 434.13,-173 434.13,-150.5 409.38,-150.5"/>
133
+ <polygon fill="none" stroke="black" points="409.38,-150.5 409.38,-173 434.13,-173 434.13,-150.5 409.38,-150.5"/>
134
+ <text text-anchor="start" x="412.38" y="-156.7" font-family="Times,serif" font-size="14.00">2</text>
135
+ </g>
136
+ <!-- c7&#45;&#45;c0 -->
137
+ <g id="edge9" class="edge">
138
+ <title>c7&#45;&#45;c0</title>
139
+ <path fill="none" stroke="#999999" d="M409.4,-161.93C378.33,-134.1 297.21,-61.43 266.12,-33.58"/>
140
+ </g>
141
+ <!-- c8 -->
142
+ <g id="node9" class="node">
143
+ <title>c8</title>
144
+ <polygon fill="lightblue" stroke="none" points="311.88,-256.5 311.88,-279 345.63,-279 345.63,-256.5 311.88,-256.5"/>
145
+ <polygon fill="none" stroke="black" points="311.88,-256.5 311.88,-279 345.63,-279 345.63,-256.5 311.88,-256.5"/>
146
+ <text text-anchor="start" x="314.88" y="-262.7" font-family="Times,serif" font-size="14.00">Even</text>
147
+ <polygon fill="white" stroke="none" points="311.88,-234 311.88,-256.5 345.63,-256.5 345.63,-234 311.88,-234"/>
148
+ <polygon fill="none" stroke="black" points="311.88,-234 311.88,-256.5 345.63,-256.5 345.63,-234 311.88,-234"/>
149
+ <text text-anchor="start" x="314.88" y="-240.2" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
150
+ </g>
151
+ <!-- c8&#45;&#45;c4 -->
152
+ <g id="edge10" class="edge">
153
+ <title>c8&#45;&#45;c4</title>
154
+ <path fill="none" stroke="#999999" d="M312.35,-243.82C290.51,-226.94 252.4,-197.47 232.94,-182.43"/>
155
+ </g>
156
+ <!-- c8&#45;&#45;c7 -->
157
+ <g id="edge11" class="edge">
158
+ <title>c8&#45;&#45;c7</title>
159
+ <path fill="none" stroke="#999999" d="M345.38,-241.57C363.77,-225.06 392.97,-198.84 409.42,-184.07"/>
160
+ </g>
161
+ <!-- c9 -->
162
+ <g id="node10" class="node">
163
+ <title>c9</title>
164
+ <polygon fill="lightblue" stroke="none" points="403.25,-256.5 403.25,-279 442.25,-279 442.25,-256.5 403.25,-256.5"/>
165
+ <polygon fill="none" stroke="black" points="403.25,-256.5 403.25,-279 442.25,-279 442.25,-256.5 403.25,-256.5"/>
166
+ <text text-anchor="start" x="406.25" y="-262.7" font-family="Times,serif" font-size="14.00">Prime</text>
167
+ <polygon fill="white" stroke="none" points="403.25,-234 403.25,-256.5 442.25,-256.5 442.25,-234 403.25,-234"/>
168
+ <polygon fill="none" stroke="black" points="403.25,-234 403.25,-256.5 442.25,-256.5 442.25,-234 403.25,-234"/>
169
+ <text text-anchor="start" x="406.25" y="-240.2" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
170
+ </g>
171
+ <!-- c9&#45;&#45;c6 -->
172
+ <g id="edge12" class="edge">
173
+ <title>c9&#45;&#45;c6</title>
174
+ <path fill="none" stroke="#999999" d="M403.37,-242.9C378.6,-225.52 336.49,-195.97 315.86,-181.5"/>
175
+ </g>
176
+ <!-- c9&#45;&#45;c7 -->
177
+ <g id="edge13" class="edge">
178
+ <title>c9&#45;&#45;c7</title>
179
+ <path fill="none" stroke="#999999" d="M422.48,-234.12C422.34,-222.14 422.16,-207.43 422.02,-195.44"/>
180
+ </g>
181
+ <!-- c10 -->
182
+ <g id="node11" class="node">
183
+ <title>c10</title>
184
+ <polygon fill="white" stroke="none" points="42.38,-173 42.38,-195.5 67.13,-195.5 67.13,-173 42.38,-173"/>
185
+ <polygon fill="none" stroke="black" points="42.38,-173 42.38,-195.5 67.13,-195.5 67.13,-173 42.38,-173"/>
186
+ <text text-anchor="start" x="45.38" y="-179.2" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
187
+ <polygon fill="pink" stroke="none" points="42.38,-150.5 42.38,-173 67.13,-173 67.13,-150.5 42.38,-150.5"/>
188
+ <polygon fill="none" stroke="black" points="42.38,-150.5 42.38,-173 67.13,-173 67.13,-150.5 42.38,-150.5"/>
189
+ <text text-anchor="start" x="45.38" y="-156.7" font-family="Times,serif" font-size="14.00">1</text>
190
+ </g>
191
+ <!-- c10&#45;&#45;c1 -->
192
+ <g id="edge14" class="edge">
193
+ <title>c10&#45;&#45;c1</title>
194
+ <path fill="none" stroke="#999999" d="M66.86,-157.68C78.69,-142.71 96.61,-120.04 108.5,-105"/>
195
+ </g>
196
+ <!-- c11 -->
197
+ <g id="node12" class="node">
198
+ <title>c11</title>
199
+ <polygon fill="lightblue" stroke="none" points="0,-256.5 0,-279 43.5,-279 43.5,-256.5 0,-256.5"/>
200
+ <polygon fill="none" stroke="black" points="0,-256.5 0,-279 43.5,-279 43.5,-256.5 0,-256.5"/>
201
+ <text text-anchor="start" x="3" y="-262.7" font-family="Times,serif" font-size="14.00">Square</text>
202
+ <polygon fill="white" stroke="none" points="0,-234 0,-256.5 43.5,-256.5 43.5,-234 0,-234"/>
203
+ <polygon fill="none" stroke="black" points="0,-234 0,-256.5 43.5,-256.5 43.5,-234 0,-234"/>
204
+ <text text-anchor="start" x="3" y="-240.2" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
205
+ </g>
206
+ <!-- c11&#45;&#45;c3 -->
207
+ <g id="edge15" class="edge">
208
+ <title>c11&#45;&#45;c3</title>
209
+ <path fill="none" stroke="#999999" d="M43.3,-240.99C67.54,-223.54 106.07,-195.8 125.58,-181.76"/>
210
+ </g>
211
+ <!-- c11&#45;&#45;c10 -->
212
+ <g id="edge16" class="edge">
213
+ <title>c11&#45;&#45;c10</title>
214
+ <path fill="none" stroke="#999999" d="M30.59,-234.12C35.33,-222.14 41.14,-207.43 45.88,-195.44"/>
215
+ </g>
216
+ <!-- c12 -->
217
+ <g id="node13" class="node">
218
+ <title>c12</title>
219
+ <polygon fill="lightblue" stroke="none" points="101.13,-256.5 101.13,-279 130.38,-279 130.38,-256.5 101.13,-256.5"/>
220
+ <polygon fill="none" stroke="black" points="101.13,-256.5 101.13,-279 130.38,-279 130.38,-256.5 101.13,-256.5"/>
221
+ <text text-anchor="start" x="104.13" y="-262.7" font-family="Times,serif" font-size="14.00">Odd</text>
222
+ <polygon fill="white" stroke="none" points="101.13,-234 101.13,-256.5 130.38,-256.5 130.38,-234 101.13,-234"/>
223
+ <polygon fill="none" stroke="black" points="101.13,-234 101.13,-256.5 130.38,-256.5 130.38,-234 101.13,-234"/>
224
+ <text text-anchor="start" x="104.13" y="-240.2" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
225
+ </g>
226
+ <!-- c12&#45;&#45;c6 -->
227
+ <g id="edge17" class="edge">
228
+ <title>c12&#45;&#45;c6</title>
229
+ <path fill="none" stroke="#999999" d="M130.19,-250.09C165.96,-234.2 258.18,-193.24 291.51,-178.44"/>
230
+ </g>
231
+ <!-- c12&#45;&#45;c10 -->
232
+ <g id="edge18" class="edge">
233
+ <title>c12&#45;&#45;c10</title>
234
+ <path fill="none" stroke="#999999" d="M101.29,-236.71C90.87,-222.44 76.94,-203.37 67.04,-189.83"/>
235
+ </g>
236
+ <!-- c13 -->
237
+ <g id="node14" class="node">
238
+ <title>c13</title>
239
+ <polygon fill="white" stroke="none" points="208.38,-323.5 208.38,-346 233.13,-346 233.13,-323.5 208.38,-323.5"/>
240
+ <polygon fill="none" stroke="black" points="208.38,-323.5 208.38,-346 233.13,-346 233.13,-323.5 208.38,-323.5"/>
241
+ <text text-anchor="start" x="211.38" y="-329.7" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
242
+ <polygon fill="white" stroke="none" points="208.38,-301 208.38,-323.5 233.13,-323.5 233.13,-301 208.38,-301"/>
243
+ <polygon fill="none" stroke="black" points="208.38,-301 208.38,-323.5 233.13,-323.5 233.13,-301 208.38,-301"/>
244
+ <text text-anchor="start" x="211.38" y="-307.2" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
245
+ </g>
246
+ <!-- c13&#45;&#45;c5 -->
247
+ <g id="edge19" class="edge">
248
+ <title>c13&#45;&#45;c5</title>
249
+ <path fill="none" stroke="#999999" d="M220.75,-301.19C220.75,-294.03 220.75,-286.11 220.75,-278.94"/>
250
+ </g>
251
+ <!-- c13&#45;&#45;c8 -->
252
+ <g id="edge20" class="edge">
253
+ <title>c13&#45;&#45;c8</title>
254
+ <path fill="none" stroke="#999999" d="M232.72,-316.07C252.05,-304.08 290.19,-280.42 312.14,-266.8"/>
255
+ </g>
256
+ <!-- c13&#45;&#45;c9 -->
257
+ <g id="edge21" class="edge">
258
+ <title>c13&#45;&#45;c9</title>
259
+ <path fill="none" stroke="#999999" d="M233.08,-319.41C267.09,-308.13 362.39,-276.52 403.49,-262.89"/>
260
+ </g>
261
+ <!-- c13&#45;&#45;c11 -->
262
+ <g id="edge22" class="edge">
263
+ <title>c13&#45;&#45;c11</title>
264
+ <path fill="none" stroke="#999999" d="M208.6,-319.41C175.78,-308.36 84.97,-277.79 43.24,-263.73"/>
265
+ </g>
266
+ <!-- c13&#45;&#45;c12 -->
267
+ <g id="edge23" class="edge">
268
+ <title>c13&#45;&#45;c12</title>
269
+ <path fill="none" stroke="#999999" d="M208.71,-315.81C189.31,-303.44 151.24,-279.14 130.34,-265.81"/>
270
+ </g>
271
+ </g>
272
+ </svg>