extension | φ:Q→Out N | d | ρ | Label | ID |
D4:C4:1D7 = Dic7.SD16 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:1D7 | 448,294 |
D4:C4:2D7 = D14:D8 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:2D7 | 448,309 |
D4:C4:3D7 = D14:SD16 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:3D7 | 448,312 |
D4:C4:4D7 = D4:D28 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 112 | | D4:C4:4D7 | 448,307 |
D4:C4:5D7 = D14.D8 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:5D7 | 448,308 |
D4:C4:6D7 = D4.D28 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:6D7 | 448,317 |
D4:C4:7D7 = C56:1C4:C2 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:7D7 | 448,318 |
D4:C4:8D7 = D28:3D4 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:8D7 | 448,320 |
D4:C4:9D7 = Dic14:2D4 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:9D7 | 448,296 |
D4:C4:10D7 = D4.6D28 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 112 | | D4:C4:10D7 | 448,310 |
D4:C4:11D7 = D14.SD16 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:11D7 | 448,311 |
D4:C4:12D7 = C8:Dic7:C2 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:12D7 | 448,313 |
D4:C4:13D7 = D4:3D28 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:13D7 | 448,315 |
D4:C4:14D7 = D28.D4 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:14D7 | 448,321 |
D4:C4:15D7 = C4:C4.D14 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:15D7 | 448,298 |
D4:C4:16D7 = (D4xD7):C4 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 112 | | D4:C4:16D7 | 448,304 |
D4:C4:17D7 = D4:(C4xD7) | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:17D7 | 448,305 |
D4:C4:18D7 = C7:C8:1D4 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:18D7 | 448,314 |
D4:C4:19D7 = C7:C8:D4 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:19D7 | 448,316 |
D4:C4:20D7 = D4:D7:C4 | φ: D7/C7 → C2 ⊆ Out D4:C4 | 224 | | D4:C4:20D7 | 448,319 |
D4:C4:21D7 = Dic7:4D8 | φ: trivial image | 224 | | D4:C4:21D7 | 448,290 |
D4:C4:22D7 = D4:2D7:C4 | φ: trivial image | 224 | | D4:C4:22D7 | 448,306 |