| d | ρ | Label | ID | ||
|---|---|---|---|---|---|
| C3:S3xC2xC10 | 180 | C3:S3xC2xC10 | 360,160 |
| extension | φ:Q→Out N | d | ρ | Label | ID |
|---|---|---|---|---|---|
| C3:S3:(C2xC10) = S32xC10 | φ: C2xC10/C10 → C2 ⊆ Out C3:S3 | 60 | 4 | C3:S3:(C2xC10) | 360,153 |
| extension | φ:Q→Out N | d | ρ | Label | ID |
|---|---|---|---|---|---|
| C3:S3.1(C2xC10) = C5xS3wrC2 | φ: C2xC10/C5 → C22 ⊆ Out C3:S3 | 30 | 4 | C3:S3.1(C2xC10) | 360,132 |
| C3:S3.2(C2xC10) = C5xPSU3(F2) | φ: C2xC10/C5 → C22 ⊆ Out C3:S3 | 45 | 8 | C3:S3.2(C2xC10) | 360,135 |
| C3:S3.3(C2xC10) = C10xC32:C4 | φ: C2xC10/C10 → C2 ⊆ Out C3:S3 | 60 | 4 | C3:S3.3(C2xC10) | 360,148 |