Home
About
Cn
Dn
Sn
An
Degree
Linear
Irr Reps
Characters
x
:
.
o
wr

Extensions 1→N→G→Q→1 with N=C2xDic5 and Q=D4

Direct product G=NxQ with N=C2xDic5 and Q=D4
dρLabelID
C2xD4xDic5160C2xD4xDic5320,1467

Semidirect products G=N:Q with N=C2xDic5 and Q=D4
extensionφ:Q→Out NdρLabelID
(C2xDic5):1D4 = C23:D20φ: D4/C1 → D4 ⊆ Out C2xDic5408+(C2xDic5):1D4320,368
(C2xDic5):2D4 = C24:2D10φ: D4/C1 → D4 ⊆ Out C2xDic5404(C2xDic5):2D4320,659
(C2xDic5):3D4 = (C2xDic5):3D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5):3D4320,299
(C2xDic5):4D4 = C24.14D10φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5):4D4320,586
(C2xDic5):5D4 = C23:2D20φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5):5D4320,587
(C2xDic5):6D4 = C24.20D10φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5):6D4320,849
(C2xDic5):7D4 = C24.21D10φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5):7D4320,850
(C2xDic5):8D4 = C24.34D10φ: D4/C2 → C22 ⊆ Out C2xDic580(C2xDic5):8D4320,1264
(C2xDic5):9D4 = C10.682- 1+4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5):9D4320,1269
(C2xDic5):10D4 = C24.13D10φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5):10D4320,584
(C2xDic5):11D4 = (C2xD20):22C4φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5):11D4320,615
(C2xDic5):12D4 = C24.19D10φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5):12D4320,848
(C2xDic5):13D4 = C20:(C4oD4)φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5):13D4320,1268
(C2xDic5):14D4 = C2xC20:D4φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5):14D4320,1475
(C2xDic5):15D4 = (C2xC4):9D20φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5):15D4320,292
(C2xDic5):16D4 = C24.12D10φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5):16D4320,583
(C2xDic5):17D4 = C23.45D20φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5):17D4320,585
(C2xDic5):18D4 = C24.18D10φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5):18D4320,847
(C2xDic5):19D4 = C2xD10:D4φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5):19D4320,1161
(C2xDic5):20D4 = C24.56D10φ: D4/C22 → C2 ⊆ Out C2xDic580(C2xDic5):20D4320,1258
(C2xDic5):21D4 = C4:C4:28D10φ: D4/C22 → C2 ⊆ Out C2xDic580(C2xDic5):21D4320,1328
(C2xDic5):22D4 = C2xDic5:D4φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5):22D4320,1474
(C2xDic5):23D4 = C2xDic5:4D4φ: trivial image160(C2xDic5):23D4320,1157
(C2xDic5):24D4 = C2xD20:8C4φ: trivial image160(C2xDic5):24D4320,1175

