extension | φ:Q→Out N | d | ρ | Label | ID |
(C3xD4).1D10 = S3xD4.D5 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 120 | 8- | (C3xD4).1D10 | 480,561 |
(C3xD4).2D10 = C60.10C23 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 240 | 8- | (C3xD4).2D10 | 480,562 |
(C3xD4).3D10 = Dic10:D6 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 120 | 8+ | (C3xD4).3D10 | 480,563 |
(C3xD4).4D10 = D30.9D4 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 240 | 8- | (C3xD4).4D10 | 480,564 |
(C3xD4).5D10 = D20.24D6 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 240 | 8- | (C3xD4).5D10 | 480,569 |
(C3xD4).6D10 = D20:10D6 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 120 | 8- | (C3xD4).6D10 | 480,570 |
(C3xD4).7D10 = C60.19C23 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 240 | 8+ | (C3xD4).7D10 | 480,571 |
(C3xD4).8D10 = D12.9D10 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 120 | 8+ | (C3xD4).8D10 | 480,572 |
(C3xD4).9D10 = D20.10D6 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 240 | 8- | (C3xD4).9D10 | 480,573 |
(C3xD4).10D10 = Dic6:D10 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 120 | 8+ | (C3xD4).10D10 | 480,574 |
(C3xD4).11D10 = D30.11D4 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 240 | 8- | (C3xD4).11D10 | 480,575 |
(C3xD4).12D10 = D12:5D10 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 120 | 8+ | (C3xD4).12D10 | 480,576 |
(C3xD4).13D10 = D8:3D15 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 240 | 4- | (C3xD4).13D10 | 480,877 |
(C3xD4).14D10 = SD16xD15 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 120 | 4 | (C3xD4).14D10 | 480,878 |
(C3xD4).15D10 = Q8:3D30 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 120 | 4+ | (C3xD4).15D10 | 480,879 |
(C3xD4).16D10 = SD16:D15 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 240 | 4- | (C3xD4).16D10 | 480,880 |
(C3xD4).17D10 = D4.5D30 | φ: D10/C5 → C22 ⊆ Out C3xD4 | 240 | 4 | (C3xD4).17D10 | 480,881 |
(C3xD4).18D10 = D5xD4.S3 | φ: D10/D5 → C2 ⊆ Out C3xD4 | 120 | 8- | (C3xD4).18D10 | 480,559 |
(C3xD4).19D10 = C60.8C23 | φ: D10/D5 → C2 ⊆ Out C3xD4 | 240 | 8- | (C3xD4).19D10 | 480,560 |
(C3xD4).20D10 = D12:10D10 | φ: D10/D5 → C2 ⊆ Out C3xD4 | 120 | 8- | (C3xD4).20D10 | 480,565 |
(C3xD4).21D10 = D12.24D10 | φ: D10/D5 → C2 ⊆ Out C3xD4 | 240 | 8- | (C3xD4).21D10 | 480,566 |
(C3xD4).22D10 = D20.9D6 | φ: D10/D5 → C2 ⊆ Out C3xD4 | 120 | 8+ | (C3xD4).22D10 | 480,567 |
(C3xD4).23D10 = C60.16C23 | φ: D10/D5 → C2 ⊆ Out C3xD4 | 240 | 8+ | (C3xD4).23D10 | 480,568 |
(C3xD4).24D10 = C15:2- 1+4 | φ: D10/D5 → C2 ⊆ Out C3xD4 | 240 | 8- | (C3xD4).24D10 | 480,1096 |
(C3xD4).25D10 = C3xD8:3D5 | φ: D10/D5 → C2 ⊆ Out C3xD4 | 240 | 4 | (C3xD4).25D10 | 480,705 |
(C3xD4).26D10 = C3xD5xSD16 | φ: D10/D5 → C2 ⊆ Out C3xD4 | 120 | 4 | (C3xD4).26D10 | 480,706 |
(C3xD4).27D10 = C3xD40:C2 | φ: D10/D5 → C2 ⊆ Out C3xD4 | 120 | 4 | (C3xD4).27D10 | 480,707 |
(C3xD4).28D10 = C3xSD16:D5 | φ: D10/D5 → C2 ⊆ Out C3xD4 | 240 | 4 | (C3xD4).28D10 | 480,708 |
(C3xD4).29D10 = C3xSD16:3D5 | φ: D10/D5 → C2 ⊆ Out C3xD4 | 240 | 4 | (C3xD4).29D10 | 480,709 |
(C3xD4).30D10 = D4.D30 | φ: D10/C10 → C2 ⊆ Out C3xD4 | 120 | 4 | (C3xD4).30D10 | 480,897 |
(C3xD4).31D10 = C2xD4.D15 | φ: D10/C10 → C2 ⊆ Out C3xD4 | 240 | | (C3xD4).31D10 | 480,898 |
(C3xD4).32D10 = D4.8D30 | φ: D10/C10 → C2 ⊆ Out C3xD4 | 240 | 4 | (C3xD4).32D10 | 480,915 |
(C3xD4).33D10 = D4.9D30 | φ: D10/C10 → C2 ⊆ Out C3xD4 | 240 | 4- | (C3xD4).33D10 | 480,916 |
(C3xD4).34D10 = D4.10D30 | φ: D10/C10 → C2 ⊆ Out C3xD4 | 240 | 4- | (C3xD4).34D10 | 480,1177 |
(C3xD4).35D10 = C3xD4.D10 | φ: D10/C10 → C2 ⊆ Out C3xD4 | 120 | 4 | (C3xD4).35D10 | 480,725 |
(C3xD4).36D10 = C6xD4.D5 | φ: D10/C10 → C2 ⊆ Out C3xD4 | 240 | | (C3xD4).36D10 | 480,726 |
(C3xD4).37D10 = C3xD4.8D10 | φ: D10/C10 → C2 ⊆ Out C3xD4 | 240 | 4 | (C3xD4).37D10 | 480,743 |
(C3xD4).38D10 = C3xD4.9D10 | φ: D10/C10 → C2 ⊆ Out C3xD4 | 240 | 4 | (C3xD4).38D10 | 480,744 |
(C3xD4).39D10 = C3xD4.10D10 | φ: trivial image | 240 | 4 | (C3xD4).39D10 | 480,1147 |