extension | φ:Q→Out N | d | ρ | Label | ID |
D10:C4.1C4 = C5:C8:D4 | φ: C4/C1 → C4 ⊆ Out D10:C4 | 160 | | D10:C4.1C4 | 320,1031 |
D10:C4.2C4 = D10:M4(2) | φ: C4/C1 → C4 ⊆ Out D10:C4 | 160 | | D10:C4.2C4 | 320,1032 |
D10:C4.3C4 = C20:M4(2) | φ: C4/C1 → C4 ⊆ Out D10:C4 | 160 | | D10:C4.3C4 | 320,1043 |
D10:C4.4C4 = C4:C4.9F5 | φ: C4/C1 → C4 ⊆ Out D10:C4 | 160 | | D10:C4.4C4 | 320,1046 |
D10:C4.5C4 = C5:C8:8D4 | φ: C4/C1 → C4 ⊆ Out D10:C4 | 160 | | D10:C4.5C4 | 320,1030 |
D10:C4.6C4 = Dic5:M4(2) | φ: C4/C1 → C4 ⊆ Out D10:C4 | 160 | | D10:C4.6C4 | 320,1033 |
D10:C4.7C4 = D10.C42 | φ: C4/C1 → C4 ⊆ Out D10:C4 | 160 | | D10:C4.7C4 | 320,1039 |
D10:C4.8C4 = D20:2C8 | φ: C4/C1 → C4 ⊆ Out D10:C4 | 160 | | D10:C4.8C4 | 320,1040 |
D10:C4.9C4 = D10:2M4(2) | φ: C4/C1 → C4 ⊆ Out D10:C4 | 160 | | D10:C4.9C4 | 320,1042 |
D10:C4.10C4 = C4:C4.7F5 | φ: C4/C1 → C4 ⊆ Out D10:C4 | 160 | | D10:C4.10C4 | 320,1044 |
D10:C4.11C4 = C8:6D20 | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.11C4 | 320,315 |
D10:C4.12C4 = C42.243D10 | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.12C4 | 320,317 |
D10:C4.13C4 = C40:32D4 | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.13C4 | 320,738 |
D10:C4.14C4 = C8:9D20 | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.14C4 | 320,333 |
D10:C4.15C4 = D10:4M4(2) | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.15C4 | 320,355 |
D10:C4.16C4 = Dic5:2M4(2) | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.16C4 | 320,356 |
D10:C4.17C4 = D10.7C42 | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.17C4 | 320,335 |
D10:C4.18C4 = C42.185D10 | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.18C4 | 320,336 |
D10:C4.19C4 = C5:5(C8xD4) | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.19C4 | 320,352 |
D10:C4.20C4 = C5:2C8:26D4 | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.20C4 | 320,357 |
D10:C4.21C4 = D20:5C8 | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.21C4 | 320,461 |
D10:C4.22C4 = C20:6M4(2) | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.22C4 | 320,465 |
D10:C4.23C4 = D10:5M4(2) | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.23C4 | 320,463 |
D10:C4.24C4 = C42.30D10 | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.24C4 | 320,466 |
D10:C4.25C4 = C42.31D10 | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.25C4 | 320,467 |
D10:C4.26C4 = C40:D4 | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.26C4 | 320,754 |
D10:C4.27C4 = C40:18D4 | φ: C4/C2 → C2 ⊆ Out D10:C4 | 160 | | D10:C4.27C4 | 320,755 |
D10:C4.28C4 = C8xD20 | φ: trivial image | 160 | | D10:C4.28C4 | 320,313 |
D10:C4.29C4 = D10.5C42 | φ: trivial image | 160 | | D10:C4.29C4 | 320,316 |
D10:C4.30C4 = C8xC5:D4 | φ: trivial image | 160 | | D10:C4.30C4 | 320,736 |