extension | φ:Q→Out N | d | ρ | Label | ID |
(S3xC4:C4):1C2 = S3xD4:C4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 48 | | (S3xC4:C4):1C2 | 192,328 |
(S3xC4:C4):2C2 = D4:(C4xS3) | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):2C2 | 192,330 |
(S3xC4:C4):3C2 = D6.D8 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):3C2 | 192,333 |
(S3xC4:C4):4C2 = D6.SD16 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):4C2 | 192,336 |
(S3xC4:C4):5C2 = Q8:7(C4xS3) | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):5C2 | 192,362 |
(S3xC4:C4):6C2 = D6.4SD16 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):6C2 | 192,422 |
(S3xC4:C4):7C2 = D6.5D8 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):7C2 | 192,441 |
(S3xC4:C4):8C2 = C6.82+ 1+4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):8C2 | 192,1063 |
(S3xC4:C4):9C2 = C6.2- 1+4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):9C2 | 192,1066 |
(S3xC4:C4):10C2 = C6.102+ 1+4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):10C2 | 192,1070 |
(S3xC4:C4):11C2 = C42.91D6 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):11C2 | 192,1082 |
(S3xC4:C4):12C2 = C42.94D6 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):12C2 | 192,1088 |
(S3xC4:C4):13C2 = C42.95D6 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):13C2 | 192,1089 |
(S3xC4:C4):14C2 = C42.108D6 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):14C2 | 192,1105 |
(S3xC4:C4):15C2 = D12:24D4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):15C2 | 192,1110 |
(S3xC4:C4):16C2 = C42.113D6 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):16C2 | 192,1117 |
(S3xC4:C4):17C2 = C42.126D6 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):17C2 | 192,1133 |
(S3xC4:C4):18C2 = D12:10Q8 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):18C2 | 192,1138 |
(S3xC4:C4):19C2 = C42.132D6 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):19C2 | 192,1140 |
(S3xC4:C4):20C2 = S3xC4:D4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 48 | | (S3xC4:C4):20C2 | 192,1163 |
(S3xC4:C4):21C2 = C6.722- 1+4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):21C2 | 192,1167 |
(S3xC4:C4):22C2 = C6.732- 1+4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):22C2 | 192,1170 |
(S3xC4:C4):23C2 = C6.432+ 1+4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):23C2 | 192,1173 |
(S3xC4:C4):24C2 = S3xC22:Q8 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 48 | | (S3xC4:C4):24C2 | 192,1185 |
(S3xC4:C4):25C2 = C6.172- 1+4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):25C2 | 192,1188 |
(S3xC4:C4):26C2 = D12:22D4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):26C2 | 192,1190 |
(S3xC4:C4):27C2 = C6.1182+ 1+4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):27C2 | 192,1194 |
(S3xC4:C4):28C2 = C6.522+ 1+4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):28C2 | 192,1195 |
(S3xC4:C4):29C2 = C6.202- 1+4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):29C2 | 192,1197 |
(S3xC4:C4):30C2 = C6.212- 1+4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):30C2 | 192,1198 |
(S3xC4:C4):31C2 = S3xC22.D4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 48 | | (S3xC4:C4):31C2 | 192,1211 |
(S3xC4:C4):32C2 = C6.822- 1+4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):32C2 | 192,1214 |
(S3xC4:C4):33C2 = C6.632+ 1+4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):33C2 | 192,1219 |
(S3xC4:C4):34C2 = C6.642+ 1+4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):34C2 | 192,1220 |
(S3xC4:C4):35C2 = D12:7Q8 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):35C2 | 192,1249 |
(S3xC4:C4):36C2 = C42.150D6 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):36C2 | 192,1251 |
(S3xC4:C4):37C2 = C42.151D6 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):37C2 | 192,1252 |
(S3xC4:C4):38C2 = C42.152D6 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):38C2 | 192,1253 |
(S3xC4:C4):39C2 = C42.153D6 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):39C2 | 192,1254 |
(S3xC4:C4):40C2 = S3xC42:2C2 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 48 | | (S3xC4:C4):40C2 | 192,1262 |
(S3xC4:C4):41C2 = C42.161D6 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):41C2 | 192,1266 |
(S3xC4:C4):42C2 = C42.162D6 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):42C2 | 192,1267 |
(S3xC4:C4):43C2 = C42.163D6 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):43C2 | 192,1268 |
(S3xC4:C4):44C2 = D12:12D4 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):44C2 | 192,1285 |
(S3xC4:C4):45C2 = D12:9Q8 | φ: C2/C1 → C2 ⊆ Out S3xC4:C4 | 96 | | (S3xC4:C4):45C2 | 192,1289 |
(S3xC4:C4):46C2 = S3xC42:C2 | φ: trivial image | 48 | | (S3xC4:C4):46C2 | 192,1079 |
(S3xC4:C4):47C2 = C4xS3xD4 | φ: trivial image | 48 | | (S3xC4:C4):47C2 | 192,1103 |