extension | φ:Q→Out N | d | ρ | Label | ID |
(C2xC5:D4):1C2 = C22:D20 | φ: C2/C1 → C2 ⊆ Out C2xC5:D4 | 40 | | (C2xC5:D4):1C2 | 160,103 |
(C2xC5:D4):2C2 = D10:D4 | φ: C2/C1 → C2 ⊆ Out C2xC5:D4 | 80 | | (C2xC5:D4):2C2 | 160,105 |
(C2xC5:D4):3C2 = C20:7D4 | φ: C2/C1 → C2 ⊆ Out C2xC5:D4 | 80 | | (C2xC5:D4):3C2 | 160,151 |
(C2xC5:D4):4C2 = C23:D10 | φ: C2/C1 → C2 ⊆ Out C2xC5:D4 | 40 | | (C2xC5:D4):4C2 | 160,158 |
(C2xC5:D4):5C2 = C20:2D4 | φ: C2/C1 → C2 ⊆ Out C2xC5:D4 | 80 | | (C2xC5:D4):5C2 | 160,159 |
(C2xC5:D4):6C2 = Dic5:D4 | φ: C2/C1 → C2 ⊆ Out C2xC5:D4 | 80 | | (C2xC5:D4):6C2 | 160,160 |
(C2xC5:D4):7C2 = C20:D4 | φ: C2/C1 → C2 ⊆ Out C2xC5:D4 | 80 | | (C2xC5:D4):7C2 | 160,161 |
(C2xC5:D4):8C2 = C24:2D5 | φ: C2/C1 → C2 ⊆ Out C2xC5:D4 | 40 | | (C2xC5:D4):8C2 | 160,174 |
(C2xC5:D4):9C2 = C2xD4xD5 | φ: C2/C1 → C2 ⊆ Out C2xC5:D4 | 40 | | (C2xC5:D4):9C2 | 160,217 |
(C2xC5:D4):10C2 = C2xD4:2D5 | φ: C2/C1 → C2 ⊆ Out C2xC5:D4 | 80 | | (C2xC5:D4):10C2 | 160,218 |
(C2xC5:D4):11C2 = D4:6D10 | φ: C2/C1 → C2 ⊆ Out C2xC5:D4 | 40 | 4 | (C2xC5:D4):11C2 | 160,219 |
(C2xC5:D4):12C2 = C2xC4oD20 | φ: trivial image | 80 | | (C2xC5:D4):12C2 | 160,216 |