extension | φ:Q→Out N | d | ρ | Label | ID |
Q8:C4:1D5 = Q8:Dic5:C2 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:1D5 | 320,427 |
Q8:C4:2D5 = D10:2SD16 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:2D5 | 320,434 |
Q8:C4:3D5 = D10:Q16 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:3D5 | 320,440 |
Q8:C4:4D5 = D10:4Q16 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:4D5 | 320,435 |
Q8:C4:5D5 = D10.7Q16 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:5D5 | 320,436 |
Q8:C4:6D5 = D20:4D4 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:6D5 | 320,438 |
Q8:C4:7D5 = (C2xC8).D10 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:7D5 | 320,441 |
Q8:C4:8D5 = D20.12D4 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:8D5 | 320,446 |
Q8:C4:9D5 = Dic10.11D4 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:9D5 | 320,425 |
Q8:C4:10D5 = D10.11SD16 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:10D5 | 320,432 |
Q8:C4:11D5 = Q8:2D20 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:11D5 | 320,433 |
Q8:C4:12D5 = Q8.D20 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:12D5 | 320,437 |
Q8:C4:13D5 = D10:1C8.C2 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:13D5 | 320,442 |
Q8:C4:14D5 = Dic5:SD16 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:14D5 | 320,445 |
Q8:C4:15D5 = Q8:C4:D5 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:15D5 | 320,422 |
Q8:C4:16D5 = (Q8xD5):C4 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:16D5 | 320,429 |
Q8:C4:17D5 = Q8:(C4xD5) | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:17D5 | 320,430 |
Q8:C4:18D5 = C5:(C8:D4) | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:18D5 | 320,439 |
Q8:C4:19D5 = C5:2C8.D4 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:19D5 | 320,443 |
Q8:C4:20D5 = Q8:D5:6C4 | φ: D5/C5 → C2 ⊆ Out Q8:C4 | 160 | | Q8:C4:20D5 | 320,444 |
Q8:C4:21D5 = Dic5:7SD16 | φ: trivial image | 160 | | Q8:C4:21D5 | 320,415 |
Q8:C4:22D5 = Q8:2D5:C4 | φ: trivial image | 160 | | Q8:C4:22D5 | 320,431 |