extension | φ:Q→Out N | d | ρ | Label | ID |
(C15xD8):1C2 = C15:7D16 | φ: C2/C1 → C2 ⊆ Out C15xD8 | 240 | 4+ | (C15xD8):1C2 | 480,186 |
(C15xD8):2C2 = D8xD15 | φ: C2/C1 → C2 ⊆ Out C15xD8 | 120 | 4+ | (C15xD8):2C2 | 480,875 |
(C15xD8):3C2 = D8:3D15 | φ: C2/C1 → C2 ⊆ Out C15xD8 | 240 | 4- | (C15xD8):3C2 | 480,877 |
(C15xD8):4C2 = D8:D15 | φ: C2/C1 → C2 ⊆ Out C15xD8 | 120 | 4 | (C15xD8):4C2 | 480,876 |
(C15xD8):5C2 = C3xC5:D16 | φ: C2/C1 → C2 ⊆ Out C15xD8 | 240 | 4 | (C15xD8):5C2 | 480,104 |
(C15xD8):6C2 = C3xD5xD8 | φ: C2/C1 → C2 ⊆ Out C15xD8 | 120 | 4 | (C15xD8):6C2 | 480,703 |
(C15xD8):7C2 = C3xD8:3D5 | φ: C2/C1 → C2 ⊆ Out C15xD8 | 240 | 4 | (C15xD8):7C2 | 480,705 |
(C15xD8):8C2 = C5xC3:D16 | φ: C2/C1 → C2 ⊆ Out C15xD8 | 240 | 4 | (C15xD8):8C2 | 480,145 |
(C15xD8):9C2 = C5xS3xD8 | φ: C2/C1 → C2 ⊆ Out C15xD8 | 120 | 4 | (C15xD8):9C2 | 480,789 |
(C15xD8):10C2 = C5xD8:3S3 | φ: C2/C1 → C2 ⊆ Out C15xD8 | 240 | 4 | (C15xD8):10C2 | 480,791 |
(C15xD8):11C2 = C3xD8:D5 | φ: C2/C1 → C2 ⊆ Out C15xD8 | 120 | 4 | (C15xD8):11C2 | 480,704 |
(C15xD8):12C2 = C5xD8:S3 | φ: C2/C1 → C2 ⊆ Out C15xD8 | 120 | 4 | (C15xD8):12C2 | 480,790 |
(C15xD8):13C2 = C15xD16 | φ: C2/C1 → C2 ⊆ Out C15xD8 | 240 | 2 | (C15xD8):13C2 | 480,214 |
(C15xD8):14C2 = C15xC8:C22 | φ: C2/C1 → C2 ⊆ Out C15xD8 | 120 | 4 | (C15xD8):14C2 | 480,941 |
(C15xD8):15C2 = C15xC4oD8 | φ: trivial image | 240 | 2 | (C15xD8):15C2 | 480,940 |