extension | φ:Q→Out N | d | ρ | Label | ID |
C4.Q8:1D7 = D56:8C4 | φ: D7/C7 → C2 ⊆ Out C4.Q8 | 112 | 4 | C4.Q8:1D7 | 448,45 |
C4.Q8:2D7 = C8:(C4xD7) | φ: D7/C7 → C2 ⊆ Out C4.Q8 | 224 | | C4.Q8:2D7 | 448,395 |
C4.Q8:3D7 = C56:7D4 | φ: D7/C7 → C2 ⊆ Out C4.Q8 | 224 | | C4.Q8:3D7 | 448,399 |
C4.Q8:4D7 = C8.2D28 | φ: D7/C7 → C2 ⊆ Out C4.Q8 | 224 | | C4.Q8:4D7 | 448,402 |
C4.Q8:5D7 = D56:9C4 | φ: D7/C7 → C2 ⊆ Out C4.Q8 | 224 | | C4.Q8:5D7 | 448,403 |
C4.Q8:6D7 = D14.2SD16 | φ: D7/C7 → C2 ⊆ Out C4.Q8 | 224 | | C4.Q8:6D7 | 448,396 |
C4.Q8:7D7 = D14.4SD16 | φ: D7/C7 → C2 ⊆ Out C4.Q8 | 224 | | C4.Q8:7D7 | 448,397 |
C4.Q8:8D7 = C8:8D28 | φ: D7/C7 → C2 ⊆ Out C4.Q8 | 224 | | C4.Q8:8D7 | 448,398 |
C4.Q8:9D7 = C4.Q8:D7 | φ: D7/C7 → C2 ⊆ Out C4.Q8 | 224 | | C4.Q8:9D7 | 448,400 |
C4.Q8:10D7 = C28.(C4oD4) | φ: D7/C7 → C2 ⊆ Out C4.Q8 | 224 | | C4.Q8:10D7 | 448,401 |
C4.Q8:11D7 = D28:Q8 | φ: D7/C7 → C2 ⊆ Out C4.Q8 | 224 | | C4.Q8:11D7 | 448,404 |
C4.Q8:12D7 = D28.Q8 | φ: D7/C7 → C2 ⊆ Out C4.Q8 | 224 | | C4.Q8:12D7 | 448,405 |
C4.Q8:13D7 = Dic7:8SD16 | φ: trivial image | 224 | | C4.Q8:13D7 | 448,386 |
C4.Q8:14D7 = (C8xD7):C4 | φ: trivial image | 224 | | C4.Q8:14D7 | 448,394 |