extension | φ:Q→Out N | d | ρ | Label | ID |
(S3xC2xC10):1C2 = C2xC15:D4 | φ: C2/C1 → C2 ⊆ Out S3xC2xC10 | 120 | | (S3xC2xC10):1C2 | 240,145 |
(S3xC2xC10):2C2 = C2xC5:D12 | φ: C2/C1 → C2 ⊆ Out S3xC2xC10 | 120 | | (S3xC2xC10):2C2 | 240,147 |
(S3xC2xC10):3C2 = S3xC5:D4 | φ: C2/C1 → C2 ⊆ Out S3xC2xC10 | 60 | 4 | (S3xC2xC10):3C2 | 240,150 |
(S3xC2xC10):4C2 = C22xS3xD5 | φ: C2/C1 → C2 ⊆ Out S3xC2xC10 | 60 | | (S3xC2xC10):4C2 | 240,202 |
(S3xC2xC10):5C2 = C10xD12 | φ: C2/C1 → C2 ⊆ Out S3xC2xC10 | 120 | | (S3xC2xC10):5C2 | 240,167 |
(S3xC2xC10):6C2 = C5xS3xD4 | φ: C2/C1 → C2 ⊆ Out S3xC2xC10 | 60 | 4 | (S3xC2xC10):6C2 | 240,169 |
(S3xC2xC10):7C2 = C10xC3:D4 | φ: C2/C1 → C2 ⊆ Out S3xC2xC10 | 120 | | (S3xC2xC10):7C2 | 240,174 |