extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xQ8:C4):1C2 = C5xC8:8D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):1C2 | 320,966 |
(C5xQ8:C4):2C2 = C5xC8.18D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):2C2 | 320,968 |
(C5xQ8:C4):3C2 = C5xC42.78C22 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):3C2 | 320,989 |
(C5xQ8:C4):4C2 = D10:4Q16 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):4C2 | 320,435 |
(C5xQ8:C4):5C2 = D10.7Q16 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):5C2 | 320,436 |
(C5xQ8:C4):6C2 = D20:4D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):6C2 | 320,438 |
(C5xQ8:C4):7C2 = (C2xC8).D10 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):7C2 | 320,441 |
(C5xQ8:C4):8C2 = D20.12D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):8C2 | 320,446 |
(C5xQ8:C4):9C2 = Dic10.11D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):9C2 | 320,425 |
(C5xQ8:C4):10C2 = D10.11SD16 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):10C2 | 320,432 |
(C5xQ8:C4):11C2 = Q8:2D20 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):11C2 | 320,433 |
(C5xQ8:C4):12C2 = Q8.D20 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):12C2 | 320,437 |
(C5xQ8:C4):13C2 = D10:1C8.C2 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):13C2 | 320,442 |
(C5xQ8:C4):14C2 = Dic5:SD16 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):14C2 | 320,445 |
(C5xQ8:C4):15C2 = Dic5:7SD16 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):15C2 | 320,415 |
(C5xQ8:C4):16C2 = Q8:C4:D5 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):16C2 | 320,422 |
(C5xQ8:C4):17C2 = Q8:Dic5:C2 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):17C2 | 320,427 |
(C5xQ8:C4):18C2 = D5xQ8:C4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):18C2 | 320,428 |
(C5xQ8:C4):19C2 = (Q8xD5):C4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):19C2 | 320,429 |
(C5xQ8:C4):20C2 = Q8:(C4xD5) | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):20C2 | 320,430 |
(C5xQ8:C4):21C2 = Q8:2D5:C4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):21C2 | 320,431 |
(C5xQ8:C4):22C2 = D10:2SD16 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):22C2 | 320,434 |
(C5xQ8:C4):23C2 = C5:(C8:D4) | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):23C2 | 320,439 |
(C5xQ8:C4):24C2 = D10:Q16 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):24C2 | 320,440 |
(C5xQ8:C4):25C2 = C5:2C8.D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):25C2 | 320,443 |
(C5xQ8:C4):26C2 = Q8:D5:6C4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):26C2 | 320,444 |
(C5xQ8:C4):27C2 = C5xD4:D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):27C2 | 320,950 |
(C5xQ8:C4):28C2 = C5xC22:Q16 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):28C2 | 320,952 |
(C5xQ8:C4):29C2 = C5xD4.2D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):29C2 | 320,964 |
(C5xQ8:C4):30C2 = C5xC23.48D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):30C2 | 320,985 |
(C5xQ8:C4):31C2 = C5xQ8:D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):31C2 | 320,949 |
(C5xQ8:C4):32C2 = C5xD4.7D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):32C2 | 320,953 |
(C5xQ8:C4):33C2 = C5xD4.D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):33C2 | 320,962 |
(C5xQ8:C4):34C2 = C5xQ8.D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):34C2 | 320,965 |
(C5xQ8:C4):35C2 = C5xC23.47D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):35C2 | 320,984 |
(C5xQ8:C4):36C2 = C5xC23.20D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):36C2 | 320,986 |
(C5xQ8:C4):37C2 = C5xC23.36D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):37C2 | 320,918 |
(C5xQ8:C4):38C2 = C5xC23.38D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):38C2 | 320,920 |
(C5xQ8:C4):39C2 = C5xSD16:C4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):39C2 | 320,941 |
(C5xQ8:C4):40C2 = C5xC8:D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):40C2 | 320,969 |
(C5xQ8:C4):41C2 = C5xC8.D4 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):41C2 | 320,971 |
(C5xQ8:C4):42C2 = C5xC42.28C22 | φ: C2/C1 → C2 ⊆ Out C5xQ8:C4 | 160 | | (C5xQ8:C4):42C2 | 320,990 |
(C5xQ8:C4):43C2 = C5xC23.24D4 | φ: trivial image | 160 | | (C5xQ8:C4):43C2 | 320,917 |
(C5xQ8:C4):44C2 = SD16xC20 | φ: trivial image | 160 | | (C5xQ8:C4):44C2 | 320,939 |