# -*- GAP -*-
# Fundamental groups of reducible sextics with a $D_p$ type point
Read("Dp.txt");

#D9+A7+A3&&E7-6321=1
 inf(p(1), 3); # (8,4,*3,0,1);
 size(1,4,0,0,1);
 size(8,1,0,0,1);
#D7+A7+A3+A2&&E7-6321=1
 inf(p(3), 1); # (8,4,3,0,*1);
 size(1,4,3,0,0);
 size(8,1,3,0,0);
#D12+A4+A3&&E7-6321=2
 inf(p(1), 6); # (4,5,*6);
 size(1,5,0);
 size(4,5,1);
 size(4,5,3);
 size(4,5,5);
#D7+A5+A4+A3&&E7-6321=2
 inf(x*y*x^2*y*x*y*x^2, 1); # (4,5,6);
 size(1,5,6);
 size(4,5,3);
#D8+A7+A4&&E7-6321=3
 inf(p(1), 2); # (8,5,*2);
 size(1,5,0);
 size(8,5,1);
#D7+A7+A4+A1&&E7-6321=3
 inf(p(2), 1); # (8,5,0,0,0,0,2);
 size(1,5,0,0,0,0,2);
 size(8,5,0,0,0,0,1);
#D9+A9+A1&&E7-6321=4
 inf(p(1), 3); # (10,0,*3,2);
 size(5,0,0,2);
 size(10,0,0,1);
#D8+A9+A2&&E7-6321=4
 inf(p(2), 2); # (10,0,3,*2);
 size(5,0,3,0);
 size(10,0,3,1);
#D7+A9+A2+A1&&E7-6321=4
 inf(x^2*y*x*y*x^2, 1); # (10,0,3,2);
 size(5,0,3,2);
 size(10,0,3,1);
#D9+A7+A2+A1&&E7-6321=5
 inf(p(2), 3); # (8,3,0,*3,2);
 size(1,3,0,0,2);
 size(8,3,0,0,1);
#D8+A7+2A2&&E7-6321=5
 inf(p(3), 2); # (8,3,0,3,*2);
 size(1,3,0,3,0);
 size(8,3,0,3,1);
#D7+A9+A3&&E7-8211=1
 inf(p(2), 1); # (10,4);
 size(5,4);
#D8+A11&&E7-8211=2
 inf(p(1), 2); # (12,0,*2,0,1);
 size(3,0,0,0,1);
#D7+A11+A1&&E7-8211=2
 inf(p(3), 1); # (12,0,2,0,*1);
 size(3,0,2);
#D7+A11+A1&&E7-8211=2
 inf(x^2*y*x*y*x^2, 1); # (12,0,2,0,1);
 size(3,0,2,0,1);
#D8+A9+A2&&E7-8211=3
 inf(p(2), 2); # (10,3,0,*2,0,1);
 size(5,3,0,0,0,1);
#D7+A9+A2+A1&&E7-8211=3
 inf(p(4), 1); # (10,3,0,2,0,*1);
 size(5,3,0,2);

#D8+2A5+A1&&E7-4422=1
 inf(p(1),2); # (6,6,*2,0,2);
 size(3,3,0,0,2);
 size(3,6,0,0,1);
 size(6,3,0,0,1);
 size(3,6,1,0,2);
 size(6,3,1,0,2);
 size(3,6,1,0,2);
#D10+A5+A3+A1&&E7-4422=2
 inf(p(1),4); # (6,4,*4,2);
 size(3,1,0,2);
 size(3,4,0,1);
 size(3,4,1,2);
 size(3,4,3,2);
 size(6,1,1,2);
 size(6,1,3,2);
 size(6,4,1,1);
 size(6,4,3,1);
#D8+A5+2A3&&E7-4422=2
 inf(p(2),2); # (6,4,4,*2);
 size(3,1,4,0);
 size(3,4,1,0);
 size(6,1,1,0);
 size(3,4,4,1);
 size(6,4,1,1);

#D7+D12&&E7-411=1
 inf(x^2*y*x*y*x^2, 1); # (\8,0,1);
 size(1,0,1);
 size(3,0,1);
 size(5,0,1);
 size(7,0,1);
#D7+D5+A7&&E7-411=1
 inf(x^2*y*x*y*x^2, 1); # (8,0,\1);
 size(1,0,0);
#D7+D10+A2&&E7-411=2
 inf(p(2), 1); # (\6,3);
 size(1,3);
 size(3,3); ## > 8!!  2D7 + 2A2
  StructureDescription(g); ## >  C2 x SL(2,3)
 size(3,1); ## Further perturbations are abelian
 size(5,3);
#D7+D7+A5&&E7-411=2
 inf(p(2), 1); # (6,\3);
 size(3,3); ## > 8!!  2D7 + 2A2  ## equivalent to the above

#D8+D8+A3&&E7-222
# Any irreducible perturbation degenerates to one of the above
