add_fortran_list:='(af1);
 $
vpdlist:='((11 -1));
 $
funclist:='(v_ckm cg tp dmas);
 $
fermionprog:='(sf)
 $
bosonprog:='(s11 s1 s0)
 $
propagatorl:='(s2 s3 s4 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 pr6 pr9 pr13 pr15 pr17 pr21 pr28
pr36 w z p) (s0 pr1 pr5 pr8 pr19 pr25 pr31 gsg h0) (sf qt qc
qu tau mu ef qb qs qd nut numu nue) (s4 pr26 pr35) (s3 pr14
pr16 pr34) (s2 pr3 pr4 pr7 pr10 pr11 pr12 pr18 pr20 pr22 
pr23 pr24 pr27 pr29 pr30 pr32 pr33))
 $
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 pr30 pr31 pr32 pr33 pr34 pr35
pr36 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:='(((239 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) f344) (times (cons r1 vd) (cons r2
v) (cons r2 va) (cons r2 vb) (cons vc vf) f343) (times (cons
r2 v) (cons r2 va) (cons vb vd) (cons vc vf) f342))) nil nil
) ((238 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) f344) (times (cons r1 vd) (cons r2 v) (cons r2 va) (
cons r2 vb) (cons vc vf) f343) (times (cons r2 v) (cons r2 
va) (cons vb vd) (cons vc vf) f342))) nil nil) ((237 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) f341) (
times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons vc vf) f340) (times (cons r2 v) (cons r2 va) (cons vb 
vd) (cons vc vf) f339))) nil nil) ((236 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) f341) (times (cons r1
vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vf) f340)
(times (cons r2 v) (cons r2 va) (cons vb vd) (cons vc vf) 
f339))) nil nil) ((235 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) f338) (times (cons r1 vd) (cons r2
v) (cons r2 va) (cons r2 vb) (cons vc vf) f337) (times (cons
r2 v) (cons r2 va) (cons vb vd) (cons vc vf) f336))) nil nil
) ((234 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) f338) (times (cons r1 vd) (cons r2 v) (cons r2 va) (
cons r2 vb) (cons vc vf) f337) (times (cons r2 v) (cons r2 
va) (cons vb vd) (cons vc vf) f336))) nil nil) ((233 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) f335) (
times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons vc vf) f334) (times (cons r2 v) (cons r2 va) (cons vb 
vd) (cons vc vf) f333))) nil nil) ((232 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) f335) (times (cons r1
vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vf) f334)
(times (cons r2 v) (cons r2 va) (cons vb vd) (cons vc vf) 
f333))) nil nil) ((231 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) f332) (times (cons r1 vd) (cons r2
v) (cons r2 va) (cons r2 vb) (cons vc vf) f331) (times (cons
r2 v) (cons r2 va) (cons vb vd) (cons vc vf) f330))) nil nil
) ((230 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) f332) (times (cons r1 vd) (cons r2 v) (cons r2 va) (
cons r2 vb) (cons vc vf) f331) (times (cons r2 v) (cons r2 
va) (cons vb vd) (cons vc vf) f330))) nil nil) ((229 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) f329) (
times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons vc vf) f328) (times (cons r2 v) (cons r2 va) (cons vb 
vd) (cons vc vf) f327))) nil nil) ((228 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) f329) (times (cons r1
vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vf) f328)
(times (cons r2 v) (cons r2 va) (cons vb vd) (cons vc vf) 
f327))) nil nil) ((227 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) f326) (times (cons r1 vd) (cons r2
v) (cons r2 va) (cons r2 vb) (cons vc vf) f325) (times (cons
r2 v) (cons r2 va) (cons vb vd) (cons vc vf) f324))) nil nil
) ((226 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) f326) (times (cons r1 vd) (cons r2 v) (cons r2 va) (
cons r2 vb) (cons vc vf) f325) (times (cons r2 v) (cons r2 
va) (cons vb vd) (cons vc vf) f324))) nil nil) ((225 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) f323) (
times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons vc vf) f322) (times (cons r2 v) (cons r2 va) (cons vb 
vd) (cons vc vf) f321))) nil nil) ((224 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) f323) (times (cons r1
vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vf) f322)
(times (cons r2 v) (cons r2 va) (cons vb vd) (cons vc vf) 
f321))) nil nil) ((223 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) f320) (times (cons r1 vd) (cons r2
v) (cons r2 va) (cons r2 vb) (cons vc vf) f319) (times (cons
r2 v) (cons r2 va) (cons vb vd) (cons vc vf) f318))) nil nil
) ((222 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) f320) (times (cons r1 vd) (cons r2 v) (cons r2 va) (
cons r2 vb) (cons vc vf) f319) (times (cons r2 v) (cons r2 
va) (cons vb vd) (cons vc vf) f318))) nil nil) ((221 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) f317) (
times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons vc vf) f316) (times (cons r2 v) (cons r2 va) (cons vb 
vd) (cons vc vf) f315))) nil nil) ((220 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) f317) (times (cons r1
vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vf) f316)
(times (cons r2 v) (cons r2 va) (cons vb vd) (cons vc vf) 
f315))) nil nil) ((219 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) f314) (times (cons r1 vd) (cons r2
v) (cons r2 va) (cons r2 vb) (cons vc vf) f313) (times (cons
r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) 
f311) (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2
vc) (cons vd vf) f312) (times (cons r2 v) (cons r2 va) (cons
vb vd) (cons vc vf) f310))) nil nil) ((218 r2 r1 vb va v vf
vd vc) 0 (i (plus (minus (times (cons r1 vc) (cons r1 vd) (
cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) f309)) (
minus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons vb vf) f308)) (minus (times (cons r1 vc) (cons r2
v) (cons va vd) (cons vb vf) f307)) (minus (times (cons v vc
) (cons va vd) (cons vb vf) f306)))) nil nil) ((217 r2 r1 vb
va v vf vd vc) 0 (i (plus (times (cons r1 vc) (cons r1 vd) (
cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) f309) (
times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2 va) (
cons vb vf) f308) (times (cons r1 vc) (cons r2 v) (cons va 
vd) (cons vb vf) f307) (times (cons v vc) (cons va vd) (cons
vb vf) f306))) nil nil) ((216 r2 r1 vb va v vf vd vc) 0 (i (
plus (minus (times (cons r1 vc) (cons r1 vd) (cons r1 vf) (
cons r2 v) (cons r2 va) (cons r2 vb) f305)) (minus (times (
cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2 va) (cons vb 
vf) f304)) (minus (times (cons r1 vc) (cons r2 v) (cons va 
vd) (cons vb vf) f303)) (minus (times (cons v vc) (cons va 
vd) (cons vb vf) f302)))) nil nil) ((215 r2 r1 vb va v vf vd
vc) 0 (i (plus (times (cons r1 vc) (cons r1 vd) (cons r1 vf)
(cons r2 v) (cons r2 va) (cons r2 vb) f305) (times (cons r1
vc) (cons r1 vd) (cons r2 v) (cons r2 va) (cons vb vf) f304)
(times (cons r1 vc) (cons r2 v) (cons va vd) (cons vb vf) 
f303) (times (cons v vc) (cons va vd) (cons vb vf) f302))) 
nil nil) ((214 r2 r1 vb va v vf vd vc) 0 (1 (plus (times (
cons r1 vc) (cons r1 vd) (cons r1 vf) (cons r2 v) (cons r2 
va) (cons r2 vb) f301) (times (cons r1 vc) (cons r1 vd) (
cons r2 v) (cons r2 va) (cons vb vf) f300) (times (cons r1 
vc) (cons r1 vf) (cons r2 v) (cons r2 va) (cons vb vd) f298)
(times (cons r1 vc) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons vd vf) f299) (times (cons r1 vc) (cons r2 v) (cons va 
vd) (cons vb vf) f297) (times (cons r1 vf) (cons r2 v) (cons
va vc) (cons vb vd) f295) (times (cons r2 v) (cons r2 va) (
cons vb vc) (cons vd vf) f296) (times (cons v vc) (cons va 
vd) (cons vb vf) f294))) nil nil) ((213 r2 r1 vb va v vf vd
vc) 0 (1 (plus (times (cons r1 vc) (cons r1 vd) (cons r1 vf)
(cons r2 v) (cons r2 va) (cons r2 vb) f293) (times (cons r1
vc) (cons r1 vd) (cons r2 v) (cons r2 va) (cons vb vf) f292)
(times (cons r1 vc) (cons r1 vf) (cons r2 v) (cons r2 va) (
cons vb vd) f290) (times (cons r1 vc) (cons r2 v) (cons r2 
va) (cons r2 vb) (cons vd vf) f291) (times (cons r1 vc) (
cons r2 v) (cons va vd) (cons vb vf) f289) (times (cons r1 
vf) (cons r2 v) (cons va vc) (cons vb vd) f287) (times (cons
r2 v) (cons r2 va) (cons vb vc) (cons vd vf) f288) (times (
cons v vc) (cons va vd) (cons vb vf) f286))) nil nil) ((212
r2 r1 vc vb va v vd) 0 (1 (plus (minus (times (cons r1 vd) (
cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f285)) (
minus (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc
vd) f284)))) nil nil) ((211 r2 r1 vc vb va v vd) 0 (1 (plus
(times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons r2 vc) f285) (times (cons r2 v) (cons r2 va) (cons r2 
vb) (cons vc vd) f284))) nil nil) ((210 r2 r1 vc vb va v vd)
0 (1 (plus (minus (times (cons r1 vd) (cons r2 v) (cons r2 
va) (cons r2 vb) (cons r2 vc) f283)) (minus (times (cons r2
v) (cons r2 va) (cons r2 vb) (cons vc vd) f282)))) nil nil)
((209 r2 r1 vc vb va v vd) 0 (1 (plus (times (cons r1 vd) (
cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f283) (
times (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) 
f282))) nil nil) ((208 r2 r1 vc vb va v vd) 0 (1 (plus (
minus (times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2
vb) (cons r2 vc) f281)) (minus (times (cons r2 v) (cons r2 
va) (cons r2 vb) (cons vc vd) f280)))) nil nil) ((207 r2 r1
vc vb va v vd) 0 (1 (plus (times (cons r1 vd) (cons r2 v) (
cons r2 va) (cons r2 vb) (cons r2 vc) f281) (times (cons r2
v) (cons r2 va) (cons r2 vb) (cons vc vd) f280))) nil nil) (
(206 r2 r1 vc vb va v vd) 0 (1 (plus (minus (times (cons r1
vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f279)
) (minus (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons
vc vd) f278)))) nil nil) ((205 r2 r1 vc vb va v vd) 0 (1 (
plus (times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 
vb) (cons r2 vc) f279) (times (cons r2 v) (cons r2 va) (cons
r2 vb) (cons vc vd) f278))) nil nil) ((204 r2 r1 vc vb va v
vd) 0 (1 (plus (minus (times (cons r1 vd) (cons r2 v) (cons
r2 va) (cons r2 vb) (cons r2 vc) f277)) (minus (times (cons
r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) f276)))) nil 
nil) ((203 r2 r1 vc vb va v vd) 0 (1 (plus (times (cons r1 
vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f277)
(times (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) 
f276))) nil nil) ((202 r2 r1 vc vb va v vd) 0 (1 (plus (
minus (times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2
vb) (cons r2 vc) f275)) (minus (times (cons r2 v) (cons r2 
va) (cons r2 vb) (cons vc vd) f274)))) nil nil) ((201 r2 r1
vc vb va v vd) 0 (1 (plus (times (cons r1 vd) (cons r2 v) (
cons r2 va) (cons r2 vb) (cons r2 vc) f275) (times (cons r2
v) (cons r2 va) (cons r2 vb) (cons vc vd) f274))) nil nil) (
(200 r2 r1 vc vb va v vd) 0 (1 (plus (minus (times (cons r1
vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f273)
) (minus (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons
vc vd) f272)))) nil nil) ((199 r2 r1 vc vb va v vd) 0 (1 (
plus (times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 
vb) (cons r2 vc) f273) (times (cons r2 v) (cons r2 va) (cons
r2 vb) (cons vc vd) f272))) nil nil) ((198 r2 r1 vc vb va v
vd) 0 (1 (plus (minus (times (cons r1 vd) (cons r2 v) (cons
r2 va) (cons r2 vb) (cons r2 vc) f271)) (minus (times (cons
r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) f270)))) nil 
nil) ((197 r2 r1 vc vb va v vd) 0 (1 (plus (times (cons r1 
vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f271)
(times (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) 
f270))) nil nil) ((196 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) f269)) (minus (times (cons r1 vc) (cons r2
v) (cons r2 va) (cons vb vd) f268)) (minus (times (cons r2 v
) (cons va vc) (cons vb vd) f267)))) nil nil) ((195 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) f269) (times (cons r1 
vc) (cons r2 v) (cons r2 va) (cons vb vd) f268) (times (cons
r2 v) (cons va vc) (cons vb vd) f267))) nil nil) ((194 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) f266)) (minus (
times (cons r1 vc) (cons r2 v) (cons r2 va) (cons vb vd) 
f265)) (minus (times (cons r2 v) (cons va vc) (cons vb vd) 
f264)))) nil nil) ((193 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) f266) (times (cons r1 vc) (cons r2 v) (cons r2 
va) (cons vb vd) f265) (times (cons r2 v) (cons va vc) (cons
vb vd) f264))) nil nil) ((192 r2 r1 vb va v vd vc) 0 (i (
plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2 
va) (cons r2 vb) f263) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f262) (times (cons r2 v) (cons va vc) (
cons vb vd) f261))) nil nil) ((191 r2 r1 vb va v vd vc) 0 (i
(plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) f263) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f262) (times (cons r2 v) (cons va vc) (
cons vb vd) f261))) nil nil) ((190 r2 r1 vb va v vd vc) 0 (i
(plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) f260) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f259) (times (cons r2 v) (cons va vc) (
cons vb vd) f258))) nil nil) ((189 r2 r1 vb va v vd vc) 0 (i
(plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) f260) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f259) (times (cons r2 v) (cons va vc) (
cons vb vd) f258))) nil nil) ((188 r2 r1 vb va v vd vc) 0 (i
(plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) f257) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f256) (times (cons r2 v) (cons va vc) (
cons vb vd) f255))) nil nil) ((187 r2 r1 vb va v vd vc) 0 (i
(plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) f257) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f256) (times (cons r2 v) (cons va vc) (
cons vb vd) f255))) nil nil) ((186 r2 r1 vb va v vd vc) 0 (i
(plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) f254) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f253) (times (cons r2 v) (cons va vc) (
cons vb vd) f252))) nil nil) ((185 r2 r1 vb va v vd vc) 0 (i
(plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) f254) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f253) (times (cons r2 v) (cons va vc) (
cons vb vd) f252))) nil nil) ((184 r2 r1 vb va v vd vc) 0 (i
(plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) f251) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f250) (times (cons r2 v) (cons va vc) (
cons vb vd) f249))) nil nil) ((183 r2 r1 vb va v vd vc) 0 (i
(plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) f251) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f250) (times (cons r2 v) (cons va vc) (
cons vb vd) f249))) nil nil) ((182 r2 r1 vb va v vd vc) 0 (i
(plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) f248) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f247) (times (cons r2 v) (cons va vc) (
cons vb vd) f246))) nil nil) ((181 r2 r1 vb va v vd vc) 0 (i
(plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) f248) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f247) (times (cons r2 v) (cons va vc) (
cons vb vd) f246))) nil nil) ((180 r2 r1 vb va v vd vc) 0 (i
(plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) f245) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f244) (times (cons r2 v) (cons va vc) (
cons vb vd) f243))) nil nil) ((179 r2 r1 vb va v vd vc) 0 (i
(plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) f245) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f244) (times (cons r2 v) (cons va vc) (
cons vb vd) f243))) nil nil) ((178 r2 r1 vb va v vd vc) 0 (i
(plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) f242) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f241) (times (cons r2 v) (cons va vc) (
cons vb vd) f240))) nil nil) ((177 r2 r1 vb va v vd vc) 0 (i
(plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) f242) (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons vb vd) f241) (times (cons r2 v) (cons va vc) (
cons vb vd) f240))) nil nil) ((176 r2 vc vb va v) 0 (f239 (
times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc))) 
nil nil) ((175 r2 vc vb va v) 0 (f238 (times (cons r2 v) (
cons r2 va) (cons r2 vb) (cons r2 vc))) nil nil) ((174 r2 vc
vb va v) 0 (f238 (times (cons r2 v) (cons r2 va) (cons r2 vb
) (cons r2 vc))) nil nil) ((173 r2 vc vb va v) 0 (f237 (
times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc))) 
nil nil) ((172 r2 vc vb va v) 0 (f237 (times (cons r2 v) (
cons r2 va) (cons r2 vb) (cons r2 vc))) nil nil) ((171 r2 vc
vb va v) 0 (f236 (times (cons r2 v) (cons r2 va) (cons r2 vb
) (cons r2 vc))) nil nil) ((170 r2 vc vb va v) 0 (f236 (
times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc))) 
nil nil) ((169 r2 r1 vb va v vc) 0 (1 (plus (times (cons r1
vc) (cons r2 v) (cons r2 va) (cons r2 vb) f235) (times (cons
r2 v) (cons r2 va) (cons vb vc) f234))) nil nil) ((168 r2 r1
vb va v vc) 0 (i (plus (minus (times (cons r1 vc) (cons r2 v
) (cons r2 va) (cons r2 vb) f233)) (minus (times (cons r2 v)
(cons r2 va) (cons vb vc) f232)))) nil nil) ((167 r2 r1 vb 
va v vc) 0 (i (plus (times (cons r1 vc) (cons r2 v) (cons r2
va) (cons r2 vb) f233) (times (cons r2 v) (cons r2 va) (cons
vb vc) f232))) nil nil) ((166 r2 r1 vb va v vc) 0 (i (plus (
minus (times (cons r1 vc) (cons r2 v) (cons r2 va) (cons r2
vb) f231)) (minus (times (cons r2 v) (cons r2 va) (cons vb 
vc) f230)))) nil nil) ((165 r2 r1 vb va v vc) 0 (i (plus (
times (cons r1 vc) (cons r2 v) (cons r2 va) (cons r2 vb) 
f231) (times (cons r2 v) (cons r2 va) (cons vb vc) f230))) 
nil nil) ((164 r2 r1 vb va v vc) 0 (i (plus (minus (times (
cons r1 vc) (cons r2 v) (cons r2 va) (cons r2 vb) f229)) (
minus (times (cons r2 v) (cons r2 va) (cons vb vc) f228))))
nil nil) ((163 r2 r1 vb va v vc) 0 (i (plus (times (cons r1
vc) (cons r2 v) (cons r2 va) (cons r2 vb) f229) (times (cons
r2 v) (cons r2 va) (cons vb vc) f228))) nil nil) ((162 r2 r1
vb va v vc) 0 (i (plus (minus (times (cons r1 vc) (cons r2 v
) (cons r2 va) (cons r2 vb) f227)) (minus (times (cons r2 v)
(cons r2 va) (cons vb vc) f226)))) nil nil) ((161 r2 r1 vb 
va v vc) 0 (i (plus (times (cons r1 vc) (cons r2 v) (cons r2
va) (cons r2 vb) f227) (times (cons r2 v) (cons r2 va) (cons
vb vc) f226))) nil nil) ((160 r2 r1 vb va v vc) 0 (i (plus (
minus (times (cons r1 vc) (cons r2 v) (cons r2 va) (cons r2
vb) f225)) (minus (times (cons r2 v) (cons r2 va) (cons vb 
vc) f224)))) nil nil) ((159 r2 r1 vb va v vc) 0 (i (plus (
times (cons r1 vc) (cons r2 v) (cons r2 va) (cons r2 vb) 
f225) (times (cons r2 v) (cons r2 va) (cons vb vc) f224))) 
nil nil) ((158 r2 r1 vb va v vc) 0 (i (plus (minus (times (
cons r1 vc) (cons r2 v) (cons r2 va) (cons r2 vb) f223)) (
minus (times (cons r2 v) (cons r2 va) (cons vb vc) f222))))
nil nil) ((157 r2 r1 vb va v vc) 0 (i (plus (times (cons r1
vc) (cons r2 v) (cons r2 va) (cons r2 vb) f223) (times (cons
r2 v) (cons r2 va) (cons vb vc) f222))) nil nil) ((156 r2 r1
vb va v vc) 0 (i (plus (minus (times (cons r1 vc) (cons r2 v
) (cons r2 va) (cons r2 vb) f221)) (minus (times (cons r2 v)
(cons r2 va) (cons vb vc) f220)))) nil nil) ((155 r2 r1 vb 
va v vc) 0 (i (plus (times (cons r1 vc) (cons r2 v) (cons r2
va) (cons r2 vb) f221) (times (cons r2 v) (cons r2 va) (cons
vb vc) f220))) nil nil) ((154 r2 r1 va v vc vb) 0 (1 (plus (
times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) 
f219) (times (cons r1 vb) (cons r2 v) (cons va vc) f218) (
times (cons v vb) (cons va vc) f217))) nil nil) ((153 r2 r1
va v vc vb) 0 (1 (plus (times (cons r1 vb) (cons r1 vc) (
cons r2 v) (cons r2 va) f219) (times (cons r1 vb) (cons r2 v
) (cons va vc) f218) (times (cons v vb) (cons va vc) f217)))
nil nil) ((152 r2 r1 va v vc vb) 0 (1 (plus (times (cons r1
vb) (cons r1 vc) (cons r2 v) (cons r2 va) f216) (times (cons
r1 vb) (cons r2 v) (cons va vc) f215) (times (cons v vb) (
cons va vc) f214))) nil nil) ((151 r2 r1 va v vc vb) 0 (1 (
plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 
va) f216) (times (cons r1 vb) (cons r2 v) (cons va vc) f215)
(times (cons v vb) (cons va vc) f214))) nil nil) ((150 r2 r1
va v vc vb) 0 (1 (plus (times (cons r1 vb) (cons r1 vc) (
cons r2 v) (cons r2 va) f213) (times (cons r1 vb) (cons r2 v
) (cons va vc) f212) (times (cons v vb) (cons va vc) f211)))
nil nil) ((149 r2 r1 va v vc vb) 0 (1 (plus (times (cons r1
vb) (cons r1 vc) (cons r2 v) (cons r2 va) f213) (times (cons
r1 vb) (cons r2 v) (cons va vc) f212) (times (cons v vb) (
cons va vc) f211))) nil nil) ((148 r2 r1 vb v va vc) 0 (1 (
plus (minus (times (cons r1 vc) (cons r2 va) (eps r1 r2 v vb
) f210)) (minus (times (cons va vc) (eps r1 r2 v vb) f209)))
) nil nil) ((147 r2 r1 vb v va vc) 0 (1 (plus (minus (times
(cons r1 vc) (cons r2 va) (eps r1 r2 v vb) f210)) (minus (
times (cons va vc) (eps r1 r2 v vb) f209)))) nil nil) ((146
r2 r1 vb v va vc) 0 (1 (plus (minus (times (cons r1 vc) (
cons r2 va) (eps r1 r2 v vb) f208)) (minus (times (cons va 
vc) (eps r1 r2 v vb) f207)))) nil nil) ((145 r2 r1 vb v va 
vc) 0 (1 (plus (minus (times (cons r1 vc) (cons r2 va) (eps
r1 r2 v vb) f208)) (minus (times (cons va vc) (eps r1 r2 v 
vb) f207)))) nil nil) ((144 r2 r1 vb v va vc) 0 (1 (plus (
minus (times (cons r1 vc) (cons r2 va) (eps r1 r2 v vb) f206
)) (minus (times (cons va vc) (eps r1 r2 v vb) f205)))) nil
nil) ((143 r2 r1 vb v va vc) 0 (1 (plus (minus (times (cons
r1 vc) (cons r2 va) (eps r1 r2 v vb) f206)) (minus (times (
cons va vc) (eps r1 r2 v vb) f205)))) nil nil) ((142 r2 r1 
va v vc vb) 0 (1 (plus (times (cons r1 vb) (cons r1 vc) (
cons r2 v) (cons r2 va) f204) (times (cons r1 vb) (cons r2 v
) (cons va vc) f203) (times (cons v vb) (cons va vc) f202)))
nil nil) ((141 r2 r1 va v vc vb) 0 (1 (plus (times (cons r1
vb) (cons r1 vc) (cons r2 v) (cons r2 va) f204) (times (cons
r1 vb) (cons r2 v) (cons va vc) f203) (times (cons v vb) (
cons va vc) f202))) nil nil) ((140 r2 r1 va v vc vb) 0 (1 (
plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 
va) f201) (times (cons r1 vb) (cons r2 v) (cons va vc) f200)
(times (cons v vb) (cons va vc) f199))) nil nil) ((139 r2 r1
va v vc vb) 0 (1 (plus (times (cons r1 vb) (cons r1 vc) (
cons r2 v) (cons r2 va) f201) (times (cons r1 vb) (cons r2 v
) (cons va vc) f200) (times (cons v vb) (cons va vc) f199)))
nil nil) ((138 r2 r1 va v vc vb) 0 (1 (plus (times (cons r1
vb) (cons r1 vc) (cons r2 v) (cons r2 va) f198) (times (cons
r1 vb) (cons r2 v) (cons va vc) f197) (times (cons v vb) (
cons va vc) f196))) nil nil) ((137 r2 r1 va v vc vb) 0 (1 (
plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 
va) f198) (times (cons r1 vb) (cons r2 v) (cons va vc) f197)
(times (cons v vb) (cons va vc) f196))) nil nil) ((136 r2 r1
va v vc vb) 0 (1 (plus (times (cons r1 vb) (cons r1 vc) (
cons r2 v) (cons r2 va) f195) (times (cons r1 vb) (cons r2 v
) (cons va vc) f194) (times (cons v vb) (cons va vc) f193)))
nil nil) ((135 r2 r1 va v vc vb) 0 (1 (plus (times (cons r1
vb) (cons r1 vc) (cons r2 v) (cons r2 va) f195) (times (cons
r1 vb) (cons r2 v) (cons va vc) f194) (times (cons v vb) (
cons va vc) f193))) nil nil) ((134 r2 r1 va v vc vb) 0 (1 (
plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 
va) f192) (times (cons r1 vb) (cons r2 v) (cons va vc) f191)
(times (cons v vb) (cons va vc) f190))) nil nil) ((133 r2 r1
va v vc vb) 0 (1 (plus (times (cons r1 vb) (cons r1 vc) (
cons r2 v) (cons r2 va) f192) (times (cons r1 vb) (cons r2 v
) (cons va vc) f191) (times (cons v vb) (cons va vc) f190)))
nil nil) ((132 r2 r1 va v vc vb) 0 (1 (plus (times (cons r1
vb) (cons r1 vc) (cons r2 v) (cons r2 va) f189) (times (cons
r1 vb) (cons r2 v) (cons va vc) f188) (times (cons v vb) (
cons va vc) f187))) nil nil) ((131 r2 r1 va v vc vb) 0 (1 (
plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 
va) f189) (times (cons r1 vb) (cons r2 v) (cons va vc) f188)
(times (cons v vb) (cons va vc) f187))) nil nil) ((130 r2 r1
va v vc vb) 0 (1 (plus (times (cons r1 vb) (cons r1 vc) (
cons r2 v) (cons r2 va) f186) (times (cons r1 vb) (cons r2 v
) (cons va vc) f185) (times (cons v vb) (cons va vc) f184)))
nil nil) ((129 r2 r1 va v vc vb) 0 (1 (plus (times (cons r1
vb) (cons r1 vc) (cons r2 v) (cons r2 va) f186) (times (cons
r1 vb) (cons r2 v) (cons va vc) f185) (times (cons v vb) (
cons va vc) f184))) nil nil) ((128 r2 r1 va v vc vb) 0 (1 (
plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 
va) f183) (times (cons r1 vb) (cons r2 v) (cons va vc) f182)
(times (cons r1 vc) (cons r2 v) (cons va vb) f180) (times (
cons r2 v) (cons r2 va) (cons vb vc) f181) (times (cons v vb
) (cons va vc) f179))) nil nil) ((127 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f178) (times (cons r1 vb) (cons r2 v) (cons va vc) f177)
(times (cons r1 vc) (cons r2 v) (cons va vb) f175) (times (
cons r2 v) (cons r2 va) (cons vb vc) f176) (times (cons v vb
) (cons va vc) f174))) nil nil) ((126 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f173) (times (cons r1 vb) (cons r2 v) (cons va vc) f172)
(times (cons r1 vc) (cons r2 v) (cons va vb) f170) (times (
cons r2 v) (cons r2 va) (cons vb vc) f171) (times (cons v vb
) (cons va vc) f169))) nil nil) ((125 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f168) (times (cons r1 vb) (cons r2 v) (cons va vc) f167)
(times (cons r1 vc) (cons r2 v) (cons va vb) f165) (times (
cons r2 v) (cons r2 va) (cons vb vc) f166) (times (cons v vb
) (cons va vc) f164))) nil nil) ((124 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f163) (times (cons r1 vb) (cons r2 v) (cons va vc) f162)
(times (cons r1 vc) (cons r2 v) (cons va vb) f160) (times (
cons r2 v) (cons r2 va) (cons vb vc) f161) (times (cons v vb
) (cons va vc) f159))) nil nil) ((123 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f158) (times (cons r1 vb) (cons r2 v) (cons va vc) f157)
(times (cons r1 vc) (cons r2 v) (cons va vb) f155) (times (
cons r2 v) (cons r2 va) (cons vb vc) f156) (times (cons v vb
) (cons va vc) f154))) nil nil) ((122 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f153) (times (cons r1 vb) (cons r2 v) (cons va vc) f152)
(times (cons r1 vc) (cons r2 v) (cons va vb) f150) (times (
cons r2 v) (cons r2 va) (cons vb vc) f151) (times (cons v vb
) (cons va vc) f149))) nil nil) ((121 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f148) (times (cons r1 vb) (cons r2 v) (cons va vc) f147)
(times (cons r1 vc) (cons r2 v) (cons va vb) f145) (times (
cons r2 v) (cons r2 va) (cons vb vc) f146) (times (cons v vb
) (cons va vc) f144))) nil nil) ((120 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f143) (times (cons r1 vb) (cons r2 v) (cons va vc) f142)
(times (cons r1 vc) (cons r2 v) (cons va vb) f140) (times (
cons r2 v) (cons r2 va) (cons vb vc) f141) (times (cons v vb
) (cons va vc) f139))) nil nil) ((119 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f138) (times (cons r1 vb) (cons r2 v) (cons va vc) f137)
(times (cons r1 vc) (cons r2 v) (cons va vb) f135) (times (
cons r2 v) (cons r2 va) (cons vb vc) f136) (times (cons v vb
) (cons va vc) f134))) nil nil) ((118 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f133) (times (cons r1 vb) (cons r2 v) (cons va vc) f132)
(times (cons r1 vc) (cons r2 v) (cons va vb) f130) (times (
cons r2 v) (cons r2 va) (cons vb vc) f131) (times (cons v vb
) (cons va vc) f129))) nil nil) ((117 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f128) (times (cons r1 vb) (cons r2 v) (cons va vc) f127)
(times (cons r1 vc) (cons r2 v) (cons va vb) f125) (times (
cons r2 v) (cons r2 va) (cons vb vc) f126) (times (cons v vb
) (cons va vc) f124))) nil nil) ((116 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f123) (times (cons r1 vb) (cons r2 v) (cons va vc) f122)
(times (cons r1 vc) (cons r2 v) (cons va vb) f120) (times (
cons r2 v) (cons r2 va) (cons vb vc) f121) (times (cons v vb
) (cons va vc) f119))) nil nil) ((115 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f118) (times (cons r1 vb) (cons r2 v) (cons va vc) f117)
(times (cons r1 vc) (cons r2 v) (cons va vb) f115) (times (
cons r2 v) (cons r2 va) (cons vb vc) f116) (times (cons v vb
) (cons va vc) f114))) nil nil) ((114 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f113) (times (cons r1 vb) (cons r2 v) (cons va vc) f112)
(times (cons r1 vc) (cons r2 v) (cons va vb) f110) (times (
cons r2 v) (cons r2 va) (cons vb vc) f111) (times (cons v vb
) (cons va vc) f109))) nil nil) ((113 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)
(times (cons r1 vc) (cons r2 v) (cons va vb) f105) (times (
cons r2 v) (cons r2 va) (cons vb vc) f106) (times (cons v vb
) (cons va vc) f104))) nil nil) ((112 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f103) (times (cons r1 vb) (cons r2 v) (cons va vc) f102)
(times (cons r1 vc) (cons r2 v) (cons va vb) f100) (times (
cons r2 v) (cons r2 va) (cons vb vc) f101) (times (cons v vb
) (cons va vc) f99))) nil nil) ((111 r2 r1 va v vc vb) 0 (1
(plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2
va) f98) (times (cons r1 vb) (cons r2 v) (cons va vc) f97) (
times (cons r1 vc) (cons r2 v) (cons va vb) f95) (times (
cons r2 v) (cons r2 va) (cons vb vc) f96) (times (cons v vb)
(cons va vc) f94))) nil nil) ((110 r2 r1 va v vc vb) 0 (1 (
plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 
va) f93) (times (cons r1 vb) (cons r2 v) (cons va vc) f92) (
times (cons r1 vc) (cons r2 v) (cons va vb) f90) (times (
cons r2 v) (cons r2 va) (cons vb vc) f91) (times (cons v vb)
(cons va vc) f89))) nil nil) ((109 r2 vb va v) 0 (f88 (times
(cons r2 v) (cons r2 va) (cons r2 vb))) nil nil) ((108 r2 vb
va v) 0 (f87 (times (cons r2 v) (cons r2 va) (cons r2 vb)))
nil nil) ((107 r2 vb va v) 0 ((times f86 i) (times (cons r2
v) (cons r2 va) (cons r2 vb))) nil nil) ((106 r2 vb va v) 0
((times f86 i) (times (cons r2 v) (cons r2 va) (cons r2 vb))
) nil nil) ((105 r2 vb va v) 0 ((times f85 i) (times (cons 
r2 v) (cons r2 va) (cons r2 vb))) nil nil) ((104 r2 vb va v)
0 ((times f85 i) (times (cons r2 v) (cons r2 va) (cons r2 vb
))) nil nil) ((103 r2 vb va v) 0 ((times f84 i) (times (cons
r2 v) (cons r2 va) (cons r2 vb))) nil nil) ((102 r2 vb va v)
0 ((times f84 i) (times (cons r2 v) (cons r2 va) (cons r2 vb
))) nil nil) ((101 r2 r1 va v vb) 0 (1 (plus (minus (times (
cons r1 vb) (cons r2 v) (cons r2 va) f83)) (minus (times (
cons r2 v) (cons va vb) f82)))) nil nil) ((100 r2 r1 va v vb
) 0 (1 (plus (times (cons r1 vb) (cons r2 v) (cons r2 va) 
f83) (times (cons r2 v) (cons va vb) f82))) nil nil) ((99 r2
r1 va v vb) 0 (1 (plus (minus (times (cons r1 vb) (cons r2 v
) (cons r2 va) f81)) (minus (times (cons r2 v) (cons va vb)
f80)))) nil nil) ((98 r2 r1 va v vb) 0 (1 (plus (times (cons
r1 vb) (cons r2 v) (cons r2 va) f81) (times (cons r2 v) (
cons va vb) f80))) nil nil) ((97 r2 r1 va v vb) 0 (1 (plus (
minus (times (cons r1 vb) (cons r2 v) (cons r2 va) f79)) (
minus (times (cons r2 v) (cons va vb) f78)))) nil nil) ((96
r2 r1 va v vb) 0 (1 (plus (times (cons r1 vb) (cons r2 v) (
cons r2 va) f79) (times (cons r2 v) (cons va vb) f78))) nil
nil) ((95 r2 r1 va v vb) 0 (1 (plus (minus (times (cons r1 
vb) (cons r2 v) (cons r2 va) f77)) (minus (times (cons r2 v)
(cons va vb) f76)))) nil nil) ((94 r2 r1 va v vb) 0 (1 (plus
(times (cons r1 vb) (cons r2 v) (cons r2 va) f77) (times (
cons r2 v) (cons va vb) f76))) nil nil) ((93 r2 r1 va v vb)
0 (1 (plus (minus (times (cons r1 vb) (cons r2 v) (cons r2 
va) f75)) (minus (times (cons r2 v) (cons va vb) f74)))) nil
nil) ((92 r2 r1 va v vb) 0 (1 (plus (times (cons r1 vb) (
cons r2 v) (cons r2 va) f75) (times (cons r2 v) (cons va vb)
f74))) nil nil) ((91 r2 r1 va v vb) 0 (1 (plus (minus (times
(cons r1 vb) (cons r2 v) (cons r2 va) f73)) (minus (times (
cons r2 v) (cons va vb) f72)))) nil nil) ((90 r2 r1 va v vb)
0 (1 (plus (times (cons r1 vb) (cons r2 v) (cons r2 va) f73)
(times (cons r2 v) (cons va vb) f72))) nil nil) ((89 r1 r2 
vb v va) 0 (f71 (times (cons r2 va) (eps r1 r2 v vb))) nil 
nil) ((88 r1 r2 vb v va) 0 (f71 (minus (times (cons r2 va) (
eps r1 r2 v vb)))) nil nil) ((87 r1 r2 vb v va) 0 (f70 (
times (cons r2 va) (eps r1 r2 v vb))) nil nil) ((86 r1 r2 vb
v va) 0 (f70 (minus (times (cons r2 va) (eps r1 r2 v vb))))
nil nil) ((85 r1 r2 vb v va) 0 (f69 (times (cons r2 va) (eps
r1 r2 v vb))) nil nil) ((84 r1 r2 vb v va) 0 (f69 (minus (
times (cons r2 va) (eps r1 r2 v vb)))) nil nil) ((83 r1 r2 
vb v va) 0 (f68 (times (cons r2 va) (eps r1 r2 v vb))) nil 
nil) ((82 r1 r2 vb v va) 0 (f68 (minus (times (cons r2 va) (
eps r1 r2 v vb)))) nil nil) ((81 r2 r1 va v vb) 0 (1 (plus (
minus (times (cons r1 vb) (cons r2 v) (cons r2 va) f67)) (
minus (times (cons r2 v) (cons va vb) f66)))) nil nil) ((80
r2 r1 va v vb) 0 (1 (plus (times (cons r1 vb) (cons r2 v) (
cons r2 va) f67) (times (cons r2 v) (cons va vb) f66))) nil
nil) ((79 r2 r1 va v vb) 0 (1 (plus (minus (times (cons r1 
vb) (cons r2 v) (cons r2 va) f65)) (minus (times (cons r2 v)
(cons va vb) f64)))) nil nil) ((78 r2 r1 va v vb) 0 (1 (plus
(times (cons r1 vb) (cons r2 v) (cons r2 va) f65) (times (
cons r2 v) (cons va vb) f64))) nil nil) ((77 r2 r1 va v vb)
0 (1 (plus (minus (times (cons r1 vb) (cons r2 v) (cons r2 
va) f63)) (minus (times (cons r2 v) (cons va vb) f62)))) nil
nil) ((76 r2 r1 va v vb) 0 (1 (plus (times (cons r1 vb) (
cons r2 v) (cons r2 va) f63) (times (cons r2 v) (cons va vb)
f62))) nil nil) ((75 r2 r1 va v vb) 0 (1 (plus (minus (times
(cons r1 vb) (cons r2 v) (cons r2 va) f61)) (minus (times (
cons r2 v) (cons va vb) f60)))) nil nil) ((74 r2 r1 va v vb)
0 (1 (plus (times (cons r1 vb) (cons r2 v) (cons r2 va) f61)
(times (cons r2 v) (cons va vb) f60))) nil nil) ((73 r2 r1 
va v vb) 0 (1 (plus (minus (times (cons r1 vb) (cons r2 v) (
cons r2 va) f59)) (minus (times (cons r2 v) (cons va vb) f58
)))) nil nil) ((72 r2 r1 va v vb) 0 (1 (plus (times (cons r1
vb) (cons r2 v) (cons r2 va) f59) (times (cons r2 v) (cons 
va vb) f58))) nil nil) ((71 r2 r1 va v vb) 0 (1 (plus (minus
(times (cons r1 vb) (cons r2 v) (cons r2 va) f57)) (minus (
times (cons r2 v) (cons va vb) f56)))) nil nil) ((70 r2 r1 
va v vb) 0 (1 (plus (times (cons r1 vb) (cons r2 v) (cons r2
va) f57) (times (cons r2 v) (cons va vb) f56))) nil nil) ((
69 r2 r1 va v vb) 0 (1 (plus (minus (times (cons r1 vb) (
cons r2 v) (cons r2 va) f55)) (minus (times (cons r2 v) (
cons va vb) f54)))) nil nil) ((68 r2 r1 va v vb) 0 (1 (plus
(times (cons r1 vb) (cons r2 v) (cons r2 va) f55) (times (
cons r2 v) (cons va vb) f54))) nil nil) ((67 r2 va v) 0 (f53
(times (cons r2 v) (cons r2 va))) nil nil) ((66 r2 va v) 0 (
f52 (times (cons r2 v) (cons r2 va))) nil nil) ((65 r2 va v)
0 (f52 (times (cons r2 v) (cons r2 va))) nil nil) ((64 r2 va
v) 0 (f51 (times (cons r2 v) (cons r2 va))) nil nil) ((63 r2
va v) 0 (f50 (times (cons r2 v) (cons r2 va))) nil nil) ((62
r2 va v) 0 (f50 (times (cons r2 v) (cons r2 va))) nil nil) (
(61 r2 va v) 0 (f49 (times (cons r2 v) (cons r2 va))) nil 
nil) ((60 r2 va v) 0 (f48 (times (cons r2 v) (cons r2 va)))
nil nil) ((59 r2 va v) 0 (f47 (times (cons r2 v) (cons r2 va
))) nil nil) ((58 r2 va v) 0 (f46 (times (cons r2 v) (cons 
r2 va))) nil nil) ((57 r2 va v) 0 (f45 (times (cons r2 v) (
cons r2 va))) nil nil) ((56 r2 va v) 0 (f44 (times (cons r2
v) (cons r2 va))) nil nil) ((55 r2 va v) 0 (f43 (times (cons
r2 v) (cons r2 va))) nil nil) ((54 r2 va v) 0 (f42 (times (
cons r2 v) (cons r2 va))) nil nil) ((53 r2 va v) 0 (f41 (
times (cons r2 v) (cons r2 va))) nil nil) ((52 r2 va v) 0 (
f40 (times (cons r2 v) (cons r2 va))) nil nil) ((51 r2 va v)
0 (f40 (times (cons r2 v) (cons r2 va))) nil nil) ((50 r2 va
v) 0 (f39 (times (cons r2 v) (cons r2 va))) nil nil) ((49 r2
va v) 0 (f39 (times (cons r2 v) (cons r2 va))) nil nil) ((48
r2 va v) 0 (f38 (times (cons r2 v) (cons r2 va))) nil nil) (
(47 r2 va v) 0 (f38 (times (cons r2 v) (cons r2 va))) nil 
nil) ((46 r2 r1 v va) 0 (i (plus (minus (times (cons r1 va)
(cons r2 v) f37)) (minus (times (cons v va) f36)))) nil nil)
((45 r2 r1 v va) 0 (i (plus (times (cons r1 va) (cons r2 v)
f37) (times (cons v va) f36))) nil nil) ((44 r2 r1 v va) 0 (
1 (plus (times (cons r1 va) (cons r2 v) f35) (times (cons v
va) f34))) nil nil) ((43 r2 r1 v va) 0 (1 (plus (times (cons
r1 va) (cons r2 v) f33) (times (cons v va) f32))) nil nil) (
(42 r2 r1 v va) 0 (1 (plus (times (cons r1 va) (cons r2 v) 
f31) (times (cons v va) f30))) nil nil) ((41 r2 r1 v va) 0 (
1 (plus (times (cons r1 va) (cons r2 v) f29) (times (cons v
va) f28))) nil nil) ((40 r2 r1 v va) 0 (1 (plus (times (cons
r1 va) (cons r2 v) f27) (times (cons v va) f26))) nil nil) (
(39 r2 r1 v va) 0 (1 (plus (times (cons r1 va) (cons r2 v) 
f25) (times (cons v va) f24))) nil nil) ((38 r2 r1 v va) 0 (
1 (plus (times (cons r1 va) (cons r2 v) f23) (times (cons v
va) f22))) nil nil) ((37 r2 r1 v va) 0 (i (plus (minus (
times (cons r1 va) (cons r2 v) f21)) (minus (times (cons v 
va) f20)))) nil nil) ((36 r2 r1 v va) 0 (i (plus (times (
cons r1 va) (cons r2 v) f21) (times (cons v va) f20))) nil 
nil) ((35 r2 v) 0 (f19 (cons r2 v)) nil nil) ((34 r2 v) 0 (
f18 (minus (cons r2 v))) nil nil) ((33 r2 v) 0 (f18 (cons r2
v)) nil nil) ((32 r2 v) 0 (f17 (cons r2 v)) nil nil) ((31 r2
v) 0 (f16 (cons r2 v)) nil nil) ((30 r2 v) 0 (f15 (cons r2 v
)) nil nil) ((29 r2 v) 0 (f14 (cons r2 v)) nil nil) ((28 r2
v) 0 (f13 (cons r2 v)) nil nil) ((27 r2 v) 0 (f12 (cons r2 v
)) nil nil) ((26 r2 v) 0 (f11 (cons r2 v)) nil nil) ((25 r2
v) 0 (f10 (minus (cons r2 v))) nil nil) ((24 r2 v) 0 (f10 (
cons r2 v)) nil nil) ((23) 0 (f9 1) nil nil) ((22) 0 (f8 1)
nil nil) ((21) 0 (f7 1) nil nil) ((20) 0 (f6 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))) ((19 l v) 0 (f5 (g l v)) nil nil) ((18
l v) 0 (f4 (g l v)) nil nil) ((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;
 $
