d | ρ | Label | ID | ||
---|---|---|---|---|---|
C5xS3xC4:C4 | 240 | C5xS3xC4:C4 | 480,770 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C4:C4:1(C5xS3) = C5xC6.D8 | φ: C5xS3/C15 → C2 ⊆ Out C4:C4 | 240 | C4:C4:1(C5xS3) | 480,128 | |
C4:C4:2(C5xS3) = C5xD6.D4 | φ: C5xS3/C15 → C2 ⊆ Out C4:C4 | 240 | C4:C4:2(C5xS3) | 480,773 | |
C4:C4:3(C5xS3) = C5xC12:D4 | φ: C5xS3/C15 → C2 ⊆ Out C4:C4 | 240 | C4:C4:3(C5xS3) | 480,774 | |
C4:C4:4(C5xS3) = C5xD6:Q8 | φ: C5xS3/C15 → C2 ⊆ Out C4:C4 | 240 | C4:C4:4(C5xS3) | 480,775 | |
C4:C4:5(C5xS3) = C5xC4.D12 | φ: C5xS3/C15 → C2 ⊆ Out C4:C4 | 240 | C4:C4:5(C5xS3) | 480,776 | |
C4:C4:6(C5xS3) = C5xC4:C4:S3 | φ: C5xS3/C15 → C2 ⊆ Out C4:C4 | 240 | C4:C4:6(C5xS3) | 480,777 | |
C4:C4:7(C5xS3) = C5xC4:C4:7S3 | φ: trivial image | 240 | C4:C4:7(C5xS3) | 480,771 | |
C4:C4:8(C5xS3) = C5xDic3:5D4 | φ: trivial image | 240 | C4:C4:8(C5xS3) | 480,772 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C4:C4.1(C5xS3) = C5xC6.Q16 | φ: C5xS3/C15 → C2 ⊆ Out C4:C4 | 480 | C4:C4.1(C5xS3) | 480,126 | |
C4:C4.2(C5xS3) = C5xC12.Q8 | φ: C5xS3/C15 → C2 ⊆ Out C4:C4 | 480 | C4:C4.2(C5xS3) | 480,127 | |
C4:C4.3(C5xS3) = C5xC6.SD16 | φ: C5xS3/C15 → C2 ⊆ Out C4:C4 | 480 | C4:C4.3(C5xS3) | 480,129 | |
C4:C4.4(C5xS3) = C5xC12:Q8 | φ: C5xS3/C15 → C2 ⊆ Out C4:C4 | 480 | C4:C4.4(C5xS3) | 480,767 | |
C4:C4.5(C5xS3) = C5xDic3.Q8 | φ: C5xS3/C15 → C2 ⊆ Out C4:C4 | 480 | C4:C4.5(C5xS3) | 480,768 | |
C4:C4.6(C5xS3) = C5xC4.Dic6 | φ: C5xS3/C15 → C2 ⊆ Out C4:C4 | 480 | C4:C4.6(C5xS3) | 480,769 | |
C4:C4.7(C5xS3) = C5xDic6:C4 | φ: trivial image | 480 | C4:C4.7(C5xS3) | 480,766 |