extension | φ:Q→Out N | d | ρ | Label | ID |
C4:C4.1(C2xC10) = C5xQ8:D4 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.1(C2xC10) | 320,949 |
C4:C4.2(C2xC10) = C5xD4:D4 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.2(C2xC10) | 320,950 |
C4:C4.3(C2xC10) = C5xC22:Q16 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.3(C2xC10) | 320,952 |
C4:C4.4(C2xC10) = C5xD4.7D4 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.4(C2xC10) | 320,953 |
C4:C4.5(C2xC10) = C5xC8:8D4 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.5(C2xC10) | 320,966 |
C4:C4.6(C2xC10) = C5xC8:7D4 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.6(C2xC10) | 320,967 |
C4:C4.7(C2xC10) = C5xC8.18D4 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.7(C2xC10) | 320,968 |
C4:C4.8(C2xC10) = C5xC8:D4 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.8(C2xC10) | 320,969 |
C4:C4.9(C2xC10) = C5xC8:2D4 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.9(C2xC10) | 320,970 |
C4:C4.10(C2xC10) = C5xC8.D4 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.10(C2xC10) | 320,971 |
C4:C4.11(C2xC10) = C5xD4:Q8 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.11(C2xC10) | 320,975 |
C4:C4.12(C2xC10) = C5xQ8:Q8 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.12(C2xC10) | 320,976 |
C4:C4.13(C2xC10) = C5xD4:2Q8 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.13(C2xC10) | 320,977 |
C4:C4.14(C2xC10) = C5xC4.Q16 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.14(C2xC10) | 320,978 |
C4:C4.15(C2xC10) = C5xD4.Q8 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.15(C2xC10) | 320,979 |
C4:C4.16(C2xC10) = C5xQ8.Q8 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.16(C2xC10) | 320,980 |
C4:C4.17(C2xC10) = C5xC4.4D8 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.17(C2xC10) | 320,987 |
C4:C4.18(C2xC10) = C5xC4.SD16 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.18(C2xC10) | 320,988 |
C4:C4.19(C2xC10) = C5xC42.78C22 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.19(C2xC10) | 320,989 |
C4:C4.20(C2xC10) = C5xC42.28C22 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.20(C2xC10) | 320,990 |
C4:C4.21(C2xC10) = C5xC42.29C22 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.21(C2xC10) | 320,991 |
C4:C4.22(C2xC10) = C5xC42.30C22 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.22(C2xC10) | 320,992 |
C4:C4.23(C2xC10) = C5xC8:3Q8 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.23(C2xC10) | 320,999 |
C4:C4.24(C2xC10) = C5xC8.5Q8 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.24(C2xC10) | 320,1000 |
C4:C4.25(C2xC10) = C5xC8:2Q8 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.25(C2xC10) | 320,1001 |
C4:C4.26(C2xC10) = C5xC8:Q8 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.26(C2xC10) | 320,1002 |
C4:C4.27(C2xC10) = C5xC23.38C23 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.27(C2xC10) | 320,1538 |
C4:C4.28(C2xC10) = C5xC22.31C24 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.28(C2xC10) | 320,1539 |
C4:C4.29(C2xC10) = C5xC22.34C24 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.29(C2xC10) | 320,1542 |
C4:C4.30(C2xC10) = C5xC23.41C23 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.30(C2xC10) | 320,1546 |
C4:C4.31(C2xC10) = C5xD4:6D4 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.31(C2xC10) | 320,1549 |
C4:C4.32(C2xC10) = C5xD4xQ8 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.32(C2xC10) | 320,1551 |
C4:C4.33(C2xC10) = C5xC22.46C24 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.33(C2xC10) | 320,1554 |
C4:C4.34(C2xC10) = C5xC22.56C24 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.34(C2xC10) | 320,1564 |
C4:C4.35(C2xC10) = C5xC22.57C24 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 160 | | C4:C4.35(C2xC10) | 320,1565 |
C4:C4.36(C2xC10) = C5xC22.58C24 | φ: C2xC10/C5 → C22 ⊆ Out C4:C4 | 320 | | C4:C4.36(C2xC10) | 320,1566 |
C4:C4.37(C2xC10) = C10xQ8:C4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.37(C2xC10) | 320,916 |
C4:C4.38(C2xC10) = C5xC23.24D4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.38(C2xC10) | 320,917 |
C4:C4.39(C2xC10) = C5xC23.36D4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.39(C2xC10) | 320,918 |
C4:C4.40(C2xC10) = C5xC23.38D4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.40(C2xC10) | 320,920 |
C4:C4.41(C2xC10) = C10xC4.Q8 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.41(C2xC10) | 320,926 |
C4:C4.42(C2xC10) = C10xC2.D8 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.42(C2xC10) | 320,927 |
C4:C4.43(C2xC10) = C5xC23.25D4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.43(C2xC10) | 320,928 |
C4:C4.44(C2xC10) = C5xM4(2):C4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.44(C2xC10) | 320,929 |
C4:C4.45(C2xC10) = D8xC20 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.45(C2xC10) | 320,938 |
C4:C4.46(C2xC10) = SD16xC20 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.46(C2xC10) | 320,939 |
C4:C4.47(C2xC10) = Q16xC20 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.47(C2xC10) | 320,940 |
C4:C4.48(C2xC10) = C5xSD16:C4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.48(C2xC10) | 320,941 |
C4:C4.49(C2xC10) = C5xQ16:C4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.49(C2xC10) | 320,942 |
C4:C4.50(C2xC10) = C5xD8:C4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.50(C2xC10) | 320,943 |
C4:C4.51(C2xC10) = C5xC4:D8 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.51(C2xC10) | 320,960 |
C4:C4.52(C2xC10) = C5xC4:SD16 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.52(C2xC10) | 320,961 |
C4:C4.53(C2xC10) = C5xD4.D4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.53(C2xC10) | 320,962 |
C4:C4.54(C2xC10) = C5xC4:2Q16 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.54(C2xC10) | 320,963 |
C4:C4.55(C2xC10) = C5xD4.2D4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.55(C2xC10) | 320,964 |
C4:C4.56(C2xC10) = C5xQ8.D4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.56(C2xC10) | 320,965 |
C4:C4.57(C2xC10) = C5xC22.D8 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.57(C2xC10) | 320,981 |
C4:C4.58(C2xC10) = C5xC23.46D4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.58(C2xC10) | 320,982 |
C4:C4.59(C2xC10) = C5xC23.19D4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.59(C2xC10) | 320,983 |
C4:C4.60(C2xC10) = C5xC23.47D4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.60(C2xC10) | 320,984 |
C4:C4.61(C2xC10) = C5xC23.48D4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.61(C2xC10) | 320,985 |
C4:C4.62(C2xC10) = C5xC23.20D4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.62(C2xC10) | 320,986 |
C4:C4.63(C2xC10) = C10xC42.C2 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.63(C2xC10) | 320,1529 |
C4:C4.64(C2xC10) = C5xC23.36C23 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.64(C2xC10) | 320,1531 |
C4:C4.65(C2xC10) = C10xC4:Q8 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.65(C2xC10) | 320,1533 |
C4:C4.66(C2xC10) = C5xC22.26C24 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.66(C2xC10) | 320,1534 |
C4:C4.67(C2xC10) = C5xC23.37C23 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.67(C2xC10) | 320,1535 |
C4:C4.68(C2xC10) = C5xC22.33C24 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.68(C2xC10) | 320,1541 |
C4:C4.69(C2xC10) = C5xC22.35C24 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.69(C2xC10) | 320,1543 |
C4:C4.70(C2xC10) = C5xC22.36C24 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.70(C2xC10) | 320,1544 |
C4:C4.71(C2xC10) = C5xQ8:5D4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.71(C2xC10) | 320,1550 |
C4:C4.72(C2xC10) = C5xQ8:6D4 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.72(C2xC10) | 320,1552 |
C4:C4.73(C2xC10) = C5xC22.47C24 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.73(C2xC10) | 320,1555 |
C4:C4.74(C2xC10) = C5xD4:3Q8 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.74(C2xC10) | 320,1556 |
C4:C4.75(C2xC10) = C5xC22.49C24 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.75(C2xC10) | 320,1557 |
C4:C4.76(C2xC10) = C5xC22.50C24 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.76(C2xC10) | 320,1558 |
C4:C4.77(C2xC10) = C5xQ8:3Q8 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.77(C2xC10) | 320,1559 |
C4:C4.78(C2xC10) = C5xQ82 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 320 | | C4:C4.78(C2xC10) | 320,1560 |
C4:C4.79(C2xC10) = C5xC22.53C24 | φ: C2xC10/C10 → C2 ⊆ Out C4:C4 | 160 | | C4:C4.79(C2xC10) | 320,1561 |
C4:C4.80(C2xC10) = Q8xC2xC20 | φ: trivial image | 320 | | C4:C4.80(C2xC10) | 320,1518 |
C4:C4.81(C2xC10) = C4oD4xC20 | φ: trivial image | 160 | | C4:C4.81(C2xC10) | 320,1519 |
C4:C4.82(C2xC10) = C5xC23.32C23 | φ: trivial image | 160 | | C4:C4.82(C2xC10) | 320,1521 |
C4:C4.83(C2xC10) = C5xC23.33C23 | φ: trivial image | 160 | | C4:C4.83(C2xC10) | 320,1522 |