coupling_comment:='( (g3 " strong interaction ")  (g "

weak interaction ") )
 $
delta_qnumber_list:='nil
 $
pa_decay_list:='((pr5 (193 (pr2 pr1) 2) (15 (ef ef) 2)) (pr3
(192 (pr5 pr2) 2)) (pr6 (179 (pr2 pr1) 2) (178 (pr2 pr3) 2)
(16 (ef ef) 2)) (pr7 (162 (pr2 pr1) 2) (161 (pr2 pr3) 2)) (
pr8 (145 (pr2 pr1) 2) (144 (pr2 pr3) 2) (137 (pr5 pr1) 2)) (
pr9 (130 (pr2 pr1) 2) (129 (pr2 pr3) 2) (122 (pr5 pr1) 2) (
17 (ef ef) 2)) (pr10 (394 (pr5 pr2) 2) (393 (pr6 pr2) 2) (
392 (pr7 pr2) 2) (391 (pr8 pr2) 2) (390 (pr9 pr2) 2) (235 (
pr1 pr1) 2) (234 (pr3 pr1) 2)) (pr11 (380 (pr5 pr2) 2) (379
(pr6 pr2) 2) (378 (pr7 pr2) 2) (377 (pr8 pr2) 2) (376 (pr9 
pr2) 2) (231 (pr1 pr1) 2) (230 (pr3 pr1) 2)) (pr12 (389 (
pr10 pr2) 2) (375 (pr11 pr2) 2) (115 (pr2 pr1) 2) (114 (pr2
pr3) 2) (107 (pr5 pr1) 2) (105 (pr6 pr1) 2)) (pr13 (366 (pr5
pr2) 2) (365 (pr5 pr5) 2) (364 (pr6 pr2) 2) (363 (pr7 pr2) 2
) (362 (pr8 pr2) 2) (361 (pr9 pr2) 2) (360 (pr12 pr2) 2) (
227 (pr1 pr1) 2) (226 (pr3 pr1) 2)) (pr14 (388 (pr10 pr2) 2)
(374 (pr11 pr2) 2) (359 (pr13 pr2) 2) (102 (pr2 pr1) 2) (101
(pr2 pr3) 2) (94 (pr5 pr1) 2) (92 (pr6 pr1) 2) (18 (ef ef) 2
)) (pr15 (433 (pr2 pr1) 2) (432 (pr2 pr3) 2) (425 (pr5 pr1)
2) (423 (pr6 pr1) 2)) (pr16 (387 (pr10 pr2) 2) (373 (pr11 
pr2) 2) (358 (pr13 pr2) 2) (89 (pr2 pr1) 2) (88 (pr2 pr3) 2)
(81 (pr5 pr1) 2) (79 (pr6 pr1) 2) (19 (ef ef) 2)) (pr17 (431
(pr15 pr2) 2) (191 (pr5 pr2) 2) (185 (pr5 pr5) 2) (177 (pr6
pr2) 2) (160 (pr7 pr2) 2) (143 (pr8 pr2) 2) (128 (pr9 pr2) 2
) (113 (pr12 pr2) 2) (100 (pr14 pr2) 2) (87 (pr16 pr2) 2) (
41 (pr1 pr1) 2) (40 (pr3 pr1) 2)) (pr18 (351 (pr5 pr2) 2) (
350 (pr5 pr5) 2) (349 (pr6 pr2) 2) (348 (pr6 pr5) 2) (347 (
pr7 pr2) 2) (346 (pr8 pr2) 2) (345 (pr9 pr2) 2) (344 (pr12 
pr2) 2) (343 (pr14 pr2) 2) (342 (pr16 pr2) 2) (223 (pr1 pr1)
2) (222 (pr3 pr1) 2)) (pr19 (418 (pr2 pr1) 2) (417 (pr2 pr3)
2) (416 (pr2 pr17) 2) (410 (pr5 pr1) 2) (409 (pr5 pr3) 2) (
407 (pr6 pr1) 2) (405 (pr7 pr1) 2)) (pr4 (443 (pr15 pr2) 2)
(442 (pr19 pr2) 2) (249 (pr5 pr2) 2) (248 (pr5 pr5) 2) (247
(pr6 pr2) 2) (246 (pr6 pr5) 2) (245 (pr7 pr2) 2) (244 (pr8 
pr2) 2) (243 (pr9 pr2) 2) (242 (pr12 pr2) 2) (241 (pr14 pr2)
2) (240 (pr16 pr2) 2) (45 (pr1 pr1) 2) (44 (pr3 pr1) 2)) (
pr20 (337 (pr5 pr2) 2) (336 (pr5 pr5) 2) (335 (pr6 pr2) 2) (
334 (pr6 pr5) 2) (333 (pr7 pr2) 2) (332 (pr8 pr2) 2) (331 (
pr9 pr2) 2) (330 (pr12 pr2) 2) (329 (pr14 pr2) 2) (328 (pr16
pr2) 2) (219 (pr1 pr1) 2) (218 (pr3 pr1) 2)) (pr21 (323 (pr5
pr2) 2) (322 (pr5 pr5) 2) (321 (pr6 pr2) 2) (320 (pr6 pr5) 2
) (319 (pr7 pr2) 2) (318 (pr8 pr2) 2) (317 (pr9 pr2) 2) (316
(pr12 pr2) 2) (315 (pr14 pr2) 2) (314 (pr16 pr2) 2) (215 (
pr1 pr1) 2) (214 (pr3 pr1) 2) (213 (pr3 pr3) 2)) (pr22 (310
(pr5 pr2) 2) (309 (pr5 pr5) 2) (308 (pr6 pr2) 2) (307 (pr6 
pr5) 2) (306 (pr7 pr2) 2) (305 (pr7 pr5) 2) (304 (pr8 pr2) 2
) (303 (pr9 pr2) 2) (302 (pr12 pr2) 2) (301 (pr14 pr2) 2) (
300 (pr16 pr2) 2) (210 (pr1 pr1) 2) (209 (pr3 pr1) 2) (208 (
pr3 pr3) 2)) (pr23 (430 (pr15 pr2) 2) (415 (pr19 pr2) 2) (
190 (pr5 pr2) 2) (184 (pr5 pr5) 2) (176 (pr6 pr2) 2) (171 (
pr6 pr5) 2) (159 (pr7 pr2) 2) (154 (pr7 pr5) 2) (142 (pr8 
pr2) 2) (127 (pr9 pr2) 2) (112 (pr12 pr2) 2) (99 (pr14 pr2)
2) (86 (pr16 pr2) 2) (39 (pr1 pr1) 2) (38 (pr3 pr1) 2) (37 (
pr3 pr3) 2)) (pr24 (474 (pr5 pr2) 2) (473 (pr5 pr5) 2) (472
(pr6 pr2) 2) (471 (pr6 pr5) 2) (470 (pr7 pr2) 2) (469 (pr7 
pr5) 2) (468 (pr8 pr2) 2) (467 (pr9 pr2) 2) (466 (pr12 pr2)
2) (465 (pr14 pr2) 2) (464 (pr16 pr2) 2) (441 (pr1 pr1) 2) (
440 (pr3 pr1) 2) (439 (pr3 pr3) 2)) (pr25 (429 (pr15 pr2) 2)
(414 (pr19 pr2) 2) (189 (pr5 pr2) 2) (183 (pr5 pr5) 2) (175
(pr6 pr2) 2) (170 (pr6 pr5) 2) (166 (pr6 pr6) 2) (158 (pr7 
pr2) 2) (153 (pr7 pr5) 2) (141 (pr8 pr2) 2) (126 (pr9 pr2) 2
) (111 (pr12 pr2) 2) (98 (pr14 pr2) 2) (85 (pr16 pr2) 2) (36
(pr1 pr1) 2) (35 (pr3 pr1) 2) (34 (pr3 pr3) 2)) (pr26 (402 (
pr10 pr1) 2) (401 (pr11 pr1) 2) (296 (pr5 pr2) 2) (295 (pr5
pr5) 2) (294 (pr6 pr2) 2) (293 (pr6 pr5) 2) (292 (pr6 pr6) 2
) (291 (pr7 pr2) 2) (290 (pr7 pr5) 2) (289 (pr8 pr2) 2) (288
(pr9 pr2) 2) (287 (pr12 pr2) 2) (286 (pr14 pr2) 2) (285 (
pr16 pr2) 2) (205 (pr1 pr1) 2) (204 (pr3 pr1) 2) (203 (pr3 
pr3) 2)) (pr27 (428 (pr15 pr2) 2) (413 (pr19 pr2) 2) (188 (
pr5 pr2) 2) (182 (pr5 pr5) 2) (174 (pr6 pr2) 2) (169 (pr6 
pr5) 2) (165 (pr6 pr6) 2) (157 (pr7 pr2) 2) (152 (pr7 pr5) 2
) (149 (pr7 pr6) 2) (140 (pr8 pr2) 2) (136 (pr8 pr5) 2) (125
(pr9 pr2) 2) (110 (pr12 pr2) 2) (97 (pr14 pr2) 2) (84 (pr16
pr2) 2) (33 (pr1 pr1) 2) (32 (pr3 pr1) 2) (31 (pr3 pr3) 2))
(pr28 (400 (pr10 pr1) 2) (399 (pr11 pr1) 2) (398 (pr13 pr1)
2) (282 (pr5 pr2) 2) (281 (pr5 pr5) 2) (280 (pr6 pr2) 2) (
279 (pr6 pr5) 2) (278 (pr6 pr6) 2) (277 (pr7 pr2) 2) (276 (
pr7 pr5) 2) (275 (pr7 pr6) 2) (274 (pr8 pr2) 2) (273 (pr8 
pr5) 2) (272 (pr9 pr2) 2) (271 (pr9 pr5) 2) (270 (pr12 pr2)
2) (269 (pr14 pr2) 2) (268 (pr16 pr2) 2) (201 (pr1 pr1) 2) (
200 (pr3 pr1) 2) (199 (pr3 pr3) 2)) (pr29 (477 (pr10 pr1) 2)
(476 (pr11 pr1) 2) (475 (pr13 pr1) 2) (460 (pr5 pr2) 2) (459
(pr5 pr5) 2) (458 (pr6 pr2) 2) (457 (pr6 pr5) 2) (456 (pr6 
pr6) 2) (455 (pr7 pr2) 2) (454 (pr7 pr5) 2) (453 (pr7 pr6) 2
) (452 (pr8 pr2) 2) (451 (pr8 pr5) 2) (450 (pr9 pr2) 2) (449
(pr9 pr5) 2) (448 (pr12 pr2) 2) (447 (pr14 pr2) 2) (446 (
pr16 pr2) 2) (437 (pr1 pr1) 2) (436 (pr3 pr1) 2) (435 (pr3 
pr3) 2)) (pr30 (427 (pr15 pr2) 2) (412 (pr19 pr2) 2) (187 (
pr5 pr2) 2) (181 (pr5 pr5) 2) (173 (pr6 pr2) 2) (168 (pr6 
pr5) 2) (164 (pr6 pr6) 2) (156 (pr7 pr2) 2) (151 (pr7 pr5) 2
) (148 (pr7 pr6) 2) (139 (pr8 pr2) 2) (135 (pr8 pr5) 2) (124
(pr9 pr2) 2) (121 (pr9 pr5) 2) (109 (pr12 pr2) 2) (96 (pr14
pr2) 2) (83 (pr16 pr2) 2) (30 (pr1 pr1) 2) (29 (pr3 pr1) 2)
(28 (pr3 pr3) 2)) (pr31 (397 (pr10 pr1) 2) (396 (pr11 pr1) 2
) (395 (pr13 pr1) 2) (265 (pr5 pr2) 2) (264 (pr5 pr5) 2) (
263 (pr6 pr2) 2) (262 (pr6 pr5) 2) (261 (pr6 pr6) 2) (260 (
pr7 pr2) 2) (259 (pr7 pr5) 2) (258 (pr7 pr6) 2) (257 (pr8 
pr2) 2) (256 (pr8 pr5) 2) (255 (pr9 pr2) 2) (254 (pr9 pr5) 2
) (253 (pr12 pr2) 2) (252 (pr14 pr2) 2) (251 (pr16 pr2) 2) (
197 (pr1 pr1) 2) (196 (pr3 pr1) 2) (195 (pr3 pr3) 2)) (pr32
(438 (pr24 pr1) 2) (434 (pr29 pr1) 2) (426 (pr15 pr2) 2) (
424 (pr15 pr5) 2) (422 (pr15 pr6) 2) (421 (pr15 pr7) 2) (411
(pr19 pr2) 2) (408 (pr19 pr5) 2) (406 (pr19 pr6) 2) (233 (
pr10 pr1) 2) (232 (pr10 pr3) 2) (229 (pr11 pr1) 2) (228 (
pr11 pr3) 2) (225 (pr13 pr1) 2) (224 (pr13 pr3) 2) (221 (
pr18 pr1) 2) (220 (pr18 pr3) 2) (217 (pr20 pr1) 2) (216 (
pr20 pr3) 2) (212 (pr21 pr1) 2) (211 (pr21 pr3) 2) (207 (
pr22 pr1) 2) (206 (pr22 pr3) 2) (202 (pr26 pr1) 2) (198 (
pr28 pr1) 2) (194 (pr31 pr1) 2) (186 (pr5 pr2) 2) (180 (pr5
pr5) 2) (172 (pr6 pr2) 2) (167 (pr6 pr5) 2) (163 (pr6 pr6) 2
) (155 (pr7 pr2) 2) (150 (pr7 pr5) 2) (147 (pr7 pr6) 2) (146
(pr7 pr7) 2) (138 (pr8 pr2) 2) (134 (pr8 pr5) 2) (133 (pr8 
pr6) 2) (132 (pr8 pr7) 2) (131 (pr8 pr8) 2) (123 (pr9 pr2) 2
) (120 (pr9 pr5) 2) (119 (pr9 pr6) 2) (118 (pr9 pr7) 2) (117
(pr9 pr8) 2) (116 (pr9 pr9) 2) (108 (pr12 pr2) 2) (106 (pr12
pr5) 2) (104 (pr12 pr6) 2) (103 (pr12 pr7) 2) (95 (pr14 pr2)
2) (93 (pr14 pr5) 2) (91 (pr14 pr6) 2) (90 (pr14 pr7) 2) (82
(pr16 pr2) 2) (80 (pr16 pr5) 2) (78 (pr16 pr6) 2) (77 (pr16
pr7) 2) (43 (pr4 pr1) 2) (42 (pr4 pr3) 2) (27 (pr17 pr1) 2)
(26 (pr17 pr3) 2) (25 (pr23 pr1) 2) (24 (pr23 pr3) 2) (23 (
pr25 pr1) 2) (22 (pr27 pr1) 2) (21 (pr30 pr1) 2)) (pr33 (463
(pr24 pr2) 2) (462 (pr24 pr5) 2) (461 (pr24 pr6) 2) (445 (
pr29 pr2) 2) (444 (pr29 pr5) 2) (420 (pr15 pr1) 2) (419 (
pr15 pr3) 2) (404 (pr19 pr1) 2) (403 (pr19 pr3) 2) (386 (
pr10 pr2) 2) (385 (pr10 pr5) 2) (384 (pr10 pr6) 2) (383 (
pr10 pr7) 2) (382 (pr10 pr8) 2) (381 (pr10 pr9) 2) (372 (
pr11 pr2) 2) (371 (pr11 pr5) 2) (370 (pr11 pr6) 2) (369 (
pr11 pr7) 2) (368 (pr11 pr8) 2) (367 (pr11 pr9) 2) (357 (
pr13 pr2) 2) (356 (pr13 pr5) 2) (355 (pr13 pr6) 2) (354 (
pr13 pr7) 2) (353 (pr13 pr8) 2) (352 (pr13 pr9) 2) (341 (
pr18 pr2) 2) (340 (pr18 pr5) 2) (339 (pr18 pr6) 2) (338 (
pr18 pr7) 2) (327 (pr20 pr2) 2) (326 (pr20 pr5) 2) (325 (
pr20 pr6) 2) (324 (pr20 pr7) 2) (313 (pr21 pr2) 2) (312 (
pr21 pr5) 2) (311 (pr21 pr6) 2) (299 (pr22 pr2) 2) (298 (
pr22 pr5) 2) (297 (pr22 pr6) 2) (284 (pr26 pr2) 2) (283 (
pr26 pr5) 2) (267 (pr28 pr2) 2) (266 (pr28 pr5) 2) (250 (
pr31 pr2) 2) (239 (pr4 pr2) 2) (238 (pr5 pr4) 2) (237 (pr6 
pr4) 2) (236 (pr7 pr4) 2) (76 (pr2 pr1) 2) (75 (pr2 pr3) 2)
(74 (pr2 pr17) 2) (73 (pr2 pr23) 2) (72 (pr2 pr25) 2) (71 (
pr2 pr27) 2) (70 (pr2 pr30) 2) (69 (pr2 pr32) 2) (68 (pr5 
pr1) 2) (67 (pr5 pr3) 2) (66 (pr5 pr17) 2) (65 (pr5 pr23) 2)
(64 (pr5 pr25) 2) (63 (pr5 pr27) 2) (62 (pr6 pr1) 2) (61 (
pr6 pr3) 2) (60 (pr6 pr17) 2) (59 (pr6 pr23) 2) (58 (pr7 pr1
) 2) (57 (pr7 pr3) 2) (56 (pr7 pr17) 2) (55 (pr8 pr1) 2) (54
(pr8 pr3) 2) (53 (pr9 pr1) 2) (52 (pr9 pr3) 2) (51 (pr12 pr1
) 2) (50 (pr12 pr3) 2) (49 (pr14 pr1) 2) (48 (pr14 pr3) 2) (
47 (pr16 pr1) 2) (46 (pr16 pr3) 2) (20 (ef ef) 2)))
 $
two_pa_vertex_list:='nil
 $
stable_pal0:='(pr2 p nut numu nue ef qu qd qs mu pr1 pr5 pr3
qc pr6 pr7 pr8 pr9 pr10 pr11 pr12 pr13 pr14 pr15 pr16 pr17 
tau pr18 pr19 pr4 pr20 pr21 pr22 pr23 pr24 pr25 pr26 pr27 
pr28 pr29 pr30 pr31 pr32 pr33 qb w qt)
 $
mass_order_list:='(h0 qt z w qb pr33 pr32 pr31 pr30 pr29 
pr28 pr27 pr26 pr25 pr24 pr23 pr22 pr21 pr20 pr4 pr19 pr18 
tau pr17 pr16 pr15 pr14 pr13 pr12 pr11 pr10 pr9 pr8 pr7 pr6
qc pr3 pr5 pr1 mu qs qd qu ef nue numu nut gsg p gs pr2)
 $
pal_order_list:='(pr2 pr5 pr1 pr33 pr6 pr32 pr3 pr7 pr9 pr8
pr16 pr14 pr12 pr28 pr29 pr31 pr30 pr27 pr13 pr11 pr10 pr23
pr26 pr25 pr4 pr22 pr17 pr21 pr20 pr18 pr24 pr19 pr15 w h0 
ef pa1 z pa5 pa4 p pa2 pa3)
 $
