extension | φ:Q→Out N | d | ρ | Label | ID |
C10.Q16:1C2 = C20:Q8:C2 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:1C2 | 320,392 |
C10.Q16:2C2 = Dic10.D4 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:2C2 | 320,394 |
C10.Q16:3C2 = (C8xDic5):C2 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:3C2 | 320,395 |
C10.Q16:4C2 = D4:(C4xD5) | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:4C2 | 320,398 |
C10.Q16:5C2 = D4:2D5:C4 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:5C2 | 320,399 |
C10.Q16:6C2 = D4:3D20 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:6C2 | 320,408 |
C10.Q16:7C2 = D4.D20 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:7C2 | 320,410 |
C10.Q16:8C2 = D20.D4 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:8C2 | 320,414 |
C10.Q16:9C2 = D5xQ8:C4 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:9C2 | 320,428 |
C10.Q16:10C2 = (Q8xD5):C4 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:10C2 | 320,429 |
C10.Q16:11C2 = Q8:2D20 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:11C2 | 320,433 |
C10.Q16:12C2 = D10:4Q16 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:12C2 | 320,435 |
C10.Q16:13C2 = Dic5:SD16 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:13C2 | 320,445 |
C10.Q16:14C2 = Dic5:8SD16 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:14C2 | 320,479 |
C10.Q16:15C2 = D10.12SD16 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:15C2 | 320,489 |
C10.Q16:16C2 = C8:8D20 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:16C2 | 320,491 |
C10.Q16:17C2 = C20.(C4oD4) | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:17C2 | 320,494 |
C10.Q16:18C2 = C8.2D20 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:18C2 | 320,495 |
C10.Q16:19C2 = D10.8Q16 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:19C2 | 320,511 |
C10.Q16:20C2 = C8:3D20 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:20C2 | 320,513 |
C10.Q16:21C2 = D10:2Q16 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:21C2 | 320,514 |
C10.Q16:22C2 = C2.D8:7D5 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:22C2 | 320,515 |
C10.Q16:23C2 = C40:21(C2xC4) | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:23C2 | 320,516 |
C10.Q16:24C2 = C4oD20:9C4 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:24C2 | 320,593 |
C10.Q16:25C2 = C4:C4.230D10 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:25C2 | 320,597 |
C10.Q16:26C2 = C4:C4.231D10 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:26C2 | 320,598 |
C10.Q16:27C2 = C4:C4.233D10 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:27C2 | 320,623 |
C10.Q16:28C2 = C4.(C2xD20) | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:28C2 | 320,631 |
C10.Q16:29C2 = D4.1D20 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:29C2 | 320,643 |
C10.Q16:30C2 = C42.51D10 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:30C2 | 320,645 |
C10.Q16:31C2 = D4.2D20 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:31C2 | 320,646 |
C10.Q16:32C2 = Q8.1D20 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:32C2 | 320,655 |
C10.Q16:33C2 = D20:17D4 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:33C2 | 320,664 |
C10.Q16:34C2 = Dic10:17D4 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:34C2 | 320,667 |
C10.Q16:35C2 = C5:2C8:23D4 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:35C2 | 320,668 |
C10.Q16:36C2 = C4.(D4xD5) | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:36C2 | 320,669 |
C10.Q16:37C2 = D20.37D4 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:37C2 | 320,674 |
C10.Q16:38C2 = Dic10.37D4 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:38C2 | 320,677 |
C10.Q16:39C2 = (C2xC10):Q16 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:39C2 | 320,678 |
C10.Q16:40C2 = C5:(C8.D4) | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:40C2 | 320,679 |
C10.Q16:41C2 = C42.216D10 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:41C2 | 320,695 |
C10.Q16:42C2 = C42.82D10 | φ: C2/C1 → C2 ⊆ Out C10.Q16 | 160 | | C10.Q16:42C2 | 320,716 |
C10.Q16:43C2 = C4oD20:10C4 | φ: trivial image | 160 | | C10.Q16:43C2 | 320,629 |
C10.Q16:44C2 = C4xD4.D5 | φ: trivial image | 160 | | C10.Q16:44C2 | 320,644 |