extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xSD32):1C2 = C16:D10 | φ: C2/C1 → C2 ⊆ Out C5xSD32 | 80 | 4+ | (C5xSD32):1C2 | 320,541 |
(C5xSD32):2C2 = SD32:D5 | φ: C2/C1 → C2 ⊆ Out C5xSD32 | 160 | 4- | (C5xSD32):2C2 | 320,542 |
(C5xSD32):3C2 = D5xSD32 | φ: C2/C1 → C2 ⊆ Out C5xSD32 | 80 | 4 | (C5xSD32):3C2 | 320,540 |
(C5xSD32):4C2 = SD32:3D5 | φ: C2/C1 → C2 ⊆ Out C5xSD32 | 160 | 4 | (C5xSD32):4C2 | 320,543 |
(C5xSD32):5C2 = C5xC16:C22 | φ: C2/C1 → C2 ⊆ Out C5xSD32 | 80 | 4 | (C5xSD32):5C2 | 320,1010 |
(C5xSD32):6C2 = C5xQ32:C2 | φ: C2/C1 → C2 ⊆ Out C5xSD32 | 160 | 4 | (C5xSD32):6C2 | 320,1011 |
(C5xSD32):7C2 = C5xC4oD16 | φ: trivial image | 160 | 2 | (C5xSD32):7C2 | 320,1009 |