extension | φ:Q→Out N | d | ρ | Label | ID |
Q8.1(C2xC30) = C10xC4.A4 | φ: C2xC30/C2xC10 → C3 ⊆ Out Q8 | 160 | | Q8.1(C2xC30) | 480,1130 |
Q8.2(C2xC30) = C5xQ8.A4 | φ: C2xC30/C2xC10 → C3 ⊆ Out Q8 | 120 | 4 | Q8.2(C2xC30) | 480,1131 |
Q8.3(C2xC30) = C5xD4.A4 | φ: C2xC30/C2xC10 → C3 ⊆ Out Q8 | 80 | 4 | Q8.3(C2xC30) | 480,1132 |
Q8.4(C2xC30) = Q16xC30 | φ: C2xC30/C30 → C2 ⊆ Out Q8 | 480 | | Q8.4(C2xC30) | 480,939 |
Q8.5(C2xC30) = C15xC4oD8 | φ: C2xC30/C30 → C2 ⊆ Out Q8 | 240 | 2 | Q8.5(C2xC30) | 480,940 |
Q8.6(C2xC30) = C15xC8.C22 | φ: C2xC30/C30 → C2 ⊆ Out Q8 | 240 | 4 | Q8.6(C2xC30) | 480,942 |
Q8.7(C2xC30) = C15x2- 1+4 | φ: trivial image | 240 | 4 | Q8.7(C2xC30) | 480,1185 |