extension | φ:Q→Out N | d | ρ | Label | ID |
(D5xC3xC6):1C2 = C3xC15:D4 | φ: C2/C1 → C2 ⊆ Out D5xC3xC6 | 60 | 4 | (D5xC3xC6):1C2 | 360,61 |
(D5xC3xC6):2C2 = C3xC3:D20 | φ: C2/C1 → C2 ⊆ Out D5xC3xC6 | 60 | 4 | (D5xC3xC6):2C2 | 360,62 |
(D5xC3xC6):3C2 = C30.12D6 | φ: C2/C1 → C2 ⊆ Out D5xC3xC6 | 180 | | (D5xC3xC6):3C2 | 360,68 |
(D5xC3xC6):4C2 = C32:7D20 | φ: C2/C1 → C2 ⊆ Out D5xC3xC6 | 180 | | (D5xC3xC6):4C2 | 360,69 |
(D5xC3xC6):5C2 = S3xC6xD5 | φ: C2/C1 → C2 ⊆ Out D5xC3xC6 | 60 | 4 | (D5xC3xC6):5C2 | 360,151 |
(D5xC3xC6):6C2 = C2xD5xC3:S3 | φ: C2/C1 → C2 ⊆ Out D5xC3xC6 | 90 | | (D5xC3xC6):6C2 | 360,152 |
(D5xC3xC6):7C2 = C32xD20 | φ: C2/C1 → C2 ⊆ Out D5xC3xC6 | 180 | | (D5xC3xC6):7C2 | 360,92 |
(D5xC3xC6):8C2 = C32xC5:D4 | φ: C2/C1 → C2 ⊆ Out D5xC3xC6 | 180 | | (D5xC3xC6):8C2 | 360,94 |