extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xQ8).1D4 = D10:4Q16 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 160 | | (C5xQ8).1D4 | 320,435 |
(C5xQ8).2D4 = Q8.D20 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 160 | | (C5xQ8).2D4 | 320,437 |
(C5xQ8).3D4 = M4(2):D10 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 80 | 4 | (C5xQ8).3D4 | 320,452 |
(C5xQ8).4D4 = D4.9D20 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 80 | 4- | (C5xQ8).4D4 | 320,453 |
(C5xQ8).5D4 = D4.10D20 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 80 | 4 | (C5xQ8).5D4 | 320,454 |
(C5xQ8).6D4 = (C5xQ8).D4 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 160 | | (C5xQ8).6D4 | 320,793 |
(C5xQ8).7D4 = Dic5:3Q16 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 320 | | (C5xQ8).7D4 | 320,809 |
(C5xQ8).8D4 = (C2xQ16):D5 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 160 | | (C5xQ8).8D4 | 320,812 |
(C5xQ8).9D4 = D10:5Q16 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 160 | | (C5xQ8).9D4 | 320,813 |
(C5xQ8).10D4 = D20.17D4 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 160 | | (C5xQ8).10D4 | 320,814 |
(C5xQ8).11D4 = M4(2).D10 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 80 | 8+ | (C5xQ8).11D4 | 320,826 |
(C5xQ8).12D4 = M4(2).13D10 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 80 | 8- | (C5xQ8).12D4 | 320,827 |
(C5xQ8).13D4 = D20.38D4 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 80 | 8- | (C5xQ8).13D4 | 320,828 |
(C5xQ8).14D4 = D20.39D4 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 80 | 8+ | (C5xQ8).14D4 | 320,829 |
(C5xQ8).15D4 = M4(2).15D10 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 80 | 8+ | (C5xQ8).15D4 | 320,830 |
(C5xQ8).16D4 = M4(2).16D10 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 160 | 8- | (C5xQ8).16D4 | 320,831 |
(C5xQ8).17D4 = D20.40D4 | φ: D4/C2 → C22 ⊆ Out C5xQ8 | 80 | 8- | (C5xQ8).17D4 | 320,832 |
(C5xQ8).18D4 = Q8.1D20 | φ: D4/C4 → C2 ⊆ Out C5xQ8 | 160 | | (C5xQ8).18D4 | 320,655 |
(C5xQ8).19D4 = C20:7Q16 | φ: D4/C4 → C2 ⊆ Out C5xQ8 | 320 | | (C5xQ8).19D4 | 320,658 |
(C5xQ8).20D4 = D4.3D20 | φ: D4/C4 → C2 ⊆ Out C5xQ8 | 80 | 4 | (C5xQ8).20D4 | 320,768 |
(C5xQ8).21D4 = D4.4D20 | φ: D4/C4 → C2 ⊆ Out C5xQ8 | 80 | 4+ | (C5xQ8).21D4 | 320,769 |
(C5xQ8).22D4 = D4.5D20 | φ: D4/C4 → C2 ⊆ Out C5xQ8 | 160 | 4- | (C5xQ8).22D4 | 320,770 |
(C5xQ8).23D4 = D4.11D20 | φ: D4/C4 → C2 ⊆ Out C5xQ8 | 80 | 4 | (C5xQ8).23D4 | 320,1423 |
(C5xQ8).24D4 = D4.12D20 | φ: D4/C4 → C2 ⊆ Out C5xQ8 | 80 | 4+ | (C5xQ8).24D4 | 320,1424 |
(C5xQ8).25D4 = D4.13D20 | φ: D4/C4 → C2 ⊆ Out C5xQ8 | 160 | 4- | (C5xQ8).25D4 | 320,1425 |
(C5xQ8).26D4 = C5xC4:2Q16 | φ: D4/C4 → C2 ⊆ Out C5xQ8 | 320 | | (C5xQ8).26D4 | 320,963 |
(C5xQ8).27D4 = C5xQ8.D4 | φ: D4/C4 → C2 ⊆ Out C5xQ8 | 160 | | (C5xQ8).27D4 | 320,965 |
(C5xQ8).28D4 = C5xD4.3D4 | φ: D4/C4 → C2 ⊆ Out C5xQ8 | 80 | 4 | (C5xQ8).28D4 | 320,972 |
(C5xQ8).29D4 = C5xD4.4D4 | φ: D4/C4 → C2 ⊆ Out C5xQ8 | 80 | 4 | (C5xQ8).29D4 | 320,973 |
(C5xQ8).30D4 = C5xD4.5D4 | φ: D4/C4 → C2 ⊆ Out C5xQ8 | 160 | 4 | (C5xQ8).30D4 | 320,974 |
(C5xQ8).31D4 = (C2xC10):8Q16 | φ: D4/C22 → C2 ⊆ Out C5xQ8 | 160 | | (C5xQ8).31D4 | 320,855 |
(C5xQ8).32D4 = (C5xD4).32D4 | φ: D4/C22 → C2 ⊆ Out C5xQ8 | 160 | | (C5xQ8).32D4 | 320,866 |
(C5xQ8).33D4 = 2+ 1+4.D5 | φ: D4/C22 → C2 ⊆ Out C5xQ8 | 80 | 8- | (C5xQ8).33D4 | 320,869 |
(C5xQ8).34D4 = 2- 1+4:2D5 | φ: D4/C22 → C2 ⊆ Out C5xQ8 | 80 | 8+ | (C5xQ8).34D4 | 320,872 |
(C5xQ8).35D4 = 2- 1+4.2D5 | φ: D4/C22 → C2 ⊆ Out C5xQ8 | 80 | 8- | (C5xQ8).35D4 | 320,873 |
(C5xQ8).36D4 = D20.32C23 | φ: D4/C22 → C2 ⊆ Out C5xQ8 | 80 | 8+ | (C5xQ8).36D4 | 320,1507 |
(C5xQ8).37D4 = D20.33C23 | φ: D4/C22 → C2 ⊆ Out C5xQ8 | 80 | 8- | (C5xQ8).37D4 | 320,1508 |
(C5xQ8).38D4 = D20.34C23 | φ: D4/C22 → C2 ⊆ Out C5xQ8 | 80 | 8+ | (C5xQ8).38D4 | 320,1509 |
(C5xQ8).39D4 = D20.35C23 | φ: D4/C22 → C2 ⊆ Out C5xQ8 | 160 | 8- | (C5xQ8).39D4 | 320,1510 |
(C5xQ8).40D4 = C5xC22:Q16 | φ: D4/C22 → C2 ⊆ Out C5xQ8 | 160 | | (C5xQ8).40D4 | 320,952 |
(C5xQ8).41D4 = C5xD4.7D4 | φ: D4/C22 → C2 ⊆ Out C5xQ8 | 160 | | (C5xQ8).41D4 | 320,953 |
(C5xQ8).42D4 = C5xD4.8D4 | φ: D4/C22 → C2 ⊆ Out C5xQ8 | 80 | 4 | (C5xQ8).42D4 | 320,955 |
(C5xQ8).43D4 = C5xD4.9D4 | φ: D4/C22 → C2 ⊆ Out C5xQ8 | 80 | 4 | (C5xQ8).43D4 | 320,956 |
(C5xQ8).44D4 = C5xD4.10D4 | φ: D4/C22 → C2 ⊆ Out C5xQ8 | 80 | 4 | (C5xQ8).44D4 | 320,957 |
(C5xQ8).45D4 = C5xD4oD8 | φ: trivial image | 80 | 4 | (C5xQ8).45D4 | 320,1578 |
(C5xQ8).46D4 = C5xD4oSD16 | φ: trivial image | 80 | 4 | (C5xQ8).46D4 | 320,1579 |
(C5xQ8).47D4 = C5xQ8oD8 | φ: trivial image | 160 | 4 | (C5xQ8).47D4 | 320,1580 |