extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xA4):1D4 = Dic5:S4 | φ: D4/C2 → C22 ⊆ Out C5xA4 | 60 | 6 | (C5xA4):1D4 | 480,978 |
(C5xA4):2D4 = D10:S4 | φ: D4/C2 → C22 ⊆ Out C5xA4 | 60 | 6 | (C5xA4):2D4 | 480,980 |
(C5xA4):3D4 = A4:D20 | φ: D4/C2 → C22 ⊆ Out C5xA4 | 60 | 6+ | (C5xA4):3D4 | 480,981 |
(C5xA4):4D4 = C20:S4 | φ: D4/C4 → C2 ⊆ Out C5xA4 | 60 | 6+ | (C5xA4):4D4 | 480,1026 |
(C5xA4):5D4 = A4xD20 | φ: D4/C4 → C2 ⊆ Out C5xA4 | 60 | 6+ | (C5xA4):5D4 | 480,1037 |
(C5xA4):6D4 = C5xC4:S4 | φ: D4/C4 → C2 ⊆ Out C5xA4 | 60 | 6 | (C5xA4):6D4 | 480,1015 |
(C5xA4):7D4 = C24:2D15 | φ: D4/C22 → C2 ⊆ Out C5xA4 | 60 | 6 | (C5xA4):7D4 | 480,1034 |
(C5xA4):8D4 = A4xC5:D4 | φ: D4/C22 → C2 ⊆ Out C5xA4 | 60 | 6 | (C5xA4):8D4 | 480,1045 |
(C5xA4):9D4 = C5xA4:D4 | φ: D4/C22 → C2 ⊆ Out C5xA4 | 60 | 6 | (C5xA4):9D4 | 480,1023 |