extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xDic10):1C2 = D20.D5 | φ: C2/C1 → C2 ⊆ Out C5xDic10 | 80 | 4 | (C5xDic10):1C2 | 400,66 |
(C5xDic10):2C2 = C52:4SD16 | φ: C2/C1 → C2 ⊆ Out C5xDic10 | 40 | 4+ | (C5xDic10):2C2 | 400,68 |
(C5xDic10):3C2 = C5xD4.D5 | φ: C2/C1 → C2 ⊆ Out C5xDic10 | 40 | 4 | (C5xDic10):3C2 | 400,88 |
(C5xDic10):4C2 = D5xDic10 | φ: C2/C1 → C2 ⊆ Out C5xDic10 | 80 | 4- | (C5xDic10):4C2 | 400,163 |
(C5xDic10):5C2 = D20:D5 | φ: C2/C1 → C2 ⊆ Out C5xDic10 | 40 | 4 | (C5xDic10):5C2 | 400,165 |
(C5xDic10):6C2 = Dic10:D5 | φ: C2/C1 → C2 ⊆ Out C5xDic10 | 40 | 4 | (C5xDic10):6C2 | 400,166 |
(C5xDic10):7C2 = Dic10:5D5 | φ: C2/C1 → C2 ⊆ Out C5xDic10 | 40 | 4+ | (C5xDic10):7C2 | 400,168 |
(C5xDic10):8C2 = C5xD4:2D5 | φ: C2/C1 → C2 ⊆ Out C5xDic10 | 40 | 4 | (C5xDic10):8C2 | 400,186 |
(C5xDic10):9C2 = C5xQ8xD5 | φ: C2/C1 → C2 ⊆ Out C5xDic10 | 80 | 4 | (C5xDic10):9C2 | 400,187 |
(C5xDic10):10C2 = C5xC40:C2 | φ: C2/C1 → C2 ⊆ Out C5xDic10 | 80 | 2 | (C5xDic10):10C2 | 400,78 |
(C5xDic10):11C2 = C5xC4oD20 | φ: trivial image | 40 | 2 | (C5xDic10):11C2 | 400,184 |