extension | φ:Q→Out N | d | ρ | Label | ID |
(D5xC16).1C2 = D5xQ32 | φ: C2/C1 → C2 ⊆ Out D5xC16 | 160 | 4- | (D5xC16).1C2 | 320,544 |
(D5xC16).2C2 = C80:2C4 | φ: C2/C1 → C2 ⊆ Out D5xC16 | 80 | 4 | (D5xC16).2C2 | 320,187 |
(D5xC16).3C2 = C16.F5 | φ: C2/C1 → C2 ⊆ Out D5xC16 | 160 | 4 | (D5xC16).3C2 | 320,189 |
(D5xC16).4C2 = C32:D5 | φ: C2/C1 → C2 ⊆ Out D5xC16 | 160 | 2 | (D5xC16).4C2 | 320,5 |
(D5xC16).5C2 = C80:3C4 | φ: C2/C1 → C2 ⊆ Out D5xC16 | 80 | 4 | (D5xC16).5C2 | 320,188 |
(D5xC16).6C2 = C80.2C4 | φ: C2/C1 → C2 ⊆ Out D5xC16 | 160 | 4 | (D5xC16).6C2 | 320,190 |
(D5xC16).7C2 = D5:C32 | φ: C2/C1 → C2 ⊆ Out D5xC16 | 160 | 4 | (D5xC16).7C2 | 320,179 |
(D5xC16).8C2 = C80.C4 | φ: C2/C1 → C2 ⊆ Out D5xC16 | 160 | 4 | (D5xC16).8C2 | 320,180 |
(D5xC16).9C2 = C16xF5 | φ: C2/C1 → C2 ⊆ Out D5xC16 | 80 | 4 | (D5xC16).9C2 | 320,181 |
(D5xC16).10C2 = C16:7F5 | φ: C2/C1 → C2 ⊆ Out D5xC16 | 80 | 4 | (D5xC16).10C2 | 320,182 |
(D5xC16).11C2 = D5xC32 | φ: trivial image | 160 | 2 | (D5xC16).11C2 | 320,4 |