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 pr2 pr4 pr5 pr6 pr7 pr8 pr10 pr12 
pr15 w z p) (s0 pr1 pr3 pr13 pr17 pr20 gsg h0) (sf qt qc qu
tau mu ef qb qs qd nut numu nue) (s5 pr19) (s4 pr18) (s3 pr9
pr11 pr16) (s2 pr14))
 $
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 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:='(((184 r1 r2 vf v vd vc vb va) 0 ((times 
f125 i) (times (cons r2 va) (cons r2 vb) (cons r2 vc) (cons
r2 vd) (eps r1 r2 v vf))) nil nil) ((183 r1 r2 vf v vd vc vb
va) 0 ((times f125 i) (minus (times (cons r2 va) (cons r2 vb
) (cons r2 vc) (cons r2 vd) (eps r1 r2 v vf)))) nil nil) ((
182 r3 r2 r1 vf v vd vc vb va) 0 ((quotient (times f124 i) 2
) (plus (minus (times (cons r1 r1) (cons r2 va) (cons r2 vb)
(cons r2 vc) (cons r2 vd) (cons v vf))) (minus (times 2 (
cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 
vc) (cons r2 vd))) (times (cons r2 va) (cons r2 vb) (cons r2
vc) (cons r2 vd) (cons r3 r3) (cons v vf)))) nil nil) ((181
r3 r2 r1 vf v vd vc vb va) 0 ((quotient (times f124 i) 2) (
plus (times (cons r1 r1) (cons r2 va) (cons r2 vb) (cons r2
vc) (cons r2 vd) (cons v vf)) (times 2 (cons r1 vf) (cons r2
v) (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r2 vd)) (
minus (times (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r2
vd) (cons r3 r3) (cons v vf))))) nil nil) ((180 r3 r2 r1 vf
v vd vc vb va) 0 ((quotient (times f123 i) 2) (plus (minus (
times (cons r1 r1) (cons r2 va) (cons r2 vb) (cons r2 vc) (
cons r2 vd) (cons v vf))) (minus (times 2 (cons r1 vf) (cons
r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r2 vd)))
(times (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r2 vd) (
cons r3 r3) (cons v vf)))) nil nil) ((179 r3 r2 r1 vf v vd 
vc vb va) 0 ((quotient (times f123 i) 2) (plus (times (cons
r1 r1) (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r2 vd) (
cons v vf)) (times 2 (cons r1 vf) (cons r2 v) (cons r2 va) (
cons r2 vb) (cons r2 vc) (cons r2 vd)) (minus (times (cons 
r2 va) (cons r2 vb) (cons r2 vc) (cons r2 vd) (cons r3 r3) (
cons v vf))))) nil nil) ((178 r1 r2 vf v vd vc vb va) 0 ((
times f122 i) (times (cons r2 va) (cons r2 vb) (cons r2 vc)
(cons r2 vd) (eps r1 r2 v vf))) nil nil) ((177 r1 r2 vf v vd
vc vb va) 0 ((times f122 i) (minus (times (cons r2 va) (cons
r2 vb) (cons r2 vc) (cons r2 vd) (eps r1 r2 v vf)))) nil nil
) ((176 r1 r2 vf v vd vc vb va) 0 (f121 (minus (times (cons
r2 va) (cons r2 vb) (cons r2 vc) (cons r2 vd) (eps r1 r2 v 
vf)))) nil nil) ((175 r1 r2 vf v vd vc vb va) 0 (f121 (minus
(times (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r2 vd) (
eps r1 r2 v vf)))) nil nil) ((174 r2 r1 vd vc vb va v vf) 0
(i (plus (minus (times (cons r1 vf) (cons r2 v) (cons r2 va)
(cons r2 vb) (cons r2 vc) (cons r2 vd) f120)) (minus (times
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) (cons vd
vf) f119)))) nil nil) ((173 r2 r1 vd vc vb va v vf) 0 (i (
plus (times (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 
vb) (cons r2 vc) (cons r2 vd) f120) (times (cons r2 v) (cons
r2 va) (cons r2 vb) (cons r2 vc) (cons vd vf) f119))) nil 
nil) ((172 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) f118) (times (cons r2 v) (cons r2 va) (cons r2 
vb) (cons r2 vc) (cons vd vf) f117))) nil nil) ((171 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) f118) (
times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) (
cons vd vf) f117))) nil nil) ((170 r1 r2 vf v vd vc vb va) 0
((times f116 i) (times (cons r2 va) (cons r2 vb) (cons r2 vc
) (cons r2 vd) (eps r1 r2 v vf))) nil nil) ((169 r1 r2 vf v
vd vc vb va) 0 ((times f116 i) (minus (times (cons r2 va) (
cons r2 vb) (cons r2 vc) (cons r2 vd) (eps r1 r2 v vf)))) 
nil nil) ((168 r1 r2 vf v vd vc vb va) 0 ((times f115 i) (
times (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r2 vd) (
eps r1 r2 v vf))) nil nil) ((167 r1 r2 vf v vd vc vb va) 0 (
(times f115 i) (minus (times (cons r2 va) (cons r2 vb) (cons
r2 vc) (cons r2 vd) (eps r1 r2 v vf)))) nil nil) ((166 r1 r2
vf v vd vc vb va) 0 ((times f114 i) (times (cons r2 va) (
cons r2 vb) (cons r2 vc) (cons r2 vd) (eps r1 r2 v vf))) nil
nil) ((165 r1 r2 vf v vd vc vb va) 0 ((times f114 i) (minus
(times (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r2 vd) (
eps r1 r2 v vf)))) nil nil) ((164 r1 r2 vf v vd vc vb va) 0
((times f113 i) (times (cons r2 va) (cons r2 vb) (cons r2 vc
) (cons r2 vd) (eps r1 r2 v vf))) nil nil) ((163 r1 r2 vf v
vd vc vb va) 0 ((times f113 i) (minus (times (cons r2 va) (
cons r2 vb) (cons r2 vc) (cons r2 vd) (eps r1 r2 v vf)))) 
nil nil) ((162 r2 r1 vd v vc vb va vf) 0 (i (plus (times (
cons r1 vf) (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 
r2 v vd) f112) (times (cons r2 va) (cons r2 vb) (cons vc vf)
(eps r1 r2 v vd) f111))) nil nil) ((161 r2 r1 vd v vc vb va
vf) 0 (i (plus (minus (times (cons r1 vf) (cons r2 va) (cons
r2 vb) (cons r2 vc) (eps r1 r2 v vd) f112)) (minus (times (
cons r2 va) (cons r2 vb) (cons vc vf) (eps r1 r2 v vd) f111)
))) nil nil) ((160 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) f110)) (minus (times
(cons r1 r1) (cons r3 va) (cons r3 vb) (cons v vf) (cons vc
vd) f108)) (minus (times 2 (cons r1 vf) (cons r3 v) (cons r3
va) (cons r3 vb) (cons r3 vc) (cons r3 vd) f110)) (minus (
times 2 (cons r1 vf) (cons r3 v) (cons r3 va) (cons r3 vb) (
cons vc vd) f108)) (times (cons r2 r2) (cons r3 va) (cons r3
vb) (cons r3 vc) (cons r3 vd) (cons v vf) f110) (times (cons
r2 r2) (cons r3 va) (cons r3 vb) (cons v vf) (cons vc vd) 
f108) (minus (times 2 (cons r3 v) (cons r3 va) (cons r3 vb)
(cons r3 vc) (cons vd vf) f109)) (times 2 (cons r3 va) (cons
r3 vb) (cons r3 vc) (cons r3 vd) (cons v vf) f109))) nil nil
) ((159 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) f110) (times (cons r1 r1) (cons r3 
va) (cons r3 vb) (cons v vf) (cons vc vd) f108) (times 2 (
cons r1 vf) (cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 
vc) (cons r3 vd) f110) (times 2 (cons r1 vf) (cons r3 v) (
cons r3 va) (cons r3 vb) (cons vc vd) f108) (minus (times (
cons r2 r2) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3
vd) (cons v vf) f110)) (minus (times (cons r2 r2) (cons r3 
va) (cons r3 vb) (cons v vf) (cons vc vd) f108)) (times 2 (
cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons vd 
vf) f109) (minus (times 2 (cons r3 va) (cons r3 vb) (cons r3
vc) (cons r3 vd) (cons v vf) f109)))) nil nil) ((158 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) f107)) (minus (times (cons r1 r1) (cons r3 
va) (cons r3 vb) (cons v vf) (cons vc vd) f105)) (minus (
times 2 (cons r1 vf) (cons r3 v) (cons r3 va) (cons r3 vb) (
cons r3 vc) (cons r3 vd) f107)) (minus (times 2 (cons r1 vf)
(cons r3 v) (cons r3 va) (cons r3 vb) (cons vc vd) f105)) (
times (cons r2 r2) (cons r3 va) (cons r3 vb) (cons r3 vc) (
cons r3 vd) (cons v vf) f107) (times (cons r2 r2) (cons r3 
va) (cons r3 vb) (cons v vf) (cons vc vd) f105) (minus (
times 2 (cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) (
cons vd vf) f106)) (times 2 (cons r3 va) (cons r3 vb) (cons
r3 vc) (cons r3 vd) (cons v vf) f106))) nil nil) ((157 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) f107) (times (cons r1 r1) (cons r3 va) (cons r3 
vb) (cons v vf) (cons vc vd) f105) (times 2 (cons r1 vf) (
cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 
vd) f107) (times 2 (cons r1 vf) (cons r3 v) (cons r3 va) (
cons r3 vb) (cons vc vd) f105) (minus (times (cons r2 r2) (
cons r3 va) (cons r3 vb) (cons r3 vc) (cons r3 vd) (cons v 
vf) f107)) (minus (times (cons r2 r2) (cons r3 va) (cons r3
vb) (cons v vf) (cons vc vd) f105)) (times 2 (cons r3 v) (
cons r3 va) (cons r3 vb) (cons r3 vc) (cons vd vf) f106) (
minus (times 2 (cons r3 va) (cons r3 vb) (cons r3 vc) (cons
r3 vd) (cons v vf) f106)))) nil nil) ((156 r2 vd vc vb va v)
0 (f104 (minus (times (cons r2 v) (cons r2 va) (cons r2 vb)
(cons r2 vc) (cons r2 vd)))) nil nil) ((155 r2 vd vc vb va v
) 0 (f104 (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons
r2 vc) (cons r2 vd))) nil nil) ((154 r2 vd vc vb va v) 0 ((
times f103 i) (times (cons r2 v) (cons r2 va) (cons r2 vb) (
cons r2 vc) (cons r2 vd))) nil nil) ((153 r2 vd vc vb va v)
0 ((times f103 i) (times (cons r2 v) (cons r2 va) (cons r2 
vb) (cons r2 vc) (cons r2 vd))) nil nil) ((152 r1 r2 vd v vc
vb va) 0 (f102 (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 (
f102 (minus (times (cons r2 va) (cons r2 vb) (cons r2 vc) (
eps r1 r2 v vd)))) nil nil) ((150 r3 r2 r1 vd v vc vb va) 0
((quotient f101 2) (plus (minus (times (cons r1 r1) (cons r2
va) (cons r2 vb) (cons r2 vc) (cons v vd))) (minus (times 2
(cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2
vc))) (times (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r3
r3) (cons v vd)))) nil nil) ((149 r3 r2 r1 vd v vc vb va) 0
((quotient f101 2) (plus (times (cons r1 r1) (cons r2 va) (
cons r2 vb) (cons r2 vc) (cons v vd)) (times 2 (cons r1 vd)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc)) (minus (
times (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r3 r3) (
cons v vd))))) nil nil) ((148 r3 r2 r1 vd v vc vb va) 0 ((
quotient f100 2) (plus (minus (times (cons r1 r1) (cons r2 
va) (cons r2 vb) (cons r2 vc) (cons v vd))) (minus (times 2
(cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2
vc))) (times (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r3
r3) (cons v vd)))) nil nil) ((147 r3 r2 r1 vd v vc vb va) 0
((quotient f100 2) (plus (times (cons r1 r1) (cons r2 va) (
cons r2 vb) (cons r2 vc) (cons v vd)) (times 2 (cons r1 vd)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc)) (minus (
times (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r3 r3) (
cons v vd))))) nil nil) ((146 r1 r2 vd v vc vb va) 0 (f99 (
times (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd
))) nil nil) ((145 r1 r2 vd v vc vb va) 0 (f99 (minus (times
(cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd)))) 
nil nil) ((144 r1 r2 vd v vc vb va) 0 ((times f98 i) (minus
(times (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v 
vd)))) nil nil) ((143 r1 r2 vd v vc vb va) 0 ((times f98 i)
(minus (times (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1
r2 v vd)))) nil nil) ((142 r1 r2 vd v vc vb va) 0 (f97 (
times (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd
))) nil nil) ((141 r1 r2 vd v vc vb va) 0 (f97 (minus (times
(cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd)))) 
nil nil) ((140 r1 r2 vd v vc vb va) 0 ((times f96 i) (minus
(times (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v 
vd)))) nil nil) ((139 r1 r2 vd v vc vb va) 0 ((times f96 i)
(minus (times (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1
r2 v vd)))) nil nil) ((138 r1 r2 vd v vc vb va) 0 (f95 (
times (cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd
))) nil nil) ((137 r1 r2 vd v vc vb va) 0 (f95 (minus (times
(cons r2 va) (cons r2 vb) (cons r2 vc) (eps r1 r2 v vd)))) 
nil nil) ((136 r2 r1 vc v vb va vd) 0 (1 (plus (times (cons
r1 vd) (cons r2 va) (cons r2 vb) (eps r1 r2 v vc) f94) (
times (cons r2 va) (cons vb vd) (eps r1 r2 v vc) f93))) nil
nil) ((135 r2 r1 vc v vb va vd) 0 (1 (plus (minus (times (
cons r1 vd) (cons r2 va) (cons r2 vb) (eps r1 r2 v vc) f94))
(minus (times (cons r2 va) (cons vb vd) (eps r1 r2 v vc) f93
)))) nil nil) ((134 r3 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) f92) (times (cons r1 vc) (cons r2 v) (cons r2 va
) (cons vb vd) f91) (minus (times (cons r1 vd) (cons r2 v) (
cons r2 va) (cons r2 vb) (cons r3 vc) f92)) (times (cons r1
vd) (cons r2 v) (cons r2 va) (cons vb vc) f89) (minus (times
(cons r1 vd) (cons r2 v) (cons r2 va) (cons vb vc) f91)) (
times (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) f90
) (times (cons r2 v) (cons r2 va) (cons r3 vc) (cons vb vd)
f89) (times (cons r2 v) (cons va vc) (cons vb vd) f88) (
times (cons r2 v) (cons va vd) (cons vb vc) f88))) nil nil)
((133 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) f87)) (minus (times (cons r1 r1) (cons r3 va) (
cons v vd) (cons vb vc) f85)) (minus (times 2 (cons r1 vd) (
cons r3 v) (cons r3 va) (cons r3 vb) (cons r3 vc) f87)) (
minus (times 2 (cons r1 vd) (cons r3 v) (cons r3 va) (cons 
vb vc) f85)) (times (cons r2 r2) (cons r3 va) (cons r3 vb) (
cons r3 vc) (cons v vd) f87) (times (cons r2 r2) (cons r3 va
) (cons v vd) (cons vb vc) f85) (minus (times 2 (cons r3 v)
(cons r3 va) (cons r3 vb) (cons vc vd) f86)) (times 2 (cons
r3 va) (cons r3 vb) (cons r3 vc) (cons v vd) f86))) nil nil)
((132 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) f87) (times (cons r1 r1) (cons r3 va) (cons v vd) (cons
vb vc) f85) (times 2 (cons r1 vd) (cons r3 v) (cons r3 va) (
cons r3 vb) (cons r3 vc) f87) (times 2 (cons r1 vd) (cons r3
v) (cons r3 va) (cons vb vc) f85) (minus (times (cons r2 r2)
(cons r3 va) (cons r3 vb) (cons r3 vc) (cons v vd) f87)) (
minus (times (cons r2 r2) (cons r3 va) (cons v vd) (cons vb
vc) f85)) (times 2 (cons r3 v) (cons r3 va) (cons r3 vb) (
cons vc vd) f86) (minus (times 2 (cons r3 va) (cons r3 vb) (
cons r3 vc) (cons v vd) f86)))) nil nil) ((131 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) f84)) (
minus (times (cons r1 r1) (cons r3 va) (cons v vd) (cons vb
vc) f82)) (minus (times 2 (cons r1 vd) (cons r3 v) (cons r3
va) (cons r3 vb) (cons r3 vc) f84)) (minus (times 2 (cons r1
vd) (cons r3 v) (cons r3 va) (cons vb vc) f82)) (times (cons
r2 r2) (cons r3 va) (cons r3 vb) (cons r3 vc) (cons v vd) 
f84) (times (cons r2 r2) (cons r3 va) (cons v vd) (cons vb 
vc) f82) (minus (times 2 (cons r3 v) (cons r3 va) (cons r3 
vb) (cons vc vd) f83)) (times 2 (cons r3 va) (cons r3 vb) (
cons r3 vc) (cons v vd) f83))) nil nil) ((130 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) f84) (times (
cons r1 r1) (cons r3 va) (cons v vd) (cons vb vc) f82) (
times 2 (cons r1 vd) (cons r3 v) (cons r3 va) (cons r3 vb) (
cons r3 vc) f84) (times 2 (cons r1 vd) (cons r3 v) (cons r3
va) (cons vb vc) f82) (minus (times (cons r2 r2) (cons r3 va
) (cons r3 vb) (cons r3 vc) (cons v vd) f84)) (minus (times
(cons r2 r2) (cons r3 va) (cons v vd) (cons vb vc) f82)) (
times 2 (cons r3 v) (cons r3 va) (cons r3 vb) (cons vc vd) 
f83) (minus (times 2 (cons r3 va) (cons r3 vb) (cons r3 vc)
(cons v vd) f83)))) nil nil) ((129 r2 vc vb va v) 0 ((times
f81 i) (minus (times (cons r2 v) (cons r2 va) (cons r2 vb) (
cons r2 vc)))) nil nil) ((128 r2 vc vb va v) 0 ((times f81 i
) (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc))
) nil nil) ((127 r2 vc vb va v) 0 (f80 (times (cons r2 v) (
cons r2 va) (cons r2 vb) (cons r2 vc))) nil nil) ((126 r2 vc
vb va v) 0 (f80 (times (cons r2 v) (cons r2 va) (cons r2 vb)
(cons r2 vc))) nil nil) ((125 r1 r2 vc v vb va) 0 (f79 (
minus (times (cons r2 va) (cons r2 vb) (eps r1 r2 v vc)))) 
nil nil) ((124 r1 r2 vc v vb va) 0 (f78 (minus (times (cons
r2 va) (cons r2 vb) (eps r1 r2 v vc)))) nil nil) ((123 r1 r2
vc v vb va) 0 ((times f77 i) (times (cons r2 va) (cons r2 vb
) (eps r1 r2 v vc))) nil nil) ((122 r1 r2 vc v vb va) 0 ((
times f77 i) (minus (times (cons r2 va) (cons r2 vb) (eps r1
r2 v vc)))) nil nil) ((121 r1 r2 vc v vb va) 0 (f76 (minus (
times (cons r2 va) (cons r2 vb) (eps r1 r2 v vc)))) nil nil)
((120 r1 r2 vc v vb va) 0 (f75 (minus (times (cons r2 va) (
cons r2 vb) (eps r1 r2 v vc)))) nil nil) ((119 r2 r1 vb va v
vc) 0 (1 (plus (times (cons r1 vc) (cons r2 v) (cons r2 va)
(cons r2 vb) f74) (times (cons r2 v) (cons r2 va) (cons vb 
vc) f73))) nil nil) ((118 r1 r2 vc v vb va) 0 ((times f72 i)
(times (cons r2 va) (cons r2 vb) (eps r1 r2 v vc))) nil nil)
((117 r1 r2 vc v vb va) 0 ((times f72 i) (minus (times (cons
r2 va) (cons r2 vb) (eps r1 r2 v vc)))) nil nil) ((116 r1 r2
vc v vb va) 0 ((times f71 i) (times (cons r2 va) (cons r2 vb
) (eps r1 r2 v vc))) nil nil) ((115 r1 r2 vc v vb va) 0 ((
times f71 i) (minus (times (cons r2 va) (cons r2 vb) (eps r1
r2 v vc)))) nil nil) ((114 r3 r2 r1 vc v vb va) 0 ((quotient
(times f70 i) 2) (plus (minus (times (cons r1 r1) (cons r2 
va) (cons r2 vb) (cons v vc))) (minus (times 2 (cons r1 vc)
(cons r2 v) (cons r2 va) (cons r2 vb))) (times (cons r2 va)
(cons r2 vb) (cons r3 r3) (cons v vc)))) nil nil) ((113 r3 
r2 r1 vc v vb va) 0 ((quotient (times f70 i) 2) (plus (times
(cons r1 r1) (cons r2 va) (cons r2 vb) (cons v vc)) (times 2
(cons r1 vc) (cons r2 v) (cons r2 va) (cons r2 vb)) (minus (
times (cons r2 va) (cons r2 vb) (cons r3 r3) (cons v vc)))))
nil nil) ((112 r3 r2 r1 vc v vb va) 0 ((quotient (times f69
i) 2) (plus (minus (times (cons r1 r1) (cons r2 va) (cons r2
vb) (cons v vc))) (minus (times 2 (cons r1 vc) (cons r2 v) (
cons r2 va) (cons r2 vb))) (times (cons r2 va) (cons r2 vb)
(cons r3 r3) (cons v vc)))) nil nil) ((111 r3 r2 r1 vc v vb
va) 0 ((quotient (times f69 i) 2) (plus (times (cons r1 r1)
(cons r2 va) (cons r2 vb) (cons v vc)) (times 2 (cons r1 vc)
(cons r2 v) (cons r2 va) (cons r2 vb)) (minus (times (cons 
r2 va) (cons r2 vb) (cons r3 r3) (cons v vc))))) nil nil) ((
110 r1 r2 vc v vb va) 0 ((times f68 i) (times (cons r2 va) (
cons r2 vb) (eps r1 r2 v vc))) nil nil) ((109 r1 r2 vc v vb
va) 0 ((times f68 i) (minus (times (cons r2 va) (cons r2 vb)
(eps r1 r2 v vc)))) nil nil) ((108 r1 r2 vc v vb va) 0 (f67
(minus (times (cons r2 va) (cons r2 vb) (eps r1 r2 v vc))))
nil nil) ((107 r1 r2 vc v vb va) 0 (f67 (minus (times (cons
r2 va) (cons r2 vb) (eps r1 r2 v vc)))) nil nil) ((106 r2 r1
vb v va vc) 0 (1 (plus (minus (times (cons r1 vc) (cons r2 
va) (eps r1 r2 v vb) f66)) (minus (times (cons va vc) (eps 
r1 r2 v vb) f65)))) nil nil) ((105 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) f64)) (minus (times (cons r1 r1) (
cons v vc) (cons va vb) f62)) (minus (times 2 (cons r1 vc) (
cons r3 v) (cons r3 va) (cons r3 vb) f64)) (minus (times 2 (
cons r1 vc) (cons r3 v) (cons va vb) f62)) (times (cons r2 
r2) (cons r3 va) (cons r3 vb) (cons v vc) f64) (times (cons
r2 r2) (cons v vc) (cons va vb) f62) (minus (times 2 (cons 
r3 v) (cons r3 va) (cons vb vc) f63)) (times 2 (cons r3 va)
(cons r3 vb) (cons v vc) f63))) nil nil) ((104 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) f64) (times (cons r1 r1) (cons
v vc) (cons va vb) f62) (times 2 (cons r1 vc) (cons r3 v) (
cons r3 va) (cons r3 vb) f64) (times 2 (cons r1 vc) (cons r3
v) (cons va vb) f62) (minus (times (cons r2 r2) (cons r3 va)
(cons r3 vb) (cons v vc) f64)) (minus (times (cons r2 r2) (
cons v vc) (cons va vb) f62)) (times 2 (cons r3 v) (cons r3
va) (cons vb vc) f63) (minus (times 2 (cons r3 va) (cons r3
vb) (cons v vc) f63)))) nil nil) ((103 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) f61)) (minus (times (cons r1 r1
) (cons v vc) (cons va vb) f59)) (minus (times 2 (cons r1 vc
) (cons r3 v) (cons r3 va) (cons r3 vb) f61)) (minus (times
2 (cons r1 vc) (cons r3 v) (cons va vb) f59)) (times (cons 
r2 r2) (cons r3 va) (cons r3 vb) (cons v vc) f61) (times (
cons r2 r2) (cons v vc) (cons va vb) f59) (minus (times 2 (
cons r3 v) (cons r3 va) (cons vb vc) f60)) (times 2 (cons r3
va) (cons r3 vb) (cons v vc) f60))) nil nil) ((102 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) f61) (times (cons r1 r1
) (cons v vc) (cons va vb) f59) (times 2 (cons r1 vc) (cons
r3 v) (cons r3 va) (cons r3 vb) f61) (times 2 (cons r1 vc) (
cons r3 v) (cons va vb) f59) (minus (times (cons r2 r2) (
cons r3 va) (cons r3 vb) (cons v vc) f61)) (minus (times (
cons r2 r2) (cons v vc) (cons va vb) f59)) (times 2 (cons r3
v) (cons r3 va) (cons vb vc) f60) (minus (times 2 (cons r3 
va) (cons r3 vb) (cons v vc) f60)))) nil nil) ((101 r2 vb va
v) 0 (f58 (times (cons r2 v) (cons r2 va) (cons r2 vb))) nil
nil) ((100 r2 vb va v) 0 (f57 (times (cons r2 v) (cons r2 va
) (cons r2 vb))) nil nil) ((99 r2 vb va v) 0 (f56 (minus (
times (cons r2 v) (cons r2 va) (cons r2 vb)))) nil nil) ((98
r2 vb va v) 0 (f56 (times (cons r2 v) (cons r2 va) (cons r2
vb))) nil nil) ((97 r2 vb va v) 0 ((times f55 i) (times (
cons r2 v) (cons r2 va) (cons r2 vb))) nil nil) ((96 r2 vb 
va v) 0 ((times f55 i) (times (cons r2 v) (cons r2 va) (cons
r2 vb))) nil nil) ((95 r1 r2 vb v va) 0 (f54 (times (cons r2
va) (eps r1 r2 v vb))) nil nil) ((94 r1 r2 vb v va) 0 (f54 (
minus (times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((93
r3 r2 r1 vb v va) 0 ((quotient f53 2) (plus (minus (times (
cons r1 r1) (cons r2 va) (cons v vb))) (minus (times 2 (cons
r1 vb) (cons r2 v) (cons r2 va))) (times (cons r2 va) (cons
r3 r3) (cons v vb)))) nil nil) ((92 r3 r2 r1 vb v va) 0 ((
quotient f53 2) (plus (times (cons r1 r1) (cons r2 va) (cons
v vb)) (times 2 (cons r1 vb) (cons r2 v) (cons r2 va)) (
minus (times (cons r2 va) (cons r3 r3) (cons v vb))))) nil 
nil) ((91 r3 r2 r1 vb v va) 0 ((quotient f52 2) (plus (minus
(times (cons r1 r1) (cons r2 va) (cons v vb))) (minus (times
2 (cons r1 vb) (cons r2 v) (cons r2 va))) (times (cons r2 va
) (cons r3 r3) (cons v vb)))) nil nil) ((90 r3 r2 r1 vb v va
) 0 ((quotient f52 2) (plus (times (cons r1 r1) (cons r2 va)
(cons v vb)) (times 2 (cons r1 vb) (cons r2 v) (cons r2 va))
(minus (times (cons r2 va) (cons r3 r3) (cons v vb))))) nil
nil) ((89 r1 r2 vb v va) 0 (f51 (times (cons r2 va) (eps r1
r2 v vb))) nil nil) ((88 r1 r2 vb v va) 0 (f51 (minus (times
(cons r2 va) (eps r1 r2 v vb)))) nil nil) ((87 r1 r2 vb v va
) 0 ((times f50 i) (minus (times (cons r2 va) (eps r1 r2 v 
vb)))) nil nil) ((86 r1 r2 vb v va) 0 ((times f50 i) (minus
(times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((85 r1 r2
vb v va) 0 (f49 (times (cons r2 va) (eps r1 r2 v vb))) nil 
nil) ((84 r1 r2 vb v va) 0 (f49 (minus (times (cons r2 va) (
eps r1 r2 v vb)))) nil nil) ((83 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) ((82 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) ((81 r2 va
v) 0 ((times f46 i) (minus (times (cons r2 v) (cons r2 va)))
) nil nil) ((80 r2 va v) 0 ((times f46 i) (times (cons r2 v)
(cons r2 va))) nil nil) ((79 r2 va v) 0 (f45 (times (cons r2
v) (cons r2 va))) nil nil) ((78 r2 va v) 0 (f45 (times (cons
r2 v) (cons r2 va))) nil nil) ((77 r2 r1 va v) 0 (f44 (minus
(eps r1 r2 v va))) nil nil) ((76 r2 r1 va v) 0 (f43 (minus (
eps r1 r2 v va))) nil nil) ((75 r2 r1 va v) 0 (f42 (minus (
eps r1 r2 v va))) nil nil) ((74 r2 r1 va v) 0 (f41 (minus (
eps r1 r2 v va))) nil nil) ((73 r3 r2 r1 va v) 0 ((quotient
f40 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) ((72 r3 r2 r1 va v) 0 ((quotient f39 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) (
(71 r2 r1 v va) 0 (1 (plus (times (cons r1 va) (cons r2 v) 
f38) (times (cons v va) f37))) nil nil) ((70 r2 r1 va v) 0 (
f36 (minus (eps r1 r2 v va))) nil nil) ((69 r2 r1 va v) 0 (
f35 (minus (eps r1 r2 v va))) nil nil) ((68 r2 r1 va v) 0 (
f34 (minus (eps r1 r2 v va))) nil nil) ((67 r2 r1 va v) 0 (
f33 (minus (eps r1 r2 v va))) nil nil) ((66 r2 r1 va v) 0 ((
times f32 i) (eps r1 r2 v va)) nil nil) ((65 r2 r1 va v) 0 (
(times f32 i) (minus (eps r1 r2 v va))) nil nil) ((64 r3 r2
r1 va v) 0 ((quotient (times f31 i) 2) (plus (minus (times (
cons r1 r1) (cons v va))) (minus (times 2 (cons r1 va) (cons
r2 v))) (times (cons r3 r3) (cons v va)))) nil nil) ((63 r3
r2 r1 va v) 0 ((quotient (times f31 i) 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) ((62 r3 
r2 r1 va v) 0 ((quotient (times f30 i) 2) (plus (minus (
times (cons r1 r1) (cons v va))) (minus (times 2 (cons r1 va
) (cons r2 v))) (times (cons r3 r3) (cons v va)))) nil nil)
((61 r3 r2 r1 va v) 0 ((quotient (times f30 i) 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) (
(60 r2 r1 va v) 0 ((times f29 i) (eps r1 r2 v va)) nil nil)
((59 r2 r1 va v) 0 ((times f29 i) (minus (eps r1 r2 v va)))
nil nil) ((58 r2 r1 va v) 0 (f28 (minus (eps r1 r2 v va))) 
nil nil) ((57 r2 r1 va v) 0 (f28 (minus (eps r1 r2 v va))) 
nil nil) ((56 r2 r1 v va) 0 (i (plus (minus (times (cons r1
va) (cons r2 v) f27)) (minus (times (cons v va) f26)))) nil
nil) ((55 r2 r1 v va) 0 (i (plus (times (cons r1 va) (cons 
r2 v) f27) (times (cons v va) f26))) nil nil) ((54 r2 r1 v 
va) 0 (1 (plus (times (cons r1 va) (cons r2 v) f25) (times (
cons v va) f24))) nil nil) ((53 r2 r1 v va) 0 (1 (plus (
times (cons r1 va) (cons r2 v) f25) (times (cons v va) f24))
) nil nil) ((52 r2 r1 va v) 0 ((times f23 i) (eps r1 r2 v va
)) nil nil) ((51 r2 r1 va v) 0 ((times f23 i) (minus (eps r1
r2 v va))) nil nil) ((50 r2 r1 va v) 0 ((times f22 i) (eps 
r1 r2 v va)) nil nil) ((49 r2 r1 va v) 0 ((times f22 i) (
minus (eps r1 r2 v va))) nil nil) ((48 r2 r1 va v) 0 (f21 (
minus (eps r1 r2 v va))) nil nil) ((47 r2 r1 va v) 0 ((times
f20 i) (eps r1 r2 v va)) nil nil) ((46 r2 r1 va v) 0 ((times
f20 i) (minus (eps r1 r2 v va))) nil nil) ((45 r3 r2 r1 va v
) 0 ((quotient (times f19 i) 2) (plus (minus (times (cons r1
r1) (cons v va))) (minus (times 2 (cons r1 va) (cons r2 v)))
(times (cons r3 r3) (cons v va)))) nil nil) ((44 r3 r2 r1 va
v) 0 ((quotient (times f19 i) 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) ((43 r3 r2 r1 va v) 0
((quotient (times f18 i) 2) (plus (minus (times (cons r1 r1)
(cons v va))) (minus (times 2 (cons r1 va) (cons r2 v))) (
times (cons r3 r3) (cons v va)))) nil nil) ((42 r3 r2 r1 va
v) 0 ((quotient (times f18 i) 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) ((41 r2 r1 va v) 0 ((
times f17 i) (eps r1 r2 v va)) nil nil) ((40 r2 r1 va v) 0 (
(times f17 i) (minus (eps r1 r2 v va))) nil nil) ((39 r2 r1
va v) 0 (f16 (minus (eps r1 r2 v va))) nil nil) ((38 r2 r1 
va v) 0 (f16 (minus (eps r1 r2 v va))) nil nil) ((37 r2 v) 0
(f15 (cons r2 v)) nil nil) ((36 r2 v) 0 ((times f14 i) (cons
r2 v)) nil nil) ((35 r2 v) 0 (f13 (cons r2 v)) nil nil) ((34
r2 v) 0 (f12 (cons r2 v)) nil nil) ((33 r2 v) 0 (f11 (minus
(cons r2 v))) nil nil) ((32 r2 v) 0 (f11 (cons r2 v)) nil 
nil) ((31 r2 v) 0 ((times f10 i) (cons r2 v)) nil nil) ((30
r2 v) 0 ((times f10 i) (cons r2 v)) nil nil) ((29 r2 v) 0 (
f9 (minus (cons r2 v))) nil nil) ((28 r2 v) 0 (f9 (cons r2 v
)) nil nil) ((27 r2 v) 0 ((times f8 i) (cons r2 v)) nil nil)
((26 r2 v) 0 ((times f8 i) (cons r2 v)) nil nil) ((25) 0 ((
times f7 i) -1) nil nil) ((24) 0 ((times f7 i) 1) nil nil) (
(23) 0 ((times f6 i) -1) nil nil) ((22) 0 ((times f6 i) 1) 
nil nil) ((21) 0 (f5 1) nil nil) ((20) 0 (f5 1) nil nil) ((
19) 0 (f4 1) nil nil) ((18) 0 (f4 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))) ((17 l
v) 0 (f3 (g l v)) nil nil) ((16 l v) 0 (f2 (g l v)) nil nil)
((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;
 $