extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xC4:C4):1S3 = D60:9C4 | φ: S3/C3 → C2 ⊆ Out C5xC4:C4 | 240 | | (C5xC4:C4):1S3 | 480,169 |
(C5xC4:C4):2S3 = C4:C4xD15 | φ: S3/C3 → C2 ⊆ Out C5xC4:C4 | 240 | | (C5xC4:C4):2S3 | 480,856 |
(C5xC4:C4):3S3 = C4:C4:7D15 | φ: S3/C3 → C2 ⊆ Out C5xC4:C4 | 240 | | (C5xC4:C4):3S3 | 480,857 |
(C5xC4:C4):4S3 = D60:11C4 | φ: S3/C3 → C2 ⊆ Out C5xC4:C4 | 240 | | (C5xC4:C4):4S3 | 480,858 |
(C5xC4:C4):5S3 = D30.29D4 | φ: S3/C3 → C2 ⊆ Out C5xC4:C4 | 240 | | (C5xC4:C4):5S3 | 480,859 |
(C5xC4:C4):6S3 = C4:D60 | φ: S3/C3 → C2 ⊆ Out C5xC4:C4 | 240 | | (C5xC4:C4):6S3 | 480,860 |
(C5xC4:C4):7S3 = D30:5Q8 | φ: S3/C3 → C2 ⊆ Out C5xC4:C4 | 240 | | (C5xC4:C4):7S3 | 480,861 |
(C5xC4:C4):8S3 = D30:6Q8 | φ: S3/C3 → C2 ⊆ Out C5xC4:C4 | 240 | | (C5xC4:C4):8S3 | 480,862 |
(C5xC4:C4):9S3 = C4:C4:D15 | φ: S3/C3 → C2 ⊆ Out C5xC4:C4 | 240 | | (C5xC4:C4):9S3 | 480,863 |
(C5xC4:C4):10S3 = C5xC6.D8 | φ: S3/C3 → C2 ⊆ Out C5xC4:C4 | 240 | | (C5xC4:C4):10S3 | 480,128 |
(C5xC4:C4):11S3 = C5xD6.D4 | φ: S3/C3 → C2 ⊆ Out C5xC4:C4 | 240 | | (C5xC4:C4):11S3 | 480,773 |
(C5xC4:C4):12S3 = C5xC12:D4 | φ: S3/C3 → C2 ⊆ Out C5xC4:C4 | 240 | | (C5xC4:C4):12S3 | 480,774 |
(C5xC4:C4):13S3 = C5xD6:Q8 | φ: S3/C3 → C2 ⊆ Out C5xC4:C4 | 240 | | (C5xC4:C4):13S3 | 480,775 |
(C5xC4:C4):14S3 = C5xC4.D12 | φ: S3/C3 → C2 ⊆ Out C5xC4:C4 | 240 | | (C5xC4:C4):14S3 | 480,776 |
(C5xC4:C4):15S3 = C5xC4:C4:S3 | φ: S3/C3 → C2 ⊆ Out C5xC4:C4 | 240 | | (C5xC4:C4):15S3 | 480,777 |
(C5xC4:C4):16S3 = C5xC4:C4:7S3 | φ: trivial image | 240 | | (C5xC4:C4):16S3 | 480,771 |
(C5xC4:C4):17S3 = C5xDic3:5D4 | φ: trivial image | 240 | | (C5xC4:C4):17S3 | 480,772 |