-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathnqueens5.dot
505 lines (505 loc) · 23.1 KB
/
nqueens5.dot
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
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
digraph G {
c00_168 [label="c00"]
c00_168 -> c01_167 [color=Green, label=1, fontcolor=Blue]
c00_168 -> c01_139 [color=Red, style=dashed, label=0, fontcolor=Blue]
c01_139 [label="c01"]
c01_139 -> c02_138 [color=Green, label=1, fontcolor=Blue]
c01_139 -> c02_107 [color=Red, style=dashed, label=0, fontcolor=Blue]
c02_107 [label="c02"]
c02_107 -> c03_106 [color=Green, label=1, fontcolor=Blue]
c02_107 -> c03_71 [color=Red, style=dashed, label=0, fontcolor=Blue]
c03_71 [label="c03"]
c03_71 -> c04_70 [color=Green, label=1, fontcolor=Blue]
c03_71 -> c04_38 [color=Red, style=dashed, label=0, fontcolor=Blue]
c04_38 [label="c04"]
c04_38 -> c10_37 [color=Green, label=1, fontcolor=Blue]
c04_38 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
0 [shape=box]
c10_37 [label="c10"]
c10_37 -> 0 [color=Green, label=1, fontcolor=Blue]
c10_37 -> c11_36 [color=Red, style=dashed, label=0, fontcolor=Blue]
c11_36 [label="c11"]
c11_36 -> c12_35 [color=Green, label=1, fontcolor=Blue]
c11_36 -> c12_19 [color=Red, style=dashed, label=0, fontcolor=Blue]
c12_19 [label="c12"]
c12_19 -> c13_18 [color=Green, label=1, fontcolor=Blue]
c12_19 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c13_18 [label="c13"]
c13_18 -> 0 [color=Green, label=1, fontcolor=Blue]
c13_18 -> c14_17 [color=Red, style=dashed, label=0, fontcolor=Blue]
c14_17 [label="c14"]
c14_17 -> 0 [color=Green, label=1, fontcolor=Blue]
c14_17 -> c20_16 [color=Red, style=dashed, label=0, fontcolor=Blue]
c20_16 [label="c20"]
c20_16 -> c21_15 [color=Green, label=1, fontcolor=Blue]
c20_16 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c21_15 [label="c21"]
c21_15 -> 0 [color=Green, label=1, fontcolor=Blue]
c21_15 -> c22_14 [color=Red, style=dashed, label=0, fontcolor=Blue]
c22_14 [label="c22"]
c22_14 -> 0 [color=Green, label=1, fontcolor=Blue]
c22_14 -> c23_13 [color=Red, style=dashed, label=0, fontcolor=Blue]
c23_13 [label="c23"]
c23_13 -> 0 [color=Green, label=1, fontcolor=Blue]
c23_13 -> c24_12 [color=Red, style=dashed, label=0, fontcolor=Blue]
c24_12 [label="c24"]
c24_12 -> 0 [color=Green, label=1, fontcolor=Blue]
c24_12 -> c30_11 [color=Red, style=dashed, label=0, fontcolor=Blue]
c30_11 [label="c30"]
c30_11 -> 0 [color=Green, label=1, fontcolor=Blue]
c30_11 -> c31_10 [color=Red, style=dashed, label=0, fontcolor=Blue]
c31_10 [label="c31"]
c31_10 -> 0 [color=Green, label=1, fontcolor=Blue]
c31_10 -> c32_9 [color=Red, style=dashed, label=0, fontcolor=Blue]
c32_9 [label="c32"]
c32_9 -> 0 [color=Green, label=1, fontcolor=Blue]
c32_9 -> c33_8 [color=Red, style=dashed, label=0, fontcolor=Blue]
c33_8 [label="c33"]
c33_8 -> c34_7 [color=Green, label=1, fontcolor=Blue]
c33_8 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c34_7 [label="c34"]
c34_7 -> 0 [color=Green, label=1, fontcolor=Blue]
c34_7 -> c40_6 [color=Red, style=dashed, label=0, fontcolor=Blue]
c40_6 [label="c40"]
c40_6 -> 0 [color=Green, label=1, fontcolor=Blue]
c40_6 -> c41_5 [color=Red, style=dashed, label=0, fontcolor=Blue]
c41_5 [label="c41"]
c41_5 -> c42_4 [color=Green, label=1, fontcolor=Blue]
c41_5 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c42_4 [label="c42"]
c42_4 -> 0 [color=Green, label=1, fontcolor=Blue]
c42_4 -> c43_3 [color=Red, style=dashed, label=0, fontcolor=Blue]
c43_3 [label="c43"]
c43_3 -> 0 [color=Green, label=1, fontcolor=Blue]
c43_3 -> c44_2 [color=Red, style=dashed, label=0, fontcolor=Blue]
c44_2 [label="c44"]
c44_2 -> 0 [color=Green, label=1, fontcolor=Blue]
c44_2 -> 1 [color=Red, style=dashed, label=0, fontcolor=Blue]
1 [shape=box]
c12_35 [label="c12"]
c12_35 -> 0 [color=Green, label=1, fontcolor=Blue]
c12_35 -> c13_34 [color=Red, style=dashed, label=0, fontcolor=Blue]
c13_34 [label="c13"]
c13_34 -> 0 [color=Green, label=1, fontcolor=Blue]
c13_34 -> c14_33 [color=Red, style=dashed, label=0, fontcolor=Blue]
c14_33 [label="c14"]
c14_33 -> 0 [color=Green, label=1, fontcolor=Blue]
c14_33 -> c20_32 [color=Red, style=dashed, label=0, fontcolor=Blue]
c20_32 [label="c20"]
c20_32 -> 0 [color=Green, label=1, fontcolor=Blue]
c20_32 -> c21_31 [color=Red, style=dashed, label=0, fontcolor=Blue]
c21_31 [label="c21"]
c21_31 -> 0 [color=Green, label=1, fontcolor=Blue]
c21_31 -> c22_30 [color=Red, style=dashed, label=0, fontcolor=Blue]
c22_30 [label="c22"]
c22_30 -> 0 [color=Green, label=1, fontcolor=Blue]
c22_30 -> c23_29 [color=Red, style=dashed, label=0, fontcolor=Blue]
c23_29 [label="c23"]
c23_29 -> c24_28 [color=Green, label=1, fontcolor=Blue]
c23_29 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c24_28 [label="c24"]
c24_28 -> 0 [color=Green, label=1, fontcolor=Blue]
c24_28 -> c30_27 [color=Red, style=dashed, label=0, fontcolor=Blue]
c30_27 [label="c30"]
c30_27 -> c31_26 [color=Green, label=1, fontcolor=Blue]
c30_27 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c31_26 [label="c31"]
c31_26 -> 0 [color=Green, label=1, fontcolor=Blue]
c31_26 -> c32_25 [color=Red, style=dashed, label=0, fontcolor=Blue]
c32_25 [label="c32"]
c32_25 -> 0 [color=Green, label=1, fontcolor=Blue]
c32_25 -> c33_24 [color=Red, style=dashed, label=0, fontcolor=Blue]
c33_24 [label="c33"]
c33_24 -> 0 [color=Green, label=1, fontcolor=Blue]
c33_24 -> c34_23 [color=Red, style=dashed, label=0, fontcolor=Blue]
c34_23 [label="c34"]
c34_23 -> 0 [color=Green, label=1, fontcolor=Blue]
c34_23 -> c40_22 [color=Red, style=dashed, label=0, fontcolor=Blue]
c40_22 [label="c40"]
c40_22 -> 0 [color=Green, label=1, fontcolor=Blue]
c40_22 -> c41_21 [color=Red, style=dashed, label=0, fontcolor=Blue]
c41_21 [label="c41"]
c41_21 -> 0 [color=Green, label=1, fontcolor=Blue]
c41_21 -> c42_20 [color=Red, style=dashed, label=0, fontcolor=Blue]
c42_20 [label="c42"]
c42_20 -> c43_3 [color=Green, label=1, fontcolor=Blue]
c42_20 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c04_70 [label="c04"]
c04_70 -> 0 [color=Green, label=1, fontcolor=Blue]
c04_70 -> c10_69 [color=Red, style=dashed, label=0, fontcolor=Blue]
c10_69 [label="c10"]
c10_69 -> c11_68 [color=Green, label=1, fontcolor=Blue]
c10_69 -> c11_54 [color=Red, style=dashed, label=0, fontcolor=Blue]
c11_54 [label="c11"]
c11_54 -> c12_53 [color=Green, label=1, fontcolor=Blue]
c11_54 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c12_53 [label="c12"]
c12_53 -> 0 [color=Green, label=1, fontcolor=Blue]
c12_53 -> c13_52 [color=Red, style=dashed, label=0, fontcolor=Blue]
c13_52 [label="c13"]
c13_52 -> 0 [color=Green, label=1, fontcolor=Blue]
c13_52 -> c14_51 [color=Red, style=dashed, label=0, fontcolor=Blue]
c14_51 [label="c14"]
c14_51 -> 0 [color=Green, label=1, fontcolor=Blue]
c14_51 -> c20_50 [color=Red, style=dashed, label=0, fontcolor=Blue]
c20_50 [label="c20"]
c20_50 -> 0 [color=Green, label=1, fontcolor=Blue]
c20_50 -> c21_49 [color=Red, style=dashed, label=0, fontcolor=Blue]
c21_49 [label="c21"]
c21_49 -> 0 [color=Green, label=1, fontcolor=Blue]
c21_49 -> c22_48 [color=Red, style=dashed, label=0, fontcolor=Blue]
c22_48 [label="c22"]
c22_48 -> 0 [color=Green, label=1, fontcolor=Blue]
c22_48 -> c23_47 [color=Red, style=dashed, label=0, fontcolor=Blue]
c23_47 [label="c23"]
c23_47 -> 0 [color=Green, label=1, fontcolor=Blue]
c23_47 -> c24_46 [color=Red, style=dashed, label=0, fontcolor=Blue]
c24_46 [label="c24"]
c24_46 -> c30_45 [color=Green, label=1, fontcolor=Blue]
c24_46 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c30_45 [label="c30"]
c30_45 -> 0 [color=Green, label=1, fontcolor=Blue]
c30_45 -> c31_44 [color=Red, style=dashed, label=0, fontcolor=Blue]
c31_44 [label="c31"]
c31_44 -> 0 [color=Green, label=1, fontcolor=Blue]
c31_44 -> c32_43 [color=Red, style=dashed, label=0, fontcolor=Blue]
c32_43 [label="c32"]
c32_43 -> c33_42 [color=Green, label=1, fontcolor=Blue]
c32_43 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c33_42 [label="c33"]
c33_42 -> 0 [color=Green, label=1, fontcolor=Blue]
c33_42 -> c34_41 [color=Red, style=dashed, label=0, fontcolor=Blue]
c34_41 [label="c34"]
c34_41 -> 0 [color=Green, label=1, fontcolor=Blue]
c34_41 -> c40_40 [color=Red, style=dashed, label=0, fontcolor=Blue]
c40_40 [label="c40"]
c40_40 -> c41_39 [color=Green, label=1, fontcolor=Blue]
c40_40 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c41_39 [label="c41"]
c41_39 -> 0 [color=Green, label=1, fontcolor=Blue]
c41_39 -> c42_4 [color=Red, style=dashed, label=0, fontcolor=Blue]
c11_68 [label="c11"]
c11_68 -> 0 [color=Green, label=1, fontcolor=Blue]
c11_68 -> c12_67 [color=Red, style=dashed, label=0, fontcolor=Blue]
c12_67 [label="c12"]
c12_67 -> 0 [color=Green, label=1, fontcolor=Blue]
c12_67 -> c13_66 [color=Red, style=dashed, label=0, fontcolor=Blue]
c13_66 [label="c13"]
c13_66 -> 0 [color=Green, label=1, fontcolor=Blue]
c13_66 -> c14_65 [color=Red, style=dashed, label=0, fontcolor=Blue]
c14_65 [label="c14"]
c14_65 -> 0 [color=Green, label=1, fontcolor=Blue]
c14_65 -> c20_64 [color=Red, style=dashed, label=0, fontcolor=Blue]
c20_64 [label="c20"]
c20_64 -> 0 [color=Green, label=1, fontcolor=Blue]
c20_64 -> c21_63 [color=Red, style=dashed, label=0, fontcolor=Blue]
c21_63 [label="c21"]
c21_63 -> 0 [color=Green, label=1, fontcolor=Blue]
c21_63 -> c22_62 [color=Red, style=dashed, label=0, fontcolor=Blue]
c22_62 [label="c22"]
c22_62 -> c23_61 [color=Green, label=1, fontcolor=Blue]
c22_62 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c23_61 [label="c23"]
c23_61 -> 0 [color=Green, label=1, fontcolor=Blue]
c23_61 -> c24_60 [color=Red, style=dashed, label=0, fontcolor=Blue]
c24_60 [label="c24"]
c24_60 -> 0 [color=Green, label=1, fontcolor=Blue]
c24_60 -> c30_59 [color=Red, style=dashed, label=0, fontcolor=Blue]
c30_59 [label="c30"]
c30_59 -> 0 [color=Green, label=1, fontcolor=Blue]
c30_59 -> c31_58 [color=Red, style=dashed, label=0, fontcolor=Blue]
c31_58 [label="c31"]
c31_58 -> 0 [color=Green, label=1, fontcolor=Blue]
c31_58 -> c32_57 [color=Red, style=dashed, label=0, fontcolor=Blue]
c32_57 [label="c32"]
c32_57 -> 0 [color=Green, label=1, fontcolor=Blue]
c32_57 -> c33_56 [color=Red, style=dashed, label=0, fontcolor=Blue]
c33_56 [label="c33"]
c33_56 -> 0 [color=Green, label=1, fontcolor=Blue]
c33_56 -> c34_55 [color=Red, style=dashed, label=0, fontcolor=Blue]
c34_55 [label="c34"]
c34_55 -> c40_6 [color=Green, label=1, fontcolor=Blue]
c34_55 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c03_106 [label="c03"]
c03_106 -> 0 [color=Green, label=1, fontcolor=Blue]
c03_106 -> c04_105 [color=Red, style=dashed, label=0, fontcolor=Blue]
c04_105 [label="c04"]
c04_105 -> 0 [color=Green, label=1, fontcolor=Blue]
c04_105 -> c10_104 [color=Red, style=dashed, label=0, fontcolor=Blue]
c10_104 [label="c10"]
c10_104 -> c11_103 [color=Green, label=1, fontcolor=Blue]
c10_104 -> c11_84 [color=Red, style=dashed, label=0, fontcolor=Blue]
c11_84 [label="c11"]
c11_84 -> 0 [color=Green, label=1, fontcolor=Blue]
c11_84 -> c12_83 [color=Red, style=dashed, label=0, fontcolor=Blue]
c12_83 [label="c12"]
c12_83 -> 0 [color=Green, label=1, fontcolor=Blue]
c12_83 -> c13_82 [color=Red, style=dashed, label=0, fontcolor=Blue]
c13_82 [label="c13"]
c13_82 -> 0 [color=Green, label=1, fontcolor=Blue]
c13_82 -> c14_81 [color=Red, style=dashed, label=0, fontcolor=Blue]
c14_81 [label="c14"]
c14_81 -> c20_80 [color=Green, label=1, fontcolor=Blue]
c14_81 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c20_80 [label="c20"]
c20_80 -> 0 [color=Green, label=1, fontcolor=Blue]
c20_80 -> c21_79 [color=Red, style=dashed, label=0, fontcolor=Blue]
c21_79 [label="c21"]
c21_79 -> c22_78 [color=Green, label=1, fontcolor=Blue]
c21_79 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c22_78 [label="c22"]
c22_78 -> 0 [color=Green, label=1, fontcolor=Blue]
c22_78 -> c23_77 [color=Red, style=dashed, label=0, fontcolor=Blue]
c23_77 [label="c23"]
c23_77 -> 0 [color=Green, label=1, fontcolor=Blue]
c23_77 -> c24_76 [color=Red, style=dashed, label=0, fontcolor=Blue]
c24_76 [label="c24"]
c24_76 -> 0 [color=Green, label=1, fontcolor=Blue]
c24_76 -> c30_75 [color=Red, style=dashed, label=0, fontcolor=Blue]
c30_75 [label="c30"]
c30_75 -> 0 [color=Green, label=1, fontcolor=Blue]
c30_75 -> c31_74 [color=Red, style=dashed, label=0, fontcolor=Blue]
c31_74 [label="c31"]
c31_74 -> 0 [color=Green, label=1, fontcolor=Blue]
c31_74 -> c32_73 [color=Red, style=dashed, label=0, fontcolor=Blue]
c32_73 [label="c32"]
c32_73 -> 0 [color=Green, label=1, fontcolor=Blue]
c32_73 -> c33_72 [color=Red, style=dashed, label=0, fontcolor=Blue]
c33_72 [label="c33"]
c33_72 -> c34_41 [color=Green, label=1, fontcolor=Blue]
c33_72 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c11_103 [label="c11"]
c11_103 -> 0 [color=Green, label=1, fontcolor=Blue]
c11_103 -> c12_102 [color=Red, style=dashed, label=0, fontcolor=Blue]
c12_102 [label="c12"]
c12_102 -> 0 [color=Green, label=1, fontcolor=Blue]
c12_102 -> c13_101 [color=Red, style=dashed, label=0, fontcolor=Blue]
c13_101 [label="c13"]
c13_101 -> 0 [color=Green, label=1, fontcolor=Blue]
c13_101 -> c14_100 [color=Red, style=dashed, label=0, fontcolor=Blue]
c14_100 [label="c14"]
c14_100 -> 0 [color=Green, label=1, fontcolor=Blue]
c14_100 -> c20_99 [color=Red, style=dashed, label=0, fontcolor=Blue]
c20_99 [label="c20"]
c20_99 -> 0 [color=Green, label=1, fontcolor=Blue]
c20_99 -> c21_98 [color=Red, style=dashed, label=0, fontcolor=Blue]
c21_98 [label="c21"]
c21_98 -> 0 [color=Green, label=1, fontcolor=Blue]
c21_98 -> c22_97 [color=Red, style=dashed, label=0, fontcolor=Blue]
c22_97 [label="c22"]
c22_97 -> 0 [color=Green, label=1, fontcolor=Blue]
c22_97 -> c23_96 [color=Red, style=dashed, label=0, fontcolor=Blue]
c23_96 [label="c23"]
c23_96 -> c24_95 [color=Green, label=1, fontcolor=Blue]
c23_96 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c24_95 [label="c24"]
c24_95 -> 0 [color=Green, label=1, fontcolor=Blue]
c24_95 -> c30_94 [color=Red, style=dashed, label=0, fontcolor=Blue]
c30_94 [label="c30"]
c30_94 -> 0 [color=Green, label=1, fontcolor=Blue]
c30_94 -> c31_93 [color=Red, style=dashed, label=0, fontcolor=Blue]
c31_93 [label="c31"]
c31_93 -> c32_92 [color=Green, label=1, fontcolor=Blue]
c31_93 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c32_92 [label="c32"]
c32_92 -> 0 [color=Green, label=1, fontcolor=Blue]
c32_92 -> c33_91 [color=Red, style=dashed, label=0, fontcolor=Blue]
c33_91 [label="c33"]
c33_91 -> 0 [color=Green, label=1, fontcolor=Blue]
c33_91 -> c34_90 [color=Red, style=dashed, label=0, fontcolor=Blue]
c34_90 [label="c34"]
c34_90 -> 0 [color=Green, label=1, fontcolor=Blue]
c34_90 -> c40_89 [color=Red, style=dashed, label=0, fontcolor=Blue]
c40_89 [label="c40"]
c40_89 -> 0 [color=Green, label=1, fontcolor=Blue]
c40_89 -> c41_88 [color=Red, style=dashed, label=0, fontcolor=Blue]
c41_88 [label="c41"]
c41_88 -> 0 [color=Green, label=1, fontcolor=Blue]
c41_88 -> c42_87 [color=Red, style=dashed, label=0, fontcolor=Blue]
c42_87 [label="c42"]
c42_87 -> 0 [color=Green, label=1, fontcolor=Blue]
c42_87 -> c43_86 [color=Red, style=dashed, label=0, fontcolor=Blue]
c43_86 [label="c43"]
c43_86 -> 0 [color=Green, label=1, fontcolor=Blue]
c43_86 -> c44_85 [color=Red, style=dashed, label=0, fontcolor=Blue]
c44_85 [label="c44"]
c44_85 -> 1 [color=Green, label=1, fontcolor=Blue]
c44_85 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c02_138 [label="c02"]
c02_138 -> 0 [color=Green, label=1, fontcolor=Blue]
c02_138 -> c03_137 [color=Red, style=dashed, label=0, fontcolor=Blue]
c03_137 [label="c03"]
c03_137 -> 0 [color=Green, label=1, fontcolor=Blue]
c03_137 -> c04_136 [color=Red, style=dashed, label=0, fontcolor=Blue]
c04_136 [label="c04"]
c04_136 -> 0 [color=Green, label=1, fontcolor=Blue]
c04_136 -> c10_135 [color=Red, style=dashed, label=0, fontcolor=Blue]
c10_135 [label="c10"]
c10_135 -> 0 [color=Green, label=1, fontcolor=Blue]
c10_135 -> c11_134 [color=Red, style=dashed, label=0, fontcolor=Blue]
c11_134 [label="c11"]
c11_134 -> 0 [color=Green, label=1, fontcolor=Blue]
c11_134 -> c12_133 [color=Red, style=dashed, label=0, fontcolor=Blue]
c12_133 [label="c12"]
c12_133 -> 0 [color=Green, label=1, fontcolor=Blue]
c12_133 -> c13_132 [color=Red, style=dashed, label=0, fontcolor=Blue]
c13_132 [label="c13"]
c13_132 -> c14_131 [color=Green, label=1, fontcolor=Blue]
c13_132 -> c14_122 [color=Red, style=dashed, label=0, fontcolor=Blue]
c14_122 [label="c14"]
c14_122 -> c20_121 [color=Green, label=1, fontcolor=Blue]
c14_122 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c20_121 [label="c20"]
c20_121 -> 0 [color=Green, label=1, fontcolor=Blue]
c20_121 -> c21_120 [color=Red, style=dashed, label=0, fontcolor=Blue]
c21_120 [label="c21"]
c21_120 -> 0 [color=Green, label=1, fontcolor=Blue]
c21_120 -> c22_119 [color=Red, style=dashed, label=0, fontcolor=Blue]
c22_119 [label="c22"]
c22_119 -> c23_118 [color=Green, label=1, fontcolor=Blue]
c22_119 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c23_118 [label="c23"]
c23_118 -> 0 [color=Green, label=1, fontcolor=Blue]
c23_118 -> c24_117 [color=Red, style=dashed, label=0, fontcolor=Blue]
c24_117 [label="c24"]
c24_117 -> 0 [color=Green, label=1, fontcolor=Blue]
c24_117 -> c30_116 [color=Red, style=dashed, label=0, fontcolor=Blue]
c30_116 [label="c30"]
c30_116 -> c31_115 [color=Green, label=1, fontcolor=Blue]
c30_116 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c31_115 [label="c31"]
c31_115 -> 0 [color=Green, label=1, fontcolor=Blue]
c31_115 -> c32_114 [color=Red, style=dashed, label=0, fontcolor=Blue]
c32_114 [label="c32"]
c32_114 -> 0 [color=Green, label=1, fontcolor=Blue]
c32_114 -> c33_113 [color=Red, style=dashed, label=0, fontcolor=Blue]
c33_113 [label="c33"]
c33_113 -> 0 [color=Green, label=1, fontcolor=Blue]
c33_113 -> c34_112 [color=Red, style=dashed, label=0, fontcolor=Blue]
c34_112 [label="c34"]
c34_112 -> 0 [color=Green, label=1, fontcolor=Blue]
c34_112 -> c40_111 [color=Red, style=dashed, label=0, fontcolor=Blue]
c40_111 [label="c40"]
c40_111 -> 0 [color=Green, label=1, fontcolor=Blue]
c40_111 -> c41_110 [color=Red, style=dashed, label=0, fontcolor=Blue]
c41_110 [label="c41"]
c41_110 -> 0 [color=Green, label=1, fontcolor=Blue]
c41_110 -> c42_109 [color=Red, style=dashed, label=0, fontcolor=Blue]
c42_109 [label="c42"]
c42_109 -> 0 [color=Green, label=1, fontcolor=Blue]
c42_109 -> c43_108 [color=Red, style=dashed, label=0, fontcolor=Blue]
c43_108 [label="c43"]
c43_108 -> c44_2 [color=Green, label=1, fontcolor=Blue]
c43_108 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c14_131 [label="c14"]
c14_131 -> 0 [color=Green, label=1, fontcolor=Blue]
c14_131 -> c20_130 [color=Red, style=dashed, label=0, fontcolor=Blue]
c20_130 [label="c20"]
c20_130 -> c21_129 [color=Green, label=1, fontcolor=Blue]
c20_130 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c21_129 [label="c21"]
c21_129 -> 0 [color=Green, label=1, fontcolor=Blue]
c21_129 -> c22_128 [color=Red, style=dashed, label=0, fontcolor=Blue]
c22_128 [label="c22"]
c22_128 -> 0 [color=Green, label=1, fontcolor=Blue]
c22_128 -> c23_127 [color=Red, style=dashed, label=0, fontcolor=Blue]
c23_127 [label="c23"]
c23_127 -> 0 [color=Green, label=1, fontcolor=Blue]
c23_127 -> c24_126 [color=Red, style=dashed, label=0, fontcolor=Blue]
c24_126 [label="c24"]
c24_126 -> 0 [color=Green, label=1, fontcolor=Blue]
c24_126 -> c30_125 [color=Red, style=dashed, label=0, fontcolor=Blue]
c30_125 [label="c30"]
c30_125 -> 0 [color=Green, label=1, fontcolor=Blue]
c30_125 -> c31_124 [color=Red, style=dashed, label=0, fontcolor=Blue]
c31_124 [label="c31"]
c31_124 -> 0 [color=Green, label=1, fontcolor=Blue]
c31_124 -> c32_123 [color=Red, style=dashed, label=0, fontcolor=Blue]
c32_123 [label="c32"]
c32_123 -> c33_91 [color=Green, label=1, fontcolor=Blue]
c32_123 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c01_167 [label="c01"]
c01_167 -> 0 [color=Green, label=1, fontcolor=Blue]
c01_167 -> c02_166 [color=Red, style=dashed, label=0, fontcolor=Blue]
c02_166 [label="c02"]
c02_166 -> 0 [color=Green, label=1, fontcolor=Blue]
c02_166 -> c03_165 [color=Red, style=dashed, label=0, fontcolor=Blue]
c03_165 [label="c03"]
c03_165 -> 0 [color=Green, label=1, fontcolor=Blue]
c03_165 -> c04_164 [color=Red, style=dashed, label=0, fontcolor=Blue]
c04_164 [label="c04"]
c04_164 -> 0 [color=Green, label=1, fontcolor=Blue]
c04_164 -> c10_163 [color=Red, style=dashed, label=0, fontcolor=Blue]
c10_163 [label="c10"]
c10_163 -> 0 [color=Green, label=1, fontcolor=Blue]
c10_163 -> c11_162 [color=Red, style=dashed, label=0, fontcolor=Blue]
c11_162 [label="c11"]
c11_162 -> 0 [color=Green, label=1, fontcolor=Blue]
c11_162 -> c12_161 [color=Red, style=dashed, label=0, fontcolor=Blue]
c12_161 [label="c12"]
c12_161 -> c13_160 [color=Green, label=1, fontcolor=Blue]
c12_161 -> c13_151 [color=Red, style=dashed, label=0, fontcolor=Blue]
c13_151 [label="c13"]
c13_151 -> c14_150 [color=Green, label=1, fontcolor=Blue]
c13_151 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c14_150 [label="c14"]
c14_150 -> 0 [color=Green, label=1, fontcolor=Blue]
c14_150 -> c20_149 [color=Red, style=dashed, label=0, fontcolor=Blue]
c20_149 [label="c20"]
c20_149 -> 0 [color=Green, label=1, fontcolor=Blue]
c20_149 -> c21_148 [color=Red, style=dashed, label=0, fontcolor=Blue]
c21_148 [label="c21"]
c21_148 -> c22_147 [color=Green, label=1, fontcolor=Blue]
c21_148 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c22_147 [label="c22"]
c22_147 -> 0 [color=Green, label=1, fontcolor=Blue]
c22_147 -> c23_146 [color=Red, style=dashed, label=0, fontcolor=Blue]
c23_146 [label="c23"]
c23_146 -> 0 [color=Green, label=1, fontcolor=Blue]
c23_146 -> c24_145 [color=Red, style=dashed, label=0, fontcolor=Blue]
c24_145 [label="c24"]
c24_145 -> 0 [color=Green, label=1, fontcolor=Blue]
c24_145 -> c30_144 [color=Red, style=dashed, label=0, fontcolor=Blue]
c30_144 [label="c30"]
c30_144 -> 0 [color=Green, label=1, fontcolor=Blue]
c30_144 -> c31_143 [color=Red, style=dashed, label=0, fontcolor=Blue]
c31_143 [label="c31"]
c31_143 -> 0 [color=Green, label=1, fontcolor=Blue]
c31_143 -> c32_142 [color=Red, style=dashed, label=0, fontcolor=Blue]
c32_142 [label="c32"]
c32_142 -> 0 [color=Green, label=1, fontcolor=Blue]
c32_142 -> c33_141 [color=Red, style=dashed, label=0, fontcolor=Blue]
c33_141 [label="c33"]
c33_141 -> 0 [color=Green, label=1, fontcolor=Blue]
c33_141 -> c34_140 [color=Red, style=dashed, label=0, fontcolor=Blue]
c34_140 [label="c34"]
c34_140 -> c40_22 [color=Green, label=1, fontcolor=Blue]
c34_140 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c13_160 [label="c13"]
c13_160 -> 0 [color=Green, label=1, fontcolor=Blue]
c13_160 -> c14_159 [color=Red, style=dashed, label=0, fontcolor=Blue]
c14_159 [label="c14"]
c14_159 -> 0 [color=Green, label=1, fontcolor=Blue]
c14_159 -> c20_158 [color=Red, style=dashed, label=0, fontcolor=Blue]
c20_158 [label="c20"]
c20_158 -> 0 [color=Green, label=1, fontcolor=Blue]
c20_158 -> c21_157 [color=Red, style=dashed, label=0, fontcolor=Blue]
c21_157 [label="c21"]
c21_157 -> 0 [color=Green, label=1, fontcolor=Blue]
c21_157 -> c22_156 [color=Red, style=dashed, label=0, fontcolor=Blue]
c22_156 [label="c22"]
c22_156 -> 0 [color=Green, label=1, fontcolor=Blue]
c22_156 -> c23_155 [color=Red, style=dashed, label=0, fontcolor=Blue]
c23_155 [label="c23"]
c23_155 -> 0 [color=Green, label=1, fontcolor=Blue]
c23_155 -> c24_154 [color=Red, style=dashed, label=0, fontcolor=Blue]
c24_154 [label="c24"]
c24_154 -> c30_153 [color=Green, label=1, fontcolor=Blue]
c24_154 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
c30_153 [label="c30"]
c30_153 -> 0 [color=Green, label=1, fontcolor=Blue]
c30_153 -> c31_152 [color=Red, style=dashed, label=0, fontcolor=Blue]
c31_152 [label="c31"]
c31_152 -> c32_114 [color=Green, label=1, fontcolor=Blue]
c31_152 -> 0 [color=Red, style=dashed, label=0, fontcolor=Blue]
}