gbsymmetrylist:='(len lmuon ltau)
 $
give_up_compact:='nil
 $
hparameter:='((index3 ic1 ic2 ic3 ic4 ic5) (index2 id1 id2)
(index1 v va vb vc vd vf va1 va2))
 $
hparaway:='((index3 wayorder) (index2 wayorder) (index1 
wayorder))
 $
fermionprog:='(sf)
 $
bosonprog:='(s11 s1 s0)
 $
propagatorl:='(s11 s1 s0 sf)
 $
splist:='((s11 gs) (s1 w z p) (s0 gsg h0) (sf qt qc qu tau 
mu ef qb qs qd nut numu nue))
 $
small_new_list:='nil
 $
new_const_list:='nil
 $
phyinput:='(g3 g theta wm hm fme fmmu fmtau fmd fmu fms fmc
fmb fmt)
 $
maslist2:='((gsg mgsg 0) (z zm (quotient wm (cos theta))) (
gs mgs 0))
 $
paramlist:='(((c 0 1) (quotient (expt hm 2) 2)) ((c 0 5) (
quotient (minus (times (expt g 2) (expt hm 2))) (times 8 (
expt wm 2)))) (wangm3 (quotient (times (sqrt 2) fmb g) (
times 2 wm))) (wangm2 (quotient (times (sqrt 2) fms g) (
times 2 wm))) (wangm1 (quotient (times (sqrt 2) fmd g) (
times 2 wm))) (wangm6 (quotient (times (sqrt 2) fmtau g) (
times 2 wm))) (wangm5 (quotient (times (sqrt 2) fmmu g) (
times 2 wm))) (wangm4 (quotient (times (sqrt 2) fme g) (
times 2 wm))) (wangm9 (quotient (times (sqrt 2) fmt g) (
times 2 wm))) (wangm8 (quotient (times (sqrt 2) fmc g) (
times 2 wm))) (wangm7 (quotient (times (sqrt 2) fmu g) (
times 2 wm))) (v0 (quotient (times 2 wm) g)))
 $
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))))
 $
funclist:='(v_ckm cg tp dmas)
 $
palist:='(gs w z p gsg h0 qb qs qd qt qc qu tau mu ef nut 
numu nue)
 $
pglist:='(gsg)
 $
pflist:='(qb qs qd qt qc qu tau mu ef nut numu nue)
 $
pb1list:='(gs w z p)
 $
pb0list:='(gsg h0)
 $
