extension | φ:Q→Out N | d | ρ | Label | ID |
C2.D56:1C2 = C4.5D56 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:1C2 | 448,228 |
C2.D56:2C2 = C56:30D4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:2C2 | 448,648 |
C2.D56:3C2 = C56:29D4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:3C2 | 448,649 |
C2.D56:4C2 = D28:13D4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 112 | | C2.D56:4C2 | 448,266 |
C2.D56:5C2 = D28.32D4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:5C2 | 448,267 |
C2.D56:6C2 = C22.D56 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:6C2 | 448,270 |
C2.D56:7C2 = C4:D56 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:7C2 | 448,377 |
C2.D56:8C2 = D28.31D4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 112 | | C2.D56:8C2 | 448,265 |
C2.D56:9C2 = D28:14D4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:9C2 | 448,268 |
C2.D56:10C2 = C23.38D28 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:10C2 | 448,269 |
C2.D56:11C2 = C23.13D28 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:11C2 | 448,271 |
C2.D56:12C2 = D28.19D4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:12C2 | 448,378 |
C2.D56:13C2 = Dic14:8D4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:13C2 | 448,382 |
C2.D56:14C2 = Dic7:4D8 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:14C2 | 448,290 |
C2.D56:15C2 = Dic7.SD16 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:15C2 | 448,294 |
C2.D56:16C2 = C4:C4.D14 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:16C2 | 448,298 |
C2.D56:17C2 = D7xD4:C4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 112 | | C2.D56:17C2 | 448,303 |
C2.D56:18C2 = (D4xD7):C4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 112 | | C2.D56:18C2 | 448,304 |
C2.D56:19C2 = D14:D8 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:19C2 | 448,309 |
C2.D56:20C2 = C7:C8:D4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:20C2 | 448,316 |
C2.D56:21C2 = D4:D7:C4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:21C2 | 448,319 |
C2.D56:22C2 = Q8:(C4xD7) | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:22C2 | 448,337 |
C2.D56:23C2 = Q8:2D7:C4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:23C2 | 448,338 |
C2.D56:24C2 = D14:2SD16 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:24C2 | 448,341 |
C2.D56:25C2 = C7:(C8:D4) | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:25C2 | 448,346 |
C2.D56:26C2 = D14.5D8 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:26C2 | 448,416 |
C2.D56:27C2 = C2.D8:D7 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:27C2 | 448,419 |
C2.D56:28C2 = Dic7:D8 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:28C2 | 448,684 |
C2.D56:29C2 = D28:D4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 112 | | C2.D56:29C2 | 448,690 |
C2.D56:30C2 = D28.17D4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:30C2 | 448,721 |
C2.D56:31C2 = D14.4SD16 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:31C2 | 448,397 |
C2.D56:32C2 = C4.Q8:D7 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:32C2 | 448,400 |
C2.D56:33C2 = Dic7:5SD16 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:33C2 | 448,697 |
C2.D56:34C2 = (C7xD4).D4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:34C2 | 448,699 |
C2.D56:35C2 = D14:6SD16 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 112 | | C2.D56:35C2 | 448,703 |
C2.D56:36C2 = D28:7D4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:36C2 | 448,706 |
C2.D56:37C2 = D56:C4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:37C2 | 448,245 |
C2.D56:38C2 = C42.19D14 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:38C2 | 448,247 |
C2.D56:39C2 = C23.48D28 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 112 | | C2.D56:39C2 | 448,665 |
C2.D56:40C2 = C23.49D28 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:40C2 | 448,667 |
C2.D56:41C2 = C56:2D4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:41C2 | 448,668 |
C2.D56:42C2 = C56:3D4 | φ: C2/C1 → C2 ⊆ Out C2.D56 | 224 | | C2.D56:42C2 | 448,669 |
C2.D56:43C2 = C4xD56 | φ: trivial image | 224 | | C2.D56:43C2 | 448,226 |
C2.D56:44C2 = C23.23D28 | φ: trivial image | 224 | | C2.D56:44C2 | 448,647 |