extension | φ:Q→Out N | d | ρ | Label | ID |
C10.D8:1C2 = Dic5:4D8 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:1C2 | 320,383 |
C10.D8:2C2 = D4.D5:5C4 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:2C2 | 320,384 |
C10.D8:3C2 = Dic5.14D8 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:3C2 | 320,386 |
C10.D8:4C2 = D4.Dic10 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:4C2 | 320,390 |
C10.D8:5C2 = D10.12D8 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:5C2 | 320,401 |
C10.D8:6C2 = D10:D8 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:6C2 | 320,402 |
C10.D8:7C2 = C40:6C4:C2 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:7C2 | 320,406 |
C10.D8:8C2 = C5:2C8:D4 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:8C2 | 320,407 |
C10.D8:9C2 = D10.7Q16 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:9C2 | 320,436 |
C10.D8:10C2 = C5:(C8:D4) | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:10C2 | 320,439 |
C10.D8:11C2 = D10:Q16 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:11C2 | 320,440 |
C10.D8:12C2 = D10:1C8.C2 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:12C2 | 320,442 |
C10.D8:13C2 = Q8:D5:6C4 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:13C2 | 320,444 |
C10.D8:14C2 = (C8xD5):C4 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:14C2 | 320,487 |
C10.D8:15C2 = C8:(C4xD5) | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:15C2 | 320,488 |
C10.D8:16C2 = C4.Q8:D5 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:16C2 | 320,493 |
C10.D8:17C2 = C20.(C4oD4) | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:17C2 | 320,494 |
C10.D8:18C2 = D20.Q8 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:18C2 | 320,498 |
C10.D8:19C2 = D5xC2.D8 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:19C2 | 320,506 |
C10.D8:20C2 = C40:20(C2xC4) | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:20C2 | 320,508 |
C10.D8:21C2 = D10.13D8 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:21C2 | 320,509 |
C10.D8:22C2 = D10.8Q16 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:22C2 | 320,511 |
C10.D8:23C2 = D20:2Q8 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:23C2 | 320,517 |
C10.D8:24C2 = C20.47(C4:C4) | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:24C2 | 320,591 |
C10.D8:25C2 = (C2xC10).40D8 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:25C2 | 320,594 |
C10.D8:26C2 = C4:C4.230D10 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:26C2 | 320,597 |
C10.D8:27C2 = C20.64(C4:C4) | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:27C2 | 320,622 |
C10.D8:28C2 = C4:C4.233D10 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:28C2 | 320,623 |
C10.D8:29C2 = C4:C4.236D10 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:29C2 | 320,630 |
C10.D8:30C2 = C20.50D8 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:30C2 | 320,634 |
C10.D8:31C2 = D4.3Dic10 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:31C2 | 320,636 |
C10.D8:32C2 = C42.51D10 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:32C2 | 320,645 |
C10.D8:33C2 = C42.56D10 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:33C2 | 320,653 |
C10.D8:34C2 = (C2xC10).D8 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:34C2 | 320,660 |
C10.D8:35C2 = (C2xD4).D10 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:35C2 | 320,662 |
C10.D8:36C2 = (C2xC10):D8 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:36C2 | 320,665 |
C10.D8:37C2 = C4.(D4xD5) | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:37C2 | 320,669 |
C10.D8:38C2 = (C2xC10).Q16 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:38C2 | 320,671 |
C10.D8:39C2 = C10.(C4oD8) | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:39C2 | 320,672 |
C10.D8:40C2 = C22:Q8:D5 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:40C2 | 320,676 |
C10.D8:41C2 = (C2xC10):Q16 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:41C2 | 320,678 |
C10.D8:42C2 = D20.4Q8 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:42C2 | 320,693 |
C10.D8:43C2 = D20:6Q8 | φ: C2/C1 → C2 ⊆ Out C10.D8 | 160 | | C10.D8:43C2 | 320,714 |
C10.D8:44C2 = C20.76(C4:C4) | φ: trivial image | 160 | | C10.D8:44C2 | 320,625 |
C10.D8:45C2 = C4xD4:D5 | φ: trivial image | 160 | | C10.D8:45C2 | 320,640 |