d | ρ | Label | ID | ||
---|---|---|---|---|---|
C5xS3xA4 | 60 | 6 | C5xS3xA4 | 360,143 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C5xA4):1S3 = A4:D15 | φ: S3/C3 → C2 ⊆ Out C5xA4 | 60 | 6+ | (C5xA4):1S3 | 360,141 |
(C5xA4):2S3 = A4xD15 | φ: S3/C3 → C2 ⊆ Out C5xA4 | 60 | 6+ | (C5xA4):2S3 | 360,144 |
(C5xA4):3S3 = C5xC3:S4 | φ: S3/C3 → C2 ⊆ Out C5xA4 | 60 | 6 | (C5xA4):3S3 | 360,140 |