d | ρ | Label | ID | ||
---|---|---|---|---|---|
C10xC3:S3 | 90 | C10xC3:S3 | 180,35 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C5xC3:S3):1C2 = D5xC3:S3 | φ: C2/C1 → C2 ⊆ Out C5xC3:S3 | 45 | (C5xC3:S3):1C2 | 180,27 | |
(C5xC3:S3):2C2 = D15:S3 | φ: C2/C1 → C2 ⊆ Out C5xC3:S3 | 30 | 4 | (C5xC3:S3):2C2 | 180,30 |
(C5xC3:S3):3C2 = C5xS32 | φ: C2/C1 → C2 ⊆ Out C5xC3:S3 | 30 | 4 | (C5xC3:S3):3C2 | 180,28 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C5xC3:S3).1C2 = C5xC32:C4 | φ: C2/C1 → C2 ⊆ Out C5xC3:S3 | 30 | 4 | (C5xC3:S3).1C2 | 180,23 |
(C5xC3:S3).2C2 = C32:Dic5 | φ: C2/C1 → C2 ⊆ Out C5xC3:S3 | 30 | 4 | (C5xC3:S3).2C2 | 180,24 |