lin06 := 2*P(4,5,6)-P(5,5,5)+2*P(5,6,6)*P(6,6)-2*P(5,6)*P(6,6,6);

lin07 := -2*P(4,4,6)+2*P(4,5,5)-2*P(4,6,6)*P(6,6)+2*P(6,6,6)*lambda[4]+2*P(4,6)*P(6,6,6)-2*P(5,5,6)*P(6,6)+P(5,5)*P(6,6,6)+P(5,6,6)*P(5,6);

lin08 := -2*P(5,6)*P(4,6,6)+2*P(4,6)*P(5,6,6)+P(5,5,5)*P(6,6)-2*P(5,5)*P(5,6,6)+P(5,5,6)*P(5,6)-2*P(3,6,6);

lin08b := -P(4,4,5)+2*P(4,5,6)*P(6,6)+P(5,6)*P(4,6,6)-P(3,6,6)-P(5,6,6)*lambda[4]-P(4,5)*P(6,6,6)-2*P(4,6)*P(5,6,6);

lin09 := 4*P(2,6,6)+2*P(4,5)*P(5,6,6)+2*P(4,6,6)*P(5,5)-2*P(4,6)*P(5,5,6)+P(5,5,6)*P(5,5)-P(5,5,5)*P(5,6)-2*P(3,5,6)-2*P(4,5,5)*P(6,6);

lin09b := -6*P(2,6,6)-2*P(3,5,6)+2*P(4,6,6)*lambda[4]-2*P(5,5,6)*lambda[4]+4*P(4,4,6)*P(6,6)-2*P(4,4)*P(6,6,6)-2*P(4,6,6)*P(4,6)+6*P(4,5,6)*P(5,6)
-5*P(4,5)*P(5,6,6)+P(4,6,6)*P(5,5)-4*P(4,6)*P(5,5,6)-2*P(4,4,4)+2*P(4,5,5)*P(6,6);

lin10 := -2*P(3,6,6)*P(6,6)+2*P(3,6)*P(6,6,6)+P(4,5)*P(5,5,6)-2*P(3,4,6)+P(3,5,5)-P(4,5,5)*P(5,6);

lin10b := 2*P(2,5,6)-4*P(3,4,6)-2*P(4,4,6)*P(5,6)+2*P(4,4)*P(5,6,6)+2*P(4,5)*P(4,6,6)+P(4,5)*P(5,5,6)-2*P(4,4,5)*P(6,6)-P(4,5,5)*P(5,6);

lin10c := 6*P(2,5,6)+P(3,5,5)-2*P(4,5,6)*lambda[4]+P(5,5,5)*lambda[4]+2*P(4,4)*P(5,6,6)+4*P(4,5,6)*P(4,6)-2*P(4,5,5)*P(5,6)+4*P(4,5)*P(5,5,6)
-4*P(4,5,6)*P(5,5)+2*P(4,6)*P(5,5,5)-6*P(3,4,6)-2*P(4,5)*P(4,6,6)-4*P(4,4,6)*P(5,6);

lin11 := P(4,5)*P(5,5,5)-4*P(2,4,6)-2*P(4,4,5)*P(5,6)-2*P(4,4,6)*P(5,5)+2*P(4,6)*P(4,5,5)+2*P(2,5,5)-2*P(3,4,5)+2*P(4,4)*P(5,5,6)-P(4,5,5)*P(5,5);

lin11b := 8*P(6,6,6)*lambda[3]-12*P(2,6,6)*P(6,6)+12*P(2,6)*P(6,6,6)+2*P(3,5)*P(6,6,6)-12*P(2,4,6)+6*P(2,5,5)+2*P(3,4,5)-4*P(4,4,5)*P(5,6)
+4*P(4,5)*P(4,5,6)-4*lambda[4]*P(5,5,6)*P(6,6)+2*lambda[4]*P(5,5)*P(6,6,6)+2*lambda[4]*P(5,6,6)*P(5,6)-2*P(4,6)*P(4,5,5)+2*P(4,4)*P(5,5,6)
-4*P(3,5,6)*P(6,6)+6*P(3,6)*P(5,6,6)-P(4,5,5)*P(5,5)+P(4,5)*P(5,5,5)-4*P(5,6)*P(3,6,6);

lin12 := -6*P(3,4,4)-10*P(4,4,5)*lambda[4]+4*P(4,4,4)*P(5,6)-8*P(4,4)*P(4,5,6)-4*P(4,4,5)*P(4,6)+8*P(4,5)*P(4,4,6)+10*P(3,5,6)*P(5,6)+10*P(4,6)*P(3,6,6)
+5*P(5,5)*P(3,6,6)+7*lambda[4]*P(5,5,5)*P(6,6)-14*lambda[4]*P(5,5)*P(5,6,6)+7*lambda[4]*P(5,5,6)*P(5,6)+18*P(2,4,5)-10*P(3,6)*P(4,6,6)-2*P(4,4,5)*P(5,5)
+P(4,5)*P(4,5,5)-4*P(3,6,6)*lambda[4]-10*P(5,6,6)*lambda[4]^2+12*P(5,6,6)*lambda[3]+30*P(2,6)*P(5,6,6)-5*P(3,5)*P(5,6,6)-10*P(3,6)*P(5,5,6)
+P(4,4)*P(5,5,5)-30*P(5,6)*P(2,6,6);

lin13 := 2*P(3,4)*P(5,6,6)+4*P(3,6)*P(4,5,6)-P(3,5,5)*P(5,6)+2*P(3,5)*P(5,5,6)-2*P(3,5,6)*P(5,5)+P(3,6)*P(5,5,5)-4*P(3,3,6)-2*P(4,5)*P(3,6,6)
-4*P(3,4,6)*P(5,6);