v_pal_list:='((15 (pr5 -1 1) (ef 1 1)) (16 (pr6 -1 1) (ef 1
1)) (17 (pr9 -1 1) (ef 1 1)) (18 (pr14 -1 1) (ef 1 1)) (19 (
pr16 -1 1) (ef 1 1)) (20 (pr33 -1 1) (ef 1 1)) (14 (h0 -1 3)
) (13 (h0 -1 4)) (12 (pa2 1 1) (h0 -1 1)) (11 (w 1 1) (pa1 
-1 1)) (10 (pa5 1 0) (pa4 0 1) (w 0 1)) (9 (pa4 1 0) (pa5 0
1) (w 1 0)) (8 (pa3 1 1) (pa1 -1 1)) (7 (w 2 2)) (6 (w 1 1)
(p -1 1) (z -1 1)) (5 (w 1 1) (pa1 -1 2)) (4 (w 1 1) (h0 -1
1)) (3 (z -1 2) (h0 -1 1)) (2 (w 1 1) (h0 -1 2)) (1 (z -1 2)
(h0 -1 2)) (21 (pr32 -1 1) (pr30 -1 1) (pr1 -1 1)) (22 (pr32
-1 1) (pr27 -1 1) (pr1 -1 1)) (23 (pr32 -1 1) (pr25 -1 1) (
pr1 -1 1)) (24 (pr32 -1 1) (pr23 -1 1) (pr3 -1 1)) (25 (pr32
-1 1) (pr23 -1 1) (pr1 -1 1)) (26 (pr32 -1 1) (pr17 -1 1) (
pr3 -1 1)) (27 (pr32 -1 1) (pr17 -1 1) (pr1 -1 1)) (28 (pr30
-1 1) (pr3 -1 2)) (29 (pr30 -1 1) (pr3 -1 1) (pr1 -1 1)) (30
(pr30 -1 1) (pr1 -1 2)) (31 (pr27 -1 1) (pr3 -1 2)) (32 (
pr27 -1 1) (pr3 -1 1) (pr1 -1 1)) (33 (pr27 -1 1) (pr1 -1 2)
) (34 (pr25 -1 1) (pr3 -1 2)) (35 (pr25 -1 1) (pr3 -1 1) (
pr1 -1 1)) (36 (pr25 -1 1) (pr1 -1 2)) (37 (pr23 -1 1) (pr3
-1 2)) (38 (pr23 -1 1) (pr3 -1 1) (pr1 -1 1)) (39 (pr23 -1 1
) (pr1 -1 2)) (40 (pr17 -1 1) (pr3 -1 1) (pr1 -1 1)) (41 (
pr17 -1 1) (pr1 -1 2)) (42 (pr4 -1 1) (pr32 -1 1) (pr3 -1 1)
) (43 (pr4 -1 1) (pr32 -1 1) (pr1 -1 1)) (44 (pr4 -1 1) (pr3
-1 1) (pr1 -1 1)) (45 (pr4 -1 1) (pr1 -1 2)) (46 (pr33 -1 1)
(pr16 -1 1) (pr3 -1 1)) (47 (pr33 -1 1) (pr16 -1 1) (pr1 -1
1)) (48 (pr33 -1 1) (pr14 -1 1) (pr3 -1 1)) (49 (pr33 -1 1)
(pr14 -1 1) (pr1 -1 1)) (50 (pr33 -1 1) (pr12 -1 1) (pr3 -1
1)) (51 (pr33 -1 1) (pr12 -1 1) (pr1 -1 1)) (52 (pr33 -1 1)
(pr9 -1 1) (pr3 -1 1)) (53 (pr33 -1 1) (pr9 -1 1) (pr1 -1 1)
) (54 (pr33 -1 1) (pr8 -1 1) (pr3 -1 1)) (55 (pr33 -1 1) (
pr8 -1 1) (pr1 -1 1)) (56 (pr33 -1 1) (pr7 -1 1) (pr17 -1 1)
) (57 (pr33 -1 1) (pr7 -1 1) (pr3 -1 1)) (58 (pr33 -1 1) (
pr7 -1 1) (pr1 -1 1)) (59 (pr33 -1 1) (pr6 -1 1) (pr23 -1 1)
) (60 (pr33 -1 1) (pr6 -1 1) (pr17 -1 1)) (61 (pr33 -1 1) (
pr6 -1 1) (pr3 -1 1)) (62 (pr33 -1 1) (pr6 -1 1) (pr1 -1 1))
(63 (pr33 -1 1) (pr5 -1 1) (pr27 -1 1)) (64 (pr33 -1 1) (pr5
-1 1) (pr25 -1 1)) (65 (pr33 -1 1) (pr5 -1 1) (pr23 -1 1)) (
66 (pr33 -1 1) (pr5 -1 1) (pr17 -1 1)) (67 (pr33 -1 1) (pr5
-1 1) (pr3 -1 1)) (68 (pr33 -1 1) (pr5 -1 1) (pr1 -1 1)) (69
(pr33 -1 1) (pr2 -1 1) (pr32 -1 1)) (70 (pr33 -1 1) (pr2 -1
1) (pr30 -1 1)) (71 (pr33 -1 1) (pr2 -1 1) (pr27 -1 1)) (72
(pr33 -1 1) (pr2 -1 1) (pr25 -1 1)) (73 (pr33 -1 1) (pr2 -1
1) (pr23 -1 1)) (74 (pr33 -1 1) (pr2 -1 1) (pr17 -1 1)) (75
(pr33 -1 1) (pr2 -1 1) (pr3 -1 1)) (76 (pr33 -1 1) (pr2 -1 1
) (pr1 -1 1)) (77 (pr16 -1 1) (pr7 -1 1) (pr32 -1 1)) (78 (
pr16 -1 1) (pr6 -1 1) (pr32 -1 1)) (79 (pr16 -1 1) (pr6 -1 1
) (pr1 -1 1)) (80 (pr16 -1 1) (pr5 -1 1) (pr32 -1 1)) (81 (
pr16 -1 1) (pr5 -1 1) (pr1 -1 1)) (82 (pr16 -1 1) (pr2 -1 1)
(pr32 -1 1)) (83 (pr16 -1 1) (pr2 -1 1) (pr30 -1 1)) (84 (
pr16 -1 1) (pr2 -1 1) (pr27 -1 1)) (85 (pr16 -1 1) (pr2 -1 1
) (pr25 -1 1)) (86 (pr16 -1 1) (pr2 -1 1) (pr23 -1 1)) (87 (
pr16 -1 1) (pr2 -1 1) (pr17 -1 1)) (88 (pr16 -1 1) (pr2 -1 1
) (pr3 -1 1)) (89 (pr16 -1 1) (pr2 -1 1) (pr1 -1 1)) (90 (
pr14 -1 1) (pr7 -1 1) (pr32 -1 1)) (91 (pr14 -1 1) (pr6 -1 1
) (pr32 -1 1)) (92 (pr14 -1 1) (pr6 -1 1) (pr1 -1 1)) (93 (
pr14 -1 1) (pr5 -1 1) (pr32 -1 1)) (94 (pr14 -1 1) (pr5 -1 1
) (pr1 -1 1)) (95 (pr14 -1 1) (pr2 -1 1) (pr32 -1 1)) (96 (
pr14 -1 1) (pr2 -1 1) (pr30 -1 1)) (97 (pr14 -1 1) (pr2 -1 1
) (pr27 -1 1)) (98 (pr14 -1 1) (pr2 -1 1) (pr25 -1 1)) (99 (
pr14 -1 1) (pr2 -1 1) (pr23 -1 1)) (100 (pr14 -1 1) (pr2 -1
1) (pr17 -1 1)) (101 (pr14 -1 1) (pr2 -1 1) (pr3 -1 1)) (102
(pr14 -1 1) (pr2 -1 1) (pr1 -1 1)) (103 (pr12 -1 1) (pr7 -1
1) (pr32 -1 1)) (104 (pr12 -1 1) (pr6 -1 1) (pr32 -1 1)) (
105 (pr12 -1 1) (pr6 -1 1) (pr1 -1 1)) (106 (pr12 -1 1) (pr5
-1 1) (pr32 -1 1)) (107 (pr12 -1 1) (pr5 -1 1) (pr1 -1 1)) (
108 (pr12 -1 1) (pr2 -1 1) (pr32 -1 1)) (109 (pr12 -1 1) (
pr2 -1 1) (pr30 -1 1)) (110 (pr12 -1 1) (pr2 -1 1) (pr27 -1
1)) (111 (pr12 -1 1) (pr2 -1 1) (pr25 -1 1)) (112 (pr12 -1 1
) (pr2 -1 1) (pr23 -1 1)) (113 (pr12 -1 1) (pr2 -1 1) (pr17
-1 1)) (114 (pr12 -1 1) (pr2 -1 1) (pr3 -1 1)) (115 (pr12 -1
1) (pr2 -1 1) (pr1 -1 1)) (116 (pr9 -1 2) (pr32 -1 1)) (117
(pr9 -1 1) (pr8 -1 1) (pr32 -1 1)) (118 (pr9 -1 1) (pr7 -1 1
) (pr32 -1 1)) (119 (pr9 -1 1) (pr6 -1 1) (pr32 -1 1)) (120
(pr9 -1 1) (pr5 -1 1) (pr32 -1 1)) (121 (pr9 -1 1) (pr5 -1 1
) (pr30 -1 1)) (122 (pr9 -1 1) (pr5 -1 1) (pr1 -1 1)) (123 (
pr9 -1 1) (pr2 -1 1) (pr32 -1 1)) (124 (pr9 -1 1) (pr2 -1 1)
(pr30 -1 1)) (125 (pr9 -1 1) (pr2 -1 1) (pr27 -1 1)) (126 (
pr9 -1 1) (pr2 -1 1) (pr25 -1 1)) (127 (pr9 -1 1) (pr2 -1 1)
(pr23 -1 1)) (128 (pr9 -1 1) (pr2 -1 1) (pr17 -1 1)) (129 (
pr9 -1 1) (pr2 -1 1) (pr3 -1 1)) (130 (pr9 -1 1) (pr2 -1 1)
(pr1 -1 1)) (131 (pr8 -1 2) (pr32 -1 1)) (132 (pr8 -1 1) (
pr7 -1 1) (pr32 -1 1)) (133 (pr8 -1 1) (pr6 -1 1) (pr32 -1 1
)) (134 (pr8 -1 1) (pr5 -1 1) (pr32 -1 1)) (135 (pr8 -1 1) (
pr5 -1 1) (pr30 -1 1)) (136 (pr8 -1 1) (pr5 -1 1) (pr27 -1 1
)) (137 (pr8 -1 1) (pr5 -1 1) (pr1 -1 1)) (138 (pr8 -1 1) (
pr2 -1 1) (pr32 -1 1)) (139 (pr8 -1 1) (pr2 -1 1) (pr30 -1 1
)) (140 (pr8 -1 1) (pr2 -1 1) (pr27 -1 1)) (141 (pr8 -1 1) (
pr2 -1 1) (pr25 -1 1)) (142 (pr8 -1 1) (pr2 -1 1) (pr23 -1 1
)) (143 (pr8 -1 1) (pr2 -1 1) (pr17 -1 1)) (144 (pr8 -1 1) (
pr2 -1 1) (pr3 -1 1)) (145 (pr8 -1 1) (pr2 -1 1) (pr1 -1 1))
(146 (pr7 -1 2) (pr32 -1 1)) (147 (pr7 -1 1) (pr6 -1 1) (
pr32 -1 1)) (148 (pr7 -1 1) (pr6 -1 1) (pr30 -1 1)) (149 (
pr7 -1 1) (pr6 -1 1) (pr27 -1 1)) (150 (pr7 -1 1) (pr5 -1 1)
(pr32 -1 1)) (151 (pr7 -1 1) (pr5 -1 1) (pr30 -1 1)) (152 (
pr7 -1 1) (pr5 -1 1) (pr27 -1 1)) (153 (pr7 -1 1) (pr5 -1 1)
(pr25 -1 1)) (154 (pr7 -1 1) (pr5 -1 1) (pr23 -1 1)) (155 (
pr7 -1 1) (pr2 -1 1) (pr32 -1 1)) (156 (pr7 -1 1) (pr2 -1 1)
(pr30 -1 1)) (157 (pr7 -1 1) (pr2 -1 1) (pr27 -1 1)) (158 (
pr7 -1 1) (pr2 -1 1) (pr25 -1 1)) (159 (pr7 -1 1) (pr2 -1 1)
(pr23 -1 1)) (160 (pr7 -1 1) (pr2 -1 1) (pr17 -1 1)) (161 (
pr7 -1 1) (pr2 -1 1) (pr3 -1 1)) (162 (pr7 -1 1) (pr2 -1 1)
(pr1 -1 1)) (163 (pr6 -1 2) (pr32 -1 1)) (164 (pr6 -1 2) (
pr30 -1 1)) (165 (pr6 -1 2) (pr27 -1 1)) (166 (pr6 -1 2) (
pr25 -1 1)) (167 (pr6 -1 1) (pr5 -1 1) (pr32 -1 1)) (168 (
pr6 -1 1) (pr5 -1 1) (pr30 -1 1)) (169 (pr6 -1 1) (pr5 -1 1)
(pr27 -1 1)) (170 (pr6 -1 1) (pr5 -1 1) (pr25 -1 1)) (171 (
pr6 -1 1) (pr5 -1 1) (pr23 -1 1)) (172 (pr6 -1 1) (pr2 -1 1)
(pr32 -1 1)) (173 (pr6 -1 1) (pr2 -1 1) (pr30 -1 1)) (174 (
pr6 -1 1) (pr2 -1 1) (pr27 -1 1)) (175 (pr6 -1 1) (pr2 -1 1)
(pr25 -1 1)) (176 (pr6 -1 1) (pr2 -1 1) (pr23 -1 1)) (177 (
pr6 -1 1) (pr2 -1 1) (pr17 -1 1)) (178 (pr6 -1 1) (pr2 -1 1)
(pr3 -1 1)) (179 (pr6 -1 1) (pr2 -1 1) (pr1 -1 1)) (180 (pr5
-1 2) (pr32 -1 1)) (181 (pr5 -1 2) (pr30 -1 1)) (182 (pr5 -1
2) (pr27 -1 1)) (183 (pr5 -1 2) (pr25 -1 1)) (184 (pr5 -1 2)
(pr23 -1 1)) (185 (pr5 -1 2) (pr17 -1 1)) (186 (pr5 -1 1) (
pr2 -1 1) (pr32 -1 1)) (187 (pr5 -1 1) (pr2 -1 1) (pr30 -1 1
)) (188 (pr5 -1 1) (pr2 -1 1) (pr27 -1 1)) (189 (pr5 -1 1) (
pr2 -1 1) (pr25 -1 1)) (190 (pr5 -1 1) (pr2 -1 1) (pr23 -1 1
)) (191 (pr5 -1 1) (pr2 -1 1) (pr17 -1 1)) (192 (pr5 -1 1) (
pr2 -1 1) (pr3 -1 1)) (193 (pr5 -1 1) (pr2 -1 1) (pr1 -1 1))
(194 (pr31 -1 1) (pr32 -1 1) (pr1 -1 1)) (195 (pr31 -1 1) (
pr3 -1 2)) (196 (pr31 -1 1) (pr3 -1 1) (pr1 -1 1)) (197 (
pr31 -1 1) (pr1 -1 2)) (198 (pr28 -1 1) (pr32 -1 1) (pr1 -1
1)) (199 (pr28 -1 1) (pr3 -1 2)) (200 (pr28 -1 1) (pr3 -1 1)
(pr1 -1 1)) (201 (pr28 -1 1) (pr1 -1 2)) (202 (pr26 -1 1) (
pr32 -1 1) (pr1 -1 1)) (203 (pr26 -1 1) (pr3 -1 2)) (204 (
pr26 -1 1) (pr3 -1 1) (pr1 -1 1)) (205 (pr26 -1 1) (pr1 -1 2
)) (206 (pr22 -1 1) (pr32 -1 1) (pr3 -1 1)) (207 (pr22 -1 1)
(pr32 -1 1) (pr1 -1 1)) (208 (pr22 -1 1) (pr3 -1 2)) (209 (
pr22 -1 1) (pr3 -1 1) (pr1 -1 1)) (210 (pr22 -1 1) (pr1 -1 2
)) (211 (pr21 -1 1) (pr32 -1 1) (pr3 -1 1)) (212 (pr21 -1 1)
(pr32 -1 1) (pr1 -1 1)) (213 (pr21 -1 1) (pr3 -1 2)) (214 (
pr21 -1 1) (pr3 -1 1) (pr1 -1 1)) (215 (pr21 -1 1) (pr1 -1 2
)) (216 (pr20 -1 1) (pr32 -1 1) (pr3 -1 1)) (217 (pr20 -1 1)
(pr32 -1 1) (pr1 -1 1)) (218 (pr20 -1 1) (pr3 -1 1) (pr1 -1
1)) (219 (pr20 -1 1) (pr1 -1 2)) (220 (pr18 -1 1) (pr32 -1 1
) (pr3 -1 1)) (221 (pr18 -1 1) (pr32 -1 1) (pr1 -1 1)) (222
(pr18 -1 1) (pr3 -1 1) (pr1 -1 1)) (223 (pr18 -1 1) (pr1 -1
2)) (224 (pr13 -1 1) (pr32 -1 1) (pr3 -1 1)) (225 (pr13 -1 1
) (pr32 -1 1) (pr1 -1 1)) (226 (pr13 -1 1) (pr3 -1 1) (pr1 
-1 1)) (227 (pr13 -1 1) (pr1 -1 2)) (228 (pr11 -1 1) (pr32 
-1 1) (pr3 -1 1)) (229 (pr11 -1 1) (pr32 -1 1) (pr1 -1 1)) (
230 (pr11 -1 1) (pr3 -1 1) (pr1 -1 1)) (231 (pr11 -1 1) (pr1
-1 2)) (232 (pr10 -1 1) (pr32 -1 1) (pr3 -1 1)) (233 (pr10 
-1 1) (pr32 -1 1) (pr1 -1 1)) (234 (pr10 -1 1) (pr3 -1 1) (
pr1 -1 1)) (235 (pr10 -1 1) (pr1 -1 2)) (236 (pr33 -1 1) (
pr7 -1 1) (pr4 -1 1)) (237 (pr33 -1 1) (pr6 -1 1) (pr4 -1 1)
) (238 (pr33 -1 1) (pr5 -1 1) (pr4 -1 1)) (239 (pr33 -1 1) (
pr4 -1 1) (pr2 -1 1)) (240 (pr16 -1 1) (pr4 -1 1) (pr2 -1 1)
) (241 (pr14 -1 1) (pr4 -1 1) (pr2 -1 1)) (242 (pr12 -1 1) (
pr4 -1 1) (pr2 -1 1)) (243 (pr9 -1 1) (pr4 -1 1) (pr2 -1 1))
(244 (pr8 -1 1) (pr4 -1 1) (pr2 -1 1)) (245 (pr7 -1 1) (pr4
-1 1) (pr2 -1 1)) (246 (pr6 -1 1) (pr5 -1 1) (pr4 -1 1)) (
247 (pr6 -1 1) (pr4 -1 1) (pr2 -1 1)) (248 (pr5 -1 2) (pr4 
-1 1)) (249 (pr5 -1 1) (pr4 -1 1) (pr2 -1 1)) (250 (pr31 -1
1) (pr33 -1 1) (pr2 -1 1)) (251 (pr31 -1 1) (pr16 -1 1) (pr2
-1 1)) (252 (pr31 -1 1) (pr14 -1 1) (pr2 -1 1)) (253 (pr31 
-1 1) (pr12 -1 1) (pr2 -1 1)) (254 (pr31 -1 1) (pr9 -1 1) (
pr5 -1 1)) (255 (pr31 -1 1) (pr9 -1 1) (pr2 -1 1)) (256 (
pr31 -1 1) (pr8 -1 1) (pr5 -1 1)) (257 (pr31 -1 1) (pr8 -1 1
) (pr2 -1 1)) (258 (pr31 -1 1) (pr7 -1 1) (pr6 -1 1)) (259 (
pr31 -1 1) (pr7 -1 1) (pr5 -1 1)) (260 (pr31 -1 1) (pr7 -1 1
) (pr2 -1 1)) (261 (pr31 -1 1) (pr6 -1 2)) (262 (pr31 -1 1)
(pr6 -1 1) (pr5 -1 1)) (263 (pr31 -1 1) (pr6 -1 1) (pr2 -1 1
)) (264 (pr31 -1 1) (pr5 -1 2)) (265 (pr31 -1 1) (pr5 -1 1)
(pr2 -1 1)) (266 (pr28 -1 1) (pr33 -1 1) (pr5 -1 1)) (267 (
pr28 -1 1) (pr33 -1 1) (pr2 -1 1)) (268 (pr28 -1 1) (pr16 -1
1) (pr2 -1 1)) (269 (pr28 -1 1) (pr14 -1 1) (pr2 -1 1)) (270
(pr28 -1 1) (pr12 -1 1) (pr2 -1 1)) (271 (pr28 -1 1) (pr9 -1
1) (pr5 -1 1)) (272 (pr28 -1 1) (pr9 -1 1) (pr2 -1 1)) (273
(pr28 -1 1) (pr8 -1 1) (pr5 -1 1)) (274 (pr28 -1 1) (pr8 -1
1) (pr2 -1 1)) (275 (pr28 -1 1) (pr7 -1 1) (pr6 -1 1)) (276
(pr28 -1 1) (pr7 -1 1) (pr5 -1 1)) (277 (pr28 -1 1) (pr7 -1
1) (pr2 -1 1)) (278 (pr28 -1 1) (pr6 -1 2)) (279 (pr28 -1 1)
(pr6 -1 1) (pr5 -1 1)) (280 (pr28 -1 1) (pr6 -1 1) (pr2 -1 1
)) (281 (pr28 -1 1) (pr5 -1 2)) (282 (pr28 -1 1) (pr5 -1 1)
(pr2 -1 1)) (283 (pr26 -1 1) (pr33 -1 1) (pr5 -1 1)) (284 (
pr26 -1 1) (pr33 -1 1) (pr2 -1 1)) (285 (pr26 -1 1) (pr16 -1
1) (pr2 -1 1)) (286 (pr26 -1 1) (pr14 -1 1) (pr2 -1 1)) (287
(pr26 -1 1) (pr12 -1 1) (pr2 -1 1)) (288 (pr26 -1 1) (pr9 -1
1) (pr2 -1 1)) (289 (pr26 -1 1) (pr8 -1 1) (pr2 -1 1)) (290
(pr26 -1 1) (pr7 -1 1) (pr5 -1 1)) (291 (pr26 -1 1) (pr7 -1
1) (pr2 -1 1)) (292 (pr26 -1 1) (pr6 -1 2)) (293 (pr26 -1 1)
(pr6 -1 1) (pr5 -1 1)) (294 (pr26 -1 1) (pr6 -1 1) (pr2 -1 1
)) (295 (pr26 -1 1) (pr5 -1 2)) (296 (pr26 -1 1) (pr5 -1 1)
(pr2 -1 1)) (297 (pr22 -1 1) (pr33 -1 1) (pr6 -1 1)) (298 (
pr22 -1 1) (pr33 -1 1) (pr5 -1 1)) (299 (pr22 -1 1) (pr33 -1
1) (pr2 -1 1)) (300 (pr22 -1 1) (pr16 -1 1) (pr2 -1 1)) (301
(pr22 -1 1) (pr14 -1 1) (pr2 -1 1)) (302 (pr22 -1 1) (pr12 
-1 1) (pr2 -1 1)) (303 (pr22 -1 1) (pr9 -1 1) (pr2 -1 1)) (
304 (pr22 -1 1) (pr8 -1 1) (pr2 -1 1)) (305 (pr22 -1 1) (pr7
-1 1) (pr5 -1 1)) (306 (pr22 -1 1) (pr7 -1 1) (pr2 -1 1)) (
307 (pr22 -1 1) (pr6 -1 1) (pr5 -1 1)) (308 (pr22 -1 1) (pr6
-1 1) (pr2 -1 1)) (309 (pr22 -1 1) (pr5 -1 2)) (310 (pr22 -1
1) (pr5 -1 1) (pr2 -1 1)) (311 (pr21 -1 1) (pr33 -1 1) (pr6
-1 1)) (312 (pr21 -1 1) (pr33 -1 1) (pr5 -1 1)) (313 (pr21 
-1 1) (pr33 -1 1) (pr2 -1 1)) (314 (pr21 -1 1) (pr16 -1 1) (
pr2 -1 1)) (315 (pr21 -1 1) (pr14 -1 1) (pr2 -1 1)) (316 (
pr21 -1 1) (pr12 -1 1) (pr2 -1 1)) (317 (pr21 -1 1) (pr9 -1
1) (pr2 -1 1)) (318 (pr21 -1 1) (pr8 -1 1) (pr2 -1 1)) (319
(pr21 -1 1) (pr7 -1 1) (pr2 -1 1)) (320 (pr21 -1 1) (pr6 -1
1) (pr5 -1 1)) (321 (pr21 -1 1) (pr6 -1 1) (pr2 -1 1)) (322
(pr21 -1 1) (pr5 -1 2)) (323 (pr21 -1 1) (pr5 -1 1) (pr2 -1
1)) (324 (pr20 -1 1) (pr33 -1 1) (pr7 -1 1)) (325 (pr20 -1 1
) (pr33 -1 1) (pr6 -1 1)) (326 (pr20 -1 1) (pr33 -1 1) (pr5
-1 1)) (327 (pr20 -1 1) (pr33 -1 1) (pr2 -1 1)) (328 (pr20 
-1 1) (pr16 -1 1) (pr2 -1 1)) (329 (pr20 -1 1) (pr14 -1 1) (
pr2 -1 1)) (330 (pr20 -1 1) (pr12 -1 1) (pr2 -1 1)) (331 (
pr20 -1 1) (pr9 -1 1) (pr2 -1 1)) (332 (pr20 -1 1) (pr8 -1 1
) (pr2 -1 1)) (333 (pr20 -1 1) (pr7 -1 1) (pr2 -1 1)) (334 (
pr20 -1 1) (pr6 -1 1) (pr5 -1 1)) (335 (pr20 -1 1) (pr6 -1 1
) (pr2 -1 1)) (336 (pr20 -1 1) (pr5 -1 2)) (337 (pr20 -1 1)
(pr5 -1 1) (pr2 -1 1)) (338 (pr18 -1 1) (pr33 -1 1) (pr7 -1
1)) (339 (pr18 -1 1) (pr33 -1 1) (pr6 -1 1)) (340 (pr18 -1 1
) (pr33 -1 1) (pr5 -1 1)) (341 (pr18 -1 1) (pr33 -1 1) (pr2
-1 1)) (342 (pr18 -1 1) (pr16 -1 1) (pr2 -1 1)) (343 (pr18 
-1 1) (pr14 -1 1) (pr2 -1 1)) (344 (pr18 -1 1) (pr12 -1 1) (
pr2 -1 1)) (345 (pr18 -1 1) (pr9 -1 1) (pr2 -1 1)) (346 (
pr18 -1 1) (pr8 -1 1) (pr2 -1 1)) (347 (pr18 -1 1) (pr7 -1 1
) (pr2 -1 1)) (348 (pr18 -1 1) (pr6 -1 1) (pr5 -1 1)) (349 (
pr18 -1 1) (pr6 -1 1) (pr2 -1 1)) (350 (pr18 -1 1) (pr5 -1 2
)) (351 (pr18 -1 1) (pr5 -1 1) (pr2 -1 1)) (352 (pr13 -1 1)
(pr33 -1 1) (pr9 -1 1)) (353 (pr13 -1 1) (pr33 -1 1) (pr8 -1
1)) (354 (pr13 -1 1) (pr33 -1 1) (pr7 -1 1)) (355 (pr13 -1 1
) (pr33 -1 1) (pr6 -1 1)) (356 (pr13 -1 1) (pr33 -1 1) (pr5
-1 1)) (357 (pr13 -1 1) (pr33 -1 1) (pr2 -1 1)) (358 (pr13 
-1 1) (pr16 -1 1) (pr2 -1 1)) (359 (pr13 -1 1) (pr14 -1 1) (
pr2 -1 1)) (360 (pr13 -1 1) (pr12 -1 1) (pr2 -1 1)) (361 (
pr13 -1 1) (pr9 -1 1) (pr2 -1 1)) (362 (pr13 -1 1) (pr8 -1 1
) (pr2 -1 1)) (363 (pr13 -1 1) (pr7 -1 1) (pr2 -1 1)) (364 (
pr13 -1 1) (pr6 -1 1) (pr2 -1 1)) (365 (pr13 -1 1) (pr5 -1 2
)) (366 (pr13 -1 1) (pr5 -1 1) (pr2 -1 1)) (367 (pr11 -1 1)
(pr33 -1 1) (pr9 -1 1)) (368 (pr11 -1 1) (pr33 -1 1) (pr8 -1
1)) (369 (pr11 -1 1) (pr33 -1 1) (pr7 -1 1)) (370 (pr11 -1 1
) (pr33 -1 1) (pr6 -1 1)) (371 (pr11 -1 1) (pr33 -1 1) (pr5
-1 1)) (372 (pr11 -1 1) (pr33 -1 1) (pr2 -1 1)) (373 (pr11 
-1 1) (pr16 -1 1) (pr2 -1 1)) (374 (pr11 -1 1) (pr14 -1 1) (
pr2 -1 1)) (375 (pr11 -1 1) (pr12 -1 1) (pr2 -1 1)) (376 (
pr11 -1 1) (pr9 -1 1) (pr2 -1 1)) (377 (pr11 -1 1) (pr8 -1 1
) (pr2 -1 1)) (378 (pr11 -1 1) (pr7 -1 1) (pr2 -1 1)) (379 (
pr11 -1 1) (pr6 -1 1) (pr2 -1 1)) (380 (pr11 -1 1) (pr5 -1 1
) (pr2 -1 1)) (381 (pr10 -1 1) (pr33 -1 1) (pr9 -1 1)) (382
(pr10 -1 1) (pr33 -1 1) (pr8 -1 1)) (383 (pr10 -1 1) (pr33 
-1 1) (pr7 -1 1)) (384 (pr10 -1 1) (pr33 -1 1) (pr6 -1 1)) (
385 (pr10 -1 1) (pr33 -1 1) (pr5 -1 1)) (386 (pr10 -1 1) (
pr33 -1 1) (pr2 -1 1)) (387 (pr10 -1 1) (pr16 -1 1) (pr2 -1
1)) (388 (pr10 -1 1) (pr14 -1 1) (pr2 -1 1)) (389 (pr10 -1 1
) (pr12 -1 1) (pr2 -1 1)) (390 (pr10 -1 1) (pr9 -1 1) (pr2 
-1 1)) (391 (pr10 -1 1) (pr8 -1 1) (pr2 -1 1)) (392 (pr10 -1
1) (pr7 -1 1) (pr2 -1 1)) (393 (pr10 -1 1) (pr6 -1 1) (pr2 
-1 1)) (394 (pr10 -1 1) (pr5 -1 1) (pr2 -1 1)) (395 (pr31 -1
1) (pr13 -1 1) (pr1 -1 1)) (396 (pr31 -1 1) (pr11 -1 1) (pr1
-1 1)) (397 (pr31 -1 1) (pr10 -1 1) (pr1 -1 1)) (398 (pr28 
-1 1) (pr13 -1 1) (pr1 -1 1)) (399 (pr28 -1 1) (pr11 -1 1) (
pr1 -1 1)) (400 (pr28 -1 1) (pr10 -1 1) (pr1 -1 1)) (401 (
pr26 -1 1) (pr11 -1 1) (pr1 -1 1)) (402 (pr26 -1 1) (pr10 -1
1) (pr1 -1 1)) (403 (pr19 -1 1) (pr33 -1 1) (pr3 -1 1)) (404
(pr19 -1 1) (pr33 -1 1) (pr1 -1 1)) (405 (pr19 -1 1) (pr7 -1
1) (pr1 -1 1)) (406 (pr19 -1 1) (pr6 -1 1) (pr32 -1 1)) (407
(pr19 -1 1) (pr6 -1 1) (pr1 -1 1)) (408 (pr19 -1 1) (pr5 -1
1) (pr32 -1 1)) (409 (pr19 -1 1) (pr5 -1 1) (pr3 -1 1)) (410
(pr19 -1 1) (pr5 -1 1) (pr1 -1 1)) (411 (pr19 -1 1) (pr2 -1
1) (pr32 -1 1)) (412 (pr19 -1 1) (pr2 -1 1) (pr30 -1 1)) (
413 (pr19 -1 1) (pr2 -1 1) (pr27 -1 1)) (414 (pr19 -1 1) (
pr2 -1 1) (pr25 -1 1)) (415 (pr19 -1 1) (pr2 -1 1) (pr23 -1
1)) (416 (pr19 -1 1) (pr2 -1 1) (pr17 -1 1)) (417 (pr19 -1 1
) (pr2 -1 1) (pr3 -1 1)) (418 (pr19 -1 1) (pr2 -1 1) (pr1 -1
1)) (419 (pr15 -1 1) (pr33 -1 1) (pr3 -1 1)) (420 (pr15 -1 1
) (pr33 -1 1) (pr1 -1 1)) (421 (pr15 -1 1) (pr7 -1 1) (pr32
-1 1)) (422 (pr15 -1 1) (pr6 -1 1) (pr32 -1 1)) (423 (pr15 
-1 1) (pr6 -1 1) (pr1 -1 1)) (424 (pr15 -1 1) (pr5 -1 1) (
pr32 -1 1)) (425 (pr15 -1 1) (pr5 -1 1) (pr1 -1 1)) (426 (
pr15 -1 1) (pr2 -1 1) (pr32 -1 1)) (427 (pr15 -1 1) (pr2 -1
1) (pr30 -1 1)) (428 (pr15 -1 1) (pr2 -1 1) (pr27 -1 1)) (
429 (pr15 -1 1) (pr2 -1 1) (pr25 -1 1)) (430 (pr15 -1 1) (
pr2 -1 1) (pr23 -1 1)) (431 (pr15 -1 1) (pr2 -1 1) (pr17 -1
1)) (432 (pr15 -1 1) (pr2 -1 1) (pr3 -1 1)) (433 (pr15 -1 1)
(pr2 -1 1) (pr1 -1 1)) (434 (pr29 -1 1) (pr32 -1 1) (pr1 -1
1)) (435 (pr29 -1 1) (pr3 -1 2)) (436 (pr29 -1 1) (pr3 -1 1)
(pr1 -1 1)) (437 (pr29 -1 1) (pr1 -1 2)) (438 (pr24 -1 1) (
pr32 -1 1) (pr1 -1 1)) (439 (pr24 -1 1) (pr3 -1 2)) (440 (
pr24 -1 1) (pr3 -1 1) (pr1 -1 1)) (441 (pr24 -1 1) (pr1 -1 2
)) (442 (pr19 -1 1) (pr4 -1 1) (pr2 -1 1)) (443 (pr15 -1 1)
(pr4 -1 1) (pr2 -1 1)) (444 (pr29 -1 1) (pr33 -1 1) (pr5 -1
1)) (445 (pr29 -1 1) (pr33 -1 1) (pr2 -1 1)) (446 (pr29 -1 1
) (pr16 -1 1) (pr2 -1 1)) (447 (pr29 -1 1) (pr14 -1 1) (pr2
-1 1)) (448 (pr29 -1 1) (pr12 -1 1) (pr2 -1 1)) (449 (pr29 
-1 1) (pr9 -1 1) (pr5 -1 1)) (450 (pr29 -1 1) (pr9 -1 1) (
pr2 -1 1)) (451 (pr29 -1 1) (pr8 -1 1) (pr5 -1 1)) (452 (
pr29 -1 1) (pr8 -1 1) (pr2 -1 1)) (453 (pr29 -1 1) (pr7 -1 1
) (pr6 -1 1)) (454 (pr29 -1 1) (pr7 -1 1) (pr5 -1 1)) (455 (
pr29 -1 1) (pr7 -1 1) (pr2 -1 1)) (456 (pr29 -1 1) (pr6 -1 2
)) (457 (pr29 -1 1) (pr6 -1 1) (pr5 -1 1)) (458 (pr29 -1 1)
(pr6 -1 1) (pr2 -1 1)) (459 (pr29 -1 1) (pr5 -1 2)) (460 (
pr29 -1 1) (pr5 -1 1) (pr2 -1 1)) (461 (pr24 -1 1) (pr33 -1
1) (pr6 -1 1)) (462 (pr24 -1 1) (pr33 -1 1) (pr5 -1 1)) (463
(pr24 -1 1) (pr33 -1 1) (pr2 -1 1)) (464 (pr24 -1 1) (pr16 
-1 1) (pr2 -1 1)) (465 (pr24 -1 1) (pr14 -1 1) (pr2 -1 1)) (
466 (pr24 -1 1) (pr12 -1 1) (pr2 -1 1)) (467 (pr24 -1 1) (
pr9 -1 1) (pr2 -1 1)) (468 (pr24 -1 1) (pr8 -1 1) (pr2 -1 1)
) (469 (pr24 -1 1) (pr7 -1 1) (pr5 -1 1)) (470 (pr24 -1 1) (
pr7 -1 1) (pr2 -1 1)) (471 (pr24 -1 1) (pr6 -1 1) (pr5 -1 1)
) (472 (pr24 -1 1) (pr6 -1 1) (pr2 -1 1)) (473 (pr24 -1 1) (
pr5 -1 2)) (474 (pr24 -1 1) (pr5 -1 1) (pr2 -1 1)) (475 (
pr29 -1 1) (pr13 -1 1) (pr1 -1 1)) (476 (pr29 -1 1) (pr11 -1
1) (pr1 -1 1)) (477 (pr29 -1 1) (pr10 -1 1) (pr1 -1 1)))
 $
