extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xC6.D4):1C2 = (C2xC6).D20 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 120 | 4 | (C5xC6.D4):1C2 | 480,71 |
(C5xC6.D4):2C2 = C15:9(C23:C4) | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 120 | 4 | (C5xC6.D4):2C2 | 480,73 |
(C5xC6.D4):3C2 = Dic15.19D4 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):3C2 | 480,602 |
(C5xC6.D4):4C2 = D30:6D4 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):4C2 | 480,609 |
(C5xC6.D4):5C2 = C6.(D4xD5) | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):5C2 | 480,610 |
(C5xC6.D4):6C2 = C6.(C2xD20) | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):6C2 | 480,613 |
(C5xC6.D4):7C2 = C6.D4:D5 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):7C2 | 480,622 |
(C5xC6.D4):8C2 = D5xC6.D4 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 120 | | (C5xC6.D4):8C2 | 480,623 |
(C5xC6.D4):9C2 = C23.17(S3xD5) | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):9C2 | 480,624 |
(C5xC6.D4):10C2 = Dic15:3D4 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):10C2 | 480,626 |
(C5xC6.D4):11C2 = C15:26(C4xD4) | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):11C2 | 480,628 |
(C5xC6.D4):12C2 = Dic15:16D4 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):12C2 | 480,635 |
(C5xC6.D4):13C2 = D30.45D4 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 120 | | (C5xC6.D4):13C2 | 480,637 |
(C5xC6.D4):14C2 = D30.16D4 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):14C2 | 480,638 |
(C5xC6.D4):15C2 = (C2xC6):8D20 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 120 | | (C5xC6.D4):15C2 | 480,640 |
(C5xC6.D4):16C2 = D30:18D4 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 120 | | (C5xC6.D4):16C2 | 480,648 |
(C5xC6.D4):17C2 = C5xC23.6D6 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 120 | 4 | (C5xC6.D4):17C2 | 480,125 |
(C5xC6.D4):18C2 = C5xC23.7D6 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 120 | 4 | (C5xC6.D4):18C2 | 480,153 |
(C5xC6.D4):19C2 = C5xS3xC22:C4 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 120 | | (C5xC6.D4):19C2 | 480,759 |
(C5xC6.D4):20C2 = C5xC23.9D6 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):20C2 | 480,762 |
(C5xC6.D4):21C2 = C5xC23.11D6 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):21C2 | 480,764 |
(C5xC6.D4):22C2 = C5xC23.28D6 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):22C2 | 480,808 |
(C5xC6.D4):23C2 = C5xD4xDic3 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):23C2 | 480,813 |
(C5xC6.D4):24C2 = C5xC23.23D6 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):24C2 | 480,814 |
(C5xC6.D4):25C2 = C5xC23.12D6 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):25C2 | 480,815 |
(C5xC6.D4):26C2 = C5xC23:2D6 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 120 | | (C5xC6.D4):26C2 | 480,816 |
(C5xC6.D4):27C2 = C5xD6:3D4 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):27C2 | 480,817 |
(C5xC6.D4):28C2 = C5xC23.14D6 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 240 | | (C5xC6.D4):28C2 | 480,818 |
(C5xC6.D4):29C2 = C5xC24:4S3 | φ: C2/C1 → C2 ⊆ Out C5xC6.D4 | 120 | | (C5xC6.D4):29C2 | 480,832 |
(C5xC6.D4):30C2 = C20xC3:D4 | φ: trivial image | 240 | | (C5xC6.D4):30C2 | 480,807 |