extension | φ:Q→Out N | d | ρ | Label | ID |
(A4xC15):1C2 = C15xS4 | φ: C2/C1 → C2 ⊆ Out A4xC15 | 60 | 3 | (A4xC15):1C2 | 360,138 |
(A4xC15):2C2 = A4:D15 | φ: C2/C1 → C2 ⊆ Out A4xC15 | 60 | 6+ | (A4xC15):2C2 | 360,141 |
(A4xC15):3C2 = A4xD15 | φ: C2/C1 → C2 ⊆ Out A4xC15 | 60 | 6+ | (A4xC15):3C2 | 360,144 |
(A4xC15):4C2 = C3xC5:S4 | φ: C2/C1 → C2 ⊆ Out A4xC15 | 60 | 6 | (A4xC15):4C2 | 360,139 |
(A4xC15):5C2 = C3xD5xA4 | φ: C2/C1 → C2 ⊆ Out A4xC15 | 60 | 6 | (A4xC15):5C2 | 360,142 |
(A4xC15):6C2 = C5xC3:S4 | φ: C2/C1 → C2 ⊆ Out A4xC15 | 60 | 6 | (A4xC15):6C2 | 360,140 |
(A4xC15):7C2 = C5xS3xA4 | φ: C2/C1 → C2 ⊆ Out A4xC15 | 60 | 6 | (A4xC15):7C2 | 360,143 |