pa_rv_list:='((pr29 (g (1 434 435 436 437 444 445 446 447 
448 449 450 451 452 453 454 455 456 457 458 459 460 475 476
477))) (pr10 (g (1 232 233 234 235 381 382 383 384 385 386 
387 388 389 390 391 392 393 394 397 400 402 477))) (pr1 (g (
1 21 22 23 25 27 29 30 32 33 35 36 38 39 40 41 43 44 45 47 
49 51 53 55 58 62 68 76 79 81 89 92 94 102 105 107 115 122 
130 137 145 162 179 193 194 196 197 198 200 201 202 204 205
207 209 210 212 214 215 217 218 219 221 222 223 225 226 227
229 230 231 233 234 235 395 396 397 398 399 400 401 402 404
405 407 410 418 420 423 425 433 434 436 437 438 440 441 475
476 477))) (pr11 (g (1 228 229 230 231 367 368 369 370 371 
372 373 374 375 376 377 378 379 380 396 399 401 476))) (pr13
(g (1 224 225 226 227 352 353 354 355 356 357 358 359 360 
361 362 363 364 365 366 395 398 475))) (pr24 (g (1 438 439 
440 441 461 462 463 464 465 466 467 468 469 470 471 472 473
474))) (pr5 (g (1 15 63 64 65 66 67 68 80 81 93 94 106 107 
120 121 122 134 135 136 137 150 151 152 153 154 167 168 169
170 171 180 181 182 183 184 185 186 187 188 189 190 191 192
193 238 246 248 249 254 256 259 262 264 265 266 271 273 276
279 281 282 283 290 293 295 296 298 305 307 309 310 312 320
322 323 326 334 336 337 340 348 350 351 356 365 366 371 380
385 394 408 409 410 424 425 444 449 451 454 457 459 460 462
469 471 473 474))) (pr2 (g (1 69 70 71 72 73 74 75 76 82 83
84 85 86 87 88 89 95 96 97 98 99 100 101 102 108 109 110 111
112 113 114 115 123 124 125 126 127 128 129 130 138 139 140
141 142 143 144 145 155 156 157 158 159 160 161 162 172 173
174 175 176 177 178 179 186 187 188 189 190 191 192 193 239
240 241 242 243 244 245 247 249 250 251 252 253 255 257 260
263 265 267 268 269 270 272 274 277 280 282 284 285 286 287
288 289 291 294 296 299 300 301 302 303 304 306 308 310 313
314 315 316 317 318 319 321 323 327 328 329 330 331 332 333
335 337 341 342 343 344 345 346 347 349 351 357 358 359 360
361 362 363 364 366 372 373 374 375 376 377 378 379 380 386
387 388 389 390 391 392 393 394 411 412 413 414 415 416 417
418 426 427 428 429 430 431 432 433 442 443 445 446 447 448
450 452 455 458 460 463 464 465 466 467 468 470 472 474))) (
pr6 (g (1 16 59 60 61 62 78 79 91 92 104 105 119 133 147 148
149 163 164 165 166 167 168 169 170 171 172 173 174 175 176
177 178 179 237 246 247 258 261 262 263 275 278 279 280 292
293 294 297 307 308 311 320 321 325 334 335 339 348 349 355
364 370 379 384 393 406 407 422 423 453 456 457 458 461 471
472))) (pr7 (g (1 56 57 58 77 90 103 118 132 146 147 148 149
150 151 152 153 154 155 156 157 158 159 160 161 162 236 245
258 259 260 275 276 277 290 291 305 306 319 324 333 338 347
354 363 369 378 383 392 405 421 453 454 455 469 470))) (pr8
(g (1 54 55 117 131 132 133 134 135 136 137 138 139 140 141
142 143 144 145 244 256 257 273 274 289 304 318 332 346 353
362 368 377 382 391 451 452 468))) (pr9 (g (1 17 52 53 116 
117 118 119 120 121 122 123 124 125 126 127 128 129 130 243
254 255 271 272 288 303 317 331 345 352 361 367 376 381 390
449 450 467))) (pr12 (g (1 50 51 103 104 105 106 107 108 109
110 111 112 113 114 115 242 253 270 287 302 316 330 344 360
375 389 448 466))) (pr14 (g (1 18 48 49 90 91 92 93 94 95 96
97 98 99 100 101 102 241 252 269 286 301 315 329 343 359 374
388 447 465))) (pr16 (g (1 19 46 47 77 78 79 80 81 82 83 84
85 86 87 88 89 240 251 268 285 300 314 328 342 358 373 387 
446 464))) (pr33 (g (1 20 46 47 48 49 50 51 52 53 54 55 56 
57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76
236 237 238 239 250 266 267 283 284 297 298 299 311 312 313
324 325 326 327 338 339 340 341 352 353 354 355 356 357 367
368 369 370 371 372 381 382 383 384 385 386 403 404 419 420
444 445 461 462 463))) (pr15 (g (1 419 420 421 422 423 424 
425 426 427 428 429 430 431 432 433 443))) (pr4 (g (1 42 43
44 45 236 237 238 239 240 241 242 243 244 245 246 247 248 
249 442 443))) (pr19 (g (1 403 404 405 406 407 408 409 410 
411 412 413 414 415 416 417 418 442))) (pr3 (g (1 24 26 28 
29 31 32 34 35 37 38 40 42 44 46 48 50 52 54 57 61 67 75 88
101 114 129 144 161 178 192 195 196 199 200 203 204 206 208
209 211 213 214 216 218 220 222 224 226 228 230 232 234 403
409 417 419 432 435 436 439 440))) (pr32 (g (1 21 22 23 24 
25 26 27 42 43 69 77 78 80 82 90 91 93 95 103 104 106 108 
116 117 118 119 120 123 131 132 133 134 138 146 147 150 155
163 167 172 180 186 194 198 202 206 207 211 212 216 217 220
221 224 225 228 229 232 233 406 408 411 421 422 424 426 434
438))) (pr17 (g (1 26 27 40 41 56 60 66 74 87 100 113 128 
143 160 177 185 191 416 431))) (pr23 (g (1 24 25 37 38 39 59
65 73 86 99 112 127 142 154 159 171 176 184 190 415 430))) (
pr25 (g (1 23 34 35 36 64 72 85 98 111 126 141 153 158 166 
170 175 183 189 414 429))) (pr27 (g (1 22 31 32 33 63 71 84
97 110 125 136 140 149 152 157 165 169 174 182 188 413 428))
) (pr30 (g (1 21 28 29 30 70 83 96 109 121 124 135 139 148 
151 156 164 168 173 181 187 412 427))) (pr26 (g (1 202 203 
204 205 283 284 285 286 287 288 289 290 291 292 293 294 295
296 401 402))) (pr28 (g (1 198 199 200 201 266 267 268 269 
270 271 272 273 274 275 276 277 278 279 280 281 282 398 399
400))) (pr31 (g (1 194 195 196 197 250 251 252 253 254 255 
256 257 258 259 260 261 262 263 264 265 395 396 397))) (pr18
(g (1 220 221 222 223 338 339 340 341 342 343 344 345 346 
347 348 349 350 351))) (pr20 (g (1 216 217 218 219 324 325 
326 327 328 329 330 331 332 333 334 335 336 337))) (pr21 (g
(1 211 212 213 214 215 311 312 313 314 315 316 317 318 319 
320 321 322 323))) (pr22 (g (1 206 207 208 209 210 297 298 
299 300 301 302 303 304 305 306 307 308 309 310))) (z (g (2
6 1) (1 3))) (h0 (g (2 13 2 1) (1 14 12 4 3))) (w (g (2 7 6
5 2) (1 11 10 9 4))) (pa3 (g (1 8))) (pa1 (g (2 5) (1 11 8))
) (pa4 (g (1 10 9))) (pa5 (g (1 10 9))) (pa2 (g (1 12))) (ef
(g (1 15 16 17 18 19 20))) (p (g (2 6))))
 $
