extension | φ:Q→Out N | d | ρ | Label | ID |
(C10xD12):1C2 = D20:21D6 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 120 | 4 | (C10xD12):1C2 | 480,375 |
(C10xD12):2C2 = D60:36C22 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 120 | 4 | (C10xD12):2C2 | 480,380 |
(C10xD12):3C2 = D20:26D6 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 120 | 4 | (C10xD12):3C2 | 480,1094 |
(C10xD12):4C2 = C2xC5:D24 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):4C2 | 480,378 |
(C10xD12):5C2 = C60:D4 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):5C2 | 480,525 |
(C10xD12):6C2 = C20:D12 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):6C2 | 480,527 |
(C10xD12):7C2 = C2xD12:5D5 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):7C2 | 480,1084 |
(C10xD12):8C2 = C2xD5xD12 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 120 | | (C10xD12):8C2 | 480,1087 |
(C10xD12):9C2 = C2xC15:D8 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):9C2 | 480,372 |
(C10xD12):10C2 = C60:10D4 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):10C2 | 480,539 |
(C10xD12):11C2 = C20:2D12 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):11C2 | 480,542 |
(C10xD12):12C2 = C2xD12:D5 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):12C2 | 480,1079 |
(C10xD12):13C2 = C2xC20:D6 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 120 | | (C10xD12):13C2 | 480,1089 |
(C10xD12):14C2 = Dic5:D12 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):14C2 | 480,492 |
(C10xD12):15C2 = Dic15:2D4 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):15C2 | 480,529 |
(C10xD12):16C2 = D30:4D4 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 120 | | (C10xD12):16C2 | 480,551 |
(C10xD12):17C2 = C5xC4:D12 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):17C2 | 480,753 |
(C10xD12):18C2 = C5xD6:D4 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 120 | | (C10xD12):18C2 | 480,761 |
(C10xD12):19C2 = C5xDic3:D4 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):19C2 | 480,763 |
(C10xD12):20C2 = C5xC12:D4 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):20C2 | 480,774 |
(C10xD12):21C2 = C10xD24 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):21C2 | 480,782 |
(C10xD12):22C2 = C5xC12:7D4 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):22C2 | 480,809 |
(C10xD12):23C2 = C5xC8:D6 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 120 | 4 | (C10xD12):23C2 | 480,787 |
(C10xD12):24C2 = C10xD4:S3 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):24C2 | 480,810 |
(C10xD12):25C2 = C5xC12:3D4 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):25C2 | 480,819 |
(C10xD12):26C2 = C5xD4:D6 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 120 | 4 | (C10xD12):26C2 | 480,828 |
(C10xD12):27C2 = S3xD4xC10 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 120 | | (C10xD12):27C2 | 480,1154 |
(C10xD12):28C2 = C10xQ8:3S3 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 240 | | (C10xD12):28C2 | 480,1158 |
(C10xD12):29C2 = C5xD4oD12 | φ: C2/C1 → C2 ⊆ Out C10xD12 | 120 | 4 | (C10xD12):29C2 | 480,1161 |
(C10xD12):30C2 = C10xC4oD12 | φ: trivial image | 240 | | (C10xD12):30C2 | 480,1153 |