htionvvlist:='((g ((2 2 0) (((h0 0 r1) (h0 0 r2)) ((z 0 r4 
va) (z 0 r3 v)) nil 2) (((h0 0 r2) (h0 0 r1)) ((w -1 r4 va)
(w 1 r3 v)) nil 1)) ((1 2 0) (((h0 0 r1)) ((z 0 r3 va) (z 0
r2 v)) nil 4) (((h0 0 r1)) ((w -1 r3 va) (w 1 r2 v)) nil 3))
((0 4 0) (nil ((w 1 r1 v) (w -1 r2 va) (z 0 r4 vc) (z 0 r3 
vb)) nil 8) (nil ((w 1 r1 v) (w -1 r2 va) (p 0 r4 vc) (z 0 
r3 vb)) nil 7) (nil ((w 1 r1 v) (w -1 r2 va) (p 0 r4 vc) (p
0 r3 vb)) nil 6) (nil ((w -1 r4 vc) (w -1 r3 vb) (w 1 r2 va)
(w 1 r1 v)) nil 5)) ((0 1 2) (nil ((z 0 r3 v)) ((qt -1 r1 
id1) (qt 1 r2 id1)) 43) (nil ((z 0 r3 v)) ((qc -1 r1 id1) (
qc 1 r2 id1)) 42) (nil ((z 0 r3 v)) ((qu -1 r1 id1) (qu 1 r2
id1)) 41) (nil ((p 0 r3 v)) ((qt -1 r1 id1) (qt 1 r2 id1)) 
40) (nil ((p 0 r3 v)) ((qc -1 r1 id1) (qc 1 r2 id1)) 39) (
nil ((p 0 r3 v)) ((qu -1 r1 id1) (qu 1 r2 id1)) 38) (nil ((w
1 r3 v)) ((qd 1 r2 id1) (qu -1 r1 id1)) 37) (nil ((w 1 r3 v)
) ((qs 1 r2 id1) (qc -1 r1 id1)) 36) (nil ((w 1 r3 v)) ((qb
1 r2 id1) (qt -1 r1 id1)) 35) (nil ((w -1 r3 v)) ((qu 1 r2 
id1) (qd -1 r1 id1)) 34) (nil ((w -1 r3 v)) ((qc 1 r2 id1) (
qs -1 r1 id1)) 33) (nil ((w -1 r3 v)) ((qt 1 r2 id1) (qb -1
r1 id1)) 32) (nil ((z 0 r3 v)) ((qb -1 r1 id1) (qb 1 r2 id1)
) 31) (nil ((z 0 r3 v)) ((qs -1 r1 id1) (qs 1 r2 id1)) 30) (
nil ((z 0 r3 v)) ((qd -1 r1 id1) (qd 1 r2 id1)) 29) (nil ((p
0 r3 v)) ((qb -1 r1 id1) (qb 1 r2 id1)) 28) (nil ((p 0 r3 v)
) ((qs -1 r1 id1) (qs 1 r2 id1)) 27) (nil ((p 0 r3 v)) ((qd
-1 r1 id1) (qd 1 r2 id1)) 26) (nil ((z 0 r3 v)) ((nut -1 r1)
(nut 1 r2)) 23) (nil ((z 0 r3 v)) ((numu -1 r1) (numu 1 r2))
22) (nil ((z 0 r3 v)) ((nue -1 r1) (nue 1 r2)) 21) (nil ((w
1 r3 v)) ((ef 1 r2) (nue -1 r1)) 20) (nil ((w 1 r3 v)) ((mu
1 r2) (numu -1 r1)) 19) (nil ((w 1 r3 v)) ((tau 1 r2) (nut 
-1 r1)) 18) (nil ((w -1 r3 v)) ((nue 1 r2) (ef -1 r1)) 17) (
nil ((w -1 r3 v)) ((numu 1 r2) (mu -1 r1)) 16) (nil ((w -1 
r3 v)) ((nut 1 r2) (tau -1 r1)) 15) (nil ((z 0 r3 v)) ((tau
-1 r1) (tau 1 r2)) 14) (nil ((z 0 r3 v)) ((mu -1 r1) (mu 1 
r2)) 13) (nil ((z 0 r3 v)) ((ef -1 r1) (ef 1 r2)) 12) (nil (
(p 0 r3 v)) ((tau -1 r1) (tau 1 r2)) 11) (nil ((p 0 r3 v)) (
(mu -1 r1) (mu 1 r2)) 10) (nil ((p 0 r3 v)) ((ef -1 r1) (ef
1 r2)) 9)) ((0 3 0) (nil ((w 1 r1 va) (w -1 r2 vb) (z 0 r3 v
)) nil 25) (nil ((w 1 r1 va) (w -1 r2 vb) (p 0 r3 v)) nil 24
)) ((1 0 2) (((h0 0 r3)) nil ((qt 1 r2 id1) (qt -1 r1 id1))
54) (((h0 0 r3)) nil ((qc 1 r2 id1) (qc -1 r1 id1)) 53) (((
h0 0 r3)) nil ((qu 1 r2 id1) (qu -1 r1 id1)) 52) (((h0 0 r3)
) nil ((qb 1 r2 id1) (qb -1 r1 id1)) 51) (((h0 0 r3)) nil ((
qs 1 r2 id1) (qs -1 r1 id1)) 50) (((h0 0 r3)) nil ((qd 1 r2
id1) (qd -1 r1 id1)) 49) (((h0 0 r3)) nil ((tau 1 r2) (tau 
-1 r1)) 46) (((h0 0 r3)) nil ((mu 1 r2) (mu -1 r1)) 45) (((
h0 0 r3)) nil ((ef 1 r2) (ef -1 r1)) 44)) ((4 0 0) (((h0 0 
r4) (h0 0 r3) (h0 0 r2) (h0 0 r1)) nil nil 47)) ((3 0 0) (((
h0 0 r3) (h0 0 r2) (h0 0 r1)) nil nil 48))))
 $
