extension | φ:Q→Out N | d | ρ | Label | ID |
(C6xC5:D4):1C2 = D30:6D4 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 240 | | (C6xC5:D4):1C2 | 480,609 |
(C6xC5:D4):2C2 = (C6xD5):D4 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 240 | | (C6xC5:D4):2C2 | 480,625 |
(C6xC5:D4):3C2 = Dic15:3D4 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 240 | | (C6xC5:D4):3C2 | 480,626 |
(C6xC5:D4):4C2 = (S3xC10):D4 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 240 | | (C6xC5:D4):4C2 | 480,641 |
(C6xC5:D4):5C2 = Dic15:5D4 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 240 | | (C6xC5:D4):5C2 | 480,643 |
(C6xC5:D4):6C2 = C15:C22wrC2 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 120 | | (C6xC5:D4):6C2 | 480,644 |
(C6xC5:D4):7C2 = (C2xC6):D20 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 240 | | (C6xC5:D4):7C2 | 480,645 |
(C6xC5:D4):8C2 = Dic15:18D4 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 240 | | (C6xC5:D4):8C2 | 480,647 |
(C6xC5:D4):9C2 = D30:18D4 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 120 | | (C6xC5:D4):9C2 | 480,648 |
(C6xC5:D4):10C2 = D30:8D4 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 120 | | (C6xC5:D4):10C2 | 480,653 |
(C6xC5:D4):11C2 = C2xDic5.D6 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 240 | | (C6xC5:D4):11C2 | 480,1113 |
(C6xC5:D4):12C2 = C2xC30.C23 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 240 | | (C6xC5:D4):12C2 | 480,1114 |
(C6xC5:D4):13C2 = C2xS3xC5:D4 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 120 | | (C6xC5:D4):13C2 | 480,1123 |
(C6xC5:D4):14C2 = C2xD10:D6 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 120 | | (C6xC5:D4):14C2 | 480,1124 |
(C6xC5:D4):15C2 = C15:2+ 1+4 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 120 | 4 | (C6xC5:D4):15C2 | 480,1125 |
(C6xC5:D4):16C2 = C3xC22:D20 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 120 | | (C6xC5:D4):16C2 | 480,675 |
(C6xC5:D4):17C2 = C3xD10:D4 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 240 | | (C6xC5:D4):17C2 | 480,677 |
(C6xC5:D4):18C2 = C3xC20:7D4 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 240 | | (C6xC5:D4):18C2 | 480,723 |
(C6xC5:D4):19C2 = C3xC23:D10 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 120 | | (C6xC5:D4):19C2 | 480,730 |
(C6xC5:D4):20C2 = C3xC20:2D4 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 240 | | (C6xC5:D4):20C2 | 480,731 |
(C6xC5:D4):21C2 = C3xDic5:D4 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 240 | | (C6xC5:D4):21C2 | 480,732 |
(C6xC5:D4):22C2 = C3xC20:D4 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 240 | | (C6xC5:D4):22C2 | 480,733 |
(C6xC5:D4):23C2 = C3xC24:2D5 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 120 | | (C6xC5:D4):23C2 | 480,746 |
(C6xC5:D4):24C2 = C6xD4xD5 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 120 | | (C6xC5:D4):24C2 | 480,1139 |
(C6xC5:D4):25C2 = C6xD4:2D5 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 240 | | (C6xC5:D4):25C2 | 480,1140 |
(C6xC5:D4):26C2 = C3xD4:6D10 | φ: C2/C1 → C2 ⊆ Out C6xC5:D4 | 120 | 4 | (C6xC5:D4):26C2 | 480,1141 |
(C6xC5:D4):27C2 = C6xC4oD20 | φ: trivial image | 240 | | (C6xC5:D4):27C2 | 480,1138 |