extension | φ:Q→Out N | d | ρ | Label | ID |
(C10xD8):1C2 = D8.D10 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 80 | 4 | (C10xD8):1C2 | 320,774 |
(C10xD8):2C2 = C40.23D4 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 80 | 4 | (C10xD8):2C2 | 320,787 |
(C10xD8):3C2 = D8:13D10 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 80 | 4 | (C10xD8):3C2 | 320,1429 |
(C10xD8):4C2 = C2xC5:D16 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 160 | | (C10xD8):4C2 | 320,773 |
(C10xD8):5C2 = C40:5D4 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 160 | | (C10xD8):5C2 | 320,778 |
(C10xD8):6C2 = C40:6D4 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 160 | | (C10xD8):6C2 | 320,784 |
(C10xD8):7C2 = C2xD5xD8 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 80 | | (C10xD8):7C2 | 320,1426 |
(C10xD8):8C2 = C2xD8:3D5 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 160 | | (C10xD8):8C2 | 320,1428 |
(C10xD8):9C2 = C40:11D4 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 160 | | (C10xD8):9C2 | 320,781 |
(C10xD8):10C2 = C40:12D4 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 160 | | (C10xD8):10C2 | 320,786 |
(C10xD8):11C2 = C2xD8:D5 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 80 | | (C10xD8):11C2 | 320,1427 |
(C10xD8):12C2 = Dic5:D8 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 160 | | (C10xD8):12C2 | 320,777 |
(C10xD8):13C2 = D20:D4 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 80 | | (C10xD8):13C2 | 320,783 |
(C10xD8):14C2 = Dic10:D4 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 160 | | (C10xD8):14C2 | 320,785 |
(C10xD8):15C2 = C5xC22:D8 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 80 | | (C10xD8):15C2 | 320,948 |
(C10xD8):16C2 = C5xD4:D4 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 160 | | (C10xD8):16C2 | 320,950 |
(C10xD8):17C2 = C5xC4:D8 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 160 | | (C10xD8):17C2 | 320,960 |
(C10xD8):18C2 = C5xC8:7D4 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 160 | | (C10xD8):18C2 | 320,967 |
(C10xD8):19C2 = C5xC8:4D4 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 160 | | (C10xD8):19C2 | 320,994 |
(C10xD8):20C2 = C10xD16 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 160 | | (C10xD8):20C2 | 320,1006 |
(C10xD8):21C2 = C5xC8:2D4 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 160 | | (C10xD8):21C2 | 320,970 |
(C10xD8):22C2 = C5xD4.4D4 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 80 | 4 | (C10xD8):22C2 | 320,973 |
(C10xD8):23C2 = C5xC8:3D4 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 160 | | (C10xD8):23C2 | 320,997 |
(C10xD8):24C2 = C5xC16:C22 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 80 | 4 | (C10xD8):24C2 | 320,1010 |
(C10xD8):25C2 = C10xC8:C22 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 80 | | (C10xD8):25C2 | 320,1575 |
(C10xD8):26C2 = C5xD4oD8 | φ: C2/C1 → C2 ⊆ Out C10xD8 | 80 | 4 | (C10xD8):26C2 | 320,1578 |
(C10xD8):27C2 = C10xC4oD8 | φ: trivial image | 160 | | (C10xD8):27C2 | 320,1574 |