w2:=sqrt(2); w3:=sqrt(3); w5:=sqrt(5); w6:=w2*w3;; w10:=w2*w5; w15:=w3*w5; w30:=w2*w3*w5; s1:=sqrt(2+sqrt(2)); s2:=sqrt(sqrt(5)-1); s3:=sqrt(6+sqrt(6)); r1:=sqrt(2+sqrt(2+sqrt(2))); r2:=sqrt((7/5*w30-7/2*w6+61/10*w10-14*w2+9/5*w15-3*w3+23/5*w5-8)*s2*s3 +(3*w30-9*w6+9*w10-27*w2+9*w15-21*w3+15*w5-39)*s2 +(-24/5*w30+10*w6-37/5*w10+15*w2-26/5*w15+12*w3-26/5*w5+12)*s3-3*w30+7*w6+3*w10-3*w2+4*w3+12); I:=sqrt(-1); fid48g:=[ (((-4*w5 - 20)*w3 - 4*w5 - 20)*w2*s2 + (16*w5*w3 + 16*w5))*r2*I + ((-8*w5*w3 - 8*w5)*w2*s2 + (32*w5*w3 + 32*w5))*r2, ((((((1/6*(w5 - 9)*w3 + 1/2*(w5 - 5))*w2 + (w5 - 1))*s3 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((((w5 - 1)*w3 + (w5 - 3))*w2 + (6*w3 + 6))*s3 + (-6*w5*w3 + 2*w5)*w2))*s1 + ((((1/3*(-2*w5 + 6)*w3 - 2*w5 + 4)*w2 + (1/3*(w5 + 1)*w3 - w5 + 3))*s3 + ((-2*w5*w3 + (w5 + 5))*w2 + ((-3*w5 - 5)*w3 - w5 + 5)))*s2 + ((((-w5 - 3)*w3 - w5 - 3)*w2 - 4*w3 + 2*w5 - 2)*s3 + ((6*w5*w3 - 2*w5)*w2 + (4*w5*w3 - 8*w5)))))*r2*r1 + (((((w5 + 5)*w3 + 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((2*w5*w3 + 6*w5)*w2 - 8*w5*w3 - 4*w5))*s1 + (((1/3*(-3*w5 - 7)*w3 - 2*w5 - 4)*w2 + ((w5 + 3)*w3 + (3*w5 + 9)))*s3*s2 + ((-2*w5*w3 - 4*w5 - 2)*w2 + (1/3*(8*w5 - 8)*w3 + 4*w5))*s3))*r2)*I + (((((1/6*(3*w5 - 7)*w3 + 1/2*(w5 - 1))*w2 + ((-w5 + 1)*w3 - 2*w5 + 2))*s3 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((((w5 + 1)*w3 + (3*w5 + 1))*w2 - 2*w3 - 6)*s3 + (2*w5*w3 + 6*w5)*w2))*s1 + (((2/3*w3*w2 + (1/3*(w5 + 5)*w3 + (w5 + 1)))*s3 + (((w5 + 5)*w3 + 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5))))*s2 + ((((-w5 - 3)*w3 - 3*w5 - 1)*w2 + ((-2*w5 + 2)*w3 - 4*w5 + 8))*s3 + ((-2*w5*w3 - 6*w5)*w2 - 8*w5*w3 - 4*w5))))*r2*r1 + ((((2*w5*w3 - w5 - 5)*w2 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((6*w5*w3 - 2*w5)*w2 - 4*w5*w3 + 8*w5))*s1 + (((1/3*(-4*w5 - 6)*w3 - w5 - 1)*w2 + ((-w5 - 3)*w3 - w5 - 3))*s3*s2 + ((2*w3 - 2*w5 + 4)*w2 + (1/3*(4*w5 + 16)*w3 + 8))*s3))*r2, ((((-8/3*w3 - 4)*w2 + (1/3*(2*w5 + 14)*w3 + (2*w5 + 6)))*s3*s2 + ((1/3*(-2*w5 - 14)*w3 - 2*w5 - 6)*w2 + (16/3*w3 + 8))*s3)*s1*r2 + ((((4*w3 - 8*w5 + 12)*w2 + ((12*w5 - 44)*w3 + (8*w5 - 64)))*s3 + (((58*w5 - 110)*w3 + (54*w5 - 90))*w2 - 8*w5*w3 + 12*w5 - 60))*s2 + ((((12*w5 - 12)*w3 + (12*w5 + 12))*w2 + ((-20*w5 + 36)*w3 - 20*w5 + 52))*s3 + (((-16*w5 + 40)*w3 - 132*w5 + 300)*w2 + ((36*w5 - 100)*w3 + (180*w5 - 420)))))*s1)*I + (((4/3*w5*w3 + (4*w5 + 4))*w2 + (1/3*(-10*w5 - 14)*w3 - 6*w5 - 10))*s3*s2 + ((1/3*(10*w5 + 14)*w3 + (6*w5 + 10))*w2 + (-8/3*w5*w3 - 8*w5 - 8))*s3)*s1*r2 + (((((-4*w5 + 16)*w3 - 12*w5 + 32)*w2 + ((-8*w5 + 16)*w3 - 4*w5 + 4))*s3 + (((-18*w5 + 30)*w3 - 66*w5 + 150)*w2 + ((-4*w5 - 60)*w3 + (72*w5 - 240))))*s2 + ((((12*w5 - 20)*w3 + (12*w5 - 12))*w2 + ((-28*w5 + 44)*w3 - 20*w5 + 20))*s3 + (((-4*w5 + 60)*w3 + 24*w5)*w2 + ((108*w5 - 220)*w3 + (84*w5 - 180)))))*s1, (((((1/3*(-2*w5 - 2)*w3*w2 + (-2*w5 - 6))*s3 + ((2*w5 - 10)*w3 + (2*w5 - 10)))*s2 + ((4*w2 + 16/3*w3)*s3 + (-4*w5*w3 - 4*w5)*w2))*s1 + (((1/3*(2*w5 + 2)*w3*w2 + (1/3*(6*w5 + 10)*w3 + (2*w5 + 6)))*s3 + (((2*w5 + 10)*w3 + (2*w5 + 10))*w2 + ((-2*w5 + 10)*w3 - 2*w5 + 10)))*s2 + (((1/3*(-4*w5 - 8)*w3 - 4)*w2 + (-16/3*w3 + (4*w5 - 4)))*s3 + (4*w5*w3 + 4*w5)*w2)))*r2*r1 + (((((-2*w5 - 10)*w3 - 2*w5 - 10)*w2 + ((-2*w5 + 10)*w3 - 2*w5 + 10))*s2 + (4*w5*w3 + 4*w5)*w2)*s1 + ((1/3*(-2*w5 + 2)*w3*w2 + (4*w5 - 4))*s3*s2 + ((-4*w5 - 4)*w2 + 8*w3)*s3))*r2)*I + ((((1/3*(4*w5 + 8)*w3*w2 + (-2*w5 - 6))*s3 + ((-6*w5 - 10)*w3 - 6*w5 - 10))*s2 + ((4*w5*w2 - 8/3*w5*w3)*s3 + (4*w5*w3 + 4*w5)*w2))*s1 + ((((1/3*(-4*w5 - 8)*w3 + (2*w5 + 6))*w2 + (1/3*(-2*w5 - 6)*w3 + (2*w5 + 6)))*s3 + ((4*w5*w3 + 4*w5)*w2 + ((6*w5 + 10)*w3 + (6*w5 + 10))))*s2 + (((1/3*(4*w5 - 8)*w3 - 4*w5)*w2 + (8/3*w5*w3 - 4*w5 - 4))*s3 + ((-4*w5*w3 - 4*w5)*w2 - 8*w5*w3 - 8*w5))))*r2*r1 + ((((-4*w5*w3 - 4*w5)*w2 + ((6*w5 + 10)*w3 + (6*w5 + 10)))*s2 + ((-4*w5*w3 - 4*w5)*w2 + (8*w5*w3 + 8*w5)))*s1 + (1/3*(2*w5 - 10)*w3*w2*s3*s2 + ((4*w5 - 4)*w2 + 8*w3)*s3))*r2, (((-4*w5*w3 + (2*w5 + 10))*w2*s2 - 8*w5)*r2 + ((((-4*w5*w3 - 10*w5 - 6)*w2 + ((2*w5 + 2)*w3 - 2*w5 - 10))*s3 + (((-22*w5 + 10)*w3 - 6*w5 - 30)*w2 + ((-28*w5 + 60)*w3 - 48*w5 + 120)))*s2 + ((((-6*w5 + 6)*w3 - 6*w5 + 22)*w2 + (16*w3 + (4*w5 + 44)))*s3 + (((44*w5 - 100)*w3 + (48*w5 - 120))*w2 + ((36*w5 - 20)*w3 + (60*w5 - 60)))))*s1)*I + (((2*w5 + 10)*w3 + 4*w5)*w2*s2 - 8*w5*w3)*r2 + (((((-2*w5 + 18)*w3 + 28)*w2 + ((2*w5 - 6)*w3 + (2*w5 + 2)))*s3 + (((-14*w5 + 10)*w3 - 18*w5 + 30)*w2 + ((-48*w5 + 40)*w3 - 60*w5 + 60)))*s2 + ((((-10*w5 + 26)*w3 - 14*w5 + 30)*w2 + ((-20*w5 + 20)*w3 - 16*w5 - 16))*s3 + (((-32*w5 + 120)*w3 - 60*w5 + 180)*w2 + ((-44*w5 + 140)*w3 - 12*w5 + 60))))*s1, ((((((1/6*(3*w5 - 7)*w3 + 1/2*(w5 - 1))*w2 + ((-w5 + 1)*w3 - 2*w5 + 2))*s3 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((((w5 + 1)*w3 + (3*w5 + 1))*w2 - 2*w3 - 6)*s3 + (-2*w5*w3 - 6*w5)*w2))*s1 + (((2/3*w3*w2 + (1/3*(w5 + 5)*w3 + (w5 + 1)))*s3 + (((-w5 - 5)*w3 - 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5)))*s2 + ((((-w5 - 3)*w3 - 3*w5 - 1)*w2 + ((-2*w5 + 2)*w3 - 4*w5 + 8))*s3 + ((2*w5*w3 + 6*w5)*w2 + (8*w5*w3 + 4*w5)))))*r2*r1 + (((((-w5 - 5)*w3 - 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((-2*w5*w3 - 6*w5)*w2 + (8*w5*w3 + 4*w5)))*s1 + (((1/3*(-3*w5 - 7)*w3 - 2*w5 - 4)*w2 + ((w5 + 3)*w3 + (3*w5 + 9)))*s3*s2 + ((-2*w5*w3 - 4*w5 - 2)*w2 + (1/3*(8*w5 - 8)*w3 + 4*w5))*s3))*r2)*I + (((((1/6*(-w5 + 9)*w3 + 1/2*(-w5 + 5))*w2 + (-w5 + 1))*s3 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((((-w5 + 1)*w3 - w5 + 3)*w2 - 6*w3 - 6)*s3 + (-6*w5*w3 + 2*w5)*w2))*s1 + ((((1/3*(2*w5 - 6)*w3 + (2*w5 - 4))*w2 + (1/3*(-w5 - 1)*w3 + (w5 - 3)))*s3 + ((-2*w5*w3 + (w5 + 5))*w2 + ((-3*w5 - 5)*w3 - w5 + 5)))*s2 + ((((w5 + 3)*w3 + (w5 + 3))*w2 + (4*w3 - 2*w5 + 2))*s3 + ((6*w5*w3 - 2*w5)*w2 + (4*w5*w3 - 8*w5)))))*r2*r1 + ((((-2*w5*w3 + (w5 + 5))*w2 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((-6*w5*w3 + 2*w5)*w2 + (4*w5*w3 - 8*w5)))*s1 + (((1/3*(-4*w5 - 6)*w3 - w5 - 1)*w2 + ((-w5 - 3)*w3 - w5 - 3))*s3*s2 + ((2*w3 - 2*w5 + 4)*w2 + (1/3*(4*w5 + 16)*w3 + 8))*s3))*r2, ((1/3*(-4*w5 - 4)*w3*w2 + (8/3*w5*w3 + 8))*s3*s2 + ((1/3*(-4*w5 + 4)*w3 - 4*w5 + 4)*w2 + (1/3*(8*w5 - 24)*w3 + (8*w5 - 8)))*s3)*s1*r2*I + (((1/3*(-4*w5 + 4)*w3 + 8)*w2 + (-8/3*w3 - 8))*s3*s2 + ((1/3*(4*w5 - 20)*w3 - 4*w5 + 4)*w2 + 16/3*w3)*s3)*s1*r2, ((((((1/6*(w5 - 1)*w3 + 1/2*(-w5 - 3))*w2 + ((w5 + 3)*w3 + (2*w5 + 6)))*s3 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((((-w5 - 1)*w3 - w5 - 3)*w2 + (1/3*(2*w5 - 12)*w3 + (2*w5 - 4)))*s3 + (2*w5*w3 - 2*w5)*w2))*s1 + (((1/3*(-2*w5 - 4)*w3*w2 + (1/3*(-7*w5 - 15)*w3 - 3*w5 - 7))*s3 + (((-w5 - 5)*w3 - 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5)))*s2 + (((1/3*(5*w5 + 11)*w3 + (w5 + 7))*w2 + (1/3*(-2*w5 + 18)*w3 - 4*w5 + 8))*s3 + ((-2*w5*w3 + 2*w5)*w2 + 4*w5))))*r2*r1 + ((((2*w5*w3 - w5 - 5)*w2 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((2*w5*w3 + 2*w5)*w2 - 4*w5*w3))*s1 + (((1/3*(-2*w5 + 8)*w3 - w5 + 3)*w2 + ((w5 - 1)*w3 + (w5 - 1)))*s3*s2 + ((-2*w5*w3 - 4*w5 + 2)*w2 - 4*w3)*s3))*r2)*I + (((((1/6*(-7*w5 - 13)*w3 + 1/2*(-3*w5 - 5))*w2 + (w5 + 3))*s3 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((((-w5 + 1)*w3 - 3*w5 + 1)*w2 + (1/3*(6*w5 + 4)*w3 + (2*w5 + 4)))*s3 + (-2*w5*w3 - 2*w5)*w2))*s1 + ((((1/3*(2*w5 + 2)*w3 - 2)*w2 + (1/3*(3*w5 + 7)*w3 + (w5 + 1)))*s3 + ((-2*w5*w3 + (w5 + 5))*w2 + ((-3*w5 - 5)*w3 - w5 + 5)))*s2 + (((1/3*(-w5 + 1)*w3 + (w5 - 1))*w2 + (-4/3*w3 + (2*w5 - 2)))*s3 + ((2*w5*w3 + 2*w5)*w2 + 4*w5*w3))))*r2*r1 + (((((-w5 - 5)*w3 - 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((2*w5*w3 - 2*w5)*w2 + 4*w5))*s1 + (((1/3*(-w5 - 1)*w3 - 2)*w2 + ((w5 - 1)*w3 + (3*w5 - 3)))*s3*s2 + ((-2*w3 - 2*w5 - 4)*w2 + (8*w3 + 12))*s3))*r2, (((4*w5*w3 - 2*w5 - 10)*w2*s2 + (-16*w5*w3 + 8*w5))*r2 + (((((-4*w5 + 24)*w3 - 2*w5 + 26)*w2 + ((6*w5 - 42)*w3 + (2*w5 - 54)))*s3 + (((34*w5 - 30)*w3 + (42*w5 - 30))*w2 + ((-20*w5 + 20)*w3 - 24*w5)))*s2 + ((((10*w5 + 6)*w3 + (2*w5 + 46))*w2 - 32*w3 + 12*w5 - 76)*s3 + (((12*w5 - 20)*w3 - 48*w5 + 120)*w2 + ((20*w5 - 100)*w3 + (108*w5 - 300)))))*s1)*I + (((-2*w5 - 10)*w3 - 4*w5)*w2*s2 + (8*w5*w3 + 16*w5))*r2 + (((((6*w5 + 2)*w3 + (8*w5 - 4))*w2 + ((-10*w5 - 2)*w3 - 18*w5 - 2))*s3 + (((-6*w5 + 50)*w3 - 42*w5 + 150)*w2 + ((-16*w5 - 40)*w3 + (36*w5 - 180))))*s2 + ((((6*w5 + 10)*w3 + (10*w5 + 22))*w2 + ((-12*w5 - 4)*w3 - 16*w5))*s3 + (((-8*w5 + 80)*w3 + (12*w5 + 60))*w2 + ((52*w5 - 180)*w3 + (36*w5 - 180)))))*s1, (((((1/3*(-2*w5 + 6)*w3*w2 + (2*w5 - 2))*s3 + ((2*w5 - 10)*w3 + (2*w5 - 10)))*s2 - 4*w5*w2*s3 + (4*w5*w3 + 4*w5)*w2)*s1 + (((1/3*(2*w5 - 6)*w3*w2 + (1/3*(2*w5 - 10)*w3 - 2*w5 + 2))*s3 + (((2*w5 + 10)*w3 + (2*w5 + 10))*w2 + ((-2*w5 + 10)*w3 - 2*w5 + 10)))*s2 + (((4*w3 + 4*w5)*w2 + (4*w5 - 4))*s3 + ((-4*w5*w3 - 4*w5)*w2 - 16*w5*w3 - 16*w5))))*r2*r1 + ((((-4*w5*w3 - 4*w5)*w2 + ((6*w5 + 10)*w3 + (6*w5 + 10)))*s2 + ((-12*w5*w3 - 12*w5)*w2 + (8*w5*w3 + 8*w5)))*s1 + (1/3*(-6*w5 - 10)*w3*w2*s3*s2 + ((-4*w5 + 4)*w2 + 1/3*(8*w5 + 16)*w3)*s3))*r2)*I + ((((-4/3*w3*w2 + (2*w5 - 2))*s3 + ((-6*w5 - 10)*w3 - 6*w5 - 10))*s2 + ((-4*w2 + 8*w3)*s3 + (12*w5*w3 + 12*w5)*w2))*s1 + ((((4/3*w3 - 2*w5 + 2)*w2 + (1/3*(2*w5 - 2)*w3 - 2*w5 + 2))*s3 + ((4*w5*w3 + 4*w5)*w2 + ((6*w5 + 10)*w3 + (6*w5 + 10))))*s2 + (((-4*w3 + 4)*w2 - 8*w3 + 4*w5 + 4)*s3 + ((-12*w5*w3 - 12*w5)*w2 - 8*w5*w3 - 8*w5))))*r2*r1 + (((((2*w5 + 10)*w3 + (2*w5 + 10))*w2 + ((2*w5 - 10)*w3 + (2*w5 - 10)))*s2 + ((4*w5*w3 + 4*w5)*w2 - 16*w5*w3 - 16*w5))*s1 + ((1/3*(2*w5 + 6)*w3*w2 + (-4*w5 - 12))*s3*s2 + ((4*w5 + 4)*w2 + 1/3*(-8*w5 + 16)*w3)*s3))*r2, ((((8/3*w3 + 4)*w2 + (1/3*(-2*w5 - 14)*w3 - 2*w5 - 6))*s3*s2 + ((1/3*(2*w5 + 14)*w3 + (2*w5 + 6))*w2 + (-16/3*w3 - 8))*s3)*s1*r2 + ((((-4*w3 + (8*w5 - 12))*w2 + ((-12*w5 + 44)*w3 - 8*w5 + 64))*s3 + (((-58*w5 + 110)*w3 - 54*w5 + 90)*w2 + (8*w5*w3 - 12*w5 + 60)))*s2 + ((((-12*w5 + 12)*w3 - 12*w5 - 12)*w2 + ((20*w5 - 36)*w3 + (20*w5 - 52)))*s3 + (((16*w5 - 40)*w3 + (132*w5 - 300))*w2 + ((-36*w5 + 100)*w3 - 180*w5 + 420))))*s1)*I + (((-4/3*w5*w3 - 4*w5 - 4)*w2 + (1/3*(10*w5 + 14)*w3 + (6*w5 + 10)))*s3*s2 + ((1/3*(-10*w5 - 14)*w3 - 6*w5 - 10)*w2 + (8/3*w5*w3 + (8*w5 + 8)))*s3)*s1*r2 + (((((4*w5 - 16)*w3 + (12*w5 - 32))*w2 + ((8*w5 - 16)*w3 + (4*w5 - 4)))*s3 + (((18*w5 - 30)*w3 + (66*w5 - 150))*w2 + ((4*w5 + 60)*w3 - 72*w5 + 240)))*s2 + ((((-12*w5 + 20)*w3 - 12*w5 + 12)*w2 + ((28*w5 - 44)*w3 + (20*w5 - 20)))*s3 + (((4*w5 - 60)*w3 - 24*w5)*w2 + ((-108*w5 + 220)*w3 - 84*w5 + 180))))*s1, ((((((1/6*(7*w5 + 13)*w3 + 1/2*(3*w5 + 5))*w2 + (-w5 - 3))*s3 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((((w5 - 1)*w3 + (3*w5 - 1))*w2 + (1/3*(-6*w5 - 4)*w3 - 2*w5 - 4))*s3 + (-2*w5*w3 - 2*w5)*w2))*s1 + ((((1/3*(-2*w5 - 2)*w3 + 2)*w2 + (1/3*(-3*w5 - 7)*w3 - w5 - 1))*s3 + ((-2*w5*w3 + (w5 + 5))*w2 + ((-3*w5 - 5)*w3 - w5 + 5)))*s2 + (((1/3*(w5 - 1)*w3 - w5 + 1)*w2 + (4/3*w3 - 2*w5 + 2))*s3 + ((2*w5*w3 + 2*w5)*w2 + 4*w5*w3))))*r2*r1 + ((((-2*w5*w3 + (w5 + 5))*w2 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((-2*w5*w3 - 2*w5)*w2 + 4*w5*w3))*s1 + (((1/3*(-2*w5 + 8)*w3 - w5 + 3)*w2 + ((w5 - 1)*w3 + (w5 - 1)))*s3*s2 + ((-2*w5*w3 - 4*w5 + 2)*w2 - 4*w3)*s3))*r2)*I + (((((1/6*(w5 - 1)*w3 + 1/2*(-w5 - 3))*w2 + ((w5 + 3)*w3 + (2*w5 + 6)))*s3 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((((-w5 - 1)*w3 - w5 - 3)*w2 + (1/3*(2*w5 - 12)*w3 + (2*w5 - 4)))*s3 + (-2*w5*w3 + 2*w5)*w2))*s1 + (((1/3*(-2*w5 - 4)*w3*w2 + (1/3*(-7*w5 - 15)*w3 - 3*w5 - 7))*s3 + (((w5 + 5)*w3 + 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5))))*s2 + (((1/3*(5*w5 + 11)*w3 + (w5 + 7))*w2 + (1/3*(-2*w5 + 18)*w3 - 4*w5 + 8))*s3 + ((2*w5*w3 - 2*w5)*w2 - 4*w5))))*r2*r1 + (((((w5 + 5)*w3 + 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((-2*w5*w3 + 2*w5)*w2 - 4*w5))*s1 + (((1/3*(-w5 - 1)*w3 - 2)*w2 + ((w5 - 1)*w3 + (3*w5 - 3)))*s3*s2 + ((-2*w3 - 2*w5 - 4)*w2 + (8*w3 + 12))*s3))*r2, (((4*w5 + 20)*w3 + (4*w5 + 20))*w2*s2 + (-16*w5*w3 - 16*w5))*r2*I + (8*w5*w3 + 8*w5)*w2*s2*r2, ((((((1/6*(-3*w5 + 7)*w3 + 1/2*(-w5 + 1))*w2 + ((w5 - 1)*w3 + (2*w5 - 2)))*s3 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((((-w5 - 1)*w3 - 3*w5 - 1)*w2 + (2*w3 + 6))*s3 + (2*w5*w3 + 6*w5)*w2))*s1 + (((-2/3*w3*w2 + (1/3*(-w5 - 5)*w3 - w5 - 1))*s3 + (((w5 + 5)*w3 + 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5))))*s2 + ((((w5 + 3)*w3 + (3*w5 + 1))*w2 + ((2*w5 - 2)*w3 + (4*w5 - 8)))*s3 + ((-2*w5*w3 - 6*w5)*w2 - 8*w5*w3 - 4*w5))))*r2*r1 + (((((-w5 - 5)*w3 - 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((-2*w5*w3 - 6*w5)*w2 + (8*w5*w3 + 4*w5)))*s1 + (((1/3*(-3*w5 - 7)*w3 - 2*w5 - 4)*w2 + ((w5 + 3)*w3 + (3*w5 + 9)))*s3*s2 + ((-2*w5*w3 - 4*w5 - 2)*w2 + (1/3*(8*w5 - 8)*w3 + 4*w5))*s3))*r2)*I + (((((1/6*(w5 - 9)*w3 + 1/2*(w5 - 5))*w2 + (w5 - 1))*s3 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((((w5 - 1)*w3 + (w5 - 3))*w2 + (6*w3 + 6))*s3 + (6*w5*w3 - 2*w5)*w2))*s1 + ((((1/3*(-2*w5 + 6)*w3 - 2*w5 + 4)*w2 + (1/3*(w5 + 1)*w3 - w5 + 3))*s3 + ((2*w5*w3 - w5 - 5)*w2 + ((3*w5 + 5)*w3 + (w5 - 5))))*s2 + ((((-w5 - 3)*w3 - w5 - 3)*w2 - 4*w3 + 2*w5 - 2)*s3 + ((-6*w5*w3 + 2*w5)*w2 - 4*w5*w3 + 8*w5))))*r2*r1 + ((((-2*w5*w3 + (w5 + 5))*w2 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((-6*w5*w3 + 2*w5)*w2 + (4*w5*w3 - 8*w5)))*s1 + (((1/3*(-4*w5 - 6)*w3 - w5 - 1)*w2 + ((-w5 - 3)*w3 - w5 - 3))*s3*s2 + ((2*w3 - 2*w5 + 4)*w2 + (1/3*(4*w5 + 16)*w3 + 8))*s3))*r2, ((((1/3*(-2*w5 + 10)*w3 + 8)*w2 + (1/3*(-2*w5 - 18)*w3 - 2*w5 - 10))*s3*s2 + ((1/3*(4*w5 - 16)*w3 - 4)*w2 + (1/3*(-8*w5 + 24)*w3 - 4*w5 + 12))*s3)*s1*r2 + (((((-8*w5 + 20)*w3 - 4*w5 + 8)*w2 + ((-4*w5 + 4)*w3 - 8*w5))*s3 + (((-46*w5 + 90)*w3 - 18*w5 + 30)*w2 + ((-40*w5 + 80)*w3 - 84*w5 + 180)))*s2 + ((((-8*w5 + 24)*w3 - 16*w5 + 56)*w2 + ((20*w5 - 52)*w3 + (36*w5 - 84)))*s3 + (((72*w5 - 160)*w3 + (132*w5 - 300))*w2 + ((20*w5 - 20)*w3 - 12*w5 + 60))))*s1)*I + (((1/3*(4*w5 - 4)*w3 + (2*w5 - 2))*w2 + (1/3*(-6*w5 + 2)*w3 - 2*w5 - 2))*s3*s2 + ((1/3*(8*w5 - 4)*w3 + 4*w5)*w2 + (1/3*(-12*w5 + 20)*w3 - 8*w5 + 8))*s3)*s1*r2 + (((((8*w5 + 4)*w3 + (20*w5 - 8))*w2 - 24*w3 - 12*w5 - 4)*s3 + (((-2*w5 + 30)*w3 + (6*w5 + 30))*w2 + ((-60*w5 + 60)*w3 - 96*w5 + 120)))*s2 + ((((-16*w5 + 56)*w3 - 16*w5 + 64)*w2 + ((-4*w5 - 28)*w3 - 12*w5 - 36))*s3 + (((-36*w5 + 140)*w3 - 72*w5 + 240)*w2 + ((-100*w5 + 180)*w3 - 60*w5 + 60))))*s1, (((((1/3*(4*w5 + 8)*w3*w2 + (-2*w5 - 6))*s3 + ((6*w5 + 10)*w3 + (6*w5 + 10)))*s2 + ((4*w5*w2 - 8/3*w5*w3)*s3 + (-4*w5*w3 - 4*w5)*w2))*s1 + ((((1/3*(-4*w5 - 8)*w3 + (2*w5 + 6))*w2 + (1/3*(-2*w5 - 6)*w3 + (2*w5 + 6)))*s3 + ((-4*w5*w3 - 4*w5)*w2 + ((-6*w5 - 10)*w3 - 6*w5 - 10)))*s2 + (((1/3*(4*w5 - 8)*w3 - 4*w5)*w2 + (8/3*w5*w3 - 4*w5 - 4))*s3 + ((4*w5*w3 + 4*w5)*w2 + (8*w5*w3 + 8*w5)))))*r2*r1 + (((((2*w5 + 10)*w3 + (2*w5 + 10))*w2 + ((2*w5 - 10)*w3 + (2*w5 - 10)))*s2 + (-4*w5*w3 - 4*w5)*w2)*s1 + ((1/3*(-2*w5 + 2)*w3*w2 + (4*w5 - 4))*s3*s2 + ((-4*w5 - 4)*w2 + 8*w3)*s3))*r2)*I + ((((1/3*(2*w5 + 2)*w3*w2 + (2*w5 + 6))*s3 + ((2*w5 - 10)*w3 + (2*w5 - 10)))*s2 + ((-4*w2 - 16/3*w3)*s3 + (-4*w5*w3 - 4*w5)*w2))*s1 + (((1/3*(-2*w5 - 2)*w3*w2 + (1/3*(-6*w5 - 10)*w3 - 2*w5 - 6))*s3 + (((2*w5 + 10)*w3 + (2*w5 + 10))*w2 + ((-2*w5 + 10)*w3 - 2*w5 + 10)))*s2 + (((1/3*(4*w5 + 8)*w3 + 4)*w2 + (16/3*w3 - 4*w5 + 4))*s3 + (4*w5*w3 + 4*w5)*w2)))*r2*r1 + ((((4*w5*w3 + 4*w5)*w2 + ((-6*w5 - 10)*w3 - 6*w5 - 10))*s2 + ((4*w5*w3 + 4*w5)*w2 - 8*w5*w3 - 8*w5))*s1 + (1/3*(2*w5 - 10)*w3*w2*s3*s2 + ((4*w5 - 4)*w2 + 8*w3)*s3))*r2, (((-4*w5*w3 + (2*w5 + 10))*w2*s2 + (16*w5*w3 - 8*w5))*r2 + (((((4*w5 - 24)*w3 + (2*w5 - 26))*w2 + ((-6*w5 + 42)*w3 - 2*w5 + 54))*s3 + (((-34*w5 + 30)*w3 - 42*w5 + 30)*w2 + ((20*w5 - 20)*w3 + 24*w5)))*s2 + ((((-10*w5 - 6)*w3 - 2*w5 - 46)*w2 + (32*w3 - 12*w5 + 76))*s3 + (((-12*w5 + 20)*w3 + (48*w5 - 120))*w2 + ((-20*w5 + 100)*w3 - 108*w5 + 300))))*s1)*I + (((2*w5 + 10)*w3 + 4*w5)*w2*s2 + (-8*w5*w3 - 16*w5))*r2 + (((((-6*w5 - 2)*w3 - 8*w5 + 4)*w2 + ((10*w5 + 2)*w3 + (18*w5 + 2)))*s3 + (((6*w5 - 50)*w3 + (42*w5 - 150))*w2 + ((16*w5 + 40)*w3 - 36*w5 + 180)))*s2 + ((((-6*w5 - 10)*w3 - 10*w5 - 22)*w2 + ((12*w5 + 4)*w3 + 16*w5))*s3 + (((8*w5 - 80)*w3 - 12*w5 - 60)*w2 + ((-52*w5 + 180)*w3 - 36*w5 + 180))))*s1, ((((((1/6*(w5 - 9)*w3 + 1/2*(w5 - 5))*w2 + (w5 - 1))*s3 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((((w5 - 1)*w3 + (w5 - 3))*w2 + (6*w3 + 6))*s3 + (-6*w5*w3 + 2*w5)*w2))*s1 + ((((1/3*(-2*w5 + 6)*w3 - 2*w5 + 4)*w2 + (1/3*(w5 + 1)*w3 - w5 + 3))*s3 + ((-2*w5*w3 + (w5 + 5))*w2 + ((-3*w5 - 5)*w3 - w5 + 5)))*s2 + ((((-w5 - 3)*w3 - w5 - 3)*w2 - 4*w3 + 2*w5 - 2)*s3 + ((6*w5*w3 - 2*w5)*w2 + (4*w5*w3 - 8*w5)))))*r2*r1 + (((((w5 + 5)*w3 + 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((2*w5*w3 + 6*w5)*w2 - 8*w5*w3 - 4*w5))*s1 + (((1/3*(-3*w5 - 7)*w3 - 2*w5 - 4)*w2 + ((w5 + 3)*w3 + (3*w5 + 9)))*s3*s2 + ((-2*w5*w3 - 4*w5 - 2)*w2 + (1/3*(8*w5 - 8)*w3 + 4*w5))*s3))*r2)*I + (((((1/6*(3*w5 - 7)*w3 + 1/2*(w5 - 1))*w2 + ((-w5 + 1)*w3 - 2*w5 + 2))*s3 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((((w5 + 1)*w3 + (3*w5 + 1))*w2 - 2*w3 - 6)*s3 + (2*w5*w3 + 6*w5)*w2))*s1 + (((2/3*w3*w2 + (1/3*(w5 + 5)*w3 + (w5 + 1)))*s3 + (((w5 + 5)*w3 + 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5))))*s2 + ((((-w5 - 3)*w3 - 3*w5 - 1)*w2 + ((-2*w5 + 2)*w3 - 4*w5 + 8))*s3 + ((-2*w5*w3 - 6*w5)*w2 - 8*w5*w3 - 4*w5))))*r2*r1 + ((((2*w5*w3 - w5 - 5)*w2 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((6*w5*w3 - 2*w5)*w2 - 4*w5*w3 + 8*w5))*s1 + (((1/3*(-4*w5 - 6)*w3 - w5 - 1)*w2 + ((-w5 - 3)*w3 - w5 - 3))*s3*s2 + ((2*w3 - 2*w5 + 4)*w2 + (1/3*(4*w5 + 16)*w3 + 8))*s3))*r2, (((-8/3*w3 + (4*w5 + 4))*w2 + (1/3*(-4*w5 - 4)*w3 - 4*w5 - 4))*s3*s2 + ((1/3*(4*w5 + 4)*w3 + (4*w5 + 4))*w2 + (16/3*w3 - 8*w5 - 8))*s3)*s1*r2*I + ((1/3*(4*w5 + 12)*w3*w2 + (1/3*(-4*w5 - 20)*w3 - 4*w5 - 4))*s3*s2 + ((1/3*(4*w5 + 20)*w3 + (4*w5 + 4))*w2 + 1/3*(-8*w5 - 24)*w3)*s3)*s1*r2, ((((((1/6*(-7*w5 - 13)*w3 + 1/2*(-3*w5 - 5))*w2 + (w5 + 3))*s3 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((((-w5 + 1)*w3 - 3*w5 + 1)*w2 + (1/3*(6*w5 + 4)*w3 + (2*w5 + 4)))*s3 + (2*w5*w3 + 2*w5)*w2))*s1 + ((((1/3*(2*w5 + 2)*w3 - 2)*w2 + (1/3*(3*w5 + 7)*w3 + (w5 + 1)))*s3 + ((2*w5*w3 - w5 - 5)*w2 + ((3*w5 + 5)*w3 + (w5 - 5))))*s2 + (((1/3*(-w5 + 1)*w3 + (w5 - 1))*w2 + (-4/3*w3 + (2*w5 - 2)))*s3 + ((-2*w5*w3 - 2*w5)*w2 - 4*w5*w3))))*r2*r1 + ((((-2*w5*w3 + (w5 + 5))*w2 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((-2*w5*w3 - 2*w5)*w2 + 4*w5*w3))*s1 + (((1/3*(-2*w5 + 8)*w3 - w5 + 3)*w2 + ((w5 - 1)*w3 + (w5 - 1)))*s3*s2 + ((-2*w5*w3 - 4*w5 + 2)*w2 - 4*w3)*s3))*r2)*I + (((((1/6*(-w5 + 1)*w3 + 1/2*(w5 + 3))*w2 + ((-w5 - 3)*w3 - 2*w5 - 6))*s3 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((((w5 + 1)*w3 + (w5 + 3))*w2 + (1/3*(-2*w5 + 12)*w3 - 2*w5 + 4))*s3 + (2*w5*w3 - 2*w5)*w2))*s1 + (((1/3*(2*w5 + 4)*w3*w2 + (1/3*(7*w5 + 15)*w3 + (3*w5 + 7)))*s3 + (((-w5 - 5)*w3 - 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5)))*s2 + (((1/3*(-5*w5 - 11)*w3 - w5 - 7)*w2 + (1/3*(2*w5 - 18)*w3 + (4*w5 - 8)))*s3 + ((-2*w5*w3 + 2*w5)*w2 + 4*w5))))*r2*r1 + (((((w5 + 5)*w3 + 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((-2*w5*w3 + 2*w5)*w2 - 4*w5))*s1 + (((1/3*(-w5 - 1)*w3 - 2)*w2 + ((w5 - 1)*w3 + (3*w5 - 3)))*s3*s2 + ((-2*w3 - 2*w5 - 4)*w2 + (8*w3 + 12))*s3))*r2, (((-4*w5*w3 + (2*w5 + 10))*w2*s2 - 8*w5)*r2 + ((((4*w5*w3 + (10*w5 + 6))*w2 + ((-2*w5 - 2)*w3 + (2*w5 + 10)))*s3 + (((22*w5 - 10)*w3 + (6*w5 + 30))*w2 + ((28*w5 - 60)*w3 + (48*w5 - 120))))*s2 + ((((6*w5 - 6)*w3 + (6*w5 - 22))*w2 - 16*w3 - 4*w5 - 44)*s3 + (((-44*w5 + 100)*w3 - 48*w5 + 120)*w2 + ((-36*w5 + 20)*w3 - 60*w5 + 60))))*s1)*I + (((2*w5 + 10)*w3 + 4*w5)*w2*s2 - 8*w5*w3)*r2 + (((((2*w5 - 18)*w3 - 28)*w2 + ((-2*w5 + 6)*w3 - 2*w5 - 2))*s3 + (((14*w5 - 10)*w3 + (18*w5 - 30))*w2 + ((48*w5 - 40)*w3 + (60*w5 - 60))))*s2 + ((((10*w5 - 26)*w3 + (14*w5 - 30))*w2 + ((20*w5 - 20)*w3 + (16*w5 + 16)))*s3 + (((32*w5 - 120)*w3 + (60*w5 - 180))*w2 + ((44*w5 - 140)*w3 + (12*w5 - 60)))))*s1, (((((4/3*w3*w2 + (-2*w5 + 2))*s3 + ((-6*w5 - 10)*w3 - 6*w5 - 10))*s2 + ((4*w2 - 8*w3)*s3 + (12*w5*w3 + 12*w5)*w2))*s1 + ((((-4/3*w3 + (2*w5 - 2))*w2 + (1/3*(-2*w5 + 2)*w3 + (2*w5 - 2)))*s3 + ((4*w5*w3 + 4*w5)*w2 + ((6*w5 + 10)*w3 + (6*w5 + 10))))*s2 + (((4*w3 - 4)*w2 + (8*w3 - 4*w5 - 4))*s3 + ((-12*w5*w3 - 12*w5)*w2 - 8*w5*w3 - 8*w5))))*r2*r1 + ((((4*w5*w3 + 4*w5)*w2 + ((-6*w5 - 10)*w3 - 6*w5 - 10))*s2 + ((12*w5*w3 + 12*w5)*w2 - 8*w5*w3 - 8*w5))*s1 + (1/3*(-6*w5 - 10)*w3*w2*s3*s2 + ((-4*w5 + 4)*w2 + 1/3*(8*w5 + 16)*w3)*s3))*r2)*I + ((((1/3*(-2*w5 + 6)*w3*w2 + (2*w5 - 2))*s3 + ((-2*w5 + 10)*w3 - 2*w5 + 10))*s2 - 4*w5*w2*s3 + (-4*w5*w3 - 4*w5)*w2)*s1 + (((1/3*(2*w5 - 6)*w3*w2 + (1/3*(2*w5 - 10)*w3 - 2*w5 + 2))*s3 + (((-2*w5 - 10)*w3 - 2*w5 - 10)*w2 + ((2*w5 - 10)*w3 + (2*w5 - 10))))*s2 + (((4*w3 + 4*w5)*w2 + (4*w5 - 4))*s3 + ((4*w5*w3 + 4*w5)*w2 + (16*w5*w3 + 16*w5)))))*r2*r1 + (((((-2*w5 - 10)*w3 - 2*w5 - 10)*w2 + ((-2*w5 + 10)*w3 - 2*w5 + 10))*s2 + ((-4*w5*w3 - 4*w5)*w2 + (16*w5*w3 + 16*w5)))*s1 + ((1/3*(2*w5 + 6)*w3*w2 + (-4*w5 - 12))*s3*s2 + ((4*w5 + 4)*w2 + 1/3*(-8*w5 + 16)*w3)*s3))*r2, ((((1/3*(2*w5 - 10)*w3 - 8)*w2 + (1/3*(2*w5 + 18)*w3 + (2*w5 + 10)))*s3*s2 + ((1/3*(-4*w5 + 16)*w3 + 4)*w2 + (1/3*(8*w5 - 24)*w3 + (4*w5 - 12)))*s3)*s1*r2 + (((((8*w5 - 20)*w3 + (4*w5 - 8))*w2 + ((4*w5 - 4)*w3 + 8*w5))*s3 + (((46*w5 - 90)*w3 + (18*w5 - 30))*w2 + ((40*w5 - 80)*w3 + (84*w5 - 180))))*s2 + ((((8*w5 - 24)*w3 + (16*w5 - 56))*w2 + ((-20*w5 + 52)*w3 - 36*w5 + 84))*s3 + (((-72*w5 + 160)*w3 - 132*w5 + 300)*w2 + ((-20*w5 + 20)*w3 + (12*w5 - 60)))))*s1)*I + (((1/3*(-4*w5 + 4)*w3 - 2*w5 + 2)*w2 + (1/3*(6*w5 - 2)*w3 + (2*w5 + 2)))*s3*s2 + ((1/3*(-8*w5 + 4)*w3 - 4*w5)*w2 + (1/3*(12*w5 - 20)*w3 + (8*w5 - 8)))*s3)*s1*r2 + (((((-8*w5 - 4)*w3 - 20*w5 + 8)*w2 + (24*w3 + (12*w5 + 4)))*s3 + (((2*w5 - 30)*w3 - 6*w5 - 30)*w2 + ((60*w5 - 60)*w3 + (96*w5 - 120))))*s2 + ((((16*w5 - 56)*w3 + (16*w5 - 64))*w2 + ((4*w5 + 28)*w3 + (12*w5 + 36)))*s3 + (((36*w5 - 140)*w3 + (72*w5 - 240))*w2 + ((100*w5 - 180)*w3 + (60*w5 - 60)))))*s1, ((((((1/6*(w5 - 1)*w3 + 1/2*(-w5 - 3))*w2 + ((w5 + 3)*w3 + (2*w5 + 6)))*s3 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((((-w5 - 1)*w3 - w5 - 3)*w2 + (1/3*(2*w5 - 12)*w3 + (2*w5 - 4)))*s3 + (2*w5*w3 - 2*w5)*w2))*s1 + (((1/3*(-2*w5 - 4)*w3*w2 + (1/3*(-7*w5 - 15)*w3 - 3*w5 - 7))*s3 + (((-w5 - 5)*w3 - 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5)))*s2 + (((1/3*(5*w5 + 11)*w3 + (w5 + 7))*w2 + (1/3*(-2*w5 + 18)*w3 - 4*w5 + 8))*s3 + ((-2*w5*w3 + 2*w5)*w2 + 4*w5))))*r2*r1 + ((((2*w5*w3 - w5 - 5)*w2 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((2*w5*w3 + 2*w5)*w2 - 4*w5*w3))*s1 + (((1/3*(-2*w5 + 8)*w3 - w5 + 3)*w2 + ((w5 - 1)*w3 + (w5 - 1)))*s3*s2 + ((-2*w5*w3 - 4*w5 + 2)*w2 - 4*w3)*s3))*r2)*I + (((((1/6*(-7*w5 - 13)*w3 + 1/2*(-3*w5 - 5))*w2 + (w5 + 3))*s3 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((((-w5 + 1)*w3 - 3*w5 + 1)*w2 + (1/3*(6*w5 + 4)*w3 + (2*w5 + 4)))*s3 + (-2*w5*w3 - 2*w5)*w2))*s1 + ((((1/3*(2*w5 + 2)*w3 - 2)*w2 + (1/3*(3*w5 + 7)*w3 + (w5 + 1)))*s3 + ((-2*w5*w3 + (w5 + 5))*w2 + ((-3*w5 - 5)*w3 - w5 + 5)))*s2 + (((1/3*(-w5 + 1)*w3 + (w5 - 1))*w2 + (-4/3*w3 + (2*w5 - 2)))*s3 + ((2*w5*w3 + 2*w5)*w2 + 4*w5*w3))))*r2*r1 + (((((-w5 - 5)*w3 - 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((2*w5*w3 - 2*w5)*w2 + 4*w5))*s1 + (((1/3*(-w5 - 1)*w3 - 2)*w2 + ((w5 - 1)*w3 + (3*w5 - 3)))*s3*s2 + ((-2*w3 - 2*w5 - 4)*w2 + (8*w3 + 12))*s3))*r2, (((4*w5 + 20)*w3 + (4*w5 + 20))*w2*s2 + (-16*w5*w3 - 16*w5))*r2*I + ((8*w5*w3 + 8*w5)*w2*s2 + (-32*w5*w3 - 32*w5))*r2, ((((((1/6*(-w5 + 9)*w3 + 1/2*(-w5 + 5))*w2 + (-w5 + 1))*s3 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((((-w5 + 1)*w3 - w5 + 3)*w2 - 6*w3 - 6)*s3 + (6*w5*w3 - 2*w5)*w2))*s1 + ((((1/3*(2*w5 - 6)*w3 + (2*w5 - 4))*w2 + (1/3*(-w5 - 1)*w3 + (w5 - 3)))*s3 + ((2*w5*w3 - w5 - 5)*w2 + ((3*w5 + 5)*w3 + (w5 - 5))))*s2 + ((((w5 + 3)*w3 + (w5 + 3))*w2 + (4*w3 - 2*w5 + 2))*s3 + ((-6*w5*w3 + 2*w5)*w2 - 4*w5*w3 + 8*w5))))*r2*r1 + (((((w5 + 5)*w3 + 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((2*w5*w3 + 6*w5)*w2 - 8*w5*w3 - 4*w5))*s1 + (((1/3*(-3*w5 - 7)*w3 - 2*w5 - 4)*w2 + ((w5 + 3)*w3 + (3*w5 + 9)))*s3*s2 + ((-2*w5*w3 - 4*w5 - 2)*w2 + (1/3*(8*w5 - 8)*w3 + 4*w5))*s3))*r2)*I + (((((1/6*(-3*w5 + 7)*w3 + 1/2*(-w5 + 1))*w2 + ((w5 - 1)*w3 + (2*w5 - 2)))*s3 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((((-w5 - 1)*w3 - 3*w5 - 1)*w2 + (2*w3 + 6))*s3 + (-2*w5*w3 - 6*w5)*w2))*s1 + (((-2/3*w3*w2 + (1/3*(-w5 - 5)*w3 - w5 - 1))*s3 + (((-w5 - 5)*w3 - 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5)))*s2 + ((((w5 + 3)*w3 + (3*w5 + 1))*w2 + ((2*w5 - 2)*w3 + (4*w5 - 8)))*s3 + ((2*w5*w3 + 6*w5)*w2 + (8*w5*w3 + 4*w5)))))*r2*r1 + ((((2*w5*w3 - w5 - 5)*w2 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((6*w5*w3 - 2*w5)*w2 - 4*w5*w3 + 8*w5))*s1 + (((1/3*(-4*w5 - 6)*w3 - w5 - 1)*w2 + ((-w5 - 3)*w3 - w5 - 3))*s3*s2 + ((2*w3 - 2*w5 + 4)*w2 + (1/3*(4*w5 + 16)*w3 + 8))*s3))*r2, ((((8/3*w3 + 4)*w2 + (1/3*(-2*w5 - 14)*w3 - 2*w5 - 6))*s3*s2 + ((1/3*(2*w5 + 14)*w3 + (2*w5 + 6))*w2 + (-16/3*w3 - 8))*s3)*s1*r2 + ((((4*w3 - 8*w5 + 12)*w2 + ((12*w5 - 44)*w3 + (8*w5 - 64)))*s3 + (((58*w5 - 110)*w3 + (54*w5 - 90))*w2 - 8*w5*w3 + 12*w5 - 60))*s2 + ((((12*w5 - 12)*w3 + (12*w5 + 12))*w2 + ((-20*w5 + 36)*w3 - 20*w5 + 52))*s3 + (((-16*w5 + 40)*w3 - 132*w5 + 300)*w2 + ((36*w5 - 100)*w3 + (180*w5 - 420)))))*s1)*I + (((-4/3*w5*w3 - 4*w5 - 4)*w2 + (1/3*(10*w5 + 14)*w3 + (6*w5 + 10)))*s3*s2 + ((1/3*(-10*w5 - 14)*w3 - 6*w5 - 10)*w2 + (8/3*w5*w3 + (8*w5 + 8)))*s3)*s1*r2 + (((((-4*w5 + 16)*w3 - 12*w5 + 32)*w2 + ((-8*w5 + 16)*w3 - 4*w5 + 4))*s3 + (((-18*w5 + 30)*w3 - 66*w5 + 150)*w2 + ((-4*w5 - 60)*w3 + (72*w5 - 240))))*s2 + ((((12*w5 - 20)*w3 + (12*w5 - 12))*w2 + ((-28*w5 + 44)*w3 - 20*w5 + 20))*s3 + (((-4*w5 + 60)*w3 + 24*w5)*w2 + ((108*w5 - 220)*w3 + (84*w5 - 180)))))*s1, (((((1/3*(2*w5 + 2)*w3*w2 + (2*w5 + 6))*s3 + ((-2*w5 + 10)*w3 - 2*w5 + 10))*s2 + ((-4*w2 - 16/3*w3)*s3 + (4*w5*w3 + 4*w5)*w2))*s1 + (((1/3*(-2*w5 - 2)*w3*w2 + (1/3*(-6*w5 - 10)*w3 - 2*w5 - 6))*s3 + (((-2*w5 - 10)*w3 - 2*w5 - 10)*w2 + ((2*w5 - 10)*w3 + (2*w5 - 10))))*s2 + (((1/3*(4*w5 + 8)*w3 + 4)*w2 + (16/3*w3 - 4*w5 + 4))*s3 + (-4*w5*w3 - 4*w5)*w2)))*r2*r1 + (((((-2*w5 - 10)*w3 - 2*w5 - 10)*w2 + ((-2*w5 + 10)*w3 - 2*w5 + 10))*s2 + (4*w5*w3 + 4*w5)*w2)*s1 + ((1/3*(-2*w5 + 2)*w3*w2 + (4*w5 - 4))*s3*s2 + ((-4*w5 - 4)*w2 + 8*w3)*s3))*r2)*I + ((((1/3*(-4*w5 - 8)*w3*w2 + (2*w5 + 6))*s3 + ((6*w5 + 10)*w3 + (6*w5 + 10)))*s2 + ((-4*w5*w2 + 8/3*w5*w3)*s3 + (-4*w5*w3 - 4*w5)*w2))*s1 + ((((1/3*(4*w5 + 8)*w3 - 2*w5 - 6)*w2 + (1/3*(2*w5 + 6)*w3 - 2*w5 - 6))*s3 + ((-4*w5*w3 - 4*w5)*w2 + ((-6*w5 - 10)*w3 - 6*w5 - 10)))*s2 + (((1/3*(-4*w5 + 8)*w3 + 4*w5)*w2 + (-8/3*w5*w3 + (4*w5 + 4)))*s3 + ((4*w5*w3 + 4*w5)*w2 + (8*w5*w3 + 8*w5)))))*r2*r1 + ((((-4*w5*w3 - 4*w5)*w2 + ((6*w5 + 10)*w3 + (6*w5 + 10)))*s2 + ((-4*w5*w3 - 4*w5)*w2 + (8*w5*w3 + 8*w5)))*s1 + (1/3*(2*w5 - 10)*w3*w2*s3*s2 + ((4*w5 - 4)*w2 + 8*w3)*s3))*r2, (((4*w5*w3 - 2*w5 - 10)*w2*s2 + 8*w5)*r2 + ((((-4*w5*w3 - 10*w5 - 6)*w2 + ((2*w5 + 2)*w3 - 2*w5 - 10))*s3 + (((-22*w5 + 10)*w3 - 6*w5 - 30)*w2 + ((-28*w5 + 60)*w3 - 48*w5 + 120)))*s2 + ((((-6*w5 + 6)*w3 - 6*w5 + 22)*w2 + (16*w3 + (4*w5 + 44)))*s3 + (((44*w5 - 100)*w3 + (48*w5 - 120))*w2 + ((36*w5 - 20)*w3 + (60*w5 - 60)))))*s1)*I + (((-2*w5 - 10)*w3 - 4*w5)*w2*s2 + 8*w5*w3)*r2 + (((((-2*w5 + 18)*w3 + 28)*w2 + ((2*w5 - 6)*w3 + (2*w5 + 2)))*s3 + (((-14*w5 + 10)*w3 - 18*w5 + 30)*w2 + ((-48*w5 + 40)*w3 - 60*w5 + 60)))*s2 + ((((-10*w5 + 26)*w3 - 14*w5 + 30)*w2 + ((-20*w5 + 20)*w3 - 16*w5 - 16))*s3 + (((-32*w5 + 120)*w3 - 60*w5 + 180)*w2 + ((-44*w5 + 140)*w3 - 12*w5 + 60))))*s1, ((((((1/6*(-3*w5 + 7)*w3 + 1/2*(-w5 + 1))*w2 + ((w5 - 1)*w3 + (2*w5 - 2)))*s3 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((((-w5 - 1)*w3 - 3*w5 - 1)*w2 + (2*w3 + 6))*s3 + (2*w5*w3 + 6*w5)*w2))*s1 + (((-2/3*w3*w2 + (1/3*(-w5 - 5)*w3 - w5 - 1))*s3 + (((w5 + 5)*w3 + 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5))))*s2 + ((((w5 + 3)*w3 + (3*w5 + 1))*w2 + ((2*w5 - 2)*w3 + (4*w5 - 8)))*s3 + ((-2*w5*w3 - 6*w5)*w2 - 8*w5*w3 - 4*w5))))*r2*r1 + (((((-w5 - 5)*w3 - 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((-2*w5*w3 - 6*w5)*w2 + (8*w5*w3 + 4*w5)))*s1 + (((1/3*(-3*w5 - 7)*w3 - 2*w5 - 4)*w2 + ((w5 + 3)*w3 + (3*w5 + 9)))*s3*s2 + ((-2*w5*w3 - 4*w5 - 2)*w2 + (1/3*(8*w5 - 8)*w3 + 4*w5))*s3))*r2)*I + (((((1/6*(w5 - 9)*w3 + 1/2*(w5 - 5))*w2 + (w5 - 1))*s3 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((((w5 - 1)*w3 + (w5 - 3))*w2 + (6*w3 + 6))*s3 + (6*w5*w3 - 2*w5)*w2))*s1 + ((((1/3*(-2*w5 + 6)*w3 - 2*w5 + 4)*w2 + (1/3*(w5 + 1)*w3 - w5 + 3))*s3 + ((2*w5*w3 - w5 - 5)*w2 + ((3*w5 + 5)*w3 + (w5 - 5))))*s2 + ((((-w5 - 3)*w3 - w5 - 3)*w2 - 4*w3 + 2*w5 - 2)*s3 + ((-6*w5*w3 + 2*w5)*w2 - 4*w5*w3 + 8*w5))))*r2*r1 + ((((-2*w5*w3 + (w5 + 5))*w2 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((-6*w5*w3 + 2*w5)*w2 + (4*w5*w3 - 8*w5)))*s1 + (((1/3*(-4*w5 - 6)*w3 - w5 - 1)*w2 + ((-w5 - 3)*w3 - w5 - 3))*s3*s2 + ((2*w3 - 2*w5 + 4)*w2 + (1/3*(4*w5 + 16)*w3 + 8))*s3))*r2, ((1/3*(4*w5 + 4)*w3*w2 + (-8/3*w5*w3 - 8))*s3*s2 + ((1/3*(4*w5 - 4)*w3 + (4*w5 - 4))*w2 + (1/3*(-8*w5 + 24)*w3 - 8*w5 + 8))*s3)*s1*r2*I + (((1/3*(4*w5 - 4)*w3 - 8)*w2 + (8/3*w3 + 8))*s3*s2 + ((1/3*(-4*w5 + 20)*w3 + (4*w5 - 4))*w2 - 16/3*w3)*s3)*s1*r2, ((((((1/6*(-w5 + 1)*w3 + 1/2*(w5 + 3))*w2 + ((-w5 - 3)*w3 - 2*w5 - 6))*s3 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((((w5 + 1)*w3 + (w5 + 3))*w2 + (1/3*(-2*w5 + 12)*w3 - 2*w5 + 4))*s3 + (-2*w5*w3 + 2*w5)*w2))*s1 + (((1/3*(2*w5 + 4)*w3*w2 + (1/3*(7*w5 + 15)*w3 + (3*w5 + 7)))*s3 + (((w5 + 5)*w3 + 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5))))*s2 + (((1/3*(-5*w5 - 11)*w3 - w5 - 7)*w2 + (1/3*(2*w5 - 18)*w3 + (4*w5 - 8)))*s3 + ((2*w5*w3 - 2*w5)*w2 - 4*w5))))*r2*r1 + ((((2*w5*w3 - w5 - 5)*w2 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((2*w5*w3 + 2*w5)*w2 - 4*w5*w3))*s1 + (((1/3*(-2*w5 + 8)*w3 - w5 + 3)*w2 + ((w5 - 1)*w3 + (w5 - 1)))*s3*s2 + ((-2*w5*w3 - 4*w5 + 2)*w2 - 4*w3)*s3))*r2)*I + (((((1/6*(7*w5 + 13)*w3 + 1/2*(3*w5 + 5))*w2 + (-w5 - 3))*s3 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((((w5 - 1)*w3 + (3*w5 - 1))*w2 + (1/3*(-6*w5 - 4)*w3 - 2*w5 - 4))*s3 + (2*w5*w3 + 2*w5)*w2))*s1 + ((((1/3*(-2*w5 - 2)*w3 + 2)*w2 + (1/3*(-3*w5 - 7)*w3 - w5 - 1))*s3 + ((2*w5*w3 - w5 - 5)*w2 + ((3*w5 + 5)*w3 + (w5 - 5))))*s2 + (((1/3*(w5 - 1)*w3 - w5 + 1)*w2 + (4/3*w3 - 2*w5 + 2))*s3 + ((-2*w5*w3 - 2*w5)*w2 - 4*w5*w3))))*r2*r1 + (((((-w5 - 5)*w3 - 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((2*w5*w3 - 2*w5)*w2 + 4*w5))*s1 + (((1/3*(-w5 - 1)*w3 - 2)*w2 + ((w5 - 1)*w3 + (3*w5 - 3)))*s3*s2 + ((-2*w3 - 2*w5 - 4)*w2 + (8*w3 + 12))*s3))*r2, (((-4*w5*w3 + (2*w5 + 10))*w2*s2 + (16*w5*w3 - 8*w5))*r2 + (((((-4*w5 + 24)*w3 - 2*w5 + 26)*w2 + ((6*w5 - 42)*w3 + (2*w5 - 54)))*s3 + (((34*w5 - 30)*w3 + (42*w5 - 30))*w2 + ((-20*w5 + 20)*w3 - 24*w5)))*s2 + ((((10*w5 + 6)*w3 + (2*w5 + 46))*w2 - 32*w3 + 12*w5 - 76)*s3 + (((12*w5 - 20)*w3 - 48*w5 + 120)*w2 + ((20*w5 - 100)*w3 + (108*w5 - 300)))))*s1)*I + (((2*w5 + 10)*w3 + 4*w5)*w2*s2 + (-8*w5*w3 - 16*w5))*r2 + (((((6*w5 + 2)*w3 + (8*w5 - 4))*w2 + ((-10*w5 - 2)*w3 - 18*w5 - 2))*s3 + (((-6*w5 + 50)*w3 - 42*w5 + 150)*w2 + ((-16*w5 - 40)*w3 + (36*w5 - 180))))*s2 + ((((6*w5 + 10)*w3 + (10*w5 + 22))*w2 + ((-12*w5 - 4)*w3 - 16*w5))*s3 + (((-8*w5 + 80)*w3 + (12*w5 + 60))*w2 + ((52*w5 - 180)*w3 + (36*w5 - 180)))))*s1, (((((1/3*(2*w5 - 6)*w3*w2 + (-2*w5 + 2))*s3 + ((-2*w5 + 10)*w3 - 2*w5 + 10))*s2 + (4*w5*w2*s3 + (-4*w5*w3 - 4*w5)*w2))*s1 + (((1/3*(-2*w5 + 6)*w3*w2 + (1/3*(-2*w5 + 10)*w3 + (2*w5 - 2)))*s3 + (((-2*w5 - 10)*w3 - 2*w5 - 10)*w2 + ((2*w5 - 10)*w3 + (2*w5 - 10))))*s2 + (((-4*w3 - 4*w5)*w2 + (-4*w5 + 4))*s3 + ((4*w5*w3 + 4*w5)*w2 + (16*w5*w3 + 16*w5)))))*r2*r1 + ((((-4*w5*w3 - 4*w5)*w2 + ((6*w5 + 10)*w3 + (6*w5 + 10)))*s2 + ((-12*w5*w3 - 12*w5)*w2 + (8*w5*w3 + 8*w5)))*s1 + (1/3*(-6*w5 - 10)*w3*w2*s3*s2 + ((-4*w5 + 4)*w2 + 1/3*(8*w5 + 16)*w3)*s3))*r2)*I + ((((4/3*w3*w2 + (-2*w5 + 2))*s3 + ((6*w5 + 10)*w3 + (6*w5 + 10)))*s2 + ((4*w2 - 8*w3)*s3 + (-12*w5*w3 - 12*w5)*w2))*s1 + ((((-4/3*w3 + (2*w5 - 2))*w2 + (1/3*(-2*w5 + 2)*w3 + (2*w5 - 2)))*s3 + ((-4*w5*w3 - 4*w5)*w2 + ((-6*w5 - 10)*w3 - 6*w5 - 10)))*s2 + (((4*w3 - 4)*w2 + (8*w3 - 4*w5 - 4))*s3 + ((12*w5*w3 + 12*w5)*w2 + (8*w5*w3 + 8*w5)))))*r2*r1 + (((((2*w5 + 10)*w3 + (2*w5 + 10))*w2 + ((2*w5 - 10)*w3 + (2*w5 - 10)))*s2 + ((4*w5*w3 + 4*w5)*w2 - 16*w5*w3 - 16*w5))*s1 + ((1/3*(2*w5 + 6)*w3*w2 + (-4*w5 - 12))*s3*s2 + ((4*w5 + 4)*w2 + 1/3*(-8*w5 + 16)*w3)*s3))*r2, ((((-8/3*w3 - 4)*w2 + (1/3*(2*w5 + 14)*w3 + (2*w5 + 6)))*s3*s2 + ((1/3*(-2*w5 - 14)*w3 - 2*w5 - 6)*w2 + (16/3*w3 + 8))*s3)*s1*r2 + ((((-4*w3 + (8*w5 - 12))*w2 + ((-12*w5 + 44)*w3 - 8*w5 + 64))*s3 + (((-58*w5 + 110)*w3 - 54*w5 + 90)*w2 + (8*w5*w3 - 12*w5 + 60)))*s2 + ((((-12*w5 + 12)*w3 - 12*w5 - 12)*w2 + ((20*w5 - 36)*w3 + (20*w5 - 52)))*s3 + (((16*w5 - 40)*w3 + (132*w5 - 300))*w2 + ((-36*w5 + 100)*w3 - 180*w5 + 420))))*s1)*I + (((4/3*w5*w3 + (4*w5 + 4))*w2 + (1/3*(-10*w5 - 14)*w3 - 6*w5 - 10))*s3*s2 + ((1/3*(10*w5 + 14)*w3 + (6*w5 + 10))*w2 + (-8/3*w5*w3 - 8*w5 - 8))*s3)*s1*r2 + (((((4*w5 - 16)*w3 + (12*w5 - 32))*w2 + ((8*w5 - 16)*w3 + (4*w5 - 4)))*s3 + (((18*w5 - 30)*w3 + (66*w5 - 150))*w2 + ((4*w5 + 60)*w3 - 72*w5 + 240)))*s2 + ((((-12*w5 + 20)*w3 - 12*w5 + 12)*w2 + ((28*w5 - 44)*w3 + (20*w5 - 20)))*s3 + (((4*w5 - 60)*w3 - 24*w5)*w2 + ((-108*w5 + 220)*w3 - 84*w5 + 180))))*s1, ((((((1/6*(-7*w5 - 13)*w3 + 1/2*(-3*w5 - 5))*w2 + (w5 + 3))*s3 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((((-w5 + 1)*w3 - 3*w5 + 1)*w2 + (1/3*(6*w5 + 4)*w3 + (2*w5 + 4)))*s3 + (2*w5*w3 + 2*w5)*w2))*s1 + ((((1/3*(2*w5 + 2)*w3 - 2)*w2 + (1/3*(3*w5 + 7)*w3 + (w5 + 1)))*s3 + ((2*w5*w3 - w5 - 5)*w2 + ((3*w5 + 5)*w3 + (w5 - 5))))*s2 + (((1/3*(-w5 + 1)*w3 + (w5 - 1))*w2 + (-4/3*w3 + (2*w5 - 2)))*s3 + ((-2*w5*w3 - 2*w5)*w2 - 4*w5*w3))))*r2*r1 + ((((-2*w5*w3 + (w5 + 5))*w2 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((-2*w5*w3 - 2*w5)*w2 + 4*w5*w3))*s1 + (((1/3*(-2*w5 + 8)*w3 - w5 + 3)*w2 + ((w5 - 1)*w3 + (w5 - 1)))*s3*s2 + ((-2*w5*w3 - 4*w5 + 2)*w2 - 4*w3)*s3))*r2)*I + (((((1/6*(-w5 + 1)*w3 + 1/2*(w5 + 3))*w2 + ((-w5 - 3)*w3 - 2*w5 - 6))*s3 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((((w5 + 1)*w3 + (w5 + 3))*w2 + (1/3*(-2*w5 + 12)*w3 - 2*w5 + 4))*s3 + (2*w5*w3 - 2*w5)*w2))*s1 + (((1/3*(2*w5 + 4)*w3*w2 + (1/3*(7*w5 + 15)*w3 + (3*w5 + 7)))*s3 + (((-w5 - 5)*w3 - 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5)))*s2 + (((1/3*(-5*w5 - 11)*w3 - w5 - 7)*w2 + (1/3*(2*w5 - 18)*w3 + (4*w5 - 8)))*s3 + ((-2*w5*w3 + 2*w5)*w2 + 4*w5))))*r2*r1 + (((((w5 + 5)*w3 + 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((-2*w5*w3 + 2*w5)*w2 - 4*w5))*s1 + (((1/3*(-w5 - 1)*w3 - 2)*w2 + ((w5 - 1)*w3 + (3*w5 - 3)))*s3*s2 + ((-2*w3 - 2*w5 - 4)*w2 + (8*w3 + 12))*s3))*r2, (((-4*w5 - 20)*w3 - 4*w5 - 20)*w2*s2 + (16*w5*w3 + 16*w5))*r2*I + (-8*w5*w3 - 8*w5)*w2*s2*r2, ((((((1/6*(3*w5 - 7)*w3 + 1/2*(w5 - 1))*w2 + ((-w5 + 1)*w3 - 2*w5 + 2))*s3 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((((w5 + 1)*w3 + (3*w5 + 1))*w2 - 2*w3 - 6)*s3 + (-2*w5*w3 - 6*w5)*w2))*s1 + (((2/3*w3*w2 + (1/3*(w5 + 5)*w3 + (w5 + 1)))*s3 + (((-w5 - 5)*w3 - 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5)))*s2 + ((((-w5 - 3)*w3 - 3*w5 - 1)*w2 + ((-2*w5 + 2)*w3 - 4*w5 + 8))*s3 + ((2*w5*w3 + 6*w5)*w2 + (8*w5*w3 + 4*w5)))))*r2*r1 + (((((-w5 - 5)*w3 - 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((-2*w5*w3 - 6*w5)*w2 + (8*w5*w3 + 4*w5)))*s1 + (((1/3*(-3*w5 - 7)*w3 - 2*w5 - 4)*w2 + ((w5 + 3)*w3 + (3*w5 + 9)))*s3*s2 + ((-2*w5*w3 - 4*w5 - 2)*w2 + (1/3*(8*w5 - 8)*w3 + 4*w5))*s3))*r2)*I + (((((1/6*(-w5 + 9)*w3 + 1/2*(-w5 + 5))*w2 + (-w5 + 1))*s3 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((((-w5 + 1)*w3 - w5 + 3)*w2 - 6*w3 - 6)*s3 + (-6*w5*w3 + 2*w5)*w2))*s1 + ((((1/3*(2*w5 - 6)*w3 + (2*w5 - 4))*w2 + (1/3*(-w5 - 1)*w3 + (w5 - 3)))*s3 + ((-2*w5*w3 + (w5 + 5))*w2 + ((-3*w5 - 5)*w3 - w5 + 5)))*s2 + ((((w5 + 3)*w3 + (w5 + 3))*w2 + (4*w3 - 2*w5 + 2))*s3 + ((6*w5*w3 - 2*w5)*w2 + (4*w5*w3 - 8*w5)))))*r2*r1 + ((((-2*w5*w3 + (w5 + 5))*w2 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((-6*w5*w3 + 2*w5)*w2 + (4*w5*w3 - 8*w5)))*s1 + (((1/3*(-4*w5 - 6)*w3 - w5 - 1)*w2 + ((-w5 - 3)*w3 - w5 - 3))*s3*s2 + ((2*w3 - 2*w5 + 4)*w2 + (1/3*(4*w5 + 16)*w3 + 8))*s3))*r2, ((((1/3*(2*w5 - 10)*w3 - 8)*w2 + (1/3*(2*w5 + 18)*w3 + (2*w5 + 10)))*s3*s2 + ((1/3*(-4*w5 + 16)*w3 + 4)*w2 + (1/3*(8*w5 - 24)*w3 + (4*w5 - 12)))*s3)*s1*r2 + (((((-8*w5 + 20)*w3 - 4*w5 + 8)*w2 + ((-4*w5 + 4)*w3 - 8*w5))*s3 + (((-46*w5 + 90)*w3 - 18*w5 + 30)*w2 + ((-40*w5 + 80)*w3 - 84*w5 + 180)))*s2 + ((((-8*w5 + 24)*w3 - 16*w5 + 56)*w2 + ((20*w5 - 52)*w3 + (36*w5 - 84)))*s3 + (((72*w5 - 160)*w3 + (132*w5 - 300))*w2 + ((20*w5 - 20)*w3 - 12*w5 + 60))))*s1)*I + (((1/3*(-4*w5 + 4)*w3 - 2*w5 + 2)*w2 + (1/3*(6*w5 - 2)*w3 + (2*w5 + 2)))*s3*s2 + ((1/3*(-8*w5 + 4)*w3 - 4*w5)*w2 + (1/3*(12*w5 - 20)*w3 + (8*w5 - 8)))*s3)*s1*r2 + (((((8*w5 + 4)*w3 + (20*w5 - 8))*w2 - 24*w3 - 12*w5 - 4)*s3 + (((-2*w5 + 30)*w3 + (6*w5 + 30))*w2 + ((-60*w5 + 60)*w3 - 96*w5 + 120)))*s2 + ((((-16*w5 + 56)*w3 - 16*w5 + 64)*w2 + ((-4*w5 - 28)*w3 - 12*w5 - 36))*s3 + (((-36*w5 + 140)*w3 - 72*w5 + 240)*w2 + ((-100*w5 + 180)*w3 - 60*w5 + 60))))*s1, (((((1/3*(-4*w5 - 8)*w3*w2 + (2*w5 + 6))*s3 + ((-6*w5 - 10)*w3 - 6*w5 - 10))*s2 + ((-4*w5*w2 + 8/3*w5*w3)*s3 + (4*w5*w3 + 4*w5)*w2))*s1 + ((((1/3*(4*w5 + 8)*w3 - 2*w5 - 6)*w2 + (1/3*(2*w5 + 6)*w3 - 2*w5 - 6))*s3 + ((4*w5*w3 + 4*w5)*w2 + ((6*w5 + 10)*w3 + (6*w5 + 10))))*s2 + (((1/3*(-4*w5 + 8)*w3 + 4*w5)*w2 + (-8/3*w5*w3 + (4*w5 + 4)))*s3 + ((-4*w5*w3 - 4*w5)*w2 - 8*w5*w3 - 8*w5))))*r2*r1 + (((((2*w5 + 10)*w3 + (2*w5 + 10))*w2 + ((2*w5 - 10)*w3 + (2*w5 - 10)))*s2 + (-4*w5*w3 - 4*w5)*w2)*s1 + ((1/3*(-2*w5 + 2)*w3*w2 + (4*w5 - 4))*s3*s2 + ((-4*w5 - 4)*w2 + 8*w3)*s3))*r2)*I + ((((1/3*(-2*w5 - 2)*w3*w2 + (-2*w5 - 6))*s3 + ((-2*w5 + 10)*w3 - 2*w5 + 10))*s2 + ((4*w2 + 16/3*w3)*s3 + (4*w5*w3 + 4*w5)*w2))*s1 + (((1/3*(2*w5 + 2)*w3*w2 + (1/3*(6*w5 + 10)*w3 + (2*w5 + 6)))*s3 + (((-2*w5 - 10)*w3 - 2*w5 - 10)*w2 + ((2*w5 - 10)*w3 + (2*w5 - 10))))*s2 + (((1/3*(-4*w5 - 8)*w3 - 4)*w2 + (-16/3*w3 + (4*w5 - 4)))*s3 + (-4*w5*w3 - 4*w5)*w2)))*r2*r1 + ((((4*w5*w3 + 4*w5)*w2 + ((-6*w5 - 10)*w3 - 6*w5 - 10))*s2 + ((4*w5*w3 + 4*w5)*w2 - 8*w5*w3 - 8*w5))*s1 + (1/3*(2*w5 - 10)*w3*w2*s3*s2 + ((4*w5 - 4)*w2 + 8*w3)*s3))*r2, (((4*w5*w3 - 2*w5 - 10)*w2*s2 + (-16*w5*w3 + 8*w5))*r2 + (((((4*w5 - 24)*w3 + (2*w5 - 26))*w2 + ((-6*w5 + 42)*w3 - 2*w5 + 54))*s3 + (((-34*w5 + 30)*w3 - 42*w5 + 30)*w2 + ((20*w5 - 20)*w3 + 24*w5)))*s2 + ((((-10*w5 - 6)*w3 - 2*w5 - 46)*w2 + (32*w3 - 12*w5 + 76))*s3 + (((-12*w5 + 20)*w3 + (48*w5 - 120))*w2 + ((-20*w5 + 100)*w3 - 108*w5 + 300))))*s1)*I + (((-2*w5 - 10)*w3 - 4*w5)*w2*s2 + (8*w5*w3 + 16*w5))*r2 + (((((-6*w5 - 2)*w3 - 8*w5 + 4)*w2 + ((10*w5 + 2)*w3 + (18*w5 + 2)))*s3 + (((6*w5 - 50)*w3 + (42*w5 - 150))*w2 + ((16*w5 + 40)*w3 - 36*w5 + 180)))*s2 + ((((-6*w5 - 10)*w3 - 10*w5 - 22)*w2 + ((12*w5 + 4)*w3 + 16*w5))*s3 + (((8*w5 - 80)*w3 - 12*w5 - 60)*w2 + ((-52*w5 + 180)*w3 - 36*w5 + 180))))*s1, ((((((1/6*(-w5 + 9)*w3 + 1/2*(-w5 + 5))*w2 + (-w5 + 1))*s3 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((((-w5 + 1)*w3 - w5 + 3)*w2 - 6*w3 - 6)*s3 + (6*w5*w3 - 2*w5)*w2))*s1 + ((((1/3*(2*w5 - 6)*w3 + (2*w5 - 4))*w2 + (1/3*(-w5 - 1)*w3 + (w5 - 3)))*s3 + ((2*w5*w3 - w5 - 5)*w2 + ((3*w5 + 5)*w3 + (w5 - 5))))*s2 + ((((w5 + 3)*w3 + (w5 + 3))*w2 + (4*w3 - 2*w5 + 2))*s3 + ((-6*w5*w3 + 2*w5)*w2 - 4*w5*w3 + 8*w5))))*r2*r1 + (((((w5 + 5)*w3 + 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((2*w5*w3 + 6*w5)*w2 - 8*w5*w3 - 4*w5))*s1 + (((1/3*(-3*w5 - 7)*w3 - 2*w5 - 4)*w2 + ((w5 + 3)*w3 + (3*w5 + 9)))*s3*s2 + ((-2*w5*w3 - 4*w5 - 2)*w2 + (1/3*(8*w5 - 8)*w3 + 4*w5))*s3))*r2)*I + (((((1/6*(-3*w5 + 7)*w3 + 1/2*(-w5 + 1))*w2 + ((w5 - 1)*w3 + (2*w5 - 2)))*s3 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((((-w5 - 1)*w3 - 3*w5 - 1)*w2 + (2*w3 + 6))*s3 + (-2*w5*w3 - 6*w5)*w2))*s1 + (((-2/3*w3*w2 + (1/3*(-w5 - 5)*w3 - w5 - 1))*s3 + (((-w5 - 5)*w3 - 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5)))*s2 + ((((w5 + 3)*w3 + (3*w5 + 1))*w2 + ((2*w5 - 2)*w3 + (4*w5 - 8)))*s3 + ((2*w5*w3 + 6*w5)*w2 + (8*w5*w3 + 4*w5)))))*r2*r1 + ((((2*w5*w3 - w5 - 5)*w2 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((6*w5*w3 - 2*w5)*w2 - 4*w5*w3 + 8*w5))*s1 + (((1/3*(-4*w5 - 6)*w3 - w5 - 1)*w2 + ((-w5 - 3)*w3 - w5 - 3))*s3*s2 + ((2*w3 - 2*w5 + 4)*w2 + (1/3*(4*w5 + 16)*w3 + 8))*s3))*r2, (((8/3*w3 - 4*w5 - 4)*w2 + (1/3*(4*w5 + 4)*w3 + (4*w5 + 4)))*s3*s2 + ((1/3*(-4*w5 - 4)*w3 - 4*w5 - 4)*w2 + (-16/3*w3 + (8*w5 + 8)))*s3)*s1*r2*I + ((1/3*(-4*w5 - 12)*w3*w2 + (1/3*(4*w5 + 20)*w3 + (4*w5 + 4)))*s3*s2 + ((1/3*(-4*w5 - 20)*w3 - 4*w5 - 4)*w2 + 1/3*(8*w5 + 24)*w3)*s3)*s1*r2, ((((((1/6*(7*w5 + 13)*w3 + 1/2*(3*w5 + 5))*w2 + (-w5 - 3))*s3 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((((w5 - 1)*w3 + (3*w5 - 1))*w2 + (1/3*(-6*w5 - 4)*w3 - 2*w5 - 4))*s3 + (-2*w5*w3 - 2*w5)*w2))*s1 + ((((1/3*(-2*w5 - 2)*w3 + 2)*w2 + (1/3*(-3*w5 - 7)*w3 - w5 - 1))*s3 + ((-2*w5*w3 + (w5 + 5))*w2 + ((-3*w5 - 5)*w3 - w5 + 5)))*s2 + (((1/3*(w5 - 1)*w3 - w5 + 1)*w2 + (4/3*w3 - 2*w5 + 2))*s3 + ((2*w5*w3 + 2*w5)*w2 + 4*w5*w3))))*r2*r1 + ((((-2*w5*w3 + (w5 + 5))*w2 + ((3*w5 + 5)*w3 + (w5 - 5)))*s2 + ((-2*w5*w3 - 2*w5)*w2 + 4*w5*w3))*s1 + (((1/3*(-2*w5 + 8)*w3 - w5 + 3)*w2 + ((w5 - 1)*w3 + (w5 - 1)))*s3*s2 + ((-2*w5*w3 - 4*w5 + 2)*w2 - 4*w3)*s3))*r2)*I + (((((1/6*(w5 - 1)*w3 + 1/2*(-w5 - 3))*w2 + ((w5 + 3)*w3 + (2*w5 + 6)))*s3 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((((-w5 - 1)*w3 - w5 - 3)*w2 + (1/3*(2*w5 - 12)*w3 + (2*w5 - 4)))*s3 + (-2*w5*w3 + 2*w5)*w2))*s1 + (((1/3*(-2*w5 - 4)*w3*w2 + (1/3*(-7*w5 - 15)*w3 - 3*w5 - 7))*s3 + (((w5 + 5)*w3 + 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5))))*s2 + (((1/3*(5*w5 + 11)*w3 + (w5 + 7))*w2 + (1/3*(-2*w5 + 18)*w3 - 4*w5 + 8))*s3 + ((2*w5*w3 - 2*w5)*w2 - 4*w5))))*r2*r1 + (((((w5 + 5)*w3 + 2*w5)*w2 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((-2*w5*w3 + 2*w5)*w2 - 4*w5))*s1 + (((1/3*(-w5 - 1)*w3 - 2)*w2 + ((w5 - 1)*w3 + (3*w5 - 3)))*s3*s2 + ((-2*w3 - 2*w5 - 4)*w2 + (8*w3 + 12))*s3))*r2, (((4*w5*w3 - 2*w5 - 10)*w2*s2 + 8*w5)*r2 + ((((4*w5*w3 + (10*w5 + 6))*w2 + ((-2*w5 - 2)*w3 + (2*w5 + 10)))*s3 + (((22*w5 - 10)*w3 + (6*w5 + 30))*w2 + ((28*w5 - 60)*w3 + (48*w5 - 120))))*s2 + ((((6*w5 - 6)*w3 + (6*w5 - 22))*w2 - 16*w3 - 4*w5 - 44)*s3 + (((-44*w5 + 100)*w3 - 48*w5 + 120)*w2 + ((-36*w5 + 20)*w3 - 60*w5 + 60))))*s1)*I + (((-2*w5 - 10)*w3 - 4*w5)*w2*s2 + 8*w5*w3)*r2 + (((((2*w5 - 18)*w3 - 28)*w2 + ((-2*w5 + 6)*w3 - 2*w5 - 2))*s3 + (((14*w5 - 10)*w3 + (18*w5 - 30))*w2 + ((48*w5 - 40)*w3 + (60*w5 - 60))))*s2 + ((((10*w5 - 26)*w3 + (14*w5 - 30))*w2 + ((20*w5 - 20)*w3 + (16*w5 + 16)))*s3 + (((32*w5 - 120)*w3 + (60*w5 - 180))*w2 + ((44*w5 - 140)*w3 + (12*w5 - 60)))))*s1, (((((-4/3*w3*w2 + (2*w5 - 2))*s3 + ((6*w5 + 10)*w3 + (6*w5 + 10)))*s2 + ((-4*w2 + 8*w3)*s3 + (-12*w5*w3 - 12*w5)*w2))*s1 + ((((4/3*w3 - 2*w5 + 2)*w2 + (1/3*(2*w5 - 2)*w3 - 2*w5 + 2))*s3 + ((-4*w5*w3 - 4*w5)*w2 + ((-6*w5 - 10)*w3 - 6*w5 - 10)))*s2 + (((-4*w3 + 4)*w2 - 8*w3 + 4*w5 + 4)*s3 + ((12*w5*w3 + 12*w5)*w2 + (8*w5*w3 + 8*w5)))))*r2*r1 + ((((4*w5*w3 + 4*w5)*w2 + ((-6*w5 - 10)*w3 - 6*w5 - 10))*s2 + ((12*w5*w3 + 12*w5)*w2 - 8*w5*w3 - 8*w5))*s1 + (1/3*(-6*w5 - 10)*w3*w2*s3*s2 + ((-4*w5 + 4)*w2 + 1/3*(8*w5 + 16)*w3)*s3))*r2)*I + ((((1/3*(2*w5 - 6)*w3*w2 + (-2*w5 + 2))*s3 + ((2*w5 - 10)*w3 + (2*w5 - 10)))*s2 + (4*w5*w2*s3 + (4*w5*w3 + 4*w5)*w2))*s1 + (((1/3*(-2*w5 + 6)*w3*w2 + (1/3*(-2*w5 + 10)*w3 + (2*w5 - 2)))*s3 + (((2*w5 + 10)*w3 + (2*w5 + 10))*w2 + ((-2*w5 + 10)*w3 - 2*w5 + 10)))*s2 + (((-4*w3 - 4*w5)*w2 + (-4*w5 + 4))*s3 + ((-4*w5*w3 - 4*w5)*w2 - 16*w5*w3 - 16*w5))))*r2*r1 + (((((-2*w5 - 10)*w3 - 2*w5 - 10)*w2 + ((-2*w5 + 10)*w3 - 2*w5 + 10))*s2 + ((-4*w5*w3 - 4*w5)*w2 + (16*w5*w3 + 16*w5)))*s1 + ((1/3*(2*w5 + 6)*w3*w2 + (-4*w5 - 12))*s3*s2 + ((4*w5 + 4)*w2 + 1/3*(-8*w5 + 16)*w3)*s3))*r2, ((((1/3*(-2*w5 + 10)*w3 + 8)*w2 + (1/3*(-2*w5 - 18)*w3 - 2*w5 - 10))*s3*s2 + ((1/3*(4*w5 - 16)*w3 - 4)*w2 + (1/3*(-8*w5 + 24)*w3 - 4*w5 + 12))*s3)*s1*r2 + (((((8*w5 - 20)*w3 + (4*w5 - 8))*w2 + ((4*w5 - 4)*w3 + 8*w5))*s3 + (((46*w5 - 90)*w3 + (18*w5 - 30))*w2 + ((40*w5 - 80)*w3 + (84*w5 - 180))))*s2 + ((((8*w5 - 24)*w3 + (16*w5 - 56))*w2 + ((-20*w5 + 52)*w3 - 36*w5 + 84))*s3 + (((-72*w5 + 160)*w3 - 132*w5 + 300)*w2 + ((-20*w5 + 20)*w3 + (12*w5 - 60)))))*s1)*I + (((1/3*(4*w5 - 4)*w3 + (2*w5 - 2))*w2 + (1/3*(-6*w5 + 2)*w3 - 2*w5 - 2))*s3*s2 + ((1/3*(8*w5 - 4)*w3 + 4*w5)*w2 + (1/3*(-12*w5 + 20)*w3 - 8*w5 + 8))*s3)*s1*r2 + (((((-8*w5 - 4)*w3 - 20*w5 + 8)*w2 + (24*w3 + (12*w5 + 4)))*s3 + (((2*w5 - 30)*w3 - 6*w5 - 30)*w2 + ((60*w5 - 60)*w3 + (96*w5 - 120))))*s2 + ((((16*w5 - 56)*w3 + (16*w5 - 64))*w2 + ((4*w5 + 28)*w3 + (12*w5 + 36)))*s3 + (((36*w5 - 140)*w3 + (72*w5 - 240))*w2 + ((100*w5 - 180)*w3 + (60*w5 - 60)))))*s1, ((((((1/6*(-w5 + 1)*w3 + 1/2*(w5 + 3))*w2 + ((-w5 - 3)*w3 - 2*w5 - 6))*s3 + ((w5 - 5)*w3 - 3*w5 - 5))*s2 + ((((w5 + 1)*w3 + (w5 + 3))*w2 + (1/3*(-2*w5 + 12)*w3 - 2*w5 + 4))*s3 + (-2*w5*w3 + 2*w5)*w2))*s1 + (((1/3*(2*w5 + 4)*w3*w2 + (1/3*(7*w5 + 15)*w3 + (3*w5 + 7)))*s3 + (((w5 + 5)*w3 + 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5))))*s2 + (((1/3*(-5*w5 - 11)*w3 - w5 - 7)*w2 + (1/3*(2*w5 - 18)*w3 + (4*w5 - 8)))*s3 + ((2*w5*w3 - 2*w5)*w2 - 4*w5))))*r2*r1 + ((((2*w5*w3 - w5 - 5)*w2 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((2*w5*w3 + 2*w5)*w2 - 4*w5*w3))*s1 + (((1/3*(-2*w5 + 8)*w3 - w5 + 3)*w2 + ((w5 - 1)*w3 + (w5 - 1)))*s3*s2 + ((-2*w5*w3 - 4*w5 + 2)*w2 - 4*w3)*s3))*r2)*I + (((((1/6*(7*w5 + 13)*w3 + 1/2*(3*w5 + 5))*w2 + (-w5 - 3))*s3 + ((-3*w5 - 5)*w3 - w5 + 5))*s2 + ((((w5 - 1)*w3 + (3*w5 - 1))*w2 + (1/3*(-6*w5 - 4)*w3 - 2*w5 - 4))*s3 + (2*w5*w3 + 2*w5)*w2))*s1 + ((((1/3*(-2*w5 - 2)*w3 + 2)*w2 + (1/3*(-3*w5 - 7)*w3 - w5 - 1))*s3 + ((2*w5*w3 - w5 - 5)*w2 + ((3*w5 + 5)*w3 + (w5 - 5))))*s2 + (((1/3*(w5 - 1)*w3 - w5 + 1)*w2 + (4/3*w3 - 2*w5 + 2))*s3 + ((-2*w5*w3 - 2*w5)*w2 - 4*w5*w3))))*r2*r1 + (((((-w5 - 5)*w3 - 2*w5)*w2 + ((-w5 + 5)*w3 + (3*w5 + 5)))*s2 + ((2*w5*w3 - 2*w5)*w2 + 4*w5))*s1 + (((1/3*(-w5 - 1)*w3 - 2)*w2 + ((w5 - 1)*w3 + (3*w5 - 3)))*s3*s2 + ((-2*w3 - 2*w5 - 4)*w2 + (8*w3 + 12))*s3))*r2 ];