extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xSD16):1C4 = SD16:F5 | φ: C4/C1 → C4 ⊆ Out C5xSD16 | 40 | 8 | (C5xSD16):1C4 | 320,1073 |
(C5xSD16):2C4 = SD16:2F5 | φ: C4/C1 → C4 ⊆ Out C5xSD16 | 80 | 8 | (C5xSD16):2C4 | 320,1075 |
(C5xSD16):3C4 = SD16xF5 | φ: C4/C1 → C4 ⊆ Out C5xSD16 | 40 | 8 | (C5xSD16):3C4 | 320,1072 |
(C5xSD16):4C4 = SD16:3F5 | φ: C4/C1 → C4 ⊆ Out C5xSD16 | 80 | 8 | (C5xSD16):4C4 | 320,1074 |
(C5xSD16):5C4 = SD16:Dic5 | φ: C4/C2 → C2 ⊆ Out C5xSD16 | 160 | | (C5xSD16):5C4 | 320,791 |
(C5xSD16):6C4 = D8:4Dic5 | φ: C4/C2 → C2 ⊆ Out C5xSD16 | 80 | 4 | (C5xSD16):6C4 | 320,824 |
(C5xSD16):7C4 = SD16xDic5 | φ: C4/C2 → C2 ⊆ Out C5xSD16 | 160 | | (C5xSD16):7C4 | 320,788 |
(C5xSD16):8C4 = D8:5Dic5 | φ: C4/C2 → C2 ⊆ Out C5xSD16 | 80 | 4 | (C5xSD16):8C4 | 320,823 |
(C5xSD16):9C4 = C5xSD16:C4 | φ: C4/C2 → C2 ⊆ Out C5xSD16 | 160 | | (C5xSD16):9C4 | 320,941 |
(C5xSD16):10C4 = C5xC8.26D4 | φ: C4/C2 → C2 ⊆ Out C5xSD16 | 80 | 4 | (C5xSD16):10C4 | 320,945 |
(C5xSD16):11C4 = C5xC8oD8 | φ: trivial image | 80 | 2 | (C5xSD16):11C4 | 320,944 |