cvpd_list:='((15 0) (16 0) (17 0) (18 0) (19 0) (20 0) (14 0
) (13 0) (11 1) (7 0) (6 0) (5 0) (4 0) (3 0) (2 0) (1 0) (
21 0) (22 0) (23 0) (24 0) (25 0) (26 0) (27 0) (28 0) (29 0
) (30 0) (31 0) (32 0) (33 0) (34 0) (35 0) (36 0) (37 0) (
38 0) (39 0) (40 0) (41 0) (42 1) (43 1) (44 1) (45 1) (46 0
) (47 0) (48 0) (49 0) (50 0) (51 0) (52 0) (53 0) (54 0) (
55 0) (56 0) (57 0) (58 0) (59 0) (60 0) (61 0) (62 0) (63 0
) (64 0) (65 0) (66 0) (67 0) (68 0) (69 0) (70 2) (71 2) (
72 2) (73 2) (74 2) (75 0) (76 0) (77 0) (78 0) (79 0) (80 0
) (81 0) (82 0) (83 2) (84 2) (85 2) (86 2) (87 2) (88 0) (
89 0) (90 0) (91 0) (92 0) (93 0) (94 0) (95 0) (96 2) (97 2
) (98 2) (99 2) (100 2) (101 0) (102 0) (103 0) (104 0) (105
0) (106 0) (107 0) (108 2) (109 0) (110 0) (111 0) (112 0) (
113 0) (114 2) (115 2) (116 0) (117 0) (118 0) (119 0) (120
0) (121 0) (122 0) (123 0) (124 2) (125 2) (126 2) (127 2) (
128 2) (129 0) (130 0) (131 0) (132 0) (133 0) (134 0) (135
0) (136 0) (137 0) (138 2) (139 0) (140 0) (141 0) (142 0) (
143 0) (144 2) (145 2) (146 0) (147 0) (148 0) (149 0) (150
0) (151 0) (152 0) (153 0) (154 0) (155 2) (156 0) (157 0) (
158 0) (159 0) (160 0) (161 2) (162 2) (163 0) (164 0) (165
0) (166 0) (167 0) (168 0) (169 0) (170 0) (171 0) (172 0) (
173 2) (174 2) (175 2) (176 2) (177 2) (178 0) (179 0) (180
0) (181 0) (182 0) (183 0) (184 0) (185 0) (186 0) (187 2) (
188 2) (189 2) (190 2) (191 2) (192 0) (193 0) (194 2) (195
2) (196 2) (197 2) (198 2) (199 2) (200 2) (201 2) (202 2) (
203 2) (204 2) (205 2) (206 2) (207 2) (208 2) (209 2) (210
2) (211 2) (212 2) (213 2) (214 2) (215 2) (216 2) (217 2) (
218 2) (219 2) (220 2) (221 2) (222 2) (223 2) (224 2) (225
2) (226 2) (227 2) (228 2) (229 2) (230 2) (231 2) (232 2) (
233 2) (234 2) (235 2) (236 0) (237 1) (238 1) (239 1) (240
1) (241 1) (242 0) (243 1) (244 0) (245 0) (246 1) (247 1) (
248 1) (249 1) (250 2) (251 2) (252 2) (253 0) (254 0) (255
2) (256 0) (257 0) (258 0) (259 0) (260 0) (261 0) (262 0) (
263 2) (264 0) (265 2) (266 0) (267 2) (268 2) (269 2) (270
0) (271 0) (272 2) (273 0) (274 0) (275 0) (276 0) (277 0) (
278 0) (279 0) (280 2) (281 0) (282 2) (283 0) (284 2) (285
2) (286 2) (287 0) (288 2) (289 0) (290 0) (291 0) (292 0) (
293 0) (294 2) (295 0) (296 2) (297 0) (298 0) (299 2) (300
2) (301 2) (302 0) (303 2) (304 0) (305 0) (306 0) (307 0) (
308 2) (309 0) (310 2) (311 0) (312 0) (313 2) (314 2) (315
2) (316 0) (317 2) (318 0) (319 0) (320 0) (321 2) (322 0) (
323 2) (324 0) (325 0) (326 0) (327 2) (328 2) (329 2) (330
0) (331 2) (332 0) (333 0) (334 0) (335 2) (336 0) (337 2) (
338 0) (339 0) (340 0) (341 2) (342 2) (343 2) (344 0) (345
2) (346 0) (347 0) (348 0) (349 2) (350 0) (351 2) (352 0) (
353 0) (354 0) (355 0) (356 0) (357 2) (358 2) (359 2) (360
0) (361 2) (362 0) (363 0) (364 2) (365 0) (366 2) (367 0) (
368 0) (369 0) (370 0) (371 0) (372 2) (373 2) (374 2) (375
0) (376 2) (377 0) (378 0) (379 2) (380 2) (381 0) (382 0) (
383 0) (384 0) (385 0) (386 2) (387 2) (388 2) (389 0) (390
2) (391 0) (392 0) (393 2) (394 2) (395 0) (396 0) (397 0) (
398 0) (399 0) (400 0) (401 0) (402 0) (403 2) (404 2) (405
2) (406 2) (407 2) (408 2) (409 2) (410 2) (411 2) (412 4) (
413 4) (414 4) (415 4) (416 4) (417 2) (418 2) (419 2) (420
2) (421 2) (422 2) (423 2) (424 2) (425 2) (426 2) (427 4) (
428 4) (429 4) (430 4) (431 4) (432 2) (433 2) (434 4) (435
4) (436 4) (437 4) (438 4) (439 4) (440 4) (441 4) (442 3) (
443 3) (444 2) (445 4) (446 4) (447 4) (448 2) (449 2) (450
4) (451 2) (452 2) (453 2) (454 2) (455 2) (456 2) (457 2) (
458 4) (459 2) (460 4) (461 2) (462 2) (463 4) (464 4) (465
4) (466 2) (467 4) (468 2) (469 2) (470 2) (471 2) (472 4) (
473 2) (474 4) (475 2) (476 2) (477 2))
 $
gbsymmetrylist:='(strange baryon len lmuon ltau)
 $
fit_para_list:='((477 f1009 f1008) (476 f1007 f1006) (475 
f1005 f1004) (474 f1003 f1002 f1001) (473 f1000 f999 f998 
f997 f996) (472 f995 f994 f993) (471 f992 f991 f990 f989 
f988) (470 f987 f986 f985) (469 f984 f983 f982 f981) (468 
f980 f979 f978) (467 f977 f976 f975) (466 f974 f973 f972) (
465 f971 f970 f969) (464 f968 f967 f966) (463 f965 f964 f963
) (462 f962 f961 f960 f959 f958) (461 f957 f956 f955 f954 
f953) (460 f952 f951 f950) (459 f949 f948 f947 f946 f945) (
458 f944 f943 f942) (457 f941 f940 f939 f938 f937) (456 f936
f935 f934 f933 f932) (455 f931 f930 f929) (454 f928 f927 
f926 f925) (453 f924 f923 f922 f921) (452 f920 f919 f918) (
451 f917 f916 f915 f914) (450 f913 f912 f911) (449 f910 f909
f908 f907 f906) (448 f905 f904 f903) (447 f902 f901 f900) (
446 f899 f898 f897) (445 f896 f895 f894) (444 f893 f892 f891
f890 f889) (443 f888 f887 f886) (442 f885 f884 f883) (441 
f882) (440 f881) (439 f880) (438 f879) (437 f878) (436 f877)
(435 f876) (434 f875) (433 f874) (432 f873) (431 f872) (430
f871) (429 f870) (428 f869) (427 f868) (426 f867) (425 f866)
(424 f865) (423 f864) (422 f863) (421 f862 f861) (420 f860)
(419 f859) (418 f858) (417 f857) (416 f856) (415 f855) (414
f854) (413 f853) (412 f852) (411 f851) (410 f850) (409 f849)
(408 f848) (407 f847) (406 f846) (405 f845 f844) (404 f843)
(403 f842) (402 f841 f840) (401 f839 f838) (400 f837 f836) (
399 f835 f834) (398 f833 f832) (397 f831 f830) (396 f829 
f828) (395 f827 f826) (394 f825 f824 f823) (393 f822 f821 
f820) (392 f819 f818 f817) (391 f816 f815 f814) (390 f813 
f812 f811) (389 f810 f809 f808) (388 f807 f806 f805) (387 
f804 f803 f802) (386 f801 f800 f799) (385 f798 f797 f796 
f795 f794) (384 f793 f792 f791 f790 f789) (383 f788 f787 
f786 f785) (382 f784 f783 f782 f781) (381 f780 f779 f778 
f777 f776) (380 f775 f774 f773) (379 f772 f771 f770) (378 
f769 f768 f767) (377 f766 f765 f764) (376 f763 f762 f761) (
375 f760 f759 f758) (374 f757 f756 f755) (373 f754 f753 f752
) (372 f751 f750 f749) (371 f748 f747 f746 f745 f744) (370 
f743 f742 f741 f740 f739) (369 f738 f737 f736 f735) (368 
f734 f733 f732 f731) (367 f730 f729 f728 f727 f726) (366 
f725 f724 f723) (365 f722 f721 f720 f719 f718) (364 f717 
f716 f715) (363 f714 f713 f712) (362 f711 f710 f709) (361 
f708 f707 f706) (360 f705 f704 f703) (359 f702 f701 f700) (
358 f699 f698 f697) (357 f696 f695 f694) (356 f693 f692 f691
f690 f689) (355 f688 f687 f686 f685 f684) (354 f683 f682 
f681 f680) (353 f679 f678 f677 f676) (352 f675 f674 f673 
f672 f671) (351 f670 f669 f668) (350 f667 f666 f665 f664 
f663) (349 f662 f661 f660) (348 f659 f658 f657 f656 f655) (
347 f654 f653 f652) (346 f651 f650 f649) (345 f648 f647 f646
) (344 f645 f644 f643) (343 f642 f641 f640) (342 f639 f638 
f637) (341 f636 f635 f634) (340 f633 f632 f631 f630 f629) (
339 f628 f627 f626 f625 f624) (338 f623 f622 f621 f620) (337
f619 f618 f617) (336 f616 f615 f614 f613 f612) (335 f611 
f610 f609) (334 f608 f607 f606 f605 f604) (333 f603 f602 
f601) (332 f600 f599 f598) (331 f597 f596 f595) (330 f594 
f593 f592) (329 f591 f590 f589) (328 f588 f587 f586) (327 
f585 f584 f583) (326 f582 f581 f580 f579 f578) (325 f577 
f576 f575 f574 f573) (324 f572 f571 f570 f569) (323 f568 
f567 f566) (322 f565 f564 f563 f562 f561) (321 f560 f559 
f558) (320 f557 f556 f555 f554 f553) (319 f552 f551 f550) (
318 f549 f548 f547) (317 f546 f545 f544) (316 f543 f542 f541
) (315 f540 f539 f538) (314 f537 f536 f535) (313 f534 f533 
f532) (312 f531 f530 f529 f528 f527) (311 f526 f525 f524 
f523 f522) (310 f521 f520 f519) (309 f518 f517 f516 f515 
f514) (308 f513 f512 f511) (307 f510 f509 f508 f507 f506) (
306 f505 f504 f503) (305 f502 f501 f500 f499) (304 f498 f497
f496) (303 f495 f494 f493) (302 f492 f491 f490) (301 f489 
f488 f487) (300 f486 f485 f484) (299 f483 f482 f481) (298 
f480 f479 f478 f477 f476) (297 f475 f474 f473 f472 f471) (
296 f470 f469 f468) (295 f467 f466 f465 f464 f463) (294 f462
f461 f460) (293 f459 f458 f457 f456 f455) (292 f454 f453 
f452 f451 f450) (291 f449 f448 f447) (290 f446 f445 f444 
f443) (289 f442 f441 f440) (288 f439 f438 f437) (287 f436 
f435 f434) (286 f433 f432 f431) (285 f430 f429 f428) (284 
f427 f426 f425) (283 f424 f423 f422 f421 f420) (282 f419 
f418 f417) (281 f416 f415 f414 f413 f412) (280 f411 f410 
f409) (279 f408 f407 f406 f405 f404) (278 f403 f402 f401 
f400 f399) (277 f398 f397 f396) (276 f395 f394 f393 f392) (
275 f391 f390 f389 f388) (274 f387 f386 f385) (273 f384 f383
f382 f381) (272 f380 f379 f378) (271 f377 f376 f375 f374 
f373) (270 f372 f371 f370) (269 f369 f368 f367) (268 f366 
f365 f364) (267 f363 f362 f361) (266 f360 f359 f358 f357 
f356) (265 f355 f354 f353) (264 f352 f351 f350 f349 f348) (
263 f347 f346 f345) (262 f344 f343 f342 f341 f340) (261 f339
f338 f337 f336 f335) (260 f334 f333 f332) (259 f331 f330 
f329 f328) (258 f327 f326 f325 f324) (257 f323 f322 f321) (
256 f320 f319 f318 f317) (255 f316 f315 f314) (254 f313 f312
f311 f310 f309) (253 f308 f307 f306) (252 f305 f304 f303) (
251 f302 f301 f300) (250 f299 f298 f297) (249 f296 f295) (
248 f294 f293 f292 f291) (247 f290 f289) (246 f288 f287 f286
f285) (245 f284 f283) (244 f282 f281) (243 f280 f279) (242 
f278 f277) (241 f276 f275) (240 f274 f273) (239 f272 f271) (
238 f270 f269 f268 f267) (237 f266 f265 f264 f263) (236 f262
f261 f260) (235 f259) (234 f258) (233 f257) (232 f256) (231
f255) (230 f254) (229 f253) (228 f252) (227 f251) (226 f250)
(225 f249) (224 f248) (223 f247) (222 f246) (221 f245) (220
f244) (219 f243) (218 f242) (217 f241) (216 f240) (215 f239)
(214 f238) (213 f237) (212 f236) (211 f235) (210 f234) (209
f233) (208 f232) (207 f231) (206 f230) (205 f229) (204 f228)
(203 f227) (202 f226) (201 f225) (200 f224) (199 f223) (198
f222) (197 f221) (196 f220) (195 f219) (194 f218) (193 f217)
(192 f216) (191 f215) (190 f214) (189 f213) (188 f212) (187
f211) (186 f210) (185 f209 f208) (184 f207 f206) (183 f205 
f204) (182 f203 f202) (181 f201 f200) (180 f199) (179 f198)
(178 f197) (177 f196) (176 f195) (175 f194) (174 f193) (173
f192) (172 f191) (171 f190 f189) (170 f188 f187) (169 f186 
f185) (168 f184 f183) (167 f182) (166 f181 f180) (165 f179 
f178) (164 f177 f176) (163 f175) (162 f174) (161 f173) (160
f172) (159 f171) (158 f170) (157 f169) (156 f168) (155 f167)
(154 f166) (153 f165) (152 f164) (151 f163) (150 f162 f161)
(149 f160) (148 f159) (147 f158 f157) (146 f156) (145 f155)
(144 f154) (143 f153) (142 f152) (141 f151) (140 f150) (139
f149) (138 f148) (137 f147 f146) (136 f145) (135 f144) (134
f143 f142) (133 f141 f140) (132 f139) (131 f138) (130 f137)
(129 f136) (128 f135) (127 f134) (126 f133) (125 f132) (124
f131) (123 f130) (122 f129) (121 f128 f127) (120 f126) (119
f125) (118 f124 f123) (117 f122 f121) (116 f120) (115 f119)
(114 f118) (113 f117) (112 f116) (111 f115) (110 f114) (109
f113) (108 f112) (107 f111 f110) (106 f109 f108) (105 f107 
f106) (104 f105 f104) (103 f103) (102 f102) (101 f101) (100
f100) (99 f99) (98 f98) (97 f97) (96 f96) (95 f95) (94 f94)
(93 f93) (92 f92) (91 f91) (90 f90 f89) (89 f88) (88 f87) (
87 f86) (86 f85) (85 f84) (84 f83) (83 f82) (82 f81) (81 f80
) (80 f79) (79 f78) (78 f77) (77 f76 f75) (76 f74) (75 f73)
(74 f72) (73 f71) (72 f70) (71 f69) (70 f68) (69 f67) (68 
f66) (67 f65) (66 f64 f63) (65 f62 f61) (64 f60 f59) (63 f58
f57) (62 f56) (61 f55) (60 f54 f53) (59 f52 f51) (58 f50 f49
) (57 f48 f47) (56 f46) (55 f45 f44) (54 f43 f42) (53 f41) (
52 f40) (51 f39 f38) (50 f37 f36) (49 f35) (48 f34) (47 f33)
(46 f32) (45 f31) (44 f30) (43 f29) (42 f28) (41 f27) (40 
f26) (39 f25) (38 f24) (37 f23) (36 f22) (35 f21) (34 f20) (
33 f19) (32 f18) (31 f17) (30 f16) (29 f15) (28 f14) (27 f13
) (26 f12) (25 f11) (24 f10) (23 f9) (22 f8) (21 f7) (20 f6)
(19 f5) (18 f4) (17 f3) (16 f2) (15 f1))
 $
palist:='(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 gs w z p gsg h0
qb qs qd qt qc qu tau mu ef nut numu nue)
 $
give_up_compact:='nil
 $
any_type_list:='((any_ext pr3 pr2 pr1) (any_nf 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 gs w z p h0) (any 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 gs w z p h0 qb qs qd qt qc qu tau mu ef
nut numu nue) (any_f qb qs qd qt qc qu tau mu ef nut numu 
nue) (any_l nue numu nut ef mu tau) (any_q qu qc qt qd qs qb
) (any_b h0 gs w z p) (any_b1 gs w z p) (any_b0 h0))
 $
effective_numbers:='nil
 $
bound_particle_list:='nil
 $
bound_state_vertex_list:='nil
 $
charge_op_sign_list:='((12 1) (12 1) (20 -1) (19 -1) (18 -1)
(17 -1) (16 -1) (15 -1))
 $
color_vertices:='nil
 $
fcolor_vertices:='nil
 $
bound_pv_list:='nil
 $
fermionprog:='(sf)
 $
bosonprog:='(s11 s1 s0)
 $
propagatorl:='(s3 s4 s2 s11 s1 s0 sf)
 $
splist:='((s11 gs) (s1 pr2 pr4 pr5 pr6 pr7 pr8 pr9 pr12 pr14
pr16 pr33 w z p) (s0 pr1 pr3 pr17 pr23 pr25 pr27 pr30 pr32 
gsg h0) (sf qt qc qu tau mu ef qb qs qd nut numu nue) (s2 
pr10 pr11 pr13 pr18 pr20 pr21 pr22 pr26 pr28 pr31) (s4 pr24
pr29) (s3 pr15 pr19))
 $
