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