d | ρ | Label | ID | ||
---|---|---|---|---|---|
Q8xC5:D5 | 200 | Q8xC5:D5 | 400,197 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C5:D5:Q8 = C2xC52:Q8 | φ: Q8/C2 → C22 ⊆ Out C5:D5 | 20 | 8+ | C5:D5:Q8 | 400,212 |
C5:D5:2Q8 = Dic10:D5 | φ: Q8/C4 → C2 ⊆ Out C5:D5 | 40 | 4 | C5:D5:2Q8 | 400,166 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C5:D5.1Q8 = Dic5:F5 | φ: Q8/C2 → C22 ⊆ Out C5:D5 | 20 | 8+ | C5:D5.1Q8 | 400,126 |
C5:D5.2Q8 = C2.D5wrC2 | φ: Q8/C2 → C22 ⊆ Out C5:D5 | 20 | 4 | C5:D5.2Q8 | 400,130 |
C5:D5.3Q8 = C20:F5 | φ: Q8/C4 → C2 ⊆ Out C5:D5 | 100 | C5:D5.3Q8 | 400,152 | |
C5:D5.4Q8 = C20:2F5 | φ: Q8/C4 → C2 ⊆ Out C5:D5 | 40 | 4 | C5:D5.4Q8 | 400,159 |