hvvvl:='((477 ((vvv x 477 r2 r1 vd v vc vb va vf) (b4 pr29 x
0 r1 v va vb vc) (b2 pr10 x 0 r2 vd vf) (b0 pr1 x 0 r3))) (
476 ((vvv x 476 r2 r1 vd v vc vb va vf) (b4 pr29 x 0 r1 v va
vb vc) (b2 pr11 x 0 r2 vd vf) (b0 pr1 x 0 r3))) (475 ((vvv x
475 r2 r1 vd v vc vb va vf) (b4 pr29 x 0 r1 v va vb vc) (b2
pr13 x 0 r2 vd vf) (b0 pr1 x 0 r3))) (474 ((vvv x 474 r2 r3
r1 vf v vd vc vb va) (b4 pr24 x 0 r1 v va vb vc) (b1 pr5 x 0
r2 vd) (b1 pr2 x 0 r3 vf))) (473 ((vvv x 473 r2 r1 vc vb va
v vf vd) (b4 pr24 x 0 r1 v va vb vc) (b1 pr5 x 0 r2 vd) (b1
pr5 x 0 r3 vf))) (472 ((vvv x 472 r2 r3 r1 vf v vd vc vb va)
(b4 pr24 x 0 r1 v va vb vc) (b1 pr6 x 0 r2 vd) (b1 pr2 x 0 
r3 vf))) (471 ((vvv x 471 r2 r1 vc vb va v vf vd) (b4 pr24 x
0 r1 v va vb vc) (b1 pr6 x 0 r2 vd) (b1 pr5 x 0 r3 vf))) (
470 ((vvv x 470 r2 r3 r1 vf vd v vc vb va) (b4 pr24 x 0 r1 v
va vb vc) (b1 pr7 x 0 r2 vd) (b1 pr2 x 0 r3 vf))) (469 ((vvv
x 469 r1 r2 vf vd vc vb va v) (b4 pr24 x 0 r1 v va vb vc) (
b1 pr7 x 0 r2 vd) (b1 pr5 x 0 r3 vf))) (468 ((vvv x 468 r2 
r3 r1 vf vd v vc vb va) (b4 pr24 x 0 r1 v va vb vc) (b1 pr8
x 0 r2 vd) (b1 pr2 x 0 r3 vf))) (467 ((vvv x 467 r2 r3 r1 vf
v vd vc vb va) (b4 pr24 x 0 r1 v va vb vc) (b1 pr9 x 0 r2 vd
) (b1 pr2 x 0 r3 vf))) (466 ((vvv x 466 r2 r3 r1 vf vd v vc
vb va) (b4 pr24 x 0 r1 v va vb vc) (b1 pr12 x 0 r2 vd) (b1 
pr2 x 0 r3 vf))) (465 ((vvv x 465 r2 r3 r1 vf v vd vc vb va)
(b4 pr24 x 0 r1 v va vb vc) (b1 pr14 x 0 r2 vd) (b1 pr2 x 0
r3 vf))) (464 ((vvv x 464 r2 r3 r1 vf v vd vc vb va) (b4 
pr24 x 0 r1 v va vb vc) (b1 pr16 x 0 r2 vd) (b1 pr2 x 0 r3 
vf))) (463 ((vvv x 463 r2 r3 r1 vf v vd vc vb va) (b4 pr24 x
0 r1 v va vb vc) (b1 pr33 x 0 r2 vd) (b1 pr2 x 0 r3 vf))) (
462 ((vvv x 462 r2 r1 vc vb va v vf vd) (b4 pr24 x 0 r1 v va
vb vc) (b1 pr33 x 0 r2 vd) (b1 pr5 x 0 r3 vf))) (461 ((vvv x
461 r2 r1 vc vb va v vf vd) (b4 pr24 x 0 r1 v va vb vc) (b1
pr33 x 0 r2 vd) (b1 pr6 x 0 r3 vf))) (460 ((vvv x 460 r2 r3
r1 vf v vd vc vb va) (b4 pr29 x 0 r1 v va vb vc) (b1 pr5 x 0
r2 vd) (b1 pr2 x 0 r3 vf))) (459 ((vvv x 459 r2 r1 vc vb va
v vf vd) (b4 pr29 x 0 r1 v va vb vc) (b1 pr5 x 0 r2 vd) (b1
pr5 x 0 r3 vf))) (458 ((vvv x 458 r2 r3 r1 vf v vd vc vb va)
(b4 pr29 x 0 r1 v va vb vc) (b1 pr6 x 0 r2 vd) (b1 pr2 x 0 
r3 vf))) (457 ((vvv x 457 r2 r1 vc vb va v vf vd) (b4 pr29 x
0 r1 v va vb vc) (b1 pr6 x 0 r2 vd) (b1 pr5 x 0 r3 vf))) (
456 ((vvv x 456 r2 r1 vc vb va v vf vd) (b4 pr29 x 0 r1 v va
vb vc) (b1 pr6 x 0 r2 vd) (b1 pr6 x 0 r3 vf))) (455 ((vvv x
455 r2 r3 r1 vf vd v vc vb va) (b4 pr29 x 0 r1 v va vb vc) (
b1 pr7 x 0 r2 vd) (b1 pr2 x 0 r3 vf))) (454 ((vvv x 454 r1 
r2 vf vd vc vb va v) (b4 pr29 x 0 r1 v va vb vc) (b1 pr7 x 0
r2 vd) (b1 pr5 x 0 r3 vf))) (453 ((vvv x 453 r1 r2 vf vd vc
vb va v) (b4 pr29 x 0 r1 v va vb vc) (b1 pr7 x 0 r2 vd) (b1
pr6 x 0 r3 vf))) (452 ((vvv x 452 r2 r3 r1 vf vd v vc vb va)
(b4 pr29 x 0 r1 v va vb vc) (b1 pr8 x 0 r2 vd) (b1 pr2 x 0 
r3 vf))) (451 ((vvv x 451 r1 r2 vf vd vc vb va v) (b4 pr29 x
0 r1 v va vb vc) (b1 pr8 x 0 r2 vd) (b1 pr5 x 0 r3 vf))) (
450 ((vvv x 450 r2 r3 r1 vf v vd vc vb va) (b4 pr29 x 0 r1 v
va vb vc) (b1 pr9 x 0 r2 vd) (b1 pr2 x 0 r3 vf))) (449 ((vvv
x 449 r2 r1 vc vb va v vf vd) (b4 pr29 x 0 r1 v va vb vc) (
b1 pr9 x 0 r2 vd) (b1 pr5 x 0 r3 vf))) (448 ((vvv x 448 r2 
r3 r1 vf vd v vc vb va) (b4 pr29 x 0 r1 v va vb vc) (b1 pr12
x 0 r2 vd) (b1 pr2 x 0 r3 vf))) (447 ((vvv x 447 r2 r3 r1 vf
v vd vc vb va) (b4 pr29 x 0 r1 v va vb vc) (b1 pr14 x 0 r2 
vd) (b1 pr2 x 0 r3 vf))) (446 ((vvv x 446 r2 r3 r1 vf v vd 
vc vb va) (b4 pr29 x 0 r1 v va vb vc) (b1 pr16 x 0 r2 vd) (
b1 pr2 x 0 r3 vf))) (445 ((vvv x 445 r2 r3 r1 vf v vd vc vb
va) (b4 pr29 x 0 r1 v va vb vc) (b1 pr33 x 0 r2 vd) (b1 pr2
x 0 r3 vf))) (444 ((vvv x 444 r2 r1 vc vb va v vf vd) (b4 
pr29 x 0 r1 v va vb vc) (b1 pr33 x 0 r2 vd) (b1 pr5 x 0 r3 
vf))) (443 ((vvv x 443 r2 r3 r1 vd v vc vb va) (b3 pr15 x 0
r1 v va vb) (b1 pr4 x 0 r2 vc) (b1 pr2 x 0 r3 vd))) (442 ((
vvv x 442 r2 r3 r1 vd v vc vb va) (b3 pr19 x 0 r1 v va vb) (
b1 pr4 x 0 r2 vc) (b1 pr2 x 0 r3 vd))) (441 ((vvv x 441 r2 
vc vb va v) (b4 pr24 x 0 r1 v va vb vc) (b0 pr1 x 0 r2) (b0
pr1 x 0 r3))) (440 ((vvv x 440 r2 vc vb va v) (b4 pr24 x 0 
r1 v va vb vc) (b0 pr3 x 0 r2) (b0 pr1 x 0 r3))) (439 ((vvv
x 439 r2 vc vb va v) (b4 pr24 x 0 r1 v va vb vc) (b0 pr3 x 0
r2) (b0 pr3 x 0 r3))) (438 ((vvv x 438 r2 vc vb va v) (b4 
pr24 x 0 r1 v va vb vc) (b0 pr32 x 0 r2) (b0 pr1 x 0 r3))) (
437 ((vvv x 437 r2 vc vb va v) (b4 pr29 x 0 r1 v va vb vc) (
b0 pr1 x 0 r2) (b0 pr1 x 0 r3))) (436 ((vvv x 436 r2 vc vb 
va v) (b4 pr29 x 0 r1 v va vb vc) (b0 pr3 x 0 r2) (b0 pr1 x
0 r3))) (435 ((vvv x 435 r2 vc vb va v) (b4 pr29 x 0 r1 v va
vb vc) (b0 pr3 x 0 r2) (b0 pr3 x 0 r3))) (434 ((vvv x 434 r2
vc vb va v) (b4 pr29 x 0 r1 v va vb vc) (b0 pr32 x 0 r2) (b0
pr1 x 0 r3))) (433 ((vvv x 433 r1 r2 vc v vb va) (b3 pr15 x
0 r1 v va vb) (b1 pr2 x 0 r2 vc) (b0 pr1 x 0 r3))) (432 ((
vvv x 432 r1 r2 vc v vb va) (b3 pr15 x 0 r1 v va vb) (b1 pr2
x 0 r2 vc) (b0 pr3 x 0 r3))) (431 ((vvv x 431 r3 r2 r1 vc v
vb va) (b3 pr15 x 0 r1 v va vb) (b1 pr2 x 0 r2 vc) (b0 pr17
x 0 r3))) (430 ((vvv x 430 r3 r2 r1 vc v vb va) (b3 pr15 x 0
r1 v va vb) (b1 pr2 x 0 r2 vc) (b0 pr23 x 0 r3))) (429 ((vvv
x 429 r3 r2 r1 vc v vb va) (b3 pr15 x 0 r1 v va vb) (b1 pr2
x 0 r2 vc) (b0 pr25 x 0 r3))) (428 ((vvv x 428 r3 r2 r1 vc v
vb va) (b3 pr15 x 0 r1 v va vb) (b1 pr2 x 0 r2 vc) (b0 pr27
x 0 r3))) (427 ((vvv x 427 r3 r2 r1 vc v vb va) (b3 pr15 x 0
r1 v va vb) (b1 pr2 x 0 r2 vc) (b0 pr30 x 0 r3))) (426 ((vvv
x 426 r1 r2 vc v vb va) (b3 pr15 x 0 r1 v va vb) (b1 pr2 x 0
r2 vc) (b0 pr32 x 0 r3))) (425 ((vvv x 425 r1 r2 vc v vb va)
(b3 pr15 x 0 r1 v va vb) (b1 pr5 x 0 r2 vc) (b0 pr1 x 0 r3))
) (424 ((vvv x 424 r1 r2 vc v vb va) (b3 pr15 x 0 r1 v va vb
) (b1 pr5 x 0 r2 vc) (b0 pr32 x 0 r3))) (423 ((vvv x 423 r1
r2 vc v vb va) (b3 pr15 x 0 r1 v va vb) (b1 pr6 x 0 r2 vc) (
b0 pr1 x 0 r3))) (422 ((vvv x 422 r1 r2 vc v vb va) (b3 pr15
x 0 r1 v va vb) (b1 pr6 x 0 r2 vc) (b0 pr32 x 0 r3))) (421 (
(vvv x 421 r2 r1 vb va v vc) (b3 pr15 x 0 r1 v va vb) (b1 
pr7 x 0 r2 vc) (b0 pr32 x 0 r3))) (420 ((vvv x 420 r1 r2 vc
v vb va) (b3 pr15 x 0 r1 v va vb) (b1 pr33 x 0 r2 vc) (b0 
pr1 x 0 r3))) (419 ((vvv x 419 r1 r2 vc v vb va) (b3 pr15 x
0 r1 v va vb) (b1 pr33 x 0 r2 vc) (b0 pr3 x 0 r3))) (418 ((
vvv x 418 r1 r2 vc v vb va) (b3 pr19 x 0 r1 v va vb) (b1 pr2
x 0 r2 vc) (b0 pr1 x 0 r3))) (417 ((vvv x 417 r1 r2 vc v vb
va) (b3 pr19 x 0 r1 v va vb) (b1 pr2 x 0 r2 vc) (b0 pr3 x 0
r3))) (416 ((vvv x 416 r3 r2 r1 vc v vb va) (b3 pr19 x 0 r1
v va vb) (b1 pr2 x 0 r2 vc) (b0 pr17 x 0 r3))) (415 ((vvv x
415 r3 r2 r1 vc v vb va) (b3 pr19 x 0 r1 v va vb) (b1 pr2 x
0 r2 vc) (b0 pr23 x 0 r3))) (414 ((vvv x 414 r3 r2 r1 vc v 
vb va) (b3 pr19 x 0 r1 v va vb) (b1 pr2 x 0 r2 vc) (b0 pr25
x 0 r3))) (413 ((vvv x 413 r3 r2 r1 vc v vb va) (b3 pr19 x 0
r1 v va vb) (b1 pr2 x 0 r2 vc) (b0 pr27 x 0 r3))) (412 ((vvv
x 412 r3 r2 r1 vc v vb va) (b3 pr19 x 0 r1 v va vb) (b1 pr2
x 0 r2 vc) (b0 pr30 x 0 r3))) (411 ((vvv x 411 r1 r2 vc v vb
va) (b3 pr19 x 0 r1 v va vb) (b1 pr2 x 0 r2 vc) (b0 pr32 x 0
r3))) (410 ((vvv x 410 r1 r2 vc v vb va) (b3 pr19 x 0 r1 v 
va vb) (b1 pr5 x 0 r2 vc) (b0 pr1 x 0 r3))) (409 ((vvv x 409
r1 r2 vc v vb va) (b3 pr19 x 0 r1 v va vb) (b1 pr5 x 0 r2 vc
) (b0 pr3 x 0 r3))) (408 ((vvv x 408 r1 r2 vc v vb va) (b3 
pr19 x 0 r1 v va vb) (b1 pr5 x 0 r2 vc) (b0 pr32 x 0 r3))) (
407 ((vvv x 407 r1 r2 vc v vb va) (b3 pr19 x 0 r1 v va vb) (
b1 pr6 x 0 r2 vc) (b0 pr1 x 0 r3))) (406 ((vvv x 406 r1 r2 
vc v vb va) (b3 pr19 x 0 r1 v va vb) (b1 pr6 x 0 r2 vc) (b0
pr32 x 0 r3))) (405 ((vvv x 405 r2 r1 vb va v vc) (b3 pr19 x
0 r1 v va vb) (b1 pr7 x 0 r2 vc) (b0 pr1 x 0 r3))) (404 ((
vvv x 404 r1 r2 vc v vb va) (b3 pr19 x 0 r1 v va vb) (b1 
pr33 x 0 r2 vc) (b0 pr1 x 0 r3))) (403 ((vvv x 403 r1 r2 vc
v vb va) (b3 pr19 x 0 r1 v va vb) (b1 pr33 x 0 r2 vc) (b0 
pr3 x 0 r3))) (402 ((vvv x 402 r2 r1 vb v va vc) (b2 pr26 x
0 r1 v va) (b2 pr10 x 0 r2 vb vc) (b0 pr1 x 0 r3))) (401 ((
vvv x 401 r2 r1 vb v va vc) (b2 pr26 x 0 r1 v va) (b2 pr11 x
0 r2 vb vc) (b0 pr1 x 0 r3))) (400 ((vvv x 400 r2 r1 vb v va
vc) (b2 pr28 x 0 r1 v va) (b2 pr10 x 0 r2 vb vc) (b0 pr1 x 0
r3))) (399 ((vvv x 399 r2 r1 vb v va vc) (b2 pr28 x 0 r1 v 
va) (b2 pr11 x 0 r2 vb vc) (b0 pr1 x 0 r3))) (398 ((vvv x 
398 r2 r1 vb v va vc) (b2 pr28 x 0 r1 v va) (b2 pr13 x 0 r2
vb vc) (b0 pr1 x 0 r3))) (397 ((vvv x 397 r2 r1 vb v va vc)
(b2 pr31 x 0 r1 v va) (b2 pr10 x 0 r2 vb vc) (b0 pr1 x 0 r3)
)) (396 ((vvv x 396 r2 r1 vb v va vc) (b2 pr31 x 0 r1 v va)
(b2 pr11 x 0 r2 vb vc) (b0 pr1 x 0 r3))) (395 ((vvv x 395 r2
r1 vb v va vc) (b2 pr31 x 0 r1 v va) (b2 pr13 x 0 r2 vb vc)
(b0 pr1 x 0 r3))) (394 ((vvv x 394 r2 r3 r1 vc v vb va) (b2
pr10 x 0 r1 v va) (b1 pr5 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (
393 ((vvv x 393 r2 r3 r1 vc v vb va) (b2 pr10 x 0 r1 v va) (
b1 pr6 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (392 ((vvv x 392 r2 
r3 r1 vc vb v va) (b2 pr10 x 0 r1 v va) (b1 pr7 x 0 r2 vb) (
b1 pr2 x 0 r3 vc))) (391 ((vvv x 391 r2 r3 r1 vc vb v va) (
b2 pr10 x 0 r1 v va) (b1 pr8 x 0 r2 vb) (b1 pr2 x 0 r3 vc)))
(390 ((vvv x 390 r2 r3 r1 vc v vb va) (b2 pr10 x 0 r1 v va)
(b1 pr9 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (389 ((vvv x 389 r2
r3 r1 vc vb v va) (b2 pr10 x 0 r1 v va) (b1 pr12 x 0 r2 vb)
(b1 pr2 x 0 r3 vc))) (388 ((vvv x 388 r2 r3 r1 vc v vb va) (
b2 pr10 x 0 r1 v va) (b1 pr14 x 0 r2 vb) (b1 pr2 x 0 r3 vc))
) (387 ((vvv x 387 r2 r3 r1 vc v vb va) (b2 pr10 x 0 r1 v va
) (b1 pr16 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (386 ((vvv x 386
r2 r3 r1 vc v vb va) (b2 pr10 x 0 r1 v va) (b1 pr33 x 0 r2 
vb) (b1 pr2 x 0 r3 vc))) (385 ((vvv x 385 r2 r1 va v vc vb)
(b2 pr10 x 0 r1 v va) (b1 pr33 x 0 r2 vb) (b1 pr5 x 0 r3 vc)
)) (384 ((vvv x 384 r2 r1 va v vc vb) (b2 pr10 x 0 r1 v va)
(b1 pr33 x 0 r2 vb) (b1 pr6 x 0 r3 vc))) (383 ((vvv x 383 r1
r2 vc vb va v) (b2 pr10 x 0 r1 v va) (b1 pr33 x 0 r2 vb) (b1
pr7 x 0 r3 vc))) (382 ((vvv x 382 r1 r2 vc vb va v) (b2 pr10
x 0 r1 v va) (b1 pr33 x 0 r2 vb) (b1 pr8 x 0 r3 vc))) (381 (
(vvv x 381 r2 r1 va v vc vb) (b2 pr10 x 0 r1 v va) (b1 pr33
x 0 r2 vb) (b1 pr9 x 0 r3 vc))) (380 ((vvv x 380 r2 r3 r1 vc
v vb va) (b2 pr11 x 0 r1 v va) (b1 pr5 x 0 r2 vb) (b1 pr2 x
0 r3 vc))) (379 ((vvv x 379 r2 r3 r1 vc v vb va) (b2 pr11 x
0 r1 v va) (b1 pr6 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (378 ((
vvv x 378 r2 r3 r1 vc vb v va) (b2 pr11 x 0 r1 v va) (b1 pr7
x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (377 ((vvv x 377 r2 r3 r1 vc
vb v va) (b2 pr11 x 0 r1 v va) (b1 pr8 x 0 r2 vb) (b1 pr2 x
0 r3 vc))) (376 ((vvv x 376 r2 r3 r1 vc v vb va) (b2 pr11 x
0 r1 v va) (b1 pr9 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (375 ((
vvv x 375 r2 r3 r1 vc vb v va) (b2 pr11 x 0 r1 v va) (b1 
pr12 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (374 ((vvv x 374 r2 r3
r1 vc v vb va) (b2 pr11 x 0 r1 v va) (b1 pr14 x 0 r2 vb) (b1
pr2 x 0 r3 vc))) (373 ((vvv x 373 r2 r3 r1 vc v vb va) (b2 
pr11 x 0 r1 v va) (b1 pr16 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (
372 ((vvv x 372 r2 r3 r1 vc v vb va) (b2 pr11 x 0 r1 v va) (
b1 pr33 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (371 ((vvv x 371 r2
r1 va v vc vb) (b2 pr11 x 0 r1 v va) (b1 pr33 x 0 r2 vb) (b1
pr5 x 0 r3 vc))) (370 ((vvv x 370 r2 r1 va v vc vb) (b2 pr11
x 0 r1 v va) (b1 pr33 x 0 r2 vb) (b1 pr6 x 0 r3 vc))) (369 (
(vvv x 369 r1 r2 vc vb va v) (b2 pr11 x 0 r1 v va) (b1 pr33
x 0 r2 vb) (b1 pr7 x 0 r3 vc))) (368 ((vvv x 368 r1 r2 vc vb
va v) (b2 pr11 x 0 r1 v va) (b1 pr33 x 0 r2 vb) (b1 pr8 x 0
r3 vc))) (367 ((vvv x 367 r2 r1 va v vc vb) (b2 pr11 x 0 r1
v va) (b1 pr33 x 0 r2 vb) (b1 pr9 x 0 r3 vc))) (366 ((vvv x
366 r2 r3 r1 vc v vb va) (b2 pr13 x 0 r1 v va) (b1 pr5 x 0 
r2 vb) (b1 pr2 x 0 r3 vc))) (365 ((vvv x 365 r2 r1 va v vc 
vb) (b2 pr13 x 0 r1 v va) (b1 pr5 x 0 r2 vb) (b1 pr5 x 0 r3
vc))) (364 ((vvv x 364 r2 r3 r1 vc v vb va) (b2 pr13 x 0 r1
v va) (b1 pr6 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (363 ((vvv x 
363 r2 r3 r1 vc vb v va) (b2 pr13 x 0 r1 v va) (b1 pr7 x 0 
r2 vb) (b1 pr2 x 0 r3 vc))) (362 ((vvv x 362 r2 r3 r1 vc vb
v va) (b2 pr13 x 0 r1 v va) (b1 pr8 x 0 r2 vb) (b1 pr2 x 0 
r3 vc))) (361 ((vvv x 361 r2 r3 r1 vc v vb va) (b2 pr13 x 0
r1 v va) (b1 pr9 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (360 ((vvv
x 360 r2 r3 r1 vc vb v va) (b2 pr13 x 0 r1 v va) (b1 pr12 x
0 r2 vb) (b1 pr2 x 0 r3 vc))) (359 ((vvv x 359 r2 r3 r1 vc v
vb va) (b2 pr13 x 0 r1 v va) (b1 pr14 x 0 r2 vb) (b1 pr2 x 0
r3 vc))) (358 ((vvv x 358 r2 r3 r1 vc v vb va) (b2 pr13 x 0
r1 v va) (b1 pr16 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (357 ((vvv
x 357 r2 r3 r1 vc v vb va) (b2 pr13 x 0 r1 v va) (b1 pr33 x
0 r2 vb) (b1 pr2 x 0 r3 vc))) (356 ((vvv x 356 r2 r1 va v vc
vb) (b2 pr13 x 0 r1 v va) (b1 pr33 x 0 r2 vb) (b1 pr5 x 0 r3
vc))) (355 ((vvv x 355 r2 r1 va v vc vb) (b2 pr13 x 0 r1 v 
va) (b1 pr33 x 0 r2 vb) (b1 pr6 x 0 r3 vc))) (354 ((vvv x 
354 r1 r2 vc vb va v) (b2 pr13 x 0 r1 v va) (b1 pr33 x 0 r2
vb) (b1 pr7 x 0 r3 vc))) (353 ((vvv x 353 r1 r2 vc vb va v)
(b2 pr13 x 0 r1 v va) (b1 pr33 x 0 r2 vb) (b1 pr8 x 0 r3 vc)
)) (352 ((vvv x 352 r2 r1 va v vc vb) (b2 pr13 x 0 r1 v va)
(b1 pr33 x 0 r2 vb) (b1 pr9 x 0 r3 vc))) (351 ((vvv x 351 r2
r3 r1 vc v vb va) (b2 pr18 x 0 r1 v va) (b1 pr5 x 0 r2 vb) (
b1 pr2 x 0 r3 vc))) (350 ((vvv x 350 r2 r1 va v vc vb) (b2 
pr18 x 0 r1 v va) (b1 pr5 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (
349 ((vvv x 349 r2 r3 r1 vc v vb va) (b2 pr18 x 0 r1 v va) (
b1 pr6 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (348 ((vvv x 348 r2 
r1 va v vc vb) (b2 pr18 x 0 r1 v va) (b1 pr6 x 0 r2 vb) (b1
pr5 x 0 r3 vc))) (347 ((vvv x 347 r2 r3 r1 vc vb v va) (b2 
pr18 x 0 r1 v va) (b1 pr7 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (
346 ((vvv x 346 r2 r3 r1 vc vb v va) (b2 pr18 x 0 r1 v va) (
b1 pr8 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (345 ((vvv x 345 r2 
r3 r1 vc v vb va) (b2 pr18 x 0 r1 v va) (b1 pr9 x 0 r2 vb) (
b1 pr2 x 0 r3 vc))) (344 ((vvv x 344 r2 r3 r1 vc vb v va) (
b2 pr18 x 0 r1 v va) (b1 pr12 x 0 r2 vb) (b1 pr2 x 0 r3 vc))
) (343 ((vvv x 343 r2 r3 r1 vc v vb va) (b2 pr18 x 0 r1 v va
) (b1 pr14 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (342 ((vvv x 342
r2 r3 r1 vc v vb va) (b2 pr18 x 0 r1 v va) (b1 pr16 x 0 r2 
vb) (b1 pr2 x 0 r3 vc))) (341 ((vvv x 341 r2 r3 r1 vc v vb 
va) (b2 pr18 x 0 r1 v va) (b1 pr33 x 0 r2 vb) (b1 pr2 x 0 r3
vc))) (340 ((vvv x 340 r2 r1 va v vc vb) (b2 pr18 x 0 r1 v 
va) (b1 pr33 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (339 ((vvv x 
339 r2 r1 va v vc vb) (b2 pr18 x 0 r1 v va) (b1 pr33 x 0 r2
vb) (b1 pr6 x 0 r3 vc))) (338 ((vvv x 338 r1 r2 vc vb va v)
(b2 pr18 x 0 r1 v va) (b1 pr33 x 0 r2 vb) (b1 pr7 x 0 r3 vc)
)) (337 ((vvv x 337 r2 r3 r1 vc v vb va) (b2 pr20 x 0 r1 v 
va) (b1 pr5 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (336 ((vvv x 336
r2 r1 va v vc vb) (b2 pr20 x 0 r1 v va) (b1 pr5 x 0 r2 vb) (
b1 pr5 x 0 r3 vc))) (335 ((vvv x 335 r2 r3 r1 vc v vb va) (
b2 pr20 x 0 r1 v va) (b1 pr6 x 0 r2 vb) (b1 pr2 x 0 r3 vc)))
(334 ((vvv x 334 r2 r1 va v vc vb) (b2 pr20 x 0 r1 v va) (b1
pr6 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (333 ((vvv x 333 r2 r3 
r1 vc vb v va) (b2 pr20 x 0 r1 v va) (b1 pr7 x 0 r2 vb) (b1
pr2 x 0 r3 vc))) (332 ((vvv x 332 r2 r3 r1 vc vb v va) (b2 
pr20 x 0 r1 v va) (b1 pr8 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (
331 ((vvv x 331 r2 r3 r1 vc v vb va) (b2 pr20 x 0 r1 v va) (
b1 pr9 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (330 ((vvv x 330 r2 
r3 r1 vc vb v va) (b2 pr20 x 0 r1 v va) (b1 pr12 x 0 r2 vb)
(b1 pr2 x 0 r3 vc))) (329 ((vvv x 329 r2 r3 r1 vc v vb va) (
b2 pr20 x 0 r1 v va) (b1 pr14 x 0 r2 vb) (b1 pr2 x 0 r3 vc))
) (328 ((vvv x 328 r2 r3 r1 vc v vb va) (b2 pr20 x 0 r1 v va
) (b1 pr16 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (327 ((vvv x 327
r2 r3 r1 vc v vb va) (b2 pr20 x 0 r1 v va) (b1 pr33 x 0 r2 
vb) (b1 pr2 x 0 r3 vc))) (326 ((vvv x 326 r2 r1 va v vc vb)
(b2 pr20 x 0 r1 v va) (b1 pr33 x 0 r2 vb) (b1 pr5 x 0 r3 vc)
)) (325 ((vvv x 325 r2 r1 va v vc vb) (b2 pr20 x 0 r1 v va)
(b1 pr33 x 0 r2 vb) (b1 pr6 x 0 r3 vc))) (324 ((vvv x 324 r1
r2 vc vb va v) (b2 pr20 x 0 r1 v va) (b1 pr33 x 0 r2 vb) (b1
pr7 x 0 r3 vc))) (323 ((vvv x 323 r2 r3 r1 vc v vb va) (b2 
pr21 x 0 r1 v va) (b1 pr5 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (
322 ((vvv x 322 r2 r1 va v vc vb) (b2 pr21 x 0 r1 v va) (b1
pr5 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (321 ((vvv x 321 r2 r3 
r1 vc v vb va) (b2 pr21 x 0 r1 v va) (b1 pr6 x 0 r2 vb) (b1
pr2 x 0 r3 vc))) (320 ((vvv x 320 r2 r1 va v vc vb) (b2 pr21
x 0 r1 v va) (b1 pr6 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (319 ((
vvv x 319 r2 r3 r1 vc vb v va) (b2 pr21 x 0 r1 v va) (b1 pr7
x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (318 ((vvv x 318 r2 r3 r1 vc
vb v va) (b2 pr21 x 0 r1 v va) (b1 pr8 x 0 r2 vb) (b1 pr2 x
0 r3 vc))) (317 ((vvv x 317 r2 r3 r1 vc v vb va) (b2 pr21 x
0 r1 v va) (b1 pr9 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (316 ((
vvv x 316 r2 r3 r1 vc vb v va) (b2 pr21 x 0 r1 v va) (b1 
pr12 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (315 ((vvv x 315 r2 r3
r1 vc v vb va) (b2 pr21 x 0 r1 v va) (b1 pr14 x 0 r2 vb) (b1
pr2 x 0 r3 vc))) (314 ((vvv x 314 r2 r3 r1 vc v vb va) (b2 
pr21 x 0 r1 v va) (b1 pr16 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (
313 ((vvv x 313 r2 r3 r1 vc v vb va) (b2 pr21 x 0 r1 v va) (
b1 pr33 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (312 ((vvv x 312 r2
r1 va v vc vb) (b2 pr21 x 0 r1 v va) (b1 pr33 x 0 r2 vb) (b1
pr5 x 0 r3 vc))) (311 ((vvv x 311 r2 r1 va v vc vb) (b2 pr21
x 0 r1 v va) (b1 pr33 x 0 r2 vb) (b1 pr6 x 0 r3 vc))) (310 (
(vvv x 310 r2 r3 r1 vc v vb va) (b2 pr22 x 0 r1 v va) (b1 
pr5 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (309 ((vvv x 309 r2 r1 
va v vc vb) (b2 pr22 x 0 r1 v va) (b1 pr5 x 0 r2 vb) (b1 pr5
x 0 r3 vc))) (308 ((vvv x 308 r2 r3 r1 vc v vb va) (b2 pr22
x 0 r1 v va) (b1 pr6 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (307 ((
vvv x 307 r2 r1 va v vc vb) (b2 pr22 x 0 r1 v va) (b1 pr6 x
0 r2 vb) (b1 pr5 x 0 r3 vc))) (306 ((vvv x 306 r2 r3 r1 vc 
vb v va) (b2 pr22 x 0 r1 v va) (b1 pr7 x 0 r2 vb) (b1 pr2 x
0 r3 vc))) (305 ((vvv x 305 r1 r2 vc vb va v) (b2 pr22 x 0 
r1 v va) (b1 pr7 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (304 ((vvv
x 304 r2 r3 r1 vc vb v va) (b2 pr22 x 0 r1 v va) (b1 pr8 x 0
r2 vb) (b1 pr2 x 0 r3 vc))) (303 ((vvv x 303 r2 r3 r1 vc v 
vb va) (b2 pr22 x 0 r1 v va) (b1 pr9 x 0 r2 vb) (b1 pr2 x 0
r3 vc))) (302 ((vvv x 302 r2 r3 r1 vc vb v va) (b2 pr22 x 0
r1 v va) (b1 pr12 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (301 ((vvv
x 301 r2 r3 r1 vc v vb va) (b2 pr22 x 0 r1 v va) (b1 pr14 x
0 r2 vb) (b1 pr2 x 0 r3 vc))) (300 ((vvv x 300 r2 r3 r1 vc v
vb va) (b2 pr22 x 0 r1 v va) (b1 pr16 x 0 r2 vb) (b1 pr2 x 0
r3 vc))) (299 ((vvv x 299 r2 r3 r1 vc v vb va) (b2 pr22 x 0
r1 v va) (b1 pr33 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (298 ((vvv
x 298 r2 r1 va v vc vb) (b2 pr22 x 0 r1 v va) (b1 pr33 x 0 
r2 vb) (b1 pr5 x 0 r3 vc))) (297 ((vvv x 297 r2 r1 va v vc 
vb) (b2 pr22 x 0 r1 v va) (b1 pr33 x 0 r2 vb) (b1 pr6 x 0 r3
vc))) (296 ((vvv x 296 r2 r3 r1 vc v vb va) (b2 pr26 x 0 r1
v va) (b1 pr5 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (295 ((vvv x 
295 r2 r1 va v vc vb) (b2 pr26 x 0 r1 v va) (b1 pr5 x 0 r2 
vb) (b1 pr5 x 0 r3 vc))) (294 ((vvv x 294 r2 r3 r1 vc v vb 
va) (b2 pr26 x 0 r1 v va) (b1 pr6 x 0 r2 vb) (b1 pr2 x 0 r3
vc))) (293 ((vvv x 293 r2 r1 va v vc vb) (b2 pr26 x 0 r1 v 
va) (b1 pr6 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (292 ((vvv x 292
r2 r1 va v vc vb) (b2 pr26 x 0 r1 v va) (b1 pr6 x 0 r2 vb) (
b1 pr6 x 0 r3 vc))) (291 ((vvv x 291 r2 r3 r1 vc vb v va) (
b2 pr26 x 0 r1 v va) (b1 pr7 x 0 r2 vb) (b1 pr2 x 0 r3 vc)))
(290 ((vvv x 290 r1 r2 vc vb va v) (b2 pr26 x 0 r1 v va) (b1
pr7 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (289 ((vvv x 289 r2 r3 
r1 vc vb v va) (b2 pr26 x 0 r1 v va) (b1 pr8 x 0 r2 vb) (b1
pr2 x 0 r3 vc))) (288 ((vvv x 288 r2 r3 r1 vc v vb va) (b2 
pr26 x 0 r1 v va) (b1 pr9 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (
287 ((vvv x 287 r2 r3 r1 vc vb v va) (b2 pr26 x 0 r1 v va) (
b1 pr12 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (286 ((vvv x 286 r2
r3 r1 vc v vb va) (b2 pr26 x 0 r1 v va) (b1 pr14 x 0 r2 vb)
(b1 pr2 x 0 r3 vc))) (285 ((vvv x 285 r2 r3 r1 vc v vb va) (
b2 pr26 x 0 r1 v va) (b1 pr16 x 0 r2 vb) (b1 pr2 x 0 r3 vc))
) (284 ((vvv x 284 r2 r3 r1 vc v vb va) (b2 pr26 x 0 r1 v va
) (b1 pr33 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (283 ((vvv x 283
r2 r1 va v vc vb) (b2 pr26 x 0 r1 v va) (b1 pr33 x 0 r2 vb)
(b1 pr5 x 0 r3 vc))) (282 ((vvv x 282 r2 r3 r1 vc v vb va) (
b2 pr28 x 0 r1 v va) (b1 pr5 x 0 r2 vb) (b1 pr2 x 0 r3 vc)))
(281 ((vvv x 281 r2 r1 va v vc vb) (b2 pr28 x 0 r1 v va) (b1
pr5 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (280 ((vvv x 280 r2 r3 
r1 vc v vb va) (b2 pr28 x 0 r1 v va) (b1 pr6 x 0 r2 vb) (b1
pr2 x 0 r3 vc))) (279 ((vvv x 279 r2 r1 va v vc vb) (b2 pr28
x 0 r1 v va) (b1 pr6 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (278 ((
vvv x 278 r2 r1 va v vc vb) (b2 pr28 x 0 r1 v va) (b1 pr6 x
0 r2 vb) (b1 pr6 x 0 r3 vc))) (277 ((vvv x 277 r2 r3 r1 vc 
vb v va) (b2 pr28 x 0 r1 v va) (b1 pr7 x 0 r2 vb) (b1 pr2 x
0 r3 vc))) (276 ((vvv x 276 r1 r2 vc vb va v) (b2 pr28 x 0 
r1 v va) (b1 pr7 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (275 ((vvv
x 275 r1 r2 vc vb va v) (b2 pr28 x 0 r1 v va) (b1 pr7 x 0 r2
vb) (b1 pr6 x 0 r3 vc))) (274 ((vvv x 274 r2 r3 r1 vc vb v 
va) (b2 pr28 x 0 r1 v va) (b1 pr8 x 0 r2 vb) (b1 pr2 x 0 r3
vc))) (273 ((vvv x 273 r1 r2 vc vb va v) (b2 pr28 x 0 r1 v 
va) (b1 pr8 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (272 ((vvv x 272
r2 r3 r1 vc v vb va) (b2 pr28 x 0 r1 v va) (b1 pr9 x 0 r2 vb
) (b1 pr2 x 0 r3 vc))) (271 ((vvv x 271 r2 r1 va v vc vb) (
b2 pr28 x 0 r1 v va) (b1 pr9 x 0 r2 vb) (b1 pr5 x 0 r3 vc)))
(270 ((vvv x 270 r2 r3 r1 vc vb v va) (b2 pr28 x 0 r1 v va)
(b1 pr12 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (269 ((vvv x 269 r2
r3 r1 vc v vb va) (b2 pr28 x 0 r1 v va) (b1 pr14 x 0 r2 vb)
(b1 pr2 x 0 r3 vc))) (268 ((vvv x 268 r2 r3 r1 vc v vb va) (
b2 pr28 x 0 r1 v va) (b1 pr16 x 0 r2 vb) (b1 pr2 x 0 r3 vc))
) (267 ((vvv x 267 r2 r3 r1 vc v vb va) (b2 pr28 x 0 r1 v va
) (b1 pr33 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (266 ((vvv x 266
r2 r1 va v vc vb) (b2 pr28 x 0 r1 v va) (b1 pr33 x 0 r2 vb)
(b1 pr5 x 0 r3 vc))) (265 ((vvv x 265 r2 r3 r1 vc v vb va) (
b2 pr31 x 0 r1 v va) (b1 pr5 x 0 r2 vb) (b1 pr2 x 0 r3 vc)))
(264 ((vvv x 264 r2 r1 va v vc vb) (b2 pr31 x 0 r1 v va) (b1
pr5 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (263 ((vvv x 263 r2 r3 
r1 vc v vb va) (b2 pr31 x 0 r1 v va) (b1 pr6 x 0 r2 vb) (b1
pr2 x 0 r3 vc))) (262 ((vvv x 262 r2 r1 va v vc vb) (b2 pr31
x 0 r1 v va) (b1 pr6 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (261 ((
vvv x 261 r2 r1 va v vc vb) (b2 pr31 x 0 r1 v va) (b1 pr6 x
0 r2 vb) (b1 pr6 x 0 r3 vc))) (260 ((vvv x 260 r2 r3 r1 vc 
vb v va) (b2 pr31 x 0 r1 v va) (b1 pr7 x 0 r2 vb) (b1 pr2 x
0 r3 vc))) (259 ((vvv x 259 r1 r2 vc vb va v) (b2 pr31 x 0 
r1 v va) (b1 pr7 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (258 ((vvv
x 258 r1 r2 vc vb va v) (b2 pr31 x 0 r1 v va) (b1 pr7 x 0 r2
vb) (b1 pr6 x 0 r3 vc))) (257 ((vvv x 257 r2 r3 r1 vc vb v 
va) (b2 pr31 x 0 r1 v va) (b1 pr8 x 0 r2 vb) (b1 pr2 x 0 r3
vc))) (256 ((vvv x 256 r1 r2 vc vb va v) (b2 pr31 x 0 r1 v 
va) (b1 pr8 x 0 r2 vb) (b1 pr5 x 0 r3 vc))) (255 ((vvv x 255
r2 r3 r1 vc v vb va) (b2 pr31 x 0 r1 v va) (b1 pr9 x 0 r2 vb
) (b1 pr2 x 0 r3 vc))) (254 ((vvv x 254 r2 r1 va v vc vb) (
b2 pr31 x 0 r1 v va) (b1 pr9 x 0 r2 vb) (b1 pr5 x 0 r3 vc)))
(253 ((vvv x 253 r2 r3 r1 vc vb v va) (b2 pr31 x 0 r1 v va)
(b1 pr12 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (252 ((vvv x 252 r2
r3 r1 vc v vb va) (b2 pr31 x 0 r1 v va) (b1 pr14 x 0 r2 vb)
(b1 pr2 x 0 r3 vc))) (251 ((vvv x 251 r2 r3 r1 vc v vb va) (
b2 pr31 x 0 r1 v va) (b1 pr16 x 0 r2 vb) (b1 pr2 x 0 r3 vc))
) (250 ((vvv x 250 r2 r3 r1 vc v vb va) (b2 pr31 x 0 r1 v va
) (b1 pr33 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (249 ((vvv x 249
r2 r3 r1 vb va v) (b1 pr5 x 0 r1 v) (b1 pr4 x 0 r2 va) (b1 
pr2 x 0 r3 vb))) (248 ((vvv x 248 r2 r1 v vb va) (b1 pr5 x 0
r1 v) (b1 pr5 x 0 r2 va) (b1 pr4 x 0 r3 vb))) (247 ((vvv x 
247 r2 r3 r1 vb va v) (b1 pr6 x 0 r1 v) (b1 pr4 x 0 r2 va) (
b1 pr2 x 0 r3 vb))) (246 ((vvv x 246 r2 r1 v vb va) (b1 pr6
x 0 r1 v) (b1 pr5 x 0 r2 va) (b1 pr4 x 0 r3 vb))) (245 ((vvv
x 245 r3 r2 r1 vb va v) (b1 pr7 x 0 r1 v) (b1 pr4 x 0 r2 va)
(b1 pr2 x 0 r3 vb))) (244 ((vvv x 244 r3 r2 r1 vb va v) (b1
pr8 x 0 r1 v) (b1 pr4 x 0 r2 va) (b1 pr2 x 0 r3 vb))) (243 (
(vvv x 243 r2 r3 r1 vb va v) (b1 pr9 x 0 r1 v) (b1 pr4 x 0 
r2 va) (b1 pr2 x 0 r3 vb))) (242 ((vvv x 242 r3 r2 r1 vb va
v) (b1 pr12 x 0 r1 v) (b1 pr4 x 0 r2 va) (b1 pr2 x 0 r3 vb))
) (241 ((vvv x 241 r2 r3 r1 vb va v) (b1 pr14 x 0 r1 v) (b1
pr4 x 0 r2 va) (b1 pr2 x 0 r3 vb))) (240 ((vvv x 240 r2 r3 
r1 vb va v) (b1 pr16 x 0 r1 v) (b1 pr4 x 0 r2 va) (b1 pr2 x
0 r3 vb))) (239 ((vvv x 239 r2 r3 r1 vb va v) (b1 pr33 x 0 
r1 v) (b1 pr4 x 0 r2 va) (b1 pr2 x 0 r3 vb))) (238 ((vvv x 
238 r2 r1 v vb va) (b1 pr33 x 0 r1 v) (b1 pr5 x 0 r2 va) (b1
pr4 x 0 r3 vb))) (237 ((vvv x 237 r2 r1 v vb va) (b1 pr33 x
0 r1 v) (b1 pr6 x 0 r2 va) (b1 pr4 x 0 r3 vb))) (236 ((vvv x
236 r1 r2 vb va v) (b1 pr33 x 0 r1 v) (b1 pr7 x 0 r2 va) (b1
pr4 x 0 r3 vb))) (235 ((vvv x 235 r2 va v) (b2 pr10 x 0 r1 v
va) (b0 pr1 x 0 r2) (b0 pr1 x 0 r3))) (234 ((vvv x 234 r2 va
v) (b2 pr10 x 0 r1 v va) (b0 pr3 x 0 r2) (b0 pr1 x 0 r3))) (
233 ((vvv x 233 r2 va v) (b2 pr10 x 0 r1 v va) (b0 pr32 x 0
r2) (b0 pr1 x 0 r3))) (232 ((vvv x 232 r2 va v) (b2 pr10 x 0
r1 v va) (b0 pr32 x 0 r2) (b0 pr3 x 0 r3))) (231 ((vvv x 231
r2 va v) (b2 pr11 x 0 r1 v va) (b0 pr1 x 0 r2) (b0 pr1 x 0 
r3))) (230 ((vvv x 230 r2 va v) (b2 pr11 x 0 r1 v va) (b0 
pr3 x 0 r2) (b0 pr1 x 0 r3))) (229 ((vvv x 229 r2 va v) (b2
pr11 x 0 r1 v va) (b0 pr32 x 0 r2) (b0 pr1 x 0 r3))) (228 ((
vvv x 228 r2 va v) (b2 pr11 x 0 r1 v va) (b0 pr32 x 0 r2) (
b0 pr3 x 0 r3))) (227 ((vvv x 227 r2 va v) (b2 pr13 x 0 r1 v
va) (b0 pr1 x 0 r2) (b0 pr1 x 0 r3))) (226 ((vvv x 226 r2 va
v) (b2 pr13 x 0 r1 v va) (b0 pr3 x 0 r2) (b0 pr1 x 0 r3))) (
225 ((vvv x 225 r2 va v) (b2 pr13 x 0 r1 v va) (b0 pr32 x 0
r2) (b0 pr1 x 0 r3))) (224 ((vvv x 224 r2 va v) (b2 pr13 x 0
r1 v va) (b0 pr32 x 0 r2) (b0 pr3 x 0 r3))) (223 ((vvv x 223
r2 va v) (b2 pr18 x 0 r1 v va) (b0 pr1 x 0 r2) (b0 pr1 x 0 
r3))) (222 ((vvv x 222 r2 va v) (b2 pr18 x 0 r1 v va) (b0 
pr3 x 0 r2) (b0 pr1 x 0 r3))) (221 ((vvv x 221 r2 va v) (b2
pr18 x 0 r1 v va) (b0 pr32 x 0 r2) (b0 pr1 x 0 r3))) (220 ((
vvv x 220 r2 va v) (b2 pr18 x 0 r1 v va) (b0 pr32 x 0 r2) (
b0 pr3 x 0 r3))) (219 ((vvv x 219 r2 va v) (b2 pr20 x 0 r1 v
va) (b0 pr1 x 0 r2) (b0 pr1 x 0 r3))) (218 ((vvv x 218 r2 va
v) (b2 pr20 x 0 r1 v va) (b0 pr3 x 0 r2) (b0 pr1 x 0 r3))) (
217 ((vvv x 217 r2 va v) (b2 pr20 x 0 r1 v va) (b0 pr32 x 0
r2) (b0 pr1 x 0 r3))) (216 ((vvv x 216 r2 va v) (b2 pr20 x 0
r1 v va) (b0 pr32 x 0 r2) (b0 pr3 x 0 r3))) (215 ((vvv x 215
r2 va v) (b2 pr21 x 0 r1 v va) (b0 pr1 x 0 r2) (b0 pr1 x 0 
r3))) (214 ((vvv x 214 r2 va v) (b2 pr21 x 0 r1 v va) (b0 
pr3 x 0 r2) (b0 pr1 x 0 r3))) (213 ((vvv x 213 r2 va v) (b2
pr21 x 0 r1 v va) (b0 pr3 x 0 r2) (b0 pr3 x 0 r3))) (212 ((
vvv x 212 r2 va v) (b2 pr21 x 0 r1 v va) (b0 pr32 x 0 r2) (
b0 pr1 x 0 r3))) (211 ((vvv x 211 r2 va v) (b2 pr21 x 0 r1 v
va) (b0 pr32 x 0 r2) (b0 pr3 x 0 r3))) (210 ((vvv x 210 r2 
va v) (b2 pr22 x 0 r1 v va) (b0 pr1 x 0 r2) (b0 pr1 x 0 r3))
) (209 ((vvv x 209 r2 va v) (b2 pr22 x 0 r1 v va) (b0 pr3 x
0 r2) (b0 pr1 x 0 r3))) (208 ((vvv x 208 r2 va v) (b2 pr22 x
0 r1 v va) (b0 pr3 x 0 r2) (b0 pr3 x 0 r3))) (207 ((vvv x 
207 r2 va v) (b2 pr22 x 0 r1 v va) (b0 pr32 x 0 r2) (b0 pr1
x 0 r3))) (206 ((vvv x 206 r2 va v) (b2 pr22 x 0 r1 v va) (
b0 pr32 x 0 r2) (b0 pr3 x 0 r3))) (205 ((vvv x 205 r2 va v)
(b2 pr26 x 0 r1 v va) (b0 pr1 x 0 r2) (b0 pr1 x 0 r3))) (204
((vvv x 204 r2 va v) (b2 pr26 x 0 r1 v va) (b0 pr3 x 0 r2) (
b0 pr1 x 0 r3))) (203 ((vvv x 203 r2 va v) (b2 pr26 x 0 r1 v
va) (b0 pr3 x 0 r2) (b0 pr3 x 0 r3))) (202 ((vvv x 202 r2 va
v) (b2 pr26 x 0 r1 v va) (b0 pr32 x 0 r2) (b0 pr1 x 0 r3)))
(201 ((vvv x 201 r2 va v) (b2 pr28 x 0 r1 v va) (b0 pr1 x 0
r2) (b0 pr1 x 0 r3))) (200 ((vvv x 200 r2 va v) (b2 pr28 x 0
r1 v va) (b0 pr3 x 0 r2) (b0 pr1 x 0 r3))) (199 ((vvv x 199
r2 va v) (b2 pr28 x 0 r1 v va) (b0 pr3 x 0 r2) (b0 pr3 x 0 
r3))) (198 ((vvv x 198 r2 va v) (b2 pr28 x 0 r1 v va) (b0 
pr32 x 0 r2) (b0 pr1 x 0 r3))) (197 ((vvv x 197 r2 va v) (b2
pr31 x 0 r1 v va) (b0 pr1 x 0 r2) (b0 pr1 x 0 r3))) (196 ((
vvv x 196 r2 va v) (b2 pr31 x 0 r1 v va) (b0 pr3 x 0 r2) (b0
pr1 x 0 r3))) (195 ((vvv x 195 r2 va v) (b2 pr31 x 0 r1 v va
) (b0 pr3 x 0 r2) (b0 pr3 x 0 r3))) (194 ((vvv x 194 r2 va v
) (b2 pr31 x 0 r1 v va) (b0 pr32 x 0 r2) (b0 pr1 x 0 r3))) (
193 ((vvv x 193 r2 r1 va v) (b1 pr5 x 0 r1 v) (b1 pr2 x 0 r2
va) (b0 pr1 x 0 r3))) (192 ((vvv x 192 r2 r1 va v) (b1 pr5 x
0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr3 x 0 r3))) (191 ((vvv x 
191 r3 r2 r1 va v) (b1 pr5 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0
pr17 x 0 r3))) (190 ((vvv x 190 r3 r2 r1 va v) (b1 pr5 x 0 
r1 v) (b1 pr2 x 0 r2 va) (b0 pr23 x 0 r3))) (189 ((vvv x 189
r3 r2 r1 va v) (b1 pr5 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr25
x 0 r3))) (188 ((vvv x 188 r3 r2 r1 va v) (b1 pr5 x 0 r1 v)
(b1 pr2 x 0 r2 va) (b0 pr27 x 0 r3))) (187 ((vvv x 187 r3 r2
r1 va v) (b1 pr5 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr30 x 0 
r3))) (186 ((vvv x 186 r2 r1 va v) (b1 pr5 x 0 r1 v) (b1 pr2
x 0 r2 va) (b0 pr32 x 0 r3))) (185 ((vvv x 185 r2 r1 v va) (
b1 pr5 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 pr17 x 0 r3))) (184
((vvv x 184 r2 r1 v va) (b1 pr5 x 0 r1 v) (b1 pr5 x 0 r2 va)
(b0 pr23 x 0 r3))) (183 ((vvv x 183 r2 r1 v va) (b1 pr5 x 0
r1 v) (b1 pr5 x 0 r2 va) (b0 pr25 x 0 r3))) (182 ((vvv x 182
r2 r1 v va) (b1 pr5 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 pr27 x
0 r3))) (181 ((vvv x 181 r2 r1 v va) (b1 pr5 x 0 r1 v) (b1 
pr5 x 0 r2 va) (b0 pr30 x 0 r3))) (180 ((vvv x 180 r2 r1 va
v) (b1 pr5 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 pr32 x 0 r3))) (
179 ((vvv x 179 r2 r1 va v) (b1 pr6 x 0 r1 v) (b1 pr2 x 0 r2
va) (b0 pr1 x 0 r3))) (178 ((vvv x 178 r2 r1 va v) (b1 pr6 x
0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr3 x 0 r3))) (177 ((vvv x 
177 r3 r2 r1 va v) (b1 pr6 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0
pr17 x 0 r3))) (176 ((vvv x 176 r3 r2 r1 va v) (b1 pr6 x 0 
r1 v) (b1 pr2 x 0 r2 va) (b0 pr23 x 0 r3))) (175 ((vvv x 175
r3 r2 r1 va v) (b1 pr6 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr25
x 0 r3))) (174 ((vvv x 174 r3 r2 r1 va v) (b1 pr6 x 0 r1 v)
(b1 pr2 x 0 r2 va) (b0 pr27 x 0 r3))) (173 ((vvv x 173 r3 r2
r1 va v) (b1 pr6 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr30 x 0 
r3))) (172 ((vvv x 172 r2 r1 va v) (b1 pr6 x 0 r1 v) (b1 pr2
x 0 r2 va) (b0 pr32 x 0 r3))) (171 ((vvv x 171 r2 r1 v va) (
b1 pr6 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 pr23 x 0 r3))) (170
((vvv x 170 r2 r1 v va) (b1 pr6 x 0 r1 v) (b1 pr5 x 0 r2 va)
(b0 pr25 x 0 r3))) (169 ((vvv x 169 r2 r1 v va) (b1 pr6 x 0
r1 v) (b1 pr5 x 0 r2 va) (b0 pr27 x 0 r3))) (168 ((vvv x 168
r2 r1 v va) (b1 pr6 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 pr30 x
0 r3))) (167 ((vvv x 167 r2 r1 va v) (b1 pr6 x 0 r1 v) (b1 
pr5 x 0 r2 va) (b0 pr32 x 0 r3))) (166 ((vvv x 166 r2 r1 v 
va) (b1 pr6 x 0 r1 v) (b1 pr6 x 0 r2 va) (b0 pr25 x 0 r3)))
(165 ((vvv x 165 r2 r1 v va) (b1 pr6 x 0 r1 v) (b1 pr6 x 0 
r2 va) (b0 pr27 x 0 r3))) (164 ((vvv x 164 r2 r1 v va) (b1 
pr6 x 0 r1 v) (b1 pr6 x 0 r2 va) (b0 pr30 x 0 r3))) (163 ((
vvv x 163 r2 r1 va v) (b1 pr6 x 0 r1 v) (b1 pr6 x 0 r2 va) (
b0 pr32 x 0 r3))) (162 ((vvv x 162 r3 r2 r1 va v) (b1 pr7 x
0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr1 x 0 r3))) (161 ((vvv x 
161 r3 r2 r1 va v) (b1 pr7 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0
pr3 x 0 r3))) (160 ((vvv x 160 r2 r1 va v) (b1 pr7 x 0 r1 v)
(b1 pr2 x 0 r2 va) (b0 pr17 x 0 r3))) (159 ((vvv x 159 r2 r1
va v) (b1 pr7 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr23 x 0 r3))
) (158 ((vvv x 158 r2 r1 va v) (b1 pr7 x 0 r1 v) (b1 pr2 x 0
r2 va) (b0 pr25 x 0 r3))) (157 ((vvv x 157 r2 r1 va v) (b1 
pr7 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr27 x 0 r3))) (156 ((
vvv x 156 r2 r1 va v) (b1 pr7 x 0 r1 v) (b1 pr2 x 0 r2 va) (
b0 pr30 x 0 r3))) (155 ((vvv x 155 r3 r2 r1 va v) (b1 pr7 x
0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr32 x 0 r3))) (154 ((vvv x 
154 r2 r1 va v) (b1 pr7 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 
pr23 x 0 r3))) (153 ((vvv x 153 r2 r1 va v) (b1 pr7 x 0 r1 v
) (b1 pr5 x 0 r2 va) (b0 pr25 x 0 r3))) (152 ((vvv x 152 r2
r1 va v) (b1 pr7 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 pr27 x 0 
r3))) (151 ((vvv x 151 r2 r1 va v) (b1 pr7 x 0 r1 v) (b1 pr5
x 0 r2 va) (b0 pr30 x 0 r3))) (150 ((vvv x 150 r2 r1 v va) (
b1 pr7 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 pr32 x 0 r3))) (149
((vvv x 149 r2 r1 va v) (b1 pr7 x 0 r1 v) (b1 pr6 x 0 r2 va)
(b0 pr27 x 0 r3))) (148 ((vvv x 148 r2 r1 va v) (b1 pr7 x 0
r1 v) (b1 pr6 x 0 r2 va) (b0 pr30 x 0 r3))) (147 ((vvv x 147
r2 r1 v va) (b1 pr7 x 0 r1 v) (b1 pr6 x 0 r2 va) (b0 pr32 x
0 r3))) (146 ((vvv x 146 r2 r1 va v) (b1 pr7 x 0 r1 v) (b1 
pr7 x 0 r2 va) (b0 pr32 x 0 r3))) (145 ((vvv x 145 r3 r2 r1
va v) (b1 pr8 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr1 x 0 r3)))
(144 ((vvv x 144 r3 r2 r1 va v) (b1 pr8 x 0 r1 v) (b1 pr2 x
0 r2 va) (b0 pr3 x 0 r3))) (143 ((vvv x 143 r2 r1 va v) (b1
pr8 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr17 x 0 r3))) (142 ((
vvv x 142 r2 r1 va v) (b1 pr8 x 0 r1 v) (b1 pr2 x 0 r2 va) (
b0 pr23 x 0 r3))) (141 ((vvv x 141 r2 r1 va v) (b1 pr8 x 0 
r1 v) (b1 pr2 x 0 r2 va) (b0 pr25 x 0 r3))) (140 ((vvv x 140
r2 r1 va v) (b1 pr8 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr27 x
0 r3))) (139 ((vvv x 139 r2 r1 va v) (b1 pr8 x 0 r1 v) (b1 
pr2 x 0 r2 va) (b0 pr30 x 0 r3))) (138 ((vvv x 138 r3 r2 r1
va v) (b1 pr8 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr32 x 0 r3))
) (137 ((vvv x 137 r2 r1 v va) (b1 pr8 x 0 r1 v) (b1 pr5 x 0
r2 va) (b0 pr1 x 0 r3))) (136 ((vvv x 136 r2 r1 va v) (b1 
pr8 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 pr27 x 0 r3))) (135 ((
vvv x 135 r2 r1 va v) (b1 pr8 x 0 r1 v) (b1 pr5 x 0 r2 va) (
b0 pr30 x 0 r3))) (134 ((vvv x 134 r2 r1 v va) (b1 pr8 x 0 
r1 v) (b1 pr5 x 0 r2 va) (b0 pr32 x 0 r3))) (133 ((vvv x 133
r2 r1 v va) (b1 pr8 x 0 r1 v) (b1 pr6 x 0 r2 va) (b0 pr32 x
0 r3))) (132 ((vvv x 132 r2 r1 va v) (b1 pr8 x 0 r1 v) (b1 
pr7 x 0 r2 va) (b0 pr32 x 0 r3))) (131 ((vvv x 131 r2 r1 va
v) (b1 pr8 x 0 r1 v) (b1 pr8 x 0 r2 va) (b0 pr32 x 0 r3))) (
130 ((vvv x 130 r2 r1 va v) (b1 pr9 x 0 r1 v) (b1 pr2 x 0 r2
va) (b0 pr1 x 0 r3))) (129 ((vvv x 129 r2 r1 va v) (b1 pr9 x
0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr3 x 0 r3))) (128 ((vvv x 
128 r3 r2 r1 va v) (b1 pr9 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0
pr17 x 0 r3))) (127 ((vvv x 127 r3 r2 r1 va v) (b1 pr9 x 0 
r1 v) (b1 pr2 x 0 r2 va) (b0 pr23 x 0 r3))) (126 ((vvv x 126
r3 r2 r1 va v) (b1 pr9 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr25
x 0 r3))) (125 ((vvv x 125 r3 r2 r1 va v) (b1 pr9 x 0 r1 v)
(b1 pr2 x 0 r2 va) (b0 pr27 x 0 r3))) (124 ((vvv x 124 r3 r2
r1 va v) (b1 pr9 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr30 x 0 
r3))) (123 ((vvv x 123 r2 r1 va v) (b1 pr9 x 0 r1 v) (b1 pr2
x 0 r2 va) (b0 pr32 x 0 r3))) (122 ((vvv x 122 r2 r1 va v) (
b1 pr9 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 pr1 x 0 r3))) (121 (
(vvv x 121 r2 r1 v va) (b1 pr9 x 0 r1 v) (b1 pr5 x 0 r2 va)
(b0 pr30 x 0 r3))) (120 ((vvv x 120 r2 r1 va v) (b1 pr9 x 0
r1 v) (b1 pr5 x 0 r2 va) (b0 pr32 x 0 r3))) (119 ((vvv x 119
r2 r1 va v) (b1 pr9 x 0 r1 v) (b1 pr6 x 0 r2 va) (b0 pr32 x
0 r3))) (118 ((vvv x 118 r2 r1 v va) (b1 pr9 x 0 r1 v) (b1 
pr7 x 0 r2 va) (b0 pr32 x 0 r3))) (117 ((vvv x 117 r2 r1 v 
va) (b1 pr9 x 0 r1 v) (b1 pr8 x 0 r2 va) (b0 pr32 x 0 r3)))
(116 ((vvv x 116 r2 r1 va v) (b1 pr9 x 0 r1 v) (b1 pr9 x 0 
r2 va) (b0 pr32 x 0 r3))) (115 ((vvv x 115 r3 r2 r1 va v) (
b1 pr12 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr1 x 0 r3))) (114
((vvv x 114 r3 r2 r1 va v) (b1 pr12 x 0 r1 v) (b1 pr2 x 0 r2
va) (b0 pr3 x 0 r3))) (113 ((vvv x 113 r2 r1 va v) (b1 pr12
x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr17 x 0 r3))) (112 ((vvv x
112 r2 r1 va v) (b1 pr12 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 
pr23 x 0 r3))) (111 ((vvv x 111 r2 r1 va v) (b1 pr12 x 0 r1
v) (b1 pr2 x 0 r2 va) (b0 pr25 x 0 r3))) (110 ((vvv x 110 r2
r1 va v) (b1 pr12 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr27 x 0
r3))) (109 ((vvv x 109 r2 r1 va v) (b1 pr12 x 0 r1 v) (b1 
pr2 x 0 r2 va) (b0 pr30 x 0 r3))) (108 ((vvv x 108 r3 r2 r1
va v) (b1 pr12 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr32 x 0 r3)
)) (107 ((vvv x 107 r2 r1 v va) (b1 pr12 x 0 r1 v) (b1 pr5 x
0 r2 va) (b0 pr1 x 0 r3))) (106 ((vvv x 106 r2 r1 v va) (b1
pr12 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 pr32 x 0 r3))) (105 ((
vvv x 105 r2 r1 v va) (b1 pr12 x 0 r1 v) (b1 pr6 x 0 r2 va)
(b0 pr1 x 0 r3))) (104 ((vvv x 104 r2 r1 v va) (b1 pr12 x 0
r1 v) (b1 pr6 x 0 r2 va) (b0 pr32 x 0 r3))) (103 ((vvv x 103
r2 r1 va v) (b1 pr12 x 0 r1 v) (b1 pr7 x 0 r2 va) (b0 pr32 x
0 r3))) (102 ((vvv x 102 r2 r1 va v) (b1 pr14 x 0 r1 v) (b1
pr2 x 0 r2 va) (b0 pr1 x 0 r3))) (101 ((vvv x 101 r2 r1 va v
) (b1 pr14 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr3 x 0 r3))) (
100 ((vvv x 100 r3 r2 r1 va v) (b1 pr14 x 0 r1 v) (b1 pr2 x
0 r2 va) (b0 pr17 x 0 r3))) (99 ((vvv x 99 r3 r2 r1 va v) (
b1 pr14 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr23 x 0 r3))) (98
((vvv x 98 r3 r2 r1 va v) (b1 pr14 x 0 r1 v) (b1 pr2 x 0 r2
va) (b0 pr25 x 0 r3))) (97 ((vvv x 97 r3 r2 r1 va v) (b1 
pr14 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr27 x 0 r3))) (96 ((
vvv x 96 r3 r2 r1 va v) (b1 pr14 x 0 r1 v) (b1 pr2 x 0 r2 va
) (b0 pr30 x 0 r3))) (95 ((vvv x 95 r2 r1 va v) (b1 pr14 x 0
r1 v) (b1 pr2 x 0 r2 va) (b0 pr32 x 0 r3))) (94 ((vvv x 94 
r2 r1 va v) (b1 pr14 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 pr1 x
0 r3))) (93 ((vvv x 93 r2 r1 va v) (b1 pr14 x 0 r1 v) (b1 
pr5 x 0 r2 va) (b0 pr32 x 0 r3))) (92 ((vvv x 92 r2 r1 va v)
(b1 pr14 x 0 r1 v) (b1 pr6 x 0 r2 va) (b0 pr1 x 0 r3))) (91
((vvv x 91 r2 r1 va v) (b1 pr14 x 0 r1 v) (b1 pr6 x 0 r2 va)
(b0 pr32 x 0 r3))) (90 ((vvv x 90 r2 r1 v va) (b1 pr14 x 0 
r1 v) (b1 pr7 x 0 r2 va) (b0 pr32 x 0 r3))) (89 ((vvv x 89 
r2 r1 va v) (b1 pr16 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr1 x
0 r3))) (88 ((vvv x 88 r2 r1 va v) (b1 pr16 x 0 r1 v) (b1 
pr2 x 0 r2 va) (b0 pr3 x 0 r3))) (87 ((vvv x 87 r3 r2 r1 va
v) (b1 pr16 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr17 x 0 r3)))
(86 ((vvv x 86 r3 r2 r1 va v) (b1 pr16 x 0 r1 v) (b1 pr2 x 0
r2 va) (b0 pr23 x 0 r3))) (85 ((vvv x 85 r3 r2 r1 va v) (b1
pr16 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr25 x 0 r3))) (84 ((
vvv x 84 r3 r2 r1 va v) (b1 pr16 x 0 r1 v) (b1 pr2 x 0 r2 va
) (b0 pr27 x 0 r3))) (83 ((vvv x 83 r3 r2 r1 va v) (b1 pr16
x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr30 x 0 r3))) (82 ((vvv x
82 r2 r1 va v) (b1 pr16 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 
pr32 x 0 r3))) (81 ((vvv x 81 r2 r1 va v) (b1 pr16 x 0 r1 v)
(b1 pr5 x 0 r2 va) (b0 pr1 x 0 r3))) (80 ((vvv x 80 r2 r1 va
v) (b1 pr16 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 pr32 x 0 r3)))
(79 ((vvv x 79 r2 r1 va v) (b1 pr16 x 0 r1 v) (b1 pr6 x 0 r2
va) (b0 pr1 x 0 r3))) (78 ((vvv x 78 r2 r1 va v) (b1 pr16 x
0 r1 v) (b1 pr6 x 0 r2 va) (b0 pr32 x 0 r3))) (77 ((vvv x 77
r2 r1 v va) (b1 pr16 x 0 r1 v) (b1 pr7 x 0 r2 va) (b0 pr32 x
0 r3))) (76 ((vvv x 76 r2 r1 va v) (b1 pr33 x 0 r1 v) (b1 
pr2 x 0 r2 va) (b0 pr1 x 0 r3))) (75 ((vvv x 75 r2 r1 va v)
(b1 pr33 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr3 x 0 r3))) (74
((vvv x 74 r3 r2 r1 va v) (b1 pr33 x 0 r1 v) (b1 pr2 x 0 r2
va) (b0 pr17 x 0 r3))) (73 ((vvv x 73 r3 r2 r1 va v) (b1 
pr33 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr23 x 0 r3))) (72 ((
vvv x 72 r3 r2 r1 va v) (b1 pr33 x 0 r1 v) (b1 pr2 x 0 r2 va
) (b0 pr25 x 0 r3))) (71 ((vvv x 71 r3 r2 r1 va v) (b1 pr33
x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr27 x 0 r3))) (70 ((vvv x
70 r3 r2 r1 va v) (b1 pr33 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0
pr30 x 0 r3))) (69 ((vvv x 69 r2 r1 va v) (b1 pr33 x 0 r1 v)
(b1 pr2 x 0 r2 va) (b0 pr32 x 0 r3))) (68 ((vvv x 68 r2 r1 
va v) (b1 pr33 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 pr1 x 0 r3))
) (67 ((vvv x 67 r2 r1 va v) (b1 pr33 x 0 r1 v) (b1 pr5 x 0
r2 va) (b0 pr3 x 0 r3))) (66 ((vvv x 66 r2 r1 v va) (b1 pr33
x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 pr17 x 0 r3))) (65 ((vvv x
65 r2 r1 v va) (b1 pr33 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 
pr23 x 0 r3))) (64 ((vvv x 64 r2 r1 v va) (b1 pr33 x 0 r1 v)
(b1 pr5 x 0 r2 va) (b0 pr25 x 0 r3))) (63 ((vvv x 63 r2 r1 v
va) (b1 pr33 x 0 r1 v) (b1 pr5 x 0 r2 va) (b0 pr27 x 0 r3)))
(62 ((vvv x 62 r2 r1 va v) (b1 pr33 x 0 r1 v) (b1 pr6 x 0 r2
va) (b0 pr1 x 0 r3))) (61 ((vvv x 61 r2 r1 va v) (b1 pr33 x
0 r1 v) (b1 pr6 x 0 r2 va) (b0 pr3 x 0 r3))) (60 ((vvv x 60
r2 r1 v va) (b1 pr33 x 0 r1 v) (b1 pr6 x 0 r2 va) (b0 pr17 x
0 r3))) (59 ((vvv x 59 r2 r1 v va) (b1 pr33 x 0 r1 v) (b1 
pr6 x 0 r2 va) (b0 pr23 x 0 r3))) (58 ((vvv x 58 r2 r1 v va)
(b1 pr33 x 0 r1 v) (b1 pr7 x 0 r2 va) (b0 pr1 x 0 r3))) (57
((vvv x 57 r2 r1 v va) (b1 pr33 x 0 r1 v) (b1 pr7 x 0 r2 va)
(b0 pr3 x 0 r3))) (56 ((vvv x 56 r2 r1 va v) (b1 pr33 x 0 r1
v) (b1 pr7 x 0 r2 va) (b0 pr17 x 0 r3))) (55 ((vvv x 55 r2 
r1 v va) (b1 pr33 x 0 r1 v) (b1 pr8 x 0 r2 va) (b0 pr1 x 0 
r3))) (54 ((vvv x 54 r2 r1 v va) (b1 pr33 x 0 r1 v) (b1 pr8
x 0 r2 va) (b0 pr3 x 0 r3))) (53 ((vvv x 53 r2 r1 va v) (b1
pr33 x 0 r1 v) (b1 pr9 x 0 r2 va) (b0 pr1 x 0 r3))) (52 ((
vvv x 52 r2 r1 va v) (b1 pr33 x 0 r1 v) (b1 pr9 x 0 r2 va) (
b0 pr3 x 0 r3))) (51 ((vvv x 51 r2 r1 v va) (b1 pr33 x 0 r1
v) (b1 pr12 x 0 r2 va) (b0 pr1 x 0 r3))) (50 ((vvv x 50 r2 
r1 v va) (b1 pr33 x 0 r1 v) (b1 pr12 x 0 r2 va) (b0 pr3 x 0
r3))) (49 ((vvv x 49 r2 r1 va v) (b1 pr33 x 0 r1 v) (b1 pr14
x 0 r2 va) (b0 pr1 x 0 r3))) (48 ((vvv x 48 r2 r1 va v) (b1
pr33 x 0 r1 v) (b1 pr14 x 0 r2 va) (b0 pr3 x 0 r3))) (47 ((
vvv x 47 r2 r1 va v) (b1 pr33 x 0 r1 v) (b1 pr16 x 0 r2 va)
(b0 pr1 x 0 r3))) (46 ((vvv x 46 r2 r1 va v) (b1 pr33 x 0 r1
v) (b1 pr16 x 0 r2 va) (b0 pr3 x 0 r3))) (45 ((vvv x 45 r2 v
) (b1 pr4 x 0 r1 v) (b0 pr1 x 0 r2) (b0 pr1 x 0 r3))) (44 ((
vvv x 44 r2 v) (b1 pr4 x 0 r1 v) (b0 pr3 x 0 r2) (b0 pr1 x 0
r3))) (43 ((vvv x 43 r2 v) (b1 pr4 x 0 r1 v) (b0 pr32 x 0 r2
) (b0 pr1 x 0 r3))) (42 ((vvv x 42 r2 v) (b1 pr4 x 0 r1 v) (
b0 pr32 x 0 r2) (b0 pr3 x 0 r3))) (41 ((vvv x 41) (b0 pr17 x
0 r1) (b0 pr1 x 0 r2) (b0 pr1 x 0 r3))) (40 ((vvv x 40) (b0
pr17 x 0 r1) (b0 pr3 x 0 r2) (b0 pr1 x 0 r3))) (39 ((vvv x 
39) (b0 pr23 x 0 r1) (b0 pr1 x 0 r2) (b0 pr1 x 0 r3))) (38 (
(vvv x 38) (b0 pr23 x 0 r1) (b0 pr3 x 0 r2) (b0 pr1 x 0 r3))
) (37 ((vvv x 37) (b0 pr23 x 0 r1) (b0 pr3 x 0 r2) (b0 pr3 x
0 r3))) (36 ((vvv x 36) (b0 pr25 x 0 r1) (b0 pr1 x 0 r2) (b0
pr1 x 0 r3))) (35 ((vvv x 35) (b0 pr25 x 0 r1) (b0 pr3 x 0 
r2) (b0 pr1 x 0 r3))) (34 ((vvv x 34) (b0 pr25 x 0 r1) (b0 
pr3 x 0 r2) (b0 pr3 x 0 r3))) (33 ((vvv x 33) (b0 pr27 x 0 
r1) (b0 pr1 x 0 r2) (b0 pr1 x 0 r3))) (32 ((vvv x 32) (b0 
pr27 x 0 r1) (b0 pr3 x 0 r2) (b0 pr1 x 0 r3))) (31 ((vvv x 
31) (b0 pr27 x 0 r1) (b0 pr3 x 0 r2) (b0 pr3 x 0 r3))) (30 (
(vvv x 30) (b0 pr30 x 0 r1) (b0 pr1 x 0 r2) (b0 pr1 x 0 r3))
) (29 ((vvv x 29) (b0 pr30 x 0 r1) (b0 pr3 x 0 r2) (b0 pr1 x
0 r3))) (28 ((vvv x 28) (b0 pr30 x 0 r1) (b0 pr3 x 0 r2) (b0
pr3 x 0 r3))) (27 ((vvv x 27) (b0 pr32 x 0 r1) (b0 pr17 x 0
r2) (b0 pr1 x 0 r3))) (26 ((vvv x 26) (b0 pr32 x 0 r1) (b0 
pr17 x 0 r2) (b0 pr3 x 0 r3))) (25 ((vvv x 25) (b0 pr32 x 0
r1) (b0 pr23 x 0 r2) (b0 pr1 x 0 r3))) (24 ((vvv x 24) (b0 
pr32 x 0 r1) (b0 pr23 x 0 r2) (b0 pr3 x 0 r3))) (23 ((vvv x
23) (b0 pr32 x 0 r1) (b0 pr25 x 0 r2) (b0 pr1 x 0 r3))) (22
((vvv x 22) (b0 pr32 x 0 r1) (b0 pr27 x 0 r2) (b0 pr1 x 0 r3
))) (21 ((vvv x 21) (b0 pr32 x 0 r1) (b0 pr30 x 0 r2) (b0 
pr1 x 0 r3))) (1 ((vvv x 1 v va) (b1 z x 0 r4 va) (b1 z x 0
r3 v) (b0 h0 x 0 r1) (b0 h0 x 0 r2))) (2 ((vvv x 2 v va) (b1
w x -1 r4 va) (b1 w x 1 r3 v) (b0 h0 x 0 r2) (b0 h0 x 0 r1))
) (3 ((vvv x 3 v va) (b1 z x 0 r3 va) (b1 z x 0 r2 v) (b0 h0
x 0 r1))) (4 ((vvv x 4 v va) (b1 w x -1 r3 va) (b1 w x 1 r2
v) (b0 h0 x 0 r1))) (5 ((vvv x 5 pa1 v va vb vc) (b1 w x 1 
r1 v) (b1 w x -1 r2 va) (b1 pa1 x 0 r4 vc) (b1 pa1 x 0 r3 vb
))) (6 ((vvv x 6 v va vb vc) (b1 w x 1 r1 v) (b1 w x -1 r2 
va) (b1 p x 0 r4 vc) (b1 z x 0 r3 vb))) (7 ((vvv x 7 v va vb
vc) (b1 w x -1 r4 vc) (b1 w x -1 r3 vb) (b1 w x 1 r2 va) (b1
w x 1 r1 v))) (8 ((vvv x 8 l pa1 pa3 v) (psi pa3 x -1 r1 id1
) (psi pa3 x 1 r2 id1) (b1 pa1 x 0 r3 v))) (9 ((vvv x 9 l 
pa5 pa4 v) (psi pa4 x -1 r1 id1) (psi pa5 x 1 r2 id1) (b1 w
x -1 r3 v))) (10 ((vvv x 10 l pa4 pa5 v) (psi pa5 x -1 r1 
id1) (psi pa4 x 1 r2 id1) (b1 w x 1 r3 v))) (11 ((vvv x 11 
pa1 v va vb r1 r2 r3) (b1 w x 1 r1 va) (b1 w x -1 r2 vb) (b1
pa1 x 0 r3 v))) (12 ((vvv x 12 l pa2) (psi pa2 x -1 r1 id1)
(psi pa2 x 1 r2 id1) (b0 h0 x 0 r3))) (13 ((vvv x 13) (b0 h0
x 0 r4) (b0 h0 x 0 r3) (b0 h0 x 0 r2) (b0 h0 x 0 r1))) (14 (
(vvv x 14) (b0 h0 x 0 r3) (b0 h0 x 0 r2) (b0 h0 x 0 r1))) (
20 ((vvv x 20 l v) (b1 pr33 x 0 r1 v) (psi ef x -1 r2) (psi
ef x 1 r3))) (19 ((vvv x 19 l v) (b1 pr16 x 0 r1 v) (psi ef
x -1 r2) (psi ef x 1 r3))) (18 ((vvv x 18 l v) (b1 pr14 x 0
r1 v) (psi ef x -1 r2) (psi ef x 1 r3))) (17 ((vvv x 17 l v)
(b1 pr9 x 0 r1 v) (psi ef x -1 r2) (psi ef x 1 r3))) (16 ((
vvv x 16 l v) (b1 pr6 x 0 r1 v) (psi ef x -1 r2) (psi ef x 1
r3))) (15 ((vvv x 15 l v) (b1 pr5 x 0 r1 v) (psi ef x -1 r2)
(psi ef x 1 r3))))
 $
htionlist:='((g (1 477 476 475 474 473 472 471 470 469 468 
467 466 465 464 463 462 461 460 459 458 457 456 455 454 453
452 451 450 449 448 447 446 445 444 443 442 441 440 439 438
437 436 435 434 433 432 431 430 429 428 427 426 425 424 423
422 421 420 419 418 417 416 415 414 413 412 411 410 409 408
407 406 405 404 403 402 401 400 399 398 397 396 395 394 393
392 391 390 389 388 387 386 385 384 383 382 381 380 379 378
377 376 375 374 373 372 371 370 369 368 367 366 365 364 363
362 361 360 359 358 357 356 355 354 353 352 351 350 349 348
347 346 345 344 343 342 341 340 339 338 337 336 335 334 333
332 331 330 329 328 327 326 325 324 323 322 321 320 319 318
317 316 315 314 313 312 311 310 309 308 307 306 305 304 303
302 301 300 299 298 297 296 295 294 293 292 291 290 289 288
287 286 285 284 283 282 281 280 279 278 277 276 275 274 273
272 271 270 269 268 267 266 265 264 263 262 261 260 259 258
257 256 255 254 253 252 251 250 249 248 247 246 245 244 243
242 241 240 239 238 237 236 235 234 233 232 231 230 229 228
227 226 225 224 223 222 221 220 219 218 217 216 215 214 213
212 211 210 209 208 207 206 205 204 203 202 201 200 199 198
197 196 195 194 193 192 191 190 189 188 187 186 185 184 183
182 181 180 179 178 177 176 175 174 173 172 171 170 169 168
167 166 165 164 163 162 161 160 159 158 157 156 155 154 153
152 151 150 149 148 147 146 145 144 143 142 141 140 139 138
137 136 135 134 133 132 131 130 129 128 127 126 125 124 123
122 121 120 119 118 117 116 115 114 113 112 111 110 109 108
107 106 105 104 103 102 101 100 99 98 97 96 95 94 93 92 91 
90 89 88 87 86 85 84 83 82 81 80 79 78 77 76 75 74 73 72 71
70 69 68 67 66 65 64 63 62 61 60 59 58 57 56 55 54 53 52 51
50 49 48 47 46 45 44 43 42 41 40 39 38 37 36 35 34 33 32 31
30 29 28 27 26 25 24 23 22 21 3 4 8 9 10 11 12 14 20 19 18 
17 16 15) (2 1 2 5 6 7 13)))
 $
couplist:='(g3 g)
 $
maslist2:='((gsg mgsg 0) (z zm (quotient wm (cos theta))) (
gs mgs 0))
 $
paramlist:='(((c 0 1) (quotient (expt hm 2) 2)) ((c 0 5) (
quotient (minus (times (expt g 2) (expt hm 2))) (times 8 (
expt wm 2)))) (wangm3 (quotient (times (sqrt 2) fmb g) (
times 2 wm))) (wangm2 (quotient (times (sqrt 2) fms g) (
times 2 wm))) (wangm1 (quotient (times (sqrt 2) fmd g) (
times 2 wm))) (wangm6 (quotient (times (sqrt 2) fmtau g) (
times 2 wm))) (wangm5 (quotient (times (sqrt 2) fmmu g) (
times 2 wm))) (wangm4 (quotient (times (sqrt 2) fme g) (
times 2 wm))) (wangm9 (quotient (times (sqrt 2) fmt g) (
times 2 wm))) (wangm8 (quotient (times (sqrt 2) fmc g) (
times 2 wm))) (wangm7 (quotient (times (sqrt 2) fmu g) (
times 2 wm))) (v0 (quotient (times 2 wm) g)))
 $
phyinput:='(p1m w1d 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 g3 g theta wm hm fme fmmu fmtau fmd fmu fms 
fmc fmb fmt)
 $
colorlist:='(pa6 pa4 pa5 pa2 pa3 qd qs qb qu qc qt gs)
 $
hnsuml:='(pr33 pr32 pr31 pr30 pr29 pr28 pr27 pr26 pr25 pr24
pr23 pr22 pr21 pr20 pr19 pr18 pr17 pr16 pr15 pr14 pr13 pr12
pr11 pr10 pr9 pr8 pr7 pr6 pr5 pr4 pr3 pr2 pr1 h0 gsg w gs)
 $
hsuml:='(pa3 pa2 pa5 pa4 pa6 pa1)
 $
hparameter:='((spacetime x) (sum pa3 pa2 pa5 pa4 pa6 pa1) (
nsum pr33 pr32 pr31 pr30 pr29 pr28 pr27 pr26 pr25 pr24 pr23
pr22 pr21 pr20 pr19 pr18 pr17 pr16 pr15 pr14 pr13 pr12 pr11
pr10 pr9 pr8 pr7 pr6 pr5 pr4 pr3 pr2 pr1 h0 gsg w gs) (
single p z qt qc qu qb qs qd nut numu nue tau mu ef) (index3
ic1 ic2 ic3 ic4 ic5) (index2 id1 id2) (index1 v va vb vc vd
vf va1 va2))
 $
pnametype:='(sum nsum single)
 $
hway:='(number dotnumber wayorder nameorder dotnameorder)
 $
hparaway:='((index3 wayorder) (index2 wayorder) (index1 
wayorder) (spacetime number) (sum dotnumber) (nsum 
dotwayorder) (single mdotnumber))
 $
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))
 $
hpindex:='(spacetime indices sum)
 $
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 gs w z p 
gsg h0 qb qs qd qt qc qu tau mu ef nut numu nue)
 $
rangetable:='((pa5 pa6 1) (pa2 pa6 1) (pa2 pa4 1) (pa5 pa2 
pa6) (pa3 pa6 1) (pa3 pa4 1) (pa3 pa5 1) (pa3 pa2 1))
 $
hconstr:='((((0 pa3 pa1) (1 z nut numu nue) (2 pa3 z) (2 pa2
p) (1 pa1 pa2 qt qc qu qb qs qd tau mu ef pa4 pa6)) 8) (((0
pa5 pa4) (0 tau nut) (0 mu numu) (0 ef nue) (0 qb qt) (0 qs
qc) (0 qd qu)) 9 10))
 $
hconstr1:='(((pa3 pa1) 8) ((pa5 pa4) 9 10))
 $
patable1:='((b1 s11) (b1 s1) (b0 s0) (psi sf) (b2 s2) (b4 s4
) (b3 s3))
 $
end;
 $
