extension | φ:Q→Out N | d | ρ | Label | ID |
C30.Q8:1C2 = D6:C4.D5 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:1C2 | 480,417 |
C30.Q8:2C2 = C4:Dic5:S3 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:2C2 | 480,421 |
C30.Q8:3C2 = D10:Dic6 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:3C2 | 480,425 |
C30.Q8:4C2 = D30.34D4 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:4C2 | 480,430 |
C30.Q8:5C2 = (C4xDic3):D5 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:5C2 | 480,439 |
C30.Q8:6C2 = C60.45D4 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:6C2 | 480,441 |
C30.Q8:7C2 = (C4xDic15):C2 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:7C2 | 480,442 |
C30.Q8:8C2 = D6:Dic5.C2 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:8C2 | 480,443 |
C30.Q8:9C2 = C10.D4:S3 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:9C2 | 480,456 |
C30.Q8:10C2 = D30:9Q8 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:10C2 | 480,459 |
C30.Q8:11C2 = S3xC10.D4 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:11C2 | 480,475 |
C30.Q8:12C2 = (S3xDic5):C4 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:12C2 | 480,476 |
C30.Q8:13C2 = D30.23(C2xC4) | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:13C2 | 480,479 |
C30.Q8:14C2 = D30.Q8 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:14C2 | 480,480 |
C30.Q8:15C2 = Dic5:4D12 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:15C2 | 480,481 |
C30.Q8:16C2 = D6:1Dic10 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:16C2 | 480,486 |
C30.Q8:17C2 = D30:Q8 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:17C2 | 480,487 |
C30.Q8:18C2 = D5xC4:Dic3 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:18C2 | 480,488 |
C30.Q8:19C2 = D10.16D12 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:19C2 | 480,489 |
C30.Q8:20C2 = D10.17D12 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:20C2 | 480,490 |
C30.Q8:21C2 = D6:2Dic10 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:21C2 | 480,493 |
C30.Q8:22C2 = D30:2Q8 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:22C2 | 480,495 |
C30.Q8:23C2 = D10:1Dic6 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:23C2 | 480,497 |
C30.Q8:24C2 = D10:4Dic6 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:24C2 | 480,507 |
C30.Q8:25C2 = D10:D12 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:25C2 | 480,524 |
C30.Q8:26C2 = D10:C4:S3 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:26C2 | 480,528 |
C30.Q8:27C2 = (C6xDic5):7C4 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:27C2 | 480,604 |
C30.Q8:28C2 = C23.13(S3xD5) | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:28C2 | 480,606 |
C30.Q8:29C2 = C23.14(S3xD5) | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:29C2 | 480,607 |
C30.Q8:30C2 = D30:6D4 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:30C2 | 480,609 |
C30.Q8:31C2 = C10.(C2xD12) | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:31C2 | 480,618 |
C30.Q8:32C2 = (C2xC10).D12 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:32C2 | 480,619 |
C30.Q8:33C2 = Dic3xC5:D4 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:33C2 | 480,629 |
C30.Q8:34C2 = (S3xC10).D4 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:34C2 | 480,631 |
C30.Q8:35C2 = Dic15:16D4 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:35C2 | 480,635 |
C30.Q8:36C2 = D30.16D4 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:36C2 | 480,638 |
C30.Q8:37C2 = (S3xC10):D4 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:37C2 | 480,641 |
C30.Q8:38C2 = (C2xC10):4D12 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:38C2 | 480,642 |
C30.Q8:39C2 = (C2xC30):Q8 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:39C2 | 480,650 |
C30.Q8:40C2 = (C2xC10):8Dic6 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:40C2 | 480,651 |
C30.Q8:41C2 = Dic15.48D4 | φ: C2/C1 → C2 ⊆ Out C30.Q8 | 240 | | C30.Q8:41C2 | 480,652 |
C30.Q8:42C2 = (D5xC12):C4 | φ: trivial image | 240 | | C30.Q8:42C2 | 480,433 |
C30.Q8:43C2 = C4xC5:D12 | φ: trivial image | 240 | | C30.Q8:43C2 | 480,521 |