extension | φ:Q→Out N | d | ρ | Label | ID |
(D4xDic5):1C2 = Dic5:4D8 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):1C2 | 320,383 |
(D4xDic5):2C2 = D4:D5:6C4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):2C2 | 320,412 |
(D4xDic5):3C2 = D8xDic5 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):3C2 | 320,776 |
(D4xDic5):4C2 = Dic5:D8 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):4C2 | 320,777 |
(D4xDic5):5C2 = D8:Dic5 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):5C2 | 320,779 |
(D4xDic5):6C2 = (C2xD8).D5 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):6C2 | 320,780 |
(D4xDic5):7C2 = (C5xD4).D4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):7C2 | 320,792 |
(D4xDic5):8C2 = C42:11D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 80 | | (D4xDic5):8C2 | 320,1217 |
(D4xDic5):9C2 = C42.108D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):9C2 | 320,1218 |
(D4xDic5):10C2 = C24.56D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 80 | | (D4xDic5):10C2 | 320,1258 |
(D4xDic5):11C2 = C24.32D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 80 | | (D4xDic5):11C2 | 320,1259 |
(D4xDic5):12C2 = C24.33D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 80 | | (D4xDic5):12C2 | 320,1263 |
(D4xDic5):13C2 = C24.35D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 80 | | (D4xDic5):13C2 | 320,1265 |
(D4xDic5):14C2 = C20:(C4oD4) | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):14C2 | 320,1268 |
(D4xDic5):15C2 = Dic10:19D4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):15C2 | 320,1270 |
(D4xDic5):16C2 = C4:C4.178D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):16C2 | 320,1272 |
(D4xDic5):17C2 = C10.342+ 1+4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):17C2 | 320,1273 |
(D4xDic5):18C2 = C10.352+ 1+4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):18C2 | 320,1274 |
(D4xDic5):19C2 = C10.362+ 1+4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):19C2 | 320,1275 |
(D4xDic5):20C2 = C4:C4:21D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 80 | | (D4xDic5):20C2 | 320,1278 |
(D4xDic5):21C2 = C10.732- 1+4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):21C2 | 320,1283 |
(D4xDic5):22C2 = C10.432+ 1+4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):22C2 | 320,1286 |
(D4xDic5):23C2 = C10.452+ 1+4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):23C2 | 320,1288 |
(D4xDic5):24C2 = C10.462+ 1+4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 80 | | (D4xDic5):24C2 | 320,1289 |
(D4xDic5):25C2 = C10.1152+ 1+4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):25C2 | 320,1290 |
(D4xDic5):26C2 = C10.472+ 1+4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):26C2 | 320,1291 |
(D4xDic5):27C2 = C4:C4.197D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):27C2 | 320,1321 |
(D4xDic5):28C2 = C10.1222+ 1+4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 80 | | (D4xDic5):28C2 | 320,1330 |
(D4xDic5):29C2 = C10.852- 1+4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):29C2 | 320,1337 |
(D4xDic5):30C2 = C42.234D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):30C2 | 320,1352 |
(D4xDic5):31C2 = C42.143D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):31C2 | 320,1353 |
(D4xDic5):32C2 = C42.144D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):32C2 | 320,1354 |
(D4xDic5):33C2 = C42.166D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):33C2 | 320,1385 |
(D4xDic5):34C2 = C42.238D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):34C2 | 320,1388 |
(D4xDic5):35C2 = Dic10:11D4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):35C2 | 320,1390 |
(D4xDic5):36C2 = C42.168D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):36C2 | 320,1391 |
(D4xDic5):37C2 = C24.38D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 80 | | (D4xDic5):37C2 | 320,1470 |
(D4xDic5):38C2 = D4xC5:D4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 80 | | (D4xDic5):38C2 | 320,1473 |
(D4xDic5):39C2 = C24.42D10 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 80 | | (D4xDic5):39C2 | 320,1478 |
(D4xDic5):40C2 = C10.1042- 1+4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):40C2 | 320,1496 |
(D4xDic5):41C2 = C10.1062- 1+4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 160 | | (D4xDic5):41C2 | 320,1499 |
(D4xDic5):42C2 = C10.1452+ 1+4 | φ: C2/C1 → C2 ⊆ Out D4xDic5 | 80 | | (D4xDic5):42C2 | 320,1501 |
(D4xDic5):43C2 = C4xD4:2D5 | φ: trivial image | 160 | | (D4xDic5):43C2 | 320,1208 |
(D4xDic5):44C2 = C4xD4xD5 | φ: trivial image | 80 | | (D4xDic5):44C2 | 320,1216 |
(D4xDic5):45C2 = C4oD4xDic5 | φ: trivial image | 160 | | (D4xDic5):45C2 | 320,1498 |