extension | φ:Q→Out N | d | ρ | Label | ID |
(C2xD5xDic3):1C2 = Dic3:4D20 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):1C2 | 480,471 |
(C2xD5xDic3):2C2 = Dic15:13D4 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):2C2 | 480,472 |
(C2xD5xDic3):3C2 = (C6xD5).D4 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):3C2 | 480,483 |
(C2xD5xDic3):4C2 = Dic15:D4 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):4C2 | 480,484 |
(C2xD5xDic3):5C2 = Dic3:D20 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):5C2 | 480,485 |
(C2xD5xDic3):6C2 = D10.16D12 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):6C2 | 480,489 |
(C2xD5xDic3):7C2 = D10.17D12 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):7C2 | 480,490 |
(C2xD5xDic3):8C2 = Dic3xD20 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):8C2 | 480,501 |
(C2xD5xDic3):9C2 = D20:8Dic3 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):9C2 | 480,510 |
(C2xD5xDic3):10C2 = C15:17(C4xD4) | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):10C2 | 480,517 |
(C2xD5xDic3):11C2 = Dic15:9D4 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):11C2 | 480,518 |
(C2xD5xDic3):12C2 = D5xD6:C4 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 120 | | (C2xD5xDic3):12C2 | 480,547 |
(C2xD5xDic3):13C2 = D5xC6.D4 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 120 | | (C2xD5xDic3):13C2 | 480,623 |
(C2xD5xDic3):14C2 = C23.17(S3xD5) | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):14C2 | 480,624 |
(C2xD5xDic3):15C2 = (C6xD5):D4 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):15C2 | 480,625 |
(C2xD5xDic3):16C2 = Dic15:3D4 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):16C2 | 480,626 |
(C2xD5xDic3):17C2 = Dic3xC5:D4 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):17C2 | 480,629 |
(C2xD5xDic3):18C2 = Dic15:16D4 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):18C2 | 480,635 |
(C2xD5xDic3):19C2 = C2xD20:5S3 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):19C2 | 480,1074 |
(C2xD5xDic3):20C2 = C2xD20:S3 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):20C2 | 480,1075 |
(C2xD5xDic3):21C2 = D5xD4:2S3 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 120 | 8- | (C2xD5xDic3):21C2 | 480,1098 |
(C2xD5xDic3):22C2 = C2xDic5.D6 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):22C2 | 480,1113 |
(C2xD5xDic3):23C2 = C2xC30.C23 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 240 | | (C2xD5xDic3):23C2 | 480,1114 |
(C2xD5xDic3):24C2 = C2xD5xC3:D4 | φ: C2/C1 → C2 ⊆ Out C2xD5xDic3 | 120 | | (C2xD5xDic3):24C2 | 480,1122 |
(C2xD5xDic3):25C2 = S3xC2xC4xD5 | φ: trivial image | 120 | | (C2xD5xDic3):25C2 | 480,1086 |