extension | φ:Q→Out N | d | ρ | Label | ID |
He3:(C2xD4) = C2xHe3:D4 | φ: C2xD4/C2 → D4 ⊆ Out He3 | 36 | 6+ | He3:(C2xD4) | 432,530 |
He3:2(C2xD4) = C3:S3:D12 | φ: C2xD4/C4 → C22 ⊆ Out He3 | 36 | 12+ | He3:2(C2xD4) | 432,301 |
He3:3(C2xD4) = C12.86S32 | φ: C2xD4/C4 → C22 ⊆ Out He3 | 36 | 6+ | He3:3(C2xD4) | 432,302 |
He3:4(C2xD4) = C2xHe3:2D4 | φ: C2xD4/C22 → C22 ⊆ Out He3 | 72 | | He3:4(C2xD4) | 432,320 |
He3:5(C2xD4) = C2xHe3:3D4 | φ: C2xD4/C22 → C22 ⊆ Out He3 | 72 | | He3:5(C2xD4) | 432,322 |
He3:6(C2xD4) = C62:D6 | φ: C2xD4/C22 → C22 ⊆ Out He3 | 36 | 12+ | He3:6(C2xD4) | 432,323 |
He3:7(C2xD4) = C62:2D6 | φ: C2xD4/C22 → C22 ⊆ Out He3 | 36 | 6 | He3:7(C2xD4) | 432,324 |
He3:8(C2xD4) = C2xHe3:4D4 | φ: C2xD4/C2xC4 → C2 ⊆ Out He3 | 72 | | He3:8(C2xD4) | 432,350 |
He3:9(C2xD4) = C2xHe3:5D4 | φ: C2xD4/C2xC4 → C2 ⊆ Out He3 | 72 | | He3:9(C2xD4) | 432,386 |
He3:10(C2xD4) = D4xC32:C6 | φ: C2xD4/D4 → C2 ⊆ Out He3 | 36 | 12+ | He3:10(C2xD4) | 432,360 |
He3:11(C2xD4) = D4xHe3:C2 | φ: C2xD4/D4 → C2 ⊆ Out He3 | 36 | 6 | He3:11(C2xD4) | 432,390 |
He3:12(C2xD4) = C2xHe3:6D4 | φ: C2xD4/C23 → C2 ⊆ Out He3 | 72 | | He3:12(C2xD4) | 432,377 |
He3:13(C2xD4) = C2xHe3:7D4 | φ: C2xD4/C23 → C2 ⊆ Out He3 | 72 | | He3:13(C2xD4) | 432,399 |