extension | φ:Q→Out N | d | ρ | Label | ID |
C4.Q8:1C10 = C5xD8:2C4 | φ: C10/C5 → C2 ⊆ Out C4.Q8 | 80 | 4 | C4.Q8:1C10 | 320,165 |
C4.Q8:2C10 = C5xM4(2):C4 | φ: C10/C5 → C2 ⊆ Out C4.Q8 | 160 | | C4.Q8:2C10 | 320,929 |
C4.Q8:3C10 = C5xD8:C4 | φ: C10/C5 → C2 ⊆ Out C4.Q8 | 160 | | C4.Q8:3C10 | 320,943 |
C4.Q8:4C10 = C5xC8:2D4 | φ: C10/C5 → C2 ⊆ Out C4.Q8 | 160 | | C4.Q8:4C10 | 320,970 |
C4.Q8:5C10 = C5xC8.D4 | φ: C10/C5 → C2 ⊆ Out C4.Q8 | 160 | | C4.Q8:5C10 | 320,971 |
C4.Q8:6C10 = C5xC8:8D4 | φ: C10/C5 → C2 ⊆ Out C4.Q8 | 160 | | C4.Q8:6C10 | 320,966 |
C4.Q8:7C10 = C5xD4:2Q8 | φ: C10/C5 → C2 ⊆ Out C4.Q8 | 160 | | C4.Q8:7C10 | 320,977 |
C4.Q8:8C10 = C5xD4.Q8 | φ: C10/C5 → C2 ⊆ Out C4.Q8 | 160 | | C4.Q8:8C10 | 320,979 |
C4.Q8:9C10 = C5xC23.46D4 | φ: C10/C5 → C2 ⊆ Out C4.Q8 | 160 | | C4.Q8:9C10 | 320,982 |
C4.Q8:10C10 = C5xC23.19D4 | φ: C10/C5 → C2 ⊆ Out C4.Q8 | 160 | | C4.Q8:10C10 | 320,983 |
C4.Q8:11C10 = C5xC23.47D4 | φ: C10/C5 → C2 ⊆ Out C4.Q8 | 160 | | C4.Q8:11C10 | 320,984 |
C4.Q8:12C10 = C5xC23.20D4 | φ: C10/C5 → C2 ⊆ Out C4.Q8 | 160 | | C4.Q8:12C10 | 320,986 |
C4.Q8:13C10 = C5xC23.25D4 | φ: trivial image | 160 | | C4.Q8:13C10 | 320,928 |
C4.Q8:14C10 = SD16xC20 | φ: trivial image | 160 | | C4.Q8:14C10 | 320,939 |