extension | φ:Q→Out N | d | ρ | Label | ID |
(C3xD5:C8):1C2 = D12:F5 | φ: C2/C1 → C2 ⊆ Out C3xD5:C8 | 120 | 8+ | (C3xD5:C8):1C2 | 480,228 |
(C3xD5:C8):2C2 = D12.2F5 | φ: C2/C1 → C2 ⊆ Out C3xD5:C8 | 240 | 8- | (C3xD5:C8):2C2 | 480,987 |
(C3xD5:C8):3C2 = D60.C4 | φ: C2/C1 → C2 ⊆ Out C3xD5:C8 | 240 | 8+ | (C3xD5:C8):3C2 | 480,990 |
(C3xD5:C8):4C2 = S3xD5:C8 | φ: C2/C1 → C2 ⊆ Out C3xD5:C8 | 120 | 8 | (C3xD5:C8):4C2 | 480,986 |
(C3xD5:C8):5C2 = C5:C8:D6 | φ: C2/C1 → C2 ⊆ Out C3xD5:C8 | 120 | 8 | (C3xD5:C8):5C2 | 480,993 |
(C3xD5:C8):6C2 = C3xD20:C4 | φ: C2/C1 → C2 ⊆ Out C3xD5:C8 | 120 | 8 | (C3xD5:C8):6C2 | 480,287 |
(C3xD5:C8):7C2 = C3xD4.F5 | φ: C2/C1 → C2 ⊆ Out C3xD5:C8 | 240 | 8 | (C3xD5:C8):7C2 | 480,1053 |
(C3xD5:C8):8C2 = C3xQ8.F5 | φ: C2/C1 → C2 ⊆ Out C3xD5:C8 | 240 | 8 | (C3xD5:C8):8C2 | 480,1055 |
(C3xD5:C8):9C2 = C3xD5:M4(2) | φ: C2/C1 → C2 ⊆ Out C3xD5:C8 | 120 | 4 | (C3xD5:C8):9C2 | 480,1049 |