extension | φ:Q→Out N | d | ρ | Label | ID |
(C3xQ8).1D10 = S3xC5:Q16 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 8- | (C3xQ8).1D10 | 480,585 |
(C3xQ8).2D10 = Dic10.26D6 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 8- | (C3xQ8).2D10 | 480,586 |
(C3xQ8).3D10 = D15:Q16 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 8- | (C3xQ8).3D10 | 480,587 |
(C3xQ8).4D10 = C60.C23 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 8+ | (C3xQ8).4D10 | 480,588 |
(C3xQ8).5D10 = D20.27D6 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 8- | (C3xQ8).5D10 | 480,593 |
(C3xQ8).6D10 = D20.28D6 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 8- | (C3xQ8).6D10 | 480,594 |
(C3xQ8).7D10 = Dic10.27D6 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 8+ | (C3xQ8).7D10 | 480,595 |
(C3xQ8).8D10 = C60.44C23 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 8+ | (C3xQ8).8D10 | 480,596 |
(C3xQ8).9D10 = D20.16D6 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 8+ | (C3xQ8).9D10 | 480,597 |
(C3xQ8).10D10 = D20.17D6 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 8- | (C3xQ8).10D10 | 480,598 |
(C3xQ8).11D10 = D12.D10 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 8+ | (C3xQ8).11D10 | 480,599 |
(C3xQ8).12D10 = D30.44D4 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 8- | (C3xQ8).12D10 | 480,600 |
(C3xQ8).13D10 = SD16:D15 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 4- | (C3xQ8).13D10 | 480,880 |
(C3xQ8).14D10 = D4.5D30 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 4 | (C3xQ8).14D10 | 480,881 |
(C3xQ8).15D10 = Q16xD15 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 4- | (C3xQ8).15D10 | 480,882 |
(C3xQ8).16D10 = Q16:D15 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 4 | (C3xQ8).16D10 | 480,883 |
(C3xQ8).17D10 = D120:8C2 | φ: D10/C5 → C22 ⊆ Out C3xQ8 | 240 | 4+ | (C3xQ8).17D10 | 480,884 |
(C3xQ8).18D10 = D5xC3:Q16 | φ: D10/D5 → C2 ⊆ Out C3xQ8 | 240 | 8- | (C3xQ8).18D10 | 480,583 |
(C3xQ8).19D10 = D20.13D6 | φ: D10/D5 → C2 ⊆ Out C3xQ8 | 240 | 8- | (C3xQ8).19D10 | 480,584 |
(C3xQ8).20D10 = D12.27D10 | φ: D10/D5 → C2 ⊆ Out C3xQ8 | 240 | 8- | (C3xQ8).20D10 | 480,589 |
(C3xQ8).21D10 = D20.14D6 | φ: D10/D5 → C2 ⊆ Out C3xQ8 | 240 | 8- | (C3xQ8).21D10 | 480,590 |
(C3xQ8).22D10 = C60.39C23 | φ: D10/D5 → C2 ⊆ Out C3xQ8 | 240 | 8+ | (C3xQ8).22D10 | 480,591 |
(C3xQ8).23D10 = D20.D6 | φ: D10/D5 → C2 ⊆ Out C3xQ8 | 240 | 8+ | (C3xQ8).23D10 | 480,592 |
(C3xQ8).24D10 = D20.29D6 | φ: D10/D5 → C2 ⊆ Out C3xQ8 | 240 | 8- | (C3xQ8).24D10 | 480,1104 |
(C3xQ8).25D10 = C30.33C24 | φ: D10/D5 → C2 ⊆ Out C3xQ8 | 240 | 8+ | (C3xQ8).25D10 | 480,1105 |
(C3xQ8).26D10 = D12.29D10 | φ: D10/D5 → C2 ⊆ Out C3xQ8 | 240 | 8- | (C3xQ8).26D10 | 480,1106 |
(C3xQ8).27D10 = C3xSD16:D5 | φ: D10/D5 → C2 ⊆ Out C3xQ8 | 240 | 4 | (C3xQ8).27D10 | 480,708 |
(C3xQ8).28D10 = C3xSD16:3D5 | φ: D10/D5 → C2 ⊆ Out C3xQ8 | 240 | 4 | (C3xQ8).28D10 | 480,709 |
(C3xQ8).29D10 = C3xD5xQ16 | φ: D10/D5 → C2 ⊆ Out C3xQ8 | 240 | 4 | (C3xQ8).29D10 | 480,710 |
(C3xQ8).30D10 = C3xQ16:D5 | φ: D10/D5 → C2 ⊆ Out C3xQ8 | 240 | 4 | (C3xQ8).30D10 | 480,711 |
(C3xQ8).31D10 = C3xQ8.D10 | φ: D10/D5 → C2 ⊆ Out C3xQ8 | 240 | 4 | (C3xQ8).31D10 | 480,712 |
(C3xQ8).32D10 = Q8.11D30 | φ: D10/C10 → C2 ⊆ Out C3xQ8 | 240 | 4 | (C3xQ8).32D10 | 480,907 |
(C3xQ8).33D10 = C2xC15:7Q16 | φ: D10/C10 → C2 ⊆ Out C3xQ8 | 480 | | (C3xQ8).33D10 | 480,908 |
(C3xQ8).34D10 = D4.8D30 | φ: D10/C10 → C2 ⊆ Out C3xQ8 | 240 | 4 | (C3xQ8).34D10 | 480,915 |
(C3xQ8).35D10 = D4.9D30 | φ: D10/C10 → C2 ⊆ Out C3xQ8 | 240 | 4- | (C3xQ8).35D10 | 480,916 |
(C3xQ8).36D10 = Q8.15D30 | φ: D10/C10 → C2 ⊆ Out C3xQ8 | 240 | 4 | (C3xQ8).36D10 | 480,1174 |
(C3xQ8).37D10 = D4.10D30 | φ: D10/C10 → C2 ⊆ Out C3xQ8 | 240 | 4- | (C3xQ8).37D10 | 480,1177 |
(C3xQ8).38D10 = C3xC20.C23 | φ: D10/C10 → C2 ⊆ Out C3xQ8 | 240 | 4 | (C3xQ8).38D10 | 480,735 |
(C3xQ8).39D10 = C6xC5:Q16 | φ: D10/C10 → C2 ⊆ Out C3xQ8 | 480 | | (C3xQ8).39D10 | 480,736 |
(C3xQ8).40D10 = C3xD4.8D10 | φ: D10/C10 → C2 ⊆ Out C3xQ8 | 240 | 4 | (C3xQ8).40D10 | 480,743 |
(C3xQ8).41D10 = C3xD4.9D10 | φ: D10/C10 → C2 ⊆ Out C3xQ8 | 240 | 4 | (C3xQ8).41D10 | 480,744 |
(C3xQ8).42D10 = C3xQ8.10D10 | φ: trivial image | 240 | 4 | (C3xQ8).42D10 | 480,1144 |
(C3xQ8).43D10 = C3xD4.10D10 | φ: trivial image | 240 | 4 | (C3xQ8).43D10 | 480,1147 |