htionl:='((54 ((qt -1 r1 id1) (qt 1 r2 id1) (h0 0 r3))) (53
((qc -1 r1 id1) (qc 1 r2 id1) (h0 0 r3))) (52 ((qu -1 r1 id1
) (qu 1 r2 id1) (h0 0 r3))) (51 ((qb -1 r1 id1) (qb 1 r2 id1
) (h0 0 r3))) (50 ((qs -1 r1 id1) (qs 1 r2 id1) (h0 0 r3)))
(49 ((qd -1 r1 id1) (qd 1 r2 id1) (h0 0 r3))) (48 ((h0 0 r1)
(h0 0 r2) (h0 0 r3))) (47 ((h0 0 r1) (h0 0 r2) (h0 0 r3) (h0
0 r4))) (46 ((tau -1 r1) (tau 1 r2) (h0 0 r3))) (45 ((mu -1
r1) (mu 1 r2) (h0 0 r3))) (44 ((ef -1 r1) (ef 1 r2) (h0 0 r3
))) (43 ((z 0 r3 v) (qt 1 r2 id1) (qt -1 r1 id1))) (42 ((z 0
r3 v) (qc 1 r2 id1) (qc -1 r1 id1))) (41 ((z 0 r3 v) (qu 1 
r2 id1) (qu -1 r1 id1))) (40 ((p 0 r3 v) (qt 1 r2 id1) (qt 
-1 r1 id1))) (39 ((p 0 r3 v) (qc 1 r2 id1) (qc -1 r1 id1)))
(38 ((p 0 r3 v) (qu 1 r2 id1) (qu -1 r1 id1))) (37 ((qu -1 
r1 id1) (qd 1 r2 id1) (w 1 r3 v))) (36 ((qc -1 r1 id1) (qs 1
r2 id1) (w 1 r3 v))) (35 ((qt -1 r1 id1) (qb 1 r2 id1) (w 1
r3 v))) (34 ((qd -1 r1 id1) (qu 1 r2 id1) (w -1 r3 v))) (33
((qs -1 r1 id1) (qc 1 r2 id1) (w -1 r3 v))) (32 ((qb -1 r1 
id1) (qt 1 r2 id1) (w -1 r3 v))) (31 ((z 0 r3 v) (qb 1 r2 
id1) (qb -1 r1 id1))) (30 ((z 0 r3 v) (qs 1 r2 id1) (qs -1 
r1 id1))) (29 ((z 0 r3 v) (qd 1 r2 id1) (qd -1 r1 id1))) (28
((p 0 r3 v) (qb 1 r2 id1) (qb -1 r1 id1))) (27 ((p 0 r3 v) (
qs 1 r2 id1) (qs -1 r1 id1))) (26 ((p 0 r3 v) (qd 1 r2 id1)
(qd -1 r1 id1))) (25 ((z 0 r3 v) (w -1 r2 vb) (w 1 r1 va)))
(24 ((p 0 r3 v) (w -1 r2 vb) (w 1 r1 va))) (23 ((z 0 r3 v) (
nut 1 r2) (nut -1 r1))) (22 ((z 0 r3 v) (numu 1 r2) (numu -1
r1))) (21 ((z 0 r3 v) (nue 1 r2) (nue -1 r1))) (20 ((nue -1
r1) (ef 1 r2) (w 1 r3 v))) (19 ((numu -1 r1) (mu 1 r2) (w 1
r3 v))) (18 ((nut -1 r1) (tau 1 r2) (w 1 r3 v))) (17 ((ef -1
r1) (nue 1 r2) (w -1 r3 v))) (16 ((mu -1 r1) (numu 1 r2) (w
-1 r3 v))) (15 ((tau -1 r1) (nut 1 r2) (w -1 r3 v))) (14 ((z
0 r3 v) (tau 1 r2) (tau -1 r1))) (13 ((z 0 r3 v) (mu 1 r2) (
mu -1 r1))) (12 ((z 0 r3 v) (ef 1 r2) (ef -1 r1))) (11 ((p 0
r3 v) (tau 1 r2) (tau -1 r1))) (10 ((p 0 r3 v) (mu 1 r2) (mu
-1 r1))) (9 ((p 0 r3 v) (ef 1 r2) (ef -1 r1))) (8 ((z 0 r3 
vb) (z 0 r4 vc) (w -1 r2 va) (w 1 r1 v))) (7 ((z 0 r3 vb) (p
0 r4 vc) (w -1 r2 va) (w 1 r1 v))) (6 ((p 0 r3 vb) (p 0 r4 
vc) (w -1 r2 va) (w 1 r1 v))) (5 ((w 1 r1 v) (w 1 r2 va) (w
-1 r3 vb) (w -1 r4 vc))) (4 ((z 0 r2 v) (z 0 r3 va) (h0 0 r1
))) (3 ((h0 0 r1) (w 1 r2 v) (w -1 r3 va))) (2 ((z 0 r3 v) (
z 0 r4 va) (h0 0 r2) (h0 0 r1))) (1 ((h0 0 r1) (h0 0 r2) (w
1 r3 v) (w -1 r4 va))))
 $
phymass:='((w wm) (z zm) (p 0) (h0 hm) (ef fme) (nue 0) (mu
fmmu) (numu 0) (tau fmtau) (nut 0) (qd fmd) (qu fmu) (qs fms
) (qc fmc) (qb fmb) (qt fmt))
 $
