(s4 * s10**2 * s15**2 * t4+s4 * s11**2 * s14**2 * t4+s3 * s10**2 * s18**2 * t3+s3 * s11**2 * s17**2 * t3+s5 * s9**2 * s15**2 * t5+s5 * s11**2 * s13**2 * t5+s3 * s9**2 * s20**2 * t3+s6 * s9**2 * s14**2 * t6+s6 * s10**2 * s13**2 * t6+s2 * s14**2 * s18**2 * t2+s2 * s15**2 * s17**2 * t2+s4 * s8**2 * s20**2 * t4+s5 * s8**2 * s18**2 * t5+s2 * s13**2 * s20**2 * t2+s6 * s8**2 * s17**2 * t6-s7 * s14**2 * s18**2 * t1-s7 * s15**2 * s17**2 * t1-s7 * s13**2 * s20**2 * t1-s10**2 * s12 * s18**2 * t1-s11**2 * s12 * s17**2 * t1-s9**2 * s12 * s20**2 * t1-s10**2 * s15**2 * s16 * t1-s11**2 * s14**2 * s16 * t1-s9**2 * s15**2 * s19 * t1-s11**2 * s13**2 * s19 * t1-s8**2 * s16 * s20**2 * t1-s9**2 * s14**2 * s21 * t1-s10**2 * s13**2 * s21 * t1-s8**2 * s18**2 * s19 * t1-s8**2 * s17**2 * s21 * t1-s4 * s9 * s10 * s15**2 * t5-s5 * s9 * s10 * s15**2 * t4-s3 * s8 * s9 * s20**2 * t4-s3 * s8 * s10 * s18**2 * t5-s4 * s8 * s9 * s20**2 * t3-s4 * s9 * s11 * s14**2 * t6-s5 * s8 * s10 * s18**2 * t3-s6 * s9 * s11 * s14**2 * t4-s3 * s8 * s11 * s17**2 * t6-s5 * s10 * s11 * s13**2 * t6-s6 * s8 * s11 * s17**2 * t3-s6 * s10 * s11 * s13**2 * t5-s2 * s8 * s13 * s20**2 * t4-s2 * s8 * s14 * s18**2 * t5+s2 * s9 * s12 * s20**2 * t4-s2 * s9 * s13 * s20**2 * t3+s2 * s10 * s12 * s18**2 * t5-s2 * s10 * s14 * s18**2 * t3+s3 * s7 * s13 * s20**2 * t4+s3 * s7 * s14 * s18**2 * t5-s3 * s9 * s13 * s20**2 * t2-s3 * s10 * s14 * s18**2 * t2-s4 * s7 * s12 * s20**2 * t4+s4 * s7 * s13 * s20**2 * t3-s4 * s8 * s13 * s20**2 * t2+s4 * s9 * s12 * s20**2 * t2-s4 * s11**2 * s13 * s14 * t5-s5 * s7 * s12 * s18**2 * t5+s5 * s7 * s14 * s18**2 * t3-s5 * s8 * s14 * s18**2 * t2+s5 * s10 * s12 * s18**2 * t2-s5 * s11**2 * s13 * s14 * t4-s2 * s8 * s15 * s17**2 * t6-s2 * s9 * s15**2 * s17 * t5+s2 * s10 * s15**2 * s16 * t5-s2 * s10 * s15**2 * s17 * t4+s2 * s11 * s12 * s17**2 * t6-s2 * s11 * s15 * s17**2 * t3+s3 * s7 * s15 * s17**2 * t6-s3 * s11 * s15 * s17**2 * t2+s4 * s7 * s15**2 * s17 * t5-s4 * s10 * s15**2 * s17 * t2-s4 * s10**2 * s13 * s15 * t6-s5 * s7 * s15**2 * s16 * t5+s5 * s7 * s15**2 * s17 * t4-s5 * s9 * s15**2 * s17 * t2+s5 * s10 * s15**2 * s16 * t2-s6 * s7 * s12 * s17**2 * t6+s6 * s7 * s15 * s17**2 * t3-s6 * s8 * s15 * s17**2 * t2+s6 * s11 * s12 * s17**2 * t2-s6 * s10**2 * s13 * s15 * t4+s2 * s8 * s16 * s20**2 * t3-s2 * s9 * s14**2 * s18 * t6+s2 * s9 * s15**2 * s19 * t4+s2 * s11 * s14**2 * s16 * t6-s2 * s11 * s14**2 * s18 * t4-s3 * s7 * s16 * s20**2 * t3+s3 * s8 * s16 * s20**2 * t2-s3 * s11**2 * s13 * s17 * t5+s3 * s11**2 * s14 * s16 * t5-s3 * s11**2 * s14 * s17 * t4+s4 * s7 * s14**2 * s18 * t6-s4 * s7 * s15**2 * s19 * t4+s4 * s9 * s15**2 * s19 * t2-s4 * s11 * s14**2 * s18 * t2+s4 * s11**2 * s12 * s17 * t5-s4 * s11**2 * s14 * s17 * t3-s5 * s9**2 * s14 * s15 * t6-s5 * s11**2 * s12 * s16 * t5+s5 * s11**2 * s12 * s17 * t4-s5 * s11**2 * s13 * s17 * t3+s5 * s11**2 * s14 * s16 * t3-s6 * s7 * s14**2 * s16 * t6+s6 * s7 * s14**2 * s18 * t4-s6 * s9 * s14**2 * s18 * t2+s6 * s11 * s14**2 * s16 * t2-s6 * s9**2 * s14 * s15 * t5+s2 * s8 * s18**2 * s19 * t3+s2 * s9 * s14**2 * s21 * t4-s3 * s7 * s18**2 * s19 * t3+s3 * s8 * s18**2 * s19 * t2-s3 * s10**2 * s13 * s18 * t6+s3 * s10**2 * s15 * s16 * t6-s3 * s10**2 * s15 * s18 * t4+s3 * s11**2 * s13 * s19 * t4-s4 * s7 * s14**2 * s21 * t4+s4 * s9 * s14**2 * s21 * t2+s4 * s10**2 * s12 * s18 * t6-s4 * s10**2 * s15 * s18 * t3-s4 * s11**2 * s12 * s19 * t4+s4 * s11**2 * s13 * s19 * t3-s6 * s10**2 * s12 * s16 * t6+s6 * s10**2 * s12 * s18 * t4-s6 * s10**2 * s13 * s18 * t3+s6 * s10**2 * s15 * s16 * t3+s2 * s8 * s17**2 * s21 * t3-s2 * s10 * s13**2 * s20 * t6+s2 * s10 * s13**2 * s21 * t5+s2 * s11 * s13**2 * s19 * t6-s2 * s11 * s13**2 * s20 * t5-s3 * s7 * s17**2 * s21 * t3+s3 * s8 * s17**2 * s21 * t2+s3 * s10**2 * s13 * s21 * t4-s4 * s10**2 * s12 * s21 * t4+s4 * s10**2 * s13 * s21 * t3+s5 * s7 * s13**2 * s20 * t6-s5 * s7 * s13**2 * s21 * t5+s5 * s10 * s13**2 * s21 * t2-s5 * s11 * s13**2 * s20 * t2-s6 * s7 * s13**2 * s19 * t6+s6 * s7 * s13**2 * s20 * t5-s6 * s10 * s13**2 * s20 * t2+s6 * s11 * s13**2 * s19 * t2+s8 * s9 * s13 * s20**2 * t1 * 2.0+s8 * s10 * s14 * s18**2 * t1 * 2.0-s2 * s12 * s16 * s20**2 * t2-s3 * s9**2 * s14 * s20 * t6+s3 * s9**2 * s14 * s21 * t5+s3 * s9**2 * s15 * s19 * t6-s3 * s9**2 * s15 * s20 * t5-s3 * s11**2 * s16 * s19 * t3+s5 * s9**2 * s12 * s20 * t6-s5 * s9**2 * s12 * s21 * t5+s5 * s9**2 * s14 * s21 * t3-s5 * s9**2 * s15 * s20 * t3-s6 * s9**2 * s12 * s19 * t6+s6 * s9**2 * s12 * s20 * t5-s6 * s9**2 * s14 * s20 * t3+s6 * s9**2 * s15 * s19 * t3+s8 * s11 * s15 * s17**2 * t1 * 2.0+s9 * s10 * s15**2 * s17 * t1 * 2.0-s2 * s12 * s18**2 * s19 * t2-s3 * s10**2 * s16 * s21 * t3+s9 * s11 * s14**2 * s18 * t1 * 2.0-s2 * s12 * s17**2 * s21 * t2-s2 * s15**2 * s16 * s19 * t2-s5 * s8**2 * s17 * s18 * t6-s6 * s8**2 * s17 * s18 * t5-s2 * s14**2 * s16 * s21 * t2-s3 * s9**2 * s19 * s21 * t3-s4 * s8**2 * s17 * s20 * t6+s4 * s8**2 * s17 * s21 * t5+s4 * s8**2 * s18 * s19 * t6-s4 * s8**2 * s18 * s20 * t5+s5 * s8**2 * s16 * s20 * t6-s5 * s8**2 * s16 * s21 * t5+s5 * s8**2 * s17 * s21 * t4-s5 * s8**2 * s18 * s20 * t4-s6 * s8**2 * s16 * s19 * t6+s6 * s8**2 * s16 * s20 * t5-s6 * s8**2 * s17 * s20 * t4+s6 * s8**2 * s18 * s19 * t4+s10 * s11 * s13**2 * s20 * t1 * 2.0-s4 * s8**2 * s19 * s21 * t4+s7 * s12 * s16 * s20**2 * t1+s11**2 * s13 * s14 * s17 * t1 * 2.0-s2 * s13**2 * s19 * s21 * t2+s7 * s12 * s18**2 * s19 * t1+s10**2 * s13 * s15 * s18 * t1 * 2.0+s7 * s12 * s17**2 * s21 * t1+s7 * s15**2 * s16 * s19 * t1+s7 * s14**2 * s16 * s21 * t1+s9**2 * s14 * s15 * s20 * t1 * 2.0+s11**2 * s12 * s16 * s19 * t1+s10**2 * s12 * s16 * s21 * t1+s7 * s13**2 * s19 * s21 * t1+s9**2 * s12 * s19 * s21 * t1+s8**2 * s17 * s18 * s20 * t1 * 2.0+s8**2 * s16 * s19 * s21 * t1+s4 * s9 * s10 * s14 * s15 * t6+s4 * s9 * s11 * s14 * s15 * t5+s4 * s10 * s11 * s13 * s14 * t6+s4 * s10 * s11 * s13 * s15 * t5-s4 * s10 * s11 * s14 * s15 * t4 * 2.0+s5 * s9 * s10 * s13 * s15 * t6+s5 * s9 * s11 * s13 * s14 * t6-s5 * s9 * s11 * s13 * s15 * t5 * 2.0+s5 * s9 * s11 * s14 * s15 * t4+s5 * s10 * s11 * s13 * s15 * t4-s6 * s9 * s10 * s13 * s14 * t6 * 2.0+s6 * s9 * s10 * s13 * s15 * t5+s6 * s9 * s10 * s14 * s15 * t4+s6 * s9 * s11 * s13 * s14 * t5+s6 * s10 * s11 * s13 * s14 * t4+s3 * s9 * s10 * s14 * s18 * t6-s3 * s9 * s10 * s15 * s17 * t6 * 2.0+s3 * s9 * s10 * s15 * s18 * t5+s3 * s9 * s11 * s14 * s17 * t6-s3 * s9 * s11 * s14 * s18 * t5 * 2.0+s3 * s9 * s11 * s15 * s17 * t5+s3 * s10 * s11 * s13 * s17 * t6+s3 * s10 * s11 * s13 * s18 * t5-s3 * s10 * s11 * s14 * s16 * t6+s3 * s10 * s11 * s14 * s18 * t4-s3 * s10 * s11 * s15 * s16 * t5+s3 * s10 * s11 * s15 * s17 * t4-s4 * s8 * s10 * s14 * s18 * t6 * 2.0+s4 * s8 * s10 * s15 * s17 * t6+s4 * s8 * s10 * s15 * s18 * t5+s4 * s8 * s11 * s14 * s17 * t6+s4 * s8 * s11 * s14 * s18 * t5-s4 * s8 * s11 * s15 * s17 * t5 * 2.0-s4 * s10 * s11 * s12 * s17 * t6-s4 * s10 * s11 * s12 * s18 * t5+s4 * s10 * s11 * s14 * s18 * t3+s4 * s10 * s11 * s15 * s17 * t3+s5 * s8 * s9 * s14 * s18 * t6+s5 * s8 * s9 * s15 * s17 * t6-s5 * s8 * s9 * s15 * s18 * t5 * 2.0+s5 * s8 * s10 * s13 * s18 * t6-s5 * s8 * s10 * s15 * s16 * t6+s5 * s8 * s10 * s15 * s18 * t4+s5 * s8 * s11 * s13 * s17 * t6-s5 * s8 * s11 * s13 * s18 * t5 * 2.0-s5 * s8 * s11 * s14 * s16 * t6+s5 * s8 * s11 * s14 * s18 * t4+s5 * s8 * s11 * s15 * s16 * t5 * 2.0-s5 * s8 * s11 * s15 * s17 * t4 * 2.0-s5 * s9 * s10 * s12 * s18 * t6+s5 * s9 * s10 * s15 * s18 * t3-s5 * s9 * s11 * s12 * s17 * t6+s5 * s9 * s11 * s12 * s18 * t5 * 2.0-s5 * s9 * s11 * s14 * s18 * t3 * 2.0+s5 * s9 * s11 * s15 * s17 * t3+s5 * s10 * s11 * s12 * s16 * t6-s5 * s10 * s11 * s12 * s18 * t4+s5 * s10 * s11 * s13 * s18 * t3-s5 * s10 * s11 * s15 * s16 * t3-s6 * s8 * s9 * s14 * s17 * t6 * 2.0+s6 * s8 * s9 * s14 * s18 * t5+s6 * s8 * s9 * s15 * s17 * t5-s6 * s8 * s10 * s13 * s17 * t6 * 2.0+s6 * s8 * s10 * s13 * s18 * t5+s6 * s8 * s10 * s14 * s16 * t6 * 2.0-s6 * s8 * s10 * s14 * s18 * t4 * 2.0-s6 * s8 * s10 * s15 * s16 * t5+s6 * s8 * s10 * s15 * s17 * t4+s6 * s8 * s11 * s13 * s17 * t5-s6 * s8 * s11 * s14 * s16 * t5+s6 * s8 * s11 * s14 * s17 * t4+s6 * s9 * s10 * s12 * s17 * t6 * 2.0-s6 * s9 * s10 * s12 * s18 * t5+s6 * s9 * s10 * s14 * s18 * t3-s6 * s9 * s10 * s15 * s17 * t3 * 2.0-s6 * s9 * s11 * s12 * s17 * t5+s6 * s9 * s11 * s14 * s17 * t3+s6 * s10 * s11 * s12 * s16 * t5-s6 * s10 * s11 * s12 * s17 * t4+s6 * s10 * s11 * s13 * s17 * t3-s6 * s10 * s11 * s14 * s16 * t3+s3 * s9 * s10 * s13 * s20 * t6-s3 * s9 * s10 * s13 * s21 * t5-s3 * s9 * s10 * s14 * s21 * t4+s3 * s9 * s10 * s15 * s20 * t4-s3 * s9 * s11 * s13 * s19 * t6+s3 * s9 * s11 * s13 * s20 * t5+s3 * s9 * s11 * s14 * s20 * t4-s3 * s9 * s11 * s15 * s19 * t4-s3 * s10 * s11 * s13 * s20 * t4 * 2.0+s4 * s8 * s9 * s14 * s20 * t6-s4 * s8 * s9 * s14 * s21 * t5-s4 * s8 * s9 * s15 * s19 * t6+s4 * s8 * s9 * s15 * s20 * t5+s4 * s8 * s10 * s13 * s20 * t6-s4 * s8 * s10 * s13 * s21 * t5+s4 * s8 * s10 * s14 * s21 * t4 * 2.0-s4 * s8 * s10 * s15 * s20 * t4 * 2.0-s4 * s8 * s11 * s13 * s19 * t6+s4 * s8 * s11 * s13 * s20 * t5-s4 * s8 * s11 * s14 * s20 * t4 * 2.0+s4 * s8 * s11 * s15 * s19 * t4 * 2.0-s4 * s9 * s10 * s12 * s20 * t6+s4 * s9 * s10 * s12 * s21 * t5-s4 * s9 * s10 * s14 * s21 * t3+s4 * s9 * s10 * s15 * s20 * t3+s4 * s9 * s11 * s12 * s19 * t6-s4 * s9 * s11 * s12 * s20 * t5+s4 * s9 * s11 * s14 * s20 * t3-s4 * s9 * s11 * s15 * s19 * t3+s4 * s10 * s11 * s12 * s20 * t4 * 2.0-s4 * s10 * s11 * s13 * s20 * t3 * 2.0-s5 * s8 * s9 * s13 * s20 * t6 * 2.0+s5 * s8 * s9 * s13 * s21 * t5 * 2.0-s5 * s8 * s9 * s14 * s21 * t4+s5 * s8 * s9 * s15 * s20 * t4-s5 * s8 * s10 * s13 * s21 * t4+s5 * s8 * s11 * s13 * s20 * t4+s5 * s9 * s10 * s12 * s21 * t4-s5 * s9 * s10 * s13 * s21 * t3-s5 * s9 * s11 * s12 * s20 * t4+s5 * s9 * s11 * s13 * s20 * t3+s6 * s8 * s9 * s13 * s19 * t6 * 2.0-s6 * s8 * s9 * s13 * s20 * t5 * 2.0+s6 * s8 * s9 * s14 * s20 * t4-s6 * s8 * s9 * s15 * s19 * t4+s6 * s8 * s10 * s13 * s20 * t4-s6 * s8 * s11 * s13 * s19 * t4-s6 * s9 * s10 * s12 * s20 * t4+s6 * s9 * s10 * s13 * s20 * t3+s6 * s9 * s11 * s12 * s19 * t4-s6 * s9 * s11 * s13 * s19 * t3+s3 * s8 * s10 * s17 * s18 * t6+s3 * s8 * s11 * s17 * s18 * t5-s3 * s10 * s11 * s17 * s18 * t3 * 2.0+s5 * s8 * s11 * s17 * s18 * t3+s6 * s8 * s10 * s17 * s18 * t3+s2 * s9 * s14 * s15 * s17 * t6+s2 * s9 * s14 * s15 * s18 * t5+s2 * s10 * s13 * s14 * s18 * t6+s2 * s10 * s13 * s15 * s17 * t6-s2 * s10 * s13 * s15 * s18 * t5 * 2.0-s2 * s10 * s14 * s15 * s16 * t6+s2 * s10 * s14 * s15 * s18 * t4-s2 * s11 * s13 * s14 * s17 * t6 * 2.0+s2 * s11 * s13 * s14 * s18 * t5+s2 * s11 * s13 * s15 * s17 * t5-s2 * s11 * s14 * s15 * s16 * t5+s2 * s11 * s14 * s15 * s17 * t4+s3 * s8 * s9 * s17 * s20 * t6-s3 * s8 * s9 * s17 * s21 * t5-s3 * s8 * s9 * s18 * s19 * t6+s3 * s8 * s9 * s18 * s20 * t5-s3 * s8 * s10 * s16 * s20 * t6+s3 * s8 * s10 * s16 * s21 * t5-s3 * s8 * s10 * s17 * s21 * t4+s3 * s8 * s10 * s18 * s20 * t4+s3 * s8 * s11 * s16 * s19 * t6-s3 * s8 * s11 * s16 * s20 * t5+s3 * s8 * s11 * s17 * s20 * t4-s3 * s8 * s11 * s18 * s19 * t4+s3 * s9 * s10 * s17 * s21 * t3 * 2.0-s3 * s9 * s10 * s18 * s20 * t3 * 2.0-s3 * s9 * s11 * s17 * s20 * t3 * 2.0+s3 * s9 * s11 * s18 * s19 * t3 * 2.0+s3 * s10 * s11 * s16 * s20 * t3 * 2.0-s4 * s7 * s14 * s15 * s17 * t6-s4 * s7 * s14 * s15 * s18 * t5-s4 * s8 * s10 * s17 * s21 * t3+s4 * s8 * s10 * s18 * s20 * t3+s4 * s8 * s11 * s17 * s20 * t3-s4 * s8 * s11 * s18 * s19 * t3+s4 * s10 * s14 * s15 * s18 * t2+s4 * s11 * s14 * s15 * s17 * t2-s5 * s7 * s13 * s14 * s18 * t6-s5 * s7 * s13 * s15 * s17 * t6+s5 * s7 * s13 * s15 * s18 * t5 * 2.0+s5 * s7 * s14 * s15 * s16 * t6-s5 * s7 * s14 * s15 * s18 * t4-s5 * s8 * s9 * s17 * s21 * t3+s5 * s8 * s9 * s18 * s20 * t3+s5 * s8 * s10 * s16 * s21 * t3-s5 * s8 * s11 * s16 * s20 * t3+s5 * s9 * s14 * s15 * s18 * t2-s5 * s10 * s13 * s15 * s18 * t2 * 2.0+s5 * s11 * s13 * s14 * s18 * t2+s5 * s11 * s13 * s15 * s17 * t2-s5 * s11 * s14 * s15 * s16 * t2+s6 * s7 * s13 * s14 * s17 * t6 * 2.0-s6 * s7 * s13 * s14 * s18 * t5-s6 * s7 * s13 * s15 * s17 * t5+s6 * s7 * s14 * s15 * s16 * t5-s6 * s7 * s14 * s15 * s17 * t4+s6 * s8 * s9 * s17 * s20 * t3-s6 * s8 * s9 * s18 * s19 * t3-s6 * s8 * s10 * s16 * s20 * t3+s6 * s8 * s11 * s16 * s19 * t3+s6 * s9 * s14 * s15 * s17 * t2+s6 * s10 * s13 * s14 * s18 * t2+s6 * s10 * s13 * s15 * s17 * t2-s6 * s10 * s14 * s15 * s16 * t2-s6 * s11 * s13 * s14 * s17 * t2 * 2.0+s2 * s9 * s13 * s14 * s20 * t6-s2 * s9 * s13 * s14 * s21 * t5-s2 * s9 * s13 * s15 * s19 * t6+s2 * s9 * s13 * s15 * s20 * t5-s2 * s9 * s14 * s15 * s20 * t4 * 2.0-s2 * s10 * s13 * s14 * s21 * t4+s2 * s10 * s13 * s15 * s20 * t4+s2 * s11 * s13 * s14 * s20 * t4-s2 * s11 * s13 * s15 * s19 * t4+s3 * s8 * s9 * s19 * s21 * t4-s4 * s7 * s13 * s14 * s20 * t6+s4 * s7 * s13 * s14 * s21 * t5+s4 * s7 * s13 * s15 * s19 * t6-s4 * s7 * s13 * s15 * s20 * t5+s4 * s7 * s14 * s15 * s20 * t4 * 2.0+s4 * s8 * s9 * s19 * s21 * t3-s4 * s9 * s14 * s15 * s20 * t2 * 2.0-s4 * s10 * s13 * s14 * s21 * t2+s4 * s10 * s13 * s15 * s20 * t2+s4 * s11 * s13 * s14 * s20 * t2-s4 * s11 * s13 * s15 * s19 * t2+s5 * s7 * s13 * s14 * s21 * t4-s5 * s7 * s13 * s15 * s20 * t4-s5 * s9 * s13 * s14 * s21 * t2+s5 * s9 * s13 * s15 * s20 * t2-s6 * s7 * s13 * s14 * s20 * t4+s6 * s7 * s13 * s15 * s19 * t4+s6 * s9 * s13 * s14 * s20 * t2-s6 * s9 * s13 * s15 * s19 * t2+s2 * s8 * s14 * s17 * s18 * t6+s2 * s8 * s15 * s17 * s18 * t5-s2 * s10 * s12 * s17 * s18 * t6+s2 * s10 * s15 * s17 * s18 * t3-s2 * s11 * s12 * s17 * s18 * t5+s2 * s11 * s14 * s17 * s18 * t3-s3 * s7 * s14 * s17 * s18 * t6-s3 * s7 * s15 * s17 * s18 * t5+s3 * s10 * s15 * s17 * s18 * t2+s3 * s11 * s14 * s17 * s18 * t2+s5 * s7 * s12 * s17 * s18 * t6-s5 * s7 * s15 * s17 * s18 * t3+s5 * s8 * s15 * s17 * s18 * t2-s5 * s11 * s12 * s17 * s18 * t2+s6 * s7 * s12 * s17 * s18 * t5-s6 * s7 * s14 * s17 * s18 * t3+s6 * s8 * s14 * s17 * s18 * t2-s6 * s10 * s12 * s17 * s18 * t2+s2 * s8 * s13 * s17 * s20 * t6-s2 * s8 * s13 * s17 * s21 * t5-s2 * s8 * s13 * s18 * s19 * t6+s2 * s8 * s13 * s18 * s20 * t5-s2 * s8 * s14 * s16 * s20 * t6+s2 * s8 * s14 * s16 * s21 * t5-s2 * s8 * s14 * s17 * s21 * t4+s2 * s8 * s14 * s18 * s20 * t4+s2 * s8 * s15 * s16 * s19 * t6-s2 * s8 * s15 * s16 * s20 * t5+s2 * s8 * s15 * s17 * s20 * t4-s2 * s8 * s15 * s18 * s19 * t4-s2 * s9 * s12 * s17 * s20 * t6+s2 * s9 * s12 * s17 * s21 * t5+s2 * s9 * s12 * s18 * s19 * t6-s2 * s9 * s12 * s18 * s20 * t5-s2 * s9 * s14 * s17 * s21 * t3+s2 * s9 * s14 * s18 * s20 * t3+s2 * s9 * s15 * s17 * s20 * t3-s2 * s9 * s15 * s18 * s19 * t3+s2 * s10 * s12 * s16 * s20 * t6-s2 * s10 * s12 * s16 * s21 * t5+s2 * s10 * s12 * s17 * s21 * t4-s2 * s10 * s12 * s18 * s20 * t4-s2 * s10 * s13 * s17 * s21 * t3+s2 * s10 * s13 * s18 * s20 * t3+s2 * s10 * s14 * s16 * s21 * t3-s2 * s10 * s15 * s16 * s20 * t3-s2 * s11 * s12 * s16 * s19 * t6+s2 * s11 * s12 * s16 * s20 * t5-s2 * s11 * s12 * s17 * s20 * t4+s2 * s11 * s12 * s18 * s19 * t4+s2 * s11 * s13 * s17 * s20 * t3-s2 * s11 * s13 * s18 * s19 * t3-s2 * s11 * s14 * s16 * s20 * t3+s2 * s11 * s15 * s16 * s19 * t3-s3 * s7 * s13 * s17 * s20 * t6+s3 * s7 * s13 * s17 * s21 * t5+s3 * s7 * s13 * s18 * s19 * t6-s3 * s7 * s13 * s18 * s20 * t5+s3 * s7 * s14 * s16 * s20 * t6-s3 * s7 * s14 * s16 * s21 * t5+s3 * s7 * s14 * s17 * s21 * t4-s3 * s7 * s14 * s18 * s20 * t4-s3 * s7 * s15 * s16 * s19 * t6+s3 * s7 * s15 * s16 * s20 * t5-s3 * s7 * s15 * s17 * s20 * t4+s3 * s7 * s15 * s18 * s19 * t4-s3 * s9 * s14 * s17 * s21 * t2+s3 * s9 * s14 * s18 * s20 * t2+s3 * s9 * s15 * s17 * s20 * t2-s3 * s9 * s15 * s18 * s19 * t2-s3 * s10 * s13 * s17 * s21 * t2+s3 * s10 * s13 * s18 * s20 * t2+s3 * s10 * s14 * s16 * s21 * t2-s3 * s10 * s15 * s16 * s20 * t2+s3 * s11 * s13 * s17 * s20 * t2-s3 * s11 * s13 * s18 * s19 * t2-s3 * s11 * s14 * s16 * s20 * t2+s3 * s11 * s15 * s16 * s19 * t2+s4 * s7 * s12 * s17 * s20 * t6-s4 * s7 * s12 * s17 * s21 * t5-s4 * s7 * s12 * s18 * s19 * t6+s4 * s7 * s12 * s18 * s20 * t5+s4 * s7 * s14 * s17 * s21 * t3-s4 * s7 * s14 * s18 * s20 * t3-s4 * s7 * s15 * s17 * s20 * t3+s4 * s7 * s15 * s18 * s19 * t3-s4 * s8 * s14 * s17 * s21 * t2+s4 * s8 * s14 * s18 * s20 * t2+s4 * s8 * s15 * s17 * s20 * t2-s4 * s8 * s15 * s18 * s19 * t2+s4 * s10 * s12 * s17 * s21 * t2-s4 * s10 * s12 * s18 * s20 * t2-s4 * s11 * s12 * s17 * s20 * t2+s4 * s11 * s12 * s18 * s19 * t2-s5 * s7 * s12 * s16 * s20 * t6+s5 * s7 * s12 * s16 * s21 * t5-s5 * s7 * s12 * s17 * s21 * t4+s5 * s7 * s12 * s18 * s20 * t4+s5 * s7 * s13 * s17 * s21 * t3-s5 * s7 * s13 * s18 * s20 * t3-s5 * s7 * s14 * s16 * s21 * t3+s5 * s7 * s15 * s16 * s20 * t3-s5 * s8 * s13 * s17 * s21 * t2+s5 * s8 * s13 * s18 * s20 * t2+s5 * s8 * s14 * s16 * s21 * t2-s5 * s8 * s15 * s16 * s20 * t2+s5 * s9 * s12 * s17 * s21 * t2-s5 * s9 * s12 * s18 * s20 * t2-s5 * s10 * s12 * s16 * s21 * t2+s5 * s11 * s12 * s16 * s20 * t2+s6 * s7 * s12 * s16 * s19 * t6-s6 * s7 * s12 * s16 * s20 * t5+s6 * s7 * s12 * s17 * s20 * t4-s6 * s7 * s12 * s18 * s19 * t4-s6 * s7 * s13 * s17 * s20 * t3+s6 * s7 * s13 * s18 * s19 * t3+s6 * s7 * s14 * s16 * s20 * t3-s6 * s7 * s15 * s16 * s19 * t3+s6 * s8 * s13 * s17 * s20 * t2-s6 * s8 * s13 * s18 * s19 * t2-s6 * s8 * s14 * s16 * s20 * t2+s6 * s8 * s15 * s16 * s19 * t2-s6 * s9 * s12 * s17 * s20 * t2+s6 * s9 * s12 * s18 * s19 * t2+s6 * s10 * s12 * s16 * s20 * t2-s6 * s11 * s12 * s16 * s19 * t2+s2 * s8 * s13 * s19 * s21 * t4-s2 * s9 * s12 * s19 * s21 * t4+s2 * s9 * s13 * s19 * s21 * t3-s3 * s7 * s13 * s19 * s21 * t4+s3 * s9 * s13 * s19 * s21 * t2+s4 * s7 * s12 * s19 * s21 * t4-s4 * s7 * s13 * s19 * s21 * t3+s4 * s8 * s13 * s19 * s21 * t2-s4 * s9 * s12 * s19 * s21 * t2-s9 * s10 * s14 * s15 * s18 * t1 * 2.0-s9 * s11 * s14 * s15 * s17 * t1 * 2.0-s10 * s11 * s13 * s14 * s18 * t1 * 2.0-s10 * s11 * s13 * s15 * s17 * t1 * 2.0+s10 * s11 * s14 * s15 * s16 * t1 * 2.0-s2 * s8 * s17 * s18 * s20 * t3 * 2.0-s2 * s14 * s15 * s17 * s18 * t2 * 2.0+s3 * s7 * s17 * s18 * s20 * t3 * 2.0-s3 * s8 * s17 * s18 * s20 * t2 * 2.0+s9 * s10 * s13 * s14 * s21 * t1 * 2.0-s9 * s10 * s13 * s15 * s20 * t1 * 2.0-s9 * s11 * s13 * s14 * s20 * t1 * 2.0+s9 * s11 * s13 * s15 * s19 * t1 * 2.0-s2 * s8 * s16 * s19 * s21 * t3+s2 * s13 * s14 * s17 * s21 * t2 * 2.0-s2 * s13 * s14 * s18 * s20 * t2 * 2.0-s2 * s13 * s15 * s17 * s20 * t2 * 2.0+s2 * s13 * s15 * s18 * s19 * t2 * 2.0+s2 * s14 * s15 * s16 * s20 * t2 * 2.0+s3 * s7 * s16 * s19 * s21 * t3-s3 * s8 * s16 * s19 * s21 * t2-s8 * s10 * s15 * s17 * s18 * t1 * 2.0-s8 * s11 * s14 * s17 * s18 * t1 * 2.0+s10 * s11 * s12 * s17 * s18 * t1 * 2.0+s8 * s9 * s14 * s17 * s21 * t1 * 2.0-s8 * s9 * s14 * s18 * s20 * t1 * 2.0-s8 * s9 * s15 * s17 * s20 * t1 * 2.0+s8 * s9 * s15 * s18 * s19 * t1 * 2.0+s8 * s10 * s13 * s17 * s21 * t1 * 2.0-s8 * s10 * s13 * s18 * s20 * t1 * 2.0-s8 * s10 * s14 * s16 * s21 * t1 * 2.0+s8 * s10 * s15 * s16 * s20 * t1 * 2.0-s8 * s11 * s13 * s17 * s20 * t1 * 2.0+s8 * s11 * s13 * s18 * s19 * t1 * 2.0+s8 * s11 * s14 * s16 * s20 * t1 * 2.0-s8 * s11 * s15 * s16 * s19 * t1 * 2.0-s9 * s10 * s12 * s17 * s21 * t1 * 2.0+s9 * s10 * s12 * s18 * s20 * t1 * 2.0+s9 * s11 * s12 * s17 * s20 * t1 * 2.0-s9 * s11 * s12 * s18 * s19 * t1 * 2.0-s10 * s11 * s12 * s16 * s20 * t1 * 2.0+s2 * s12 * s17 * s18 * s20 * t2 * 2.0-s8 * s9 * s13 * s19 * s21 * t1 * 2.0+s2 * s12 * s16 * s19 * s21 * t2+s7 * s14 * s15 * s17 * s18 * t1 * 2.0-s7 * s13 * s14 * s17 * s21 * t1 * 2.0+s7 * s13 * s14 * s18 * s20 * t1 * 2.0+s7 * s13 * s15 * s17 * s20 * t1 * 2.0-s7 * s13 * s15 * s18 * s19 * t1 * 2.0-s7 * s14 * s15 * s16 * s20 * t1 * 2.0-s7 * s12 * s17 * s18 * s20 * t1 * 2.0-s7 * s12 * s16 * s19 * s21 * t1)./(s4**2 * s10**2 * s15**2+s4**2 * s11**2 * s14**2+s5**2 * s9**2 * s15**2+s5**2 * s11**2 * s13**2+s6**2 * s9**2 * s14**2+s6**2 * s10**2 * s13**2+s3**2 * s10**2 * s18**2+s3**2 * s11**2 * s17**2+s5**2 * s8**2 * s18**2+s6**2 * s8**2 * s17**2+s3**2 * s9**2 * s20**2+s4**2 * s8**2 * s20**2+s2**2 * s14**2 * s18**2+s2**2 * s15**2 * s17**2+s2**2 * s13**2 * s20**2-s1 * s7 * s14**2 * s18**2-s1 * s7 * s15**2 * s17**2-s1 * s7 * s13**2 * s20**2-s1 * s10**2 * s12 * s18**2-s1 * s11**2 * s12 * s17**2-s1 * s9**2 * s12 * s20**2-s1 * s10**2 * s15**2 * s16-s1 * s11**2 * s14**2 * s16-s5**2 * s7 * s12 * s18**2-s6**2 * s7 * s12 * s17**2-s4**2 * s7 * s12 * s20**2-s5**2 * s7 * s15**2 * s16-s6**2 * s7 * s14**2 * s16-s1 * s9**2 * s15**2 * s19-s1 * s11**2 * s13**2 * s19-s5**2 * s11**2 * s12 * s16-s6**2 * s10**2 * s12 * s16-s1 * s8**2 * s16 * s20**2-s1 * s9**2 * s14**2 * s21-s1 * s10**2 * s13**2 * s21-s4**2 * s7 * s15**2 * s19-s6**2 * s7 * s13**2 * s19-s1 * s8**2 * s18**2 * s19-s3**2 * s7 * s16 * s20**2-s4**2 * s7 * s14**2 * s21-s4**2 * s11**2 * s12 * s19-s5**2 * s7 * s13**2 * s21-s6**2 * s9**2 * s12 * s19-s1 * s8**2 * s17**2 * s21-s3**2 * s7 * s18**2 * s19-s4**2 * s10**2 * s12 * s21-s5**2 * s9**2 * s12 * s21-s3**2 * s7 * s17**2 * s21-s3**2 * s11**2 * s16 * s19-s6**2 * s8**2 * s16 * s19-s2**2 * s12 * s16 * s20**2-s3**2 * s10**2 * s16 * s21-s5**2 * s8**2 * s16 * s21-s2**2 * s12 * s18**2 * s19-s2**2 * s12 * s17**2 * s21-s2**2 * s15**2 * s16 * s19-s3**2 * s9**2 * s19 * s21-s4**2 * s8**2 * s19 * s21-s2**2 * s14**2 * s16 * s21-s2**2 * s13**2 * s19 * s21-s4 * s5 * s9 * s10 * s15**2 * 2.0-s3 * s4 * s8 * s9 * s20**2 * 2.0-s3 * s5 * s8 * s10 * s18**2 * 2.0-s4 * s6 * s9 * s11 * s14**2 * 2.0-s3 * s6 * s8 * s11 * s17**2 * 2.0-s5 * s6 * s10 * s11 * s13**2 * 2.0-s2 * s3 * s9 * s13 * s20**2 * 2.0-s2 * s3 * s10 * s14 * s18**2 * 2.0-s2 * s4 * s8 * s13 * s20**2 * 2.0+s2 * s4 * s9 * s12 * s20**2 * 2.0-s2 * s5 * s8 * s14 * s18**2 * 2.0+s2 * s5 * s10 * s12 * s18**2 * 2.0+s3 * s4 * s7 * s13 * s20**2 * 2.0+s3 * s5 * s7 * s14 * s18**2 * 2.0-s4 * s5 * s11**2 * s13 * s14 * 2.0-s2 * s3 * s11 * s15 * s17**2 * 2.0-s2 * s4 * s10 * s15**2 * s17 * 2.0-s2 * s5 * s9 * s15**2 * s17 * 2.0+s2 * s5 * s10 * s15**2 * s16 * 2.0-s2 * s6 * s8 * s15 * s17**2 * 2.0+s2 * s6 * s11 * s12 * s17**2 * 2.0+s3 * s6 * s7 * s15 * s17**2 * 2.0+s4 * s5 * s7 * s15**2 * s17 * 2.0-s4 * s6 * s10**2 * s13 * s15 * 2.0+s2 * s3 * s8 * s16 * s20**2 * 2.0+s2 * s4 * s9 * s15**2 * s19 * 2.0-s2 * s4 * s11 * s14**2 * s18 * 2.0-s2 * s6 * s9 * s14**2 * s18 * 2.0+s2 * s6 * s11 * s14**2 * s16 * 2.0-s3 * s4 * s11**2 * s14 * s17 * 2.0-s3 * s5 * s11**2 * s13 * s17 * 2.0+s3 * s5 * s11**2 * s14 * s16 * 2.0+s4 * s5 * s11**2 * s12 * s17 * 2.0+s4 * s6 * s7 * s14**2 * s18 * 2.0-s5 * s6 * s9**2 * s14 * s15 * 2.0+s2 * s3 * s8 * s18**2 * s19 * 2.0+s2 * s4 * s9 * s14**2 * s21 * 2.0-s3 * s4 * s10**2 * s15 * s18 * 2.0+s3 * s4 * s11**2 * s13 * s19 * 2.0-s3 * s6 * s10**2 * s13 * s18 * 2.0+s3 * s6 * s10**2 * s15 * s16 * 2.0+s4 * s6 * s10**2 * s12 * s18 * 2.0+s1 * s8 * s9 * s13 * s20**2 * 2.0+s1 * s8 * s10 * s14 * s18**2 * 2.0+s2 * s3 * s8 * s17**2 * s21 * 2.0+s2 * s5 * s10 * s13**2 * s21 * 2.0-s2 * s5 * s11 * s13**2 * s20 * 2.0-s2 * s6 * s10 * s13**2 * s20 * 2.0+s2 * s6 * s11 * s13**2 * s19 * 2.0+s3 * s4 * s10**2 * s13 * s21 * 2.0+s5 * s6 * s7 * s13**2 * s20 * 2.0+s1 * s8 * s11 * s15 * s17**2 * 2.0+s1 * s9 * s10 * s15**2 * s17 * 2.0+s3 * s5 * s9**2 * s14 * s21 * 2.0-s3 * s5 * s9**2 * s15 * s20 * 2.0-s3 * s6 * s9**2 * s14 * s20 * 2.0+s3 * s6 * s9**2 * s15 * s19 * 2.0+s5 * s6 * s9**2 * s12 * s20 * 2.0-s6**2 * s9 * s10 * s13 * s14 * 2.0+s1 * s9 * s11 * s14**2 * s18 * 2.0-s5**2 * s9 * s11 * s13 * s15 * 2.0-s5 * s6 * s8**2 * s17 * s18 * 2.0-s4**2 * s10 * s11 * s14 * s15 * 2.0-s6**2 * s8 * s9 * s14 * s17 * 2.0-s6**2 * s8 * s10 * s13 * s17 * 2.0+s6**2 * s8 * s10 * s14 * s16 * 2.0+s6**2 * s9 * s10 * s12 * s17 * 2.0+s1 * s10 * s11 * s13**2 * s20 * 2.0+s4 * s5 * s8**2 * s17 * s21 * 2.0-s4 * s5 * s8**2 * s18 * s20 * 2.0-s4 * s6 * s8**2 * s17 * s20 * 2.0+s4 * s6 * s8**2 * s18 * s19 * 2.0+s5 * s6 * s8**2 * s16 * s20 * 2.0-s5**2 * s8 * s9 * s15 * s18 * 2.0-s5**2 * s8 * s11 * s13 * s18 * 2.0+s5**2 * s8 * s11 * s15 * s16 * 2.0+s5**2 * s9 * s11 * s12 * s18 * 2.0+s6**2 * s8 * s9 * s13 * s19 * 2.0+s1 * s7 * s12 * s16 * s20**2+s1 * s11**2 * s13 * s14 * s17 * 2.0+s5**2 * s8 * s9 * s13 * s21 * 2.0+s1 * s7 * s12 * s18**2 * s19+s1 * s10**2 * s13 * s15 * s18 * 2.0+s4**2 * s8 * s10 * s14 * s21 * 2.0-s4**2 * s8 * s10 * s15 * s20 * 2.0-s4**2 * s8 * s11 * s14 * s20 * 2.0+s4**2 * s8 * s11 * s15 * s19 * 2.0+s4**2 * s10 * s11 * s12 * s20 * 2.0+s6**2 * s7 * s13 * s14 * s17 * 2.0+s1 * s7 * s12 * s17**2 * s21+s1 * s7 * s15**2 * s16 * s19+s5**2 * s7 * s13 * s15 * s18 * 2.0+s1 * s7 * s14**2 * s16 * s21+s1 * s9**2 * s14 * s15 * s20 * 2.0+s1 * s11**2 * s12 * s16 * s19-s3**2 * s10 * s11 * s17 * s18 * 2.0+s1 * s10**2 * s12 * s16 * s21+s3**2 * s9 * s10 * s17 * s21 * 2.0-s3**2 * s9 * s10 * s18 * s20 * 2.0-s3**2 * s9 * s11 * s17 * s20 * 2.0+s3**2 * s9 * s11 * s18 * s19 * 2.0+s3**2 * s10 * s11 * s16 * s20 * 2.0+s4**2 * s7 * s14 * s15 * s20 * 2.0+s6**2 * s7 * s12 * s16 * s19+s1 * s7 * s13**2 * s19 * s21+s5**2 * s7 * s12 * s16 * s21+s1 * s9**2 * s12 * s19 * s21+s4**2 * s7 * s12 * s19 * s21+s1 * s8**2 * s17 * s18 * s20 * 2.0+s1 * s8**2 * s16 * s19 * s21+s3**2 * s7 * s17 * s18 * s20 * 2.0-s2**2 * s14 * s15 * s17 * s18 * 2.0+s3**2 * s7 * s16 * s19 * s21+s2**2 * s13 * s14 * s17 * s21 * 2.0-s2**2 * s13 * s14 * s18 * s20 * 2.0-s2**2 * s13 * s15 * s17 * s20 * 2.0+s2**2 * s13 * s15 * s18 * s19 * 2.0+s2**2 * s14 * s15 * s16 * s20 * 2.0+s2**2 * s12 * s17 * s18 * s20 * 2.0+s2**2 * s12 * s16 * s19 * s21+s4 * s5 * s9 * s11 * s14 * s15 * 2.0+s4 * s5 * s10 * s11 * s13 * s15 * 2.0+s4 * s6 * s9 * s10 * s14 * s15 * 2.0+s4 * s6 * s10 * s11 * s13 * s14 * 2.0+s5 * s6 * s9 * s10 * s13 * s15 * 2.0+s5 * s6 * s9 * s11 * s13 * s14 * 2.0+s3 * s4 * s10 * s11 * s14 * s18 * 2.0+s3 * s4 * s10 * s11 * s15 * s17 * 2.0+s3 * s5 * s9 * s10 * s15 * s18 * 2.0-s3 * s5 * s9 * s11 * s14 * s18 * 4.0+s3 * s5 * s9 * s11 * s15 * s17 * 2.0+s3 * s5 * s10 * s11 * s13 * s18 * 2.0-s3 * s5 * s10 * s11 * s15 * s16 * 2.0+s3 * s6 * s9 * s10 * s14 * s18 * 2.0-s3 * s6 * s9 * s10 * s15 * s17 * 4.0+s3 * s6 * s9 * s11 * s14 * s17 * 2.0+s3 * s6 * s10 * s11 * s13 * s17 * 2.0-s3 * s6 * s10 * s11 * s14 * s16 * 2.0+s4 * s5 * s8 * s10 * s15 * s18 * 2.0+s4 * s5 * s8 * s11 * s14 * s18 * 2.0-s4 * s5 * s8 * s11 * s15 * s17 * 4.0-s4 * s5 * s10 * s11 * s12 * s18 * 2.0-s4 * s6 * s8 * s10 * s14 * s18 * 4.0+s4 * s6 * s8 * s10 * s15 * s17 * 2.0+s4 * s6 * s8 * s11 * s14 * s17 * 2.0-s4 * s6 * s10 * s11 * s12 * s17 * 2.0+s5 * s6 * s8 * s9 * s14 * s18 * 2.0+s5 * s6 * s8 * s9 * s15 * s17 * 2.0+s5 * s6 * s8 * s10 * s13 * s18 * 2.0-s5 * s6 * s8 * s10 * s15 * s16 * 2.0+s5 * s6 * s8 * s11 * s13 * s17 * 2.0-s5 * s6 * s8 * s11 * s14 * s16 * 2.0-s5 * s6 * s9 * s10 * s12 * s18 * 2.0-s5 * s6 * s9 * s11 * s12 * s17 * 2.0+s5 * s6 * s10 * s11 * s12 * s16 * 2.0-s3 * s4 * s9 * s10 * s14 * s21 * 2.0+s3 * s4 * s9 * s10 * s15 * s20 * 2.0+s3 * s4 * s9 * s11 * s14 * s20 * 2.0-s3 * s4 * s9 * s11 * s15 * s19 * 2.0-s3 * s4 * s10 * s11 * s13 * s20 * 4.0-s3 * s5 * s9 * s10 * s13 * s21 * 2.0+s3 * s5 * s9 * s11 * s13 * s20 * 2.0+s3 * s6 * s9 * s10 * s13 * s20 * 2.0-s3 * s6 * s9 * s11 * s13 * s19 * 2.0-s4 * s5 * s8 * s9 * s14 * s21 * 2.0+s4 * s5 * s8 * s9 * s15 * s20 * 2.0-s4 * s5 * s8 * s10 * s13 * s21 * 2.0+s4 * s5 * s8 * s11 * s13 * s20 * 2.0+s4 * s5 * s9 * s10 * s12 * s21 * 2.0-s4 * s5 * s9 * s11 * s12 * s20 * 2.0+s4 * s6 * s8 * s9 * s14 * s20 * 2.0-s4 * s6 * s8 * s9 * s15 * s19 * 2.0+s4 * s6 * s8 * s10 * s13 * s20 * 2.0-s4 * s6 * s8 * s11 * s13 * s19 * 2.0-s4 * s6 * s9 * s10 * s12 * s20 * 2.0+s4 * s6 * s9 * s11 * s12 * s19 * 2.0-s5 * s6 * s8 * s9 * s13 * s20 * 4.0+s3 * s5 * s8 * s11 * s17 * s18 * 2.0+s3 * s6 * s8 * s10 * s17 * s18 * 2.0+s2 * s4 * s10 * s14 * s15 * s18 * 2.0+s2 * s4 * s11 * s14 * s15 * s17 * 2.0+s2 * s5 * s9 * s14 * s15 * s18 * 2.0-s2 * s5 * s10 * s13 * s15 * s18 * 4.0+s2 * s5 * s11 * s13 * s14 * s18 * 2.0+s2 * s5 * s11 * s13 * s15 * s17 * 2.0-s2 * s5 * s11 * s14 * s15 * s16 * 2.0+s2 * s6 * s9 * s14 * s15 * s17 * 2.0+s2 * s6 * s10 * s13 * s14 * s18 * 2.0+s2 * s6 * s10 * s13 * s15 * s17 * 2.0-s2 * s6 * s10 * s14 * s15 * s16 * 2.0-s2 * s6 * s11 * s13 * s14 * s17 * 4.0-s3 * s4 * s8 * s10 * s17 * s21 * 2.0+s3 * s4 * s8 * s10 * s18 * s20 * 2.0+s3 * s4 * s8 * s11 * s17 * s20 * 2.0-s3 * s4 * s8 * s11 * s18 * s19 * 2.0-s3 * s5 * s8 * s9 * s17 * s21 * 2.0+s3 * s5 * s8 * s9 * s18 * s20 * 2.0+s3 * s5 * s8 * s10 * s16 * s21 * 2.0-s3 * s5 * s8 * s11 * s16 * s20 * 2.0+s3 * s6 * s8 * s9 * s17 * s20 * 2.0-s3 * s6 * s8 * s9 * s18 * s19 * 2.0-s3 * s6 * s8 * s10 * s16 * s20 * 2.0+s3 * s6 * s8 * s11 * s16 * s19 * 2.0-s4 * s5 * s7 * s14 * s15 * s18 * 2.0-s4 * s6 * s7 * s14 * s15 * s17 * 2.0-s5 * s6 * s7 * s13 * s14 * s18 * 2.0-s5 * s6 * s7 * s13 * s15 * s17 * 2.0+s5 * s6 * s7 * s14 * s15 * s16 * 2.0-s2 * s4 * s9 * s14 * s15 * s20 * 4.0-s2 * s4 * s10 * s13 * s14 * s21 * 2.0+s2 * s4 * s10 * s13 * s15 * s20 * 2.0+s2 * s4 * s11 * s13 * s14 * s20 * 2.0-s2 * s4 * s11 * s13 * s15 * s19 * 2.0-s2 * s5 * s9 * s13 * s14 * s21 * 2.0+s2 * s5 * s9 * s13 * s15 * s20 * 2.0+s2 * s6 * s9 * s13 * s14 * s20 * 2.0-s2 * s6 * s9 * s13 * s15 * s19 * 2.0+s3 * s4 * s8 * s9 * s19 * s21 * 2.0+s4 * s5 * s7 * s13 * s14 * s21 * 2.0-s4 * s5 * s7 * s13 * s15 * s20 * 2.0-s4 * s6 * s7 * s13 * s14 * s20 * 2.0+s4 * s6 * s7 * s13 * s15 * s19 * 2.0+s2 * s3 * s10 * s15 * s17 * s18 * 2.0+s2 * s3 * s11 * s14 * s17 * s18 * 2.0+s2 * s5 * s8 * s15 * s17 * s18 * 2.0-s2 * s5 * s11 * s12 * s17 * s18 * 2.0+s2 * s6 * s8 * s14 * s17 * s18 * 2.0-s2 * s6 * s10 * s12 * s17 * s18 * 2.0-s3 * s5 * s7 * s15 * s17 * s18 * 2.0-s3 * s6 * s7 * s14 * s17 * s18 * 2.0+s5 * s6 * s7 * s12 * s17 * s18 * 2.0-s2 * s3 * s9 * s14 * s17 * s21 * 2.0+s2 * s3 * s9 * s14 * s18 * s20 * 2.0+s2 * s3 * s9 * s15 * s17 * s20 * 2.0-s2 * s3 * s9 * s15 * s18 * s19 * 2.0-s2 * s3 * s10 * s13 * s17 * s21 * 2.0+s2 * s3 * s10 * s13 * s18 * s20 * 2.0+s2 * s3 * s10 * s14 * s16 * s21 * 2.0-s2 * s3 * s10 * s15 * s16 * s20 * 2.0+s2 * s3 * s11 * s13 * s17 * s20 * 2.0-s2 * s3 * s11 * s13 * s18 * s19 * 2.0-s2 * s3 * s11 * s14 * s16 * s20 * 2.0+s2 * s3 * s11 * s15 * s16 * s19 * 2.0-s2 * s4 * s8 * s14 * s17 * s21 * 2.0+s2 * s4 * s8 * s14 * s18 * s20 * 2.0+s2 * s4 * s8 * s15 * s17 * s20 * 2.0-s2 * s4 * s8 * s15 * s18 * s19 * 2.0+s2 * s4 * s10 * s12 * s17 * s21 * 2.0-s2 * s4 * s10 * s12 * s18 * s20 * 2.0-s2 * s4 * s11 * s12 * s17 * s20 * 2.0+s2 * s4 * s11 * s12 * s18 * s19 * 2.0-s2 * s5 * s8 * s13 * s17 * s21 * 2.0+s2 * s5 * s8 * s13 * s18 * s20 * 2.0+s2 * s5 * s8 * s14 * s16 * s21 * 2.0-s2 * s5 * s8 * s15 * s16 * s20 * 2.0+s2 * s5 * s9 * s12 * s17 * s21 * 2.0-s2 * s5 * s9 * s12 * s18 * s20 * 2.0-s2 * s5 * s10 * s12 * s16 * s21 * 2.0+s2 * s5 * s11 * s12 * s16 * s20 * 2.0+s2 * s6 * s8 * s13 * s17 * s20 * 2.0-s2 * s6 * s8 * s13 * s18 * s19 * 2.0-s2 * s6 * s8 * s14 * s16 * s20 * 2.0+s2 * s6 * s8 * s15 * s16 * s19 * 2.0-s2 * s6 * s9 * s12 * s17 * s20 * 2.0+s2 * s6 * s9 * s12 * s18 * s19 * 2.0+s2 * s6 * s10 * s12 * s16 * s20 * 2.0-s2 * s6 * s11 * s12 * s16 * s19 * 2.0+s3 * s4 * s7 * s14 * s17 * s21 * 2.0-s3 * s4 * s7 * s14 * s18 * s20 * 2.0-s3 * s4 * s7 * s15 * s17 * s20 * 2.0+s3 * s4 * s7 * s15 * s18 * s19 * 2.0+s3 * s5 * s7 * s13 * s17 * s21 * 2.0-s3 * s5 * s7 * s13 * s18 * s20 * 2.0-s3 * s5 * s7 * s14 * s16 * s21 * 2.0+s3 * s5 * s7 * s15 * s16 * s20 * 2.0-s3 * s6 * s7 * s13 * s17 * s20 * 2.0+s3 * s6 * s7 * s13 * s18 * s19 * 2.0+s3 * s6 * s7 * s14 * s16 * s20 * 2.0-s3 * s6 * s7 * s15 * s16 * s19 * 2.0-s4 * s5 * s7 * s12 * s17 * s21 * 2.0+s4 * s5 * s7 * s12 * s18 * s20 * 2.0+s4 * s6 * s7 * s12 * s17 * s20 * 2.0-s4 * s6 * s7 * s12 * s18 * s19 * 2.0-s5 * s6 * s7 * s12 * s16 * s20 * 2.0-s1 * s9 * s10 * s14 * s15 * s18 * 2.0-s1 * s9 * s11 * s14 * s15 * s17 * 2.0-s1 * s10 * s11 * s13 * s14 * s18 * 2.0-s1 * s10 * s11 * s13 * s15 * s17 * 2.0+s1 * s10 * s11 * s14 * s15 * s16 * 2.0+s2 * s3 * s9 * s13 * s19 * s21 * 2.0+s2 * s4 * s8 * s13 * s19 * s21 * 2.0-s2 * s4 * s9 * s12 * s19 * s21 * 2.0-s3 * s4 * s7 * s13 * s19 * s21 * 2.0+s1 * s9 * s10 * s13 * s14 * s21 * 2.0-s1 * s9 * s10 * s13 * s15 * s20 * 2.0-s1 * s9 * s11 * s13 * s14 * s20 * 2.0+s1 * s9 * s11 * s13 * s15 * s19 * 2.0-s2 * s3 * s8 * s17 * s18 * s20 * 4.0-s1 * s8 * s10 * s15 * s17 * s18 * 2.0-s1 * s8 * s11 * s14 * s17 * s18 * 2.0+s1 * s10 * s11 * s12 * s17 * s18 * 2.0-s2 * s3 * s8 * s16 * s19 * s21 * 2.0+s1 * s8 * s9 * s14 * s17 * s21 * 2.0-s1 * s8 * s9 * s14 * s18 * s20 * 2.0-s1 * s8 * s9 * s15 * s17 * s20 * 2.0+s1 * s8 * s9 * s15 * s18 * s19 * 2.0+s1 * s8 * s10 * s13 * s17 * s21 * 2.0-s1 * s8 * s10 * s13 * s18 * s20 * 2.0-s1 * s8 * s10 * s14 * s16 * s21 * 2.0+s1 * s8 * s10 * s15 * s16 * s20 * 2.0-s1 * s8 * s11 * s13 * s17 * s20 * 2.0+s1 * s8 * s11 * s13 * s18 * s19 * 2.0+s1 * s8 * s11 * s14 * s16 * s20 * 2.0-s1 * s8 * s11 * s15 * s16 * s19 * 2.0-s1 * s9 * s10 * s12 * s17 * s21 * 2.0+s1 * s9 * s10 * s12 * s18 * s20 * 2.0+s1 * s9 * s11 * s12 * s17 * s20 * 2.0-s1 * s9 * s11 * s12 * s18 * s19 * 2.0-s1 * s10 * s11 * s12 * s16 * s20 * 2.0-s1 * s8 * s9 * s13 * s19 * s21 * 2.0+s1 * s7 * s14 * s15 * s17 * s18 * 2.0-s1 * s7 * s13 * s14 * s17 * s21 * 2.0+s1 * s7 * s13 * s14 * s18 * s20 * 2.0+s1 * s7 * s13 * s15 * s17 * s20 * 2.0-s1 * s7 * s13 * s15 * s18 * s19 * 2.0-s1 * s7 * s14 * s15 * s16 * s20 * 2.0-s1 * s7 * s12 * s17 * s18 * s20 * 2.0-s1 * s7 * s12 * s16 * s19 * s21)