Non-split extensions G=N.Q with N=C2xDic5 and Q=D4
extensionφ:Q→Out NdρLabelID
(C2xDic5).1D4 = C23.5D20φ: D4/C1 → D4 ⊆ Out C2xDic5808-(C2xDic5).1D4320,369
(C2xDic5).2D4 = D4.9D20φ: D4/C1 → D4 ⊆ Out C2xDic5804-(C2xDic5).2D4320,453
(C2xDic5).3D4 = D4.10D20φ: D4/C1 → D4 ⊆ Out C2xDic5804(C2xDic5).3D4320,454
(C2xDic5).4D4 = C22:C4:D10φ: D4/C1 → D4 ⊆ Out C2xDic5804(C2xDic5).4D4320,680
(C2xDic5).5D4 = D20.38D4φ: D4/C1 → D4 ⊆ Out C2xDic5808-(C2xDic5).5D4320,828
(C2xDic5).6D4 = D20.40D4φ: D4/C1 → D4 ⊆ Out C2xDic5808-(C2xDic5).6D4320,832
(C2xDic5).7D4 = C42.F5φ: D4/C1 → D4 ⊆ Out C2xDic5804-(C2xDic5).7D4320,193
(C2xDic5).8D4 = C42.2F5φ: D4/C1 → D4 ⊆ Out C2xDic5804(C2xDic5).8D4320,194
(C2xDic5).9D4 = C5:C2wrC4φ: D4/C1 → D4 ⊆ Out C2xDic5408+(C2xDic5).9D4320,202
(C2xDic5).10D4 = C22:C4:F5φ: D4/C1 → D4 ⊆ Out C2xDic5808-(C2xDic5).10D4320,203
(C2xDic5).11D4 = (C22xC4):F5φ: D4/C1 → D4 ⊆ Out C2xDic5804(C2xDic5).11D4320,254
(C2xDic5).12D4 = (D4xC10).C4φ: D4/C1 → D4 ⊆ Out C2xDic5808-(C2xDic5).12D4320,261
(C2xDic5).13D4 = (Q8xC10).C4φ: D4/C1 → D4 ⊆ Out C2xDic5808-(C2xDic5).13D4320,267
(C2xDic5).14D4 = C24:2F5φ: D4/C1 → D4 ⊆ Out C2xDic5404(C2xDic5).14D4320,272
(C2xDic5).15D4 = (C2xDic5):Q8φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).15D4320,283
(C2xDic5).16D4 = C2.(C20:Q8)φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).16D4320,284
(C2xDic5).17D4 = (C2xDic5).Q8φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).17D4320,285
(C2xDic5).18D4 = (C2xC4).Dic10φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).18D4320,287
(C2xDic5).19D4 = C10.(C4:Q8)φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).19D4320,288
(C2xDic5).20D4 = (C2xC4).20D20φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).20D4320,300
(C2xDic5).21D4 = C10.(C4:D4)φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).21D4320,302
(C2xDic5).22D4 = (C22xD5).Q8φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).22D4320,303
(C2xDic5).23D4 = C4:C4.D10φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).23D4320,391
(C2xDic5).24D4 = C20:Q8:C2φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).24D4320,392
(C2xDic5).25D4 = Dic10.D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).25D4320,394
(C2xDic5).26D4 = D4:D20φ: D4/C2 → C22 ⊆ Out C2xDic580(C2xDic5).26D4320,400
(C2xDic5).27D4 = D10.12D8φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).27D4320,401
(C2xDic5).28D4 = D20.8D4φ: D4/C2 → C22 ⊆ Out C2xDic580(C2xDic5).28D4320,403
(C2xDic5).29D4 = D10.16SD16φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).29D4320,404
(C2xDic5).30D4 = C5:2C8:D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).30D4320,407
(C2xDic5).31D4 = C5:(C8:2D4)φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).31D4320,409
(C2xDic5).32D4 = D20:3D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).32D4320,413
(C2xDic5).33D4 = D20.D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).33D4320,414
(C2xDic5).34D4 = Q8:C4:D5φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).34D4320,422
(C2xDic5).35D4 = C40:8C4.C2φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).35D4320,424
(C2xDic5).36D4 = Dic10.11D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).36D4320,425
(C2xDic5).37D4 = D10.11SD16φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).37D4320,432
(C2xDic5).38D4 = Q8:2D20φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).38D4320,433
(C2xDic5).39D4 = D10:4Q16φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).39D4320,435
(C2xDic5).40D4 = D10.7Q16φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).40D4320,436
(C2xDic5).41D4 = C5:(C8:D4)φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).41D4320,439
(C2xDic5).42D4 = C5:2C8.D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).42D4320,443
(C2xDic5).43D4 = Dic5:SD16φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).43D4320,445
(C2xDic5).44D4 = D20.12D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).44D4320,446
(C2xDic5).45D4 = C42:D10φ: D4/C2 → C22 ⊆ Out C2xDic5804(C2xDic5).45D4320,448
(C2xDic5).46D4 = C40:3Q8φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).46D4320,483
(C2xDic5).47D4 = Dic10.Q8φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).47D4320,484
(C2xDic5).48D4 = D10.12SD16φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).48D4320,489
(C2xDic5).49D4 = D10.17SD16φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).49D4320,490
(C2xDic5).50D4 = C8:2D20φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).50D4320,492
(C2xDic5).51D4 = C8.2D20φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).51D4320,495
(C2xDic5).52D4 = D20:Q8φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).52D4320,497
(C2xDic5).53D4 = D20.Q8φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).53D4320,498
(C2xDic5).54D4 = C40:4Q8φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).54D4320,503
(C2xDic5).55D4 = Dic10.2Q8φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).55D4320,504
(C2xDic5).56D4 = D10.13D8φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).56D4320,509
(C2xDic5).57D4 = D10.8Q16φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).57D4320,511
(C2xDic5).58D4 = C8:3D20φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).58D4320,513
(C2xDic5).59D4 = D20:2Q8φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).59D4320,517
(C2xDic5).60D4 = D20.2Q8φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).60D4320,518
(C2xDic5).61D4 = C23:Dic10φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).61D4320,574
(C2xDic5).62D4 = C24.6D10φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).62D4320,575
(C2xDic5).63D4 = C24.7D10φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).63D4320,576
(C2xDic5).64D4 = C24.9D10φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).64D4320,579
(C2xDic5).65D4 = C24.16D10φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).65D4320,588
(C2xDic5).66D4 = (C2xC4):Dic10φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).66D4320,606
(C2xDic5).67D4 = (C2xC20).287D4φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).67D4320,607
(C2xDic5).68D4 = (C2xC20).54D4φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).68D4320,611
(C2xDic5).69D4 = (C2xC20).289D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).69D4320,619
(C2xDic5).70D4 = (C2xC20).56D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).70D4320,621
(C2xDic5).71D4 = (C2xD8).D5φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).71D4320,780
(C2xDic5).72D4 = C40:11D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).72D4320,781
(C2xDic5).73D4 = D20:D4φ: D4/C2 → C22 ⊆ Out C2xDic580(C2xDic5).73D4320,783
(C2xDic5).74D4 = C40:12D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).74D4320,786
(C2xDic5).75D4 = Dic5:5SD16φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).75D4320,790
(C2xDic5).76D4 = (C5xD4).D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).76D4320,792
(C2xDic5).77D4 = (C5xQ8).D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).77D4320,793
(C2xDic5).78D4 = C40.31D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).78D4320,794
(C2xDic5).79D4 = D10:6SD16φ: D4/C2 → C22 ⊆ Out C2xDic580(C2xDic5).79D4320,796
(C2xDic5).80D4 = D10:8SD16φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).80D4320,797
(C2xDic5).81D4 = C40:8D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).81D4320,801
(C2xDic5).82D4 = C40:9D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).82D4320,803
(C2xDic5).83D4 = (C2xQ16):D5φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).83D4320,812
(C2xDic5).84D4 = D10:5Q16φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).84D4320,813
(C2xDic5).85D4 = C40.36D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).85D4320,816
(C2xDic5).86D4 = C40.37D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).86D4320,817
(C2xDic5).87D4 = C10.792- 1+4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).87D4320,1320
(C2xDic5).88D4 = Q16:D10φ: D4/C2 → C22 ⊆ Out C2xDic5804(C2xDic5).88D4320,1440
(C2xDic5).89D4 = D5xC8:C22φ: D4/C2 → C22 ⊆ Out C2xDic5408+(C2xDic5).89D4320,1444
(C2xDic5).90D4 = D5xC8.C22φ: D4/C2 → C22 ⊆ Out C2xDic5808-(C2xDic5).90D4320,1448
(C2xDic5).91D4 = C42:3F5φ: D4/C2 → C22 ⊆ Out C2xDic5804(C2xDic5).91D4320,201
(C2xDic5).92D4 = D10.1D8φ: D4/C2 → C22 ⊆ Out C2xDic580(C2xDic5).92D4320,206
(C2xDic5).93D4 = D10.1Q16φ: D4/C2 → C22 ⊆ Out C2xDic580(C2xDic5).93D4320,207
(C2xDic5).94D4 = C10.C4wrC2φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).94D4320,208
(C2xDic5).95D4 = D20:C8φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).95D4320,209
(C2xDic5).96D4 = Dic10:1C8φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).96D4320,210
(C2xDic5).97D4 = Dic5.D8φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).97D4320,211
(C2xDic5).98D4 = D10.18D8φ: D4/C2 → C22 ⊆ Out C2xDic580(C2xDic5).98D4320,212
(C2xDic5).99D4 = C20.25C42φ: D4/C2 → C22 ⊆ Out C2xDic5804(C2xDic5).99D4320,235
(C2xDic5).100D4 = M4(2).F5φ: D4/C2 → C22 ⊆ Out C2xDic5808(C2xDic5).100D4320,239
(C2xDic5).101D4 = (C2xC20):1C8φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).101D4320,251
(C2xDic5).102D4 = (C22xC4).F5φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).102D4320,252
(C2xDic5).103D4 = C5:(C23:C8)φ: D4/C2 → C22 ⊆ Out C2xDic580(C2xDic5).103D4320,253
(C2xDic5).104D4 = C22.F5:C4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).104D4320,257
(C2xDic5).105D4 = D10.SD16φ: D4/C2 → C22 ⊆ Out C2xDic580(C2xDic5).105D4320,258
(C2xDic5).106D4 = (C2xD4).F5φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).106D4320,259
(C2xDic5).107D4 = Dic5.23D8φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).107D4320,262
(C2xDic5).108D4 = Dic5.SD16φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).108D4320,263
(C2xDic5).109D4 = D10.Q16φ: D4/C2 → C22 ⊆ Out C2xDic580(C2xDic5).109D4320,264
(C2xDic5).110D4 = (C2xQ8).F5φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).110D4320,265
(C2xDic5).111D4 = Dic5.12Q16φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).111D4320,268
(C2xDic5).112D4 = Dic5.Q16φ: D4/C2 → C22 ⊆ Out C2xDic5320(C2xDic5).112D4320,269
(C2xDic5).113D4 = C24.F5φ: D4/C2 → C22 ⊆ Out C2xDic580(C2xDic5).113D4320,271
(C2xDic5).114D4 = C20:C8:C2φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).114D4320,1034
(C2xDic5).115D4 = M4(2).1F5φ: D4/C2 → C22 ⊆ Out C2xDic5808(C2xDic5).115D4320,1067
(C2xDic5).116D4 = C2xDic5.D4φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).116D4320,1098
(C2xDic5).117D4 = C2xD20:C4φ: D4/C2 → C22 ⊆ Out C2xDic580(C2xDic5).117D4320,1104
(C2xDic5).118D4 = (D4xC10):C4φ: D4/C2 → C22 ⊆ Out C2xDic5408+(C2xDic5).118D4320,1105
(C2xDic5).119D4 = (C2xD4).7F5φ: D4/C2 → C22 ⊆ Out C2xDic5160(C2xDic5).119D4320,1113
(C2xDic5).120D4 = (C2xD4).9F5φ: D4/C2 → C22 ⊆ Out C2xDic5808-(C2xDic5).120D4320,1115
(C2xDic5).121D4 = C2xQ8:F5φ: D4/C2 → C22 ⊆ Out C2xDic580(C2xDic5).121D4320,1119
(C2xDic5).122D4 = (C2xQ8):4F5φ: D4/C2 → C22 ⊆ Out C2xDic5808-(C2xDic5).122D4320,1120
(C2xDic5).123D4 = D5:C4wrC2φ: D4/C2 → C22 ⊆ Out C2xDic5408(C2xDic5).123D4320,1130
(C2xDic5).124D4 = C4oD4:F5φ: D4/C2 → C22 ⊆ Out C2xDic5408(C2xDic5).124D4320,1131
(C2xDic5).125D4 = C4oD20:C4φ: D4/C2 → C22 ⊆ Out C2xDic5808(C2xDic5).125D4320,1132
(C2xDic5).126D4 = D4:F5:C2φ: D4/C2 → C22 ⊆ Out C2xDic5808(C2xDic5).126D4320,1133
(C2xDic5).127D4 = C2xC23.F5φ: D4/C2 → C22 ⊆ Out C2xDic580(C2xDic5).127D4320,1137
(C2xDic5).128D4 = C5:2(C42:8C4)φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).128D4320,277
(C2xDic5).129D4 = C10.54(C4xD4)φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).129D4320,296
(C2xDic5).130D4 = C10.55(C4xD4)φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).130D4320,297
(C2xDic5).131D4 = Dic5.5D8φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).131D4320,387
(C2xDic5).132D4 = (C8xDic5):C2φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).132D4320,395
(C2xDic5).133D4 = D5xD4:C4φ: D4/C4 → C2 ⊆ Out C2xDic580(C2xDic5).133D4320,396
(C2xDic5).134D4 = D10:D8φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).134D4320,402
(C2xDic5).135D4 = D10:SD16φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).135D4320,405
(C2xDic5).136D4 = Dic5.3Q16φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).136D4320,419
(C2xDic5).137D4 = Q8:Dic5:C2φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).137D4320,427
(C2xDic5).138D4 = D5xQ8:C4φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).138D4320,428
(C2xDic5).139D4 = D10:2SD16φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).139D4320,434
(C2xDic5).140D4 = D10:Q16φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).140D4320,440
(C2xDic5).141D4 = C40:5Q8φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).141D4320,482
(C2xDic5).142D4 = C8.8Dic10φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).142D4320,485
(C2xDic5).143D4 = D5xC4.Q8φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).143D4320,486
(C2xDic5).144D4 = C8:8D20φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).144D4320,491
(C2xDic5).145D4 = C40:2Q8φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).145D4320,501
(C2xDic5).146D4 = C8.6Dic10φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).146D4320,505
(C2xDic5).147D4 = D5xC2.D8φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).147D4320,506
(C2xDic5).148D4 = C8:7D20φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).148D4320,510
(C2xDic5).149D4 = D10:2Q16φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).149D4320,514
(C2xDic5).150D4 = C24.3D10φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).150D4320,571
(C2xDic5).151D4 = C24.8D10φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).151D4320,578
(C2xDic5).152D4 = C20:4(C4:C4)φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).152D4320,600
(C2xDic5).153D4 = C20:5(C4:C4)φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).153D4320,603
(C2xDic5).154D4 = C20:6(C4:C4)φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).154D4320,612
(C2xDic5).155D4 = C40:5D4φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).155D4320,778
(C2xDic5).156D4 = C40.22D4φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).156D4320,782
(C2xDic5).157D4 = C40:6D4φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).157D4320,784
(C2xDic5).158D4 = C40.43D4φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).158D4320,795
(C2xDic5).159D4 = C40:14D4φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).159D4320,798
(C2xDic5).160D4 = C40:15D4φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).160D4320,802
(C2xDic5).161D4 = C40.26D4φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).161D4320,808
(C2xDic5).162D4 = D10:3Q16φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).162D4320,815
(C2xDic5).163D4 = C40.28D4φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).163D4320,818
(C2xDic5).164D4 = C2xDic5.5D4φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).164D4320,1163
(C2xDic5).165D4 = C2xC20:Q8φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).165D4320,1169
(C2xDic5).166D4 = C2xD5xD8φ: D4/C4 → C2 ⊆ Out C2xDic580(C2xDic5).166D4320,1426
(C2xDic5).167D4 = C2xD5xSD16φ: D4/C4 → C2 ⊆ Out C2xDic580(C2xDic5).167D4320,1430
(C2xDic5).168D4 = C2xD5xQ16φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).168D4320,1435
(C2xDic5).169D4 = D5xC4oD8φ: D4/C4 → C2 ⊆ Out C2xDic5804(C2xDic5).169D4320,1439
(C2xDic5).170D4 = C40:2C8φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).170D4320,219
(C2xDic5).171D4 = C40:1C8φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).171D4320,220
(C2xDic5).172D4 = C20.26M4(2)φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).172D4320,221
(C2xDic5).173D4 = Dic5.13D8φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).173D4320,222
(C2xDic5).174D4 = C20.10C42φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).174D4320,234
(C2xDic5).175D4 = C2xC40.C4φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).175D4320,1060
(C2xDic5).176D4 = C2xD10.Q8φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).176D4320,1061
(C2xDic5).177D4 = (C8xD5).C4φ: D4/C4 → C2 ⊆ Out C2xDic5804(C2xDic5).177D4320,1062
(C2xDic5).178D4 = C2xC20:C8φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).178D4320,1085
(C2xDic5).179D4 = C2xDic5:C8φ: D4/C4 → C2 ⊆ Out C2xDic5320(C2xDic5).179D4320,1090
(C2xDic5).180D4 = C20:8M4(2)φ: D4/C4 → C2 ⊆ Out C2xDic5160(C2xDic5).180D4320,1096
(C2xDic5).181D4 = (C2xC20):Q8φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).181D4320,273
(C2xDic5).182D4 = C10.49(C4xD4)φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).182D4320,274
(C2xDic5).183D4 = C10.51(C4xD4)φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).183D4320,279
(C2xDic5).184D4 = C4:Dic5:15C4φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).184D4320,281
(C2xDic5).185D4 = C10.52(C4xD4)φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).185D4320,282
(C2xDic5).186D4 = D10:2(C4:C4)φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).186D4320,294
(C2xDic5).187D4 = D10:3(C4:C4)φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).187D4320,295
(C2xDic5).188D4 = C23:C4:5D5φ: D4/C22 → C2 ⊆ Out C2xDic5808-(C2xDic5).188D4320,367
(C2xDic5).189D4 = D4.D5:5C4φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).189D4320,384
(C2xDic5).190D4 = Dic5.14D8φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).190D4320,386
(C2xDic5).191D4 = D4:Dic10φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).191D4320,388
(C2xDic5).192D4 = Dic10:2D4φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).192D4320,389
(C2xDic5).193D4 = D4.Dic10φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).193D4320,390
(C2xDic5).194D4 = D4.2Dic10φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).194D4320,393
(C2xDic5).195D4 = (D4xD5):C4φ: D4/C22 → C2 ⊆ Out C2xDic580(C2xDic5).195D4320,397
(C2xDic5).196D4 = D4:(C4xD5)φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).196D4320,398
(C2xDic5).197D4 = C40:6C4:C2φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).197D4320,406
(C2xDic5).198D4 = D4:3D20φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).198D4320,408
(C2xDic5).199D4 = D4.D20φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).199D4320,410
(C2xDic5).200D4 = C40:5C4:C2φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).200D4320,411
(C2xDic5).201D4 = D4:D5:6C4φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).201D4320,412
(C2xDic5).202D4 = C5:Q16:5C4φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).202D4320,416
(C2xDic5).203D4 = Q8:Dic10φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).203D4320,418
(C2xDic5).204D4 = Dic5:Q16φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).204D4320,420
(C2xDic5).205D4 = Dic5.9Q16φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).205D4320,421
(C2xDic5).206D4 = Q8.Dic10φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).206D4320,423
(C2xDic5).207D4 = Q8.2Dic10φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).207D4320,426
(C2xDic5).208D4 = (Q8xD5):C4φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).208D4320,429
(C2xDic5).209D4 = Q8:(C4xD5)φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).209D4320,430
(C2xDic5).210D4 = Q8.D20φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).210D4320,437
(C2xDic5).211D4 = D20:4D4φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).211D4320,438
(C2xDic5).212D4 = (C2xC8).D10φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).212D4320,441
(C2xDic5).213D4 = D10:1C8.C2φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).213D4320,442
(C2xDic5).214D4 = Q8:D5:6C4φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).214D4320,444
(C2xDic5).215D4 = D5xC4wrC2φ: D4/C22 → C2 ⊆ Out C2xDic5404(C2xDic5).215D4320,447
(C2xDic5).216D4 = Dic20:15C4φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).216D4320,480
(C2xDic5).217D4 = Dic10:Q8φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).217D4320,481
(C2xDic5).218D4 = C8:(C4xD5)φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).218D4320,488
(C2xDic5).219D4 = C4.Q8:D5φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).219D4320,493
(C2xDic5).220D4 = C20.(C4oD4)φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).220D4320,494
(C2xDic5).221D4 = D40:15C4φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).221D4320,496
(C2xDic5).222D4 = Dic10:2Q8φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).222D4320,502
(C2xDic5).223D4 = C40:20(C2xC4)φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).223D4320,508
(C2xDic5).224D4 = C2.D8:D5φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).224D4320,512
(C2xDic5).225D4 = C2.D8:7D5φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).225D4320,515
(C2xDic5).226D4 = C40:21(C2xC4)φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).226D4320,516
(C2xDic5).227D4 = C24.44D10φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).227D4320,569
(C2xDic5).228D4 = C24.4D10φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).228D4320,572
(C2xDic5).229D4 = C24.46D10φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).229D4320,573
(C2xDic5).230D4 = C24.47D10φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).230D4320,577
(C2xDic5).231D4 = C10.96(C4xD4)φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).231D4320,599
(C2xDic5).232D4 = C4:C4:5Dic5φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).232D4320,608
(C2xDic5).233D4 = D10:5(C4:C4)φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).233D4320,616
(C2xDic5).234D4 = C10.90(C4xD4)φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).234D4320,617
(C2xDic5).235D4 = Dic5:D8φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).235D4320,777
(C2xDic5).236D4 = D8:Dic5φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).236D4320,779
(C2xDic5).237D4 = Dic10:D4φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).237D4320,785
(C2xDic5).238D4 = Dic5:3SD16φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).238D4320,789
(C2xDic5).239D4 = SD16:Dic5φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).239D4320,791
(C2xDic5).240D4 = D20:7D4φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).240D4320,799
(C2xDic5).241D4 = Dic10.16D4φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).241D4320,800
(C2xDic5).242D4 = Dic5:3Q16φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).242D4320,809
(C2xDic5).243D4 = Q16:Dic5φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).243D4320,811
(C2xDic5).244D4 = D20.17D4φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).244D4320,814
(C2xDic5).245D4 = C2xDic5.14D4φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).245D4320,1153
(C2xDic5).246D4 = C2xD10:Q8φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).246D4320,1180
(C2xDic5).247D4 = C2xD8:D5φ: D4/C22 → C2 ⊆ Out C2xDic580(C2xDic5).247D4320,1427
(C2xDic5).248D4 = C2xD40:C2φ: D4/C22 → C2 ⊆ Out C2xDic580(C2xDic5).248D4320,1431
(C2xDic5).249D4 = C2xSD16:D5φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).249D4320,1432
(C2xDic5).250D4 = C2xQ16:D5φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).250D4320,1436
(C2xDic5).251D4 = SD16:D10φ: D4/C22 → C2 ⊆ Out C2xDic5808-(C2xDic5).251D4320,1445
(C2xDic5).252D4 = D40:C22φ: D4/C22 → C2 ⊆ Out C2xDic5808+(C2xDic5).252D4320,1449
(C2xDic5).253D4 = C42:6F5φ: D4/C22 → C2 ⊆ Out C2xDic5404(C2xDic5).253D4320,200
(C2xDic5).254D4 = C22:C4.F5φ: D4/C22 → C2 ⊆ Out C2xDic5808-(C2xDic5).254D4320,205
(C2xDic5).255D4 = C20.C42φ: D4/C22 → C2 ⊆ Out C2xDic580(C2xDic5).255D4320,213
(C2xDic5).256D4 = C10.(C4:C8)φ: D4/C22 → C2 ⊆ Out C2xDic5320(C2xDic5).256D4320,256
(C2xDic5).257D4 = C2xD10:C8φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).257D4320,1089
(C2xDic5).258D4 = D10:9M4(2)φ: D4/C22 → C2 ⊆ Out C2xDic580(C2xDic5).258D4320,1093
(C2xDic5).259D4 = C2xD4:F5φ: D4/C22 → C2 ⊆ Out C2xDic580(C2xDic5).259D4320,1106
(C2xDic5).260D4 = (C2xD4):6F5φ: D4/C22 → C2 ⊆ Out C2xDic5808-(C2xDic5).260D4320,1107
(C2xDic5).261D4 = C2xQ8:2F5φ: D4/C22 → C2 ⊆ Out C2xDic580(C2xDic5).261D4320,1121
(C2xDic5).262D4 = (C2xQ8):6F5φ: D4/C22 → C2 ⊆ Out C2xDic5808+(C2xDic5).262D4320,1122
(C2xDic5).263D4 = C2xC23.2F5φ: D4/C22 → C2 ⊆ Out C2xDic5160(C2xDic5).263D4320,1135
(C2xDic5).264D4 = C24.4F5φ: D4/C22 → C2 ⊆ Out C2xDic580(C2xDic5).264D4320,1136
(C2xDic5).265D4 = Dic5:2C42φ: trivial image320(C2xDic5).265D4320,276
(C2xDic5).266D4 = D10:2C42φ: trivial image160(C2xDic5).266D4320,293
(C2xDic5).267D4 = Dic5:4D8φ: trivial image160(C2xDic5).267D4320,383
(C2xDic5).268D4 = Dic5:6SD16φ: trivial image160(C2xDic5).268D4320,385
(C2xDic5).269D4 = D4:2D5:C4φ: trivial image160(C2xDic5).269D4320,399
(C2xDic5).270D4 = Dic5:7SD16φ: trivial image160(C2xDic5).270D4320,415
(C2xDic5).271D4 = Dic5:4Q16φ: trivial image320(C2xDic5).271D4320,417
(C2xDic5).272D4 = Q8:2D5:C4φ: trivial image160(C2xDic5).272D4320,431
(C2xDic5).273D4 = Dic5:8SD16φ: trivial image160(C2xDic5).273D4320,479
(C2xDic5).274D4 = (C8xD5):C4φ: trivial image160(C2xDic5).274D4320,487
(C2xDic5).275D4 = D40:12C4φ: trivial image160(C2xDic5).275D4320,499
(C2xDic5).276D4 = Dic5:5Q16φ: trivial image320(C2xDic5).276D4320,500
(C2xDic5).277D4 = C8.27(C4xD5)φ: trivial image160(C2xDic5).277D4320,507
(C2xDic5).278D4 = C22:C4xDic5φ: trivial image160(C2xDic5).278D4320,568
(C2xDic5).279D4 = C4:C4xDic5φ: trivial image320(C2xDic5).279D4320,602
(C2xDic5).280D4 = D8xDic5φ: trivial image160(C2xDic5).280D4320,776
(C2xDic5).281D4 = SD16xDic5φ: trivial image160(C2xDic5).281D4320,788
(C2xDic5).282D4 = Q16xDic5φ: trivial image320(C2xDic5).282D4320,810
(C2xDic5).283D4 = C2xD8:3D5φ: trivial image160(C2xDic5).283D4320,1428
(C2xDic5).284D4 = C2xSD16:3D5φ: trivial image160(C2xDic5).284D4320,1433
(C2xDic5).285D4 = C2xQ8.D10φ: trivial image160(C2xDic5).285D4320,1437

׿
x
:
Z
F
o
wr
Q
<