extension | φ:Q→Out N | d | ρ | Label | ID |
D10:C4:1S3 = Dic3.D20 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:1S3 | 480,429 |
D10:C4:2S3 = D10:C4:S3 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:2S3 | 480,528 |
D10:C4:3S3 = D6:D20 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:3S3 | 480,530 |
D10:C4:4S3 = D10.17D12 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:4S3 | 480,490 |
D10:C4:5S3 = D6.9D20 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:5S3 | 480,533 |
D10:C4:6S3 = D30:2D4 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:6S3 | 480,535 |
D10:C4:7S3 = Dic15.10D4 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:7S3 | 480,538 |
D10:C4:8S3 = D30:5D4 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 120 | | D10:C4:8S3 | 480,552 |
D10:C4:9S3 = D30.34D4 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:9S3 | 480,430 |
D10:C4:10S3 = Dic15:13D4 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:10S3 | 480,472 |
D10:C4:11S3 = Dic15:9D4 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:11S3 | 480,518 |
D10:C4:12S3 = D30:12D4 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:12S3 | 480,537 |
D10:C4:13S3 = Dic15.31D4 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:13S3 | 480,540 |
D10:C4:14S3 = D30.27D4 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 120 | | D10:C4:14S3 | 480,549 |
D10:C4:15S3 = D30.D4 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:15S3 | 480,432 |
D10:C4:16S3 = D10.16D12 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:16S3 | 480,489 |
D10:C4:17S3 = Dic15:2D4 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:17S3 | 480,529 |
D10:C4:18S3 = (C2xDic6):D5 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 240 | | D10:C4:18S3 | 480,531 |
D10:C4:19S3 = D30:4D4 | φ: S3/C3 → C2 ⊆ Out D10:C4 | 120 | | D10:C4:19S3 | 480,551 |
D10:C4:20S3 = Dic3:4D20 | φ: trivial image | 240 | | D10:C4:20S3 | 480,471 |
D10:C4:21S3 = C15:17(C4xD4) | φ: trivial image | 240 | | D10:C4:21S3 | 480,517 |