add_fortran_list:='(af1);
 $
vpdlist:='((11 -1));
 $
funclist:='(v_ckm cg tp dmas);
 $
fermionprog:='(sf)
 $
bosonprog:='(s11 s1 s0)
 $
propagatorl:='(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 w z p) (s0 pr1 gsg h0) (sf qt qc
qu tau mu ef qb qs qd nut numu nue))
 $
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 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:='(((16 r2 v) 0 (f2 (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))) ((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;
 $
