n_particles:='3$ 
n_total_spin:='6$ 
http:='nil$ 
sub_model:='ok$ 
direct_model:='ok$ 
just_v_type:='nil$ 
nnvertex:='239$ 
pdl_add:='((pr1 0 p1m w1d 3 1 0 0 0 0 1 -1 0 0) (pr2 2 p2m 
w2d 0 0 0 0 0 0 1 0 0 0) (pr3 4 p3m w3d 0 0 0 0 0 0 1 0 0 0)
(pr4 4 p4m w4d 0 0 0 0 0 0 1 0 0 0) (pr5 0 p5m w5d 0 0 0 0 0
0 1 0 0 0) (pr6 2 p6m w6d 0 0 0 0 0 0 1 0 0 0) (pr7 4 p7m 
w7d 0 0 0 0 0 0 1 0 0 0) (pr8 0 p8m w8d 0 0 0 0 0 0 1 0 0 0)
(pr9 2 p9m w9d 0 0 0 0 0 0 1 0 0 0) (pr10 4 p10m w10d 0 0 0
0 0 0 1 0 0 0) (pr11 4 p11m w11d 0 0 0 0 0 0 1 0 0 0) (pr12
4 p12m w12d 0 0 0 0 0 0 1 0 0 0) (pr13 2 p13m w13d 0 0 0 0 0
0 1 0 0 0) (pr14 6 p14m w14d 0 0 0 0 0 0 1 0 0 0) (pr15 2 
p15m w15d 0 0 0 0 0 0 1 0 0 0) (pr16 6 p16m w16d 0 0 0 0 0 0
1 0 0 0) (pr17 2 p17m w17d 0 0 0 0 0 0 1 0 0 0) (pr18 4 p18m
w18d 0 0 0 0 0 0 1 0 0 0) (pr19 0 p19m w19d 0 0 0 0 0 0 1 0
0 0) (pr20 4 p20m w20d 0 0 0 0 0 0 1 0 0 0) (pr21 2 p21m 
w21d 0 0 0 0 0 0 1 0 0 0) (pr22 4 p22m w22d 0 0 0 0 0 0 1 0
0 0) (pr23 4 p23m w23d 0 0 0 0 0 0 1 0 0 0) (pr24 4 p24m 
w24d 0 0 0 0 0 0 1 0 0 0) (pr25 0 p25m w25d 0 0 0 0 0 0 1 0
0 0) (pr26 8 p26m w26d 0 0 0 0 0 0 1 0 0 0) (pr27 4 p27m 
w27d 3 1 0 0 0 0 1 -1 0 0) (pr28 2 p28m w28d 3 1 0 0 0 0 1 
-1 0 0) (pr29 4 p29m w29d 3 1 0 0 0 0 1 -1 0 0) (pr30 4 p30m
w30d 3 1 0 0 0 0 1 -1 0 0) (pr31 0 p31m w31d 3 1 0 0 0 0 1 
-1 0 0) (pr32 4 p32m w32d 3 1 0 0 0 0 1 -1 0 0) (pr33 4 p33m
w33d 3 1 0 0 0 0 1 -1 0 0) (pr34 6 p34m w34d 3 1 0 0 0 0 1 
-1 0 0) (pr35 8 p35m w35d 3 1 0 0 0 0 1 -1 0 0) (pr36 2 p36m
w36d 0 0 0 0 0 0 1 0 0 0))$ 
spflist_add:='(list)$ 
v_t_list:='nil$ 
chargelist:='((pr1 1) (pr2 0) (pr3 0) (pr4 0) (pr5 0) (pr6 0
) (pr7 0) (pr8 0) (pr9 0) (pr10 0) (pr11 0) (pr12 0) (pr13 0
) (pr14 0) (pr15 0) (pr16 0) (pr17 0) (pr18 0) (pr19 0) (
pr20 0) (pr21 0) (pr22 0) (pr23 0) (pr24 0) (pr25 0) (pr26 0
) (pr27 1) (pr28 1) (pr29 1) (pr30 1) (pr31 1) (pr32 1) (
pr33 1) (pr34 1) (pr35 1) (pr36 0) (gsg 0) (gs 0) (p 0) (z 0
) (w 1) (w -1) (z 0) (p 0) (qd (quotient (minus 1) 3)) (qu (
quotient 2 3)) (qu (quotient 2 3)) (qd (quotient (minus 1) 3
)) (ef -1) (nue 0) (ef -1) (h0 0) (numu 0) (mu -1) (nut 0) (
tau -1) (mu -1) (tau -1) (qc (quotient 2 3)) (qs (quotient (
minus 1) 3)) (qt (quotient 2 3)) (qb (quotient (minus 1) 3))
(qc (quotient 2 3)) (qt (quotient 2 3)) (qs (quotient (minus
1) 3)) (qb (quotient (minus 1) 3)))$ 
phyinput_add:='(p1m w1d p2m w2d p3m w3d p4m w4d p5m w5d p6m
w6d p7m w7d p8m w8d p9m w9d p10m w10d p11m w11d p12m w12d 
p13m w13d p14m w14d p15m w15d p16m w16d p17m w17d p18m w18d
p19m w19d p20m w20d p21m w21d p22m w22d p23m w23d p24m w24d
p25m w25d p26m w26d p27m w27d p28m w28d p29m w29d p30m w30d
p31m w31d p32m w32d p33m w33d p34m w34d p35m w35d p36m w36d)
$ 
platexname_add:='( 
      (pr1  "K") 
      (pr2  "\phi[1020]") 
      (pr3  "f_2[1270]") 
      (pr4  "a_2[1320]") 
      (pr5  "f_0[1370]") 
      (pr6  "\omega[1420]") 
      (pr7  "f_2[1430]") 
      (pr8  "a_0[1450]^0") 
      (pr9  "\rho[1450]^0") 
      (pr10  "f^{'}_2[1525]") 
      (pr11  "f_2[1565]") 
      (pr12  "f_2[1640]") 
      (pr13  "\omega_[1650]") 
      (pr14  "\omega_3[1670]") 
      (pr15  "\phi[1680]") 
      (pr16  "\rho_3[1690]^0") 
      (pr17  "\rho[1700]^0") 
      (pr18  "a_2[1700]") 
      (pr19  "f_0[1710]") 
      (pr20  "f_2[1810]") 
      (pr21  "\rho[1900]^0") 
      (pr22  "f_2[1910]") 
      (pr23  "f_2[1950]") 
      (pr24  "f_2[2010]") 
      (pr25  "f_0[2020]") 
      (pr26  "f_4[2050]") 
      (pr27  "K_2[1580]") 
      (pr28  "K_1[1650]") 
      (pr29  "K_2[1770]") 
      (pr30  "K_2[1820]") 
      (pr31  "K[1830]") 
      (pr32  "K^{*}_2[1980]") 
      (pr33  "K_{2}[2250]") 
      (pr34  "K_{3}[2320]") 
      (pr35  "K_{4}[2500]") 
      (pr36  "J/\psi") 
     )$ 
 
 
inputlist_add:='( 
      (p1m  0.49368) 
      (w1d  0.0001) 
      (p2m  1.01941) 
      (w2d  0.0043) 
      (p3m  1.275) 
      (w3d  0.1855) 
      (p4m  1.3181) 
      (w4d  0.1041) 
      (p5m  1.37) 
      (w5d  0.35) 
      (p6m  1.419) 
      (w6d  0.174) 
      (p7m  1.43) 
      (w7d  0.081) 
      (p8m  1.474) 
      (w8d  0.265) 
      (p9m  1.465) 
      (w9d  0.31) 
      (p10m  1.525) 
      (w10d  0.076) 
      (p11m  1.542) 
      (w11d  1.131) 
      (p12m  1.638) 
      (w12d  0.099) 
      (p13m  1.652) 
      (w13d  0.05) 
      (p14m  1.667) 
      (w14d  0.168) 
      (p15m  1.68) 
      (w15d  0.15) 
      (p16m  1.691) 
      (w16d  0.16) 
      (p17m  1.7) 
      (w17d  0.24) 
      (p18m  1.726) 
      (w18d  0.256) 
      (p19m  1.712) 
      (w19d  0.133) 
      (p20m  1.815) 
      (w20d  0.197) 
      (p21m  1.91) 
      (w21d  0.145) 
      (p22m  1.915) 
      (w22d  0.163) 
      (p23m  1.934) 
      (w23d  0.453) 
      (p24m  2.011) 
      (w24d  0.202) 
      (p25m  2.02) 
      (w25d  0.41) 
      (p26m  2.025) 
      (w26d  0.194) 
      (p27m  1.58) 
      (w27d  0.11) 
      (p28m  1.65) 
      (w28d  0.15) 
      (p29m  1.773) 
      (w29d  0.186) 
      (p30m  1.816) 
      (w30d  0.276) 
      (p31m  1.83) 
      (w31d  0.25) 
      (p32m  1.973) 
      (w32d  0.373) 
      (p33m  2.247) 
      (w33d  0.18) 
      (p34m  2.324) 
      (w34d  0.15) 
      (p35m  2.49) 
      (w35d  0.25) 
      (p36m  3.09688) 
      (w36d  0.0001) 
     )$ 
 
