rubyfca 0.2.10 → 0.3.0

Sign up to get free protection for your applications and to get access to all the features.
@@ -0,0 +1,481 @@
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="1331pt" height="2085pt"
8
+ viewBox="0.00 0.00 1331.03 2085.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 2081)">
10
+ <title>clattice</title>
11
+ <polygon fill="white" stroke="none" points="-4,4 -4,-2081 1327.03,-2081 1327.03,4 -4,4"/>
12
+ <!-- cl1k -->
13
+ <!-- cl1v -->
14
+ <g id="node2" class="node">
15
+ <title>cl1v</title>
16
+ <polygon fill="white" stroke="none" points="1315.53,-2077 1222.53,-2077 1222.53,-1959 1315.53,-1959 1315.53,-2077"/>
17
+ <polygon fill="none" stroke="black" points="1230.53,-1963 1230.53,-2073 1242.53,-2073 1242.53,-1963 1230.53,-1963"/>
18
+ <text text-anchor="start" x="1233.16" y="-2012.95" font-family="Times,serif" font-size="14.00">1</text>
19
+ <polygon fill="lightblue" stroke="none" points="1242.53,-1985 1242.53,-2073 1307.53,-2073 1307.53,-1985 1242.53,-1985"/>
20
+ <polygon fill="none" stroke="black" points="1242.53,-1985 1242.53,-2073 1307.53,-2073 1307.53,-1985 1242.53,-1985"/>
21
+ <text text-anchor="start" x="1245.53" y="-2056.7" font-family="Times,serif" font-size="14.00">Composite</text>
22
+ <text text-anchor="start" x="1245.53" y="-2040.2" font-family="Times,serif" font-size="14.00">Even</text>
23
+ <text text-anchor="start" x="1245.53" y="-2023.7" font-family="Times,serif" font-size="14.00">Odd</text>
24
+ <text text-anchor="start" x="1245.53" y="-2007.2" font-family="Times,serif" font-size="14.00">Prime</text>
25
+ <text text-anchor="start" x="1245.53" y="-1990.7" font-family="Times,serif" font-size="14.00">Square</text>
26
+ <polygon fill="white" stroke="none" points="1242.53,-1963 1242.53,-1985 1307.53,-1985 1307.53,-1963 1242.53,-1963"/>
27
+ <polygon fill="none" stroke="black" points="1242.53,-1963 1242.53,-1985 1307.53,-1985 1307.53,-1963 1242.53,-1963"/>
28
+ <text text-anchor="start" x="1245.53" y="-1968.7" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
29
+ </g>
30
+ <!-- cl1k&#45;&#45;cl1v -->
31
+ <!-- cl2k -->
32
+ <!-- cl1k&#45;&#45;cl2k -->
33
+ <!-- cl2v -->
34
+ <g id="node4" class="node">
35
+ <title>cl2v</title>
36
+ <polygon fill="white" stroke="none" points="1315.53,-1914 1222.53,-1914 1222.53,-1829 1315.53,-1829 1315.53,-1914"/>
37
+ <polygon fill="none" stroke="black" points="1230.53,-1833 1230.53,-1910 1242.53,-1910 1242.53,-1833 1230.53,-1833"/>
38
+ <text text-anchor="start" x="1233.16" y="-1866.45" font-family="Times,serif" font-size="14.00">2</text>
39
+ <polygon fill="lightblue" stroke="none" points="1242.53,-1855 1242.53,-1910 1307.53,-1910 1307.53,-1855 1242.53,-1855"/>
40
+ <polygon fill="none" stroke="black" points="1242.53,-1855 1242.53,-1910 1307.53,-1910 1307.53,-1855 1242.53,-1855"/>
41
+ <text text-anchor="start" x="1245.53" y="-1893.7" font-family="Times,serif" font-size="14.00">Composite</text>
42
+ <text text-anchor="start" x="1245.53" y="-1877.2" font-family="Times,serif" font-size="14.00">Odd</text>
43
+ <text text-anchor="start" x="1245.53" y="-1860.7" font-family="Times,serif" font-size="14.00">Square</text>
44
+ <polygon fill="pink" stroke="none" points="1242.53,-1833 1242.53,-1855 1307.53,-1855 1307.53,-1833 1242.53,-1833"/>
45
+ <polygon fill="none" stroke="black" points="1242.53,-1833 1242.53,-1855 1307.53,-1855 1307.53,-1833 1242.53,-1833"/>
46
+ <text text-anchor="start" x="1245.53" y="-1838.7" font-family="Times,serif" font-size="14.00">9*</text>
47
+ </g>
48
+ <!-- cl2k&#45;&#45;cl2v -->
49
+ <!-- cl3k -->
50
+ <!-- cl2k&#45;&#45;cl3k -->
51
+ <!-- cl3v -->
52
+ <g id="node6" class="node">
53
+ <title>cl3v</title>
54
+ <polygon fill="white" stroke="none" points="1315.53,-1784 1222.53,-1784 1222.53,-1699 1315.53,-1699 1315.53,-1784"/>
55
+ <polygon fill="none" stroke="black" points="1230.53,-1703 1230.53,-1780 1242.53,-1780 1242.53,-1703 1230.53,-1703"/>
56
+ <text text-anchor="start" x="1233.16" y="-1736.45" font-family="Times,serif" font-size="14.00">3</text>
57
+ <polygon fill="lightblue" stroke="none" points="1242.53,-1725 1242.53,-1780 1307.53,-1780 1307.53,-1725 1242.53,-1725"/>
58
+ <polygon fill="none" stroke="black" points="1242.53,-1725 1242.53,-1780 1307.53,-1780 1307.53,-1725 1242.53,-1725"/>
59
+ <text text-anchor="start" x="1245.53" y="-1763.7" font-family="Times,serif" font-size="14.00">Composite</text>
60
+ <text text-anchor="start" x="1245.53" y="-1747.2" font-family="Times,serif" font-size="14.00">Even</text>
61
+ <text text-anchor="start" x="1245.53" y="-1730.7" font-family="Times,serif" font-size="14.00">Square</text>
62
+ <polygon fill="pink" stroke="none" points="1242.53,-1703 1242.53,-1725 1307.53,-1725 1307.53,-1703 1242.53,-1703"/>
63
+ <polygon fill="none" stroke="black" points="1242.53,-1703 1242.53,-1725 1307.53,-1725 1307.53,-1703 1242.53,-1703"/>
64
+ <text text-anchor="start" x="1245.53" y="-1708.7" font-family="Times,serif" font-size="14.00">4*</text>
65
+ </g>
66
+ <!-- cl3k&#45;&#45;cl3v -->
67
+ <!-- cl4k -->
68
+ <!-- cl3k&#45;&#45;cl4k -->
69
+ <!-- cl4v -->
70
+ <g id="node8" class="node">
71
+ <title>cl4v</title>
72
+ <polygon fill="white" stroke="none" points="1315.53,-1654 1222.53,-1654 1222.53,-1568 1315.53,-1568 1315.53,-1654"/>
73
+ <polygon fill="none" stroke="black" points="1230.53,-1572 1230.53,-1650 1242.53,-1650 1242.53,-1572 1230.53,-1572"/>
74
+ <text text-anchor="start" x="1233.16" y="-1605.95" font-family="Times,serif" font-size="14.00">4</text>
75
+ <polygon fill="lightblue" stroke="none" points="1242.53,-1611 1242.53,-1650 1307.53,-1650 1307.53,-1611 1242.53,-1611"/>
76
+ <polygon fill="none" stroke="black" points="1242.53,-1611 1242.53,-1650 1307.53,-1650 1307.53,-1611 1242.53,-1611"/>
77
+ <text text-anchor="start" x="1245.53" y="-1633.7" font-family="Times,serif" font-size="14.00">Composite</text>
78
+ <text text-anchor="start" x="1245.53" y="-1617.2" font-family="Times,serif" font-size="14.00">Square</text>
79
+ <polygon fill="pink" stroke="none" points="1242.53,-1572 1242.53,-1611 1307.53,-1611 1307.53,-1572 1242.53,-1572"/>
80
+ <polygon fill="none" stroke="black" points="1242.53,-1572 1242.53,-1611 1307.53,-1611 1307.53,-1572 1242.53,-1572"/>
81
+ <text text-anchor="start" x="1245.53" y="-1594.7" font-family="Times,serif" font-size="14.00">4</text>
82
+ <text text-anchor="start" x="1245.53" y="-1578.2" font-family="Times,serif" font-size="14.00">9</text>
83
+ </g>
84
+ <!-- cl4k&#45;&#45;cl4v -->
85
+ <!-- cl5k -->
86
+ <!-- cl4k&#45;&#45;cl5k -->
87
+ <!-- cl5v -->
88
+ <g id="node10" class="node">
89
+ <title>cl5v</title>
90
+ <polygon fill="white" stroke="none" points="1315.53,-1523 1222.53,-1523 1222.53,-1404 1315.53,-1404 1315.53,-1523"/>
91
+ <polygon fill="none" stroke="black" points="1230.53,-1408 1230.53,-1519 1242.53,-1519 1242.53,-1408 1230.53,-1408"/>
92
+ <text text-anchor="start" x="1233.16" y="-1458.45" font-family="Times,serif" font-size="14.00">5</text>
93
+ <polygon fill="lightblue" stroke="none" points="1242.53,-1480 1242.53,-1519 1307.53,-1519 1307.53,-1480 1242.53,-1480"/>
94
+ <polygon fill="none" stroke="black" points="1242.53,-1480 1242.53,-1519 1307.53,-1519 1307.53,-1480 1242.53,-1480"/>
95
+ <text text-anchor="start" x="1245.53" y="-1502.7" font-family="Times,serif" font-size="14.00">Composite</text>
96
+ <text text-anchor="start" x="1245.53" y="-1486.2" font-family="Times,serif" font-size="14.00">Even</text>
97
+ <polygon fill="pink" stroke="none" points="1242.53,-1408 1242.53,-1480 1307.53,-1480 1307.53,-1408 1242.53,-1408"/>
98
+ <polygon fill="none" stroke="black" points="1242.53,-1408 1242.53,-1480 1307.53,-1480 1307.53,-1408 1242.53,-1408"/>
99
+ <text text-anchor="start" x="1245.53" y="-1463.7" font-family="Times,serif" font-size="14.00">4</text>
100
+ <text text-anchor="start" x="1245.53" y="-1447.2" font-family="Times,serif" font-size="14.00">6*</text>
101
+ <text text-anchor="start" x="1245.53" y="-1430.7" font-family="Times,serif" font-size="14.00">8*</text>
102
+ <text text-anchor="start" x="1245.53" y="-1414.2" font-family="Times,serif" font-size="14.00">10*</text>
103
+ </g>
104
+ <!-- cl5k&#45;&#45;cl5v -->
105
+ <!-- cl6k -->
106
+ <!-- cl5k&#45;&#45;cl6k -->
107
+ <!-- cl6v -->
108
+ <g id="node12" class="node">
109
+ <title>cl6v</title>
110
+ <polygon fill="white" stroke="none" points="1323.03,-1359 1223.03,-1359 1223.03,-1241 1323.03,-1241 1323.03,-1359"/>
111
+ <polygon fill="none" stroke="black" points="1231.03,-1245 1231.03,-1355 1243.03,-1355 1243.03,-1245 1231.03,-1245"/>
112
+ <text text-anchor="start" x="1233.66" y="-1294.95" font-family="Times,serif" font-size="14.00">6</text>
113
+ <polygon fill="lightblue" stroke="none" points="1243.03,-1333 1243.03,-1355 1315.03,-1355 1315.03,-1333 1243.03,-1333"/>
114
+ <polygon fill="none" stroke="black" points="1243.03,-1333 1243.03,-1355 1315.03,-1355 1315.03,-1333 1243.03,-1333"/>
115
+ <text text-anchor="start" x="1246.03" y="-1338.7" font-family="Times,serif" font-size="14.00">Composite*</text>
116
+ <polygon fill="pink" stroke="none" points="1243.03,-1245 1243.03,-1333 1315.03,-1333 1315.03,-1245 1243.03,-1245"/>
117
+ <polygon fill="none" stroke="black" points="1243.03,-1245 1243.03,-1333 1315.03,-1333 1315.03,-1245 1243.03,-1245"/>
118
+ <text text-anchor="start" x="1246.03" y="-1316.7" font-family="Times,serif" font-size="14.00">4</text>
119
+ <text text-anchor="start" x="1246.03" y="-1300.2" font-family="Times,serif" font-size="14.00">6</text>
120
+ <text text-anchor="start" x="1246.03" y="-1283.7" font-family="Times,serif" font-size="14.00">8</text>
121
+ <text text-anchor="start" x="1246.03" y="-1267.2" font-family="Times,serif" font-size="14.00">9</text>
122
+ <text text-anchor="start" x="1246.03" y="-1250.7" font-family="Times,serif" font-size="14.00">10</text>
123
+ </g>
124
+ <!-- cl6k&#45;&#45;cl6v -->
125
+ <!-- cl7k -->
126
+ <!-- cl6k&#45;&#45;cl7k -->
127
+ <!-- cl7v -->
128
+ <g id="node14" class="node">
129
+ <title>cl7v</title>
130
+ <polygon fill="white" stroke="none" points="1289.53,-1196 1222.53,-1196 1222.53,-1094 1289.53,-1094 1289.53,-1196"/>
131
+ <polygon fill="none" stroke="black" points="1230.53,-1098 1230.53,-1192 1242.53,-1192 1242.53,-1098 1230.53,-1098"/>
132
+ <text text-anchor="start" x="1233.16" y="-1139.95" font-family="Times,serif" font-size="14.00">7</text>
133
+ <polygon fill="lightblue" stroke="none" points="1242.53,-1153 1242.53,-1192 1281.53,-1192 1281.53,-1153 1242.53,-1153"/>
134
+ <polygon fill="none" stroke="black" points="1242.53,-1153 1242.53,-1192 1281.53,-1192 1281.53,-1153 1242.53,-1153"/>
135
+ <text text-anchor="start" x="1245.53" y="-1175.7" font-family="Times,serif" font-size="14.00">Odd</text>
136
+ <text text-anchor="start" x="1245.53" y="-1159.2" font-family="Times,serif" font-size="14.00">Prime</text>
137
+ <polygon fill="pink" stroke="none" points="1242.53,-1098 1242.53,-1153 1281.53,-1153 1281.53,-1098 1242.53,-1098"/>
138
+ <polygon fill="none" stroke="black" points="1242.53,-1098 1242.53,-1153 1281.53,-1153 1281.53,-1098 1242.53,-1098"/>
139
+ <text text-anchor="start" x="1245.53" y="-1136.7" font-family="Times,serif" font-size="14.00">3*</text>
140
+ <text text-anchor="start" x="1245.53" y="-1120.2" font-family="Times,serif" font-size="14.00">5*</text>
141
+ <text text-anchor="start" x="1245.53" y="-1103.7" font-family="Times,serif" font-size="14.00">7*</text>
142
+ </g>
143
+ <!-- cl7k&#45;&#45;cl7v -->
144
+ <!-- cl8k -->
145
+ <!-- cl7k&#45;&#45;cl8k -->
146
+ <!-- cl8v -->
147
+ <g id="node16" class="node">
148
+ <title>cl8v</title>
149
+ <polygon fill="white" stroke="none" points="1289.53,-1049 1222.53,-1049 1222.53,-980 1289.53,-980 1289.53,-1049"/>
150
+ <polygon fill="none" stroke="black" points="1230.53,-984 1230.53,-1045 1242.53,-1045 1242.53,-984 1230.53,-984"/>
151
+ <text text-anchor="start" x="1233.16" y="-1009.45" font-family="Times,serif" font-size="14.00">8</text>
152
+ <polygon fill="lightblue" stroke="none" points="1242.53,-1006 1242.53,-1045 1281.53,-1045 1281.53,-1006 1242.53,-1006"/>
153
+ <polygon fill="none" stroke="black" points="1242.53,-1006 1242.53,-1045 1281.53,-1045 1281.53,-1006 1242.53,-1006"/>
154
+ <text text-anchor="start" x="1245.53" y="-1028.7" font-family="Times,serif" font-size="14.00">Even</text>
155
+ <text text-anchor="start" x="1245.53" y="-1012.2" font-family="Times,serif" font-size="14.00">Prime</text>
156
+ <polygon fill="pink" stroke="none" points="1242.53,-984 1242.53,-1006 1281.53,-1006 1281.53,-984 1242.53,-984"/>
157
+ <polygon fill="none" stroke="black" points="1242.53,-984 1242.53,-1006 1281.53,-1006 1281.53,-984 1242.53,-984"/>
158
+ <text text-anchor="start" x="1245.53" y="-989.7" font-family="Times,serif" font-size="14.00">2*</text>
159
+ </g>
160
+ <!-- cl8k&#45;&#45;cl8v -->
161
+ <!-- cl9k -->
162
+ <!-- cl8k&#45;&#45;cl9k -->
163
+ <!-- cl9v -->
164
+ <g id="node18" class="node">
165
+ <title>cl9v</title>
166
+ <polygon fill="white" stroke="none" points="1291.03,-935 1223.03,-935 1223.03,-817 1291.03,-817 1291.03,-935"/>
167
+ <polygon fill="none" stroke="black" points="1231.03,-821 1231.03,-931 1243.03,-931 1243.03,-821 1231.03,-821"/>
168
+ <text text-anchor="start" x="1233.66" y="-870.95" font-family="Times,serif" font-size="14.00">9</text>
169
+ <polygon fill="lightblue" stroke="none" points="1243.03,-909 1243.03,-931 1283.03,-931 1283.03,-909 1243.03,-909"/>
170
+ <polygon fill="none" stroke="black" points="1243.03,-909 1243.03,-931 1283.03,-931 1283.03,-909 1243.03,-909"/>
171
+ <text text-anchor="start" x="1246.03" y="-914.7" font-family="Times,serif" font-size="14.00">Even*</text>
172
+ <polygon fill="pink" stroke="none" points="1243.03,-821 1243.03,-909 1283.03,-909 1283.03,-821 1243.03,-821"/>
173
+ <polygon fill="none" stroke="black" points="1243.03,-821 1243.03,-909 1283.03,-909 1283.03,-821 1243.03,-821"/>
174
+ <text text-anchor="start" x="1246.03" y="-892.7" font-family="Times,serif" font-size="14.00">2</text>
175
+ <text text-anchor="start" x="1246.03" y="-876.2" font-family="Times,serif" font-size="14.00">4</text>
176
+ <text text-anchor="start" x="1246.03" y="-859.7" font-family="Times,serif" font-size="14.00">6</text>
177
+ <text text-anchor="start" x="1246.03" y="-843.2" font-family="Times,serif" font-size="14.00">8</text>
178
+ <text text-anchor="start" x="1246.03" y="-826.7" font-family="Times,serif" font-size="14.00">10</text>
179
+ </g>
180
+ <!-- cl9k&#45;&#45;cl9v -->
181
+ <!-- cl10k -->
182
+ <!-- cl9k&#45;&#45;cl10k -->
183
+ <!-- cl10v -->
184
+ <g id="node20" class="node">
185
+ <title>cl10v</title>
186
+ <polygon fill="white" stroke="none" points="1303.03,-772 1223.03,-772 1223.03,-670 1303.03,-670 1303.03,-772"/>
187
+ <polygon fill="none" stroke="black" points="1231.03,-674 1231.03,-768 1250.03,-768 1250.03,-674 1231.03,-674"/>
188
+ <text text-anchor="start" x="1233.78" y="-715.95" font-family="Times,serif" font-size="14.00">10</text>
189
+ <polygon fill="lightblue" stroke="none" points="1250.03,-746 1250.03,-768 1295.03,-768 1295.03,-746 1250.03,-746"/>
190
+ <polygon fill="none" stroke="black" points="1250.03,-746 1250.03,-768 1295.03,-768 1295.03,-746 1250.03,-746"/>
191
+ <text text-anchor="start" x="1253.03" y="-751.7" font-family="Times,serif" font-size="14.00">Prime*</text>
192
+ <polygon fill="pink" stroke="none" points="1250.03,-674 1250.03,-746 1295.03,-746 1295.03,-674 1250.03,-674"/>
193
+ <polygon fill="none" stroke="black" points="1250.03,-674 1250.03,-746 1295.03,-746 1295.03,-674 1250.03,-674"/>
194
+ <text text-anchor="start" x="1253.03" y="-729.7" font-family="Times,serif" font-size="14.00">2</text>
195
+ <text text-anchor="start" x="1253.03" y="-713.2" font-family="Times,serif" font-size="14.00">3</text>
196
+ <text text-anchor="start" x="1253.03" y="-696.7" font-family="Times,serif" font-size="14.00">5</text>
197
+ <text text-anchor="start" x="1253.03" y="-680.2" font-family="Times,serif" font-size="14.00">7</text>
198
+ </g>
199
+ <!-- cl10k&#45;&#45;cl10v -->
200
+ <!-- cl11k -->
201
+ <!-- cl10k&#45;&#45;cl11k -->
202
+ <!-- cl11v -->
203
+ <g id="node22" class="node">
204
+ <title>cl11v</title>
205
+ <polygon fill="white" stroke="none" points="1301.03,-625 1223.03,-625 1223.03,-539 1301.03,-539 1301.03,-625"/>
206
+ <polygon fill="none" stroke="black" points="1231.03,-543 1231.03,-621 1250.03,-621 1250.03,-543 1231.03,-543"/>
207
+ <text text-anchor="start" x="1233.78" y="-576.95" font-family="Times,serif" font-size="14.00">11</text>
208
+ <polygon fill="lightblue" stroke="none" points="1250.03,-582 1250.03,-621 1293.03,-621 1293.03,-582 1250.03,-582"/>
209
+ <polygon fill="none" stroke="black" points="1250.03,-582 1250.03,-621 1293.03,-621 1293.03,-582 1250.03,-582"/>
210
+ <text text-anchor="start" x="1253.03" y="-604.7" font-family="Times,serif" font-size="14.00">Odd</text>
211
+ <text text-anchor="start" x="1253.03" y="-588.2" font-family="Times,serif" font-size="14.00">Square</text>
212
+ <polygon fill="pink" stroke="none" points="1250.03,-543 1250.03,-582 1293.03,-582 1293.03,-543 1250.03,-543"/>
213
+ <polygon fill="none" stroke="black" points="1250.03,-543 1250.03,-582 1293.03,-582 1293.03,-543 1250.03,-543"/>
214
+ <text text-anchor="start" x="1253.03" y="-565.7" font-family="Times,serif" font-size="14.00">1*</text>
215
+ <text text-anchor="start" x="1253.03" y="-549.2" font-family="Times,serif" font-size="14.00">9</text>
216
+ </g>
217
+ <!-- cl11k&#45;&#45;cl11v -->
218
+ <!-- cl12k -->
219
+ <!-- cl11k&#45;&#45;cl12k -->
220
+ <!-- cl12v -->
221
+ <g id="node24" class="node">
222
+ <title>cl12v</title>
223
+ <polygon fill="white" stroke="none" points="1307.53,-494 1222.53,-494 1222.53,-409 1307.53,-409 1307.53,-494"/>
224
+ <polygon fill="none" stroke="black" points="1230.53,-413 1230.53,-490 1249.53,-490 1249.53,-413 1230.53,-413"/>
225
+ <text text-anchor="start" x="1233.28" y="-446.45" font-family="Times,serif" font-size="14.00">12</text>
226
+ <polygon fill="lightblue" stroke="none" points="1249.53,-468 1249.53,-490 1299.53,-490 1299.53,-468 1249.53,-468"/>
227
+ <polygon fill="none" stroke="black" points="1249.53,-468 1249.53,-490 1299.53,-490 1299.53,-468 1249.53,-468"/>
228
+ <text text-anchor="start" x="1252.53" y="-473.7" font-family="Times,serif" font-size="14.00">Square*</text>
229
+ <polygon fill="pink" stroke="none" points="1249.53,-413 1249.53,-468 1299.53,-468 1299.53,-413 1249.53,-413"/>
230
+ <polygon fill="none" stroke="black" points="1249.53,-413 1249.53,-468 1299.53,-468 1299.53,-413 1249.53,-413"/>
231
+ <text text-anchor="start" x="1252.53" y="-451.7" font-family="Times,serif" font-size="14.00">1</text>
232
+ <text text-anchor="start" x="1252.53" y="-435.2" font-family="Times,serif" font-size="14.00">4</text>
233
+ <text text-anchor="start" x="1252.53" y="-418.7" font-family="Times,serif" font-size="14.00">9</text>
234
+ </g>
235
+ <!-- cl12k&#45;&#45;cl12v -->
236
+ <!-- cl13k -->
237
+ <!-- cl12k&#45;&#45;cl13k -->
238
+ <!-- cl13v -->
239
+ <g id="node26" class="node">
240
+ <title>cl13v</title>
241
+ <polygon fill="white" stroke="none" points="1293.53,-364 1222.53,-364 1222.53,-246 1293.53,-246 1293.53,-364"/>
242
+ <polygon fill="none" stroke="black" points="1230.53,-250 1230.53,-360 1249.53,-360 1249.53,-250 1230.53,-250"/>
243
+ <text text-anchor="start" x="1233.28" y="-299.95" font-family="Times,serif" font-size="14.00">13</text>
244
+ <polygon fill="lightblue" stroke="none" points="1249.53,-338 1249.53,-360 1285.53,-360 1285.53,-338 1249.53,-338"/>
245
+ <polygon fill="none" stroke="black" points="1249.53,-338 1249.53,-360 1285.53,-360 1285.53,-338 1249.53,-338"/>
246
+ <text text-anchor="start" x="1252.53" y="-343.7" font-family="Times,serif" font-size="14.00">Odd*</text>
247
+ <polygon fill="pink" stroke="none" points="1249.53,-250 1249.53,-338 1285.53,-338 1285.53,-250 1249.53,-250"/>
248
+ <polygon fill="none" stroke="black" points="1249.53,-250 1249.53,-338 1285.53,-338 1285.53,-250 1249.53,-250"/>
249
+ <text text-anchor="start" x="1252.53" y="-321.7" font-family="Times,serif" font-size="14.00">1</text>
250
+ <text text-anchor="start" x="1252.53" y="-305.2" font-family="Times,serif" font-size="14.00">3</text>
251
+ <text text-anchor="start" x="1252.53" y="-288.7" font-family="Times,serif" font-size="14.00">5</text>
252
+ <text text-anchor="start" x="1252.53" y="-272.2" font-family="Times,serif" font-size="14.00">7</text>
253
+ <text text-anchor="start" x="1252.53" y="-255.7" font-family="Times,serif" font-size="14.00">9</text>
254
+ </g>
255
+ <!-- cl13k&#45;&#45;cl13v -->
256
+ <!-- cl14k -->
257
+ <!-- cl13k&#45;&#45;cl14k -->
258
+ <!-- cl14v -->
259
+ <g id="node28" class="node">
260
+ <title>cl14v</title>
261
+ <polygon fill="white" stroke="none" points="1281.53,-201 1222.53,-201 1222.53,0 1281.53,0 1281.53,-201"/>
262
+ <polygon fill="none" stroke="black" points="1230.53,-4 1230.53,-197 1249.53,-197 1249.53,-4 1230.53,-4"/>
263
+ <text text-anchor="start" x="1233.28" y="-95.45" font-family="Times,serif" font-size="14.00">14</text>
264
+ <polygon fill="white" stroke="none" points="1249.53,-175 1249.53,-197 1273.53,-197 1273.53,-175 1249.53,-175"/>
265
+ <polygon fill="none" stroke="black" points="1249.53,-175 1249.53,-197 1273.53,-197 1273.53,-175 1249.53,-175"/>
266
+ <text text-anchor="start" x="1252.53" y="-180.7" font-family="Times,serif" font-size="14.00"> &#160;&#160;&#160;&#160;</text>
267
+ <polygon fill="pink" stroke="none" points="1249.53,-4 1249.53,-175 1273.53,-175 1273.53,-4 1249.53,-4"/>
268
+ <polygon fill="none" stroke="black" points="1249.53,-4 1249.53,-175 1273.53,-175 1273.53,-4 1249.53,-4"/>
269
+ <text text-anchor="start" x="1252.53" y="-158.7" font-family="Times,serif" font-size="14.00">1</text>
270
+ <text text-anchor="start" x="1252.53" y="-142.2" font-family="Times,serif" font-size="14.00">2</text>
271
+ <text text-anchor="start" x="1252.53" y="-125.7" font-family="Times,serif" font-size="14.00">3</text>
272
+ <text text-anchor="start" x="1252.53" y="-109.2" font-family="Times,serif" font-size="14.00">4</text>
273
+ <text text-anchor="start" x="1252.53" y="-92.7" font-family="Times,serif" font-size="14.00">5</text>
274
+ <text text-anchor="start" x="1252.53" y="-76.2" font-family="Times,serif" font-size="14.00">6</text>
275
+ <text text-anchor="start" x="1252.53" y="-59.7" font-family="Times,serif" font-size="14.00">7</text>
276
+ <text text-anchor="start" x="1252.53" y="-43.2" font-family="Times,serif" font-size="14.00">8</text>
277
+ <text text-anchor="start" x="1252.53" y="-26.7" font-family="Times,serif" font-size="14.00">9</text>
278
+ <text text-anchor="start" x="1252.53" y="-10.2" font-family="Times,serif" font-size="14.00">10</text>
279
+ </g>
280
+ <!-- cl14k&#45;&#45;cl14v -->
281
+ <!-- c0 -->
282
+ <g id="node29" class="node">
283
+ <title>c0</title>
284
+ <ellipse fill="lightgrey" stroke="black" cx="549" cy="-1463.5" rx="18" ry="18"/>
285
+ <text text-anchor="middle" x="549" y="-1458.45" font-family="Times,serif" font-size="14.00">1</text>
286
+ </g>
287
+ <!-- c1 -->
288
+ <g id="node30" class="node">
289
+ <title>c1</title>
290
+ <ellipse fill="lightgrey" stroke="black" cx="490" cy="-1611" rx="18" ry="18"/>
291
+ <text text-anchor="middle" x="490" y="-1605.95" font-family="Times,serif" font-size="14.00">2</text>
292
+ </g>
293
+ <!-- c1&#45;&#45;c0 -->
294
+ <g id="edge28" class="edge">
295
+ <title>c1&#45;&#45;c0</title>
296
+ <path fill="none" stroke="#999999" d="M496.77,-1594.08C508.15,-1565.63 530.99,-1508.54 542.31,-1480.22"/>
297
+ </g>
298
+ <!-- c2 -->
299
+ <g id="node31" class="node">
300
+ <title>c2</title>
301
+ <ellipse fill="lightgrey" stroke="black" cx="372" cy="-1611" rx="18" ry="18"/>
302
+ <text text-anchor="middle" x="372" y="-1605.95" font-family="Times,serif" font-size="14.00">3</text>
303
+ </g>
304
+ <!-- c2&#45;&#45;c0 -->
305
+ <g id="edge29" class="edge">
306
+ <title>c2&#45;&#45;c0</title>
307
+ <path fill="none" stroke="#999999" d="M386.19,-1599.18C419.49,-1571.43 502.36,-1502.37 535.24,-1474.97"/>
308
+ </g>
309
+ <!-- c3 -->
310
+ <g id="node32" class="node">
311
+ <title>c3</title>
312
+ <ellipse fill="lightgrey" stroke="black" cx="136" cy="-1741.5" rx="18" ry="18"/>
313
+ <text text-anchor="middle" x="136" y="-1736.45" font-family="Times,serif" font-size="14.00">4</text>
314
+ </g>
315
+ <!-- c3&#45;&#45;c1 -->
316
+ <g id="edge30" class="edge">
317
+ <title>c3&#45;&#45;c1</title>
318
+ <path fill="none" stroke="#999999" d="M153.08,-1735.21C212.88,-1713.16 412.51,-1639.57 472.69,-1617.39"/>
319
+ </g>
320
+ <!-- c3&#45;&#45;c2 -->
321
+ <g id="edge31" class="edge">
322
+ <title>c3&#45;&#45;c2</title>
323
+ <path fill="none" stroke="#999999" d="M151.85,-1732.74C194.74,-1709.02 312.74,-1643.77 355.91,-1619.9"/>
324
+ </g>
325
+ <!-- c4 -->
326
+ <g id="node33" class="node">
327
+ <title>c4</title>
328
+ <ellipse fill="lightgrey" stroke="black" cx="372" cy="-1741.5" rx="18" ry="18"/>
329
+ <text text-anchor="middle" x="372" y="-1736.45" font-family="Times,serif" font-size="14.00">5</text>
330
+ </g>
331
+ <!-- c4&#45;&#45;c2 -->
332
+ <g id="edge32" class="edge">
333
+ <title>c4&#45;&#45;c2</title>
334
+ <path fill="none" stroke="#999999" d="M372,-1723.08C372,-1698.21 372,-1654.15 372,-1629.33"/>
335
+ </g>
336
+ <!-- c5 -->
337
+ <g id="node34" class="node">
338
+ <title>c5</title>
339
+ <ellipse fill="lightgrey" stroke="black" cx="18" cy="-1871.5" rx="18" ry="18"/>
340
+ <text text-anchor="middle" x="18" y="-1866.45" font-family="Times,serif" font-size="14.00">6</text>
341
+ </g>
342
+ <!-- c5&#45;&#45;c3 -->
343
+ <g id="edge33" class="edge">
344
+ <title>c5&#45;&#45;c3</title>
345
+ <path fill="none" stroke="#999999" d="M30.18,-1858.08C52.8,-1833.17 101.01,-1780.05 123.71,-1755.05"/>
346
+ </g>
347
+ <!-- c5&#45;&#45;c4 -->
348
+ <g id="edge34" class="edge">
349
+ <title>c5&#45;&#45;c4</title>
350
+ <path fill="none" stroke="#999999" d="M35.07,-1865.23C94.88,-1843.27 294.51,-1769.96 354.69,-1747.86"/>
351
+ </g>
352
+ <!-- c6 -->
353
+ <g id="node35" class="node">
354
+ <title>c6</title>
355
+ <ellipse fill="lightgrey" stroke="black" cx="726" cy="-1741.5" rx="18" ry="18"/>
356
+ <text text-anchor="middle" x="726" y="-1736.45" font-family="Times,serif" font-size="14.00">7</text>
357
+ </g>
358
+ <!-- c6&#45;&#45;c0 -->
359
+ <g id="edge35" class="edge">
360
+ <title>c6&#45;&#45;c0</title>
361
+ <path fill="none" stroke="#999999" d="M716.23,-1726.16C685.29,-1677.55 589.65,-1527.33 558.74,-1478.8"/>
362
+ </g>
363
+ <!-- c7 -->
364
+ <g id="node36" class="node">
365
+ <title>c7</title>
366
+ <ellipse fill="lightgrey" stroke="black" cx="608" cy="-1741.5" rx="18" ry="18"/>
367
+ <text text-anchor="middle" x="608" y="-1736.45" font-family="Times,serif" font-size="14.00">8</text>
368
+ </g>
369
+ <!-- c7&#45;&#45;c0 -->
370
+ <g id="edge36" class="edge">
371
+ <title>c7&#45;&#45;c0</title>
372
+ <path fill="none" stroke="#999999" d="M604.22,-1723.69C593.59,-1673.6 563.51,-1531.88 552.83,-1481.53"/>
373
+ </g>
374
+ <!-- c8 -->
375
+ <g id="node37" class="node">
376
+ <title>c8</title>
377
+ <ellipse fill="lightgrey" stroke="black" cx="461" cy="-1871.5" rx="18" ry="18"/>
378
+ <text text-anchor="middle" x="461" y="-1866.45" font-family="Times,serif" font-size="14.00">9</text>
379
+ </g>
380
+ <!-- c8&#45;&#45;c4 -->
381
+ <g id="edge37" class="edge">
382
+ <title>c8&#45;&#45;c4</title>
383
+ <path fill="none" stroke="#999999" d="M450.62,-1856.33C433.47,-1831.28 399.43,-1781.56 382.32,-1756.57"/>
384
+ </g>
385
+ <!-- c8&#45;&#45;c7 -->
386
+ <g id="edge38" class="edge">
387
+ <title>c8&#45;&#45;c7</title>
388
+ <path fill="none" stroke="#999999" d="M474.83,-1859.27C502.99,-1834.37 566.67,-1778.05 594.53,-1753.42"/>
389
+ </g>
390
+ <!-- c9 -->
391
+ <g id="node38" class="node">
392
+ <title>c9</title>
393
+ <ellipse fill="lightgrey" stroke="black" cx="844" cy="-1871.5" rx="20.13" ry="20.13"/>
394
+ <text text-anchor="middle" x="844" y="-1866.45" font-family="Times,serif" font-size="14.00">10</text>
395
+ </g>
396
+ <!-- c9&#45;&#45;c6 -->
397
+ <g id="edge39" class="edge">
398
+ <title>c9&#45;&#45;c6</title>
399
+ <path fill="none" stroke="#999999" d="M830.24,-1856.33C807.01,-1830.75 760.42,-1779.42 738.26,-1755"/>
400
+ </g>
401
+ <!-- c9&#45;&#45;c7 -->
402
+ <g id="edge40" class="edge">
403
+ <title>c9&#45;&#45;c7</title>
404
+ <path fill="none" stroke="#999999" d="M826.26,-1861.73C781.89,-1837.28 666.57,-1773.76 624.05,-1750.34"/>
405
+ </g>
406
+ <!-- c10 -->
407
+ <g id="node39" class="node">
408
+ <title>c10</title>
409
+ <ellipse fill="lightgrey" stroke="black" cx="490" cy="-1741.5" rx="20.13" ry="20.13"/>
410
+ <text text-anchor="middle" x="490" y="-1736.45" font-family="Times,serif" font-size="14.00">11</text>
411
+ </g>
412
+ <!-- c10&#45;&#45;c1 -->
413
+ <g id="edge41" class="edge">
414
+ <title>c10&#45;&#45;c1</title>
415
+ <path fill="none" stroke="#999999" d="M490,-1721.11C490,-1695.88 490,-1653.3 490,-1629.15"/>
416
+ </g>
417
+ <!-- c11 -->
418
+ <g id="node40" class="node">
419
+ <title>c11</title>
420
+ <ellipse fill="lightgrey" stroke="black" cx="254" cy="-1871.5" rx="20.13" ry="20.13"/>
421
+ <text text-anchor="middle" x="254" y="-1866.45" font-family="Times,serif" font-size="14.00">12</text>
422
+ </g>
423
+ <!-- c11&#45;&#45;c3 -->
424
+ <g id="edge42" class="edge">
425
+ <title>c11&#45;&#45;c3</title>
426
+ <path fill="none" stroke="#999999" d="M240.24,-1856.33C217.01,-1830.75 170.42,-1779.42 148.26,-1755"/>
427
+ </g>
428
+ <!-- c11&#45;&#45;c10 -->
429
+ <g id="edge43" class="edge">
430
+ <title>c11&#45;&#45;c10</title>
431
+ <path fill="none" stroke="#999999" d="M271.74,-1861.73C315.48,-1837.64 428.11,-1775.6 472.06,-1751.39"/>
432
+ </g>
433
+ <!-- c12 -->
434
+ <g id="node41" class="node">
435
+ <title>c12</title>
436
+ <ellipse fill="lightgrey" stroke="black" cx="608" cy="-1871.5" rx="20.13" ry="20.13"/>
437
+ <text text-anchor="middle" x="608" y="-1866.45" font-family="Times,serif" font-size="14.00">13</text>
438
+ </g>
439
+ <!-- c12&#45;&#45;c6 -->
440
+ <g id="edge44" class="edge">
441
+ <title>c12&#45;&#45;c6</title>
442
+ <path fill="none" stroke="#999999" d="M621.77,-1856.33C644.99,-1830.75 691.59,-1779.42 713.75,-1755"/>
443
+ </g>
444
+ <!-- c12&#45;&#45;c10 -->
445
+ <g id="edge45" class="edge">
446
+ <title>c12&#45;&#45;c10</title>
447
+ <path fill="none" stroke="#999999" d="M594.24,-1856.33C571.5,-1831.28 526.36,-1781.56 503.68,-1756.57"/>
448
+ </g>
449
+ <!-- c13 -->
450
+ <g id="node42" class="node">
451
+ <title>c13</title>
452
+ <ellipse fill="lightgrey" stroke="black" cx="461" cy="-2018" rx="20.13" ry="20.13"/>
453
+ <text text-anchor="middle" x="461" y="-2012.95" font-family="Times,serif" font-size="14.00">14</text>
454
+ </g>
455
+ <!-- c13&#45;&#45;c5 -->
456
+ <g id="edge46" class="edge">
457
+ <title>c13&#45;&#45;c5</title>
458
+ <path fill="none" stroke="#999999" d="M441.68,-2011.61C368.07,-1987.27 105.8,-1900.54 35.47,-1877.28"/>
459
+ </g>
460
+ <!-- c13&#45;&#45;c8 -->
461
+ <g id="edge47" class="edge">
462
+ <title>c13&#45;&#45;c8</title>
463
+ <path fill="none" stroke="#999999" d="M461,-1997.63C461,-1969.01 461,-1917.34 461,-1889.85"/>
464
+ </g>
465
+ <!-- c13&#45;&#45;c9 -->
466
+ <g id="edge48" class="edge">
467
+ <title>c13&#45;&#45;c9</title>
468
+ <path fill="none" stroke="#999999" d="M480.26,-2010.64C545.79,-1985.57 759.69,-1903.75 824.94,-1878.79"/>
469
+ </g>
470
+ <!-- c13&#45;&#45;c11 -->
471
+ <g id="edge49" class="edge">
472
+ <title>c13&#45;&#45;c11</title>
473
+ <path fill="none" stroke="#999999" d="M444.41,-2006.26C405.65,-1978.83 309.51,-1910.78 270.67,-1883.3"/>
474
+ </g>
475
+ <!-- c13&#45;&#45;c12 -->
476
+ <g id="edge50" class="edge">
477
+ <title>c13&#45;&#45;c12</title>
478
+ <path fill="none" stroke="#999999" d="M475.37,-2003.69C503.54,-1975.61 565.75,-1913.61 593.8,-1885.66"/>
479
+ </g>
480
+ </g>
481
+ </svg>