add_fortran_list:='(af1);
 $
vpdlist:='((11 -1));
 $
funclist:='(v_ckm cg tp dmas);
 $
fermionprog:='(sf)
 $
bosonprog:='(s11 s1 s0)
 $
propagatorl:='(s3 s6 sf3 sf7 sf5 s11 s1 s0 sf)
 $
ss_dmas_list:='(s1)
 $
new_const_list:='nil
 $
bound_state_vertex_list:='nil
 $
color_vertices:='nil
 $
fcolor_vertices:='nil
 $
splist:='((s11 gs) (s1 pr4 pr6 pr8 w z p) (s0 pr1 pr3 pr5 
pr9 pr11 gsg h0) (sf pr2 pr12 pr14 pr15 pr19 pr29 pr30 pr31
pr35 pr36 pr37 pr38 pr40 qt qc qu tau mu ef qb qs qd nut 
numu nue) (sf5 pr16 pr17 pr23 pr39 pr42 pr45) (sf7 pr22 pr44
) (sf3 pr13 pr18 pr20 pr21 pr24 pr25 pr26 pr27 pr28 pr32 
pr33 pr34 pr41 pr43) (s6 pr10) (s3 pr7))
 $
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 pr37 pr38 pr39 pr40 pr41 pr42 pr43 pr44 pr45 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:='(((524 l r2 vb va v vc) 0 (1 (plus (minus
(times (g l a vc) (cons r2 v) (cons r2 va) (cons r2 vb) f377
)) (minus (times (g l a) (cons r2 v) (cons r2 va) (cons r2 
vb) (cons r2 vc) f375)) (minus (times (g l a) (cons r2 v) (
cons r2 va) (cons vb vc) f376)))) nil nil) ((523 l r2 vb va
v vc) 0 (1 (plus (times (g l a vc) (cons r2 v) (cons r2 va)
(cons r2 vb) f377) (times (g l a) (cons r2 v) (cons r2 va) (
cons r2 vb) (cons r2 vc) f375) (times (g l a) (cons r2 v) (
cons r2 va) (cons vb vc) f376))) nil nil) ((522 l r2 vb va v
vc) 0 (1 (plus (minus (times (g l a vc) (cons r2 v) (cons r2
va) (cons r2 vb) f374)) (minus (times (g l a) (cons r2 v) (
cons r2 va) (cons r2 vb) (cons r2 vc) f372)) (minus (times (
g l a) (cons r2 v) (cons r2 va) (cons vb vc) f373)))) nil 
nil) ((521 l r2 vb va v vc) 0 (1 (plus (times (g l a vc) (
cons r2 v) (cons r2 va) (cons r2 vb) f374) (times (g l a) (
cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f372) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f373)))
nil nil) ((520 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f370) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f371)))
nil nil) ((519 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f370) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f371)))
nil nil) ((518 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f368) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f369)))
nil nil) ((517 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f368) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f369)))
nil nil) ((516 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f366) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f367)))
nil nil) ((515 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f366) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f367)))
nil nil) ((514 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f364) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f365)))
nil nil) ((513 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f364) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f365)))
nil nil) ((512 l r3 r2 vc vb va v) 0 (1 (plus (times (cons 
r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f362) (times (
cons r2 v) (cons r2 va) (cons vb vc) f363))) nil nil) ((511
l r3 r2 vc vb va v) 0 (1 (plus (times (cons r2 v) (cons r2 
va) (cons r2 vb) (cons r3 vc) f362) (times (cons r2 v) (cons
r2 va) (cons vb vc) f363))) nil nil) ((510 l r3 r2 vc vb va
v) 0 (1 (plus (times (cons r2 v) (cons r2 va) (cons r2 vb) (
cons r3 vc) f360) (times (cons r2 v) (cons r2 va) (cons vb 
vc) f361))) nil nil) ((509 l r3 r2 vc vb va v) 0 (1 (plus (
times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) 
f360) (times (cons r2 v) (cons r2 va) (cons vb vc) f361))) 
nil nil) ((508 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f358) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f359)))
nil nil) ((507 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f358) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f359)))
nil nil) ((506 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f356) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f357)))
nil nil) ((505 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f356) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f357)))
nil nil) ((504 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f354) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f355)))
nil nil) ((503 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f354) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f355)))
nil nil) ((502 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f352) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f353)))
nil nil) ((501 l r3 r2 vc vb va v) 0 (i (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f352) (
times (g l a) (cons r2 v) (cons r2 va) (cons vb vc) f353)))
nil nil) ((500 l r3 r2 vc vb va v) 0 (1 (plus (times (cons 
r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) f350) (times (
cons r2 v) (cons r2 va) (cons vb vc) f351))) nil nil) ((499
l r3 r2 vc vb va v) 0 (1 (plus (times (cons r2 v) (cons r2 
va) (cons r2 vb) (cons r3 vc) f350) (times (cons r2 v) (cons
r2 va) (cons vb vc) f351))) nil nil) ((498 l r3 r2 vc vb va
v) 0 (1 (plus (times (cons r2 v) (cons r2 va) (cons r2 vb) (
cons r3 vc) f348) (times (cons r2 v) (cons r2 va) (cons vb 
vc) f349))) nil nil) ((497 l r3 r2 vc vb va v) 0 (1 (plus (
times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r3 vc) 
f348) (times (cons r2 v) (cons r2 va) (cons vb vc) f349))) 
nil nil) ((496 l r2 vb va v) 0 (1 (plus (times (cons r2 v) (
cons r2 va) (cons r2 vb) f346) (times (g l v) (cons r2 va) (
cons r2 vb) f347))) nil nil) ((495 l r2 vb va v) 0 (1 (plus
(minus (times (cons r2 v) (cons r2 va) (cons r2 vb) f343)) (
minus (times (cons r2 v) (cons va vb) f344)) (times (g l vb)
(cons r2 v) (cons r2 va) f345))) nil nil) ((494 l r2 vb va v
) 0 (1 (plus (times (cons r2 v) (cons r2 va) (cons r2 vb) 
f343) (times (cons r2 v) (cons va vb) f344) (times (g l vb)
(cons r2 v) (cons r2 va) f345))) nil nil) ((493 l r2 vb va v
) 0 (1 (plus (minus (times (cons r2 v) (cons r2 va) (cons r2
vb) f340)) (minus (times (cons r2 v) (cons va vb) f341)) (
times (g l vb) (cons r2 v) (cons r2 va) f342))) nil nil) ((
492 l r2 vb va v) 0 (1 (plus (times (cons r2 v) (cons r2 va)
(cons r2 vb) f340) (times (cons r2 v) (cons va vb) f341) (
times (g l vb) (cons r2 v) (cons r2 va) f342))) nil nil) ((
491 l r2 va v vb) 0 (i (plus (minus (times (g l a vb) (cons
r2 v) (cons r2 va) f339)) (minus (times (g l a) (cons r2 v)
(cons r2 va) (cons r2 vb) f337)) (minus (times (g l a) (cons
r2 v) (cons va vb) f338)))) nil nil) ((490 l r2 va v vb) 0 (
i (plus (times (g l a vb) (cons r2 v) (cons r2 va) f339) (
times (g l a) (cons r2 v) (cons r2 va) (cons r2 vb) f337) (
times (g l a) (cons r2 v) (cons va vb) f338))) nil nil) ((
489 l r2 vb va v) 0 (1 (plus (minus (times (cons r2 v) (cons
r2 va) (cons r2 vb) f334)) (minus (times (cons r2 v) (cons 
va vb) f335)) (times (g l vb) (cons r2 v) (cons r2 va) f336)
)) nil nil) ((488 l r2 vb va v) 0 (1 (plus (times (cons r2 v
) (cons r2 va) (cons r2 vb) f334) (times (cons r2 v) (cons 
va vb) f335) (times (g l vb) (cons r2 v) (cons r2 va) f336))
) nil nil) ((487 l r3 r2 vb va v) 0 (1 (plus (times (g l a)
(cons r2 v) (cons r2 va) (cons r3 vb) f332) (times (g l a) (
cons r2 v) (cons va vb) f333))) nil nil) ((486 l r3 r2 vb va
v) 0 (1 (plus (times (g l a) (cons r2 v) (cons r2 va) (cons
r3 vb) f332) (times (g l a) (cons r2 v) (cons va vb) f333)))
nil nil) ((485 l r3 r2 vb va v) 0 (1 (plus (times (g l a) (
cons r2 v) (cons r2 va) (cons r3 vb) f330) (times (g l a) (
cons r2 v) (cons va vb) f331))) nil nil) ((484 l r3 r2 vb va
v) 0 (1 (plus (times (g l a) (cons r2 v) (cons r2 va) (cons
r3 vb) f330) (times (g l a) (cons r2 v) (cons va vb) f331)))
nil nil) ((483 l r3 r2 vb va v) 0 (i (plus (times (cons r2 v
) (cons r2 va) (cons r3 vb) f328) (times (cons r2 v) (cons 
va vb) f329))) nil nil) ((482 l r3 r2 vb va v) 0 (i (plus (
times (cons r2 v) (cons r2 va) (cons r3 vb) f328) (times (
cons r2 v) (cons va vb) f329))) nil nil) ((481 l r3 r2 vb va
v) 0 (i (plus (times (cons r2 v) (cons r2 va) (cons r3 vb) 
f326) (times (cons r2 v) (cons va vb) f327))) nil nil) ((480
l r3 r2 vb va v) 0 (i (plus (times (cons r2 v) (cons r2 va)
(cons r3 vb) f326) (times (cons r2 v) (cons va vb) f327))) 
nil nil) ((479 l r3 r2 vb va v) 0 (i (plus (times (cons r2 v
) (cons r2 va) (cons r3 vb) f324) (times (cons r2 v) (cons 
va vb) f325))) nil nil) ((478 l r3 r2 vb va v) 0 (i (plus (
times (cons r2 v) (cons r2 va) (cons r3 vb) f324) (times (
cons r2 v) (cons va vb) f325))) nil nil) ((477 l r3 r2 vb va
v) 0 (i (plus (times (cons r2 v) (cons r2 va) (cons r3 vb) 
f322) (times (cons r2 v) (cons va vb) f323))) nil nil) ((476
l r3 r2 vb va v) 0 (i (plus (times (cons r2 v) (cons r2 va)
(cons r3 vb) f322) (times (cons r2 v) (cons va vb) f323))) 
nil nil) ((475 l r3 r2 vb va v) 0 (i (plus (times (cons r2 v
) (cons r2 va) (cons r3 vb) f320) (times (cons r2 v) (cons 
va vb) f321))) nil nil) ((474 l r3 r2 vb va v) 0 (i (plus (
times (cons r2 v) (cons r2 va) (cons r3 vb) f320) (times (
cons r2 v) (cons va vb) f321))) nil nil) ((473 l r3 r2 vb va
v) 0 (i (plus (times (cons r2 v) (cons r2 va) (cons r3 vb) 
f318) (times (cons r2 v) (cons va vb) f319))) nil nil) ((472
l r3 r2 vb va v) 0 (i (plus (times (cons r2 v) (cons r2 va)
(cons r3 vb) f318) (times (cons r2 v) (cons va vb) f319))) 
nil nil) ((471 l r3 r2 vb va v) 0 (1 (plus (times (g l a) (
cons r2 v) (cons r2 va) (cons r3 vb) f316) (times (g l a) (
cons r2 v) (cons va vb) f317))) nil nil) ((470 l r3 r2 vb va
v) 0 (1 (plus (times (g l a) (cons r2 v) (cons r2 va) (cons
r3 vb) f316) (times (g l a) (cons r2 v) (cons va vb) f317)))
nil nil) ((469 l r3 r2 vb va v) 0 (1 (plus (times (g l a) (
cons r2 v) (cons r2 va) (cons r3 vb) f314) (times (g l a) (
cons r2 v) (cons va vb) f315))) nil nil) ((468 l r3 r2 vb va
v) 0 (1 (plus (times (g l a) (cons r2 v) (cons r2 va) (cons
r3 vb) f314) (times (g l a) (cons r2 v) (cons va vb) f315)))
nil nil) ((467 l r3 r2 vb va v) 0 (i (plus (times (cons r2 v
) (cons r2 va) (cons r3 vb) f312) (times (cons r2 v) (cons 
va vb) f313))) nil nil) ((466 l r3 r2 vb va v) 0 (i (plus (
times (cons r2 v) (cons r2 va) (cons r3 vb) f312) (times (
cons r2 v) (cons va vb) f313))) nil nil) ((465 l r3 r2 vb va
v) 0 (i (plus (times (cons r2 v) (cons r2 va) (cons r3 vb) 
f310) (times (cons r2 v) (cons va vb) f311))) nil nil) ((464
l r3 r2 vb va v) 0 (i (plus (times (cons r2 v) (cons r2 va)
(cons r3 vb) f310) (times (cons r2 v) (cons va vb) f311))) 
nil nil) ((463 l r3 r2 vb va v) 0 (i (plus (times (cons r2 v
) (cons r2 va) (cons r3 vb) f308) (times (cons r2 v) (cons 
va vb) f309))) nil nil) ((462 l r3 r2 vb va v) 0 (i (plus (
times (cons r2 v) (cons r2 va) (cons r3 vb) f308) (times (
cons r2 v) (cons va vb) f309))) nil nil) ((461 l r3 r2 vb va
v) 0 (i (plus (times (cons r2 v) (cons r2 va) (cons r3 vb) 
f306) (times (cons r2 v) (cons va vb) f307))) nil nil) ((460
l r3 r2 vb va v) 0 (i (plus (times (cons r2 v) (cons r2 va)
(cons r3 vb) f306) (times (cons r2 v) (cons va vb) f307))) 
nil nil) ((459 l r3 r2 vb va v) 0 (1 (plus (times (g l a) (
cons r2 v) (cons r2 va) (cons r3 vb) f304) (times (g l a) (
cons r2 v) (cons va vb) f305))) nil nil) ((458 l r3 r2 vb va
v) 0 (1 (plus (times (g l a) (cons r2 v) (cons r2 va) (cons
r3 vb) f304) (times (g l a) (cons r2 v) (cons va vb) f305)))
nil nil) ((457 l r3 r2 vb va v) 0 (1 (plus (times (g l a) (
cons r2 v) (cons r2 va) (cons r3 vb) f302) (times (g l a) (
cons r2 v) (cons va vb) f303))) nil nil) ((456 l r3 r2 vb va
v) 0 (1 (plus (times (g l a) (cons r2 v) (cons r2 va) (cons
r3 vb) f302) (times (g l a) (cons r2 v) (cons va vb) f303)))
nil nil) ((455 l r3 r2 vb va v) 0 (1 (plus (times (g l a) (
cons r2 v) (cons r2 va) (cons r3 vb) f300) (times (g l a) (
cons r2 v) (cons va vb) f301))) nil nil) ((454 l r3 r2 vb va
v) 0 (1 (plus (times (g l a) (cons r2 v) (cons r2 va) (cons
r3 vb) f300) (times (g l a) (cons r2 v) (cons va vb) f301)))
nil nil) ((453 l r3 r2 vb va v) 0 (1 (plus (times (g l a) (
cons r2 v) (cons r2 va) (cons r3 vb) f298) (times (g l a) (
cons r2 v) (cons va vb) f299))) nil nil) ((452 l r3 r2 vb va
v) 0 (1 (plus (times (g l a) (cons r2 v) (cons r2 va) (cons
r3 vb) f298) (times (g l a) (cons r2 v) (cons va vb) f299)))
nil nil) ((451 l r3 r2 vb va v) 0 (1 (plus (times (g l a) (
cons r2 v) (cons r2 va) (cons r3 vb) f296) (times (g l a) (
cons r2 v) (cons va vb) f297))) nil nil) ((450 l r3 r2 vb va
v) 0 (1 (plus (times (g l a) (cons r2 v) (cons r2 va) (cons
r3 vb) f296) (times (g l a) (cons r2 v) (cons va vb) f297)))
nil nil) ((449 l r3 r2 vb va v) 0 (1 (plus (times (g l a) (
cons r2 v) (cons r2 va) (cons r3 vb) f294) (times (g l a) (
cons r2 v) (cons va vb) f295))) nil nil) ((448 l r3 r2 vb va
v) 0 (1 (plus (times (g l a) (cons r2 v) (cons r2 va) (cons
r3 vb) f294) (times (g l a) (cons r2 v) (cons va vb) f295)))
nil nil) ((447 l r3 r2 vb va v) 0 (i (plus (times (cons r2 v
) (cons r2 va) (cons r3 vb) f292) (times (cons r2 v) (cons 
va vb) f293))) nil nil) ((446 l r3 r2 vb va v) 0 (i (plus (
times (cons r2 v) (cons r2 va) (cons r3 vb) f292) (times (
cons r2 v) (cons va vb) f293))) nil nil) ((445 l r3 r2 vb va
v) 0 (i (plus (times (cons r2 v) (cons r2 va) (cons r3 vb) 
f290) (times (cons r2 v) (cons va vb) f291))) nil nil) ((444
l r3 r2 vb va v) 0 (i (plus (times (cons r2 v) (cons r2 va)
(cons r3 vb) f290) (times (cons r2 v) (cons va vb) f291))) 
nil nil) ((443 l r3 r2 vb va v) 0 (i (plus (times (cons r2 v
) (cons r2 va) (cons r3 vb) f288) (times (cons r2 v) (cons 
va vb) f289))) nil nil) ((442 l r3 r2 vb va v) 0 (i (plus (
times (cons r2 v) (cons r2 va) (cons r3 vb) f288) (times (
cons r2 v) (cons va vb) f289))) nil nil) ((441 l r3 r2 vb va
v) 0 (i (plus (times (cons r2 v) (cons r2 va) (cons r3 vb) 
f286) (times (cons r2 v) (cons va vb) f287))) nil nil) ((440
l r3 r2 vb va v) 0 (i (plus (times (cons r2 v) (cons r2 va)
(cons r3 vb) f286) (times (cons r2 v) (cons va vb) f287))) 
nil nil) ((439 l r3 r2 vb va v) 0 (i (plus (times (cons r2 v
) (cons r2 va) (cons r3 vb) f284) (times (cons r2 v) (cons 
va vb) f285))) nil nil) ((438 l r3 r2 vb va v) 0 (i (plus (
times (cons r2 v) (cons r2 va) (cons r3 vb) f284) (times (
cons r2 v) (cons va vb) f285))) nil nil) ((437 l r3 r2 vb va
v) 0 (i (plus (times (cons r2 v) (cons r2 va) (cons r3 vb) 
f282) (times (cons r2 v) (cons va vb) f283))) nil nil) ((436
l r3 r2 vb va v) 0 (i (plus (times (cons r2 v) (cons r2 va)
(cons r3 vb) f282) (times (cons r2 v) (cons va vb) f283))) 
nil nil) ((435 l r3 r2 vb va v) 0 (1 (plus (times (g l a) (
cons r2 v) (cons r2 va) (cons r3 vb) f280) (times (g l a) (
cons r2 v) (cons va vb) f281))) nil nil) ((434 l r3 r2 vb va
v) 0 (1 (plus (times (g l a) (cons r2 v) (cons r2 va) (cons
r3 vb) f280) (times (g l a) (cons r2 v) (cons va vb) f281)))
nil nil) ((433 l r3 r2 vb va v) 0 (1 (plus (times (g l a) (
cons r2 v) (cons r2 va) (cons r3 vb) f278) (times (g l a) (
cons r2 v) (cons va vb) f279))) nil nil) ((432 l r3 r2 vb va
v) 0 (1 (plus (times (g l a) (cons r2 v) (cons r2 va) (cons
r3 vb) f278) (times (g l a) (cons r2 v) (cons va vb) f279)))
nil nil) ((431 l r2 vb va v) 0 (f277 (times (g l a) (cons r2
v) (cons r2 va) (cons r2 vb))) nil nil) ((430 l r2 vb va v)
0 (f277 (times (g l a) (cons r2 v) (cons r2 va) (cons r2 vb)
)) nil nil) ((429 l r2 vb va v) 0 (f276 (times (g l a) (cons
r2 v) (cons r2 va) (cons r2 vb))) nil nil) ((428 l r2 vb va
v) 0 (f276 (times (g l a) (cons r2 v) (cons r2 va) (cons r2
vb))) nil nil) ((427 l r2 vb va v) 0 ((times f275 i) (times
(cons r2 v) (cons r2 va) (cons r2 vb))) nil nil) ((426 l r2
vb va v) 0 ((times f275 i) (times (cons r2 v) (cons r2 va) (
cons r2 vb))) nil nil) ((425 l r2 vb va v) 0 (f274 (times (g
l a) (cons r2 v) (cons r2 va) (cons r2 vb))) nil nil) ((424
l r2 vb va v) 0 (f274 (times (g l a) (cons r2 v) (cons r2 va
) (cons r2 vb))) nil nil) ((423 l r2 vb va v) 0 (f273 (times
(g l a) (cons r2 v) (cons r2 va) (cons r2 vb))) nil nil) ((
422 l r2 vb va v) 0 (f273 (times (g l a) (cons r2 v) (cons 
r2 va) (cons r2 vb))) nil nil) ((421 l r2 vb va v) 0 ((times
f272 i) (times (cons r2 v) (cons r2 va) (cons r2 vb))) nil 
nil) ((420 l r2 vb va v) 0 ((times f272 i) (times (cons r2 v
) (cons r2 va) (cons r2 vb))) nil nil) ((419 l r2 vb va v) 0
((times f271 i) (times (cons r2 v) (cons r2 va) (cons r2 vb)
)) nil nil) ((418 l r2 vb va v) 0 ((times f271 i) (times (
cons r2 v) (cons r2 va) (cons r2 vb))) nil nil) ((417 l r2 
vb va v) 0 (f270 (times (g l a) (cons r2 v) (cons r2 va) (
cons r2 vb))) nil nil) ((416 l r2 vb va v) 0 (f270 (times (g
l a) (cons r2 v) (cons r2 va) (cons r2 vb))) nil nil) ((415
l r2 vb va v) 0 (f269 (times (g l a) (cons r2 v) (cons r2 va
) (cons r2 vb))) nil nil) ((414 l r2 vb va v) 0 (f269 (times
(g l a) (cons r2 v) (cons r2 va) (cons r2 vb))) nil nil) ((
413 l r2 vb va v) 0 ((times f268 i) (times (cons r2 v) (cons
r2 va) (cons r2 vb))) nil nil) ((412 l r2 vb va v) 0 ((times
f268 i) (times (cons r2 v) (cons r2 va) (cons r2 vb))) nil 
nil) ((411 l r2 vb va v) 0 (f267 (times (g l a) (cons r2 v)
(cons r2 va) (cons r2 vb))) nil nil) ((410 l r2 vb va v) 0 (
f267 (times (g l a) (cons r2 v) (cons r2 va) (cons r2 vb)))
nil nil) ((409 l r2 vb va v) 0 (f266 (times (g l a) (cons r2
v) (cons r2 va) (cons r2 vb))) nil nil) ((408 l r2 vb va v)
0 (f266 (times (g l a) (cons r2 v) (cons r2 va) (cons r2 vb)
)) nil nil) ((407 l r2 vb va v) 0 ((times f265 i) (times (
cons r2 v) (cons r2 va) (cons r2 vb))) nil nil) ((406 l r2 
vb va v) 0 ((times f265 i) (times (cons r2 v) (cons r2 va) (
cons r2 vb))) nil nil) ((405 l r2 vb va v) 0 ((times f264 i)
(times (cons r2 v) (cons r2 va) (cons r2 vb))) nil nil) ((
404 l r2 vb va v) 0 ((times f264 i) (times (cons r2 v) (cons
r2 va) (cons r2 vb))) nil nil) ((403 l r2 v va) 0 (1 (plus (
minus (times (g l a va) (cons r2 v) f263)) (minus (times (g
l a) (cons r2 v) (cons r2 va) f261)) (minus (times (g l a) (
cons v va) f262)))) nil nil) ((402 l r2 v va) 0 (1 (plus (
times (g l a va) (cons r2 v) f263) (times (g l a) (cons r2 v
) (cons r2 va) f261) (times (g l a) (cons v va) f262))) nil
nil) ((401 l r2 v va) 0 (1 (plus (minus (times (g l a va) (
cons r2 v) f260)) (minus (times (g l a) (cons r2 v) (cons r2
va) f258)) (minus (times (g l a) (cons v va) f259)))) nil 
nil) ((400 l r2 v va) 0 (1 (plus (times (g l a va) (cons r2
v) f260) (times (g l a) (cons r2 v) (cons r2 va) f258) (
times (g l a) (cons v va) f259))) nil nil) ((399 l r2 v va)
0 (1 (plus (minus (times (g l a va) (cons r2 v) f257)) (
minus (times (g l a) (cons r2 v) (cons r2 va) f255)) (minus
(times (g l a) (cons v va) f256)))) nil nil) ((398 l r2 v va
) 0 (1 (plus (times (g l a va) (cons r2 v) f257) (times (g l
a) (cons r2 v) (cons r2 va) f255) (times (g l a) (cons v va)
f256))) nil nil) ((397 l r2 va v) 0 (i (plus (minus (times (
cons r2 v) (cons r2 va) f252)) (minus (times (cons v va) 
f253)) (times (g l va) (cons r2 v) f254))) nil nil) ((396 l
r2 va v) 0 (i (plus (times (cons r2 v) (cons r2 va) f252) (
times (cons v va) f253) (times (g l va) (cons r2 v) f254)))
nil nil) ((395 l r3 r2 va v) 0 (1 (plus (times (cons r2 v) (
cons r3 va) f250) (times (cons v va) f251))) nil nil) ((394
l r3 r2 va v) 0 (1 (plus (times (cons r2 v) (cons r3 va) 
f250) (times (cons v va) f251))) nil nil) ((393 l r3 r2 va v
) 0 (1 (plus (times (cons r2 v) (cons r3 va) f248) (times (
cons v va) f249))) nil nil) ((392 l r3 r2 va v) 0 (1 (plus (
times (cons r2 v) (cons r3 va) f248) (times (cons v va) f249
))) nil nil) ((391 l r3 r2 va v) 0 (i (plus (times (g l a) (
cons r2 v) (cons r3 va) f246) (times (g l a) (cons v va) 
f247))) nil nil) ((390 l r3 r2 va v) 0 (i (plus (times (g l
a) (cons r2 v) (cons r3 va) f246) (times (g l a) (cons v va)
f247))) nil nil) ((389 l r3 r2 va v) 0 (i (plus (times (g l
a) (cons r2 v) (cons r3 va) f244) (times (g l a) (cons v va)
f245))) nil nil) ((388 l r3 r2 va v) 0 (i (plus (times (g l
a) (cons r2 v) (cons r3 va) f244) (times (g l a) (cons v va)
f245))) nil nil) ((387 l r3 r2 va v) 0 (i (plus (times (g l
a) (cons r2 v) (cons r3 va) f242) (times (g l a) (cons v va)
f243))) nil nil) ((386 l r3 r2 va v) 0 (1 (plus (times (cons
r2 v) (cons r3 va) f240) (times (cons v va) f241))) nil nil)
((385 l r3 r2 va v) 0 (1 (plus (times (cons r2 v) (cons r3 
va) f240) (times (cons v va) f241))) nil nil) ((384 l r3 r2
va v) 0 (1 (plus (times (cons r2 v) (cons r3 va) f238) (
times (cons v va) f239))) nil nil) ((383 l r3 r2 va v) 0 (1
(plus (times (cons r2 v) (cons r3 va) f238) (times (cons v 
va) f239))) nil nil) ((382 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f236) (times (g l a) (cons v
va) f237))) nil nil) ((381 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f236) (times (g l a) (cons v
va) f237))) nil nil) ((380 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f234) (times (g l a) (cons v
va) f235))) nil nil) ((379 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f234) (times (g l a) (cons v
va) f235))) nil nil) ((378 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f232) (times (g l a) (cons v
va) f233))) nil nil) ((377 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f230) (times (g l a) (cons v
va) f231))) nil nil) ((376 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f230) (times (g l a) (cons v
va) f231))) nil nil) ((375 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f228) (times (g l a) (cons v
va) f229))) nil nil) ((374 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f228) (times (g l a) (cons v
va) f229))) nil nil) ((373 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f226) (times (g l a) (cons v
va) f227))) nil nil) ((372 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f226) (times (g l a) (cons v
va) f227))) nil nil) ((371 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f224) (times (g l a) (cons v
va) f225))) nil nil) ((370 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f224) (times (g l a) (cons v
va) f225))) nil nil) ((369 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f222) (times (g l a) (cons v
va) f223))) nil nil) ((368 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f222) (times (g l a) (cons v
va) f223))) nil nil) ((367 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f220) (times (g l a) (cons v
va) f221))) nil nil) ((366 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f220) (times (g l a) (cons v
va) f221))) nil nil) ((365 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f218) (times (g l a) (cons v
va) f219))) nil nil) ((364 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f218) (times (g l a) (cons v
va) f219))) nil nil) ((363 l r3 r2 va v) 0 (1 (plus (times (
cons r2 v) (cons r3 va) f216) (times (cons v va) f217))) nil
nil) ((362 l r3 r2 va v) 0 (1 (plus (times (cons r2 v) (cons
r3 va) f216) (times (cons v va) f217))) nil nil) ((361 l r3
r2 va v) 0 (1 (plus (times (cons r2 v) (cons r3 va) f214) (
times (cons v va) f215))) nil nil) ((360 l r3 r2 va v) 0 (1
(plus (times (cons r2 v) (cons r3 va) f214) (times (cons v 
va) f215))) nil nil) ((359 l r3 r2 va v) 0 (1 (plus (times (
cons r2 v) (cons r3 va) f212) (times (cons v va) f213))) nil
nil) ((358 l r3 r2 va v) 0 (1 (plus (times (cons r2 v) (cons
r3 va) f212) (times (cons v va) f213))) nil nil) ((357 l r3
r2 va v) 0 (1 (plus (times (cons r2 v) (cons r3 va) f210) (
times (cons v va) f211))) nil nil) ((356 l r3 r2 va v) 0 (1
(plus (times (cons r2 v) (cons r3 va) f210) (times (cons v 
va) f211))) nil nil) ((355 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f208) (times (g l a) (cons v
va) f209))) nil nil) ((354 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f208) (times (g l a) (cons v
va) f209))) nil nil) ((353 l r3 r2 va v) 0 (1 (plus (times (
cons r2 v) (cons r3 va) f206) (times (cons v va) f207))) nil
nil) ((352 l r3 r2 va v) 0 (1 (plus (times (cons r2 v) (cons
r3 va) f206) (times (cons v va) f207))) nil nil) ((351 l r3
r2 va v) 0 (1 (plus (times (cons r2 v) (cons r3 va) f204) (
times (cons v va) f205))) nil nil) ((350 l r3 r2 va v) 0 (1
(plus (times (cons r2 v) (cons r3 va) f204) (times (cons v 
va) f205))) nil nil) ((349 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f202) (times (g l a) (cons v
va) f203))) nil nil) ((348 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f202) (times (g l a) (cons v
va) f203))) nil nil) ((347 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f200) (times (g l a) (cons v
va) f201))) nil nil) ((346 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f200) (times (g l a) (cons v
va) f201))) nil nil) ((345 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f198) (times (g l a) (cons v
va) f199))) nil nil) ((344 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f198) (times (g l a) (cons v
va) f199))) nil nil) ((343 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f196) (times (g l a) (cons v
va) f197))) nil nil) ((342 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f196) (times (g l a) (cons v
va) f197))) nil nil) ((341 l r3 r2 va v) 0 (1 (plus (times (
cons r2 v) (cons r3 va) f194) (times (cons v va) f195))) nil
nil) ((340 l r3 r2 va v) 0 (1 (plus (times (cons r2 v) (cons
r3 va) f194) (times (cons v va) f195))) nil nil) ((339 l r3
r2 va v) 0 (1 (plus (times (cons r2 v) (cons r3 va) f192) (
times (cons v va) f193))) nil nil) ((338 l r3 r2 va v) 0 (1
(plus (times (cons r2 v) (cons r3 va) f192) (times (cons v 
va) f193))) nil nil) ((337 l r3 r2 va v) 0 (1 (plus (times (
cons r2 v) (cons r3 va) f190) (times (cons v va) f191))) nil
nil) ((336 l r3 r2 va v) 0 (1 (plus (times (cons r2 v) (cons
r3 va) f190) (times (cons v va) f191))) nil nil) ((335 l r3
r2 va v) 0 (1 (plus (times (cons r2 v) (cons r3 va) f188) (
times (cons v va) f189))) nil nil) ((334 l r3 r2 va v) 0 (1
(plus (times (cons r2 v) (cons r3 va) f188) (times (cons v 
va) f189))) nil nil) ((333 l r3 r2 va v) 0 (1 (plus (times (
cons r2 v) (cons r3 va) f186) (times (cons v va) f187))) nil
nil) ((332 l r3 r2 va v) 0 (1 (plus (times (cons r2 v) (cons
r3 va) f186) (times (cons v va) f187))) nil nil) ((331 l r3
r2 va v) 0 (1 (plus (times (cons r2 v) (cons r3 va) f184) (
times (cons v va) f185))) nil nil) ((330 l r3 r2 va v) 0 (1
(plus (times (cons r2 v) (cons r3 va) f184) (times (cons v 
va) f185))) nil nil) ((329 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f182) (times (g l a) (cons v
va) f183))) nil nil) ((328 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f182) (times (g l a) (cons v
va) f183))) nil nil) ((327 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f180) (times (g l a) (cons v
va) f181))) nil nil) ((326 l r3 r2 va v) 0 (i (plus (times (
g l a) (cons r2 v) (cons r3 va) f180) (times (g l a) (cons v
va) f181))) nil nil) ((325 l r2 va v) 0 ((times f179 i) (
times (g l a) (cons r2 v) (cons r2 va))) nil nil) ((324 l r2
va v) 0 ((times f179 i) (times (g l a) (cons r2 v) (cons r2
va))) nil nil) ((323 l r2 va v) 0 (f178 (times (cons r2 v) (
cons r2 va))) nil nil) ((322 l r2 va v) 0 (f178 (times (cons
r2 v) (cons r2 va))) nil nil) ((321 l r2 va v) 0 (f177 (
times (cons r2 v) (cons r2 va))) nil nil) ((320 l r2 va v) 0
(f177 (times (cons r2 v) (cons r2 va))) nil nil) ((319 l r2
va v) 0 ((times f176 i) (times (g l a) (cons r2 v) (cons r2
va))) nil nil) ((318 l r2 va v) 0 ((times f176 i) (times (g
l a) (cons r2 v) (cons r2 va))) nil nil) ((317 l r2 va v) 0
(f175 (times (cons r2 v) (cons r2 va))) nil nil) ((316 l r2
va v) 0 (f175 (times (cons r2 v) (cons r2 va))) nil nil) ((
315 l r2 va v) 0 (f174 (times (cons r2 v) (cons r2 va))) nil
nil) ((314 l r2 va v) 0 (f174 (times (cons r2 v) (cons r2 va
))) nil nil) ((313 l r2 va v) 0 ((times f173 i) (times (g l
a) (cons r2 v) (cons r2 va))) nil nil) ((312 l r2 va v) 0 ((
times f173 i) (times (g l a) (cons r2 v) (cons r2 va))) nil
nil) ((311 l r2 va v) 0 (f172 (times (cons r2 v) (cons r2 va
))) nil nil) ((310 l r2 va v) 0 (f172 (times (cons r2 v) (
cons r2 va))) nil nil) ((309 l r2 va v) 0 (f171 (times (cons
r2 v) (cons r2 va))) nil nil) ((308 l r2 va v) 0 (f171 (
times (cons r2 v) (cons r2 va))) nil nil) ((307 l r2 va v) 0
((times f170 i) (times (g l a) (cons r2 v) (cons r2 va))) 
nil nil) ((306 l r2 va v) 0 ((times f170 i) (times (g l a) (
cons r2 v) (cons r2 va))) nil nil) ((305 l r2 va v) 0 ((
times f169 i) (times (g l a) (cons r2 v) (cons r2 va))) nil
nil) ((304 l r2 va v) 0 ((times f169 i) (times (g l a) (cons
r2 v) (cons r2 va))) nil nil) ((303 l r2 va v) 0 (f168 (
times (cons r2 v) (cons r2 va))) nil nil) ((302 l r2 va v) 0
(f168 (times (cons r2 v) (cons r2 va))) nil nil) ((301 l r2
va v) 0 ((times f167 i) (times (g l a) (cons r2 v) (cons r2
va))) nil nil) ((300 l r2 va v) 0 ((times f167 i) (times (g
l a) (cons r2 v) (cons r2 va))) nil nil) ((299 l r2 va v) 0
(f166 (times (cons r2 v) (cons r2 va))) nil nil) ((298 l r2
va v) 0 (f166 (times (cons r2 v) (cons r2 va))) nil nil) ((
297 l r2 va v) 0 (f165 (times (cons r2 v) (cons r2 va))) nil
nil) ((296 l r2 va v) 0 (f165 (times (cons r2 v) (cons r2 va
))) nil nil) ((295 l r2 va v) 0 ((times f164 i) (times (g l
a) (cons r2 v) (cons r2 va))) nil nil) ((294 l r2 va v) 0 ((
times f164 i) (times (g l a) (cons r2 v) (cons r2 va))) nil
nil) ((293 l r2 va v) 0 ((times f163 i) (times (g l a) (cons
r2 v) (cons r2 va))) nil nil) ((292 l r2 va v) 0 ((times 
f163 i) (times (g l a) (cons r2 v) (cons r2 va))) nil nil) (
(291 l r2 va v) 0 ((times f162 i) (times (g l a) (cons r2 v)
(cons r2 va))) nil nil) ((290 l r2 va v) 0 ((times f162 i) (
times (g l a) (cons r2 v) (cons r2 va))) nil nil) ((289 l r2
va v) 0 ((times f161 i) (times (g l a) (cons r2 v) (cons r2
va))) nil nil) ((288 l r2 va v) 0 ((times f161 i) (times (g
l a) (cons r2 v) (cons r2 va))) nil nil) ((287 l r2 va v) 0
(f160 (times (cons r2 v) (cons r2 va))) nil nil) ((286 l r2
va v) 0 (f160 (times (cons r2 v) (cons r2 va))) nil nil) ((
285 l r2 va v) 0 ((times f159 i) (times (g l a) (cons r2 v)
(cons r2 va))) nil nil) ((284 l r2 va v) 0 ((times f159 i) (
times (g l a) (cons r2 v) (cons r2 va))) nil nil) ((283 l r2
va v) 0 ((times f158 i) (times (g l a) (cons r2 v) (cons r2
va))) nil nil) ((282 l r2 va v) 0 ((times f158 i) (times (g
l a) (cons r2 v) (cons r2 va))) nil nil) ((281 l r2 va v) 0
(f157 (times (cons r2 v) (cons r2 va))) nil nil) ((280 l r2
va v) 0 (f157 (times (cons r2 v) (cons r2 va))) nil nil) ((
279 l r2 va v) 0 (f156 (times (cons r2 v) (cons r2 va))) nil
nil) ((278 l r2 va v) 0 (f156 (times (cons r2 v) (cons r2 va
))) nil nil) ((277 l r2 va v) 0 (f155 (times (cons r2 v) (
cons r2 va))) nil nil) ((276 l r2 va v) 0 (f155 (times (cons
r2 v) (cons r2 va))) nil nil) ((275 l r2 va v) 0 (f154 (
times (cons r2 v) (cons r2 va))) nil nil) ((274 l r2 va v) 0
(f154 (times (cons r2 v) (cons r2 va))) nil nil) ((273 l r2
va v) 0 ((times f153 i) (times (g l a) (cons r2 v) (cons r2
va))) nil nil) ((272 l r2 va v) 0 ((times f153 i) (times (g
l a) (cons r2 v) (cons r2 va))) nil nil) ((271 l r2 va v) 0
(f152 (times (cons r2 v) (cons r2 va))) nil nil) ((270 l r2
va v) 0 (f152 (times (cons r2 v) (cons r2 va))) nil nil) ((
269 l r2 va v) 0 (f151 (times (cons r2 v) (cons r2 va))) nil
nil) ((268 l r2 va v) 0 (f151 (times (cons r2 v) (cons r2 va
))) nil nil) ((267 l r2 va v) 0 ((times f150 i) (times (g l
a) (cons r2 v) (cons r2 va))) nil nil) ((266 l r2 va v) 0 ((
times f150 i) (times (g l a) (cons r2 v) (cons r2 va))) nil
nil) ((265 l r2 va v) 0 ((times f149 i) (times (g l a) (cons
r2 v) (cons r2 va))) nil nil) ((264 l r2 va v) 0 ((times 
f149 i) (times (g l a) (cons r2 v) (cons r2 va))) nil nil) (
(263 l r3 v) 0 (1 (plus (minus (times (g l r3 v) f148)) (
times (g l v r3) f148) (times (g l v) f147))) nil nil) ((262
l r3 v) 0 (1 (plus (minus (times (g l r3 v) f146)) (times (g
l v r3) f146) (times (g l v) f145))) nil nil) ((261 l r3 v)
0 (1 (plus (minus (times (g l r3 v) f144)) (times (g l v r3)
f144) (times (g l v) f143))) nil nil) ((260 l r3 v) 0 (1 (
plus (minus (times (g l r3 v) f144)) (times (g l v r3) f144)
(times (g l v) f143))) nil nil) ((259 l r3 v) 0 (1 (plus (
minus (times (g l r3 v) f142)) (times (g l v r3) f142) (
times (g l v) f141))) nil nil) ((258 l r3 v) 0 (1 (plus (
minus (times (g l r3 v) f142)) (times (g l v r3) f142) (
times (g l v) f141))) nil nil) ((257 l r3 v) 0 (i (plus (
times (g l a r3 v) f140) (minus (times (g l a v r3) f140)) (
minus (times (g l a v) f139)))) nil nil) ((256 l r3 v) 0 (i
(plus (times (g l a r3 v) f140) (minus (times (g l a v r3) 
f140)) (times (g l a v) f139))) nil nil) ((255 l r3 v) 0 (1
(plus (minus (times (g l r3 v) f138)) (times (g l v r3) f138
) (times (g l v) f137))) nil nil) ((254 l r3 v) 0 (1 (plus (
minus (times (g l r3 v) f138)) (times (g l v r3) f138) (
times (g l v) f137))) nil nil) ((253 l r2 v) 0 (f136 (times
(g l a) (cons r2 v))) nil nil) ((252 l r2 v) 0 (f136 (times
(g l a) (cons r2 v))) nil nil) ((251 l r2 v) 0 (f135 (times
(g l a) (cons r2 v))) nil nil) ((250 l r2 v) 0 (f135 (times
(g l a) (cons r2 v))) nil nil) ((249 l r2 v) 0 (f134 (times
(g l a) (cons r2 v))) nil nil) ((248 l r2 v) 0 (f134 (times
(g l a) (cons r2 v))) nil nil) ((247 l r2 v) 0 (f133 (times
(g l a) (cons r2 v))) nil nil) ((246 l r2 v) 0 (f133 (times
(g l a) (cons r2 v))) nil nil) ((245 l r2 v) 0 ((times f132
i) (cons r2 v)) nil nil) ((244 l r2 v) 0 ((times f132 i) (
cons r2 v)) nil nil) ((243 l r2 v) 0 (f131 (times (g l a) (
cons r2 v))) nil nil) ((242 l r2 v) 0 (f131 (times (g l a) (
cons r2 v))) nil nil) ((241 l r2 v) 0 (f130 (times (g l a) (
cons r2 v))) nil nil) ((240 l r2 v) 0 (f130 (times (g l a) (
cons r2 v))) nil nil) ((239 l r2 v) 0 ((times f129 i) (cons
r2 v)) nil nil) ((238 l r2 v) 0 ((times f129 i) (cons r2 v))
nil nil) ((237 l r2 v) 0 (f128 (times (g l a) (cons r2 v)))
nil nil) ((236 l r2 v) 0 (f128 (times (g l a) (cons r2 v)))
nil nil) ((235 l r2 v) 0 ((times f127 i) (cons r2 v)) nil 
nil) ((234 l r2 v) 0 ((times f127 i) (cons r2 v)) nil nil) (
(233 l r2 v) 0 (f126 (times (g l a) (cons r2 v))) nil nil) (
(232 l r2 v) 0 (f126 (times (g l a) (cons r2 v))) nil nil) (
(231 l r2 v) 0 (f125 (times (g l a) (cons r2 v))) nil nil) (
(230 l r2 v) 0 (f125 (times (g l a) (cons r2 v))) nil nil) (
(229 l r2 v) 0 ((times f124 i) (cons r2 v)) nil nil) ((228 l
r2 v) 0 ((times f124 i) (cons r2 v)) nil nil) ((227 l r2 v)
0 ((times f123 i) (cons r2 v)) nil nil) ((226 l r2 v) 0 ((
times f123 i) (cons r2 v)) nil nil) ((225 l r2 v) 0 ((times
f122 i) (cons r2 v)) nil nil) ((224 l r2 v) 0 ((times f122 i
) (cons r2 v)) nil nil) ((223 l r2 v) 0 ((times f121 i) (
cons r2 v)) nil nil) ((222 l r2 v) 0 ((times f121 i) (cons 
r2 v)) nil nil) ((221 l r2 v) 0 (f120 (times (g l a) (cons 
r2 v))) nil nil) ((220 l r2 v) 0 (f120 (times (g l a) (cons
r2 v))) nil nil) ((219 l r2 v) 0 (f119 (times (g l a) (cons
r2 v))) nil nil) ((218 l r2 v) 0 (f119 (times (g l a) (cons
r2 v))) nil nil) ((217 l r2 v) 0 ((times f118 i) (cons r2 v)
) nil nil) ((216 l r2 v) 0 ((times f118 i) (cons r2 v)) nil
nil) ((215 l r2 v) 0 (f117 (times (g l a) (cons r2 v))) nil
nil) ((214 l r2 v) 0 (f117 (times (g l a) (cons r2 v))) nil
nil) ((213 l r2 v) 0 (f116 (times (g l a) (cons r2 v))) nil
nil) ((212 l r2 v) 0 (f116 (times (g l a) (cons r2 v))) nil
nil) ((211 l r2 v) 0 ((times f115 i) (cons r2 v)) nil nil) (
(210 l r2 v) 0 ((times f115 i) (cons r2 v)) nil nil) ((209 l
r2 v) 0 (f114 (times (g l a) (cons r2 v))) nil nil) ((208 l
r2 v) 0 (f114 (times (g l a) (cons r2 v))) nil nil) ((207 l
r2 v) 0 ((times f113 i) (cons r2 v)) nil nil) ((206 l r2 v)
0 ((times f113 i) (cons r2 v)) nil nil) ((205 l r2 v) 0 ((
times f112 i) (cons r2 v)) nil nil) ((204 l r2 v) 0 ((times
f112 i) (cons r2 v)) nil nil) ((203 l r2 v) 0 ((times f111 i
) (cons r2 v)) nil nil) ((202 l r2 v) 0 ((times f111 i) (
cons r2 v)) nil nil) ((201 l r2 v) 0 (f110 (times (g l a) (
cons r2 v))) nil nil) ((200 l r2 v) 0 (f110 (times (g l a) (
cons r2 v))) nil nil) ((199 l r2 v) 0 (f109 (times (g l a) (
cons r2 v))) nil nil) ((198 l r2 v) 0 (f109 (times (g l a) (
cons r2 v))) nil nil) ((197 l r2 v) 0 ((times f108 i) (cons
r2 v)) nil nil) ((196 l r2 v) 0 ((times f108 i) (cons r2 v))
nil nil) ((195 l r2 v) 0 (f107 (times (g l a) (cons r2 v)))
nil nil) ((194 l r2 v) 0 (f107 (times (g l a) (cons r2 v)))
nil nil) ((193 l r2 v) 0 (f106 (times (g l a) (cons r2 v)))
nil nil) ((192 l r2 v) 0 (f106 (times (g l a) (cons r2 v)))
nil nil) ((191 l r2 v) 0 ((times f105 i) (cons r2 v)) nil 
nil) ((190 l r2 v) 0 ((times f105 i) (cons r2 v)) nil nil) (
(189 l r2 v) 0 (f104 (times (g l a) (cons r2 v))) nil nil) (
(188 l r2 v) 0 (f104 (times (g l a) (cons r2 v))) nil nil) (
(187 l r2 v) 0 ((times f103 i) (cons r2 v)) nil nil) ((186 l
r2 v) 0 ((times f103 i) (cons r2 v)) nil nil) ((185 l r2 v)
0 ((times f102 i) (cons r2 v)) nil nil) ((184 l r2 v) 0 ((
times f102 i) (cons r2 v)) nil nil) ((183 l r2 v) 0 ((times
f101 i) (cons r2 v)) nil nil) ((182 l r2 v) 0 ((times f101 i
) (cons r2 v)) nil nil) ((181 l r2 v) 0 ((times f100 i) (
cons r2 v)) nil nil) ((180 l r2 v) 0 ((times f100 i) (cons 
r2 v)) nil nil) ((179 l r2 v) 0 (f99 (times (g l a) (cons r2
v))) nil nil) ((178 l r2 v) 0 (f99 (times (g l a) (cons r2 v
))) nil nil) ((177 l r2 v) 0 ((times f98 i) (cons r2 v)) nil
nil) ((176 l r2 v) 0 ((times f98 i) (cons r2 v)) nil nil) ((
175 l r2 v) 0 (f97 (times (g l a) (cons r2 v))) nil nil) ((
174 l r2 v) 0 (f97 (times (g l a) (cons r2 v))) nil nil) ((
173 l r2 v) 0 ((times f96 i) (cons r2 v)) nil nil) ((172 l 
r2 v) 0 ((times f96 i) (cons r2 v)) nil nil) ((171 l r2 v) 0
((times f95 i) (cons r2 v)) nil nil) ((170 l r2 v) 0 ((times
f95 i) (cons r2 v)) nil nil) ((169 l r2 v) 0 ((times f94 i)
(cons r2 v)) nil nil) ((168 l r2 v) 0 ((times f94 i) (cons 
r2 v)) nil nil) ((167 l r2 v) 0 ((times f93 i) (cons r2 v))
nil nil) ((166 l r2 v) 0 ((times f93 i) (cons r2 v)) nil nil
) ((165 l r2 v) 0 ((times f92 i) (cons r2 v)) nil nil) ((164
l r2 v) 0 ((times f92 i) (cons r2 v)) nil nil) ((163 l r2 v)
0 ((times f91 i) (cons r2 v)) nil nil) ((162 l r2 v) 0 ((
times f91 i) (cons r2 v)) nil nil) ((161 l r2 v) 0 (f90 (
times (g l a) (cons r2 v))) nil nil) ((160 l r2 v) 0 (f90 (
times (g l a) (cons r2 v))) nil nil) ((159 l r2 v) 0 ((times
f89 i) (cons r2 v)) nil nil) ((158 l r2 v) 0 ((times f89 i)
(cons r2 v)) nil nil) ((157 l r2 v) 0 (f88 (times (g l a) (
cons r2 v))) nil nil) ((156 l r2 v) 0 (f88 (times (g l a) (
cons r2 v))) nil nil) ((155 l r2 v) 0 (f87 (times (g l a) (
cons r2 v))) nil nil) ((154 l r2 v) 0 (f87 (times (g l a) (
cons r2 v))) nil nil) ((153 l r2 v) 0 ((times f86 i) (cons 
r2 v)) nil nil) ((152 l r2 v) 0 ((times f86 i) (cons r2 v))
nil nil) ((151 l r2 v) 0 ((times f85 i) (cons r2 v)) nil nil
) ((150 l r2 v) 0 ((times f85 i) (cons r2 v)) nil nil) ((149
l r2 v) 0 (f84 (times (g l a) (cons r2 v))) nil nil) ((148 l
r2 v) 0 (f84 (times (g l a) (cons r2 v))) nil nil) ((147 l 
r2 v) 0 ((times f83 i) (cons r2 v)) nil nil) ((146 l r2 v) 0
((times f83 i) (cons r2 v)) nil nil) ((145 l r2 v) 0 (f82 (
times (g l a) (cons r2 v))) nil nil) ((144 l r2 v) 0 (f82 (
times (g l a) (cons r2 v))) nil nil) ((143 l r2 v) 0 (f81 (
times (g l a) (cons r2 v))) nil nil) ((142 l r2 v) 0 (f81 (
times (g l a) (cons r2 v))) nil nil) ((141 l r2 v) 0 (f80 (
times (g l a) (cons r2 v))) nil nil) ((140 l r2 v) 0 (f80 (
times (g l a) (cons r2 v))) nil nil) ((139 l r2 v) 0 ((times
f79 i) (cons r2 v)) nil nil) ((138 l r2 v) 0 ((times f79 i)
(cons r2 v)) nil nil) ((137 l r2 v) 0 ((times f78 i) (cons 
r2 v)) nil nil) ((136 l r2 v) 0 ((times f78 i) (cons r2 v))
nil nil) ((135 l r2 v) 0 (f77 (times (g l a) (cons r2 v))) 
nil nil) ((134 l r2 v) 0 (f77 (times (g l a) (cons r2 v))) 
nil nil) ((133 l r2 v) 0 (f76 (times (g l a) (cons r2 v))) 
nil nil) ((132 l r2 v) 0 (f76 (times (g l a) (cons r2 v))) 
nil nil) ((131 l r2 v) 0 (f75 (times (g l a) (cons r2 v))) 
nil nil) ((130 l r2 v) 0 (f75 (times (g l a) (cons r2 v))) 
nil nil) ((129 l r2 v) 0 ((times f74 i) (cons r2 v)) nil nil
) ((128 l r2 v) 0 ((times f74 i) (cons r2 v)) nil nil) ((127
l r2 v) 0 (f73 (times (g l a) (cons r2 v))) nil nil) ((126 l
r2 v) 0 (f73 (times (g l a) (cons r2 v))) nil nil) ((125 l 
r2 v) 0 (f72 (times (g l a) (cons r2 v))) nil nil) ((124 l 
r2 v) 0 (f72 (times (g l a) (cons r2 v))) nil nil) ((123 l 
r2 v) 0 ((times f71 i) (cons r2 v)) nil nil) ((122 l r2 v) 0
((times f71 i) (cons r2 v)) nil nil) ((121 l r2 v) 0 ((times
f70 i) (cons r2 v)) nil nil) ((120 l r2 v) 0 ((times f70 i)
(cons r2 v)) nil nil) ((119 l r2 v) 0 ((times f69 i) (cons 
r2 v)) nil nil) ((118 l r2 v) 0 ((times f69 i) (cons r2 v))
nil nil) ((117 l r2 v) 0 ((times f68 i) (cons r2 v)) nil nil
) ((116 l r2 v) 0 ((times f68 i) (cons r2 v)) nil nil) ((115
l r2 v) 0 (f67 (times (g l a) (cons r2 v))) nil nil) ((114 l
r2 v) 0 (f67 (times (g l a) (cons r2 v))) nil nil) ((113 l 
r2 v) 0 ((times f66 i) (cons r2 v)) nil nil) ((112 l r2 v) 0
((times f66 i) (cons r2 v)) nil nil) ((111 l r2 v) 0 ((times
f65 i) (cons r2 v)) nil nil) ((110 l r2 v) 0 ((times f65 i)
(cons r2 v)) nil nil) ((109 l r2 v) 0 (f64 (times (g l a) (
cons r2 v))) nil nil) ((108 l r2 v) 0 (f64 (times (g l a) (
cons r2 v))) nil nil) ((107 l r2 v) 0 (f63 (times (g l a) (
cons r2 v))) nil nil) ((106 l r2 v) 0 (f63 (times (g l a) (
cons r2 v))) nil nil) ((105 l) 0 ((times f62 i) (g l a)) nil
nil) ((104 l) 0 ((times f61 i) (g l a)) nil nil) ((103 l) 0
((times f60 i) (g l a)) nil nil) ((102 l) 0 ((times f60 i) (
g l a)) nil nil) ((101 l) 0 ((times f59 i) (g l a)) nil nil)
((100 l) 0 (f58 1) nil nil) ((99 l) 0 (f58 1) nil nil) ((98
l) 0 (f57 1) nil nil) ((97 l) 0 (f57 1) nil nil) ((96 l) 0 (
(times f56 i) (g l a)) nil nil) ((95 l) 0 ((times f56 i) (g
l a)) nil nil) ((94 l) 0 (f55 1) nil nil) ((93 l) 0 (f55 1)
nil nil) ((92 l) 0 (f54 1) nil nil) ((91 l) 0 (f54 1) nil 
nil) ((90 l) 0 ((times f53 i) (g l a)) nil nil) ((89 l) 0 ((
times f53 i) (g l a)) nil nil) ((88 l) 0 (f52 1) nil nil) ((
87 l) 0 (f52 1) nil nil) ((86 l) 0 (f51 1) nil nil) ((85 l)
0 (f51 1) nil nil) ((84 l) 0 ((times f50 i) (g l a)) nil nil
) ((83 l) 0 ((times f50 i) (g l a)) nil nil) ((82 l) 0 (f49
1) nil nil) ((81 l) 0 (f49 1) nil nil) ((80 l) 0 (f48 1) nil
nil) ((79 l) 0 (f48 1) nil nil) ((78 l) 0 (f47 1) nil nil) (
(77 l) 0 (f47 1) nil nil) ((76 l) 0 ((times f46 i) (g l a))
nil nil) ((75 l) 0 ((times f46 i) (g l a)) nil nil) ((74 l)
0 ((times f45 i) (g l a)) nil nil) ((73 l) 0 ((times f45 i)
(g l a)) nil nil) ((72 l) 0 (f44 1) nil nil) ((71 l) 0 (f44
1) nil nil) ((70 l) 0 (f43 1) nil nil) ((69 l) 0 (f43 1) nil
nil) ((68 l) 0 ((times f42 i) (g l a)) nil nil) ((67 l) 0 ((
times f42 i) (g l a)) nil nil) ((66 l) 0 ((times f41 i) (g l
a)) nil nil) ((65 l) 0 ((times f41 i) (g l a)) nil nil) ((64
l) 0 ((times f40 i) (g l a)) nil nil) ((63 l) 0 ((times f40
i) (g l a)) nil nil) ((62 l) 0 (f39 1) nil nil) ((61 l) 0 (
f39 1) nil nil) ((60 l) 0 ((times f38 i) (g l a)) nil nil) (
(59 l) 0 ((times f38 i) (g l a)) nil nil) ((58 l) 0 (f37 1)
nil nil) ((57 l) 0 (f37 1) nil nil) ((56 l) 0 ((times f36 i)
(g l a)) nil nil) ((55 l) 0 ((times f36 i) (g l a)) nil nil)
((54 l) 0 ((times f35 i) (g l a)) nil nil) ((53 l) 0 ((times
f35 i) (g l a)) nil nil) ((52 l) 0 (f34 1) nil nil) ((51 l)
0 (f34 1) nil nil) ((50 l) 0 (f33 1) nil nil) ((49 l) 0 (f33
1) nil nil) ((48 l) 0 (f32 1) nil nil) ((47 l) 0 (f32 1) nil
nil) ((46 l) 0 ((times f31 i) (g l a)) nil nil) ((45 l) 0 ((
times f31 i) (g l a)) nil nil) ((44 l) 0 (f30 1) nil nil) ((
43 l) 0 (f30 1) nil nil) ((42 l) 0 (f29 1) nil nil) ((41 l)
0 (f29 1) nil nil) ((40 l) 0 ((times f28 i) (g l a)) nil nil
) ((39 l) 0 ((times f28 i) (g l a)) nil nil) ((38 l) 0 ((
times f27 i) (g l a)) nil nil) ((37 l) 0 ((times f27 i) (g l
a)) nil nil) ((36 r2 vf vd vc vb va v) 0 (f26 (times (cons 
r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) (cons r2 vd) (
cons r2 vf))) nil nil) ((35 r2 vf vd vc vb va v) 0 (f26 (
times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) (
cons r2 vd) (cons r2 vf))) nil nil) ((34 r2 vf vd vc vb va v
) 0 (f25 (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons
r2 vc) (cons r2 vd) (cons r2 vf))) nil nil) ((33 r2 vf vd vc
vb va v) 0 (f25 (times (cons r2 v) (cons r2 va) (cons r2 vb)
(cons r2 vc) (cons r2 vd) (cons r2 vf))) nil nil) ((32 r2 r1
vb va v vc) 0 (1 (plus (times (cons r1 vc) (cons r2 v) (cons
r2 va) (cons r2 vb) f24) (times (cons r2 v) (cons r2 va) (
cons vb vc) f23))) nil nil) ((31 r2 r1 vb va v vc) 0 (1 (
plus (times (cons r1 vc) (cons r2 v) (cons r2 va) (cons r2 
vb) f22) (times (cons r2 v) (cons r2 va) (cons vb vc) f21)))
nil nil) ((30 r1 r2 vc v vb va) 0 (f20 (minus (times (cons 
r2 va) (cons r2 vb) (eps r1 r2 v vc)))) nil nil) ((29 r2 vb
va v) 0 (f19 (times (cons r2 v) (cons r2 va) (cons r2 vb)))
nil nil) ((28 r2 r1 va v) 0 (f18 (minus (eps r1 r2 v va))) 
nil nil) ((27 r2 r1 va v) 0 (f17 (minus (eps r1 r2 v va))) 
nil nil) ((26 r2 r1 v va) 0 (1 (plus (times (cons r1 va) (
cons r2 v) f16) (times (cons v va) f15))) nil nil) ((25 r2 
r1 v va) 0 (1 (plus (times (cons r1 va) (cons r2 v) f14) (
times (cons v va) f13))) nil nil) ((24 r2 r1 va v) 0 (f12 (
minus (eps r1 r2 v va))) nil nil) ((23 r2 r1 v va) 0 (1 (
plus (times (cons r1 va) (cons r2 v) f11) (times (cons v va)
f10))) nil nil) ((22 r2 r1 v va) 0 (1 (plus (times (cons r1
va) (cons r2 v) f9) (times (cons v va) f8))) nil nil) ((21 
r2 r1 va v) 0 (f7 (minus (eps r1 r2 v va))) nil nil) ((20 r2
v) 0 (f6 (cons r2 v)) nil nil) ((19 r2 v) 0 (f5 (cons r2 v))
nil nil) ((18 r2 v) 0 (f4 (cons r2 v)) nil nil) ((17) 0 (f3
1) nil nil) ((16) 0 (f2 1) nil nil) ((15) 0 (f1 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))));
 $
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;
 $
