extension | φ:Q→Out N | d | ρ | Label | ID |
(Q8xC10):1S3 = C2xQ8:D15 | φ: S3/C1 → S3 ⊆ Out Q8xC10 | 80 | | (Q8xC10):1S3 | 480,1028 |
(Q8xC10):2S3 = Q8.D30 | φ: S3/C1 → S3 ⊆ Out Q8xC10 | 80 | 4 | (Q8xC10):2S3 | 480,1029 |
(Q8xC10):3S3 = C10xGL2(F3) | φ: S3/C1 → S3 ⊆ Out Q8xC10 | 80 | | (Q8xC10):3S3 | 480,1017 |
(Q8xC10):4S3 = C5xQ8.D6 | φ: S3/C1 → S3 ⊆ Out Q8xC10 | 80 | 4 | (Q8xC10):4S3 | 480,1018 |
(Q8xC10):5S3 = C2xQ8:2D15 | φ: S3/C3 → C2 ⊆ Out Q8xC10 | 240 | | (Q8xC10):5S3 | 480,906 |
(Q8xC10):6S3 = Q8.11D30 | φ: S3/C3 → C2 ⊆ Out Q8xC10 | 240 | 4 | (Q8xC10):6S3 | 480,907 |
(Q8xC10):7S3 = D30:7Q8 | φ: S3/C3 → C2 ⊆ Out Q8xC10 | 240 | | (Q8xC10):7S3 | 480,911 |
(Q8xC10):8S3 = C60.23D4 | φ: S3/C3 → C2 ⊆ Out Q8xC10 | 240 | | (Q8xC10):8S3 | 480,912 |
(Q8xC10):9S3 = C2xQ8xD15 | φ: S3/C3 → C2 ⊆ Out Q8xC10 | 240 | | (Q8xC10):9S3 | 480,1172 |
(Q8xC10):10S3 = C2xQ8:3D15 | φ: S3/C3 → C2 ⊆ Out Q8xC10 | 240 | | (Q8xC10):10S3 | 480,1173 |
(Q8xC10):11S3 = Q8.15D30 | φ: S3/C3 → C2 ⊆ Out Q8xC10 | 240 | 4 | (Q8xC10):11S3 | 480,1174 |
(Q8xC10):12S3 = C10xQ8:2S3 | φ: S3/C3 → C2 ⊆ Out Q8xC10 | 240 | | (Q8xC10):12S3 | 480,820 |
(Q8xC10):13S3 = C5xQ8.11D6 | φ: S3/C3 → C2 ⊆ Out Q8xC10 | 240 | 4 | (Q8xC10):13S3 | 480,821 |
(Q8xC10):14S3 = C5xD6:3Q8 | φ: S3/C3 → C2 ⊆ Out Q8xC10 | 240 | | (Q8xC10):14S3 | 480,825 |
(Q8xC10):15S3 = C5xC12.23D4 | φ: S3/C3 → C2 ⊆ Out Q8xC10 | 240 | | (Q8xC10):15S3 | 480,826 |
(Q8xC10):16S3 = C5xQ8.15D6 | φ: S3/C3 → C2 ⊆ Out Q8xC10 | 240 | 4 | (Q8xC10):16S3 | 480,1159 |
(Q8xC10):17S3 = C10xQ8:3S3 | φ: trivial image | 240 | | (Q8xC10):17S3 | 480,1158 |