λ = 8, 1 /
d(C) = 16
ρ(C) ≤
|
|||||
After reduction: 1 /
d(C) = 16
ρ(C) ≤
|
|||||
↙ ↘ |
|||||
λ = 8, 1 /
d(C) = 16
ρ(C) ≤
|
|||||
After reduction: 1 /
d(C) = 16
ρ(C) ≤
|
After reduction: 1 /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 1 /
d(C) = 15
ρ(C) ≤
|
|||||
After reduction: 1 /
d(C) = 15
ρ(C) ≤
|
|||||
↙ ↘ |
|||||
λ = 8, 1 /
d(C) = 15
ρ(C) ≤
|
|||||
After reduction: 1 /
d(C) = 15
ρ(C) ≤
|
After reduction: 1 /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 8 /
12 ≤ d(C) ≤ 14
ρ(C) ≤
|
|||||
After reduction: /
12 ≤ d(C) ≤ 14
ρ(C) ≤
|
|||||
↙ ↘ |
|||||
λ = 8, 12 /
12 ≤ d(C) ≤ 14
ρ(C) ≤
|
|||||
After reduction: /
12 ≤ d(C) ≤ 14
ρ(C) ≤
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 8 /
11 ≤ d(C) ≤ 13
ρ(C) ≤
|
|||||
After reduction: /
11 ≤ d(C) ≤ 13
ρ(C) ≤
|
|||||
↙ ↘ |
|||||
λ = 8, 28 /
11 ≤ d(C) ≤ 14
ρ(C) ≤
|
|||||
After reduction: /
11 ≤ d(C) ≤ 14
ρ(C) ≤
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 41 /
9 ≤ d(C) ≤ 13
ρ(C) ≤
|
|||||
After reduction: /
9 ≤ d(C) ≤ 13
ρ(C) ≤
|
|||||
↙ ↘ |
|||||
λ = 8, 72 /
9 ≤ d(C) ≤ 13
ρ(C) ≤
|
|||||
After reduction: /
9 ≤ d(C) ≤ 13
ρ(C) ≤
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 51 /
9 ≤ d(C) ≤ 12
ρ(C) ≤
|
|||||
After reduction: /
9 ≤ d(C) ≤ 12
ρ(C) ≤
|
|||||
↙ ↘ |
|||||
λ = 8, 129 /
9 ≤ d(C) ≤ 13
ρ(C) ≤
|
|||||
After reduction: /
9 ≤ d(C) ≤ 13
ρ(C) ≤
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 143 /
7 ≤ d(C) ≤ 12
ρ(C) ≤
|
|||||
After reduction: /
7 ≤ d(C) ≤ 12
ρ(C) ≤
|
|||||
↙ ↘ |
|||||
λ = 8, 222 /
7 ≤ d(C) ≤ 12
ρ(C) ≤
|
|||||
After reduction: /
7 ≤ d(C) ≤ 12
ρ(C) ≤
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 229 /
7 ≤ d(C) ≤ 12
ρ(C) ≤
|
|||||
After reduction: /
7 ≤ d(C) ≤ 12
ρ(C) ≤
|
|||||
↙ ↘ |
|||||
λ = 8, 342 /
7 ≤ d(C) ≤ 12
ρ(C) ≤
|
|||||
After reduction: /
7 ≤ d(C) ≤ 12
ρ(C) ≤
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 470 /
6 ≤ d(C) ≤ 11
ρ(C) ≤
|
|||||
After reduction: /
6 ≤ d(C) ≤ 11
ρ(C) ≤
|
|||||
↙ ↘ |
|||||
λ = 8, 486 /
6 ≤ d(C) ≤ 11
ρ(C) ≤ 11
|
|||||
After reduction: /
6 ≤ d(C) ≤ 11
ρ(C) ≤ 11
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 779 /
5 ≤ d(C) ≤ 11
ρ(C) ≤
|
|||||
After reduction: /
5 ≤ d(C) ≤ 11
ρ(C) ≤
|
|||||
↙ ↘ |
|||||
λ = 8, 665 / 316195
5 ≤ d(C) ≤ 11
ρ(C) ≤ 10
|
|||||
After reduction: /
5 ≤ d(C) ≤ 11
ρ(C) ≤ 10
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 1292 / 805348
4 ≤ d(C) ≤ 10
ρ(C) ≤ 8
|
|||||
After reduction: /
4 ≤ d(C) ≤ 10
ρ(C) ≤ 8
|
|||||
↙ ↘ |
|||||
λ = 8, 842 / 236469
4 ≤ d(C) ≤ 10
ρ(C) ≤ 9
|
|||||
After reduction: /
4 ≤ d(C) ≤ 10
ρ(C) ≤ 9
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 2007 /
4 ≤ d(C) ≤ 10
ρ(C) ≤
|
|||||
After reduction: /
4 ≤ d(C) ≤ 10
ρ(C) ≤
|
|||||
↙ ↘ |
|||||
λ = 8, 1020 / 181295
4 ≤ d(C) ≤ 9
ρ(C) ≤ 9
|
|||||
After reduction: /
4 ≤ d(C) ≤ 9
ρ(C) ≤ 9
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 2856 / 395007
3 ≤ d(C) ≤ 9
ρ(C) ≤ 7
|
|||||
After reduction: /
3 ≤ d(C) ≤ 9
ρ(C) ≤ 7
|
|||||
↙ ↘ |
|||||
λ = 8, 1185 / 135558
3 ≤ d(C) ≤ 9
ρ(C) ≤ 8
|
|||||
After reduction: /
3 ≤ d(C) ≤ 9
ρ(C) ≤ 8
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 3629 / 270043
3 ≤ d(C) ≤ 8
ρ(C) ≤ 7
|
|||||
After reduction: /
3 ≤ d(C) ≤ 8
ρ(C) ≤ 7
|
|||||
↙ ↘ |
|||||
λ = 8, 1329 / 99321
3 ≤ d(C) ≤ 8
ρ(C) ≤ 8
|
|||||
After reduction: /
3 ≤ d(C) ≤ 8
ρ(C) ≤ 8
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 4329 / 183494
2 ≤ d(C) ≤ 8
ρ(C) ≤ 6
|
|||||
After reduction: /
2 ≤ d(C) ≤ 8
ρ(C) ≤ 6
|
|||||
↙ ↘ |
|||||
λ = 8, 1429 / 72268
2 ≤ d(C) ≤ 8
ρ(C) ≤ 7
|
|||||
After reduction: /
2 ≤ d(C) ≤ 8
ρ(C) ≤ 7
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 4696 / 121695
1 ≤ d(C) ≤ 7
ρ(C) ≤ 6
|
|||||
After reduction: /
1 ≤ d(C) ≤ 7
ρ(C) ≤ 6
|
|||||
↙ ↘ |
|||||
λ = 8, 1490 / 51868
1 ≤ d(C) ≤ 8
ρ(C) ≤ 7
|
|||||
After reduction: /
1 ≤ d(C) ≤ 8
ρ(C) ≤ 7
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 4870 / 79804
1 ≤ d(C) ≤ 7
ρ(C) ≤ 6
|
|||||
After reduction: /
1 ≤ d(C) ≤ 7
ρ(C) ≤ 6
|
|||||
↙ ↘ |
|||||
λ = 8, 1490 / 36116
1 ≤ d(C) ≤ 7
ρ(C) ≤ 7
|
|||||
After reduction: /
1 ≤ d(C) ≤ 7
ρ(C) ≤ 7
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 4442 / 50567
1 ≤ d(C) ≤ 6
ρ(C) ≤ 5
|
|||||
After reduction: /
1 ≤ d(C) ≤ 6
ρ(C) ≤ 5
|
|||||
↙ ↘ |
|||||
λ = 8, 1429 / 24803
1 ≤ d(C) ≤ 6
ρ(C) ≤ 6
|
|||||
After reduction: /
1 ≤ d(C) ≤ 6
ρ(C) ≤ 6
|
After reduction: /
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, /
1 ≤ d(C) ≤
ρ(C) ≤
|
λ = 8, 3971 / 31572
1 ≤ d(C) ≤ 6
ρ(C) ≤ 5
|
|||||
After reduction: 2124 / 22798
1 ≤ d(C) ≤ 6
ρ(C) ≤ 5
|
|||||
↙ ↘ |
|||||
λ = 4, 1329 / 16702
1 ≤ d(C) ≤ 6
ρ(C) ≤ 5
|
|||||
After reduction: 1268 / 16307
1 ≤ d(C) ≤ 6
ρ(C) ≤ 5
|
After reduction: 1268 / 16307
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, 319546 / 554003
1 ≤ d(C) ≤ 6
ρ(C) ≤ 6
|
λ = 8, 3110 / 18609
1 ≤ d(C) ≤ 5
ρ(C) ≤ 4
|
|||||
After reduction: 1896 / 13485
1 ≤ d(C) ≤ 5
ρ(C) ≤ 4
|
|||||
↙ ↘ |
|||||
λ = 8, 1179 / 10738
1 ≤ d(C) ≤ 5
ρ(C) ≤ 5
|
|||||
After reduction: 1134 / 10516
1 ≤ d(C) ≤ 5
ρ(C) ≤ 5
|
After reduction: 1134 / 10516
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, 151217 / 252125
1 ≤ d(C) ≤ 5
ρ(C) ≤ 5
|
λ = 8, 2467 / 10887
1 ≤ d(C) ≤ 4
ρ(C) ≤ 4
|
|||||
After reduction: 1572 / 7932
1 ≤ d(C) ≤ 4
ρ(C) ≤ 4
|
|||||
↙ ↘ |
|||||
λ = 8, 1005 / 6721
3 ≤ d(C) ≤ 5
ρ(C) ≤ 4
|
|||||
After reduction: 968 / 6559
4 ≤ d(C) ≤ 5
ρ(C) ≤ 4
|
After reduction: 968 / 6559
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, 68464 / 109586
1 ≤ d(C) ≤ 5
ρ(C) ≤ 5
|
λ = 8, 1670 / 5823
1 ≤ d(C) ≤ 4
ρ(C) ≤ 3
|
|||||
After reduction: 1142 / 4373
1 ≤ d(C) ≤ 4
ρ(C) ≤ 3
|
|||||
↙ ↘ |
|||||
λ = 8, 808 / 4054
3 ≤ d(C) ≤ 4
ρ(C) ≤ 4
|
|||||
After reduction: 769 / 3947
3 ≤ d(C) ≤ 4
ρ(C) ≤ 4
|
After reduction: 769 / 3947
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, 29463 / 45207
1 ≤ d(C) ≤ 4
ρ(C) ≤ 4
|
λ = 8, 1151 / 3080
1 ≤ d(C) ≤ 3
ρ(C) ≤ 3
|
|||||
After reduction: 805 / 2289
1 ≤ d(C) ≤ 3
ρ(C) ≤ 3
|
|||||
↙ ↘ |
|||||
λ = 8, 613 / 2282
2 ≤ d(C) ≤ 4
ρ(C) ≤ 3
|
|||||
After reduction: 579 / 2197
2 ≤ d(C) ≤ 4
ρ(C) ≤ 3
|
After reduction: 579 / 2197
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, 11975 / 17575
1 ≤ d(C) ≤ 4
ρ(C) ≤ 4
|
λ = 8, 647 / 1426
1 ≤ d(C) ≤ 3
ρ(C) ≤ 3
|
|||||
After reduction: 480 / 1082
1 ≤ d(C) ≤ 3
ρ(C) ≤ 2
|
|||||
↙ ↘ |
|||||
λ = 8, 415 / 1187
1 ≤ d(C) ≤ 3
ρ(C) ≤ 3
|
|||||
After reduction: 399 / 1157
1 ≤ d(C) ≤ 3
ρ(C) ≤ 3
|
After reduction: 399 / 1157
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, 4548 / 6375
1 ≤ d(C) ≤ 3
ρ(C) ≤ 3
|
λ = 8, 369 / 652
1 ≤ d(C) ≤ 2
ρ(C) ≤ 2
|
|||||
After reduction: 293 / 528
1 ≤ d(C) ≤ 2
ρ(C) ≤ 2
|
|||||
↙ ↘ |
|||||
λ = 8, 267 / 593
1 ≤ d(C) ≤ 3
ρ(C) ≤ 3
|
|||||
After reduction: 255 / 571
1 ≤ d(C) ≤ 3
ρ(C) ≤ 3
|
After reduction: 255 / 571
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, 1601 / 2137
1 ≤ d(C) ≤ 3
ρ(C) ≤ 3
|
λ = 8, 162 / 249
1 ≤ d(C) ≤ 2
ρ(C) ≤ 2
|
|||||
After reduction: 133 / 205
1 ≤ d(C) ≤ 2
ρ(C) ≤ 2
|
|||||
↙ ↘ |
|||||
λ = 8, 142 / 250
1 ≤ d(C) ≤ 2
ρ(C) ≤ 2
|
|||||
After reduction: 134 / 240
1 ≤ d(C) ≤ 2
ρ(C) ≤ 2
|
After reduction: 134 / 240
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, 511 / 649
1 ≤ d(C) ≤ 2
ρ(C) ≤ 2
|
λ = 8, 73 / 93
d(C) = 1
ρ(C) = 1
|
|||||
After reduction: 59 / 78
d(C) = 1
ρ(C) = 1
|
|||||
↙ ↘ |
|||||
λ = 8, 66 / 93
1 ≤ d(C) ≤ 2
ρ(C) = 1
|
|||||
After reduction: 62 / 89
1 ≤ d(C) ≤ 2
ρ(C) = 1
|
After reduction: 62 / 89
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, 147 / 177
1 ≤ d(C) ≤ 2
ρ(C) ≤ 2
|
λ = 8, 23 / 28
d(C) = 1
ρ(C) = 1
|
|||||
After reduction: 23 / 28
d(C) = 1
ρ(C) = 1
|
|||||
↙ ↘ |
|||||
λ = 8, 23 / 29
d(C) = 1
ρ(C) = 1
|
|||||
After reduction: 23 / 29
d(C) = 1
ρ(C) = 1
|
After reduction: 23 / 29
|
||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, 36 / 41
d(C) = 1
ρ(C) = 1
|
λ = 8, 8 / 9
d(C) = 1
ρ(C) = 1
|
|||||
↙ ↘ |
|||||
λ = 8, 8 / 9
d(C) = 1
ρ(C) = 1
|
|||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, 8 / 9
d(C) = 1
ρ(C) = 1
|
λ = 8, 1 / 1
d(C) = 1
ρ(C) = 0
|
|||||
↙ ↘ |
|||||
λ = 8, 1 / 1
d(C) = 1
ρ(C) = 0
|
|||||
↙ ↘ |
↙ ↘ |
||||
λ = 8, 1 / 1
d(C) = 1
ρ(C) = 0
|