extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xC4:C4):1C2 = D20:6C4 | φ: C2/C1 → C2 ⊆ Out C5xC4:C4 | 80 | | (C5xC4:C4):1C2 | 160,16 |
(C5xC4:C4):2C2 = D5xC4:C4 | φ: C2/C1 → C2 ⊆ Out C5xC4:C4 | 80 | | (C5xC4:C4):2C2 | 160,112 |
(C5xC4:C4):3C2 = C4:C4:7D5 | φ: C2/C1 → C2 ⊆ Out C5xC4:C4 | 80 | | (C5xC4:C4):3C2 | 160,113 |
(C5xC4:C4):4C2 = D20:8C4 | φ: C2/C1 → C2 ⊆ Out C5xC4:C4 | 80 | | (C5xC4:C4):4C2 | 160,114 |
(C5xC4:C4):5C2 = D10.13D4 | φ: C2/C1 → C2 ⊆ Out C5xC4:C4 | 80 | | (C5xC4:C4):5C2 | 160,115 |
(C5xC4:C4):6C2 = C4:D20 | φ: C2/C1 → C2 ⊆ Out C5xC4:C4 | 80 | | (C5xC4:C4):6C2 | 160,116 |
(C5xC4:C4):7C2 = D10:Q8 | φ: C2/C1 → C2 ⊆ Out C5xC4:C4 | 80 | | (C5xC4:C4):7C2 | 160,117 |
(C5xC4:C4):8C2 = D10:2Q8 | φ: C2/C1 → C2 ⊆ Out C5xC4:C4 | 80 | | (C5xC4:C4):8C2 | 160,118 |
(C5xC4:C4):9C2 = C4:C4:D5 | φ: C2/C1 → C2 ⊆ Out C5xC4:C4 | 80 | | (C5xC4:C4):9C2 | 160,119 |
(C5xC4:C4):10C2 = C5xD4:C4 | φ: C2/C1 → C2 ⊆ Out C5xC4:C4 | 80 | | (C5xC4:C4):10C2 | 160,52 |
(C5xC4:C4):11C2 = C5xC4:D4 | φ: C2/C1 → C2 ⊆ Out C5xC4:C4 | 80 | | (C5xC4:C4):11C2 | 160,182 |
(C5xC4:C4):12C2 = C5xC22:Q8 | φ: C2/C1 → C2 ⊆ Out C5xC4:C4 | 80 | | (C5xC4:C4):12C2 | 160,183 |
(C5xC4:C4):13C2 = C5xC22.D4 | φ: C2/C1 → C2 ⊆ Out C5xC4:C4 | 80 | | (C5xC4:C4):13C2 | 160,184 |
(C5xC4:C4):14C2 = C5xC42:2C2 | φ: C2/C1 → C2 ⊆ Out C5xC4:C4 | 80 | | (C5xC4:C4):14C2 | 160,187 |
(C5xC4:C4):15C2 = C5xC42:C2 | φ: trivial image | 80 | | (C5xC4:C4):15C2 | 160,178 |
(C5xC4:C4):16C2 = D4xC20 | φ: trivial image | 80 | | (C5xC4:C4):16C2 | 160,179 |