extension | φ:Q→Out N | d | ρ | Label | ID |
D4:C4:1D5 = Dic5.5D8 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:1D5 | 320,387 |
D4:C4:2D5 = D10:D8 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:2D5 | 320,402 |
D4:C4:3D5 = D10:SD16 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:3D5 | 320,405 |
D4:C4:4D5 = D4:D20 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 80 | | D4:C4:4D5 | 320,400 |
D4:C4:5D5 = D10.12D8 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:5D5 | 320,401 |
D4:C4:6D5 = D4.D20 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:6D5 | 320,410 |
D4:C4:7D5 = C40:5C4:C2 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:7D5 | 320,411 |
D4:C4:8D5 = D20:3D4 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:8D5 | 320,413 |
D4:C4:9D5 = Dic10:2D4 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:9D5 | 320,389 |
D4:C4:10D5 = D20.8D4 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 80 | | D4:C4:10D5 | 320,403 |
D4:C4:11D5 = D10.16SD16 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:11D5 | 320,404 |
D4:C4:12D5 = C40:6C4:C2 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:12D5 | 320,406 |
D4:C4:13D5 = D4:3D20 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:13D5 | 320,408 |
D4:C4:14D5 = D20.D4 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:14D5 | 320,414 |
D4:C4:15D5 = C4:C4.D10 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:15D5 | 320,391 |
D4:C4:16D5 = (D4xD5):C4 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 80 | | D4:C4:16D5 | 320,397 |
D4:C4:17D5 = D4:(C4xD5) | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:17D5 | 320,398 |
D4:C4:18D5 = C5:2C8:D4 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:18D5 | 320,407 |
D4:C4:19D5 = C5:(C8:2D4) | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:19D5 | 320,409 |
D4:C4:20D5 = D4:D5:6C4 | φ: D5/C5 → C2 ⊆ Out D4:C4 | 160 | | D4:C4:20D5 | 320,412 |
D4:C4:21D5 = Dic5:4D8 | φ: trivial image | 160 | | D4:C4:21D5 | 320,383 |
D4:C4:22D5 = D4:2D5:C4 | φ: trivial image | 160 | | D4:C4:22D5 | 320,399 |