extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xC4:C8):1C2 = D20:4C8 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):1C2 | 320,41 |
(C5xC4:C8):2C2 = C4.D40 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):2C2 | 320,43 |
(C5xC4:C8):3C2 = C5xD4:C8 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):3C2 | 320,130 |
(C5xC4:C8):4C2 = C5xC4.D8 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):4C2 | 320,136 |
(C5xC4:C8):5C2 = C4:D40 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):5C2 | 320,470 |
(C5xC4:C8):6C2 = D20:4Q8 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):6C2 | 320,473 |
(C5xC4:C8):7C2 = D20.19D4 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):7C2 | 320,471 |
(C5xC4:C8):8C2 = C42.36D10 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):8C2 | 320,472 |
(C5xC4:C8):9C2 = D20.3Q8 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):9C2 | 320,474 |
(C5xC4:C8):10C2 = C20:SD16 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):10C2 | 320,468 |
(C5xC4:C8):11C2 = D20:3Q8 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):11C2 | 320,469 |
(C5xC4:C8):12C2 = Dic10:8D4 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):12C2 | 320,475 |
(C5xC4:C8):13C2 = D5xC4:C8 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):13C2 | 320,459 |
(C5xC4:C8):14C2 = C42.200D10 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):14C2 | 320,460 |
(C5xC4:C8):15C2 = D20:5C8 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):15C2 | 320,461 |
(C5xC4:C8):16C2 = C42.202D10 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):16C2 | 320,462 |
(C5xC4:C8):17C2 = D10:5M4(2) | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):17C2 | 320,463 |
(C5xC4:C8):18C2 = C20:5M4(2) | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):18C2 | 320,464 |
(C5xC4:C8):19C2 = C20:6M4(2) | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):19C2 | 320,465 |
(C5xC4:C8):20C2 = C42.30D10 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):20C2 | 320,466 |
(C5xC4:C8):21C2 = C42.31D10 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):21C2 | 320,467 |
(C5xC4:C8):22C2 = C5xC4:D8 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):22C2 | 320,960 |
(C5xC4:C8):23C2 = C5xD4:Q8 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):23C2 | 320,975 |
(C5xC4:C8):24C2 = C5xD4.2D4 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):24C2 | 320,964 |
(C5xC4:C8):25C2 = C5xQ8.D4 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):25C2 | 320,965 |
(C5xC4:C8):26C2 = C5xD4.Q8 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):26C2 | 320,979 |
(C5xC4:C8):27C2 = C5xC4:SD16 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):27C2 | 320,961 |
(C5xC4:C8):28C2 = C5xD4.D4 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):28C2 | 320,962 |
(C5xC4:C8):29C2 = C5xD4:2Q8 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):29C2 | 320,977 |
(C5xC4:C8):30C2 = C5xC4:M4(2) | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):30C2 | 320,924 |
(C5xC4:C8):31C2 = C5xC42.6C22 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):31C2 | 320,925 |
(C5xC4:C8):32C2 = C5xC42.6C4 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):32C2 | 320,933 |
(C5xC4:C8):33C2 = C5xC42.7C22 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):33C2 | 320,934 |
(C5xC4:C8):34C2 = C5xC8:9D4 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):34C2 | 320,936 |
(C5xC4:C8):35C2 = C5xC8:6D4 | φ: C2/C1 → C2 ⊆ Out C5xC4:C8 | 160 | | (C5xC4:C8):35C2 | 320,937 |
(C5xC4:C8):36C2 = C5xC42.12C4 | φ: trivial image | 160 | | (C5xC4:C8):36C2 | 320,932 |
(C5xC4:C8):37C2 = D4xC40 | φ: trivial image | 160 | | (C5xC4:C8):37C2 | 320,935 |