extension | φ:Q→Out N | d | ρ | Label | ID |
(C10xQ16):1C2 = Q16.D10 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | 4 | (C10xQ16):1C2 | 320,806 |
(C10xQ16):2C2 = C40.29D4 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | 4 | (C10xQ16):2C2 | 320,819 |
(C10xQ16):3C2 = D20.30D4 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | 4 | (C10xQ16):3C2 | 320,1438 |
(C10xQ16):4C2 = C2xC5:SD32 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):4C2 | 320,805 |
(C10xQ16):5C2 = D10:3Q16 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):5C2 | 320,815 |
(C10xQ16):6C2 = C40.28D4 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):6C2 | 320,818 |
(C10xQ16):7C2 = C2xD5xQ16 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):7C2 | 320,1435 |
(C10xQ16):8C2 = C2xQ8.D10 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):8C2 | 320,1437 |
(C10xQ16):9C2 = C40.36D4 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):9C2 | 320,816 |
(C10xQ16):10C2 = C40.37D4 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):10C2 | 320,817 |
(C10xQ16):11C2 = C2xQ16:D5 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):11C2 | 320,1436 |
(C10xQ16):12C2 = (C2xQ16):D5 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):12C2 | 320,812 |
(C10xQ16):13C2 = D10:5Q16 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):13C2 | 320,813 |
(C10xQ16):14C2 = D20.17D4 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):14C2 | 320,814 |
(C10xQ16):15C2 = C5xC22:Q16 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):15C2 | 320,952 |
(C10xQ16):16C2 = C5xD4.7D4 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):16C2 | 320,953 |
(C10xQ16):17C2 = C5xQ8.D4 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):17C2 | 320,965 |
(C10xQ16):18C2 = C5xC8.18D4 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):18C2 | 320,968 |
(C10xQ16):19C2 = C5xC8.12D4 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):19C2 | 320,996 |
(C10xQ16):20C2 = C10xSD32 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):20C2 | 320,1007 |
(C10xQ16):21C2 = C5xC8.D4 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):21C2 | 320,971 |
(C10xQ16):22C2 = C5xD4.5D4 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | 4 | (C10xQ16):22C2 | 320,974 |
(C10xQ16):23C2 = C5xC8.2D4 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):23C2 | 320,998 |
(C10xQ16):24C2 = C5xQ32:C2 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | 4 | (C10xQ16):24C2 | 320,1011 |
(C10xQ16):25C2 = C10xC8.C22 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | | (C10xQ16):25C2 | 320,1576 |
(C10xQ16):26C2 = C5xQ8oD8 | φ: C2/C1 → C2 ⊆ Out C10xQ16 | 160 | 4 | (C10xQ16):26C2 | 320,1580 |
(C10xQ16):27C2 = C10xC4oD8 | φ: trivial image | 160 | | (C10xQ16):27C2 | 320,1574 |