d | ρ | Label | ID | ||
---|---|---|---|---|---|
C2xD5xD8 | 80 | C2xD5xD8 | 320,1426 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D5.1(C2xD8) = C2xD5.D8 | φ: C2xD8/C2xC8 → C2 ⊆ Out D5 | 80 | D5.1(C2xD8) | 320,1058 | |
D5.2(C2xD8) = D8xF5 | φ: C2xD8/D8 → C2 ⊆ Out D5 | 40 | 8+ | D5.2(C2xD8) | 320,1068 |
D5.3(C2xD8) = C2xD20:C4 | φ: C2xD8/C2xD4 → C2 ⊆ Out D5 | 80 | D5.3(C2xD8) | 320,1104 |