d | ρ | Label | ID | ||
---|---|---|---|---|---|
C2xD5xC3:S3 | 90 | C2xD5xC3:S3 | 360,152 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C3:S3:1D10 = S32xD5 | φ: D10/D5 → C2 ⊆ Out C3:S3 | 30 | 8+ | C3:S3:1D10 | 360,137 |
C3:S3:2D10 = C2xD15:S3 | φ: D10/C10 → C2 ⊆ Out C3:S3 | 60 | 4 | C3:S3:2D10 | 360,155 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C3:S3.1D10 = S32:D5 | φ: D10/C5 → C22 ⊆ Out C3:S3 | 30 | 4 | C3:S3.1D10 | 360,133 |
C3:S3.2D10 = C32:D20 | φ: D10/C5 → C22 ⊆ Out C3:S3 | 30 | 8+ | C3:S3.2D10 | 360,134 |
C3:S3.3D10 = C32:Dic10 | φ: D10/C5 → C22 ⊆ Out C3:S3 | 45 | 8 | C3:S3.3D10 | 360,136 |
C3:S3.4D10 = D5xC32:C4 | φ: D10/D5 → C2 ⊆ Out C3:S3 | 30 | 8+ | C3:S3.4D10 | 360,130 |
C3:S3.5D10 = C2xC32:Dic5 | φ: D10/C10 → C2 ⊆ Out C3:S3 | 60 | 4 | C3:S3.5D10 | 360,149 |