cclist:='((54 (quotient (times fmt i) (times 2 wm))) (53 (
quotient (times fmc i) (times 2 wm))) (52 (quotient (times 
fmu i) (times 2 wm))) (51 (quotient (times fmb i) (times 2 
wm))) (50 (quotient (times fms i) (times 2 wm))) (49 (
quotient (times fmd i) (times 2 wm))) (48 (quotient (minus (
times 3 (expt hm 2) i)) (times 2 wm))) (47 (quotient (minus
(times 3 (expt hm 2) i)) (times 4 (expt wm 2)))) (46 (
quotient (times fmtau i) (times 2 wm))) (45 (quotient (times
fmmu i) (times 2 wm))) (44 (quotient (times fme i) (times 2
wm))) (43 (quotient (plus (times 3 (g l a v) i) (times 8 (g
l v) (expt (cos theta) 2) i) (minus (times 5 (g l v) i))) (
times 12 (cos theta)))) (42 (quotient (plus (times 3 (g l a
v) i) (times 8 (g l v) (expt (cos theta) 2) i) (minus (times
5 (g l v) i))) (times 12 (cos theta)))) (41 (quotient (plus
(times 3 (g l a v) i) (times 8 (g l v) (expt (cos theta) 2)
i) (minus (times 5 (g l v) i))) (times 12 (cos theta)))) (40
(quotient (times 2 (g l v) (sin theta) i) 3)) (39 (quotient
(times 2 (g l v) (sin theta) i) 3)) (38 (quotient (times 2 (
g l v) (sin theta) i) 3)) (37 (quotient (plus (times (sqrt 2
) (g l a v) i) (times (sqrt 2) (g l v) i)) 4)) (36 (quotient
(plus (times (sqrt 2) (g l a v) i) (times (sqrt 2) (g l v) i
)) 4)) (35 (quotient (plus (times (sqrt 2) (g l a v) i) (
times (sqrt 2) (g l v) i)) 4)) (34 (quotient (plus (times (
sqrt 2) (g l a v) i) (times (sqrt 2) (g l v) i)) 4)) (33 (
quotient (plus (times (sqrt 2) (g l a v) i) (times (sqrt 2)
(g l v) i)) 4)) (32 (quotient (plus (times (sqrt 2) (g l a v
) i) (times (sqrt 2) (g l v) i)) 4)) (31 (quotient (plus (
minus (times 3 (g l a v) i)) (times 4 (g l v) (expt (sin 
theta) 2) i) (minus (times 3 (g l v) i))) (times 12 (cos 
theta)))) (30 (quotient (plus (minus (times 3 (g l a v) i))
(times 4 (g l v) (expt (sin theta) 2) i) (minus (times 3 (g
l v) i))) (times 12 (cos theta)))) (29 (quotient (plus (
minus (times 3 (g l a v) i)) (times 4 (g l v) (expt (sin 
theta) 2) i) (minus (times 3 (g l v) i))) (times 12 (cos 
theta)))) (28 (quotient (minus (times (g l v) (sin theta) i)
) 3)) (27 (quotient (minus (times (g l v) (sin theta) i)) 3)
) (26 (quotient (minus (times (g l v) (sin theta) i)) 3)) (
25 (plus (minus (times (cons r1 v) (cons va vb) (cos theta)
i)) (times (cons r1 vb) (cons v va) (cos theta) i) (times (
cons r2 v) (cons va vb) (cos theta) i) (minus (times (cons 
r2 va) (cons v vb) (cos theta) i)) (times (cons r3 va) (cons
v vb) (cos theta) i) (minus (times (cons r3 vb) (cons v va)
(cos theta) i)))) (24 (plus (minus (times (cons r1 v) (cons
va vb) (sin theta) i)) (times (cons r1 vb) (cons v va) (sin
theta) i) (times (cons r2 v) (cons va vb) (sin theta) i) (
minus (times (cons r2 va) (cons v vb) (sin theta) i)) (times
(cons r3 va) (cons v vb) (sin theta) i) (minus (times (cons
r3 vb) (cons v va) (sin theta) i)))) (23 (quotient (plus (
times (g l a v) i) (times (g l v) i)) (times 4 (cos theta)))
) (22 (quotient (plus (times (g l a v) i) (times (g l v) i))
(times 4 (cos theta)))) (21 (quotient (plus (times (g l a v)
i) (times (g l v) i)) (times 4 (cos theta)))) (20 (quotient
(plus (times (sqrt 2) (g l a v) i) (times (sqrt 2) (g l v) i
)) 4)) (19 (quotient (plus (times (sqrt 2) (g l a v) i) (
times (sqrt 2) (g l v) i)) 4)) (18 (quotient (plus (times (
sqrt 2) (g l a v) i) (times (sqrt 2) (g l v) i)) 4)) (17 (
quotient (plus (times (sqrt 2) (g l a v) i) (times (sqrt 2)
(g l v) i)) 4)) (16 (quotient (plus (times (sqrt 2) (g l a v
) i) (times (sqrt 2) (g l v) i)) 4)) (15 (quotient (plus (
times (sqrt 2) (g l a v) i) (times (sqrt 2) (g l v) i)) 4))
(14 (quotient (plus (minus (times (g l a v) i)) (times 4 (g
l v) (expt (sin theta) 2) i) (minus (times (g l v) i))) (
times 4 (cos theta)))) (13 (quotient (plus (minus (times (g
l a v) i)) (times 4 (g l v) (expt (sin theta) 2) i) (minus (
times (g l v) i))) (times 4 (cos theta)))) (12 (quotient (
plus (minus (times (g l a v) i)) (times 4 (g l v) (expt (sin
theta) 2) i) (minus (times (g l v) i))) (times 4 (cos theta)
))) (11 (minus (times (g l v) (sin theta) i))) (10 (minus (
times (g l v) (sin theta) i))) (9 (minus (times (g l v) (sin
theta) i))) (8 (plus (minus (times 2 (cons v va) (cons vb vc
) (expt (cos theta) 2) i)) (times (cons v vb) (cons va vc) (
expt (cos theta) 2) i) (times (cons v vc) (cons va vb) (expt
(cos theta) 2) i))) (7 (plus (minus (times 2 (cons v va) (
cons vb vc) (cos theta) (sin theta) i)) (times (cons v vb) (
cons va vc) (cos theta) (sin theta) i) (times (cons v vc) (
cons va vb) (cos theta) (sin theta) i))) (6 (plus (minus (
times 2 (cons v va) (cons vb vc) (expt (sin theta) 2) i)) (
times (cons v vb) (cons va vc) (expt (sin theta) 2) i) (
times (cons v vc) (cons va vb) (expt (sin theta) 2) i))) (5
(plus (times 2 (cons v va) (cons vb vc) i) (minus (times (
cons v vb) (cons va vc) i)) (minus (times (cons v vc) (cons
va vb) i)))) (4 (quotient (times (cons v va) i wm) (expt (
cos theta) 2))) (3 (times (cons v va) i wm)) (2 (quotient (
times (cons v va) i) (times 2 (expt (cos theta) 2)))) (1 (
quotient (times (cons v va) i) 2)))
 $
