rubyfca 0.2.10 → 0.3.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -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
@@ -15,11 +15,11 @@ ape
15
15
  flying
16
16
  preying
17
17
  talking
18
- X.....
19
- X..X..
20
- X..XX.
21
- .X..X.
18
+ XXX...
19
+ ...XXX
20
+ ....XX
22
21
  .XX...
23
- .XX..X
22
+ ..XX..
23
+ .....X
24
24
 
25
25
 
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>