add_fortran_list:='(af1); $ vpdlist:='((11 -1)); $ funclist:='(v_ckm cg tp dmas); $ fermionprog:='(sf) $ bosonprog:='(s11 s1 s0) $ propagatorl:='(s2 s3 s4 s5 s11 s1 s0 sf) $ ss_dmas_list:='(s1) $ new_const_list:='nil $ bound_state_vertex_list:='nil $ color_vertices:='nil $ fcolor_vertices:='nil $ splist:='((s11 gs) (s1 pr1 pr23 pr25 pr29 w z p) (s0 pr2 pr4 pr9 pr14 pr16 pr18 pr21 gsg h0) (sf qt qc qu tau mu ef qb qs qd nut numu nue) (s5 pr28) (s4 pr15 pr20 pr27) (s3 pr26) (s2 pr3 pr5 pr6 pr7 pr8 pr10 pr11 pr12 pr13 pr17 pr19 pr22 pr24) ) $ spflist:='(((s11 r1 m v va) i (minus (cons v va))) ((s1 r1 m v va) i (plus (times (dmas m 2) (cons r1 v) (cons r1 va)) ( minus (cons v va)))) ((s0 r1 m) i 1) ((sf l r1 m) i (plus ( minus (g l r1)) (minus m)))) $ singlist:='(pr1 pr2 pr3 pr4 pr5 pr6 pr7 pr8 pr9 pr10 pr11 pr12 pr13 pr14 pr15 pr16 pr17 pr18 pr19 pr20 pr21 pr22 pr23 pr24 pr25 pr26 pr27 pr28 pr29 gs w z p gsg h0 qb qs qd qt qc qu tau mu ef nut numu nue) $ wavefunction:='(u ub) $ hpsumrange:='((pa3 ef mu tau nue numu nut qd qs qb qu qc qt) (pa2 qt qc qu qb qs qd tau mu ef) (pa5 nut numu nue qt qc qu ) (pa4 tau mu ef qb qs qd) (pa6 qu qc qt) (pa1 z p)) $ feynmanrulelist:='(((183 r1 r2 vf v vd vc vb va) 0 ((times f240 i) (times (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r2 vd) (eps r1 r2 v vf))) nil nil) ((182 r1 r2 vf v vd vc vb va) 0 ((times f240 i) (minus (times (cons r2 va) (cons r2 vb ) (cons r2 vc) (cons r2 vd) (eps r1 r2 v vf)))) nil nil) (( 181 r2 r1 vd vc vb va v vf) 0 (1 (plus (times (cons r1 vf) ( cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r2 vd) f239) (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) (cons vd vf) f238))) nil nil) ((180 r2 r1 vd vc vb va v vf) 0 (1 (plus (times (cons r1 vf) (cons r2 v) (cons r2 va ) (cons r2 vb) (cons r2 vc) (cons r2 vd) f239) (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) (cons vd vf) f238))) nil nil) ((179 r1 r2 vf v vd vc vb va) 0 ((times f237 i) (times (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r2 vd) (eps r1 r2 v vf))) nil nil) ((178 r1 r2 vf v vd vc vb va) 0 ((times f237 i) (minus (times (cons r2 va) (cons r2 vb ) (cons r2 vc) (cons r2 vd) (eps r1 r2 v vf)))) nil nil) (( 177 r2 r1 vd v vc vb va vf) 0 (1 (plus (minus (times (cons r1 vf) (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd) f236)) (minus (times (cons r2 va) (cons r2 vb) (cons vc vf) (eps r1 r2 v vd) f235)))) nil nil) ((176 r2 r1 vd v vc vb va vf) 0 (1 (plus (minus (times (cons r1 vf) (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd) f236)) (minus ( times (cons r2 va) (cons r2 vb) (cons vc vf) (eps r1 r2 v vd ) f235)))) nil nil) ((175 r2 r1 vd v vc vb va vf) 0 (1 (plus (minus (times (cons r1 vf) (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd) f234)) (minus (times (cons r2 va) ( cons r2 vb) (cons vc vf) (eps r1 r2 v vd) f233)))) nil nil) ((174 r2 r1 vd v vc vb va vf) 0 (1 (plus (minus (times (cons r1 vf) (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd) f234)) (minus (times (cons r2 va) (cons r2 vb) (cons vc vf) (eps r1 r2 v vd) f233)))) nil nil) ((173 r2 r1 vd v vc vb va vf) 0 (1 (plus (minus (times (cons r1 vf) (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd) f232)) (minus ( times (cons r2 va) (cons r2 vb) (cons vc vf) (eps r1 r2 v vd ) f231)))) nil nil) ((172 r2 r1 vd v vc vb va vf) 0 (1 (plus (minus (times (cons r1 vf) (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd) f232)) (minus (times (cons r2 va) ( cons r2 vb) (cons vc vf) (eps r1 r2 v vd) f231)))) nil nil) ((171 r2 r1 vd v vc vb va vf) 0 (1 (plus (minus (times (cons r1 vf) (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd) f230)) (minus (times (cons r2 va) (cons r2 vb) (cons vc vf) (eps r1 r2 v vd) f229)))) nil nil) ((170 r2 r1 vd v vc vb va vf) 0 (1 (plus (minus (times (cons r1 vf) (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd) f230)) (minus ( times (cons r2 va) (cons r2 vb) (cons vc vf) (eps r1 r2 v vd ) f229)))) nil nil) ((169 r2 r1 vd v vc vb va vf) 0 (1 (plus (minus (times (cons r1 vf) (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd) f228)) (minus (times (cons r2 va) ( cons r2 vb) (cons vc vf) (eps r1 r2 v vd) f227)))) nil nil) ((168 r2 r1 vd v vc vb va vf) 0 (1 (plus (minus (times (cons r1 vf) (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd) f228)) (minus (times (cons r2 va) (cons r2 vb) (cons vc vf) (eps r1 r2 v vd) f227)))) nil nil) ((167 r2 r1 vd v vc vb va vf) 0 (1 (plus (minus (times (cons r1 vf) (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd) f226)) (minus ( times (cons r2 va) (cons r2 vb) (cons vc vf) (eps r1 r2 v vd ) f225)))) nil nil) ((166 r2 r1 vd v vc vb va vf) 0 (1 (plus (minus (times (cons r1 vf) (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd) f226)) (minus (times (cons r2 va) ( cons r2 vb) (cons vc vf) (eps r1 r2 v vd) f225)))) nil nil) ((165 r3 r2 r1 vc vb va v vf vd) 0 (1 (plus (times (cons r1 vd) (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f224) (times (cons r1 vd) (cons r2 v) (cons r2 va) ( cons r2 vb) (cons vc vf) f223) (minus (times (cons r1 vf) ( cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r3 vd) f224)) (times (cons r1 vf) (cons r2 v) (cons r2 va) ( cons r2 vb) (cons vc vd) f221) (minus (times (cons r1 vf) ( cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) f223)) ( times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) ( cons vd vf) f222) (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vd) (cons vc vf) f221) (times (cons r2 v) (cons r2 va) (cons vb vd) (cons vc vf) f220) (times (cons r2 v) ( cons r2 va) (cons vb vf) (cons vc vd) f220))) nil nil) ((164 r2 r3 r1 vf v vd vc vb va) 0 ((quotient 1 2) (plus (times ( cons r1 r1) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f219) (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vf) (cons vc vd) f217) (times 2 (cons r1 vf) (cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) f219) (times 2 (cons r1 vf) (cons r3 v) (cons r3 va) ( cons r3 vb) (cons vc vd) f217) (minus (times (cons r2 r2) ( cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f219)) (minus (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vf) (cons vc vd) f217)) (times 2 (cons r3 v) ( cons r3 va) (cons r3 vb) (cons r3 vc) (cons vd vf) f218) ( minus (times 2 (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f218)))) nil nil) ((163 r3 r2 r1 vc vb va v vf vd) 0 (1 (plus (times (cons r1 vd) (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f216) (times ( cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vf) f215) (minus (times (cons r1 vf) (cons r2 v) (cons r2 va ) (cons r2 vb) (cons r2 vc) (cons r3 vd) f216)) (times (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) f213) (minus (times (cons r1 vf) (cons r2 v) (cons r2 va) ( cons r2 vb) (cons vc vd) f215)) (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) (cons vd vf) f214) (times ( cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vd) (cons vc vf) f213) (times (cons r2 v) (cons r2 va) (cons vb vd) (cons vc vf) f212) (times (cons r2 v) (cons r2 va) (cons vb vf) ( cons vc vd) f212))) nil nil) ((162 r2 r3 r1 vf v vd vc vb va ) 0 ((quotient 1 2) (plus (times (cons r1 r1) (cons r3 va) ( cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f211) ( times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vf) ( cons vc vd) f209) (times 2 (cons r1 vf) (cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) f211) (times 2 ( cons r1 vf) (cons r3 v) (cons r3 va) (cons r3 vb) (cons vc vd) f209) (minus (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f211)) (minus ( times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vf) ( cons vc vd) f209)) (times 2 (cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons vd vf) f210) (minus (times 2 (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f210)))) nil nil) ((161 r2 r3 r1 vf v vd vc vb va) 0 (( quotient i 2) (plus (minus (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f208)) ( minus (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vf) (cons vc vd) f206)) (minus (times 2 (cons r1 vf) (cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) f208)) (minus (times 2 (cons r1 vf) (cons r3 v) (cons r3 va) (cons r3 vb) (cons vc vd) f206)) (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f208) (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vf) (cons vc vd) f206) (minus (times 2 (cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons vd vf) f207)) (times 2 ( cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f207))) nil nil) ((160 r2 r3 r1 vf v vd vc vb va) 0 (( quotient i 2) (plus (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f208) (times ( cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vf) (cons vc vd) f206) (times 2 (cons r1 vf) (cons r3 v) (cons r3 va) ( cons r3 vb) (cons r3 vc) (cons r3 vd) f208) (times 2 (cons r1 vf) (cons r3 v) (cons r3 va) (cons r3 vb) (cons vc vd) f206) (minus (times (cons r2 r2) (cons r3 va) (cons r3 vb) ( cons r3 vc) (cons r3 vd) (cons v vf) f208)) (minus (times ( cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vf) (cons vc vd) f206)) (times 2 (cons r3 v) (cons r3 va) (cons r3 vb) ( cons r3 vc) (cons vd vf) f207) (minus (times 2 (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f207)))) nil nil) ((159 r2 r3 r1 vf v vd vc vb va) 0 ((quotient i 2) (plus (minus (times (cons r1 r1) (cons r3 va) (cons r3 vb) ( cons r3 vc) (cons r3 vd) (cons v vf) f205)) (minus (times ( cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vf) (cons vc vd) f203)) (minus (times 2 (cons r1 vf) (cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) f205)) (minus ( times 2 (cons r1 vf) (cons r3 v) (cons r3 va) (cons r3 vb) ( cons vc vd) f203)) (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f205) (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vf) (cons vc vd) f203) (minus (times 2 (cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons vd vf) f204)) (times 2 (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f204))) nil nil ) ((158 r2 r3 r1 vf v vd vc vb va) 0 ((quotient i 2) (plus ( times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons r3 vc) ( cons r3 vd) (cons v vf) f205) (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vf) (cons vc vd) f203) (times 2 ( cons r1 vf) (cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) f205) (times 2 (cons r1 vf) (cons r3 v) ( cons r3 va) (cons r3 vb) (cons vc vd) f203) (minus (times ( cons r2 r2) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f205)) (minus (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vf) (cons vc vd) f203)) (times 2 ( cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons vd vf) f204) (minus (times 2 (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f204)))) nil nil) ((157 r2 r1 vc vb va v vf vd) 0 (i (plus (minus (times (cons r1 vd) ( cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f202)) (minus (times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vf) f201)) (minus (times (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) f199) ) (minus (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) (cons vd vf) f200)) (minus (times (cons r2 v) (cons r2 va) (cons vb vd) (cons vc vf) f198)))) nil nil) ((156 r2 r1 vc vb va v vf vd) 0 (i (plus (times (cons r1 vd) (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f202) (times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) ( cons vc vf) f201) (times (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) f199) (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) (cons vd vf) f200) (times ( cons r2 v) (cons r2 va) (cons vb vd) (cons vc vf) f198))) nil nil) ((155 r1 r2 vd v vc vb va) 0 ((times f197 i) (minus (times (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd)))) nil nil) ((154 r1 r2 vd v vc vb va) 0 ((times f197 i) (minus (times (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd)))) nil nil) ((153 r1 r2 vd v vc vb va) 0 ((times f196 i) (minus (times (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd)))) nil nil) ((152 r1 r2 vd v vc vb va) 0 (( times f196 i) (minus (times (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd)))) nil nil) ((151 r1 r2 vd v vc vb va) 0 ((times f195 i) (minus (times (cons r2 va) (cons r2 vb ) (cons r2 vc) (eps r1 r2 v vd)))) nil nil) ((150 r1 r2 vd v vc vb va) 0 ((times f195 i) (minus (times (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd)))) nil nil) ((149 r1 r2 vd v vc vb va) 0 (f194 (times (cons r2 va) (cons r2 vb) ( cons r2 vc) (eps r1 r2 v vd))) nil nil) ((148 r1 r2 vd v vc vb va) 0 (f194 (minus (times (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd)))) nil nil) ((147 r1 r2 vd v vc vb va) 0 (f193 (times (cons r2 va) (cons r2 vb) (cons r2 vc) ( eps r1 r2 v vd))) nil nil) ((146 r1 r2 vd v vc vb va) 0 ( f193 (minus (times (cons r2 va) (cons r2 vb) (cons r2 vc) ( eps r1 r2 v vd)))) nil nil) ((145 r2 r1 vc v vb va vd) 0 (i (plus (minus (times (cons r1 vd) (cons r2 va) (cons r2 vb) ( eps r1 r2 v vc) f192)) (minus (times (cons r2 va) (cons vb vd) (eps r1 r2 v vc) f191)))) nil nil) ((144 r2 r1 vc v vb va vd) 0 (i (plus (minus (times (cons r1 vd) (cons r2 va) ( cons r2 vb) (eps r1 r2 v vc) f192)) (minus (times (cons r2 va) (cons vb vd) (eps r1 r2 v vc) f191)))) nil nil) ((143 r2 r1 vc v vb va vd) 0 (i (plus (minus (times (cons r1 vd) ( cons r2 va) (cons r2 vb) (eps r1 r2 v vc) f190)) (minus ( times (cons r2 va) (cons vb vd) (eps r1 r2 v vc) f189)))) nil nil) ((142 r2 r1 vc v vb va vd) 0 (i (plus (minus (times (cons r1 vd) (cons r2 va) (cons r2 vb) (eps r1 r2 v vc) f190 )) (minus (times (cons r2 va) (cons vb vd) (eps r1 r2 v vc) f189)))) nil nil) ((141 r2 r1 vc v vb va vd) 0 (i (plus ( minus (times (cons r1 vd) (cons r2 va) (cons r2 vb) (eps r1 r2 v vc) f188)) (minus (times (cons r2 va) (cons vb vd) (eps r1 r2 v vc) f187)))) nil nil) ((140 r2 r1 vc v vb va vd) 0 ( i (plus (minus (times (cons r1 vd) (cons r2 va) (cons r2 vb) (eps r1 r2 v vc) f188)) (minus (times (cons r2 va) (cons vb vd) (eps r1 r2 v vc) f187)))) nil nil) ((139 r2 r3 r1 vd v vc vb va) 0 ((quotient 1 2) (plus (minus (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons v vd) f186)) ( minus (times (cons r1 r1) (cons r3 va) (cons v vd) (cons vb vc) f184)) (minus (times 2 (cons r1 vd) (cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) f186)) (minus (times 2 (cons r1 vd) (cons r3 v) (cons r3 va) (cons vb vc) f184)) (times ( cons r2 r2) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons v vd) f186) (times (cons r2 r2) (cons r3 va) (cons v vd) (cons vb vc) f184) (minus (times 2 (cons r3 v) (cons r3 va) (cons r3 vb) (cons vc vd) f185)) (times 2 (cons r3 va) (cons r3 vb ) (cons r3 vc) (cons v vd) f185))) nil nil) ((138 r2 r3 r1 vd v vc vb va) 0 ((quotient 1 2) (plus (times (cons r1 r1) ( cons r3 va) (cons r3 vb) (cons r3 vc) (cons v vd) f186) ( times (cons r1 r1) (cons r3 va) (cons v vd) (cons vb vc) f184) (times 2 (cons r1 vd) (cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) f186) (times 2 (cons r1 vd) (cons r3 v) (cons r3 va) (cons vb vc) f184) (minus (times (cons r2 r2) ( cons r3 va) (cons r3 vb) (cons r3 vc) (cons v vd) f186)) ( minus (times (cons r2 r2) (cons r3 va) (cons v vd) (cons vb vc) f184)) (times 2 (cons r3 v) (cons r3 va) (cons r3 vb) ( cons vc vd) f185) (minus (times 2 (cons r3 va) (cons r3 vb) (cons r3 vc) (cons v vd) f185)))) nil nil) ((137 r2 r3 r1 vd v vc vb va) 0 ((quotient 1 2) (plus (minus (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons v vd) f183) ) (minus (times (cons r1 r1) (cons r3 va) (cons v vd) (cons vb vc) f181)) (minus (times 2 (cons r1 vd) (cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) f183)) (minus (times 2 ( cons r1 vd) (cons r3 v) (cons r3 va) (cons vb vc) f181)) ( times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons r3 vc) ( cons v vd) f183) (times (cons r2 r2) (cons r3 va) (cons v vd ) (cons vb vc) f181) (minus (times 2 (cons r3 v) (cons r3 va ) (cons r3 vb) (cons vc vd) f182)) (times 2 (cons r3 va) ( cons r3 vb) (cons r3 vc) (cons v vd) f182))) nil nil) ((136 r2 r3 r1 vd v vc vb va) 0 ((quotient 1 2) (plus (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons v vd) f183) (times (cons r1 r1) (cons r3 va) (cons v vd) (cons vb vc) f181) (times 2 (cons r1 vd) (cons r3 v) (cons r3 va) ( cons r3 vb) (cons r3 vc) f183) (times 2 (cons r1 vd) (cons r3 v) (cons r3 va) (cons vb vc) f181) (minus (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons v vd) f183) ) (minus (times (cons r2 r2) (cons r3 va) (cons v vd) (cons vb vc) f181)) (times 2 (cons r3 v) (cons r3 va) (cons r3 vb) (cons vc vd) f182) (minus (times 2 (cons r3 va) (cons r3 vb) (cons r3 vc) (cons v vd) f182)))) nil nil) ((135 r2 r1 vb va v vd vc) 0 (1 (plus (minus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) f180)) (minus (times ( cons r1 vc) (cons r2 v) (cons r2 va) (cons vb vd) f179)) ( minus (times (cons r1 vd) (cons r2 v) (cons r2 va) (cons vb vc) f177)) (minus (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) f178)) (minus (times (cons r2 v) (cons va vc) (cons vb vd) f176)))) nil nil) ((134 r2 r1 vb va v vd vc ) 0 (1 (plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) ( cons r2 va) (cons r2 vb) f180) (times (cons r1 vc) (cons r2 v) (cons r2 va) (cons vb vd) f179) (times (cons r1 vd) (cons r2 v) (cons r2 va) (cons vb vc) f177) (times (cons r2 v) ( cons r2 va) (cons r2 vb) (cons vc vd) f178) (times (cons r2 v) (cons va vc) (cons vb vd) f176))) nil nil) ((133 r2 r1 va v vd vc vb) 0 (i (plus (times (cons r1 vb) (cons r1 vc) ( cons r1 vd) (cons r2 v) (cons r2 va) f175) (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons va vd) f174) (times (cons r1 vb) (cons r1 vd) (cons r2 v) (cons va vc) f172) (times ( cons r1 vb) (cons r2 v) (cons r2 va) (cons vc vd) f173) ( times (cons r1 vb) (cons v vc) (cons va vd) f171) (times ( cons r1 vd) (cons v vb) (cons va vc) f169) (times (cons r2 v ) (cons va vb) (cons vc vd) f170))) nil nil) ((132 r2 r1 va v vd vc vb) 0 (i (plus (times (cons r1 vb) (cons r1 vc) ( cons r1 vd) (cons r2 v) (cons r2 va) f175) (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons va vd) f174) (times (cons r1 vb) (cons r1 vd) (cons r2 v) (cons va vc) f172) (times ( cons r1 vb) (cons r2 v) (cons r2 va) (cons vc vd) f173) ( times (cons r1 vb) (cons v vc) (cons va vd) f171) (times ( cons r1 vd) (cons v vb) (cons va vc) f169) (times (cons r2 v ) (cons va vb) (cons vc vd) f170))) nil nil) ((131 r3 r2 r1 va v vd vc vb) 0 (1 (plus (times (cons r1 vb) (cons r1 vc) ( cons r1 vd) (cons r2 v) (cons r2 va) f168) (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons va vd) f167) (times (cons r1 vb) (cons r1 vd) (cons r2 v) (cons va vc) f165) (times ( cons r1 vb) (cons r2 v) (cons r2 va) (cons vc vd) f166) ( times (cons r1 vb) (cons v vc) (cons va vd) f164) (minus ( times (cons r1 vd) (cons r2 v) (cons r3 va) (cons r3 vb) ( cons r3 vc) f168)) (minus (times (cons r1 vd) (cons r2 v) ( cons r3 vb) (cons va vc) f165)) (times (cons r1 vd) (cons v vb) (cons va vc) f162) (minus (times (cons r2 v) (cons r3 va ) (cons r3 vb) (cons vc vd) f167)) (minus (times (cons r2 v) (cons r3 vb) (cons r3 vc) (cons va vd) f166)) (times (cons r2 v) (cons va vb) (cons vc vd) f163) (minus (times (cons r2 v) (cons va vb) (cons vc vd) f164)) (times (cons r3 vb) ( cons v vc) (cons va vd) f163))) nil nil) ((130 r2 vc vb va v ) 0 (f161 (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc))) nil nil) ((129 r2 vc vb va v) 0 (f160 (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc))) nil nil) (( 128 r1 r2 vc v vb va) 0 ((times f159 i) (times (cons r2 va) (cons r2 vb) (eps r1 r2 v vc))) nil nil) ((127 r1 r2 vc v vb va) 0 ((times f159 i) (minus (times (cons r2 va) (cons r2 vb ) (eps r1 r2 v vc)))) nil nil) ((126 r1 r2 vc v vb va) 0 (( times f158 i) (times (cons r2 va) (cons r2 vb) (eps r1 r2 v vc))) nil nil) ((125 r1 r2 vc v vb va) 0 ((times f158 i) ( minus (times (cons r2 va) (cons r2 vb) (eps r1 r2 v vc)))) nil nil) ((124 r2 r1 vb v va vc) 0 (1 (plus (minus (times ( cons r1 vc) (cons r2 va) (eps r1 r2 v vb) f157)) (minus ( times (cons va vc) (eps r1 r2 v vb) f156)))) nil nil) ((123 r2 r1 vb v va vc) 0 (1 (plus (minus (times (cons r1 vc) ( cons r2 va) (eps r1 r2 v vb) f157)) (minus (times (cons va vc) (eps r1 r2 v vb) f156)))) nil nil) ((122 r2 r1 vb v va vc) 0 (1 (plus (minus (times (cons r1 vc) (cons r2 va) (eps r1 r2 v vb) f155)) (minus (times (cons va vc) (eps r1 r2 v vb) f154)))) nil nil) ((121 r2 r1 vb v va vc) 0 (1 (plus ( minus (times (cons r1 vc) (cons r2 va) (eps r1 r2 v vb) f155 )) (minus (times (cons va vc) (eps r1 r2 v vb) f154)))) nil nil) ((120 r2 r1 vb v va vc) 0 (1 (plus (minus (times (cons r1 vc) (cons r2 va) (eps r1 r2 v vb) f153)) (minus (times ( cons va vc) (eps r1 r2 v vb) f152)))) nil nil) ((119 r2 r1 vb v va vc) 0 (1 (plus (minus (times (cons r1 vc) (cons r2 va) (eps r1 r2 v vb) f153)) (minus (times (cons va vc) (eps r1 r2 v vb) f152)))) nil nil) ((118 r2 r1 vb v va vc) 0 (1 ( plus (minus (times (cons r1 vc) (cons r2 va) (eps r1 r2 v vb ) f151)) (minus (times (cons va vc) (eps r1 r2 v vb) f150))) ) nil nil) ((117 r2 r1 vb v va vc) 0 (1 (plus (minus (times (cons r1 vc) (cons r2 va) (eps r1 r2 v vb) f151)) (minus ( times (cons va vc) (eps r1 r2 v vb) f150)))) nil nil) ((116 r2 r1 vb v va vc) 0 (1 (plus (minus (times (cons r1 vc) ( cons r2 va) (eps r1 r2 v vb) f149)) (minus (times (cons va vc) (eps r1 r2 v vb) f148)))) nil nil) ((115 r2 r1 vb v va vc) 0 (1 (plus (minus (times (cons r1 vc) (cons r2 va) (eps r1 r2 v vb) f149)) (minus (times (cons va vc) (eps r1 r2 v vb) f148)))) nil nil) ((114 r2 r3 r1 vc v vb va) 0 (( quotient 1 2) (plus (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vc) f147) (times (cons r1 r1) (cons v vc) ( cons va vb) f145) (times 2 (cons r1 vc) (cons r3 v) (cons r3 va) (cons r3 vb) f147) (times 2 (cons r1 vc) (cons r3 v) ( cons va vb) f145) (minus (times (cons r2 r2) (cons r3 va) ( cons r3 vb) (cons v vc) f147)) (minus (times (cons r2 r2) ( cons v vc) (cons va vb) f145)) (times 2 (cons r3 v) (cons r3 va) (cons vb vc) f146) (minus (times 2 (cons r3 va) (cons r3 vb) (cons v vc) f146)))) nil nil) ((113 r2 r3 r1 vc v vb va) 0 ((quotient 1 2) (plus (times (cons r1 r1) (cons r3 va) ( cons r3 vb) (cons v vc) f144) (times (cons r1 r1) (cons v vc ) (cons va vb) f142) (times 2 (cons r1 vc) (cons r3 v) (cons r3 va) (cons r3 vb) f144) (times 2 (cons r1 vc) (cons r3 v) (cons va vb) f142) (minus (times (cons r2 r2) (cons r3 va) ( cons r3 vb) (cons v vc) f144)) (minus (times (cons r2 r2) ( cons v vc) (cons va vb) f142)) (times 2 (cons r3 v) (cons r3 va) (cons vb vc) f143) (minus (times 2 (cons r3 va) (cons r3 vb) (cons v vc) f143)))) nil nil) ((112 r2 r3 r1 vc v vb va) 0 ((quotient 1 2) (plus (times (cons r1 r1) (cons r3 va) ( cons r3 vb) (cons v vc) f141) (times (cons r1 r1) (cons v vc ) (cons va vb) f139) (times 2 (cons r1 vc) (cons r3 v) (cons r3 va) (cons r3 vb) f141) (times 2 (cons r1 vc) (cons r3 v) (cons va vb) f139) (minus (times (cons r2 r2) (cons r3 va) ( cons r3 vb) (cons v vc) f141)) (minus (times (cons r2 r2) ( cons v vc) (cons va vb) f139)) (times 2 (cons r3 v) (cons r3 va) (cons vb vc) f140) (minus (times 2 (cons r3 va) (cons r3 vb) (cons v vc) f140)))) nil nil) ((111 r2 r3 r1 vc v vb va) 0 ((quotient 1 2) (plus (times (cons r1 r1) (cons r3 va) ( cons r3 vb) (cons v vc) f138) (times (cons r1 r1) (cons v vc ) (cons va vb) f136) (times 2 (cons r1 vc) (cons r3 v) (cons r3 va) (cons r3 vb) f138) (times 2 (cons r1 vc) (cons r3 v) (cons va vb) f136) (minus (times (cons r2 r2) (cons r3 va) ( cons r3 vb) (cons v vc) f138)) (minus (times (cons r2 r2) ( cons v vc) (cons va vb) f136)) (times 2 (cons r3 v) (cons r3 va) (cons vb vc) f137) (minus (times 2 (cons r3 va) (cons r3 vb) (cons v vc) f137)))) nil nil) ((110 r2 r3 r1 vc v vb va) 0 ((quotient 1 2) (plus (times (cons r1 r1) (cons r3 va) ( cons r3 vb) (cons v vc) f135) (times (cons r1 r1) (cons v vc ) (cons va vb) f133) (times 2 (cons r1 vc) (cons r3 v) (cons r3 va) (cons r3 vb) f135) (times 2 (cons r1 vc) (cons r3 v) (cons va vb) f133) (minus (times (cons r2 r2) (cons r3 va) ( cons r3 vb) (cons v vc) f135)) (minus (times (cons r2 r2) ( cons v vc) (cons va vb) f133)) (times 2 (cons r3 v) (cons r3 va) (cons vb vc) f134) (minus (times 2 (cons r3 va) (cons r3 vb) (cons v vc) f134)))) nil nil) ((109 r3 r2 r1 va v vc vb) 0 (1 (plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) ( cons r2 va) f132) (times (cons r1 vb) (cons r2 v) (cons va vc) f131) (minus (times (cons r1 vc) (cons r2 v) (cons r2 va ) (cons r3 vb) f132)) (times (cons r1 vc) (cons r2 v) (cons va vb) f129) (minus (times (cons r1 vc) (cons r2 v) (cons va vb) f131)) (times (cons r2 v) (cons r2 va) (cons vb vc) f130 ) (times (cons r2 v) (cons r3 vb) (cons va vc) f129) (times (cons v vb) (cons va vc) f128) (times (cons v vc) (cons va vb) f128))) nil nil) ((108 r2 r3 r1 vc v vb va) 0 ((quotient 1 2) (plus (times (cons r1 r1) (cons r3 va) (cons r3 vb) ( cons v vc) f127) (times (cons r1 r1) (cons v vc) (cons va vb ) f125) (times 2 (cons r1 vc) (cons r3 v) (cons r3 va) (cons r3 vb) f127) (times 2 (cons r1 vc) (cons r3 v) (cons va vb) f125) (minus (times (cons r2 r2) (cons r3 va) (cons r3 vb) ( cons v vc) f127)) (minus (times (cons r2 r2) (cons v vc) ( cons va vb) f125)) (times 2 (cons r3 v) (cons r3 va) (cons vb vc) f126) (minus (times 2 (cons r3 va) (cons r3 vb) (cons v vc) f126)))) nil nil) ((107 r3 r2 r1 va v vc vb) 0 (1 ( plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f124) (times (cons r1 vb) (cons r2 v) (cons va vc) f123) (minus (times (cons r1 vc) (cons r2 v) (cons r2 va) (cons r3 vb) f124)) (times (cons r1 vc) (cons r2 v) (cons va vb) f121 ) (minus (times (cons r1 vc) (cons r2 v) (cons va vb) f123)) (times (cons r2 v) (cons r2 va) (cons vb vc) f122) (times ( cons r2 v) (cons r3 vb) (cons va vc) f121) (times (cons v vb ) (cons va vc) f120) (times (cons v vc) (cons va vb) f120))) nil nil) ((106 r2 r3 r1 vc v vb va) 0 ((quotient 1 2) (plus (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vc) f119) (times (cons r1 r1) (cons v vc) (cons va vb) f117) ( times 2 (cons r1 vc) (cons r3 v) (cons r3 va) (cons r3 vb) f119) (times 2 (cons r1 vc) (cons r3 v) (cons va vb) f117) ( minus (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vc) f119)) (minus (times (cons r2 r2) (cons v vc) (cons va vb) f117)) (times 2 (cons r3 v) (cons r3 va) (cons vb vc) f118) (minus (times 2 (cons r3 va) (cons r3 vb) (cons v vc) f118)))) nil nil) ((105 r3 r2 r1 va v vc vb) 0 (1 (plus ( times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f116) (times (cons r1 vb) (cons r2 v) (cons va vc) f115) ( minus (times (cons r1 vc) (cons r2 v) (cons r2 va) (cons r3 vb) f116)) (times (cons r1 vc) (cons r2 v) (cons va vb) f113 ) (minus (times (cons r1 vc) (cons r2 v) (cons va vb) f115)) (times (cons r2 v) (cons r2 va) (cons vb vc) f114) (times ( cons r2 v) (cons r3 vb) (cons va vc) f113) (times (cons v vb ) (cons va vc) f112) (times (cons v vc) (cons va vb) f112))) nil nil) ((104 r2 r3 r1 vc v vb va) 0 ((quotient 1 2) (plus (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vc) f111) (times (cons r1 r1) (cons v vc) (cons va vb) f109) ( times 2 (cons r1 vc) (cons r3 v) (cons r3 va) (cons r3 vb) f111) (times 2 (cons r1 vc) (cons r3 v) (cons va vb) f109) ( minus (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vc) f111)) (minus (times (cons r2 r2) (cons v vc) (cons va vb) f109)) (times 2 (cons r3 v) (cons r3 va) (cons vb vc) f110) (minus (times 2 (cons r3 va) (cons r3 vb) (cons v vc) f110)))) nil nil) ((103 r3 r2 r1 va v vc vb) 0 (1 (plus ( times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f108) (times (cons r1 vb) (cons r2 v) (cons va vc) f107) ( minus (times (cons r1 vc) (cons r2 v) (cons r2 va) (cons r3 vb) f108)) (times (cons r1 vc) (cons r2 v) (cons va vb) f105 ) (minus (times (cons r1 vc) (cons r2 v) (cons va vb) f107)) (times (cons r2 v) (cons r2 va) (cons vb vc) f106) (times ( cons r2 v) (cons r3 vb) (cons va vc) f105) (times (cons v vb ) (cons va vc) f104) (times (cons v vc) (cons va vb) f104))) nil nil) ((102 r2 r3 r1 vc v vb va) 0 ((quotient 1 2) (plus (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vc) f103) (times (cons r1 r1) (cons v vc) (cons va vb) f101) ( times 2 (cons r1 vc) (cons r3 v) (cons r3 va) (cons r3 vb) f103) (times 2 (cons r1 vc) (cons r3 v) (cons va vb) f101) ( minus (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vc) f103)) (minus (times (cons r2 r2) (cons v vc) (cons va vb) f101)) (times 2 (cons r3 v) (cons r3 va) (cons vb vc) f102) (minus (times 2 (cons r3 va) (cons r3 vb) (cons v vc) f102)))) nil nil) ((101 r3 r2 r1 va v vc vb) 0 (1 (plus ( times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f100) (times (cons r1 vb) (cons r2 v) (cons va vc) f99) ( minus (times (cons r1 vc) (cons r2 v) (cons r2 va) (cons r3 vb) f100)) (times (cons r1 vc) (cons r2 v) (cons va vb) f97) (minus (times (cons r1 vc) (cons r2 v) (cons va vb) f99)) ( times (cons r2 v) (cons r2 va) (cons vb vc) f98) (times ( cons r2 v) (cons r3 vb) (cons va vc) f97) (times (cons v vb) (cons va vc) f96) (times (cons v vc) (cons va vb) f96))) nil nil) ((100 r2 r3 r1 vc v vb va) 0 ((quotient 1 2) (plus ( times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vc) f95 ) (times (cons r1 r1) (cons v vc) (cons va vb) f93) (times 2 (cons r1 vc) (cons r3 v) (cons r3 va) (cons r3 vb) f95) ( times 2 (cons r1 vc) (cons r3 v) (cons va vb) f93) (minus ( times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vc) f95 )) (minus (times (cons r2 r2) (cons v vc) (cons va vb) f93)) (times 2 (cons r3 v) (cons r3 va) (cons vb vc) f94) (minus ( times 2 (cons r3 va) (cons r3 vb) (cons v vc) f94)))) nil nil) ((99 r3 r2 r1 va v vc vb) 0 (1 (plus (times (cons r1 vb ) (cons r1 vc) (cons r2 v) (cons r2 va) f92) (times (cons r1 vb) (cons r2 v) (cons va vc) f91) (minus (times (cons r1 vc) (cons r2 v) (cons r2 va) (cons r3 vb) f92)) (times (cons r1 vc) (cons r2 v) (cons va vb) f89) (minus (times (cons r1 vc) (cons r2 v) (cons va vb) f91)) (times (cons r2 v) (cons r2 va) (cons vb vc) f90) (times (cons r2 v) (cons r3 vb) (cons va vc) f89) (times (cons v vb) (cons va vc) f88) (times ( cons v vc) (cons va vb) f88))) nil nil) ((98 r2 r3 r1 vc v vb va) 0 ((quotient 1 2) (plus (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vc) f87) (times (cons r1 r1) (cons v vc) (cons va vb) f85) (times 2 (cons r1 vc) (cons r3 v) ( cons r3 va) (cons r3 vb) f87) (times 2 (cons r1 vc) (cons r3 v) (cons va vb) f85) (minus (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vc) f87)) (minus (times (cons r2 r2) ( cons v vc) (cons va vb) f85)) (times 2 (cons r3 v) (cons r3 va) (cons vb vc) f86) (minus (times 2 (cons r3 va) (cons r3 vb) (cons v vc) f86)))) nil nil) ((97 r3 r2 r1 va v vc vb) 0 (1 (plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f84) (times (cons r1 vb) (cons r2 v) (cons va vc) f83 ) (minus (times (cons r1 vc) (cons r2 v) (cons r2 va) (cons r3 vb) f84)) (times (cons r1 vc) (cons r2 v) (cons va vb) f81) (minus (times (cons r1 vc) (cons r2 v) (cons va vb) f83 )) (times (cons r2 v) (cons r2 va) (cons vb vc) f82) (times (cons r2 v) (cons r3 vb) (cons va vc) f81) (times (cons v vb ) (cons va vc) f80) (times (cons v vc) (cons va vb) f80))) nil nil) ((96 r2 r3 r1 vc v vb va) 0 ((quotient 1 2) (plus ( times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vc) f79 ) (times (cons r1 r1) (cons v vc) (cons va vb) f77) (times 2 (cons r1 vc) (cons r3 v) (cons r3 va) (cons r3 vb) f79) ( times 2 (cons r1 vc) (cons r3 v) (cons va vb) f77) (minus ( times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vc) f79 )) (minus (times (cons r2 r2) (cons v vc) (cons va vb) f77)) (times 2 (cons r3 v) (cons r3 va) (cons vb vc) f78) (minus ( times 2 (cons r3 va) (cons r3 vb) (cons v vc) f78)))) nil nil) ((95 r2 r3 r1 vc v vb va) 0 ((quotient i 2) (plus ( minus (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vc) f76)) (minus (times (cons r1 r1) (cons v vc) (cons va vb ) f74)) (minus (times 2 (cons r1 vc) (cons r3 v) (cons r3 va ) (cons r3 vb) f76)) (minus (times 2 (cons r1 vc) (cons r3 v ) (cons va vb) f74)) (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vc) f76) (times (cons r2 r2) (cons v vc) ( cons va vb) f74) (minus (times 2 (cons r3 v) (cons r3 va) ( cons vb vc) f75)) (times 2 (cons r3 va) (cons r3 vb) (cons v vc) f75))) nil nil) ((94 r2 r3 r1 vc v vb va) 0 ((quotient i 2) (plus (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vc) f76) (times (cons r1 r1) (cons v vc) (cons va vb) f74) (times 2 (cons r1 vc) (cons r3 v) (cons r3 va) (cons r3 vb) f76) (times 2 (cons r1 vc) (cons r3 v) (cons va vb) f74) ( minus (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vc) f76)) (minus (times (cons r2 r2) (cons v vc) (cons va vb ) f74)) (times 2 (cons r3 v) (cons r3 va) (cons vb vc) f75) (minus (times 2 (cons r3 va) (cons r3 vb) (cons v vc) f75))) ) nil nil) ((93 r2 r3 r1 vc v vb va) 0 ((quotient i 2) (plus (minus (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vc) f73)) (minus (times (cons r1 r1) (cons v vc) (cons va vb ) f71)) (minus (times 2 (cons r1 vc) (cons r3 v) (cons r3 va ) (cons r3 vb) f73)) (minus (times 2 (cons r1 vc) (cons r3 v ) (cons va vb) f71)) (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vc) f73) (times (cons r2 r2) (cons v vc) ( cons va vb) f71) (minus (times 2 (cons r3 v) (cons r3 va) ( cons vb vc) f72)) (times 2 (cons r3 va) (cons r3 vb) (cons v vc) f72))) nil nil) ((92 r2 r3 r1 vc v vb va) 0 ((quotient i 2) (plus (times (cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vc) f73) (times (cons r1 r1) (cons v vc) (cons va vb) f71) (times 2 (cons r1 vc) (cons r3 v) (cons r3 va) (cons r3 vb) f73) (times 2 (cons r1 vc) (cons r3 v) (cons va vb) f71) ( minus (times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons v vc) f73)) (minus (times (cons r2 r2) (cons v vc) (cons va vb ) f71)) (times 2 (cons r3 v) (cons r3 va) (cons vb vc) f72) (minus (times 2 (cons r3 va) (cons r3 vb) (cons v vc) f72))) ) nil nil) ((91 r2 r1 va v vc vb) 0 (i (plus (minus (times ( cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f70)) ( minus (times (cons r1 vb) (cons r2 v) (cons va vc) f69)) ( minus (times (cons r1 vc) (cons r2 v) (cons va vb) f67)) ( minus (times (cons r2 v) (cons r2 va) (cons vb vc) f68)) ( minus (times (cons v vb) (cons va vc) f66)))) nil nil) ((90 r2 r1 va v vc vb) 0 (i (plus (times (cons r1 vb) (cons r1 vc ) (cons r2 v) (cons r2 va) f70) (times (cons r1 vb) (cons r2 v) (cons va vc) f69) (times (cons r1 vc) (cons r2 v) (cons va vb) f67) (times (cons r2 v) (cons r2 va) (cons vb vc) f68 ) (times (cons v vb) (cons va vc) f66))) nil nil) ((89 r1 r2 vb v va) 0 ((times f65 i) (minus (times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((88 r1 r2 vb v va) 0 ((times f65 i) ( minus (times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((87 r1 r2 vb v va) 0 ((times f64 i) (minus (times (cons r2 va) ( eps r1 r2 v vb)))) nil nil) ((86 r1 r2 vb v va) 0 ((times f64 i) (minus (times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((85 r1 r2 vb v va) 0 ((times f63 i) (minus (times ( cons r2 va) (eps r1 r2 v vb)))) nil nil) ((84 r1 r2 vb v va) 0 ((times f63 i) (minus (times (cons r2 va) (eps r1 r2 v vb) ))) nil nil) ((83 r1 r2 vb v va) 0 ((times f62 i) (minus ( times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((82 r1 r2 vb v va) 0 ((times f62 i) (minus (times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((81 r1 r2 vb v va) 0 ((times f61 i) ( minus (times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((80 r1 r2 vb v va) 0 ((times f61 i) (minus (times (cons r2 va) ( eps r1 r2 v vb)))) nil nil) ((79 r1 r2 vb v va) 0 ((times f60 i) (minus (times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((78 r1 r2 vb v va) 0 ((times f60 i) (minus (times ( cons r2 va) (eps r1 r2 v vb)))) nil nil) ((77 r1 r2 vb v va) 0 ((times f59 i) (minus (times (cons r2 va) (eps r1 r2 v vb) ))) nil nil) ((76 r1 r2 vb v va) 0 ((times f59 i) (minus ( times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((75 r1 r2 vb v va) 0 ((times f58 i) (minus (times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((74 r1 r2 vb v va) 0 ((times f58 i) ( minus (times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((73 r1 r2 vb v va) 0 ((times f57 i) (minus (times (cons r2 va) ( eps r1 r2 v vb)))) nil nil) ((72 r1 r2 vb v va) 0 ((times f57 i) (minus (times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((71 r1 r2 vb v va) 0 ((times f56 i) (minus (times ( cons r2 va) (eps r1 r2 v vb)))) nil nil) ((70 r1 r2 vb v va) 0 ((times f56 i) (minus (times (cons r2 va) (eps r1 r2 v vb) ))) nil nil) ((69 r1 r2 vb v va) 0 ((times f55 i) (minus ( times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((68 r1 r2 vb v va) 0 ((times f55 i) (minus (times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((67 r1 r2 vb v va) 0 ((times f54 i) ( minus (times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((66 r1 r2 vb v va) 0 ((times f54 i) (minus (times (cons r2 va) ( eps r1 r2 v vb)))) nil nil) ((65 r1 r2 vb v va) 0 ((times f53 i) (minus (times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((64 r1 r2 vb v va) 0 ((times f53 i) (minus (times ( cons r2 va) (eps r1 r2 v vb)))) nil nil) ((63 r1 r2 vb v va) 0 (f52 (times (cons r2 va) (eps r1 r2 v vb))) nil nil) ((62 r1 r2 vb v va) 0 (f52 (minus (times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((61 r2 r1 va v vb) 0 (i (plus (times ( cons r1 vb) (cons r2 v) (cons r2 va) f51) (times (cons r2 v) (cons va vb) f50))) nil nil) ((60 r2 r1 va v vb) 0 (i (plus (times (cons r1 vb) (cons r2 v) (cons r2 va) f51) (times ( cons r2 v) (cons va vb) f50))) nil nil) ((59 r1 r2 vb v va) 0 (f49 (times (cons r2 va) (eps r1 r2 v vb))) nil nil) ((58 r1 r2 vb v va) 0 (f49 (minus (times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((57 r2 r3 r1 vb va v) 0 ((quotient 1 2) ( plus (times (cons r1 r1) (cons r3 v) (cons va vb) f48) ( minus (times (cons r2 r2) (cons r3 v) (cons va vb) f48)) ( minus (times 2 (cons r2 vb) (cons r3 v) (cons r3 va) f48)) ( times 2 (cons r3 v) (cons va vb) f47) (minus (times 2 (cons r3 va) (cons v vb) f47)))) nil nil) ((56 r2 r3 r1 vb va v) 0 ((quotient 1 2) (plus (minus (times (cons r1 r1) (cons r3 v) (cons va vb) f48)) (times (cons r2 r2) (cons r3 v) (cons va vb) f48) (times 2 (cons r2 vb) (cons r3 v) (cons r3 va) f48) (minus (times 2 (cons r3 v) (cons va vb) f47)) (times 2 ( cons r3 va) (cons v vb) f47))) nil nil) ((55 r3 r2 r1 v vb va) 0 (1 (plus (times (cons r1 va) (cons r1 vb) (cons r2 v) f46) (times (cons r1 va) (cons v vb) f45) (minus (times ( cons r1 vb) (cons r2 v) (cons r3 va) f46)) (times (cons r1 vb) (cons v va) f43) (minus (times (cons r1 vb) (cons v va) f45)) (times (cons r2 v) (cons va vb) f44) (times (cons r3 va) (cons v vb) f43))) nil nil) ((54 r2 r1 v vb va) 0 (1 ( plus (minus (times (cons r1 va) (cons r1 vb) (cons r2 v) f42 )) (minus (times (cons r1 va) (cons v vb) f41)) (minus ( times (cons r1 vb) (cons v va) f39)) (minus (times (cons r2 v) (cons va vb) f40)))) nil nil) ((53 r2 r1 v vb va) 0 (1 ( plus (times (cons r1 va) (cons r1 vb) (cons r2 v) f42) ( times (cons r1 va) (cons v vb) f41) (times (cons r1 vb) ( cons v va) f39) (times (cons r2 v) (cons va vb) f40))) nil nil) ((52 r2 va v) 0 (f38 (times (cons r2 v) (cons r2 va))) nil nil) ((51 r2 va v) 0 (f37 (times (cons r2 v) (cons r2 va ))) nil nil) ((50 r2 va v) 0 (f36 (times (cons r2 v) (cons r2 va))) nil nil) ((49 r2 va v) 0 (f35 (times (cons r2 v) ( cons r2 va))) nil nil) ((48 r2 va v) 0 (f34 (times (cons r2 v) (cons r2 va))) nil nil) ((47 r2 va v) 0 (f33 (times (cons r2 v) (cons r2 va))) nil nil) ((46 r2 va v) 0 (f32 (times ( cons r2 v) (cons r2 va))) nil nil) ((45 r2 va v) 0 (f31 ( times (cons r2 v) (cons r2 va))) nil nil) ((44 r2 va v) 0 ( f30 (times (cons r2 v) (cons r2 va))) nil nil) ((43 r2 va v) 0 (f29 (times (cons r2 v) (cons r2 va))) nil nil) ((42 r2 va v) 0 (f28 (times (cons r2 v) (cons r2 va))) nil nil) ((41 r2 va v) 0 (f27 (times (cons r2 v) (cons r2 va))) nil nil) ((40 r2 r1 va v) 0 ((times f26 i) (eps r1 r2 v va)) nil nil) ((39 r2 r1 va v) 0 ((times f26 i) (minus (eps r1 r2 v va))) nil nil) ((38 r2 r1 v va) 0 (1 (plus (times (cons r1 va) (cons r2 v) f25) (times (cons v va) f24))) nil nil) ((37 r2 r1 v va) 0 (1 (plus (times (cons r1 va) (cons r2 v) f23) (times ( cons v va) f22))) nil nil) ((36 r2 r1 v va) 0 (1 (plus ( times (cons r1 va) (cons r2 v) f21) (times (cons v va) f20)) ) nil nil) ((35 r2 r1 v va) 0 (1 (plus (times (cons r1 va) ( cons r2 v) f19) (times (cons v va) f18))) nil nil) ((34 r2 r1 va v) 0 ((times f17 i) (eps r1 r2 v va)) nil nil) ((33 r2 r1 va v) 0 ((times f17 i) (minus (eps r1 r2 v va))) nil nil) ((32 r3 r2 r1 va v) 0 ((quotient f16 2) (plus (times (cons r1 r1) (cons v va)) (times 2 (cons r1 va) (cons r2 v)) ( minus (times (cons r3 r3) (cons v va))))) nil nil) ((31 r3 r2 r1 va v) 0 ((quotient f15 2) (plus (times (cons r1 r1) ( cons v va)) (times 2 (cons r1 va) (cons r2 v)) (minus (times (cons r3 r3) (cons v va))))) nil nil) ((30 r3 r2 r1 va v) 0 ((quotient f14 2) (plus (times (cons r1 r1) (cons v va)) ( times 2 (cons r1 va) (cons r2 v)) (minus (times (cons r3 r3) (cons v va))))) nil nil) ((29 r3 r2 r1 va v) 0 ((quotient f13 2) (plus (times (cons r1 r1) (cons v va)) (times 2 (cons r1 va) (cons r2 v)) (minus (times (cons r3 r3) (cons v va))) )) nil nil) ((28 r3 r2 r1 va v) 0 ((quotient f12 2) (plus ( times (cons r1 r1) (cons v va)) (times 2 (cons r1 va) (cons r2 v)) (minus (times (cons r3 r3) (cons v va))))) nil nil) ( (27 r3 r2 r1 va v) 0 ((quotient f11 2) (plus (times (cons r1 r1) (cons v va)) (times 2 (cons r1 va) (cons r2 v)) (minus ( times (cons r3 r3) (cons v va))))) nil nil) ((26 r2 r1 va v) 0 ((times f10 i) (eps r1 r2 v va)) nil nil) ((25 r2 r1 va v) 0 ((times f10 i) (minus (eps r1 r2 v va))) nil nil) ((24 r2 r1 va v) 0 ((times f9 i) (eps r1 r2 v va)) nil nil) ((23 r2 r1 va v) 0 ((times f9 i) (minus (eps r1 r2 v va))) nil nil) ((22 r2 v) 0 (f8 (cons r2 v)) nil nil) ((21) 0 (f7 1) nil nil) ((20) 0 (f6 1) nil nil) ((19) 0 (f5 1) nil nil) ((18) 0 (f4 1) nil nil) ((17) 0 (f3 1) nil nil) ((16) 0 (f2 1) nil nil) ((1 v va) 0 ((quotient i (times 2 (expt (cos theta) 2)) ) (cons v va)) ((h0 z 2)) ((2))) ((2 v va) 0 ((quotient i 2) (cons v va)) ((h0 w 1)) ((1))) ((3 v va) 0 ((quotient (times i wm) (expt (cos theta) 2)) (cons v va)) ((h0 z 4)) ((4))) ( (4 v va) 0 ((times i wm) (cons v va)) ((h0 w 3)) ((3))) ((5 pa1 v va vb vc) 0 (cc5 (plus (minus (times 2 (cons v va) ( cons vb vc))) (times (cons v vb) (cons va vc)) (times (cons v vc) (cons va vb)))) ((p 6) (z 8)) ((6 (cc5 times (expt ( sin theta) 2) i)) (8 (cc5 times (expt (cos theta) 2) i)))) ( (6 v va vb vc) 0 ((times (cos theta) (sin theta) i) (plus ( minus (times 2 (cons v va) (cons vb vc))) (times (cons v vb) (cons va vc)) (times (cons v vc) (cons va vb)))) nil ((7))) ((7 v va vb vc) 0 (i (plus (times 2 (cons v va) (cons vb vc) ) (minus (times (cons v vb) (cons va vc))) (minus (times ( cons v vc) (cons va vb))))) nil ((5))) ((8 l pa1 pa3 v) 4 (2 (cc8c0 (plus (times (g l a v) cc8c2) (times (g l v) cc8c1)) (plus (times (g l a v) cc8c1) (minus (times (g l a v) cc8c2) ) (times (g l v) cc8c1) (times (g l v) cc8c2))) ((z qt 43) ( z qc 42) (z qu 41) (z qb 31) (z qs 30) (z qd 29) (z nut 23) (z numu 22) (z nue 21) (z tau 14) (z mu 13) (z ef 12) (p ef 9) (p mu 10) (p tau 11) (p qd 26) (p qs 27) (p qb 28) (p qu 38) (p qc 39) (p qt 40)) ((9 (cc8c1 . 1) (cc8c2 . 0) (cc8c0 minus (times (sin theta) i))) (10 (cc8c1 . 1) (cc8c2 . 0) ( cc8c0 minus (times (sin theta) i))) (11 (cc8c1 . 1) (cc8c2 . 0) (cc8c0 minus (times (sin theta) i))) (12 (cc8c1 plus ( times 4 (expt (sin theta) 2)) (minus 1)) (cc8c2 . -1) (cc8c0 quotient i (times 4 (cos theta)))) (13 (cc8c1 plus (times 4 (expt (sin theta) 2)) (minus 1)) (cc8c2 . -1) (cc8c0 quotient i (times 4 (cos theta)))) (14 (cc8c1 plus (times 4 (expt (sin theta) 2)) (minus 1)) (cc8c2 . -1) (cc8c0 quotient i (times 4 (cos theta)))) (21 (cc8c1 . 1) (cc8c2 . 1) (cc8c0 quotient i (times 4 (cos theta)))) (22 (cc8c1 . 1) (cc8c2 . 1) (cc8c0 quotient i (times 4 (cos theta)))) (23 ( cc8c1 . 1) (cc8c2 . 1) (cc8c0 quotient i (times 4 (cos theta )))) (26 (cc8c1 . 1) (cc8c2 . 0) (cc8c0 quotient (minus ( times (sin theta) i)) 3)) (27 (cc8c1 . 1) (cc8c2 . 0) (cc8c0 quotient (minus (times (sin theta) i)) 3)) (28 (cc8c1 . 1) ( cc8c2 . 0) (cc8c0 quotient (minus (times (sin theta) i)) 3)) (29 (cc8c1 plus (times 4 (expt (sin theta) 2)) (minus 3)) ( cc8c2 . -3) (cc8c0 quotient i (times 12 (cos theta)))) (30 ( cc8c1 plus (times 4 (expt (sin theta) 2)) (minus 3)) (cc8c2 . -3) (cc8c0 quotient i (times 12 (cos theta)))) (31 (cc8c1 plus (times 4 (expt (sin theta) 2)) (minus 3)) (cc8c2 . -3) (cc8c0 quotient i (times 12 (cos theta)))) (38 (cc8c1 . 1) ( cc8c2 . 0) (cc8c0 quotient (times 2 (sin theta) i) 3)) (39 ( cc8c1 . 1) (cc8c2 . 0) (cc8c0 quotient (times 2 (sin theta) i) 3)) (40 (cc8c1 . 1) (cc8c2 . 0) (cc8c0 quotient (times 2 (sin theta) i) 3)) (41 (cc8c1 plus (times 8 (expt (cos theta ) 2)) (minus 5)) (cc8c2 . 3) (cc8c0 quotient i (times 12 ( cos theta)))) (42 (cc8c1 plus (times 8 (expt (cos theta) 2)) (minus 5)) (cc8c2 . 3) (cc8c0 quotient i (times 12 (cos theta)))) (43 (cc8c1 plus (times 8 (expt (cos theta) 2)) ( minus 5)) (cc8c2 . 3) (cc8c0 quotient i (times 12 (cos theta ))))) ((9 (cc8c1 quotient 1 2) (cc8c2 quotient 1 2) (cc8c0 minus (times (sin theta) i))) (10 (cc8c1 quotient 1 2) ( cc8c2 quotient 1 2) (cc8c0 minus (times (sin theta) i))) (11 (cc8c1 quotient 1 2) (cc8c2 quotient 1 2) (cc8c0 minus ( times (sin theta) i))) (12 (cc8c1 plus (times 2 (expt (sin theta) 2)) (minus 1)) (cc8c2 times 2 (expt (sin theta) 2)) ( cc8c0 quotient i (times 4 (cos theta)))) (13 (cc8c1 plus ( times 2 (expt (sin theta) 2)) (minus 1)) (cc8c2 times 2 ( expt (sin theta) 2)) (cc8c0 quotient i (times 4 (cos theta)) )) (14 (cc8c1 plus (times 2 (expt (sin theta) 2)) (minus 1)) (cc8c2 times 2 (expt (sin theta) 2)) (cc8c0 quotient i ( times 4 (cos theta)))) (21 (cc8c1 . 1) (cc8c2 . 0) (cc8c0 quotient i (times 4 (cos theta)))) (22 (cc8c1 . 1) (cc8c2 . 0) (cc8c0 quotient i (times 4 (cos theta)))) (23 (cc8c1 . 1) (cc8c2 . 0) (cc8c0 quotient i (times 4 (cos theta)))) (26 ( cc8c1 quotient 1 2) (cc8c2 quotient 1 2) (cc8c0 quotient ( minus (times (sin theta) i)) 3)) (27 (cc8c1 quotient 1 2) ( cc8c2 quotient 1 2) (cc8c0 quotient (minus (times (sin theta ) i)) 3)) (28 (cc8c1 quotient 1 2) (cc8c2 quotient 1 2) ( cc8c0 quotient (minus (times (sin theta) i)) 3)) (29 (cc8c1 plus (times 2 (expt (sin theta) 2)) (minus 3)) (cc8c2 times 2 (expt (sin theta) 2)) (cc8c0 quotient i (times 12 (cos theta)))) (30 (cc8c1 plus (times 2 (expt (sin theta) 2)) ( minus 3)) (cc8c2 times 2 (expt (sin theta) 2)) (cc8c0 quotient i (times 12 (cos theta)))) (31 (cc8c1 plus (times 2 (expt (sin theta) 2)) (minus 3)) (cc8c2 times 2 (expt (sin theta) 2)) (cc8c0 quotient i (times 12 (cos theta)))) (38 ( cc8c1 quotient 1 2) (cc8c2 quotient 1 2) (cc8c0 quotient ( times 2 (sin theta) i) 3)) (39 (cc8c1 quotient 1 2) (cc8c2 quotient 1 2) (cc8c0 quotient (times 2 (sin theta) i) 3)) ( 40 (cc8c1 quotient 1 2) (cc8c2 quotient 1 2) (cc8c0 quotient (times 2 (sin theta) i) 3)) (41 (cc8c1 plus (times 4 (expt ( cos theta) 2)) (minus 1)) (cc8c2 plus (times 4 (expt (cos theta) 2)) (minus 4)) (cc8c0 quotient i (times 12 (cos theta )))) (42 (cc8c1 plus (times 4 (expt (cos theta) 2)) (minus 1 )) (cc8c2 plus (times 4 (expt (cos theta) 2)) (minus 4)) ( cc8c0 quotient i (times 12 (cos theta)))) (43 (cc8c1 plus ( times 4 (expt (cos theta) 2)) (minus 1)) (cc8c2 plus (times 4 (expt (cos theta) 2)) (minus 4)) (cc8c0 quotient i (times 12 (cos theta)))))) (((z pa6)) 1 ((quotient i (times 12 (cos theta))) (plus (times 3 (g l a v)) (times 8 (g l v) (expt ( cos theta) 2)) (minus (times 5 (g l v))))) ((z qt 43) (z qt 43) (z qt 43))) (((z pa4)) 2 (cc8c0 (plus (times (g l a v) cc8c2) (times (g l v) cc8c1)) (plus (minus (times 2 (g l a v ) (expt (sin theta) 2))) (times (g l a v) cc8c1) (times 2 (g l v) (expt (sin theta) 2)) (times (g l v) cc8c1))) ((z qb 31 ) (z qb 31) (z qb 31) (z qb 31) (z qb 31) (z qb 31)) ((31 ( cc8c1 plus (times 2 (expt (sin theta) 2)) (minus 3)) (cc8c0 quotient i (times 12 (cos theta)))) (30 (cc8c1 plus (times 2 (expt (sin theta) 2)) (minus 3)) (cc8c0 quotient i (times 12 (cos theta)))) (29 (cc8c1 plus (times 2 (expt (sin theta) 2) ) (minus 3)) (cc8c0 quotient i (times 12 (cos theta)))) (14 (cc8c1 plus (times 2 (expt (sin theta) 2)) (minus 1)) (cc8c0 quotient i (times 4 (cos theta)))) (13 (cc8c1 plus (times 2 (expt (sin theta) 2)) (minus 1)) (cc8c0 quotient i (times 4 (cos theta)))) (12 (cc8c1 plus (times 2 (expt (sin theta) 2) ) (minus 1)) (cc8c0 quotient i (times 4 (cos theta)))))) ((( p pa2) (p pa4) (p pa3)) 1 (cc8c0 (g l v)) ((p qt 40) (p qt 40) (p qt 40) (p qt 40) (p qt 40) (p qt 40) (p qt 40) (p qt 40) (p qt 40))) (((p pa5) (p pa6)) 1 ((quotient (times 2 ( sin theta) i) 3) (g l v)) ((p qt 40) (p qt 40) (p qt 40)))) ((9 l pa5 pa4 v) 1 ((quotient (times (sqrt 2) i) 4) (plus (g l a v) (g l v))) ((nut tau 15) (numu mu 16) (nue ef 17) (qt qb 32) (qc qs 33) (qu qd 34)) ((15) (16) (17) (32) (33) (34) )) ((10 l pa4 pa5 v) 1 ((quotient (times (sqrt 2) i) 4) ( plus (g l a v) (g l v))) ((qd qu 37) (qs qc 36) (qb qt 35) ( ef nue 20) (mu numu 19) (tau nut 18)) ((18) (19) (20) (35) ( 36) (37))) ((11 pa1 v va vb r1 r2 r3) 0 (cc11 (plus (minus ( times (cons r1 v) (cons va vb))) (times (cons r1 vb) (cons v va)) (times (cons r2 v) (cons va vb)) (minus (times (cons r2 va) (cons v vb))) (times (cons r3 va) (cons v vb)) (minus ( times (cons r3 vb) (cons v va))))) ((p 24) (z 25)) ((24 ( cc11 times (sin theta) i)) (25 (cc11 times (cos theta) i)))) ((12 l pa2) 1 (cc12c0 1) ((qt 54) (qc 53) (qu 52) (qb 51) ( qs 50) (qd 49) (tau 46) (mu 45) (ef 44)) ((44 (cc12c0 quotient (times fme i) (times 2 wm))) (45 (cc12c0 quotient ( times fmmu i) (times 2 wm))) (46 (cc12c0 quotient (times fmtau i) (times 2 wm))) (49 (cc12c0 quotient (times fmd i) ( times 2 wm))) (50 (cc12c0 quotient (times fms i) (times 2 wm ))) (51 (cc12c0 quotient (times fmb i) (times 2 wm))) (52 ( cc12c0 quotient (times fmu i) (times 2 wm))) (53 (cc12c0 quotient (times fmc i) (times 2 wm))) (54 (cc12c0 quotient ( times fmt i) (times 2 wm))))) ((13) 0 ((quotient (minus ( times 3 (expt hm 2) i)) (times 4 (expt wm 2))) 1) nil ((47)) ) ((14) 0 ((quotient (minus (times 3 (expt hm 2) i)) (times 2 wm)) 1) nil ((48))) ((15 l v) 0 (f1 (g l v)) nil nil)); $ feynmanrulelist_new:='nil; $ czslist:='nil; $ ctp_list:='(((1 ic5 ic1 ic2 ic3 ic4) (cas1 (times (cg ic1 ic2 ic5 3) (cg ic3 ic4 ic5 3))) (cas2 (times (cg ic3 ic2 ic5 3) (cg ic4 ic1 ic5 3))) ((plus cas1 cas2) (times (cg ic2 ic4 ic5 3) (cg ic1 ic3 ic5 3))))); $ end; $