interface(prettyprint,prettyprint=false): S1 := s1: S2 := s2: F0 := f0: F1 := f1: F2 := f2: F3 := f3: F4 := f4: F5 := f5: F6 := f6: Z := 1: L[1] := S1: L[2] := S2: L[3] := - 5*Z**3*F2**2*F0*S2**8 - 14*Z**3*F2*F6*F0*S1**4*S2 **4 - 16*Z**3*F2*F6*F4*S1**8 - Z**3*F2*F5**2*S1**8 - Z**3*F2*F5*F1*S1 **4*S2**4 - 4*Z**3*F2*F5*F0*S1**3*S2**5 - 4*Z**3*F2*F0*F4*S1**2*S2**6 - Z**3*F6**2*F0*S1**8 + 3*Z**3*F6*F5*F1*S1**8 + 12*Z**3*F6*F5*F0*S1 **7*S2 + 3*Z**3*F6*F1**2*S1**4*S2**4 - 8*Z**3*F6*F1*F0*S1**3*S2**5 - 24*Z**3*F6*F1*F4*S1**7*S2 + 6*Z**3*F6*F1*F3*S1**6*S2**2 - 52*Z**3*F6* F0**2*S1**2*S2**6 - 40*Z**3*F6*F0*F4*S1**6*S2**2 + 24*Z**3*F6*F0*F3* S1**5*S2**3 - Z**3*F6*F3**2*S1**8 - 2*Z**3*F5**2*F1*S1**7*S2 - 2*Z**3 *F5**2*F0*S1**6*S2**2 - 2*Z**3*F5*F1*F0*S1**2*S2**6 - 4*Z**3*F5*F1*F4 *S1**6*S2**2 - 20*Z**3*F5*F0**2*S1*S2**7 - 12*Z**3*F5*F0*F4*S1**5*S2 **3 + 5*Z**3*F5*F0*F3*S1**4*S2**4 + 5*Z**3*F5*F4*F3*S1**8 + 2*Z**3*F1 *F0*F3*S2**8 - 9*Z**3*F0**2*F4*S2**8 - 6*Z**3*F0*F4**2*S1**4*S2**4 - 5*Z**3*F4**3*S1**8 + 4*Z**2*F2*F6*S1**6 + 2*Z**2*F2*F0*S2**6 + 8*Z**2 *F6*F1*S1**5*S2 + 18*Z**2*F6*F0*S1**4*S2**2 + Z**2*F5*F1*S1**4*S2**2 + 4*Z**2*F5*F0*S1**3*S2**3 - Z**2*F5*F3*S1**6 + 2*Z**2*F0*F4*S1**2*S2 **4 + 2*Z**2*F4**2*S1**6 - Z*F0*S2**4 - Z*F4*S1**4 + S1**2: L[4] := - Z**3*F2**2*F5*S1**4*S2**4 + Z**3*F2*F6*F5*S1**8 + Z**3*F2*F6*F1*S1**4*S2**4 - 4*Z**3*F2*F6*F0*S1**3*S2**5 - 8*Z**3*F2* F6*F4*S1**7*S2 + 2*Z**3*F2*F6*F3*S1**6*S2**2 - 3*Z**3*F2*F5*F1*S1**3* S2**5 - 10*Z**3*F2*F5*F0*S1**2*S2**6 - 2*Z**3*F2*F5*F4*S1**6*S2**2 - 2*Z**3*F2*F1*F4*S1**2*S2**6 - 8*Z**3*F2*F0*F4*S1*S2**7 - 3*Z**3*F2*F0 *F3*S2**8 - Z**3*F6**2*F1*S1**8 - 4*Z**3*F6**2*F0*S1**7*S2 + 5*Z**3* F6*F5*F1*S1**7*S2 + 16*Z**3*F6*F5*F0*S1**6*S2**2 + 6*Z**3*F6*F1**2*S1 **3*S2**5 + 16*Z**3*F6*F1*F0*S1**2*S2**6 - 10*Z**3*F6*F1*F4*S1**6*S2 **2 + 10*Z**3*F6*F1*F3*S1**5*S2**3 - 4*Z**3*F6*F0**2*S1*S2**7 - 4*Z** 3*F6*F0*F4*S1**5*S2**3 + 30*Z**3*F6*F0*F3*S1**4*S2**4 - 3*Z**3*F6*F4* F3*S1**8 + Z**3*F5**2*F1*S1**6*S2**2 + 6*Z**3*F5**2*F0*S1**5*S2**3 + Z**3*F5*F1**2*S1**2*S2**6 + 5*Z**3*F5*F1*F0*S1*S2**7 - 3*Z**3*F5*F1* F4*S1**5*S2**3 + 2*Z**3*F5*F1*F3*S1**4*S2**4 - Z**3*F5*F0**2*S2**8 + Z**3*F5*F0*F4*S1**4*S2**4 + 10*Z**3*F5*F0*F3*S1**3*S2**5 + Z**3*F1*F0 *F4*S2**8 - Z**3*F1*F4**2*S1**4*S2**4 + 2*Z**3*F0*F4*F3*S1**2*S2**6 + 4*Z**2*F2*F6*S1**5*S2 + Z**2*F2*F5*S1**4*S2**2 + 9*Z**2*F6*F1*S1**4* S2**2 + 20*Z**2*F6*F0*S1**3*S2**3 + Z**2*F6*F3*S1**6 + 3*Z**2*F5*F1* S1**3*S2**3 + 9*Z**2*F5*F0*S1**2*S2**4 + Z**2*F1*F4*S1**2*S2**4 + 4*Z **2*F0*F4*S1*S2**5 + Z**2*F0*F3*S2**6 + S1*S2: L[5] := - 5*Z**3*F2**3*S2**8 - 6*Z**3*F2**2*F6*S1**4*S2**4 - 9*Z**3*F2*F6**2*S1**8 - 12*Z**3*F2*F6*F1*S1**3*S2**5 - 40*Z**3*F2*F6 *F0*S1**2*S2**6 - 4*Z**3*F2*F6*F4*S1**6*S2**2 - 4*Z**3*F2*F5*F1*S1**2 *S2**6 - 24*Z**3*F2*F5*F0*S1*S2**7 + 5*Z**3*F2*F1*F3*S2**8 - 16*Z**3* F2*F0*F4*S2**8 - 20*Z**3*F6**2*F1*S1**7*S2 - 52*Z**3*F6**2*F0*S1**6* S2**2 - 2*Z**3*F6*F5*F1*S1**6*S2**2 - 8*Z**3*F6*F5*F0*S1**5*S2**3 + 2 *Z**3*F6*F5*F3*S1**8 - 2*Z**3*F6*F1**2*S1**2*S2**6 + 12*Z**3*F6*F1*F0 *S1*S2**7 - 4*Z**3*F6*F1*F4*S1**5*S2**3 + 5*Z**3*F6*F1*F3*S1**4*S2**4 - Z**3*F6*F0**2*S2**8 - 14*Z**3*F6*F0*F4*S1**4*S2**4 + 24*Z**3*F6*F0 *F3*S1**3*S2**5 - 5*Z**3*F6*F4**2*S1**8 + 3*Z**3*F5**2*F0*S1**4*S2**4 - 2*Z**3*F5*F1**2*S1*S2**7 + 3*Z**3*F5*F1*F0*S2**8 - Z**3*F5*F1*F4* S1**4*S2**4 + 6*Z**3*F5*F0*F3*S1**2*S2**6 - Z**3*F1**2*F4*S2**8 - Z** 3*F0*F3**2*S2**8 + 2*Z**2*F2**2*S2**6 + 2*Z**2*F2*F6*S1**4*S2**2 + 4* Z**2*F6*F1*S1**3*S2**3 + 18*Z**2*F6*F0*S1**2*S2**4 + 2*Z**2*F6*F4*S1 **6 + Z**2*F5*F1*S1**2*S2**4 + 8*Z**2*F5*F0*S1*S2**5 - Z**2*F1*F3*S2 **6 + 4*Z**2*F0*F4*S2**6 - Z*F2*S2**4 - Z*F6*S1**4 + S2**2: L[6] := 4*Z**3*F2**3*S1**3*S2**6 + 20*Z**3*F2**2*F6*S1**7*S2 **2 + 6*Z**3*F2**2*F1*S1**2*S2**7 + 9*Z**3*F2**2*F0*S1*S2**8 + 2*Z**3 *F2**2*F4*S1**5*S2**4 + 70*Z**3*F2*F6*F1*S1**6*S2**3 + 120*Z**3*F2*F6 *F0*S1**5*S2**4 - 22*Z**3*F2*F6*F4*S1**9 + 12*Z**3*F2*F6*F3*S1**8*S2 - Z**3*F2*F5**2*S1**9 + 7*Z**3*F2*F5*F1*S1**5*S2**4 + 24*Z**3*F2*F5* F0*S1**4*S2**5 - 6*Z**3*F2*F5*F4*S1**8*S2 - 2*Z**3*F2*F5*F3*S1**7*S2 **2 - 3*Z**3*F2*F1**2*S1*S2**8 - 3*Z**3*F2*F1*F0*S2**9 - Z**3*F2*F1* F4*S1**4*S2**5 - 8*Z**3*F2*F1*F3*S1**3*S2**6 - 12*Z**3*F2*F0*F3*S1**2 *S2**7 + 4*Z**3*F2*F4**2*S1**7*S2**2 - Z**3*F6**2*F0*S1**9 + 5*Z**3* F6*F5*F1*S1**9 + 22*Z**3*F6*F5*F0*S1**8*S2 + 66*Z**3*F6*F1**2*S1**5* S2**4 + 231*Z**3*F6*F1*F0*S1**4*S2**5 - 35*Z**3*F6*F1*F4*S1**8*S2 + 34*Z**3*F6*F1*F3*S1**7*S2**2 + 148*Z**3*F6*F0**2*S1**3*S2**6 - 56*Z** 3*F6*F0*F4*S1**7*S2**2 + 96*Z**3*F6*F0*F3*S1**6*S2**3 - Z**3*F6*F3**2 *S1**9 + 8*Z**3*F5**2*F0*S1**7*S2**2 + 19*Z**3*F5*F1**2*S1**4*S2**5 + 90*Z**3*F5*F1*F0*S1**3*S2**6 - 16*Z**3*F5*F1*F4*S1**7*S2**2 + 6*Z**3 *F5*F1*F3*S1**6*S2**3 + 64*Z**3*F5*F0**2*S1**2*S2**7 - 24*Z**3*F5*F0* F4*S1**6*S2**3 + 39*Z**3*F5*F0*F3*S1**5*S2**4 + 5*Z**3*F5*F4*F3*S1**9 - 2*Z**3*F5*F3**2*S1**8*S2 + 4*Z**3*F1**2*F4*S1**3*S2**6 - 3*Z**3*F1 **2*F3*S1**2*S2**7 + 38*Z**3*F1*F0*F4*S1**2*S2**7 - Z**3*F1*F0*F3*S1* S2**8 - 2*Z**3*F1*F4**2*S1**6*S2**3 - 3*Z**3*F1*F4*F3*S1**5*S2**4 + 31*Z**3*F0**2*F4*S1*S2**8 + Z**3*F0**2*F3*S2**9 - 14*Z**3*F0*F4**2*S1 **5*S2**4 + 10*Z**3*F0*F4*F3*S1**4*S2**5 + 4*Z**3*F0*F3**2*S1**3*S2** 6 - 5*Z**3*F4**3*S1**9 + 5*Z**3*F4**2*F3*S1**8*S2 - 2*Z**2*F2**2*S1** 3*S2**4 + 6*Z**2*F2*F6*S1**7 + 2*Z**2*F2*F5*S1**6*S2 - 3*Z**2*F2*F1* S1**2*S2**5 - 4*Z**2*F2*F0*S1*S2**6 - 2*Z**2*F2*F4*S1**5*S2**2 + 13*Z **2*F6*F1*S1**6*S2 + 30*Z**2*F6*F0*S1**5*S2**2 + 7*Z**2*F5*F1*S1**5* S2**2 + 18*Z**2*F5*F0*S1**4*S2**3 - Z**2*F5*F3*S1**7 + Z**2*F1**2*S1* S2**6 + Z**2*F1*F0*S2**7 + Z**2*F1*F4*S1**4*S2**3 + 3*Z**2*F1*F3*S1** 3*S2**4 + 10*Z**2*F0*F4*S1**3*S2**4 + 6*Z**2*F0*F3*S1**2*S2**5 + 2*Z **2*F4**2*S1**7 - 2*Z**2*F4*F3*S1**6*S2 + 2*Z*F2*S1**3*S2**2 + 3*Z*F1 *S1**2*S2**3 + 3*Z*F0*S1*S2**4 - Z*F4*S1**5 + Z*F3*S1**4*S2 + S1**3: L[7] := 5*Z**3*F2**2*F1*S1*S2**8 + 5*Z**3*F2**2*F0*S2**9 + 8* Z**3*F2*F6*F1*S1**5*S2**4 + 6*Z**3*F2*F6*F0*S1**4*S2**5 - 16*Z**3*F2* F6*F4*S1**8*S2 - Z**3*F2*F5**2*S1**8*S2 - 2*Z**3*F2*F5*F1*S1**4*S2**5 - 8*Z**3*F2*F5*F0*S1**3*S2**6 - 12*Z**3*F2*F0*F4*S1**2*S2**7 - 6*Z** 3*F2*F0*F3*S1*S2**8 - Z**3*F6**2*F1*S1**9 - 7*Z**3*F6**2*F0*S1**8*S2 + 2*Z**3*F6*F5*F1*S1**8*S2 + 8*Z**3*F6*F5*F0*S1**7*S2**2 + 17*Z**3*F6 *F1**2*S1**4*S2**5 + 76*Z**3*F6*F1*F0*S1**3*S2**6 - 24*Z**3*F6*F1*F4* S1**7*S2**2 + 8*Z**3*F6*F1*F3*S1**6*S2**3 + 44*Z**3*F6*F0**2*S1**2*S2 **7 - 48*Z**3*F6*F0*F4*S1**6*S2**3 + 34*Z**3*F6*F0*F3*S1**5*S2**4 - Z **3*F6*F3**2*S1**8*S2 - 2*Z**3*F5**2*F1*S1**7*S2**2 + 3*Z**3*F5*F1**2 *S1**3*S2**6 + 30*Z**3*F5*F1*F0*S1**2*S2**7 - 6*Z**3*F5*F1*F4*S1**6* S2**3 + 22*Z**3*F5*F0**2*S1*S2**8 - 18*Z**3*F5*F0*F4*S1**5*S2**4 + 11 *Z**3*F5*F0*F3*S1**4*S2**5 + 5*Z**3*F5*F4*F3*S1**8*S2 - 2*Z**3*F1**2* F3*S1*S2**8 + 12*Z**3*F1*F0*F4*S1*S2**8 - 2*Z**3*F1*F0*F3*S2**9 + 11* Z**3*F0**2*F4*S2**9 - 10*Z**3*F0*F4**2*S1**4*S2**5 - 5*Z**3*F4**3*S1 **8*S2 + 4*Z**2*F2*F6*S1**6*S2 - 2*Z**2*F2*F1*S1*S2**6 - 2*Z**2*F2*F0 *S2**7 + 8*Z**2*F6*F1*S1**5*S2**2 + 22*Z**2*F6*F0*S1**4*S2**3 + 2*Z** 2*F5*F1*S1**4*S2**3 + 10*Z**2*F5*F0*S1**3*S2**4 - Z**2*F5*F3*S1**6*S2 + 6*Z**2*F0*F4*S1**2*S2**5 + 2*Z**2*F0*F3*S1*S2**6 + 2*Z**2*F4**2*S1 **6*S2 + Z*F1*S1*S2**4 + Z*F0*S2**5 - Z*F4*S1**4*S2 + S1**2*S2: L[8] := - 5*Z**3*F2**3*S1*S2**8 - 10*Z**3*F2**2*F6*S1**5*S2 **4 + 11*Z**3*F2*F6**2*S1**9 + 12*Z**3*F2*F6*F5*S1**8*S2 - 18*Z**3*F2 *F6*F1*S1**4*S2**5 - 48*Z**3*F2*F6*F0*S1**3*S2**6 - 12*Z**3*F2*F6*F4* S1**7*S2**2 - 6*Z**3*F2*F5*F1*S1**3*S2**6 - 24*Z**3*F2*F5*F0*S1**2*S2 **7 + 5*Z**3*F2*F1*F3*S1*S2**8 - 16*Z**3*F2*F0*F4*S1*S2**8 + 22*Z**3* F6**2*F1*S1**8*S2 + 44*Z**3*F6**2*F0*S1**7*S2**2 + 30*Z**3*F6*F5*F1* S1**7*S2**2 + 76*Z**3*F6*F5*F0*S1**6*S2**3 - 2*Z**3*F6*F5*F3*S1**9 + 8*Z**3*F6*F1*F0*S1**2*S2**7 - 8*Z**3*F6*F1*F4*S1**6*S2**3 + 11*Z**3* F6*F1*F3*S1**5*S2**4 - 7*Z**3*F6*F0**2*S1*S2**8 + 6*Z**3*F6*F0*F4*S1 **5*S2**4 + 34*Z**3*F6*F0*F3*S1**4*S2**5 + 5*Z**3*F6*F4**2*S1**9 - 6* Z**3*F6*F4*F3*S1**8*S2 + 3*Z**3*F5**2*F1*S1**6*S2**3 + 17*Z**3*F5**2* F0*S1**5*S2**4 - 2*Z**3*F5**2*F3*S1**8*S2 - 2*Z**3*F5*F1**2*S1**2*S2 **7 + 2*Z**3*F5*F1*F0*S1*S2**8 - 2*Z**3*F5*F1*F4*S1**5*S2**4 - Z**3* F5*F0**2*S2**9 + 8*Z**3*F5*F0*F4*S1**4*S2**5 + 8*Z**3*F5*F0*F3*S1**3* S2**6 + 5*Z**3*F5*F4**2*S1**8*S2 - Z**3*F1**2*F4*S1*S2**8 - Z**3*F0* F3**2*S1*S2**8 + 2*Z**2*F2**2*S1*S2**6 + 6*Z**2*F2*F6*S1**5*S2**2 + 10*Z**2*F6*F1*S1**4*S2**3 + 22*Z**2*F6*F0*S1**3*S2**4 - 2*Z**2*F6*F4* S1**7 + 2*Z**2*F6*F3*S1**6*S2 + 2*Z**2*F5*F1*S1**3*S2**4 + 8*Z**2*F5* F0*S1**2*S2**5 - 2*Z**2*F5*F4*S1**6*S2 - Z**2*F1*F3*S1*S2**6 + 4*Z**2 *F0*F4*S1*S2**6 - Z*F2*S1*S2**4 + Z*F6*S1**5 + Z*F5*S1**4*S2 + S1*S2 **2: L[9] := - 5*Z**3*F2**3*S2**9 - 14*Z**3*F2**2*F6*S1**4*S2**5 - 2*Z**3*F2**2*F5*S1**3*S2**6 + 4*Z**3*F2**2*F4*S1**2*S2**7 + 5*Z**3* F2**2*F3*S1*S2**8 + 31*Z**3*F2*F6**2*S1**8*S2 + 38*Z**3*F2*F6*F5*S1** 7*S2**2 - 24*Z**3*F2*F6*F1*S1**3*S2**6 - 56*Z**3*F2*F6*F0*S1**2*S2**7 + 10*Z**3*F2*F6*F3*S1**5*S2**4 + 4*Z**3*F2*F5**2*S1**6*S2**3 - 16*Z **3*F2*F5*F1*S1**2*S2**7 - 35*Z**3*F2*F5*F0*S1*S2**8 - Z**3*F2*F5*F4* S1**5*S2**4 - 3*Z**3*F2*F5*F3*S1**4*S2**5 - 6*Z**3*F2*F1*F4*S1*S2**8 + 5*Z**3*F2*F1*F3*S2**9 - 22*Z**3*F2*F0*F4*S2**9 + 2*Z**3*F2*F4**2*S1 **4*S2**5 + 64*Z**3*F6**2*F1*S1**7*S2**2 + 148*Z**3*F6**2*F0*S1**6*S2 **3 + Z**3*F6**2*F3*S1**9 + 90*Z**3*F6*F5*F1*S1**6*S2**3 + 231*Z**3* F6*F5*F0*S1**5*S2**4 - 3*Z**3*F6*F5*F4*S1**9 - Z**3*F6*F5*F3*S1**8*S2 + 8*Z**3*F6*F1**2*S1**2*S2**7 + 22*Z**3*F6*F1*F0*S1*S2**8 + 24*Z**3* F6*F1*F4*S1**5*S2**4 + 39*Z**3*F6*F1*F3*S1**4*S2**5 - Z**3*F6*F0**2* S2**9 + 120*Z**3*F6*F0*F4*S1**4*S2**5 + 96*Z**3*F6*F0*F3*S1**3*S2**6 + 9*Z**3*F6*F4**2*S1**8*S2 - 12*Z**3*F6*F4*F3*S1**7*S2**2 + 4*Z**3*F6 *F3**2*S1**6*S2**3 + 19*Z**3*F5**2*F1*S1**5*S2**4 + 66*Z**3*F5**2*F0* S1**4*S2**5 - 3*Z**3*F5**2*F4*S1**8*S2 - 3*Z**3*F5**2*F3*S1**7*S2**2 + 5*Z**3*F5*F1*F0*S2**9 + 7*Z**3*F5*F1*F4*S1**4*S2**5 + 6*Z**3*F5*F1* F3*S1**3*S2**6 + 70*Z**3*F5*F0*F4*S1**3*S2**6 + 34*Z**3*F5*F0*F3*S1** 2*S2**7 + 6*Z**3*F5*F4**2*S1**7*S2**2 - 8*Z**3*F5*F4*F3*S1**6*S2**3 - Z**3*F1**2*F4*S2**9 - 2*Z**3*F1*F4*F3*S1**2*S2**7 - 2*Z**3*F1*F3**2* S1*S2**8 + 20*Z**3*F0*F4**2*S1**2*S2**7 + 12*Z**3*F0*F4*F3*S1*S2**8 - Z**3*F0*F3**2*S2**9 + 4*Z**3*F4**3*S1**6*S2**3 + 2*Z**2*F2**2*S2**7 + 10*Z**2*F2*F6*S1**4*S2**3 + Z**2*F2*F5*S1**3*S2**4 - 2*Z**2*F2*F4* S1**2*S2**5 - 2*Z**2*F2*F3*S1*S2**6 + Z**2*F6*F5*S1**7 + 18*Z**2*F6* F1*S1**3*S2**4 + 30*Z**2*F6*F0*S1**2*S2**5 - 4*Z**2*F6*F4*S1**6*S2 + 6*Z**2*F6*F3*S1**5*S2**2 + Z**2*F5**2*S1**6*S2 + 7*Z**2*F5*F1*S1**2* S2**5 + 13*Z**2*F5*F0*S1*S2**6 - 3*Z**2*F5*F4*S1**5*S2**2 + 3*Z**2*F5 *F3*S1**4*S2**3 + 2*Z**2*F1*F4*S1*S2**6 - Z**2*F1*F3*S2**7 + 6*Z**2* F0*F4*S2**7 - 2*Z**2*F4**2*S1**4*S2**3 - Z*F2*S2**5 + 3*Z*F6*S1**4*S2 + 3*Z*F5*S1**3*S2**2 + 2*Z*F4*S1**2*S2**3 + Z*F3*S1*S2**4 + S2**3: L[10] := - 10*Z**3*F2**2*F0*S1**2*S2**8 - 36*Z**3*F2*F6*F0* S1**6*S2**4 - 40*Z**3*F2*F6*F4*S1**10 - 2*Z**3*F2*F5**2*S1**10 - 2*Z **3*F2*F5*F1*S1**6*S2**4 - 8*Z**3*F2*F5*F0*S1**5*S2**5 - 4*Z**3*F2*F0 **2*S2**10 - 12*Z**3*F2*F0*F4*S1**4*S2**6 - 2*Z**3*F6**2*F0*S1**10 + 6*Z**3*F6*F5*F1*S1**10 + 24*Z**3*F6*F5*F0*S1**9*S2 + 6*Z**3*F6*F1**2* S1**6*S2**4 - 32*Z**3*F6*F1*F0*S1**5*S2**5 - 64*Z**3*F6*F1*F4*S1**9* S2 + 12*Z**3*F6*F1*F3*S1**8*S2**2 - 140*Z**3*F6*F0**2*S1**4*S2**6 - 116*Z**3*F6*F0*F4*S1**8*S2**2 + 48*Z**3*F6*F0*F3*S1**7*S2**3 - 2*Z**3 *F6*F3**2*S1**10 - 4*Z**3*F5**2*F1*S1**9*S2 - 4*Z**3*F5**2*F0*S1**8* S2**2 - 6*Z**3*F5*F1*F0*S1**4*S2**6 - 10*Z**3*F5*F1*F4*S1**8*S2**2 - 48*Z**3*F5*F0**2*S1**3*S2**7 - 32*Z**3*F5*F0*F4*S1**7*S2**3 + 12*Z**3 *F5*F0*F3*S1**6*S2**4 + 12*Z**3*F5*F4*F3*S1**10 + 4*Z**3*F1*F0*F3*S1 **2*S2**8 - 22*Z**3*F0**2*F4*S1**2*S2**8 - 20*Z**3*F0*F4**2*S1**6*S2 **4 - 14*Z**3*F4**3*S1**10 + 8*Z**2*F2*F6*S1**8 + 4*Z**2*F2*F0*S1**2* S2**6 + 16*Z**2*F6*F1*S1**7*S2 + 36*Z**2*F6*F0*S1**6*S2**2 + 2*Z**2* F5*F1*S1**6*S2**2 + 8*Z**2*F5*F0*S1**5*S2**3 - 2*Z**2*F5*F3*S1**8 + Z **2*F0**2*S2**8 + 6*Z**2*F0*F4*S1**4*S2**4 + 5*Z**2*F4**2*S1**8 - 2*Z *F0*S1**2*S2**4 - 2*Z*F4*S1**6 + S1**4: L[11] := - 2*Z**3*F2**2*F5*S1**6*S2**4 + 5*Z**3*F2**2*F1*S1 **2*S2**8 - 10*Z**3*F2**2*F0*S1*S2**9 + 2*Z**3*F2**2*F3*S1**4*S2**6 + 14*Z**3*F2*F6*F5*S1**10 + 12*Z**3*F2*F6*F1*S1**6*S2**4 - 44*Z**3*F2* F6*F0*S1**5*S2**5 - 56*Z**3*F2*F6*F4*S1**9*S2 + 14*Z**3*F2*F6*F3*S1** 8*S2**2 - 2*Z**3*F2*F5**2*S1**9*S2 - 8*Z**3*F2*F5*F1*S1**5*S2**5 - 24 *Z**3*F2*F5*F0*S1**4*S2**6 - 6*Z**3*F2*F5*F4*S1**8*S2**2 + 4*Z**3*F2* F1*F0*S2**10 - 2*Z**3*F2*F1*F4*S1**4*S2**6 - 24*Z**3*F2*F0*F4*S1**3* S2**7 + 2*Z**3*F2*F4*F3*S1**6*S2**4 - Z**3*F6**2*F1*S1**10 - 10*Z**3* F6**2*F0*S1**9*S2 + 40*Z**3*F6*F5*F1*S1**9*S2 + 110*Z**3*F6*F5*F0*S1 **8*S2**2 + 34*Z**3*F6*F1**2*S1**5*S2**5 + 54*Z**3*F6*F1*F0*S1**4*S2 **6 - 80*Z**3*F6*F1*F4*S1**8*S2**2 + 52*Z**3*F6*F1*F3*S1**7*S2**3 - 152*Z**3*F6*F0**2*S1**3*S2**7 - 128*Z**3*F6*F0*F4*S1**7*S2**3 + 162*Z **3*F6*F0*F3*S1**6*S2**4 - 4*Z**3*F6*F4*F3*S1**10 - 2*Z**3*F6*F3**2* S1**9*S2 + Z**3*F5**2*F1*S1**8*S2**2 + 20*Z**3*F5**2*F0*S1**7*S2**3 - 3*Z**3*F5**2*F3*S1**10 + 5*Z**3*F5*F1**2*S1**4*S2**6 + 20*Z**3*F5*F1 *F0*S1**3*S2**7 - 20*Z**3*F5*F1*F4*S1**7*S2**3 + 6*Z**3*F5*F1*F3*S1** 6*S2**4 - 57*Z**3*F5*F0**2*S1**2*S2**8 - 28*Z**3*F5*F0*F4*S1**6*S2**4 + 46*Z**3*F5*F0*F3*S1**5*S2**5 + 9*Z**3*F5*F4**2*S1**10 + 10*Z**3*F5 *F4*F3*S1**9*S2 - 2*Z**3*F5*F3**2*S1**8*S2**2 - 2*Z**3*F1**2*F3*S1**2 *S2**8 + 10*Z**3*F1*F0*F4*S1**2*S2**8 + 4*Z**3*F1*F0*F3*S1*S2**9 - 2* Z**3*F1*F4**2*S1**6*S2**4 - Z**3*F1*F3**2*S1**4*S2**6 - 26*Z**3*F0**2 *F4*S1*S2**9 - Z**3*F0**2*F3*S2**10 - 20*Z**3*F0*F4**2*S1**5*S2**5 + 12*Z**3*F0*F4*F3*S1**4*S2**6 - 10*Z**3*F4**3*S1**9*S2 + 5*Z**3*F4**2* F3*S1**8*S2**2 + 16*Z**2*F2*F6*S1**7*S2 + 2*Z**2*F2*F5*S1**6*S2**2 - 2*Z**2*F2*F1*S1**2*S2**6 + 4*Z**2*F2*F0*S1*S2**7 - Z**2*F2*F3*S1**4* S2**4 + 32*Z**2*F6*F1*S1**6*S2**2 + 76*Z**2*F6*F0*S1**5*S2**3 + Z**2* F6*F3*S1**8 + 8*Z**2*F5*F1*S1**5*S2**3 + 23*Z**2*F5*F0*S1**4*S2**4 - 3*Z**2*F5*F4*S1**8 - 2*Z**2*F5*F3*S1**7*S2 - Z**2*F1*F0*S2**8 + Z**2* F1*F4*S1**4*S2**4 + 12*Z**2*F0*F4*S1**3*S2**5 + 4*Z**2*F4**2*S1**7*S2 - 2*Z**2*F4*F3*S1**6*S2**2 + Z*F5*S1**6 + Z*F1*S1**2*S2**4 - 2*Z*F0* S1*S2**5 - 2*Z*F4*S1**5*S2 + Z*F3*S1**4*S2**2 + 2*S1**3*S2: L[12] := 10*Z**3*F2**3*S1**2*S2**8 + 20*Z**3*F2**2*F6*S1**6* S2**4 - 8*Z**3*F2**2*F5*S1**5*S2**5 + 20*Z**3*F2**2*F1*S1*S2**9 + 18* Z**3*F2**2*F0*S2**10 + 4*Z**3*F2**2*F4*S1**4*S2**6 + 8*Z**3*F2**2*F3* S1**3*S2**7 + 26*Z**3*F2*F6**2*S1**10 + 56*Z**3*F2*F6*F5*S1**9*S2 + 88*Z**3*F2*F6*F1*S1**5*S2**5 + 120*Z**3*F2*F6*F0*S1**4*S2**6 - 20*Z** 3*F2*F6*F4*S1**8*S2**2 + 56*Z**3*F2*F6*F3*S1**7*S2**3 + 6*Z**3*F2*F5 **2*S1**8*S2**2 - 12*Z**3*F2*F5*F1*S1**4*S2**6 - 16*Z**3*F2*F5*F4*S1 **7*S2**3 - 4*Z**3*F2*F1**2*S2**10 - 16*Z**3*F2*F1*F4*S1**3*S2**7 - 16*Z**3*F2*F1*F3*S1**2*S2**8 - 20*Z**3*F2*F0*F4*S1**2*S2**8 - 12*Z**3 *F2*F0*F3*S1*S2**9 + 4*Z**3*F2*F4**2*S1**6*S2**4 + 4*Z**3*F2*F4*F3*S1 **5*S2**5 - 2*Z**3*F2*F3**2*S1**4*S2**6 + 52*Z**3*F6**2*F1*S1**9*S2 + 110*Z**3*F6**2*F0*S1**8*S2**2 + 136*Z**3*F6*F5*F1*S1**8*S2**2 + 352* Z**3*F6*F5*F0*S1**7*S2**3 - 4*Z**3*F6*F5*F3*S1**10 + 110*Z**3*F6*F1** 2*S1**4*S2**6 + 352*Z**3*F6*F1*F0*S1**3*S2**7 + 140*Z**3*F6*F1*F3*S1 **6*S2**4 + 110*Z**3*F6*F0**2*S1**2*S2**8 + 120*Z**3*F6*F0*F4*S1**6* S2**4 + 372*Z**3*F6*F0*F3*S1**5*S2**5 + 18*Z**3*F6*F4**2*S1**10 - 12* Z**3*F6*F4*F3*S1**9*S2 + 4*Z**3*F6*F3**2*S1**8*S2**2 + 32*Z**3*F5**2* F1*S1**7*S2**3 + 110*Z**3*F5**2*F0*S1**6*S2**4 - 4*Z**3*F5**2*F4*S1** 10 - 8*Z**3*F5**2*F3*S1**9*S2 + 32*Z**3*F5*F1**2*S1**3*S2**7 + 136*Z **3*F5*F1*F0*S1**2*S2**8 - 12*Z**3*F5*F1*F4*S1**6*S2**4 + 36*Z**3*F5* F1*F3*S1**5*S2**5 + 52*Z**3*F5*F0**2*S1*S2**9 + 88*Z**3*F5*F0*F4*S1** 5*S2**5 + 140*Z**3*F5*F0*F3*S1**4*S2**6 + 20*Z**3*F5*F4**2*S1**9*S2 - 16*Z**3*F5*F4*F3*S1**8*S2**2 - 4*Z**3*F5*F3**2*S1**7*S2**3 + 6*Z**3* F1**2*F4*S1**2*S2**8 - 8*Z**3*F1**2*F3*S1*S2**9 + 56*Z**3*F1*F0*F4*S1 *S2**9 - 4*Z**3*F1*F0*F3*S2**10 - 8*Z**3*F1*F4**2*S1**5*S2**5 - 4*Z** 3*F1*F3**2*S1**3*S2**7 + 26*Z**3*F0**2*F4*S2**10 + 20*Z**3*F0*F4**2* S1**4*S2**6 + 56*Z**3*F0*F4*F3*S1**3*S2**7 + 4*Z**3*F0*F3**2*S1**2*S2 **8 + 10*Z**3*F4**3*S1**8*S2**2 + 8*Z**3*F4**2*F3*S1**7*S2**3 - 2*Z** 3*F4*F3**2*S1**6*S2**4 - 4*Z**2*F2**2*S1**2*S2**6 + 20*Z**2*F2*F6*S1 **6*S2**2 + 8*Z**2*F2*F5*S1**5*S2**3 - 8*Z**2*F2*F1*S1*S2**7 - 6*Z**2 *F2*F0*S2**8 - 2*Z**2*F2*F4*S1**4*S2**4 - 4*Z**2*F2*F3*S1**3*S2**5 + 40*Z**2*F6*F1*S1**5*S2**3 + 86*Z**2*F6*F0*S1**4*S2**4 - 6*Z**2*F6*F4* S1**8 + 4*Z**2*F6*F3*S1**7*S2 + Z**2*F5**2*S1**8 + 22*Z**2*F5*F1*S1** 4*S2**4 + 40*Z**2*F5*F0*S1**3*S2**5 - 8*Z**2*F5*F4*S1**7*S2 + 4*Z**2* F5*F3*S1**6*S2**2 + Z**2*F1**2*S2**8 + 8*Z**2*F1*F4*S1**3*S2**5 + 4*Z **2*F1*F3*S1**2*S2**6 + 20*Z**2*F0*F4*S1**2*S2**6 + 4*Z**2*F0*F3*S1* S2**7 - 4*Z**2*F4**2*S1**6*S2**2 - 4*Z**2*F4*F3*S1**5*S2**3 + Z**2*F3 **2*S1**4*S2**4 + 2*Z*F2*S1**2*S2**4 + 2*Z*F6*S1**6 + 4*Z*F5*S1**5*S2 + 4*Z*F1*S1*S2**5 + 2*Z*F0*S2**6 + 2*Z*F4*S1**4*S2**2 + 4*Z*F3*S1**3 *S2**3 + 2*S1**2*S2**2: L[13] := - 5*Z**3*F2**3*S1**2*S2**8 - 10*Z**3*F2**2*F6*S1**6 *S2**4 - 9*Z**3*F2**2*F0*S2**10 - 2*Z**3*F2**2*F4*S1**4*S2**6 - 13*Z **3*F2*F6**2*S1**10 - 20*Z**3*F2*F6*F1*S1**5*S2**5 - 76*Z**3*F2*F6*F0 *S1**4*S2**6 - 22*Z**3*F2*F6*F4*S1**8*S2**2 - Z**3*F2*F5**2*S1**8*S2 **2 - 6*Z**3*F2*F5*F1*S1**4*S2**6 - 32*Z**3*F2*F5*F0*S1**3*S2**7 + Z **3*F2*F5*F3*S1**6*S2**4 + 5*Z**3*F2*F1*F3*S1**2*S2**8 - 22*Z**3*F2* F0*F4*S1**2*S2**8 - 2*Z**3*F2*F4**2*S1**6*S2**4 - 28*Z**3*F6**2*F1*S1 **9*S2 - 71*Z**3*F6**2*F0*S1**8*S2**2 + 3*Z**3*F6*F5*F3*S1**10 + Z**3 *F6*F1**2*S1**4*S2**6 - 32*Z**3*F6*F1*F4*S1**7*S2**3 + 11*Z**3*F6*F1* F3*S1**6*S2**4 - 71*Z**3*F6*F0**2*S1**2*S2**8 - 76*Z**3*F6*F0*F4*S1** 6*S2**4 + 48*Z**3*F6*F0*F3*S1**5*S2**5 - 9*Z**3*F6*F4**2*S1**10 - Z** 3*F6*F3**2*S1**8*S2**2 - 2*Z**3*F5**2*F1*S1**7*S2**3 + Z**3*F5**2*F0* S1**6*S2**4 - 2*Z**3*F5*F1**2*S1**3*S2**7 - 6*Z**3*F5*F1*F4*S1**6*S2 **4 - 28*Z**3*F5*F0**2*S1*S2**9 - 20*Z**3*F5*F0*F4*S1**5*S2**5 + 11*Z **3*F5*F0*F3*S1**4*S2**6 + 5*Z**3*F5*F4*F3*S1**8*S2**2 - Z**3*F1**2* F4*S1**2*S2**8 + 3*Z**3*F1*F0*F3*S2**10 + Z**3*F1*F4*F3*S1**4*S2**6 - 13*Z**3*F0**2*F4*S2**10 - 10*Z**3*F0*F4**2*S1**4*S2**6 - Z**3*F0*F3 **2*S1**2*S2**8 - 5*Z**3*F4**3*S1**8*S2**2 + 2*Z**2*F2**2*S1**2*S2**6 + 6*Z**2*F2*F6*S1**6*S2**2 + 3*Z**2*F2*F0*S2**8 + Z**2*F2*F4*S1**4* S2**4 + 12*Z**2*F6*F1*S1**5*S2**3 + 37*Z**2*F6*F0*S1**4*S2**4 + 3*Z** 2*F6*F4*S1**8 + 2*Z**2*F5*F1*S1**4*S2**4 + 12*Z**2*F5*F0*S1**3*S2**5 - Z**2*F5*F3*S1**6*S2**2 - Z**2*F1*F3*S1**2*S2**6 + 6*Z**2*F0*F4*S1** 2*S2**6 + 2*Z**2*F4**2*S1**6*S2**2 - Z*F2*S1**2*S2**4 - Z*F6*S1**6 - Z*F0*S2**6 - Z*F4*S1**4*S2**2 + S1**2*S2**2: L[14] := - 10*Z**3*F2**3*S1*S2**9 - 20*Z**3*F2**2*F6*S1**5* S2**5 - 2*Z**3*F2**2*F5*S1**4*S2**6 + 9*Z**3*F2**2*F1*S2**10 + 5*Z**3 *F2**2*F3*S1**2*S2**8 - 26*Z**3*F2*F6**2*S1**9*S2 + 10*Z**3*F2*F6*F5* S1**8*S2**2 - 28*Z**3*F2*F6*F1*S1**4*S2**6 - 128*Z**3*F2*F6*F0*S1**3* S2**7 - 24*Z**3*F2*F6*F4*S1**7*S2**3 + 12*Z**3*F2*F6*F3*S1**6*S2**4 - 20*Z**3*F2*F5*F1*S1**3*S2**7 - 80*Z**3*F2*F5*F0*S1**2*S2**8 - 2*Z**3 *F2*F5*F4*S1**6*S2**4 - 6*Z**3*F2*F1*F4*S1**2*S2**8 + 10*Z**3*F2*F1* F3*S1*S2**9 - 56*Z**3*F2*F0*F4*S1*S2**9 - 4*Z**3*F2*F0*F3*S2**10 + 2* Z**3*F2*F4*F3*S1**4*S2**6 - 57*Z**3*F6**2*F1*S1**8*S2**2 - 152*Z**3* F6**2*F0*S1**7*S2**3 - Z**3*F6**2*F3*S1**10 + 20*Z**3*F6*F5*F1*S1**7* S2**3 + 54*Z**3*F6*F5*F0*S1**6*S2**4 + 4*Z**3*F6*F5*F4*S1**10 + 4*Z** 3*F6*F5*F3*S1**9*S2 + 20*Z**3*F6*F1**2*S1**3*S2**7 + 110*Z**3*F6*F1* F0*S1**2*S2**8 - 24*Z**3*F6*F1*F4*S1**6*S2**4 + 46*Z**3*F6*F1*F3*S1** 5*S2**5 - 10*Z**3*F6*F0**2*S1*S2**9 - 44*Z**3*F6*F0*F4*S1**5*S2**5 + 162*Z**3*F6*F0*F3*S1**4*S2**6 - 10*Z**3*F6*F4**2*S1**9*S2 + 5*Z**3*F5 **2*F1*S1**6*S2**4 + 34*Z**3*F5**2*F0*S1**5*S2**5 - 2*Z**3*F5**2*F3* S1**8*S2**2 + Z**3*F5*F1**2*S1**2*S2**8 + 40*Z**3*F5*F1*F0*S1*S2**9 - 8*Z**3*F5*F1*F4*S1**5*S2**5 + 6*Z**3*F5*F1*F3*S1**4*S2**6 - Z**3*F5* F0**2*S2**10 + 12*Z**3*F5*F0*F4*S1**4*S2**6 + 52*Z**3*F5*F0*F3*S1**3* S2**7 + 5*Z**3*F5*F4**2*S1**8*S2**2 - Z**3*F5*F3**2*S1**6*S2**4 - 2*Z **3*F1**2*F4*S1*S2**9 - 3*Z**3*F1**2*F3*S2**10 + 14*Z**3*F1*F0*F4*S2 **10 - 2*Z**3*F1*F4**2*S1**4*S2**6 - 2*Z**3*F1*F3**2*S1**2*S2**8 + 14 *Z**3*F0*F4*F3*S1**2*S2**8 - 2*Z**3*F0*F3**2*S1*S2**9 + 2*Z**3*F4**2* F3*S1**6*S2**4 + 4*Z**2*F2**2*S1*S2**7 + 12*Z**2*F2*F6*S1**5*S2**3 + Z**2*F2*F5*S1**4*S2**4 - 3*Z**2*F2*F1*S2**8 - 2*Z**2*F2*F3*S1**2*S2** 6 - Z**2*F6*F5*S1**8 + 23*Z**2*F6*F1*S1**4*S2**4 + 76*Z**2*F6*F0*S1** 3*S2**5 + 4*Z**2*F6*F4*S1**7*S2 + 8*Z**2*F5*F1*S1**3*S2**5 + 32*Z**2* F5*F0*S1**2*S2**6 - 2*Z**2*F5*F4*S1**6*S2**2 + 2*Z**2*F1*F4*S1**2*S2 **6 - 2*Z**2*F1*F3*S1*S2**7 + 16*Z**2*F0*F4*S1*S2**7 + Z**2*F0*F3*S2 **8 - Z**2*F4*F3*S1**4*S2**4 - 2*Z*F2*S1*S2**5 - 2*Z*F6*S1**5*S2 + Z* F5*S1**4*S2**2 + Z*F1*S2**6 + Z*F3*S1**2*S2**4 + 2*S1*S2**3: L[15] := - 14*Z**3*F2**3*S2**10 - 20*Z**3*F2**2*F6*S1**4*S2 **6 - 22*Z**3*F2*F6**2*S1**8*S2**2 - 32*Z**3*F2*F6*F1*S1**3*S2**7 - 116*Z**3*F2*F6*F0*S1**2*S2**8 - 12*Z**3*F2*F6*F4*S1**6*S2**4 - 10*Z** 3*F2*F5*F1*S1**2*S2**8 - 64*Z**3*F2*F5*F0*S1*S2**9 + 12*Z**3*F2*F1*F3 *S2**10 - 40*Z**3*F2*F0*F4*S2**10 - 48*Z**3*F6**2*F1*S1**7*S2**3 - 140*Z**3*F6**2*F0*S1**6*S2**4 - 4*Z**3*F6**2*F4*S1**10 - 6*Z**3*F6*F5 *F1*S1**6*S2**4 - 32*Z**3*F6*F5*F0*S1**5*S2**5 + 4*Z**3*F6*F5*F3*S1** 8*S2**2 - 4*Z**3*F6*F1**2*S1**2*S2**8 + 24*Z**3*F6*F1*F0*S1*S2**9 - 8 *Z**3*F6*F1*F4*S1**5*S2**5 + 12*Z**3*F6*F1*F3*S1**4*S2**6 - 2*Z**3*F6 *F0**2*S2**10 - 36*Z**3*F6*F0*F4*S1**4*S2**6 + 48*Z**3*F6*F0*F3*S1**3 *S2**7 - 10*Z**3*F6*F4**2*S1**8*S2**2 + 6*Z**3*F5**2*F0*S1**4*S2**6 - 4*Z**3*F5*F1**2*S1*S2**9 + 6*Z**3*F5*F1*F0*S2**10 - 2*Z**3*F5*F1*F4* S1**4*S2**6 + 12*Z**3*F5*F0*F3*S1**2*S2**8 - 2*Z**3*F1**2*F4*S2**10 - 2*Z**3*F0*F3**2*S2**10 + 5*Z**2*F2**2*S2**8 + 6*Z**2*F2*F6*S1**4*S2 **4 + Z**2*F6**2*S1**8 + 8*Z**2*F6*F1*S1**3*S2**5 + 36*Z**2*F6*F0*S1 **2*S2**6 + 4*Z**2*F6*F4*S1**6*S2**2 + 2*Z**2*F5*F1*S1**2*S2**6 + 16* Z**2*F5*F0*S1*S2**7 - 2*Z**2*F1*F3*S2**8 + 8*Z**2*F0*F4*S2**8 - 2*Z* F2*S2**6 - 2*Z*F6*S1**4*S2**2 + S2**4: