extension | φ:Q→Out N | d | ρ | Label | ID |
(S3xC30):1C2 = C3xC15:D4 | φ: C2/C1 → C2 ⊆ Out S3xC30 | 60 | 4 | (S3xC30):1C2 | 360,61 |
(S3xC30):2C2 = C3xC5:D12 | φ: C2/C1 → C2 ⊆ Out S3xC30 | 120 | 4 | (S3xC30):2C2 | 360,63 |
(S3xC30):3C2 = D6:D15 | φ: C2/C1 → C2 ⊆ Out S3xC30 | 120 | 4- | (S3xC30):3C2 | 360,80 |
(S3xC30):4C2 = D6:2D15 | φ: C2/C1 → C2 ⊆ Out S3xC30 | 60 | 4+ | (S3xC30):4C2 | 360,82 |
(S3xC30):5C2 = S3xC6xD5 | φ: C2/C1 → C2 ⊆ Out S3xC30 | 60 | 4 | (S3xC30):5C2 | 360,151 |
(S3xC30):6C2 = C2xS3xD15 | φ: C2/C1 → C2 ⊆ Out S3xC30 | 60 | 4+ | (S3xC30):6C2 | 360,154 |
(S3xC30):7C2 = C5xD6:S3 | φ: C2/C1 → C2 ⊆ Out S3xC30 | 120 | 4 | (S3xC30):7C2 | 360,74 |
(S3xC30):8C2 = C5xC3:D12 | φ: C2/C1 → C2 ⊆ Out S3xC30 | 60 | 4 | (S3xC30):8C2 | 360,75 |
(S3xC30):9C2 = C15xD12 | φ: C2/C1 → C2 ⊆ Out S3xC30 | 120 | 2 | (S3xC30):9C2 | 360,97 |
(S3xC30):10C2 = C15xC3:D4 | φ: C2/C1 → C2 ⊆ Out S3xC30 | 60 | 2 | (S3xC30):10C2 | 360,99 |
(S3xC30):11C2 = S32xC10 | φ: C2/C1 → C2 ⊆ Out S3xC30 | 60 | 4 | (S3xC30):11C2 | 360,153 |