d | ρ | Label | ID | ||
---|---|---|---|---|---|
D5xC40 | 80 | 2 | D5xC40 | 400,76 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C5xD5):1C8 = D5xC5:C8 | φ: C8/C2 → C4 ⊆ Out C5xD5 | 80 | 8- | (C5xD5):1C8 | 400,120 |
(C5xD5):2C8 = D10.2F5 | φ: C8/C2 → C4 ⊆ Out C5xD5 | 80 | 8- | (C5xD5):2C8 | 400,127 |
(C5xD5):3C8 = C5xD5:C8 | φ: C8/C4 → C2 ⊆ Out C5xD5 | 80 | 4 | (C5xD5):3C8 | 400,135 |
(C5xD5):4C8 = D5xC5:2C8 | φ: C8/C4 → C2 ⊆ Out C5xD5 | 80 | 4 | (C5xD5):4C8 | 400,60 |
(C5xD5):5C8 = C20.14F5 | φ: C8/C4 → C2 ⊆ Out C5xD5 | 80 | 4 | (C5xD5):5C8 | 400,142 |