extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xD4):1C12 = C3xD20:C4 | φ: C12/C3 → C4 ⊆ Out C5xD4 | 120 | 8 | (C5xD4):1C12 | 480,287 |
(C5xD4):2C12 = C3xD4:F5 | φ: C12/C3 → C4 ⊆ Out C5xD4 | 120 | 8 | (C5xD4):2C12 | 480,288 |
(C5xD4):3C12 = C3xD4xF5 | φ: C12/C3 → C4 ⊆ Out C5xD4 | 60 | 8 | (C5xD4):3C12 | 480,1054 |
(C5xD4):4C12 = C3xD4:Dic5 | φ: C12/C6 → C2 ⊆ Out C5xD4 | 240 | | (C5xD4):4C12 | 480,110 |
(C5xD4):5C12 = C3xD4:2Dic5 | φ: C12/C6 → C2 ⊆ Out C5xD4 | 120 | 4 | (C5xD4):5C12 | 480,115 |
(C5xD4):6C12 = C3xD4xDic5 | φ: C12/C6 → C2 ⊆ Out C5xD4 | 240 | | (C5xD4):6C12 | 480,727 |
(C5xD4):7C12 = C15xD4:C4 | φ: C12/C6 → C2 ⊆ Out C5xD4 | 240 | | (C5xD4):7C12 | 480,205 |
(C5xD4):8C12 = C15xC4wrC2 | φ: C12/C6 → C2 ⊆ Out C5xD4 | 120 | 2 | (C5xD4):8C12 | 480,207 |