extension | φ:Q→Out N | d | ρ | Label | ID |
(D4xD5):1C4 = D5xD4:C4 | φ: C4/C2 → C2 ⊆ Out D4xD5 | 80 | | (D4xD5):1C4 | 320,396 |
(D4xD5):2C4 = (D4xD5):C4 | φ: C4/C2 → C2 ⊆ Out D4xD5 | 80 | | (D4xD5):2C4 | 320,397 |
(D4xD5):3C4 = D5xC4wrC2 | φ: C4/C2 → C2 ⊆ Out D4xD5 | 40 | 4 | (D4xD5):3C4 | 320,447 |
(D4xD5):4C4 = C42:D10 | φ: C4/C2 → C2 ⊆ Out D4xD5 | 80 | 4 | (D4xD5):4C4 | 320,448 |
(D4xD5):5C4 = C42:11D10 | φ: C4/C2 → C2 ⊆ Out D4xD5 | 80 | | (D4xD5):5C4 | 320,1217 |
(D4xD5):6C4 = C2xD20:C4 | φ: C4/C2 → C2 ⊆ Out D4xD5 | 80 | | (D4xD5):6C4 | 320,1104 |
(D4xD5):7C4 = (D4xC10):C4 | φ: C4/C2 → C2 ⊆ Out D4xD5 | 40 | 8+ | (D4xD5):7C4 | 320,1105 |
(D4xD5):8C4 = D5:C4wrC2 | φ: C4/C2 → C2 ⊆ Out D4xD5 | 40 | 8 | (D4xD5):8C4 | 320,1130 |
(D4xD5):9C4 = D4:F5:C2 | φ: C4/C2 → C2 ⊆ Out D4xD5 | 80 | 8 | (D4xD5):9C4 | 320,1133 |
(D4xD5):10C4 = C2xD4xF5 | φ: C4/C2 → C2 ⊆ Out D4xD5 | 40 | | (D4xD5):10C4 | 320,1595 |
(D4xD5):11C4 = D10.C24 | φ: C4/C2 → C2 ⊆ Out D4xD5 | 40 | 8+ | (D4xD5):11C4 | 320,1596 |