extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xC3:S3):1C4 = C32:F5:C2 | φ: C4/C1 → C4 ⊆ Out C5xC3:S3 | 30 | 8+ | (C5xC3:S3):1C4 | 360,131 |
(C5xC3:S3):2C4 = C3:S3xF5 | φ: C4/C1 → C4 ⊆ Out C5xC3:S3 | 45 | | (C5xC3:S3):2C4 | 360,127 |
(C5xC3:S3):3C4 = C3:F5:S3 | φ: C4/C1 → C4 ⊆ Out C5xC3:S3 | 30 | 8+ | (C5xC3:S3):3C4 | 360,129 |
(C5xC3:S3):4C4 = C3:S3xDic5 | φ: C4/C2 → C2 ⊆ Out C5xC3:S3 | 180 | | (C5xC3:S3):4C4 | 360,66 |
(C5xC3:S3):5C4 = Dic15:S3 | φ: C4/C2 → C2 ⊆ Out C5xC3:S3 | 60 | 4 | (C5xC3:S3):5C4 | 360,85 |
(C5xC3:S3):6C4 = C5xC6.D6 | φ: C4/C2 → C2 ⊆ Out C5xC3:S3 | 60 | 4 | (C5xC3:S3):6C4 | 360,73 |
(C5xC3:S3):7C4 = C10xC32:C4 | φ: C4/C2 → C2 ⊆ Out C5xC3:S3 | 60 | 4 | (C5xC3:S3):7C4 | 360,148 |
(C5xC3:S3):8C4 = C2xC32:Dic5 | φ: C4/C2 → C2 ⊆ Out C5xC3:S3 | 60 | 4 | (C5xC3:S3):8C4 | 360,149 |