extension | φ:Q→Out N | d | ρ | Label | ID |
(C2xD4.D5):1C2 = D20.2D4 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 80 | 8- | (C2xD4.D5):1C2 | 320,375 |
(C2xD4.D5):2C2 = Dic10:2D4 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):2C2 | 320,389 |
(C2xD4.D5):3C2 = D20.8D4 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 80 | | (C2xD4.D5):3C2 | 320,403 |
(C2xD4.D5):4C2 = D10:SD16 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):4C2 | 320,405 |
(C2xD4.D5):5C2 = C5:2C8:D4 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):5C2 | 320,407 |
(C2xD4.D5):6C2 = D4.D20 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):6C2 | 320,410 |
(C2xD4.D5):7C2 = D4.1D20 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):7C2 | 320,643 |
(C2xD4.D5):8C2 = D20:17D4 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):8C2 | 320,664 |
(C2xD4.D5):9C2 = Dic10:17D4 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):9C2 | 320,667 |
(C2xD4.D5):10C2 = C5:2C8:23D4 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):10C2 | 320,668 |
(C2xD4.D5):11C2 = C4.(D4xD5) | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):11C2 | 320,669 |
(C2xD4.D5):12C2 = C42.214D10 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):12C2 | 320,686 |
(C2xD4.D5):13C2 = C42.74D10 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):13C2 | 320,701 |
(C2xD4.D5):14C2 = Dic10:9D4 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):14C2 | 320,702 |
(C2xD4.D5):15C2 = C20:4SD16 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):15C2 | 320,703 |
(C2xD4.D5):16C2 = (C2xD8).D5 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):16C2 | 320,780 |
(C2xD4.D5):17C2 = C40:11D4 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):17C2 | 320,781 |
(C2xD4.D5):18C2 = C40.22D4 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):18C2 | 320,782 |
(C2xD4.D5):19C2 = Dic10:D4 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):19C2 | 320,785 |
(C2xD4.D5):20C2 = D10:8SD16 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):20C2 | 320,797 |
(C2xD4.D5):21C2 = C40:15D4 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):21C2 | 320,802 |
(C2xD4.D5):22C2 = M4(2).13D10 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 80 | 8- | (C2xD4.D5):22C2 | 320,827 |
(C2xD4.D5):23C2 = (C5xD4).31D4 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 80 | | (C2xD4.D5):23C2 | 320,845 |
(C2xD4.D5):24C2 = (C5xD4).32D4 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):24C2 | 320,866 |
(C2xD4.D5):25C2 = C2xD8:D5 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 80 | | (C2xD4.D5):25C2 | 320,1427 |
(C2xD4.D5):26C2 = C2xD8:3D5 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):26C2 | 320,1428 |
(C2xD4.D5):27C2 = C2xD5xSD16 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 80 | | (C2xD4.D5):27C2 | 320,1430 |
(C2xD4.D5):28C2 = C2xSD16:D5 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):28C2 | 320,1432 |
(C2xD4.D5):29C2 = D8:6D10 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 80 | 8- | (C2xD4.D5):29C2 | 320,1447 |
(C2xD4.D5):30C2 = C2xD4.D10 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 80 | | (C2xD4.D5):30C2 | 320,1465 |
(C2xD4.D5):31C2 = C2xD4.9D10 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 160 | | (C2xD4.D5):31C2 | 320,1495 |
(C2xD4.D5):32C2 = D20.33C23 | φ: C2/C1 → C2 ⊆ Out C2xD4.D5 | 80 | 8- | (C2xD4.D5):32C2 | 320,1508 |
(C2xD4.D5):33C2 = C2xD4.8D10 | φ: trivial image | 160 | | (C2xD4.D5):33C2 | 320,1493 |