extension | φ:Q→Out N | d | ρ | Label | ID |
(C2xD10:C4):1C2 = (C2xDic5):3D4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):1C2 | 320,299 |
(C2xD10:C4):2C2 = (C2xC4):6D20 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):2C2 | 320,566 |
(C2xD10:C4):3C2 = C24.48D10 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):3C2 | 320,582 |
(C2xD10:C4):4C2 = C24.12D10 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):4C2 | 320,583 |
(C2xD10:C4):5C2 = C24.13D10 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):5C2 | 320,584 |
(C2xD10:C4):6C2 = C23.45D20 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):6C2 | 320,585 |
(C2xD10:C4):7C2 = C24.14D10 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):7C2 | 320,586 |
(C2xD10:C4):8C2 = C23:2D20 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):8C2 | 320,587 |
(C2xD10:C4):9C2 = C24.16D10 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):9C2 | 320,588 |
(C2xD10:C4):10C2 = (C2xD20):22C4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):10C2 | 320,615 |
(C2xD10:C4):11C2 = C24.65D10 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):11C2 | 320,840 |
(C2xD10:C4):12C2 = C2xC4.D20 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):12C2 | 320,1148 |
(C2xD10:C4):13C2 = C2xC23.23D10 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):13C2 | 320,1461 |
(C2xD10:C4):14C2 = C2xC20:7D4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):14C2 | 320,1462 |
(C2xD10:C4):15C2 = (C2xC20):5D4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):15C2 | 320,298 |
(C2xD10:C4):16C2 = C2xC22:D20 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):16C2 | 320,1159 |
(C2xD10:C4):17C2 = C2xD10.12D4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):17C2 | 320,1160 |
(C2xD10:C4):18C2 = C2xDic5.5D4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):18C2 | 320,1163 |
(C2xD10:C4):19C2 = C2xC22.D20 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):19C2 | 320,1164 |
(C2xD10:C4):20C2 = C2xC4:D20 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):20C2 | 320,1178 |
(C2xD10:C4):21C2 = D4:5D20 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):21C2 | 320,1226 |
(C2xD10:C4):22C2 = C42:16D10 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):22C2 | 320,1228 |
(C2xD10:C4):23C2 = C10.1212+ 1+4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):23C2 | 320,1326 |
(C2xD10:C4):24C2 = C10.1222+ 1+4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):24C2 | 320,1330 |
(C2xD10:C4):25C2 = C10.372+ 1+4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):25C2 | 320,1277 |
(C2xD10:C4):26C2 = C10.462+ 1+4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):26C2 | 320,1289 |
(C2xD10:C4):27C2 = C10.562+ 1+4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):27C2 | 320,1316 |
(C2xD10:C4):28C2 = (C2xC4):9D20 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):28C2 | 320,292 |
(C2xD10:C4):29C2 = C2xD5xC22:C4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):29C2 | 320,1156 |
(C2xD10:C4):30C2 = C2xDic5:4D4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):30C2 | 320,1157 |
(C2xD10:C4):31C2 = C2xD10:D4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):31C2 | 320,1161 |
(C2xD10:C4):32C2 = C2xD20:8C4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):32C2 | 320,1175 |
(C2xD10:C4):33C2 = C2xD10.13D4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):33C2 | 320,1177 |
(C2xD10:C4):34C2 = C42:11D10 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):34C2 | 320,1217 |
(C2xD10:C4):35C2 = C42:17D10 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):35C2 | 320,1232 |
(C2xD10:C4):36C2 = C10.402+ 1+4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):36C2 | 320,1282 |
(C2xD10:C4):37C2 = C10.532+ 1+4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):37C2 | 320,1309 |
(C2xD10:C4):38C2 = (C2xC4):3D20 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):38C2 | 320,618 |
(C2xD10:C4):39C2 = C24.21D10 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):39C2 | 320,850 |
(C2xD10:C4):40C2 = C42:10D10 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):40C2 | 320,1199 |
(C2xD10:C4):41C2 = C2xC23:D10 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):41C2 | 320,1471 |
(C2xD10:C4):42C2 = C2xDic5:D4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):42C2 | 320,1474 |
(C2xD10:C4):43C2 = C2xC20.23D4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 160 | | (C2xD10:C4):43C2 | 320,1486 |
(C2xD10:C4):44C2 = C10.1452+ 1+4 | φ: C2/C1 → C2 ⊆ Out C2xD10:C4 | 80 | | (C2xD10:C4):44C2 | 320,1501 |
(C2xD10:C4):45C2 = C2xC4xD20 | φ: trivial image | 160 | | (C2xD10:C4):45C2 | 320,1145 |
(C2xD10:C4):46C2 = C2xC4xC5:D4 | φ: trivial image | 160 | | (C2xD10:C4):46C2 | 320,1460 |