htionlist:='((g (2 47 8 7 6 5 2 1) (1 54 53 52 51 50 49 48 
46 45 44 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 27
26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 4 3)))
 $
vbsmlist:='nil
 $
couplist:='(g3 g)
 $
colorlist:='(qd qs qb qu qc qt gs)
 $
chargelist:='((gsg 0) (gs 0) (p 0) (z 0) (w 1) (w -1) (z 0)
(p 0) (qd (quotient (minus 1) 3)) (qu (quotient 2 3)) (qu (
quotient 2 3)) (qd (quotient (minus 1) 3)) (ef -1) (nue 0) (
ef -1) (h0 0) (numu 0) (mu -1) (nut 0) (tau -1) (mu -1) (tau
-1) (qc (quotient 2 3)) (qs (quotient (minus 1) 3)) (qt (
quotient 2 3)) (qb (quotient (minus 1) 3)) (qc (quotient 2 3
)) (qt (quotient 2 3)) (qs (quotient (minus 1) 3)) (qb (
quotient (minus 1) 3)))
 $
proton_like_list:='nil
 $
coupling_comment:='( (g3 " strong interaction ")  (g "
weak interaction ") )
 $
chargelist:='((gsg 0) (gs 0) (p 0) (z 0) (w 1) (w -1) (z 0)
(p 0) (qd (quotient (minus 1) 3)) (qu (quotient 2 3)) (qu (
quotient 2 3)) (qd (quotient (minus 1) 3)) (ef -1) (nue 0) (
ef -1) (h0 0) (numu 0) (mu -1) (nut 0) (tau -1) (mu -1) (tau
-1) (qc (quotient 2 3)) (qs (quotient (minus 1) 3)) (qt (
quotient 2 3)) (qb (quotient (minus 1) 3)) (qc (quotient 2 3
)) (qt (quotient 2 3)) (qs (quotient (minus 1) 3)) (qb (
quotient (minus 1) 3)))
 $
model_input_comment:='"
This is Standard Model in unitary gauge, 
include electro-weak interaction and without QCD, 
Quark mixing terms are droped. "
 $
end;
 $
