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