extension | φ:Q→Out N | d | ρ | Label | ID |
(C4xQ16):1C2 = C4xSD32 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):1C2 | 128,905 |
(C4xQ16):2C2 = Q16:2D4 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):2C2 | 128,939 |
(C4xQ16):3C2 = C42.384D4 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):3C2 | 128,1834 |
(C4xQ16):4C2 = C42.224D4 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):4C2 | 128,1836 |
(C4xQ16):5C2 = C42.358C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):5C2 | 128,1856 |
(C4xQ16):6C2 = C42.361C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):6C2 | 128,1859 |
(C4xQ16):7C2 = C42.308D4 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):7C2 | 128,1900 |
(C4xQ16):8C2 = C42.367D4 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):8C2 | 128,1902 |
(C4xQ16):9C2 = D4xQ16 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):9C2 | 128,2018 |
(C4xQ16):10C2 = Q16:13D4 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):10C2 | 128,2019 |
(C4xQ16):11C2 = D4:5Q16 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):11C2 | 128,2031 |
(C4xQ16):12C2 = C42.465C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):12C2 | 128,2032 |
(C4xQ16):13C2 = C42.469C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):13C2 | 128,2036 |
(C4xQ16):14C2 = D4:6Q16 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):14C2 | 128,2070 |
(C4xQ16):15C2 = C42.491C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):15C2 | 128,2074 |
(C4xQ16):16C2 = C42.505C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):16C2 | 128,2096 |
(C4xQ16):17C2 = C42.506C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):17C2 | 128,2097 |
(C4xQ16):18C2 = C42.530C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):18C2 | 128,2128 |
(C4xQ16):19C2 = Q16.5D4 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):19C2 | 128,943 |
(C4xQ16):20C2 = C42.451D4 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):20C2 | 128,1839 |
(C4xQ16):21C2 = C42.226D4 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):21C2 | 128,1840 |
(C4xQ16):22C2 = C42.354C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):22C2 | 128,1852 |
(C4xQ16):23C2 = C42.355C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):23C2 | 128,1853 |
(C4xQ16):24C2 = Q16:12D4 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):24C2 | 128,2017 |
(C4xQ16):25C2 = C42.485C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):25C2 | 128,2068 |
(C4xQ16):26C2 = C42.527C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):26C2 | 128,2125 |
(C4xQ16):27C2 = C4xC8.C22 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):27C2 | 128,1677 |
(C4xQ16):28C2 = C42.276C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):28C2 | 128,1679 |
(C4xQ16):29C2 = C42.256D4 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):29C2 | 128,1904 |
(C4xQ16):30C2 = C42.390C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):30C2 | 128,1910 |
(C4xQ16):31C2 = Q16:4D4 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):31C2 | 128,2009 |
(C4xQ16):32C2 = Q16:5D4 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):32C2 | 128,2010 |
(C4xQ16):33C2 = C42.493C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):33C2 | 128,2084 |
(C4xQ16):34C2 = C42.497C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):34C2 | 128,2088 |
(C4xQ16):35C2 = C42.75C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):35C2 | 128,2132 |
(C4xQ16):36C2 = C42.532C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):36C2 | 128,2134 |
(C4xQ16):37C2 = SD32:3C4 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):37C2 | 128,907 |
(C4xQ16):38C2 = C42.279C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):38C2 | 128,1682 |
(C4xQ16):39C2 = C42.280C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):39C2 | 128,1683 |
(C4xQ16):40C2 = C42.387C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):40C2 | 128,1907 |
(C4xQ16):41C2 = C42.389C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):41C2 | 128,1909 |
(C4xQ16):42C2 = C42.476C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):42C2 | 128,2059 |
(C4xQ16):43C2 = C42.477C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):43C2 | 128,2060 |
(C4xQ16):44C2 = C42.482C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):44C2 | 128,2065 |
(C4xQ16):45C2 = C42.516C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):45C2 | 128,2107 |
(C4xQ16):46C2 = C42.518C23 | φ: C2/C1 → C2 ⊆ Out C4xQ16 | 64 | | (C4xQ16):46C2 | 128,2109 |
(C4xQ16):47C2 = C4xC4oD8 | φ: trivial image | 64 | | (C4xQ16):47C2 | 128,1671 |