| d | ρ | Label | ID | ||
|---|---|---|---|---|---|
| C2xD5xSD16 | 80 | C2xD5xSD16 | 320,1430 |
| extension | φ:Q→Out N | d | ρ | Label | ID |
|---|---|---|---|---|---|
| D5.1(C2xSD16) = C2xC40:C4 | φ: C2xSD16/C2xC8 → C2 ⊆ Out D5 | 80 | D5.1(C2xSD16) | 320,1057 | |
| D5.2(C2xSD16) = SD16xF5 | φ: C2xSD16/SD16 → C2 ⊆ Out D5 | 40 | 8 | D5.2(C2xSD16) | 320,1072 |
| D5.3(C2xSD16) = C2xD20:C4 | φ: C2xSD16/C2xD4 → C2 ⊆ Out D5 | 80 | D5.3(C2xSD16) | 320,1104 | |
| D5.4(C2xSD16) = C2xQ8:F5 | φ: C2xSD16/C2xQ8 → C2 ⊆ Out D5 | 80 | D5.4(C2xSD16) | 320,1119 |