-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy path.depend
402 lines (402 loc) · 52.1 KB
/
.depend
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
znat.vo: znat.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo
znat.vi: znat.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo
walkup.vo: walkup.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo
walkup.vi: walkup.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo
unavoidability.vo: unavoidability.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo coloring.vo birkhoff.vo znat.vo part.vo discharge.vo hubcap.vo configurations.vo present.vo present5.vo present6.vo present7.vo present8.vo present9.vo present10.vo present11.vo
unavoidability.vi: unavoidability.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo coloring.vo birkhoff.vo znat.vo part.vo discharge.vo hubcap.vo configurations.vo present.vo present5.vo present6.vo present7.vo present8.vo present9.vo present10.vo present11.vo
task589to633.vo: task589to633.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job589to610.vo job611to617.vo job618to622.vo job623to633.vo
task589to633.vi: task589to633.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job589to610.vo job611to617.vo job618to622.vo job623to633.vo
task542to588.vo: task542to588.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job542to545.vo job546to549.vo job550to553.vo job554to562.vo job563to588.vo
task542to588.vi: task542to588.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job542to545.vo job546to549.vo job550to553.vo job554to562.vo job563to588.vo
task507to541.vo: task507to541.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job507to510.vo job511to516.vo job517to530.vo job531to534.vo job535to541.vo
task507to541.vi: task507to541.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job507to510.vo job511to516.vo job517to530.vo job531to534.vo job535to541.vo
task486to506.vo: task486to506.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job486to489.vo job490to494.vo job495to498.vo job499to502.vo job503to506.vo
task486to506.vi: task486to506.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job486to489.vo job490to494.vo job495to498.vo job499to502.vo job503to506.vo
task323to485.vo: task323to485.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job323to383.vo job384to398.vo job399to438.vo job439to465.vo job466to485.vo
task323to485.vi: task323to485.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job323to383.vo job384to398.vo job399to438.vo job439to465.vo job466to485.vo
task303to322.vo: task303to322.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job303to306.vo job307to310.vo job311to314.vo job315to318.vo job319to322.vo
task303to322.vi: task303to322.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job303to306.vo job307to310.vo job311to314.vo job315to318.vo job319to322.vo
task283to302.vo: task283to302.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job283to286.vo job287to290.vo job291to294.vo job295to298.vo job299to302.vo
task283to302.vi: task283to302.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job283to286.vo job287to290.vo job291to294.vo job295to298.vo job299to302.vo
task235to282.vo: task235to282.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job235to238.vo job239to253.vo job254to270.vo job271to278.vo job279to282.vo
task235to282.vi: task235to282.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job235to238.vo job239to253.vo job254to270.vo job271to278.vo job279to282.vo
task215to234.vo: task215to234.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job215to218.vo job219to222.vo job223to226.vo job227to230.vo job231to234.vo
task215to234.vi: task215to234.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job215to218.vo job219to222.vo job223to226.vo job227to230.vo job231to234.vo
task001to214.vo: task001to214.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job001to106.vo job107to164.vo job165to189.vo job190to206.vo job207to214.vo
task001to214.vi: task001to214.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo job001to106.vo job107to164.vo job165to189.vo job190to206.vo job207to214.vo
ssrtest.vo: ssrtest.v ssreflect.vo
ssrtest.vi: ssrtest.v ssreflect.vo
ssrnat.vo: ssrnat.v ssreflect.vo ssrbool.vo funs.vo dataset.vo
ssrnat.vi: ssrnat.v ssreflect.vo ssrbool.vo funs.vo dataset.vo
ssreflect.vo: ssreflect.v
ssreflect.vi: ssreflect.v
ssrbool.vo: ssrbool.v ssreflect.vo
ssrbool.vi: ssrbool.v ssreflect.vo
snip.vo: snip.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo jordan.vo color.vo geometry.vo patch.vo
snip.vi: snip.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo jordan.vo color.vo geometry.vo patch.vo
sew.vo: sew.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo color.vo geometry.vo patch.vo
sew.vi: sew.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo color.vo geometry.vo patch.vo
seq.vo: seq.v ssreflect.vo funs.vo ssrbool.vo dataset.vo ssrnat.vo
seq.vi: seq.v ssreflect.vo funs.vo ssrbool.vo dataset.vo ssrnat.vo
revsnip.vo: revsnip.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo patch.vo sew.vo snip.vo color.vo chromogram.vo coloring.vo kempe.vo
revsnip.vi: revsnip.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo patch.vo sew.vo snip.vo color.vo chromogram.vo coloring.vo kempe.vo
reducibility.vo: reducibility.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo present.vo task001to214.vo task215to234.vo task235to282.vo task283to302.vo task303to322.vo task323to485.vo task486to506.vo task507to541.vo task542to588.vo task589to633.vo
reducibility.vi: reducibility.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo present.vo task001to214.vo task215to234.vo task235to282.vo task283to302.vo task303to322.vo task323to485.vo task486to506.vo task507to541.vo task542to588.vo task589to633.vo
redpart.vo: redpart.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo part.vo quiz.vo quiztree.vo
redpart.vi: redpart.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo part.vo quiz.vo quiztree.vo
realsyntax.vo: realsyntax.v real.vo
realsyntax.vi: realsyntax.v real.vo
realprop.vo: realprop.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo znat.vo frac.vo real.vo realsyntax.vo
realprop.vi: realprop.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo znat.vo frac.vo real.vo realsyntax.vo
realmap.vo: realmap.v real.vo
realmap.vi: realmap.v real.vo
realcategorical.vo: realcategorical.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo znat.vo frac.vo real.vo realsyntax.vo realprop.vo
realcategorical.vi: realcategorical.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo znat.vo frac.vo real.vo realsyntax.vo realprop.vo
real.vo: real.v
real.vi: real.v
quiztree.vo: quiztree.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo color.vo coloring.vo quiz.vo cfmap.vo cfquiz.vo
quiztree.vi: quiztree.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo color.vo coloring.vo quiz.vo cfmap.vo cfquiz.vo
quiz.vo: quiz.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo coloring.vo
quiz.vi: quiz.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo coloring.vo
present9.vo: present9.v ssreflect.vo ssrbool.vo ssrnat.vo part.vo znat.vo hubcap.vo present.vo
present9.vi: present9.v ssreflect.vo ssrbool.vo ssrnat.vo part.vo znat.vo hubcap.vo present.vo
present8.vo: present8.v ssreflect.vo ssrbool.vo ssrnat.vo part.vo znat.vo hubcap.vo present.vo
present8.vi: present8.v ssreflect.vo ssrbool.vo ssrnat.vo part.vo znat.vo hubcap.vo present.vo
present7.vo: present7.v ssreflect.vo ssrbool.vo ssrnat.vo part.vo znat.vo hubcap.vo present.vo
present7.vi: present7.v ssreflect.vo ssrbool.vo ssrnat.vo part.vo znat.vo hubcap.vo present.vo
present6.vo: present6.v ssreflect.vo ssrbool.vo ssrnat.vo part.vo znat.vo hubcap.vo present.vo
present6.vi: present6.v ssreflect.vo ssrbool.vo ssrnat.vo part.vo znat.vo hubcap.vo present.vo
present5.vo: present5.v ssreflect.vo ssrbool.vo ssrnat.vo part.vo znat.vo hubcap.vo present.vo
present5.vi: present5.v ssreflect.vo ssrbool.vo ssrnat.vo part.vo znat.vo hubcap.vo present.vo
present11.vo: present11.v ssreflect.vo ssrbool.vo ssrnat.vo part.vo znat.vo hubcap.vo present.vo
present11.vi: present11.v ssreflect.vo ssrbool.vo ssrnat.vo part.vo znat.vo hubcap.vo present.vo
present10.vo: present10.v ssreflect.vo ssrbool.vo ssrnat.vo part.vo znat.vo hubcap.vo present.vo
present10.vi: present10.v ssreflect.vo ssrbool.vo ssrnat.vo part.vo znat.vo hubcap.vo present.vo
present.vo: present.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo coloring.vo birkhoff.vo embed.vo quiz.vo quiztree.vo part.vo redpart.vo znat.vo discharge.vo hubcap.vo cfmap.vo cfcontract.vo cfreducible.vo configurations.vo
present.vi: present.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo coloring.vo birkhoff.vo embed.vo quiz.vo quiztree.vo part.vo redpart.vo znat.vo discharge.vo hubcap.vo cfmap.vo cfcontract.vo cfreducible.vo configurations.vo
paths.vo: paths.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo
paths.vi: paths.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo
patch.vo: patch.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo geometry.vo jordan.vo color.vo coloring.vo
patch.vi: patch.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo geometry.vo jordan.vo color.vo coloring.vo
part.vo: part.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo color.vo geometry.vo
part.vi: part.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo color.vo geometry.vo
ncpmap.vo: ncpmap.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo color.vo finset.vo connect.vo hypermap.vo geometry.vo
ncpmap.vi: ncpmap.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo color.vo finset.vo connect.vo hypermap.vo geometry.vo
ncfquiz.vo: ncfquiz.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo color.vo geometry.vo coloring.vo patch.vo cfmap.vo quiz.vo
ncfquiz.vi: ncfquiz.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo color.vo geometry.vo coloring.vo patch.vo cfmap.vo quiz.vo
matte.vo: matte.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo znat.vo grid.vo
matte.vi: matte.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo znat.vo grid.vo
kempetree.vo: kempetree.v ssreflect.vo funs.vo ssrbool.vo dataset.vo ssrnat.vo dyck.vo seq.vo paths.vo connect.vo hypermap.vo geometry.vo color.vo chromogram.vo coloring.vo cfmap.vo cfcolor.vo ctree.vo initctree.vo gtree.vo initgtree.vo gtreerestrict.vo ctreerestrict.vo
kempetree.vi: kempetree.v ssreflect.vo funs.vo ssrbool.vo dataset.vo ssrnat.vo dyck.vo seq.vo paths.vo connect.vo hypermap.vo geometry.vo color.vo chromogram.vo coloring.vo cfmap.vo cfcolor.vo ctree.vo initctree.vo gtree.vo initgtree.vo gtreerestrict.vo ctreerestrict.vo
kempe.vo: kempe.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo chromogram.vo finset.vo paths.vo connect.vo hypermap.vo walkup.vo jordan.vo geometry.vo coloring.vo
kempe.vi: kempe.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo chromogram.vo finset.vo paths.vo connect.vo hypermap.vo walkup.vo jordan.vo geometry.vo coloring.vo
jordan.vo: jordan.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo walkup.vo
jordan.vi: jordan.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo walkup.vo
job623to633.vo: job623to633.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job623to633.vi: job623to633.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job618to622.vo: job618to622.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job618to622.vi: job618to622.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job611to617.vo: job611to617.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job611to617.vi: job611to617.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job589to610.vo: job589to610.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job589to610.vi: job589to610.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job563to588.vo: job563to588.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job563to588.vi: job563to588.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job554to562.vo: job554to562.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job554to562.vi: job554to562.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job550to553.vo: job550to553.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job550to553.vi: job550to553.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job546to549.vo: job546to549.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job546to549.vi: job546to549.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job542to545.vo: job542to545.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job542to545.vi: job542to545.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job535to541.vo: job535to541.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job535to541.vi: job535to541.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job531to534.vo: job531to534.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job531to534.vi: job531to534.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job517to530.vo: job517to530.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job517to530.vi: job517to530.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job511to516.vo: job511to516.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job511to516.vi: job511to516.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job507to510.vo: job507to510.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job507to510.vi: job507to510.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job503to506.vo: job503to506.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job503to506.vi: job503to506.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job499to502.vo: job499to502.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job499to502.vi: job499to502.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job495to498.vo: job495to498.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job495to498.vi: job495to498.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job490to494.vo: job490to494.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job490to494.vi: job490to494.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job486to489.vo: job486to489.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job486to489.vi: job486to489.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job466to485.vo: job466to485.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job466to485.vi: job466to485.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job439to465.vo: job439to465.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job439to465.vi: job439to465.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job399to438.vo: job399to438.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job399to438.vi: job399to438.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job384to398.vo: job384to398.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job384to398.vi: job384to398.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job323to383.vo: job323to383.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job323to383.vi: job323to383.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job319to322.vo: job319to322.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job319to322.vi: job319to322.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job315to318.vo: job315to318.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job315to318.vi: job315to318.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job311to314.vo: job311to314.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job311to314.vi: job311to314.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job307to310.vo: job307to310.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job307to310.vi: job307to310.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job303to306.vo: job303to306.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job303to306.vi: job303to306.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job299to302.vo: job299to302.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job299to302.vi: job299to302.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job295to298.vo: job295to298.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job295to298.vi: job295to298.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job291to294.vo: job291to294.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job291to294.vi: job291to294.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job287to290.vo: job287to290.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job287to290.vi: job287to290.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job283to286.vo: job283to286.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job283to286.vi: job283to286.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job279to282.vo: job279to282.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job279to282.vi: job279to282.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job271to278.vo: job271to278.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job271to278.vi: job271to278.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job254to270.vo: job254to270.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job254to270.vi: job254to270.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job239to253.vo: job239to253.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job239to253.vi: job239to253.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job235to238.vo: job235to238.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job235to238.vi: job235to238.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job231to234.vo: job231to234.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job231to234.vi: job231to234.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job227to230.vo: job227to230.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job227to230.vi: job227to230.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job223to226.vo: job223to226.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job223to226.vi: job223to226.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job219to222.vo: job219to222.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job219to222.vi: job219to222.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job215to218.vo: job215to218.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job215to218.vi: job215to218.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job207to214.vo: job207to214.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job207to214.vi: job207to214.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job190to206.vo: job190to206.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job190to206.vi: job190to206.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job165to189.vo: job165to189.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job165to189.vi: job165to189.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job107to164.vo: job107to164.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job107to164.vi: job107to164.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job001to106.vo: job001to106.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
job001to106.vi: job001to106.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo cfreducible.vo configurations.vo
initgtree.vo: initgtree.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo chromogram.vo gtree.vo dyck.vo
initgtree.vi: initgtree.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo chromogram.vo gtree.vo dyck.vo
initctree.vo: initctree.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo ctree.vo dyck.vo
initctree.vi: initctree.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo ctree.vo dyck.vo
hypermap.vo: hypermap.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo
hypermap.vi: hypermap.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo
hubcap.vo: hubcap.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo quiztree.vo part.vo znat.vo discharge.vo
hubcap.vi: hubcap.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo quiztree.vo part.vo znat.vo discharge.vo
gtreerestrict.vo: gtreerestrict.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo ctree.vo chromogram.vo gtree.vo
gtreerestrict.vi: gtreerestrict.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo ctree.vo chromogram.vo gtree.vo
gtree.vo: gtree.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo chromogram.vo
gtree.vi: gtree.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo chromogram.vo
gridmap.vo: gridmap.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo znat.vo hypermap.vo geometry.vo color.vo coloring.vo patch.vo snip.vo grid.vo matte.vo
gridmap.vi: gridmap.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo znat.vo hypermap.vo geometry.vo color.vo coloring.vo patch.vo snip.vo grid.vo matte.vo
grid.vo: grid.v ssreflect.vo ssrbool.vo funs.vo hypermap.vo dataset.vo ssrnat.vo seq.vo paths.vo znat.vo
grid.vi: grid.v ssreflect.vo ssrbool.vo funs.vo hypermap.vo dataset.vo ssrnat.vo seq.vo paths.vo znat.vo
geometry.vo: geometry.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo jordan.vo
geometry.vi: geometry.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo jordan.vo
funs.vo: funs.v ssreflect.vo
funs.vi: funs.v ssreflect.vo
frac.vo: frac.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo znat.vo
frac.vi: frac.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo znat.vo
fourcolor.vo: fourcolor.v real.vo realmap.vo combinatorial4ct.vo discretize.vo finitize.vo
fourcolor.vi: fourcolor.v real.vo realmap.vo combinatorial4ct.vo discretize.vo finitize.vo
foo.vo: foo.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo
foo.vi: foo.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo
finset.vo: finset.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo
finset.vi: finset.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo
finitize.vo: finitize.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo znat.vo real.vo realmap.vo realsyntax.vo realprop.vo grid.vo approx.vo
finitize.vi: finitize.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo znat.vo real.vo realmap.vo realsyntax.vo realprop.vo grid.vo approx.vo
embed.vo: embed.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo color.vo chromogram.vo coloring.vo patch.vo snip.vo revsnip.vo kempe.vo birkhoff.vo contract.vo
embed.vi: embed.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo color.vo chromogram.vo coloring.vo patch.vo snip.vo revsnip.vo kempe.vo birkhoff.vo contract.vo
dyck.vo: dyck.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo
dyck.vi: dyck.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo
discretize.vo: discretize.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo hypermap.vo geometry.vo coloring.vo znat.vo grid.vo matte.vo gridmap.vo real.vo realmap.vo realprop.vo approx.vo
discretize.vi: discretize.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo hypermap.vo geometry.vo coloring.vo znat.vo grid.vo matte.vo gridmap.vo real.vo realmap.vo realprop.vo approx.vo
discharge.vo: discharge.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo znat.vo hypermap.vo geometry.vo part.vo
discharge.vi: discharge.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo znat.vo hypermap.vo geometry.vo part.vo
dedekind.vo: dedekind.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo znat.vo frac.vo real.vo
dedekind.vi: dedekind.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo znat.vo frac.vo real.vo
dataset.vo: dataset.v ssreflect.vo ssrbool.vo funs.vo
dataset.vi: dataset.v ssreflect.vo ssrbool.vo funs.vo
cube.vo: cube.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo color.vo coloring.vo
cube.vi: cube.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo color.vo coloring.vo
ctreerestrict.vo: ctreerestrict.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo chromogram.vo gtree.vo ctree.vo
ctreerestrict.vi: ctreerestrict.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo chromogram.vo gtree.vo ctree.vo
ctree.vo: ctree.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo
ctree.vi: ctree.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo
contract.vo: contract.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo walkup.vo geometry.vo color.vo coloring.vo patch.vo snip.vo revsnip.vo birkhoff.vo
contract.vi: contract.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo walkup.vo geometry.vo color.vo coloring.vo patch.vo snip.vo revsnip.vo birkhoff.vo
connect.vo: connect.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo
connect.vi: connect.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo
configurations.vo: configurations.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo
configurations.vi: configurations.v ssreflect.vo ssrnat.vo seq.vo cfmap.vo
combinatorial4ct.vo: combinatorial4ct.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo color.vo coloring.vo cube.vo present.vo unavoidability.vo reducibility.vo
combinatorial4ct.vi: combinatorial4ct.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo color.vo coloring.vo cube.vo present.vo unavoidability.vo reducibility.vo
coloring.vo: coloring.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo walkup.vo geometry.vo color.vo chromogram.vo
coloring.vi: coloring.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo walkup.vo geometry.vo color.vo chromogram.vo
color.vo: color.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo
color.vi: color.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo
chromogram.vo: chromogram.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo
chromogram.vi: chromogram.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo color.vo
cfreducible.vo: cfreducible.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo color.vo chromogram.vo coloring.vo kempe.vo cfmap.vo cfcolor.vo cfcontract.vo ctree.vo kempetree.vo
cfreducible.vi: cfreducible.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo geometry.vo color.vo chromogram.vo coloring.vo kempe.vo cfmap.vo cfcolor.vo cfcontract.vo ctree.vo kempetree.vo
cfquiz.vo: cfquiz.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo color.vo geometry.vo coloring.vo patch.vo cfmap.vo quiz.vo
cfquiz.vi: cfquiz.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo color.vo geometry.vo coloring.vo patch.vo cfmap.vo quiz.vo
cfmap.vo: cfmap.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo color.vo finset.vo connect.vo hypermap.vo geometry.vo
cfmap.vi: cfmap.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo color.vo finset.vo connect.vo hypermap.vo geometry.vo
cfcontract.vo: cfcontract.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo geometry.vo color.vo coloring.vo cfmap.vo ctree.vo cfcolor.vo
cfcontract.vi: cfcontract.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo geometry.vo color.vo coloring.vo cfmap.vo ctree.vo cfcolor.vo
cfcolor.vo: cfcolor.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo geometry.vo color.vo coloring.vo cfmap.vo ctree.vo
cfcolor.vi: cfcolor.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo finset.vo paths.vo connect.vo hypermap.vo geometry.vo color.vo coloring.vo cfmap.vo ctree.vo
birkhoff.vo: birkhoff.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo jordan.vo geometry.vo color.vo chromogram.vo coloring.vo patch.vo snip.vo sew.vo revsnip.vo kempe.vo ctree.vo initctree.vo gtree.vo initgtree.vo ctreerestrict.vo gtreerestrict.vo cfmap.vo cfcolor.vo kempetree.vo
birkhoff.vi: birkhoff.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo finset.vo connect.vo hypermap.vo jordan.vo geometry.vo color.vo chromogram.vo coloring.vo patch.vo snip.vo sew.vo revsnip.vo kempe.vo ctree.vo initctree.vo gtree.vo initgtree.vo ctreerestrict.vo gtreerestrict.vo cfmap.vo cfcolor.vo kempetree.vo
approx.vo: approx.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo hypermap.vo geometry.vo coloring.vo znat.vo grid.vo matte.vo real.vo realmap.vo realsyntax.vo realprop.vo
approx.vi: approx.v ssreflect.vo ssrbool.vo funs.vo dataset.vo ssrnat.vo seq.vo paths.vo hypermap.vo geometry.vo coloring.vo znat.vo grid.vo matte.vo real.vo realmap.vo realsyntax.vo realprop.vo
znat.html: znat.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html finset.html paths.html connect.html
walkup.html: walkup.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html finset.html paths.html connect.html hypermap.html
unavoidability.html: unavoidability.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html geometry.html coloring.html birkhoff.html znat.html part.html discharge.html hubcap.html configurations.html present.html present5.html present6.html present7.html present8.html present9.html present10.html present11.html
task589to633.html: task589to633.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html job589to610.html job611to617.html job618to622.html job623to633.html
task542to588.html: task542to588.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html job542to545.html job546to549.html job550to553.html job554to562.html job563to588.html
task507to541.html: task507to541.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html job507to510.html job511to516.html job517to530.html job531to534.html job535to541.html
task486to506.html: task486to506.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html job486to489.html job490to494.html job495to498.html job499to502.html job503to506.html
task323to485.html: task323to485.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html job323to383.html job384to398.html job399to438.html job439to465.html job466to485.html
task303to322.html: task303to322.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html job303to306.html job307to310.html job311to314.html job315to318.html job319to322.html
task283to302.html: task283to302.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html job283to286.html job287to290.html job291to294.html job295to298.html job299to302.html
task235to282.html: task235to282.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html job235to238.html job239to253.html job254to270.html job271to278.html job279to282.html
task215to234.html: task215to234.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html job215to218.html job219to222.html job223to226.html job227to230.html job231to234.html
task001to214.html: task001to214.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html job001to106.html job107to164.html job165to189.html job190to206.html job207to214.html
ssrtest.html: ssrtest.v ssreflect.html
ssrnat.html: ssrnat.v ssreflect.html ssrbool.html funs.html dataset.html
ssreflect.html: ssreflect.v
ssrbool.html: ssrbool.v ssreflect.html
snip.html: snip.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html finset.html paths.html connect.html hypermap.html jordan.html color.html geometry.html patch.html
sew.html: sew.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html finset.html paths.html connect.html hypermap.html color.html geometry.html patch.html
seq.html: seq.v ssreflect.html funs.html ssrbool.html dataset.html ssrnat.html
revsnip.html: revsnip.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html geometry.html patch.html sew.html snip.html color.html chromogram.html coloring.html kempe.html
reducibility.html: reducibility.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html present.html task001to214.html task215to234.html task235to282.html task283to302.html task303to322.html task323to485.html task486to506.html task507to541.html task542to588.html task589to633.html
redpart.html: redpart.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html geometry.html part.html quiz.html quiztree.html
realsyntax.html: realsyntax.v real.html
realprop.html: realprop.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html znat.html frac.html real.html realsyntax.html
realmap.html: realmap.v real.html
realcategorical.html: realcategorical.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html znat.html frac.html real.html realsyntax.html realprop.html
real.html: real.v
quiztree.html: quiztree.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html geometry.html color.html coloring.html quiz.html cfmap.html cfquiz.html
quiz.html: quiz.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html geometry.html coloring.html
present9.html: present9.v ssreflect.html ssrbool.html ssrnat.html part.html znat.html hubcap.html present.html
present8.html: present8.v ssreflect.html ssrbool.html ssrnat.html part.html znat.html hubcap.html present.html
present7.html: present7.v ssreflect.html ssrbool.html ssrnat.html part.html znat.html hubcap.html present.html
present6.html: present6.v ssreflect.html ssrbool.html ssrnat.html part.html znat.html hubcap.html present.html
present5.html: present5.v ssreflect.html ssrbool.html ssrnat.html part.html znat.html hubcap.html present.html
present11.html: present11.v ssreflect.html ssrbool.html ssrnat.html part.html znat.html hubcap.html present.html
present10.html: present10.v ssreflect.html ssrbool.html ssrnat.html part.html znat.html hubcap.html present.html
present.html: present.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html geometry.html coloring.html birkhoff.html embed.html quiz.html quiztree.html part.html redpart.html znat.html discharge.html hubcap.html cfmap.html cfcontract.html cfreducible.html configurations.html
paths.html: paths.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html
patch.html: patch.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html finset.html paths.html connect.html hypermap.html geometry.html jordan.html color.html coloring.html
part.html: part.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html color.html geometry.html
ncpmap.html: ncpmap.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html color.html finset.html connect.html hypermap.html geometry.html
ncfquiz.html: ncfquiz.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html color.html geometry.html coloring.html patch.html cfmap.html quiz.html
matte.html: matte.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html znat.html grid.html
kempetree.html: kempetree.v ssreflect.html funs.html ssrbool.html dataset.html ssrnat.html dyck.html seq.html paths.html connect.html hypermap.html geometry.html color.html chromogram.html coloring.html cfmap.html cfcolor.html ctree.html initctree.html gtree.html initgtree.html gtreerestrict.html ctreerestrict.html
kempe.html: kempe.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html color.html chromogram.html finset.html paths.html connect.html hypermap.html walkup.html jordan.html geometry.html coloring.html
jordan.html: jordan.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html finset.html paths.html connect.html hypermap.html walkup.html
job623to633.html: job623to633.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job618to622.html: job618to622.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job611to617.html: job611to617.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job589to610.html: job589to610.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job563to588.html: job563to588.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job554to562.html: job554to562.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job550to553.html: job550to553.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job546to549.html: job546to549.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job542to545.html: job542to545.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job535to541.html: job535to541.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job531to534.html: job531to534.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job517to530.html: job517to530.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job511to516.html: job511to516.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job507to510.html: job507to510.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job503to506.html: job503to506.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job499to502.html: job499to502.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job495to498.html: job495to498.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job490to494.html: job490to494.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job486to489.html: job486to489.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job466to485.html: job466to485.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job439to465.html: job439to465.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job399to438.html: job399to438.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job384to398.html: job384to398.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job323to383.html: job323to383.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job319to322.html: job319to322.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job315to318.html: job315to318.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job311to314.html: job311to314.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job307to310.html: job307to310.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job303to306.html: job303to306.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job299to302.html: job299to302.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job295to298.html: job295to298.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job291to294.html: job291to294.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job287to290.html: job287to290.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job283to286.html: job283to286.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job279to282.html: job279to282.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job271to278.html: job271to278.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job254to270.html: job254to270.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job239to253.html: job239to253.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job235to238.html: job235to238.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job231to234.html: job231to234.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job227to230.html: job227to230.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job223to226.html: job223to226.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job219to222.html: job219to222.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job215to218.html: job215to218.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job207to214.html: job207to214.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job190to206.html: job190to206.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job165to189.html: job165to189.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job107to164.html: job107to164.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
job001to106.html: job001to106.v ssreflect.html ssrnat.html seq.html cfmap.html cfreducible.html configurations.html
initgtree.html: initgtree.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html color.html chromogram.html gtree.html dyck.html
initctree.html: initctree.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html color.html ctree.html dyck.html
hypermap.html: hypermap.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html finset.html paths.html connect.html
hubcap.html: hubcap.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html geometry.html quiztree.html part.html znat.html discharge.html
gtreerestrict.html: gtreerestrict.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html color.html ctree.html chromogram.html gtree.html
gtree.html: gtree.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html color.html chromogram.html
gridmap.html: gridmap.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html znat.html hypermap.html geometry.html color.html coloring.html patch.html snip.html grid.html matte.html
grid.html: grid.v ssreflect.html ssrbool.html funs.html hypermap.html dataset.html ssrnat.html seq.html paths.html znat.html
geometry.html: geometry.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html finset.html paths.html connect.html hypermap.html jordan.html
funs.html: funs.v ssreflect.html
frac.html: frac.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html znat.html
fourcolor.html: fourcolor.v real.html realmap.html combinatorial4ct.html discretize.html finitize.html
foo.html: foo.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html finset.html paths.html connect.html
finset.html: finset.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html
finitize.html: finitize.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html znat.html real.html realmap.html realsyntax.html realprop.html grid.html approx.html
embed.html: embed.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html geometry.html color.html chromogram.html coloring.html patch.html snip.html revsnip.html kempe.html birkhoff.html contract.html
dyck.html: dyck.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html
discretize.html: discretize.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html hypermap.html geometry.html coloring.html znat.html grid.html matte.html gridmap.html real.html realmap.html realprop.html approx.html
discharge.html: discharge.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html znat.html hypermap.html geometry.html part.html
dedekind.html: dedekind.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html znat.html frac.html real.html
dataset.html: dataset.v ssreflect.html ssrbool.html funs.html
cube.html: cube.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html geometry.html color.html coloring.html
ctreerestrict.html: ctreerestrict.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html color.html chromogram.html gtree.html ctree.html
ctree.html: ctree.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html color.html
contract.html: contract.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html walkup.html geometry.html color.html coloring.html patch.html snip.html revsnip.html birkhoff.html
connect.html: connect.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html
configurations.html: configurations.v ssreflect.html ssrnat.html seq.html cfmap.html
combinatorial4ct.html: combinatorial4ct.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html geometry.html color.html coloring.html cube.html present.html unavoidability.html reducibility.html
coloring.html: coloring.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html finset.html paths.html connect.html hypermap.html walkup.html geometry.html color.html chromogram.html
color.html: color.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html
chromogram.html: chromogram.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html color.html
cfreducible.html: cfreducible.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html geometry.html color.html chromogram.html coloring.html kempe.html cfmap.html cfcolor.html cfcontract.html ctree.html kempetree.html
cfquiz.html: cfquiz.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html color.html geometry.html coloring.html patch.html cfmap.html quiz.html
cfmap.html: cfmap.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html color.html finset.html connect.html hypermap.html geometry.html
cfcontract.html: cfcontract.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html finset.html paths.html connect.html hypermap.html geometry.html color.html coloring.html cfmap.html ctree.html cfcolor.html
cfcolor.html: cfcolor.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html finset.html paths.html connect.html hypermap.html geometry.html color.html coloring.html cfmap.html ctree.html
birkhoff.html: birkhoff.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html finset.html connect.html hypermap.html jordan.html geometry.html color.html chromogram.html coloring.html patch.html snip.html sew.html revsnip.html kempe.html ctree.html initctree.html gtree.html initgtree.html ctreerestrict.html gtreerestrict.html cfmap.html cfcolor.html kempetree.html
approx.html: approx.v ssreflect.html ssrbool.html funs.html dataset.html ssrnat.html seq.html paths.html hypermap.html geometry.html coloring.html znat.html grid.html matte.html real.html realmap.html realsyntax.html realprop.html