extension | φ:Q→Out N | d | ρ | Label | ID |
D10:Dic3:1C2 = Dic3:C4:D5 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:1C2 | 480,424 |
D10:Dic3:2C2 = Dic3.D20 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:2C2 | 480,429 |
D10:Dic3:3C2 = D30.34D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:3C2 | 480,430 |
D10:Dic3:4C2 = D30.D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:4C2 | 480,432 |
D10:Dic3:5C2 = C60.44D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:5C2 | 480,440 |
D10:Dic3:6C2 = C60.88D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:6C2 | 480,444 |
D10:Dic3:7C2 = (C6xD5).D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:7C2 | 480,483 |
D10:Dic3:8C2 = Dic15:D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:8C2 | 480,484 |
D10:Dic3:9C2 = Dic3:D20 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:9C2 | 480,485 |
D10:Dic3:10C2 = Dic3xD20 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:10C2 | 480,501 |
D10:Dic3:11C2 = D20:8Dic3 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:11C2 | 480,510 |
D10:Dic3:12C2 = D6:(C4xD5) | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:12C2 | 480,516 |
D10:Dic3:13C2 = C15:20(C4xD4) | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:13C2 | 480,520 |
D10:Dic3:14C2 = D6:C4:D5 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:14C2 | 480,523 |
D10:Dic3:15C2 = D10:C4:S3 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:15C2 | 480,528 |
D10:Dic3:16C2 = (C2xDic6):D5 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:16C2 | 480,531 |
D10:Dic3:17C2 = C60:4D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:17C2 | 480,532 |
D10:Dic3:18C2 = D6.9D20 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:18C2 | 480,533 |
D10:Dic3:19C2 = Dic15.10D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:19C2 | 480,538 |
D10:Dic3:20C2 = Dic15.31D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:20C2 | 480,540 |
D10:Dic3:21C2 = C12:2D20 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:21C2 | 480,541 |
D10:Dic3:22C2 = S3xD10:C4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 120 | | D10:Dic3:22C2 | 480,548 |
D10:Dic3:23C2 = D30.27D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 120 | | D10:Dic3:23C2 | 480,549 |
D10:Dic3:24C2 = D6:4D20 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 120 | | D10:Dic3:24C2 | 480,550 |
D10:Dic3:25C2 = D30:6D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:25C2 | 480,609 |
D10:Dic3:26C2 = C6.(D4xD5) | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:26C2 | 480,610 |
D10:Dic3:27C2 = (C2xC30).D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:27C2 | 480,612 |
D10:Dic3:28C2 = C6.(C2xD20) | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:28C2 | 480,613 |
D10:Dic3:29C2 = D5xC6.D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 120 | | D10:Dic3:29C2 | 480,623 |
D10:Dic3:30C2 = C23.17(S3xD5) | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:30C2 | 480,624 |
D10:Dic3:31C2 = Dic3xC5:D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:31C2 | 480,629 |
D10:Dic3:32C2 = Dic15:16D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:32C2 | 480,635 |
D10:Dic3:33C2 = (C2xC30):D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 120 | | D10:Dic3:33C2 | 480,639 |
D10:Dic3:34C2 = (C2xC6):8D20 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 120 | | D10:Dic3:34C2 | 480,640 |
D10:Dic3:35C2 = (S3xC10):D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:35C2 | 480,641 |
D10:Dic3:36C2 = (C2xC6):D20 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:36C2 | 480,645 |
D10:Dic3:37C2 = Dic15:18D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 240 | | D10:Dic3:37C2 | 480,647 |
D10:Dic3:38C2 = D30:8D4 | φ: C2/C1 → C2 ⊆ Out D10:Dic3 | 120 | | D10:Dic3:38C2 | 480,653 |
D10:Dic3:39C2 = C4xC15:D4 | φ: trivial image | 240 | | D10:Dic3:39C2 | 480,515 |
D10:Dic3:40C2 = C4xC3:D20 | φ: trivial image | 240 | | D10:Dic3:40C2 | 480,519 |