extension | φ:Q→Out N | d | ρ | Label | ID |
Q8.1(C5:D4) = (C5xQ8).D4 | φ: C5:D4/Dic5 → C2 ⊆ Out Q8 | 160 | | Q8.1(C5:D4) | 320,793 |
Q8.2(C5:D4) = Dic5:3Q16 | φ: C5:D4/Dic5 → C2 ⊆ Out Q8 | 320 | | Q8.2(C5:D4) | 320,809 |
Q8.3(C5:D4) = (C2xQ16):D5 | φ: C5:D4/Dic5 → C2 ⊆ Out Q8 | 160 | | Q8.3(C5:D4) | 320,812 |
Q8.4(C5:D4) = M4(2).D10 | φ: C5:D4/Dic5 → C2 ⊆ Out Q8 | 80 | 8+ | Q8.4(C5:D4) | 320,826 |
Q8.5(C5:D4) = M4(2).13D10 | φ: C5:D4/Dic5 → C2 ⊆ Out Q8 | 80 | 8- | Q8.5(C5:D4) | 320,827 |
Q8.6(C5:D4) = M4(2).15D10 | φ: C5:D4/Dic5 → C2 ⊆ Out Q8 | 80 | 8+ | Q8.6(C5:D4) | 320,830 |
Q8.7(C5:D4) = M4(2).16D10 | φ: C5:D4/Dic5 → C2 ⊆ Out Q8 | 160 | 8- | Q8.7(C5:D4) | 320,831 |
Q8.8(C5:D4) = D10:5Q16 | φ: C5:D4/D10 → C2 ⊆ Out Q8 | 160 | | Q8.8(C5:D4) | 320,813 |
Q8.9(C5:D4) = D20.17D4 | φ: C5:D4/D10 → C2 ⊆ Out Q8 | 160 | | Q8.9(C5:D4) | 320,814 |
Q8.10(C5:D4) = D20.38D4 | φ: C5:D4/D10 → C2 ⊆ Out Q8 | 80 | 8- | Q8.10(C5:D4) | 320,828 |
Q8.11(C5:D4) = D20.39D4 | φ: C5:D4/D10 → C2 ⊆ Out Q8 | 80 | 8+ | Q8.11(C5:D4) | 320,829 |
Q8.12(C5:D4) = D20.40D4 | φ: C5:D4/D10 → C2 ⊆ Out Q8 | 80 | 8- | Q8.12(C5:D4) | 320,832 |
Q8.13(C5:D4) = (C2xC10):8Q16 | φ: C5:D4/C2xC10 → C2 ⊆ Out Q8 | 160 | | Q8.13(C5:D4) | 320,855 |
Q8.14(C5:D4) = (C5xD4).32D4 | φ: C5:D4/C2xC10 → C2 ⊆ Out Q8 | 160 | | Q8.14(C5:D4) | 320,866 |
Q8.15(C5:D4) = 2+ 1+4.D5 | φ: C5:D4/C2xC10 → C2 ⊆ Out Q8 | 80 | 8- | Q8.15(C5:D4) | 320,869 |
Q8.16(C5:D4) = 2- 1+4:2D5 | φ: C5:D4/C2xC10 → C2 ⊆ Out Q8 | 80 | 8+ | Q8.16(C5:D4) | 320,872 |
Q8.17(C5:D4) = 2- 1+4.2D5 | φ: C5:D4/C2xC10 → C2 ⊆ Out Q8 | 80 | 8- | Q8.17(C5:D4) | 320,873 |
Q8.18(C5:D4) = D20.32C23 | φ: trivial image | 80 | 8+ | Q8.18(C5:D4) | 320,1507 |
Q8.19(C5:D4) = D20.33C23 | φ: trivial image | 80 | 8- | Q8.19(C5:D4) | 320,1508 |
Q8.20(C5:D4) = D20.34C23 | φ: trivial image | 80 | 8+ | Q8.20(C5:D4) | 320,1509 |
Q8.21(C5:D4) = D20.35C23 | φ: trivial image | 160 | 8- | Q8.21(C5:D4) | 320,1510 |