pa_decay_list:='((pr2 (35 (pr1 pr1) 2) (15 (ef ef) 2)) (pr3
(67 (pr1 pr1) 2)) (pr4 (64 (pr1 pr1) 2)) (pr5 (23 (pr1 pr1)
2)) (pr6 (32 (pr1 pr1) 2) (16 (ef ef) 2)) (pr7 (61 (pr1 pr1)
2)) (pr9 (31 (pr1 pr1) 2)) (pr8 (22 (pr1 pr1) 2)) (pr10 (60
(pr1 pr1) 2)) (pr11 (59 (pr1 pr1) 2)) (pr27 (101 (pr2 pr1) 2
) (100 (pr2 pr1) 1)) (pr12 (58 (pr1 pr1) 2)) (pr28 (46 (pr2
pr1) 2) (45 (pr2 pr1) 1)) (pr13 (30 (pr1 pr1) 2) (17 (ef ef)
2)) (pr14 (109 (pr1 pr1) 2)) (pr15 (29 (pr1 pr1) 2) (18 (ef
ef) 2)) (pr16 (108 (pr1 pr1) 2)) (pr17 (28 (pr1 pr1) 2)) (
pr19 (21 (pr1 pr1) 2)) (pr18 (57 (pr1 pr1) 2)) (pr29 (154 (
pr3 pr1) 2) (153 (pr3 pr1) 1) (97 (pr2 pr1) 2) (96 (pr2 pr1)
1)) (pr20 (56 (pr1 pr1) 2)) (pr30 (152 (pr3 pr1) 2) (151 (
pr3 pr1) 1) (150 (pr4 pr1) 2) (149 (pr4 pr1) 1) (93 (pr2 pr1
) 2) (92 (pr2 pr1) 1)) (pr31 (66 (pr3 pr1) 2) (65 (pr3 pr1)
1) (63 (pr4 pr1) 2) (62 (pr4 pr1) 1) (34 (pr2 pr1) 2) (33 (
pr2 pr1) 1)) (pr21 (27 (pr1 pr1) 2)) (pr22 (55 (pr1 pr1) 2))
(pr23 (54 (pr1 pr1) 2)) (pr32 (148 (pr3 pr1) 2) (147 (pr3 
pr1) 1) (146 (pr4 pr1) 2) (145 (pr4 pr1) 1) (144 (pr7 pr1) 2
) (143 (pr7 pr1) 1) (89 (pr2 pr1) 2) (88 (pr2 pr1) 1) (87 (
pr6 pr1) 2) (86 (pr6 pr1) 1) (85 (pr9 pr1) 2) (84 (pr9 pr1)
1)) (pr24 (53 (pr1 pr1) 2)) (pr25 (20 (pr1 pr1) 2)) (pr26 (
176 (pr1 pr1) 2)) (pr33 (196 (pr14 pr1) 2) (195 (pr14 pr1) 1
) (194 (pr16 pr1) 2) (193 (pr16 pr1) 1) (142 (pr3 pr1) 2) (
141 (pr3 pr1) 1) (140 (pr4 pr1) 2) (139 (pr4 pr1) 1) (138 (
pr7 pr1) 2) (137 (pr7 pr1) 1) (136 (pr10 pr1) 2) (135 (pr10
pr1) 1) (134 (pr11 pr1) 2) (133 (pr11 pr1) 1) (132 (pr12 pr1
) 2) (131 (pr12 pr1) 1) (130 (pr18 pr1) 2) (129 (pr18 pr1) 1
) (81 (pr2 pr1) 2) (80 (pr2 pr1) 1) (79 (pr6 pr1) 2) (78 (
pr6 pr1) 1) (77 (pr9 pr1) 2) (76 (pr9 pr1) 1) (75 (pr13 pr1)
2) (74 (pr13 pr1) 1) (73 (pr15 pr1) 2) (72 (pr15 pr1) 1) (71
(pr17 pr1) 2) (70 (pr17 pr1) 1) (52 (pr5 pr1) 2) (51 (pr5 
pr1) 1) (50 (pr8 pr1) 2) (49 (pr8 pr1) 1) (48 (pr19 pr1) 2)
(47 (pr19 pr1) 1)) (pr34 (218 (pr14 pr1) 2) (217 (pr14 pr1)
1) (216 (pr16 pr1) 2) (215 (pr16 pr1) 1) (192 (pr3 pr1) 2) (
191 (pr3 pr1) 1) (190 (pr4 pr1) 2) (189 (pr4 pr1) 1) (188 (
pr7 pr1) 2) (187 (pr7 pr1) 1) (186 (pr10 pr1) 2) (185 (pr10
pr1) 1) (184 (pr11 pr1) 2) (183 (pr11 pr1) 1) (182 (pr12 pr1
) 2) (181 (pr12 pr1) 1) (180 (pr18 pr1) 2) (179 (pr18 pr1) 1
) (178 (pr20 pr1) 2) (177 (pr20 pr1) 1) (168 (pr2 pr1) 2) (
167 (pr2 pr1) 1) (166 (pr6 pr1) 2) (165 (pr6 pr1) 1) (164 (
pr9 pr1) 2) (163 (pr9 pr1) 1) (162 (pr13 pr1) 2) (161 (pr13
pr1) 1) (160 (pr15 pr1) 2) (159 (pr15 pr1) 1) (158 (pr17 pr1
) 2) (157 (pr17 pr1) 1) (107 (pr5 pr1) 2) (106 (pr5 pr1) 1)
(105 (pr8 pr1) 2) (104 (pr8 pr1) 1) (103 (pr19 pr1) 2) (102
(pr19 pr1) 1)) (pr35 (239 (pr3 pr1) 2) (238 (pr3 pr1) 1) (
237 (pr4 pr1) 2) (236 (pr4 pr1) 1) (235 (pr7 pr1) 2) (234 (
pr7 pr1) 1) (233 (pr10 pr1) 2) (232 (pr10 pr1) 1) (231 (pr11
pr1) 2) (230 (pr11 pr1) 1) (229 (pr12 pr1) 2) (228 (pr12 pr1
) 1) (227 (pr18 pr1) 2) (226 (pr18 pr1) 1) (225 (pr20 pr1) 2
) (224 (pr20 pr1) 1) (223 (pr22 pr1) 2) (222 (pr22 pr1) 1) (
221 (pr23 pr1) 2) (220 (pr23 pr1) 1) (212 (pr2 pr1) 2) (211
(pr2 pr1) 1) (210 (pr6 pr1) 2) (209 (pr6 pr1) 1) (208 (pr9 
pr1) 2) (207 (pr9 pr1) 1) (206 (pr13 pr1) 2) (205 (pr13 pr1)
1) (204 (pr15 pr1) 2) (203 (pr15 pr1) 1) (202 (pr17 pr1) 2)
(201 (pr17 pr1) 1) (200 (pr21 pr1) 2) (199 (pr21 pr1) 1) (
175 (pr5 pr1) 2) (174 (pr5 pr1) 1) (173 (pr8 pr1) 2) (172 (
pr8 pr1) 1) (171 (pr19 pr1) 2) (170 (pr19 pr1) 1)) (pr36 (
219 (pr26 pr2) 2) (214 (pr14 pr3) 2) (213 (pr16 pr4) 2) (198
(pr35 pr1) 2) (197 (pr35 pr1) 2) (169 (pr14 pr5) 2) (156 (
pr34 pr1) 2) (155 (pr34 pr1) 2) (128 (pr3 pr2) 2) (127 (pr3
pr6) 2) (126 (pr3 pr13) 2) (125 (pr3 pr15) 2) (124 (pr4 pr9)
2) (123 (pr4 pr17) 2) (122 (pr7 pr2) 2) (121 (pr7 pr6) 2) (
120 (pr7 pr13) 2) (119 (pr10 pr2) 2) (118 (pr10 pr6) 2) (117
(pr11 pr2) 2) (116 (pr11 pr6) 2) (115 (pr12 pr2) 2) (114 (
pr12 pr6) 2) (113 (pr20 pr2) 2) (112 (pr22 pr2) 2) (111 (
pr23 pr2) 2) (110 (pr24 pr2) 2) (99 (pr27 pr1) 2) (98 (pr27
pr1) 2) (95 (pr29 pr1) 2) (94 (pr29 pr1) 2) (91 (pr30 pr1) 2
) (90 (pr30 pr1) 2) (83 (pr32 pr1) 2) (82 (pr32 pr1) 2) (69
(pr33 pr1) 2) (68 (pr33 pr1) 2) (44 (pr2 pr5) 2) (43 (pr2 
pr19) 2) (42 (pr2 pr25) 2) (41 (pr6 pr5) 2) (40 (pr9 pr8) 2)
(39 (pr13 pr5) 2) (38 (pr15 pr5) 2) (37 (pr28 pr1) 2) (36 (
pr28 pr1) 2) (26 (pr1 pr1) 2) (25 (pr31 pr1) 2) (24 (pr31 
pr1) 2) (19 (ef ef) 2)))$ 
htionvvlist_add:='((239 ((pr1 -1 r3) (pr3 0 r2 vd vf) (pr35
1 r1 v va vb vc)) (plus (times (cons r1 vd) (cons r1 vf) (
cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f344 g) (
times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons vc vf) f343 g) (times (cons r2 v) (cons r2 va) (cons vb
vd) (cons vc vf) f342 g))) (238 ((pr35 -1 r1 v va vb vc) (
pr3 0 r2 vd vf) (pr1 1 r3)) (plus (times (cons r1 vd) (cons
r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) 
f344 g) (times (cons r1 vd) (cons r2 v) (cons r2 va) (cons 
r2 vb) (cons vc vf) f343 g) (times (cons r2 v) (cons r2 va)
(cons vb vd) (cons vc vf) f342 g))) (237 ((pr1 -1 r3) (pr4 0
r2 vd vf) (pr35 1 r1 v va vb vc)) (plus (times (cons r1 vd)
(cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2
vc) f341 g) (times (cons r1 vd) (cons r2 v) (cons r2 va) (
cons r2 vb) (cons vc vf) f340 g) (times (cons r2 v) (cons r2
va) (cons vb vd) (cons vc vf) f339 g))) (236 ((pr35 -1 r1 v
va vb vc) (pr4 0 r2 vd vf) (pr1 1 r3)) (plus (times (cons r1
vd) (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons
r2 vc) f341 g) (times (cons r1 vd) (cons r2 v) (cons r2 va)
(cons r2 vb) (cons vc vf) f340 g) (times (cons r2 v) (cons 
r2 va) (cons vb vd) (cons vc vf) f339 g))) (235 ((pr1 -1 r3)
(pr7 0 r2 vd vf) (pr35 1 r1 v va vb vc)) (plus (times (cons
r1 vd) (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons r2 vc) f338 g) (times (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) (cons vc vf) f337 g) (times (cons r2 v) (
cons r2 va) (cons vb vd) (cons vc vf) f336 g))) (234 ((pr35
-1 r1 v va vb vc) (pr7 0 r2 vd vf) (pr1 1 r3)) (plus (times
(cons r1 vd) (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2
vb) (cons r2 vc) f338 g) (times (cons r1 vd) (cons r2 v) (
cons r2 va) (cons r2 vb) (cons vc vf) f337 g) (times (cons 
r2 v) (cons r2 va) (cons vb vd) (cons vc vf) f336 g))) (233
((pr1 -1 r3) (pr10 0 r2 vd vf) (pr35 1 r1 v va vb vc)) (plus
(times (cons r1 vd) (cons r1 vf) (cons r2 v) (cons r2 va) (
cons r2 vb) (cons r2 vc) f335 g) (times (cons r1 vd) (cons 
r2 v) (cons r2 va) (cons r2 vb) (cons vc vf) f334 g) (times
(cons r2 v) (cons r2 va) (cons vb vd) (cons vc vf) f333 g)))
(232 ((pr35 -1 r1 v va vb vc) (pr10 0 r2 vd vf) (pr1 1 r3))
(plus (times (cons r1 vd) (cons r1 vf) (cons r2 v) (cons r2
va) (cons r2 vb) (cons r2 vc) f335 g) (times (cons r1 vd) (
cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vf) f334 g) (
times (cons r2 v) (cons r2 va) (cons vb vd) (cons vc vf) 
f333 g))) (231 ((pr1 -1 r3) (pr11 0 r2 vd vf) (pr35 1 r1 v 
va vb vc)) (plus (times (cons r1 vd) (cons r1 vf) (cons r2 v
) (cons r2 va) (cons r2 vb) (cons r2 vc) f332 g) (times (
cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc 
vf) f331 g) (times (cons r2 v) (cons r2 va) (cons vb vd) (
cons vc vf) f330 g))) (230 ((pr35 -1 r1 v va vb vc) (pr11 0
r2 vd vf) (pr1 1 r3)) (plus (times (cons r1 vd) (cons r1 vf)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f332 g) (
times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons vc vf) f331 g) (times (cons r2 v) (cons r2 va) (cons vb
vd) (cons vc vf) f330 g))) (229 ((pr1 -1 r3) (pr12 0 r2 vd 
vf) (pr35 1 r1 v va vb vc)) (plus (times (cons r1 vd) (cons
r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) 
f329 g) (times (cons r1 vd) (cons r2 v) (cons r2 va) (cons 
r2 vb) (cons vc vf) f328 g) (times (cons r2 v) (cons r2 va)
(cons vb vd) (cons vc vf) f327 g))) (228 ((pr35 -1 r1 v va 
vb vc) (pr12 0 r2 vd vf) (pr1 1 r3)) (plus (times (cons r1 
vd) (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons
r2 vc) f329 g) (times (cons r1 vd) (cons r2 v) (cons r2 va)
(cons r2 vb) (cons vc vf) f328 g) (times (cons r2 v) (cons 
r2 va) (cons vb vd) (cons vc vf) f327 g))) (227 ((pr1 -1 r3)
(pr18 0 r2 vd vf) (pr35 1 r1 v va vb vc)) (plus (times (cons
r1 vd) (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons r2 vc) f326 g) (times (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) (cons vc vf) f325 g) (times (cons r2 v) (
cons r2 va) (cons vb vd) (cons vc vf) f324 g))) (226 ((pr35
-1 r1 v va vb vc) (pr18 0 r2 vd vf) (pr1 1 r3)) (plus (times
(cons r1 vd) (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2
vb) (cons r2 vc) f326 g) (times (cons r1 vd) (cons r2 v) (
cons r2 va) (cons r2 vb) (cons vc vf) f325 g) (times (cons 
r2 v) (cons r2 va) (cons vb vd) (cons vc vf) f324 g))) (225
((pr1 -1 r3) (pr20 0 r2 vd vf) (pr35 1 r1 v va vb vc)) (plus
(times (cons r1 vd) (cons r1 vf) (cons r2 v) (cons r2 va) (
cons r2 vb) (cons r2 vc) f323 g) (times (cons r1 vd) (cons 
r2 v) (cons r2 va) (cons r2 vb) (cons vc vf) f322 g) (times
(cons r2 v) (cons r2 va) (cons vb vd) (cons vc vf) f321 g)))
(224 ((pr35 -1 r1 v va vb vc) (pr20 0 r2 vd vf) (pr1 1 r3))
(plus (times (cons r1 vd) (cons r1 vf) (cons r2 v) (cons r2
va) (cons r2 vb) (cons r2 vc) f323 g) (times (cons r1 vd) (
cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vf) f322 g) (
times (cons r2 v) (cons r2 va) (cons vb vd) (cons vc vf) 
f321 g))) (223 ((pr1 -1 r3) (pr22 0 r2 vd vf) (pr35 1 r1 v 
va vb vc)) (plus (times (cons r1 vd) (cons r1 vf) (cons r2 v
) (cons r2 va) (cons r2 vb) (cons r2 vc) f320 g) (times (
cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc 
vf) f319 g) (times (cons r2 v) (cons r2 va) (cons vb vd) (
cons vc vf) f318 g))) (222 ((pr35 -1 r1 v va vb vc) (pr22 0
r2 vd vf) (pr1 1 r3)) (plus (times (cons r1 vd) (cons r1 vf)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f320 g) (
times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons vc vf) f319 g) (times (cons r2 v) (cons r2 va) (cons vb
vd) (cons vc vf) f318 g))) (221 ((pr1 -1 r3) (pr23 0 r2 vd 
vf) (pr35 1 r1 v va vb vc)) (plus (times (cons r1 vd) (cons
r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) 
f317 g) (times (cons r1 vd) (cons r2 v) (cons r2 va) (cons 
r2 vb) (cons vc vf) f316 g) (times (cons r2 v) (cons r2 va)
(cons vb vd) (cons vc vf) f315 g))) (220 ((pr35 -1 r1 v va 
vb vc) (pr23 0 r2 vd vf) (pr1 1 r3)) (plus (times (cons r1 
vd) (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (cons
r2 vc) f317 g) (times (cons r1 vd) (cons r2 v) (cons r2 va)
(cons r2 vb) (cons vc vf) f316 g) (times (cons r2 v) (cons 
r2 va) (cons vb vd) (cons vc vf) f315 g))) (219 ((pr26 0 r1
v va vb vc) (pr36 0 r2 vd) (pr2 0 r3 vf)) (plus (times (cons
r1 vd) (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons r2 vc) f314 g) (times (cons r1 vd) (cons r2 v) (cons r2
va) (cons r2 vb) (cons vc vf) f313 g) (times (cons r1 vf) (
cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) f311 g) (
times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) (
cons vd vf) f312 g) (times (cons r2 v) (cons r2 va) (cons vb
vd) (cons vc vf) f310 g))) (218 ((pr1 -1 r3) (pr14 0 r2 vc 
vd vf) (pr34 1 r1 v va vb)) (plus (minus (times (cons r1 vc)
(cons r1 vd) (cons r1 vf) (cons r2 v) (cons r2 va) (cons r2
vb) f309 g i)) (minus (times (cons r1 vc) (cons r1 vd) (cons
r2 v) (cons r2 va) (cons vb vf) f308 g i)) (minus (times (
cons r1 vc) (cons r2 v) (cons va vd) (cons vb vf) f307 g i))
(minus (times (cons v vc) (cons va vd) (cons vb vf) f306 g i
)))) (217 ((pr34 -1 r1 v va vb) (pr14 0 r2 vc vd vf) (pr1 1
r3)) (plus (times (cons r1 vc) (cons r1 vd) (cons r1 vf) (
cons r2 v) (cons r2 va) (cons r2 vb) f309 g i) (times (cons
r1 vc) (cons r1 vd) (cons r2 v) (cons r2 va) (cons vb vf) 
f308 g i) (times (cons r1 vc) (cons r2 v) (cons va vd) (cons
vb vf) f307 g i) (times (cons v vc) (cons va vd) (cons vb vf
) f306 g i))) (216 ((pr1 -1 r3) (pr16 0 r2 vc vd vf) (pr34 1
r1 v va vb)) (plus (minus (times (cons r1 vc) (cons r1 vd) (
cons r1 vf) (cons r2 v) (cons r2 va) (cons r2 vb) f305 g i))
(minus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2
va) (cons vb vf) f304 g i)) (minus (times (cons r1 vc) (cons
r2 v) (cons va vd) (cons vb vf) f303 g i)) (minus (times (
cons v vc) (cons va vd) (cons vb vf) f302 g i)))) (215 ((
pr34 -1 r1 v va vb) (pr16 0 r2 vc vd vf) (pr1 1 r3)) (plus (
times (cons r1 vc) (cons r1 vd) (cons r1 vf) (cons r2 v) (
cons r2 va) (cons r2 vb) f305 g i) (times (cons r1 vc) (cons
r1 vd) (cons r2 v) (cons r2 va) (cons vb vf) f304 g i) (
times (cons r1 vc) (cons r2 v) (cons va vd) (cons vb vf) 
f303 g i) (times (cons v vc) (cons va vd) (cons vb vf) f302
g i))) (214 ((pr14 0 r1 v va vb) (pr3 0 r2 vc vd) (pr36 0 r3
vf)) (plus (times (cons r1 vc) (cons r1 vd) (cons r1 vf) (
cons r2 v) (cons r2 va) (cons r2 vb) f301 g) (times (cons r1
vc) (cons r1 vd) (cons r2 v) (cons r2 va) (cons vb vf) f300
g) (times (cons r1 vc) (cons r1 vf) (cons r2 v) (cons r2 va)
(cons vb vd) f298 g) (times (cons r1 vc) (cons r2 v) (cons 
r2 va) (cons r2 vb) (cons vd vf) f299 g) (times (cons r1 vc)
(cons r2 v) (cons va vd) (cons vb vf) f297 g) (times (cons 
r1 vf) (cons r2 v) (cons va vc) (cons vb vd) f295 g) (times
(cons r2 v) (cons r2 va) (cons vb vc) (cons vd vf) f296 g) (
times (cons v vc) (cons va vd) (cons vb vf) f294 g))) (213 (
(pr16 0 r1 v va vb) (pr4 0 r2 vc vd) (pr36 0 r3 vf)) (plus (
times (cons r1 vc) (cons r1 vd) (cons r1 vf) (cons r2 v) (
cons r2 va) (cons r2 vb) f293 g) (times (cons r1 vc) (cons 
r1 vd) (cons r2 v) (cons r2 va) (cons vb vf) f292 g) (times
(cons r1 vc) (cons r1 vf) (cons r2 v) (cons r2 va) (cons vb
vd) f290 g) (times (cons r1 vc) (cons r2 v) (cons r2 va) (
cons r2 vb) (cons vd vf) f291 g) (times (cons r1 vc) (cons 
r2 v) (cons va vd) (cons vb vf) f289 g) (times (cons r1 vf)
(cons r2 v) (cons va vc) (cons vb vd) f287 g) (times (cons 
r2 v) (cons r2 va) (cons vb vc) (cons vd vf) f288 g) (times
(cons v vc) (cons va vd) (cons vb vf) f286 g))) (212 ((pr1 
-1 r3) (pr2 0 r2 vd) (pr35 1 r1 v va vb vc)) (plus (minus (
times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons r2 vc) f285 g)) (minus (times (cons r2 v) (cons r2 va)
(cons r2 vb) (cons vc vd) f284 g)))) (211 ((pr35 -1 r1 v va
vb vc) (pr2 0 r2 vd) (pr1 1 r3)) (plus (times (cons r1 vd) (
cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f285 g) (
times (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) 
f284 g))) (210 ((pr1 -1 r3) (pr6 0 r2 vd) (pr35 1 r1 v va vb
vc)) (plus (minus (times (cons r1 vd) (cons r2 v) (cons r2 
va) (cons r2 vb) (cons r2 vc) f283 g)) (minus (times (cons 
r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) f282 g)))) (209
((pr35 -1 r1 v va vb vc) (pr6 0 r2 vd) (pr1 1 r3)) (plus (
times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons r2 vc) f283 g) (times (cons r2 v) (cons r2 va) (cons r2
vb) (cons vc vd) f282 g))) (208 ((pr1 -1 r3) (pr9 0 r2 vd) (
pr35 1 r1 v va vb vc)) (plus (minus (times (cons r1 vd) (
cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f281 g)) (
minus (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc
vd) f280 g)))) (207 ((pr35 -1 r1 v va vb vc) (pr9 0 r2 vd) (
pr1 1 r3)) (plus (times (cons r1 vd) (cons r2 v) (cons r2 va
) (cons r2 vb) (cons r2 vc) f281 g) (times (cons r2 v) (cons
r2 va) (cons r2 vb) (cons vc vd) f280 g))) (206 ((pr1 -1 r3)
(pr13 0 r2 vd) (pr35 1 r1 v va vb vc)) (plus (minus (times (
cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 
vc) f279 g)) (minus (times (cons r2 v) (cons r2 va) (cons r2
vb) (cons vc vd) f278 g)))) (205 ((pr35 -1 r1 v va vb vc) (
pr13 0 r2 vd) (pr1 1 r3)) (plus (times (cons r1 vd) (cons r2
v) (cons r2 va) (cons r2 vb) (cons r2 vc) f279 g) (times (
cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) f278 g)))
(204 ((pr1 -1 r3) (pr15 0 r2 vd) (pr35 1 r1 v va vb vc)) (
plus (minus (times (cons r1 vd) (cons r2 v) (cons r2 va) (
cons r2 vb) (cons r2 vc) f277 g)) (minus (times (cons r2 v)
(cons r2 va) (cons r2 vb) (cons vc vd) f276 g)))) (203 ((
pr35 -1 r1 v va vb vc) (pr15 0 r2 vd) (pr1 1 r3)) (plus (
times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons r2 vc) f277 g) (times (cons r2 v) (cons r2 va) (cons r2
vb) (cons vc vd) f276 g))) (202 ((pr1 -1 r3) (pr17 0 r2 vd)
(pr35 1 r1 v va vb vc)) (plus (minus (times (cons r1 vd) (
cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f275 g)) (
minus (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc
vd) f274 g)))) (201 ((pr35 -1 r1 v va vb vc) (pr17 0 r2 vd)
(pr1 1 r3)) (plus (times (cons r1 vd) (cons r2 v) (cons r2 
va) (cons r2 vb) (cons r2 vc) f275 g) (times (cons r2 v) (
cons r2 va) (cons r2 vb) (cons vc vd) f274 g))) (200 ((pr1 
-1 r3) (pr21 0 r2 vd) (pr35 1 r1 v va vb vc)) (plus (minus (
times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) (
cons r2 vc) f273 g)) (minus (times (cons r2 v) (cons r2 va)
(cons r2 vb) (cons vc vd) f272 g)))) (199 ((pr35 -1 r1 v va
vb vc) (pr21 0 r2 vd) (pr1 1 r3)) (plus (times (cons r1 vd)
(cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) f273 g) (
times (cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) 
f272 g))) (198 ((pr1 -1 r3) (pr36 0 r2 vd) (pr35 1 r1 v va 
vb vc)) (plus (minus (times (cons r1 vd) (cons r2 v) (cons 
r2 va) (cons r2 vb) (cons r2 vc) f271 g)) (minus (times (
cons r2 v) (cons r2 va) (cons r2 vb) (cons vc vd) f270 g))))
(197 ((pr35 -1 r1 v va vb vc) (pr36 0 r2 vd) (pr1 1 r3)) (
plus (times (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 
vb) (cons r2 vc) f271 g) (times (cons r2 v) (cons r2 va) (
cons r2 vb) (cons vc vd) f270 g))) (196 ((pr1 -1 r3) (pr33 1
r2 vc vd) (pr14 0 r1 v va vb)) (plus (minus (times (cons r1
vc) (cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) f269
g)) (minus (times (cons r1 vc) (cons r2 v) (cons r2 va) (
cons vb vd) f268 g)) (minus (times (cons r2 v) (cons va vc)
(cons vb vd) f267 g)))) (195 ((pr14 0 r1 v va vb) (pr33 -1 
r2 vc vd) (pr1 1 r3)) (plus (times (cons r1 vc) (cons r1 vd)
(cons r2 v) (cons r2 va) (cons r2 vb) f269 g) (times (cons 
r1 vc) (cons r2 v) (cons r2 va) (cons vb vd) f268 g) (times
(cons r2 v) (cons va vc) (cons vb vd) f267 g))) (194 ((pr1 
-1 r3) (pr33 1 r2 vc vd) (pr16 0 r1 v va vb)) (plus (minus (
times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2 va) (
cons r2 vb) f266 g)) (minus (times (cons r1 vc) (cons r2 v)
(cons r2 va) (cons vb vd) f265 g)) (minus (times (cons r2 v)
(cons va vc) (cons vb vd) f264 g)))) (193 ((pr16 0 r1 v va 
vb) (pr33 -1 r2 vc vd) (pr1 1 r3)) (plus (times (cons r1 vc)
(cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) f266 g) (
times (cons r1 vc) (cons r2 v) (cons r2 va) (cons vb vd) 
f265 g) (times (cons r2 v) (cons va vc) (cons vb vd) f264 g)
)) (192 ((pr1 -1 r3) (pr3 0 r2 vc vd) (pr34 1 r1 v va vb)) (
plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons r2 
va) (cons r2 vb) f263 g i) (times (cons r1 vc) (cons r2 v) (
cons r2 va) (cons vb vd) f262 g i) (times (cons r2 v) (cons
va vc) (cons vb vd) f261 g i))) (191 ((pr34 -1 r1 v va vb) (
pr3 0 r2 vc vd) (pr1 1 r3)) (plus (times (cons r1 vc) (cons
r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) f263 g i) (
times (cons r1 vc) (cons r2 v) (cons r2 va) (cons vb vd) 
f262 g i) (times (cons r2 v) (cons va vc) (cons vb vd) f261
g i))) (190 ((pr1 -1 r3) (pr4 0 r2 vc vd) (pr34 1 r1 v va vb
)) (plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons
r2 va) (cons r2 vb) f260 g i) (times (cons r1 vc) (cons r2 v
) (cons r2 va) (cons vb vd) f259 g i) (times (cons r2 v) (
cons va vc) (cons vb vd) f258 g i))) (189 ((pr34 -1 r1 v va
vb) (pr4 0 r2 vc vd) (pr1 1 r3)) (plus (times (cons r1 vc) (
cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) f260 g i)
(times (cons r1 vc) (cons r2 v) (cons r2 va) (cons vb vd) 
f259 g i) (times (cons r2 v) (cons va vc) (cons vb vd) f258
g i))) (188 ((pr1 -1 r3) (pr7 0 r2 vc vd) (pr34 1 r1 v va vb
)) (plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (cons
r2 va) (cons r2 vb) f257 g i) (times (cons r1 vc) (cons r2 v
) (cons r2 va) (cons vb vd) f256 g i) (times (cons r2 v) (
cons va vc) (cons vb vd) f255 g i))) (187 ((pr34 -1 r1 v va
vb) (pr7 0 r2 vc vd) (pr1 1 r3)) (plus (times (cons r1 vc) (
cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) f257 g i)
(times (cons r1 vc) (cons r2 v) (cons r2 va) (cons vb vd) 
f256 g i) (times (cons r2 v) (cons va vc) (cons vb vd) f255
g i))) (186 ((pr1 -1 r3) (pr10 0 r2 vc vd) (pr34 1 r1 v va 
vb)) (plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (
cons r2 va) (cons r2 vb) f254 g i) (times (cons r1 vc) (cons
r2 v) (cons r2 va) (cons vb vd) f253 g i) (times (cons r2 v)
(cons va vc) (cons vb vd) f252 g i))) (185 ((pr34 -1 r1 v va
vb) (pr10 0 r2 vc vd) (pr1 1 r3)) (plus (times (cons r1 vc)
(cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) f254 g i)
(times (cons r1 vc) (cons r2 v) (cons r2 va) (cons vb vd) 
f253 g i) (times (cons r2 v) (cons va vc) (cons vb vd) f252
g i))) (184 ((pr1 -1 r3) (pr11 0 r2 vc vd) (pr34 1 r1 v va 
vb)) (plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (
cons r2 va) (cons r2 vb) f251 g i) (times (cons r1 vc) (cons
r2 v) (cons r2 va) (cons vb vd) f250 g i) (times (cons r2 v)
(cons va vc) (cons vb vd) f249 g i))) (183 ((pr34 -1 r1 v va
vb) (pr11 0 r2 vc vd) (pr1 1 r3)) (plus (times (cons r1 vc)
(cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) f251 g i)
(times (cons r1 vc) (cons r2 v) (cons r2 va) (cons vb vd) 
f250 g i) (times (cons r2 v) (cons va vc) (cons vb vd) f249
g i))) (182 ((pr1 -1 r3) (pr12 0 r2 vc vd) (pr34 1 r1 v va 
vb)) (plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (
cons r2 va) (cons r2 vb) f248 g i) (times (cons r1 vc) (cons
r2 v) (cons r2 va) (cons vb vd) f247 g i) (times (cons r2 v)
(cons va vc) (cons vb vd) f246 g i))) (181 ((pr34 -1 r1 v va
vb) (pr12 0 r2 vc vd) (pr1 1 r3)) (plus (times (cons r1 vc)
(cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) f248 g i)
(times (cons r1 vc) (cons r2 v) (cons r2 va) (cons vb vd) 
f247 g i) (times (cons r2 v) (cons va vc) (cons vb vd) f246
g i))) (180 ((pr1 -1 r3) (pr18 0 r2 vc vd) (pr34 1 r1 v va 
vb)) (plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (
cons r2 va) (cons r2 vb) f245 g i) (times (cons r1 vc) (cons
r2 v) (cons r2 va) (cons vb vd) f244 g i) (times (cons r2 v)
(cons va vc) (cons vb vd) f243 g i))) (179 ((pr34 -1 r1 v va
vb) (pr18 0 r2 vc vd) (pr1 1 r3)) (plus (times (cons r1 vc)
(cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) f245 g i)
(times (cons r1 vc) (cons r2 v) (cons r2 va) (cons vb vd) 
f244 g i) (times (cons r2 v) (cons va vc) (cons vb vd) f243
g i))) (178 ((pr1 -1 r3) (pr20 0 r2 vc vd) (pr34 1 r1 v va 
vb)) (plus (times (cons r1 vc) (cons r1 vd) (cons r2 v) (
cons r2 va) (cons r2 vb) f242 g i) (times (cons r1 vc) (cons
r2 v) (cons r2 va) (cons vb vd) f241 g i) (times (cons r2 v)
(cons va vc) (cons vb vd) f240 g i))) (177 ((pr34 -1 r1 v va
vb) (pr20 0 r2 vc vd) (pr1 1 r3)) (plus (times (cons r1 vc)
(cons r1 vd) (cons r2 v) (cons r2 va) (cons r2 vb) f242 g i)
(times (cons r1 vc) (cons r2 v) (cons r2 va) (cons vb vd) 
f241 g i) (times (cons r2 v) (cons va vc) (cons vb vd) f240
g i))) (176 ((pr26 0 r1 v va vb vc) (pr1 -1 r2) (pr1 1 r3))
(times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc) 
f239 g)) (175 ((pr1 -1 r3) (pr5 0 r2) (pr35 1 r1 v va vb vc)
) (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc)
f238 g)) (174 ((pr35 -1 r1 v va vb vc) (pr5 0 r2) (pr1 1 r3)
) (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc)
f238 g)) (173 ((pr1 -1 r3) (pr8 0 r2) (pr35 1 r1 v va vb vc)
) (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc)
f237 g)) (172 ((pr35 -1 r1 v va vb vc) (pr8 0 r2) (pr1 1 r3)
) (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc)
f237 g)) (171 ((pr1 -1 r3) (pr19 0 r2) (pr35 1 r1 v va vb vc
)) (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc)
f236 g)) (170 ((pr35 -1 r1 v va vb vc) (pr19 0 r2) (pr1 1 r3
)) (times (cons r2 v) (cons r2 va) (cons r2 vb) (cons r2 vc)
f236 g)) (169 ((pr14 0 r1 v va vb) (pr36 0 r2 vc) (pr5 0 r3)
) (plus (times (cons r1 vc) (cons r2 v) (cons r2 va) (cons 
r2 vb) f235 g) (times (cons r2 v) (cons r2 va) (cons vb vc)
f234 g))) (168 ((pr1 -1 r3) (pr2 0 r2 vc) (pr34 1 r1 v va vb
)) (plus (minus (times (cons r1 vc) (cons r2 v) (cons r2 va)
(cons r2 vb) f233 g i)) (minus (times (cons r2 v) (cons r2 
va) (cons vb vc) f232 g i)))) (167 ((pr34 -1 r1 v va vb) (
pr2 0 r2 vc) (pr1 1 r3)) (plus (times (cons r1 vc) (cons r2
v) (cons r2 va) (cons r2 vb) f233 g i) (times (cons r2 v) (
cons r2 va) (cons vb vc) f232 g i))) (166 ((pr1 -1 r3) (pr6
0 r2 vc) (pr34 1 r1 v va vb)) (plus (minus (times (cons r1 
vc) (cons r2 v) (cons r2 va) (cons r2 vb) f231 g i)) (minus
(times (cons r2 v) (cons r2 va) (cons vb vc) f230 g i)))) (
165 ((pr34 -1 r1 v va vb) (pr6 0 r2 vc) (pr1 1 r3)) (plus (
times (cons r1 vc) (cons r2 v) (cons r2 va) (cons r2 vb) 
f231 g i) (times (cons r2 v) (cons r2 va) (cons vb vc) f230
g i))) (164 ((pr1 -1 r3) (pr9 0 r2 vc) (pr34 1 r1 v va vb))
(plus (minus (times (cons r1 vc) (cons r2 v) (cons r2 va) (
cons r2 vb) f229 g i)) (minus (times (cons r2 v) (cons r2 va
) (cons vb vc) f228 g i)))) (163 ((pr34 -1 r1 v va vb) (pr9
0 r2 vc) (pr1 1 r3)) (plus (times (cons r1 vc) (cons r2 v) (
cons r2 va) (cons r2 vb) f229 g i) (times (cons r2 v) (cons
r2 va) (cons vb vc) f228 g i))) (162 ((pr1 -1 r3) (pr13 0 r2
vc) (pr34 1 r1 v va vb)) (plus (minus (times (cons r1 vc) (
cons r2 v) (cons r2 va) (cons r2 vb) f227 g i)) (minus (
times (cons r2 v) (cons r2 va) (cons vb vc) f226 g i)))) (
161 ((pr34 -1 r1 v va vb) (pr13 0 r2 vc) (pr1 1 r3)) (plus (
times (cons r1 vc) (cons r2 v) (cons r2 va) (cons r2 vb) 
f227 g i) (times (cons r2 v) (cons r2 va) (cons vb vc) f226
g i))) (160 ((pr1 -1 r3) (pr15 0 r2 vc) (pr34 1 r1 v va vb))
(plus (minus (times (cons r1 vc) (cons r2 v) (cons r2 va) (
cons r2 vb) f225 g i)) (minus (times (cons r2 v) (cons r2 va
) (cons vb vc) f224 g i)))) (159 ((pr34 -1 r1 v va vb) (pr15
0 r2 vc) (pr1 1 r3)) (plus (times (cons r1 vc) (cons r2 v) (
cons r2 va) (cons r2 vb) f225 g i) (times (cons r2 v) (cons
r2 va) (cons vb vc) f224 g i))) (158 ((pr1 -1 r3) (pr17 0 r2
vc) (pr34 1 r1 v va vb)) (plus (minus (times (cons r1 vc) (
cons r2 v) (cons r2 va) (cons r2 vb) f223 g i)) (minus (
times (cons r2 v) (cons r2 va) (cons vb vc) f222 g i)))) (
157 ((pr34 -1 r1 v va vb) (pr17 0 r2 vc) (pr1 1 r3)) (plus (
times (cons r1 vc) (cons r2 v) (cons r2 va) (cons r2 vb) 
f223 g i) (times (cons r2 v) (cons r2 va) (cons vb vc) f222
g i))) (156 ((pr1 -1 r3) (pr36 0 r2 vc) (pr34 1 r1 v va vb))
(plus (minus (times (cons r1 vc) (cons r2 v) (cons r2 va) (
cons r2 vb) f221 g i)) (minus (times (cons r2 v) (cons r2 va
) (cons vb vc) f220 g i)))) (155 ((pr34 -1 r1 v va vb) (pr36
0 r2 vc) (pr1 1 r3)) (plus (times (cons r1 vc) (cons r2 v) (
cons r2 va) (cons r2 vb) f221 g i) (times (cons r2 v) (cons
r2 va) (cons vb vc) f220 g i))) (154 ((pr1 -1 r3) (pr3 0 r2
vb vc) (pr29 1 r1 v va)) (plus (times (cons r1 vb) (cons r1
vc) (cons r2 v) (cons r2 va) f219 g) (times (cons r1 vb) (
cons r2 v) (cons va vc) f218 g) (times (cons v vb) (cons va
vc) f217 g))) (153 ((pr29 -1 r1 v va) (pr3 0 r2 vb vc) (pr1
1 r3)) (plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (
cons r2 va) f219 g) (times (cons r1 vb) (cons r2 v) (cons va
vc) f218 g) (times (cons v vb) (cons va vc) f217 g))) (152 (
(pr1 -1 r3) (pr3 0 r2 vb vc) (pr30 1 r1 v va)) (plus (times
(cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f216 g) (
times (cons r1 vb) (cons r2 v) (cons va vc) f215 g) (times (
cons v vb) (cons va vc) f214 g))) (151 ((pr30 -1 r1 v va) (
pr3 0 r2 vb vc) (pr1 1 r3)) (plus (times (cons r1 vb) (cons
r1 vc) (cons r2 v) (cons r2 va) f216 g) (times (cons r1 vb)
(cons r2 v) (cons va vc) f215 g) (times (cons v vb) (cons va
vc) f214 g))) (150 ((pr1 -1 r3) (pr4 0 r2 vb vc) (pr30 1 r1
v va)) (plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (
cons r2 va) f213 g) (times (cons r1 vb) (cons r2 v) (cons va
vc) f212 g) (times (cons v vb) (cons va vc) f211 g))) (149 (
(pr30 -1 r1 v va) (pr4 0 r2 vb vc) (pr1 1 r3)) (plus (times
(cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f213 g) (
times (cons r1 vb) (cons r2 v) (cons va vc) f212 g) (times (
cons v vb) (cons va vc) f211 g))) (148 ((pr1 -1 r3) (pr3 0 
r2 vb vc) (pr32 1 r1 v va)) (plus (minus (times (cons r1 vc)
(cons r2 va) (eps r1 r2 v vb) f210 g)) (minus (times (cons 
va vc) (eps r1 r2 v vb) f209 g)))) (147 ((pr32 -1 r1 v va) (
pr3 0 r2 vb vc) (pr1 1 r3)) (plus (minus (times (cons r1 vc)
(cons r2 va) (eps r1 r2 v vb) f210 g)) (minus (times (cons 
va vc) (eps r1 r2 v vb) f209 g)))) (146 ((pr1 -1 r3) (pr4 0
r2 vb vc) (pr32 1 r1 v va)) (plus (minus (times (cons r1 vc)
(cons r2 va) (eps r1 r2 v vb) f208 g)) (minus (times (cons 
va vc) (eps r1 r2 v vb) f207 g)))) (145 ((pr32 -1 r1 v va) (
pr4 0 r2 vb vc) (pr1 1 r3)) (plus (minus (times (cons r1 vc)
(cons r2 va) (eps r1 r2 v vb) f208 g)) (minus (times (cons 
va vc) (eps r1 r2 v vb) f207 g)))) (144 ((pr1 -1 r3) (pr7 0
r2 vb vc) (pr32 1 r1 v va)) (plus (minus (times (cons r1 vc)
(cons r2 va) (eps r1 r2 v vb) f206 g)) (minus (times (cons 
va vc) (eps r1 r2 v vb) f205 g)))) (143 ((pr32 -1 r1 v va) (
pr7 0 r2 vb vc) (pr1 1 r3)) (plus (minus (times (cons r1 vc)
(cons r2 va) (eps r1 r2 v vb) f206 g)) (minus (times (cons 
va vc) (eps r1 r2 v vb) f205 g)))) (142 ((pr1 -1 r3) (pr3 0
r2 vb vc) (pr33 1 r1 v va)) (plus (times (cons r1 vb) (cons
r1 vc) (cons r2 v) (cons r2 va) f204 g) (times (cons r1 vb)
(cons r2 v) (cons va vc) f203 g) (times (cons v vb) (cons va
vc) f202 g))) (141 ((pr33 -1 r1 v va) (pr3 0 r2 vb vc) (pr1
1 r3)) (plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (
cons r2 va) f204 g) (times (cons r1 vb) (cons r2 v) (cons va
vc) f203 g) (times (cons v vb) (cons va vc) f202 g))) (140 (
(pr1 -1 r3) (pr4 0 r2 vb vc) (pr33 1 r1 v va)) (plus (times
(cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f201 g) (
times (cons r1 vb) (cons r2 v) (cons va vc) f200 g) (times (
cons v vb) (cons va vc) f199 g))) (139 ((pr33 -1 r1 v va) (
pr4 0 r2 vb vc) (pr1 1 r3)) (plus (times (cons r1 vb) (cons
r1 vc) (cons r2 v) (cons r2 va) f201 g) (times (cons r1 vb)
(cons r2 v) (cons va vc) f200 g) (times (cons v vb) (cons va
vc) f199 g))) (138 ((pr1 -1 r3) (pr7 0 r2 vb vc) (pr33 1 r1
v va)) (plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (
cons r2 va) f198 g) (times (cons r1 vb) (cons r2 v) (cons va
vc) f197 g) (times (cons v vb) (cons va vc) f196 g))) (137 (
(pr33 -1 r1 v va) (pr7 0 r2 vb vc) (pr1 1 r3)) (plus (times
(cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f198 g) (
times (cons r1 vb) (cons r2 v) (cons va vc) f197 g) (times (
cons v vb) (cons va vc) f196 g))) (136 ((pr1 -1 r3) (pr10 0
r2 vb vc) (pr33 1 r1 v va)) (plus (times (cons r1 vb) (cons
r1 vc) (cons r2 v) (cons r2 va) f195 g) (times (cons r1 vb)
(cons r2 v) (cons va vc) f194 g) (times (cons v vb) (cons va
vc) f193 g))) (135 ((pr33 -1 r1 v va) (pr10 0 r2 vb vc) (pr1
1 r3)) (plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (
cons r2 va) f195 g) (times (cons r1 vb) (cons r2 v) (cons va
vc) f194 g) (times (cons v vb) (cons va vc) f193 g))) (134 (
(pr1 -1 r3) (pr11 0 r2 vb vc) (pr33 1 r1 v va)) (plus (times
(cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f192 g) (
times (cons r1 vb) (cons r2 v) (cons va vc) f191 g) (times (
cons v vb) (cons va vc) f190 g))) (133 ((pr33 -1 r1 v va) (
pr11 0 r2 vb vc) (pr1 1 r3)) (plus (times (cons r1 vb) (cons
r1 vc) (cons r2 v) (cons r2 va) f192 g) (times (cons r1 vb)
(cons r2 v) (cons va vc) f191 g) (times (cons v vb) (cons va
vc) f190 g))) (132 ((pr1 -1 r3) (pr12 0 r2 vb vc) (pr33 1 r1
v va)) (plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (
cons r2 va) f189 g) (times (cons r1 vb) (cons r2 v) (cons va
vc) f188 g) (times (cons v vb) (cons va vc) f187 g))) (131 (
(pr33 -1 r1 v va) (pr12 0 r2 vb vc) (pr1 1 r3)) (plus (times
(cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f189 g) (
times (cons r1 vb) (cons r2 v) (cons va vc) f188 g) (times (
cons v vb) (cons va vc) f187 g))) (130 ((pr1 -1 r3) (pr18 0
r2 vb vc) (pr33 1 r1 v va)) (plus (times (cons r1 vb) (cons
r1 vc) (cons r2 v) (cons r2 va) f186 g) (times (cons r1 vb)
(cons r2 v) (cons va vc) f185 g) (times (cons v vb) (cons va
vc) f184 g))) (129 ((pr33 -1 r1 v va) (pr18 0 r2 vb vc) (pr1
1 r3)) (plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (
cons r2 va) f186 g) (times (cons r1 vb) (cons r2 v) (cons va
vc) f185 g) (times (cons v vb) (cons va vc) f184 g))) (128 (
(pr3 0 r1 v va) (pr36 0 r2 vb) (pr2 0 r3 vc)) (plus (times (
cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f183 g) (
times (cons r1 vb) (cons r2 v) (cons va vc) f182 g) (times (
cons r1 vc) (cons r2 v) (cons va vb) f180 g) (times (cons r2
v) (cons r2 va) (cons vb vc) f181 g) (times (cons v vb) (
cons va vc) f179 g))) (127 ((pr3 0 r1 v va) (pr36 0 r2 vb) (
pr6 0 r3 vc)) (plus (times (cons r1 vb) (cons r1 vc) (cons 
r2 v) (cons r2 va) f178 g) (times (cons r1 vb) (cons r2 v) (
cons va vc) f177 g) (times (cons r1 vc) (cons r2 v) (cons va
vb) f175 g) (times (cons r2 v) (cons r2 va) (cons vb vc) 
f176 g) (times (cons v vb) (cons va vc) f174 g))) (126 ((pr3
0 r1 v va) (pr36 0 r2 vb) (pr13 0 r3 vc)) (plus (times (cons
r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f173 g) (times
(cons r1 vb) (cons r2 v) (cons va vc) f172 g) (times (cons 
r1 vc) (cons r2 v) (cons va vb) f170 g) (times (cons r2 v) (
cons r2 va) (cons vb vc) f171 g) (times (cons v vb) (cons va
vc) f169 g))) (125 ((pr3 0 r1 v va) (pr36 0 r2 vb) (pr15 0 
r3 vc)) (plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (
cons r2 va) f168 g) (times (cons r1 vb) (cons r2 v) (cons va
vc) f167 g) (times (cons r1 vc) (cons r2 v) (cons va vb) 
f165 g) (times (cons r2 v) (cons r2 va) (cons vb vc) f166 g)
(times (cons v vb) (cons va vc) f164 g))) (124 ((pr4 0 r1 v
va) (pr36 0 r2 vb) (pr9 0 r3 vc)) (plus (times (cons r1 vb)
(cons r1 vc) (cons r2 v) (cons r2 va) f163 g) (times (cons 
r1 vb) (cons r2 v) (cons va vc) f162 g) (times (cons r1 vc)
(cons r2 v) (cons va vb) f160 g) (times (cons r2 v) (cons r2
va) (cons vb vc) f161 g) (times (cons v vb) (cons va vc) 
f159 g))) (123 ((pr4 0 r1 v va) (pr36 0 r2 vb) (pr17 0 r3 vc
)) (plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons
r2 va) f158 g) (times (cons r1 vb) (cons r2 v) (cons va vc)
f157 g) (times (cons r1 vc) (cons r2 v) (cons va vb) f155 g)
(times (cons r2 v) (cons r2 va) (cons vb vc) f156 g) (times
(cons v vb) (cons va vc) f154 g))) (122 ((pr7 0 r1 v va) (
pr36 0 r2 vb) (pr2 0 r3 vc)) (plus (times (cons r1 vb) (cons
r1 vc) (cons r2 v) (cons r2 va) f153 g) (times (cons r1 vb)
(cons r2 v) (cons va vc) f152 g) (times (cons r1 vc) (cons 
r2 v) (cons va vb) f150 g) (times (cons r2 v) (cons r2 va) (
cons vb vc) f151 g) (times (cons v vb) (cons va vc) f149 g))
) (121 ((pr7 0 r1 v va) (pr36 0 r2 vb) (pr6 0 r3 vc)) (plus
(times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) 
f148 g) (times (cons r1 vb) (cons r2 v) (cons va vc) f147 g)
(times (cons r1 vc) (cons r2 v) (cons va vb) f145 g) (times
(cons r2 v) (cons r2 va) (cons vb vc) f146 g) (times (cons v
vb) (cons va vc) f144 g))) (120 ((pr7 0 r1 v va) (pr36 0 r2
vb) (pr13 0 r3 vc)) (plus (times (cons r1 vb) (cons r1 vc) (
cons r2 v) (cons r2 va) f143 g) (times (cons r1 vb) (cons r2
v) (cons va vc) f142 g) (times (cons r1 vc) (cons r2 v) (
cons va vb) f140 g) (times (cons r2 v) (cons r2 va) (cons vb
vc) f141 g) (times (cons v vb) (cons va vc) f139 g))) (119 (
(pr10 0 r1 v va) (pr36 0 r2 vb) (pr2 0 r3 vc)) (plus (times
(cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f138 g) (
times (cons r1 vb) (cons r2 v) (cons va vc) f137 g) (times (
cons r1 vc) (cons r2 v) (cons va vb) f135 g) (times (cons r2
v) (cons r2 va) (cons vb vc) f136 g) (times (cons v vb) (
cons va vc) f134 g))) (118 ((pr10 0 r1 v va) (pr36 0 r2 vb)
(pr6 0 r3 vc)) (plus (times (cons r1 vb) (cons r1 vc) (cons
r2 v) (cons r2 va) f133 g) (times (cons r1 vb) (cons r2 v) (
cons va vc) f132 g) (times (cons r1 vc) (cons r2 v) (cons va
vb) f130 g) (times (cons r2 v) (cons r2 va) (cons vb vc) 
f131 g) (times (cons v vb) (cons va vc) f129 g))) (117 ((
pr11 0 r1 v va) (pr36 0 r2 vb) (pr2 0 r3 vc)) (plus (times (
cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f128 g) (
times (cons r1 vb) (cons r2 v) (cons va vc) f127 g) (times (
cons r1 vc) (cons r2 v) (cons va vb) f125 g) (times (cons r2
v) (cons r2 va) (cons vb vc) f126 g) (times (cons v vb) (
cons va vc) f124 g))) (116 ((pr11 0 r1 v va) (pr36 0 r2 vb)
(pr6 0 r3 vc)) (plus (times (cons r1 vb) (cons r1 vc) (cons
r2 v) (cons r2 va) f123 g) (times (cons r1 vb) (cons r2 v) (
cons va vc) f122 g) (times (cons r1 vc) (cons r2 v) (cons va
vb) f120 g) (times (cons r2 v) (cons r2 va) (cons vb vc) 
f121 g) (times (cons v vb) (cons va vc) f119 g))) (115 ((
pr12 0 r1 v va) (pr36 0 r2 vb) (pr2 0 r3 vc)) (plus (times (
cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f118 g) (
times (cons r1 vb) (cons r2 v) (cons va vc) f117 g) (times (
cons r1 vc) (cons r2 v) (cons va vb) f115 g) (times (cons r2
v) (cons r2 va) (cons vb vc) f116 g) (times (cons v vb) (
cons va vc) f114 g))) (114 ((pr12 0 r1 v va) (pr36 0 r2 vb)
(pr6 0 r3 vc)) (plus (times (cons r1 vb) (cons r1 vc) (cons
r2 v) (cons r2 va) f113 g) (times (cons r1 vb) (cons r2 v) (
cons va vc) f112 g) (times (cons r1 vc) (cons r2 v) (cons va
vb) f110 g) (times (cons r2 v) (cons r2 va) (cons vb vc) 
f111 g) (times (cons v vb) (cons va vc) f109 g))) (113 ((
pr20 0 r1 v va) (pr36 0 r2 vb) (pr2 0 r3 vc)) (plus (times (
cons r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f108 g) (
times (cons r1 vb) (cons r2 v) (cons va vc) f107 g) (times (
cons r1 vc) (cons r2 v) (cons va vb) f105 g) (times (cons r2
v) (cons r2 va) (cons vb vc) f106 g) (times (cons v vb) (
cons va vc) f104 g))) (112 ((pr22 0 r1 v va) (pr36 0 r2 vb)
(pr2 0 r3 vc)) (plus (times (cons r1 vb) (cons r1 vc) (cons
r2 v) (cons r2 va) f103 g) (times (cons r1 vb) (cons r2 v) (
cons va vc) f102 g) (times (cons r1 vc) (cons r2 v) (cons va
vb) f100 g) (times (cons r2 v) (cons r2 va) (cons vb vc) 
f101 g) (times (cons v vb) (cons va vc) f99 g))) (111 ((pr23
0 r1 v va) (pr36 0 r2 vb) (pr2 0 r3 vc)) (plus (times (cons
r1 vb) (cons r1 vc) (cons r2 v) (cons r2 va) f98 g) (times (
cons r1 vb) (cons r2 v) (cons va vc) f97 g) (times (cons r1
vc) (cons r2 v) (cons va vb) f95 g) (times (cons r2 v) (cons
r2 va) (cons vb vc) f96 g) (times (cons v vb) (cons va vc) 
f94 g))) (110 ((pr24 0 r1 v va) (pr36 0 r2 vb) (pr2 0 r3 vc)
) (plus (times (cons r1 vb) (cons r1 vc) (cons r2 v) (cons 
r2 va) f93 g) (times (cons r1 vb) (cons r2 v) (cons va vc) 
f92 g) (times (cons r1 vc) (cons r2 v) (cons va vb) f90 g) (
times (cons r2 v) (cons r2 va) (cons vb vc) f91 g) (times (
cons v vb) (cons va vc) f89 g))) (109 ((pr14 0 r1 v va vb) (
pr1 -1 r2) (pr1 1 r3)) (times (cons r2 v) (cons r2 va) (cons
r2 vb) f88 g)) (108 ((pr16 0 r1 v va vb) (pr1 -1 r2) (pr1 1
r3)) (times (cons r2 v) (cons r2 va) (cons r2 vb) f87 g)) (
107 ((pr1 -1 r3) (pr5 0 r2) (pr34 1 r1 v va vb)) (times (
cons r2 v) (cons r2 va) (cons r2 vb) f86 g i)) (106 ((pr34 
-1 r1 v va vb) (pr5 0 r2) (pr1 1 r3)) (times (cons r2 v) (
cons r2 va) (cons r2 vb) f86 g i)) (105 ((pr1 -1 r3) (pr8 0
r2) (pr34 1 r1 v va vb)) (times (cons r2 v) (cons r2 va) (
cons r2 vb) f85 g i)) (104 ((pr34 -1 r1 v va vb) (pr8 0 r2)
(pr1 1 r3)) (times (cons r2 v) (cons r2 va) (cons r2 vb) f85
g i)) (103 ((pr1 -1 r3) (pr19 0 r2) (pr34 1 r1 v va vb)) (
times (cons r2 v) (cons r2 va) (cons r2 vb) f84 g i)) (102 (
(pr34 -1 r1 v va vb) (pr19 0 r2) (pr1 1 r3)) (times (cons r2
v) (cons r2 va) (cons r2 vb) f84 g i)) (101 ((pr1 -1 r3) (
pr2 0 r2 vb) (pr27 1 r1 v va)) (plus (minus (times (cons r1
vb) (cons r2 v) (cons r2 va) f83 g)) (minus (times (cons r2
v) (cons va vb) f82 g)))) (100 ((pr27 -1 r1 v va) (pr2 0 r2
vb) (pr1 1 r3)) (plus (times (cons r1 vb) (cons r2 v) (cons
r2 va) f83 g) (times (cons r2 v) (cons va vb) f82 g))) (99 (
(pr1 -1 r3) (pr36 0 r2 vb) (pr27 1 r1 v va)) (plus (minus (
times (cons r1 vb) (cons r2 v) (cons r2 va) f81 g)) (minus (
times (cons r2 v) (cons va vb) f80 g)))) (98 ((pr27 -1 r1 v
va) (pr36 0 r2 vb) (pr1 1 r3)) (plus (times (cons r1 vb) (
cons r2 v) (cons r2 va) f81 g) (times (cons r2 v) (cons va 
vb) f80 g))) (97 ((pr1 -1 r3) (pr2 0 r2 vb) (pr29 1 r1 v va)
) (plus (minus (times (cons r1 vb) (cons r2 v) (cons r2 va)
f79 g)) (minus (times (cons r2 v) (cons va vb) f78 g)))) (96
((pr29 -1 r1 v va) (pr2 0 r2 vb) (pr1 1 r3)) (plus (times (
cons r1 vb) (cons r2 v) (cons r2 va) f79 g) (times (cons r2
v) (cons va vb) f78 g))) (95 ((pr1 -1 r3) (pr36 0 r2 vb) (
pr29 1 r1 v va)) (plus (minus (times (cons r1 vb) (cons r2 v
) (cons r2 va) f77 g)) (minus (times (cons r2 v) (cons va vb
) f76 g)))) (94 ((pr29 -1 r1 v va) (pr36 0 r2 vb) (pr1 1 r3)
) (plus (times (cons r1 vb) (cons r2 v) (cons r2 va) f77 g)
(times (cons r2 v) (cons va vb) f76 g))) (93 ((pr1 -1 r3) (
pr2 0 r2 vb) (pr30 1 r1 v va)) (plus (minus (times (cons r1
vb) (cons r2 v) (cons r2 va) f75 g)) (minus (times (cons r2
v) (cons va vb) f74 g)))) (92 ((pr30 -1 r1 v va) (pr2 0 r2 
vb) (pr1 1 r3)) (plus (times (cons r1 vb) (cons r2 v) (cons
r2 va) f75 g) (times (cons r2 v) (cons va vb) f74 g))) (91 (
(pr1 -1 r3) (pr36 0 r2 vb) (pr30 1 r1 v va)) (plus (minus (
times (cons r1 vb) (cons r2 v) (cons r2 va) f73 g)) (minus (
times (cons r2 v) (cons va vb) f72 g)))) (90 ((pr30 -1 r1 v
va) (pr36 0 r2 vb) (pr1 1 r3)) (plus (times (cons r1 vb) (
cons r2 v) (cons r2 va) f73 g) (times (cons r2 v) (cons va 
vb) f72 g))) (89 ((pr1 -1 r3) (pr2 0 r2 vb) (pr32 1 r1 v va)
) (times (cons r2 va) (eps r1 r2 v vb) f71 g)) (88 ((pr32 -1
r1 v va) (pr2 0 r2 vb) (pr1 1 r3)) (minus (times (cons r2 va
) (eps r1 r2 v vb) f71 g))) (87 ((pr1 -1 r3) (pr6 0 r2 vb) (
pr32 1 r1 v va)) (times (cons r2 va) (eps r1 r2 v vb) f70 g)
) (86 ((pr32 -1 r1 v va) (pr6 0 r2 vb) (pr1 1 r3)) (minus (
times (cons r2 va) (eps r1 r2 v vb) f70 g))) (85 ((pr1 -1 r3
) (pr9 0 r2 vb) (pr32 1 r1 v va)) (times (cons r2 va) (eps 
r1 r2 v vb) f69 g)) (84 ((pr32 -1 r1 v va) (pr9 0 r2 vb) (
pr1 1 r3)) (minus (times (cons r2 va) (eps r1 r2 v vb) f69 g
))) (83 ((pr1 -1 r3) (pr36 0 r2 vb) (pr32 1 r1 v va)) (times
(cons r2 va) (eps r1 r2 v vb) f68 g)) (82 ((pr32 -1 r1 v va)
(pr36 0 r2 vb) (pr1 1 r3)) (minus (times (cons r2 va) (eps 
r1 r2 v vb) f68 g))) (81 ((pr1 -1 r3) (pr2 0 r2 vb) (pr33 1
r1 v va)) (plus (minus (times (cons r1 vb) (cons r2 v) (cons
r2 va) f67 g)) (minus (times (cons r2 v) (cons va vb) f66 g)
))) (80 ((pr33 -1 r1 v va) (pr2 0 r2 vb) (pr1 1 r3)) (plus (
times (cons r1 vb) (cons r2 v) (cons r2 va) f67 g) (times (
cons r2 v) (cons va vb) f66 g))) (79 ((pr1 -1 r3) (pr6 0 r2
vb) (pr33 1 r1 v va)) (plus (minus (times (cons r1 vb) (cons
r2 v) (cons r2 va) f65 g)) (minus (times (cons r2 v) (cons 
va vb) f64 g)))) (78 ((pr33 -1 r1 v va) (pr6 0 r2 vb) (pr1 1
r3)) (plus (times (cons r1 vb) (cons r2 v) (cons r2 va) f65
g) (times (cons r2 v) (cons va vb) f64 g))) (77 ((pr1 -1 r3)
(pr9 0 r2 vb) (pr33 1 r1 v va)) (plus (minus (times (cons r1
vb) (cons r2 v) (cons r2 va) f63 g)) (minus (times (cons r2
v) (cons va vb) f62 g)))) (76 ((pr33 -1 r1 v va) (pr9 0 r2 
vb) (pr1 1 r3)) (plus (times (cons r1 vb) (cons r2 v) (cons
r2 va) f63 g) (times (cons r2 v) (cons va vb) f62 g))) (75 (
(pr1 -1 r3) (pr13 0 r2 vb) (pr33 1 r1 v va)) (plus (minus (
times (cons r1 vb) (cons r2 v) (cons r2 va) f61 g)) (minus (
times (cons r2 v) (cons va vb) f60 g)))) (74 ((pr33 -1 r1 v
va) (pr13 0 r2 vb) (pr1 1 r3)) (plus (times (cons r1 vb) (
cons r2 v) (cons r2 va) f61 g) (times (cons r2 v) (cons va 
vb) f60 g))) (73 ((pr1 -1 r3) (pr15 0 r2 vb) (pr33 1 r1 v va
)) (plus (minus (times (cons r1 vb) (cons r2 v) (cons r2 va)
f59 g)) (minus (times (cons r2 v) (cons va vb) f58 g)))) (72
((pr33 -1 r1 v va) (pr15 0 r2 vb) (pr1 1 r3)) (plus (times (
cons r1 vb) (cons r2 v) (cons r2 va) f59 g) (times (cons r2
v) (cons va vb) f58 g))) (71 ((pr1 -1 r3) (pr17 0 r2 vb) (
pr33 1 r1 v va)) (plus (minus (times (cons r1 vb) (cons r2 v
) (cons r2 va) f57 g)) (minus (times (cons r2 v) (cons va vb
) f56 g)))) (70 ((pr33 -1 r1 v va) (pr17 0 r2 vb) (pr1 1 r3)
) (plus (times (cons r1 vb) (cons r2 v) (cons r2 va) f57 g)
(times (cons r2 v) (cons va vb) f56 g))) (69 ((pr1 -1 r3) (
pr36 0 r2 vb) (pr33 1 r1 v va)) (plus (minus (times (cons r1
vb) (cons r2 v) (cons r2 va) f55 g)) (minus (times (cons r2
v) (cons va vb) f54 g)))) (68 ((pr33 -1 r1 v va) (pr36 0 r2
vb) (pr1 1 r3)) (plus (times (cons r1 vb) (cons r2 v) (cons
r2 va) f55 g) (times (cons r2 v) (cons va vb) f54 g))) (67 (
(pr3 0 r1 v va) (pr1 -1 r2) (pr1 1 r3)) (times (cons r2 v) (
cons r2 va) f53 g)) (66 ((pr1 -1 r3) (pr31 1 r2) (pr3 0 r1 v
va)) (times (cons r2 v) (cons r2 va) f52 g)) (65 ((pr3 0 r1
v va) (pr31 -1 r2) (pr1 1 r3)) (times (cons r2 v) (cons r2 
va) f52 g)) (64 ((pr4 0 r1 v va) (pr1 -1 r2) (pr1 1 r3)) (
times (cons r2 v) (cons r2 va) f51 g)) (63 ((pr1 -1 r3) (
pr31 1 r2) (pr4 0 r1 v va)) (times (cons r2 v) (cons r2 va)
f50 g)) (62 ((pr4 0 r1 v va) (pr31 -1 r2) (pr1 1 r3)) (times
(cons r2 v) (cons r2 va) f50 g)) (61 ((pr7 0 r1 v va) (pr1 
-1 r2) (pr1 1 r3)) (times (cons r2 v) (cons r2 va) f49 g)) (
60 ((pr10 0 r1 v va) (pr1 -1 r2) (pr1 1 r3)) (times (cons r2
v) (cons r2 va) f48 g)) (59 ((pr11 0 r1 v va) (pr1 -1 r2) (
pr1 1 r3)) (times (cons r2 v) (cons r2 va) f47 g)) (58 ((
pr12 0 r1 v va) (pr1 -1 r2) (pr1 1 r3)) (times (cons r2 v) (
cons r2 va) f46 g)) (57 ((pr18 0 r1 v va) (pr1 -1 r2) (pr1 1
r3)) (times (cons r2 v) (cons r2 va) f45 g)) (56 ((pr20 0 r1
v va) (pr1 -1 r2) (pr1 1 r3)) (times (cons r2 v) (cons r2 va
) f44 g)) (55 ((pr22 0 r1 v va) (pr1 -1 r2) (pr1 1 r3)) (
times (cons r2 v) (cons r2 va) f43 g)) (54 ((pr23 0 r1 v va)
(pr1 -1 r2) (pr1 1 r3)) (times (cons r2 v) (cons r2 va) f42
g)) (53 ((pr24 0 r1 v va) (pr1 -1 r2) (pr1 1 r3)) (times (
cons r2 v) (cons r2 va) f41 g)) (52 ((pr1 -1 r3) (pr5 0 r2)
(pr33 1 r1 v va)) (times (cons r2 v) (cons r2 va) f40 g)) (
51 ((pr33 -1 r1 v va) (pr5 0 r2) (pr1 1 r3)) (times (cons r2
v) (cons r2 va) f40 g)) (50 ((pr1 -1 r3) (pr8 0 r2) (pr33 1
r1 v va)) (times (cons r2 v) (cons r2 va) f39 g)) (49 ((pr33
-1 r1 v va) (pr8 0 r2) (pr1 1 r3)) (times (cons r2 v) (cons
r2 va) f39 g)) (48 ((pr1 -1 r3) (pr19 0 r2) (pr33 1 r1 v va)
) (times (cons r2 v) (cons r2 va) f38 g)) (47 ((pr33 -1 r1 v
va) (pr19 0 r2) (pr1 1 r3)) (times (cons r2 v) (cons r2 va)
f38 g)) (46 ((pr1 -1 r3) (pr2 0 r2 va) (pr28 1 r1 v)) (plus
(minus (times (cons r1 va) (cons r2 v) f37 g i)) (minus (
times (cons v va) f36 g i)))) (45 ((pr28 -1 r1 v) (pr2 0 r2
va) (pr1 1 r3)) (plus (times (cons r1 va) (cons r2 v) f37 g
i) (times (cons v va) f36 g i))) (44 ((pr36 0 r1 v) (pr2 0 
r2 va) (pr5 0 r3)) (plus (times (cons r1 va) (cons r2 v) f35
g) (times (cons v va) f34 g))) (43 ((pr36 0 r1 v) (pr2 0 r2
va) (pr19 0 r3)) (plus (times (cons r1 va) (cons r2 v) f33 g
) (times (cons v va) f32 g))) (42 ((pr36 0 r1 v) (pr2 0 r2 
va) (pr25 0 r3)) (plus (times (cons r1 va) (cons r2 v) f31 g
) (times (cons v va) f30 g))) (41 ((pr36 0 r1 v) (pr6 0 r2 
va) (pr5 0 r3)) (plus (times (cons r1 va) (cons r2 v) f29 g)
(times (cons v va) f28 g))) (40 ((pr36 0 r1 v) (pr9 0 r2 va)
(pr8 0 r3)) (plus (times (cons r1 va) (cons r2 v) f27 g) (
times (cons v va) f26 g))) (39 ((pr36 0 r1 v) (pr13 0 r2 va)
(pr5 0 r3)) (plus (times (cons r1 va) (cons r2 v) f25 g) (
times (cons v va) f24 g))) (38 ((pr36 0 r1 v) (pr15 0 r2 va)
(pr5 0 r3)) (plus (times (cons r1 va) (cons r2 v) f23 g) (
times (cons v va) f22 g))) (37 ((pr1 -1 r3) (pr28 1 r2 va) (
pr36 0 r1 v)) (plus (minus (times (cons r1 va) (cons r2 v) 
f21 g i)) (minus (times (cons v va) f20 g i)))) (36 ((pr36 0
r1 v) (pr28 -1 r2 va) (pr1 1 r3)) (plus (times (cons r1 va)
(cons r2 v) f21 g i) (times (cons v va) f20 g i))) (35 ((pr2
0 r1 v) (pr1 -1 r2) (pr1 1 r3)) (times (cons r2 v) f19 g)) (
34 ((pr1 -1 r3) (pr31 1 r2) (pr2 0 r1 v)) (minus (times (
cons r2 v) f18 g))) (33 ((pr2 0 r1 v) (pr31 -1 r2) (pr1 1 r3
)) (times (cons r2 v) f18 g)) (32 ((pr6 0 r1 v) (pr1 -1 r2)
(pr1 1 r3)) (times (cons r2 v) f17 g)) (31 ((pr9 0 r1 v) (
pr1 -1 r2) (pr1 1 r3)) (times (cons r2 v) f16 g)) (30 ((pr13
0 r1 v) (pr1 -1 r2) (pr1 1 r3)) (times (cons r2 v) f15 g)) (
29 ((pr15 0 r1 v) (pr1 -1 r2) (pr1 1 r3)) (times (cons r2 v)
f14 g)) (28 ((pr17 0 r1 v) (pr1 -1 r2) (pr1 1 r3)) (times (
cons r2 v) f13 g)) (27 ((pr21 0 r1 v) (pr1 -1 r2) (pr1 1 r3)
) (times (cons r2 v) f12 g)) (26 ((pr36 0 r1 v) (pr1 -1 r2)
(pr1 1 r3)) (times (cons r2 v) f11 g)) (25 ((pr1 -1 r3) (
pr31 1 r2) (pr36 0 r1 v)) (minus (times (cons r2 v) f10 g)))
(24 ((pr36 0 r1 v) (pr31 -1 r2) (pr1 1 r3)) (times (cons r2
v) f10 g)) (23 ((pr5 0 r1) (pr1 -1 r2) (pr1 1 r3)) (times f9
g)) (22 ((pr8 0 r1) (pr1 -1 r2) (pr1 1 r3)) (times f8 g)) (
21 ((pr19 0 r1) (pr1 -1 r2) (pr1 1 r3)) (times f7 g)) (20 ((
pr25 0 r1) (pr1 -1 r2) (pr1 1 r3)) (times f6 g)) (19 ((pr36
0 r1 v) (ef -1 r2) (ef 1 r3)) (times (g l v) f5 g)) (18 ((
pr15 0 r1 v) (ef -1 r2) (ef 1 r3)) (times (g l v) f4 g)) (17
((pr13 0 r1 v) (ef -1 r2) (ef 1 r3)) (times (g l v) f3 g)) (
16 ((pr6 0 r1 v) (ef -1 r2) (ef 1 r3)) (times (g l v) f2 g))
(15 ((pr2 0 r1 v) (ef -1 r2) (ef 1 r3)) (times (g l v) f1 g)
))$ 
vertices_add_comment:='"
In this model, We have added some effective 
vertices, to do some calculation related to some resonance states
"$ 
end; 
