d | ρ | Label | ID | ||
---|---|---|---|---|---|
S3xD4xD5 | 60 | 8+ | S3xD4xD5 | 480,1097 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D5.1(S3xD4) = S3xC4:F5 | φ: S3xD4/C4xS3 → C2 ⊆ Out D5 | 60 | 8 | D5.1(S3xD4) | 480,996 |
D5.2(S3xD4) = D60:3C4 | φ: S3xD4/D12 → C2 ⊆ Out D5 | 60 | 8+ | D5.2(S3xD4) | 480,997 |
D5.3(S3xD4) = C3:D4:F5 | φ: S3xD4/C3:D4 → C2 ⊆ Out D5 | 60 | 8 | D5.3(S3xD4) | 480,1012 |
D5.4(S3xD4) = D4xC3:F5 | φ: S3xD4/C3xD4 → C2 ⊆ Out D5 | 60 | 8 | D5.4(S3xD4) | 480,1067 |
D5.5(S3xD4) = S3xC22:F5 | φ: S3xD4/C22xS3 → C2 ⊆ Out D5 | 60 | 8+ | D5.5(S3xD4) | 480,1011 |