d | ρ | Label | ID | ||
---|---|---|---|---|---|
SD16xC2xC10 | 160 | SD16xC2xC10 | 320,1572 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
SD16:1(C2xC10) = C10xC8:C22 | φ: C2xC10/C10 → C2 ⊆ Out SD16 | 80 | SD16:1(C2xC10) | 320,1575 | |
SD16:2(C2xC10) = C10xC8.C22 | φ: C2xC10/C10 → C2 ⊆ Out SD16 | 160 | SD16:2(C2xC10) | 320,1576 | |
SD16:3(C2xC10) = C5xD8:C22 | φ: C2xC10/C10 → C2 ⊆ Out SD16 | 80 | 4 | SD16:3(C2xC10) | 320,1577 |
SD16:4(C2xC10) = C5xD4oD8 | φ: C2xC10/C10 → C2 ⊆ Out SD16 | 80 | 4 | SD16:4(C2xC10) | 320,1578 |
SD16:5(C2xC10) = C10xC4oD8 | φ: trivial image | 160 | SD16:5(C2xC10) | 320,1574 | |
SD16:6(C2xC10) = C5xD4oSD16 | φ: trivial image | 80 | 4 | SD16:6(C2xC10) | 320,1579 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
SD16.(C2xC10) = C5xQ8oD8 | φ: C2xC10/C10 → C2 ⊆ Out SD16 | 160 | 4 | SD16.(C2xC10) | 320,1580 |