extension | φ:Q→Out N | d | ρ | Label | ID |
(C4xC4:C4):1C2 = C42.403D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 32 | | (C4xC4:C4):1C2 | 128,234 |
(C4xC4:C4):2C2 = C42.57D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 32 | | (C4xC4:C4):2C2 | 128,241 |
(C4xC4:C4):3C2 = C4xD4:C4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):3C2 | 128,492 |
(C4xC4:C4):4C2 = D4:C42 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):4C2 | 128,494 |
(C4xC4:C4):5C2 = C42.102D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 32 | | (C4xC4:C4):5C2 | 128,538 |
(C4xC4:C4):6C2 = D4:C4:C4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):6C2 | 128,657 |
(C4xC4:C4):7C2 = C4.67(C4xD4) | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):7C2 | 128,658 |
(C4xC4:C4):8C2 = M4(2):13D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 32 | | (C4xC4:C4):8C2 | 128,712 |
(C4xC4:C4):9C2 = C42.118D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):9C2 | 128,714 |
(C4xC4:C4):10C2 = C42.119D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):10C2 | 128,715 |
(C4xC4:C4):11C2 = C24.524C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):11C2 | 128,1006 |
(C4xC4:C4):12C2 = D4:4C42 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):12C2 | 128,1007 |
(C4xC4:C4):13C2 = C23.165C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):13C2 | 128,1015 |
(C4xC4:C4):14C2 = C23.167C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):14C2 | 128,1017 |
(C4xC4:C4):15C2 = C42:42D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):15C2 | 128,1022 |
(C4xC4:C4):16C2 = C43:9C2 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):16C2 | 128,1025 |
(C4xC4:C4):17C2 = C23.178C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):17C2 | 128,1028 |
(C4xC4:C4):18C2 = C43:2C2 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):18C2 | 128,1030 |
(C4xC4:C4):19C2 = C4xC4:D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):19C2 | 128,1032 |
(C4xC4:C4):20C2 = C4xC22.D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):20C2 | 128,1033 |
(C4xC4:C4):21C2 = C4xC22:Q8 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):21C2 | 128,1034 |
(C4xC4:C4):22C2 = C4xC42:2C2 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):22C2 | 128,1036 |
(C4xC4:C4):23C2 = C24.192C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):23C2 | 128,1046 |
(C4xC4:C4):24C2 = C23.201C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):24C2 | 128,1051 |
(C4xC4:C4):25C2 = C42.159D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):25C2 | 128,1055 |
(C4xC4:C4):26C2 = C42:13D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):26C2 | 128,1056 |
(C4xC4:C4):27C2 = C23.214C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):27C2 | 128,1064 |
(C4xC4:C4):28C2 = C24.203C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):28C2 | 128,1066 |
(C4xC4:C4):29C2 = C24.204C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):29C2 | 128,1067 |
(C4xC4:C4):30C2 = C24.205C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):30C2 | 128,1069 |
(C4xC4:C4):31C2 = C23.225C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):31C2 | 128,1075 |
(C4xC4:C4):32C2 = C23.226C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):32C2 | 128,1076 |
(C4xC4:C4):33C2 = C23.227C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):33C2 | 128,1077 |
(C4xC4:C4):34C2 = C24.208C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):34C2 | 128,1078 |
(C4xC4:C4):35C2 = C23.229C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):35C2 | 128,1079 |
(C4xC4:C4):36C2 = D4xC4:C4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):36C2 | 128,1080 |
(C4xC4:C4):37C2 = C23.231C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):37C2 | 128,1081 |
(C4xC4:C4):38C2 = C23.234C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):38C2 | 128,1084 |
(C4xC4:C4):39C2 = C23.236C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):39C2 | 128,1086 |
(C4xC4:C4):40C2 = C24.212C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):40C2 | 128,1089 |
(C4xC4:C4):41C2 = C23.241C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):41C2 | 128,1091 |
(C4xC4:C4):42C2 = C24.558C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):42C2 | 128,1092 |
(C4xC4:C4):43C2 = C24.215C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):43C2 | 128,1093 |
(C4xC4:C4):44C2 = C23.244C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):44C2 | 128,1094 |
(C4xC4:C4):45C2 = C24.217C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):45C2 | 128,1095 |
(C4xC4:C4):46C2 = C24.219C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):46C2 | 128,1098 |
(C4xC4:C4):47C2 = C24.220C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):47C2 | 128,1099 |
(C4xC4:C4):48C2 = C23.250C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):48C2 | 128,1100 |
(C4xC4:C4):49C2 = C23.255C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):49C2 | 128,1105 |
(C4xC4:C4):50C2 = C24.223C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):50C2 | 128,1106 |
(C4xC4:C4):51C2 = C42:15D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):51C2 | 128,1124 |
(C4xC4:C4):52C2 = C23.295C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):52C2 | 128,1127 |
(C4xC4:C4):53C2 = C42.162D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):53C2 | 128,1128 |
(C4xC4:C4):54C2 = C23.301C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):54C2 | 128,1133 |
(C4xC4:C4):55C2 = C23.345C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):55C2 | 128,1177 |
(C4xC4:C4):56C2 = C24.271C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):56C2 | 128,1179 |
(C4xC4:C4):57C2 = C23.348C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):57C2 | 128,1180 |
(C4xC4:C4):58C2 = C23.352C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):58C2 | 128,1184 |
(C4xC4:C4):59C2 = C23.354C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):59C2 | 128,1186 |
(C4xC4:C4):60C2 = C24.282C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):60C2 | 128,1193 |
(C4xC4:C4):61C2 = C23.368C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):61C2 | 128,1200 |
(C4xC4:C4):62C2 = C23.369C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):62C2 | 128,1201 |
(C4xC4:C4):63C2 = C23.374C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):63C2 | 128,1206 |
(C4xC4:C4):64C2 = C23.375C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):64C2 | 128,1207 |
(C4xC4:C4):65C2 = C24.295C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):65C2 | 128,1210 |
(C4xC4:C4):66C2 = C23.379C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):66C2 | 128,1211 |
(C4xC4:C4):67C2 = C24.301C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):67C2 | 128,1221 |
(C4xC4:C4):68C2 = C23.390C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):68C2 | 128,1222 |
(C4xC4:C4):69C2 = C23.391C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):69C2 | 128,1223 |
(C4xC4:C4):70C2 = C23.392C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):70C2 | 128,1224 |
(C4xC4:C4):71C2 = C24.304C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):71C2 | 128,1226 |
(C4xC4:C4):72C2 = C23.395C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):72C2 | 128,1227 |
(C4xC4:C4):73C2 = C23.396C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):73C2 | 128,1228 |
(C4xC4:C4):74C2 = C23.397C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):74C2 | 128,1229 |
(C4xC4:C4):75C2 = C23.412C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):75C2 | 128,1244 |
(C4xC4:C4):76C2 = C23.413C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):76C2 | 128,1245 |
(C4xC4:C4):77C2 = C24.309C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):77C2 | 128,1247 |
(C4xC4:C4):78C2 = C23.416C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):78C2 | 128,1248 |
(C4xC4:C4):79C2 = C23.419C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):79C2 | 128,1251 |
(C4xC4:C4):80C2 = C24.311C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):80C2 | 128,1253 |
(C4xC4:C4):81C2 = C23.422C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):81C2 | 128,1254 |
(C4xC4:C4):82C2 = C23.425C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):82C2 | 128,1257 |
(C4xC4:C4):83C2 = C23.429C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):83C2 | 128,1261 |
(C4xC4:C4):84C2 = C23.432C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):84C2 | 128,1264 |
(C4xC4:C4):85C2 = C42:19D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):85C2 | 128,1272 |
(C4xC4:C4):86C2 = C42:20D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):86C2 | 128,1273 |
(C4xC4:C4):87C2 = C42.167D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):87C2 | 128,1274 |
(C4xC4:C4):88C2 = C42:21D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):88C2 | 128,1276 |
(C4xC4:C4):89C2 = C42.168D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):89C2 | 128,1277 |
(C4xC4:C4):90C2 = C42.170D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):90C2 | 128,1279 |
(C4xC4:C4):91C2 = C42.171D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):91C2 | 128,1280 |
(C4xC4:C4):92C2 = C24.327C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):92C2 | 128,1286 |
(C4xC4:C4):93C2 = C23.456C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):93C2 | 128,1288 |
(C4xC4:C4):94C2 = C23.458C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):94C2 | 128,1290 |
(C4xC4:C4):95C2 = C24.332C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):95C2 | 128,1292 |
(C4xC4:C4):96C2 = C42.172D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):96C2 | 128,1294 |
(C4xC4:C4):97C2 = C42.173D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):97C2 | 128,1295 |
(C4xC4:C4):98C2 = C42.175D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):98C2 | 128,1298 |
(C4xC4:C4):99C2 = C23.473C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):99C2 | 128,1305 |
(C4xC4:C4):100C2 = C24.338C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):100C2 | 128,1306 |
(C4xC4:C4):101C2 = C24.339C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):101C2 | 128,1307 |
(C4xC4:C4):102C2 = C24.341C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):102C2 | 128,1309 |
(C4xC4:C4):103C2 = C24.345C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):103C2 | 128,1319 |
(C4xC4:C4):104C2 = C24.346C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):104C2 | 128,1321 |
(C4xC4:C4):105C2 = C42.182D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):105C2 | 128,1324 |
(C4xC4:C4):106C2 = C23.493C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):106C2 | 128,1325 |
(C4xC4:C4):107C2 = C23.494C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):107C2 | 128,1326 |
(C4xC4:C4):108C2 = C24.347C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):108C2 | 128,1327 |
(C4xC4:C4):109C2 = C23.496C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):109C2 | 128,1328 |
(C4xC4:C4):110C2 = C24.348C23 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):110C2 | 128,1329 |
(C4xC4:C4):111C2 = C42:23D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):111C2 | 128,1333 |
(C4xC4:C4):112C2 = C23.550C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):112C2 | 128,1382 |
(C4xC4:C4):113C2 = C23.551C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):113C2 | 128,1383 |
(C4xC4:C4):114C2 = C23.554C24 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):114C2 | 128,1386 |
(C4xC4:C4):115C2 = C42:32D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):115C2 | 128,1394 |
(C4xC4:C4):116C2 = C42.198D4 | φ: C2/C1 → C2 ⊆ Out C4xC4:C4 | 64 | | (C4xC4:C4):116C2 | 128,1396 |
(C4xC4:C4):117C2 = C4xC42:C2 | φ: trivial image | 64 | | (C4xC4:C4):117C2 | 128,1002 |
(C4xC4:C4):118C2 = D4xC42 | φ: trivial image | 64 | | (C4xC4:C4):118C2 | 128,1003 |