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

weak interaction ") )
 $
delta_qnumber_list:='nil
 $
pa_decay_list:='((pr18 (239 (pr3 pr1) 2) (238 (pr3 pr1) 1))
(pr19 (219 (pr2 pr1) 2) (218 (pr2 pr1) 1)) (pr6 (215 (pr19 
pr1) 1) (214 (pr19 pr1) 2) (103 (pr3 pr1) 2) (102 (pr3 pr1)
1)) (pr7 (440 (pr19 pr1) 1) (439 (pr19 pr1) 2) (275 (pr3 pr1
) 2) (274 (pr3 pr1) 1)) (pr8 (213 (pr19 pr1) 1) (212 (pr19 
pr1) 2) (98 (pr3 pr1) 2) (97 (pr3 pr1) 1)) (pr20 (429 (pr19
pr1) 2) (428 (pr19 pr1) 1) (195 (pr3 pr1) 2) (194 (pr3 pr1)
1)) (pr21 (425 (pr18 pr1) 2) (424 (pr18 pr1) 1) (187 (pr2 
pr1) 2) (186 (pr2 pr1) 1) (183 (pr6 pr1) 2) (182 (pr6 pr1) 1
)) (pr22 (207 (pr19 pr1) 1) (206 (pr19 pr1) 2) (84 (pr3 pr1)
2) (83 (pr3 pr1) 1)) (pr23 (227 (pr18 pr1) 1) (226 (pr18 pr1
) 2) (82 (pr2 pr1) 2) (81 (pr2 pr1) 1) (78 (pr6 pr1) 2) (77
(pr6 pr1) 1)) (pr9 (211 (pr19 pr1) 1) (210 (pr19 pr1) 2) (92
(pr3 pr1) 2) (91 (pr3 pr1) 1)) (pr10 (553 (pr19 pr1) 2) (552
(pr19 pr1) 1) (371 (pr3 pr1) 2) (370 (pr3 pr1) 1)) (pr11 (
545 (pr19 pr1) 2) (544 (pr19 pr1) 1) (363 (pr3 pr1) 2) (362
(pr3 pr1) 1)) (pr12 (438 (pr19 pr1) 1) (437 (pr19 pr1) 2) (
263 (pr3 pr1) 2) (262 (pr3 pr1) 1)) (pr24 (419 (pr19 pr1) 2)
(418 (pr19 pr1) 1) (173 (pr3 pr1) 2) (172 (pr3 pr1) 1)) (
pr25 (417 (pr7 pr1) 2) (416 (pr7 pr1) 1) (413 (pr18 pr1) 2)
(412 (pr18 pr1) 1) (167 (pr2 pr1) 2) (166 (pr2 pr1) 1) (163
(pr6 pr1) 2) (162 (pr6 pr1) 1) (161 (pr8 pr1) 2) (160 (pr8 
pr1) 1)) (pr13 (209 (pr19 pr1) 1) (208 (pr19 pr1) 2) (88 (
pr3 pr1) 2) (87 (pr3 pr1) 1)) (pr14 (436 (pr19 pr1) 1) (435
(pr19 pr1) 2) (255 (pr3 pr1) 2) (254 (pr3 pr1) 1)) (pr26 (
203 (pr19 pr1) 1) (202 (pr19 pr1) 2) (181 (pr21 pr1) 1) (180
(pr21 pr1) 2) (74 (pr3 pr1) 2) (73 (pr3 pr1) 1)) (pr27 (271
(pr7 pr1) 1) (270 (pr7 pr1) 2) (225 (pr18 pr1) 1) (224 (pr18
pr1) 2) (193 (pr20 pr1) 1) (192 (pr20 pr1) 2) (72 (pr2 pr1)
2) (71 (pr2 pr1) 1) (68 (pr6 pr1) 2) (67 (pr6 pr1) 1) (66 (
pr8 pr1) 2) (65 (pr8 pr1) 1)) (pr15 (434 (pr19 pr1) 1) (433
(pr19 pr1) 2) (427 (pr21 pr1) 1) (426 (pr21 pr1) 2) (415 (
pr25 pr1) 1) (414 (pr25 pr1) 2) (247 (pr3 pr1) 2) (246 (pr3
pr1) 1) (245 (pr23 pr1) 2) (244 (pr23 pr1) 1) (243 (pr27 pr1
) 2) (242 (pr27 pr1) 1)) (pr28 (201 (pr19 pr1) 1) (200 (pr19
pr1) 2) (179 (pr21 pr1) 1) (178 (pr21 pr1) 2) (159 (pr25 pr1
) 1) (158 (pr25 pr1) 2) (62 (pr3 pr1) 2) (61 (pr3 pr1) 1) (
60 (pr23 pr1) 2) (59 (pr23 pr1) 1) (58 (pr27 pr1) 2) (57 (
pr27 pr1) 1)) (pr29 (369 (pr10 pr1) 1) (368 (pr10 pr1) 2) (
361 (pr11 pr1) 1) (360 (pr11 pr1) 2) (269 (pr7 pr1) 1) (268
(pr7 pr1) 2) (261 (pr12 pr1) 1) (260 (pr12 pr1) 2) (253 (
pr14 pr1) 1) (252 (pr14 pr1) 2) (223 (pr18 pr1) 1) (222 (
pr18 pr1) 2) (191 (pr20 pr1) 1) (190 (pr20 pr1) 2) (171 (
pr24 pr1) 1) (170 (pr24 pr1) 2) (56 (pr2 pr1) 2) (55 (pr2 
pr1) 1) (52 (pr6 pr1) 2) (51 (pr6 pr1) 1) (50 (pr8 pr1) 2) (
49 (pr8 pr1) 1) (48 (pr9 pr1) 2) (47 (pr9 pr1) 1) (46 (pr13
pr1) 2) (45 (pr13 pr1) 1) (44 (pr22 pr1) 2) (43 (pr22 pr1) 1
) (42 (pr26 pr1) 2) (41 (pr26 pr1) 1)) (pr30 (533 (pr19 pr1)
2) (532 (pr19 pr1) 1) (531 (pr21 pr1) 2) (530 (pr21 pr1) 1)
(529 (pr25 pr1) 2) (528 (pr25 pr1) 1) (347 (pr3 pr1) 2) (346
(pr3 pr1) 1) (345 (pr23 pr1) 2) (344 (pr23 pr1) 1) (343 (
pr27 pr1) 2) (342 (pr27 pr1) 1)) (pr31 (591 (pr10 pr1) 2) (
590 (pr10 pr1) 1) (589 (pr11 pr1) 2) (588 (pr11 pr1) 1) (527
(pr7 pr1) 2) (526 (pr7 pr1) 1) (525 (pr12 pr1) 2) (524 (pr12
pr1) 1) (523 (pr14 pr1) 2) (522 (pr14 pr1) 1) (521 (pr18 pr1
) 2) (520 (pr18 pr1) 1) (519 (pr20 pr1) 2) (518 (pr20 pr1) 1
) (517 (pr24 pr1) 2) (516 (pr24 pr1) 1) (341 (pr2 pr1) 2) (
340 (pr2 pr1) 1) (337 (pr6 pr1) 2) (336 (pr6 pr1) 1) (335 (
pr8 pr1) 2) (334 (pr8 pr1) 1) (333 (pr9 pr1) 2) (332 (pr9 
pr1) 1) (331 (pr13 pr1) 2) (330 (pr13 pr1) 1) (329 (pr22 pr1
) 2) (328 (pr22 pr1) 1) (327 (pr26 pr1) 2) (326 (pr26 pr1) 1
)) (pr32 (199 (pr19 pr1) 1) (198 (pr19 pr1) 2) (177 (pr21 
pr1) 1) (176 (pr21 pr1) 2) (157 (pr25 pr1) 1) (156 (pr25 pr1
) 2) (38 (pr3 pr1) 2) (37 (pr3 pr1) 1) (36 (pr23 pr1) 2) (35
(pr23 pr1) 1) (34 (pr27 pr1) 2) (33 (pr27 pr1) 1)) (pr33 (
367 (pr10 pr1) 1) (366 (pr10 pr1) 2) (359 (pr11 pr1) 1) (358
(pr11 pr1) 2) (267 (pr7 pr1) 1) (266 (pr7 pr1) 2) (259 (pr12
pr1) 1) (258 (pr12 pr1) 2) (251 (pr14 pr1) 1) (250 (pr14 pr1
) 2) (221 (pr18 pr1) 1) (220 (pr18 pr1) 2) (189 (pr20 pr1) 1
) (188 (pr20 pr1) 2) (169 (pr24 pr1) 1) (168 (pr24 pr1) 2) (
32 (pr2 pr1) 2) (31 (pr2 pr1) 1) (28 (pr6 pr1) 2) (27 (pr6 
pr1) 1) (26 (pr8 pr1) 2) (25 (pr8 pr1) 1) (24 (pr9 pr1) 2) (
23 (pr9 pr1) 1) (22 (pr13 pr1) 2) (21 (pr13 pr1) 1) (20 (
pr22 pr1) 2) (19 (pr22 pr1) 1) (18 (pr26 pr1) 2) (17 (pr26 
pr1) 1)) (pr34 (409 (pr19 pr1) 2) (408 (pr19 pr1) 1) (407 (
pr21 pr1) 2) (406 (pr21 pr1) 1) (405 (pr25 pr1) 2) (404 (
pr25 pr1) 1) (153 (pr3 pr1) 2) (152 (pr3 pr1) 1) (151 (pr23
pr1) 2) (150 (pr23 pr1) 1) (149 (pr27 pr1) 2) (148 (pr27 pr1
) 1)) (pr35 (551 (pr10 pr1) 1) (550 (pr10 pr1) 2) (543 (pr11
pr1) 1) (542 (pr11 pr1) 2) (403 (pr7 pr1) 2) (402 (pr7 pr1)
1) (401 (pr12 pr1) 2) (400 (pr12 pr1) 1) (399 (pr14 pr1) 2)
(398 (pr14 pr1) 1) (397 (pr18 pr1) 2) (396 (pr18 pr1) 1) (
395 (pr20 pr1) 2) (394 (pr20 pr1) 1) (393 (pr24 pr1) 2) (392
(pr24 pr1) 1) (147 (pr2 pr1) 2) (146 (pr2 pr1) 1) (143 (pr6
pr1) 2) (142 (pr6 pr1) 1) (141 (pr8 pr1) 2) (140 (pr8 pr1) 1
) (139 (pr9 pr1) 2) (138 (pr9 pr1) 1) (137 (pr13 pr1) 2) (
136 (pr13 pr1) 1) (135 (pr22 pr1) 2) (134 (pr22 pr1) 1) (133
(pr26 pr1) 2) (132 (pr26 pr1) 1)) (pr36 (515 (pr19 pr1) 2) (
514 (pr19 pr1) 1) (513 (pr21 pr1) 2) (512 (pr21 pr1) 1) (511
(pr25 pr1) 2) (510 (pr25 pr1) 1) (323 (pr3 pr1) 2) (322 (pr3
pr1) 1) (321 (pr23 pr1) 2) (320 (pr23 pr1) 1) (319 (pr27 pr1
) 2) (318 (pr27 pr1) 1)) (pr37 (587 (pr10 pr1) 2) (586 (pr10
pr1) 1) (585 (pr11 pr1) 2) (584 (pr11 pr1) 1) (509 (pr7 pr1)
2) (508 (pr7 pr1) 1) (507 (pr12 pr1) 2) (506 (pr12 pr1) 1) (
505 (pr14 pr1) 2) (504 (pr14 pr1) 1) (503 (pr18 pr1) 2) (502
(pr18 pr1) 1) (501 (pr20 pr1) 2) (500 (pr20 pr1) 1) (499 (
pr24 pr1) 2) (498 (pr24 pr1) 1) (317 (pr2 pr1) 2) (316 (pr2
pr1) 1) (313 (pr6 pr1) 2) (312 (pr6 pr1) 1) (311 (pr8 pr1) 2
) (310 (pr8 pr1) 1) (309 (pr9 pr1) 2) (308 (pr9 pr1) 1) (307
(pr13 pr1) 2) (306 (pr13 pr1) 1) (305 (pr22 pr1) 2) (304 (
pr22 pr1) 1) (303 (pr26 pr1) 2) (302 (pr26 pr1) 1)) (pr38 (
391 (pr19 pr1) 2) (390 (pr19 pr1) 1) (389 (pr21 pr1) 2) (388
(pr21 pr1) 1) (387 (pr25 pr1) 2) (386 (pr25 pr1) 1) (129 (
pr3 pr1) 2) (128 (pr3 pr1) 1) (127 (pr23 pr1) 2) (126 (pr23
pr1) 1) (125 (pr27 pr1) 2) (124 (pr27 pr1) 1)) (pr39 (549 (
pr10 pr1) 1) (548 (pr10 pr1) 2) (541 (pr11 pr1) 1) (540 (
pr11 pr1) 2) (385 (pr7 pr1) 2) (384 (pr7 pr1) 1) (383 (pr12
pr1) 2) (382 (pr12 pr1) 1) (381 (pr14 pr1) 2) (380 (pr14 pr1
) 1) (379 (pr18 pr1) 2) (378 (pr18 pr1) 1) (377 (pr20 pr1) 2
) (376 (pr20 pr1) 1) (375 (pr24 pr1) 2) (374 (pr24 pr1) 1) (
123 (pr2 pr1) 2) (122 (pr2 pr1) 1) (119 (pr6 pr1) 2) (118 (
pr6 pr1) 1) (117 (pr8 pr1) 2) (116 (pr8 pr1) 1) (115 (pr9 
pr1) 2) (114 (pr9 pr1) 1) (113 (pr13 pr1) 2) (112 (pr13 pr1)
1) (111 (pr22 pr1) 2) (110 (pr22 pr1) 1) (109 (pr26 pr1) 2)
(108 (pr26 pr1) 1)) (pr40 (573 (pr19 pr1) 2) (572 (pr19 pr1)
1) (571 (pr21 pr1) 2) (570 (pr21 pr1) 1) (569 (pr25 pr1) 2)
(568 (pr25 pr1) 1) (469 (pr3 pr1) 2) (468 (pr3 pr1) 1) (467
(pr23 pr1) 2) (466 (pr23 pr1) 1) (465 (pr27 pr1) 2) (464 (
pr27 pr1) 1)) (pr41 (597 (pr10 pr1) 2) (596 (pr10 pr1) 1) (
595 (pr11 pr1) 2) (594 (pr11 pr1) 1) (567 (pr7 pr1) 2) (566
(pr7 pr1) 1) (565 (pr12 pr1) 2) (564 (pr12 pr1) 1) (563 (
pr14 pr1) 2) (562 (pr14 pr1) 1) (561 (pr18 pr1) 2) (560 (
pr18 pr1) 1) (559 (pr20 pr1) 2) (558 (pr20 pr1) 1) (557 (
pr24 pr1) 2) (556 (pr24 pr1) 1) (463 (pr2 pr1) 2) (462 (pr2
pr1) 1) (459 (pr6 pr1) 2) (458 (pr6 pr1) 1) (457 (pr8 pr1) 2
) (456 (pr8 pr1) 1) (455 (pr9 pr1) 2) (454 (pr9 pr1) 1) (453
(pr13 pr1) 2) (452 (pr13 pr1) 1) (451 (pr22 pr1) 2) (450 (
pr22 pr1) 1) (449 (pr26 pr1) 2) (448 (pr26 pr1) 1)) (pr16 (
579 (pr19 pr1) 2) (578 (pr19 pr1) 1) (577 (pr21 pr1) 2) (576
(pr21 pr1) 1) (575 (pr25 pr1) 2) (574 (pr25 pr1) 1) (477 (
pr3 pr1) 2) (476 (pr3 pr1) 1) (475 (pr23 pr1) 2) (474 (pr23
pr1) 1) (473 (pr27 pr1) 2) (472 (pr27 pr1) 1)) (pr17 (539 (
pr19 pr1) 2) (538 (pr19 pr1) 1) (537 (pr21 pr1) 2) (536 (
pr21 pr1) 1) (535 (pr25 pr1) 2) (534 (pr25 pr1) 1) (355 (pr3
pr1) 2) (354 (pr3 pr1) 1) (353 (pr23 pr1) 2) (352 (pr23 pr1)
1) (351 (pr27 pr1) 2) (350 (pr27 pr1) 1)) (pr42 (497 (pr19 
pr1) 2) (496 (pr19 pr1) 1) (495 (pr21 pr1) 2) (494 (pr21 pr1
) 1) (493 (pr25 pr1) 2) (492 (pr25 pr1) 1) (299 (pr3 pr1) 2)
(298 (pr3 pr1) 1) (297 (pr23 pr1) 2) (296 (pr23 pr1) 1) (295
(pr27 pr1) 2) (294 (pr27 pr1) 1)) (pr43 (583 (pr10 pr1) 2) (
582 (pr10 pr1) 1) (581 (pr11 pr1) 2) (580 (pr11 pr1) 1) (491
(pr7 pr1) 2) (490 (pr7 pr1) 1) (489 (pr12 pr1) 2) (488 (pr12
pr1) 1) (487 (pr14 pr1) 2) (486 (pr14 pr1) 1) (485 (pr18 pr1
) 2) (484 (pr18 pr1) 1) (483 (pr20 pr1) 2) (482 (pr20 pr1) 1
) (481 (pr24 pr1) 2) (480 (pr24 pr1) 1) (293 (pr2 pr1) 2) (
292 (pr2 pr1) 1) (289 (pr6 pr1) 2) (288 (pr6 pr1) 1) (287 (
pr8 pr1) 2) (286 (pr8 pr1) 1) (285 (pr9 pr1) 2) (284 (pr9 
pr1) 1) (283 (pr13 pr1) 2) (282 (pr13 pr1) 1) (281 (pr22 pr1
) 2) (280 (pr22 pr1) 1) (279 (pr26 pr1) 2) (278 (pr26 pr1) 1
)) (pr4 (593 (pr3 pr2) 2) (592 (pr3 pr2) 1)) (pr5 (555 (pr10
pr18) 2) (554 (pr10 pr18) 2) (547 (pr11 pr18) 2) (546 (pr11
pr18) 2) (479 (pr16 pr2) 2) (478 (pr16 pr2) 2) (471 (pr40 
pr2) 2) (470 (pr40 pr2) 2) (461 (pr41 pr3) 2) (460 (pr41 pr3
) 2) (447 (pr18 pr7) 2) (446 (pr18 pr7) 2) (445 (pr18 pr12)
2) (444 (pr18 pr12) 2) (443 (pr18 pr14) 2) (442 (pr18 pr14)
2) (441 (pr18 pr18) 2) (432 (pr19 pr19) 2) (431 (pr20 pr18)
2) (430 (pr20 pr18) 2) (423 (pr21 pr19) 2) (422 (pr21 pr19)
2) (421 (pr24 pr18) 2) (420 (pr24 pr18) 2) (411 (pr25 pr19)
2) (410 (pr25 pr19) 2) (373 (pr10 pr2) 2) (372 (pr10 pr2) 2)
(365 (pr11 pr2) 2) (364 (pr11 pr2) 2) (357 (pr17 pr2) 2) (
356 (pr17 pr2) 2) (349 (pr30 pr2) 2) (348 (pr30 pr2) 2) (339
(pr31 pr3) 2) (338 (pr31 pr3) 2) (325 (pr36 pr2) 2) (324 (
pr36 pr2) 2) (315 (pr37 pr3) 2) (314 (pr37 pr3) 2) (301 (
pr42 pr2) 2) (300 (pr42 pr2) 2) (291 (pr43 pr3) 2) (290 (
pr43 pr3) 2) (277 (pr7 pr2) 2) (276 (pr7 pr2) 2) (273 (pr7 
pr6) 2) (272 (pr7 pr6) 2) (265 (pr12 pr2) 2) (264 (pr12 pr2)
2) (257 (pr14 pr2) 2) (256 (pr14 pr2) 2) (249 (pr15 pr2) 2)
(248 (pr15 pr2) 2) (241 (pr18 pr2) 2) (240 (pr18 pr2) 2) (
237 (pr18 pr6) 2) (236 (pr18 pr6) 2) (235 (pr18 pr8) 2) (234
(pr18 pr8) 2) (233 (pr18 pr9) 2) (232 (pr18 pr9) 2) (231 (
pr18 pr13) 2) (230 (pr18 pr13) 2) (229 (pr18 pr22) 2) (228 (
pr18 pr22) 2) (217 (pr19 pr3) 2) (216 (pr19 pr3) 2) (205 (
pr19 pr23) 2) (204 (pr19 pr23) 2) (197 (pr20 pr2) 2) (196 (
pr20 pr2) 2) (185 (pr21 pr3) 2) (184 (pr21 pr3) 2) (175 (
pr24 pr2) 2) (174 (pr24 pr2) 2) (165 (pr25 pr3) 2) (164 (
pr25 pr3) 2) (155 (pr34 pr2) 2) (154 (pr34 pr2) 2) (145 (
pr35 pr3) 2) (144 (pr35 pr3) 2) (131 (pr38 pr2) 2) (130 (
pr38 pr2) 2) (121 (pr39 pr3) 2) (120 (pr39 pr3) 2) (107 (pr2
pr2) 2) (106 (pr3 pr3) 2) (105 (pr6 pr2) 2) (104 (pr6 pr2) 2
) (101 (pr6 pr6) 2) (100 (pr8 pr2) 2) (99 (pr8 pr2) 2) (96 (
pr8 pr6) 2) (95 (pr8 pr6) 2) (94 (pr9 pr2) 2) (93 (pr9 pr2)
2) (90 (pr13 pr2) 2) (89 (pr13 pr2) 2) (86 (pr22 pr2) 2) (85
(pr22 pr2) 2) (80 (pr23 pr3) 2) (79 (pr23 pr3) 2) (76 (pr26
pr2) 2) (75 (pr26 pr2) 2) (70 (pr27 pr3) 2) (69 (pr27 pr3) 2
) (64 (pr28 pr2) 2) (63 (pr28 pr2) 2) (54 (pr29 pr3) 2) (53
(pr29 pr3) 2) (40 (pr32 pr2) 2) (39 (pr32 pr2) 2) (30 (pr33
pr3) 2) (29 (pr33 pr3) 2) (16 (pr4 pr1) 2) (15 (pr4 pr1) 2))
)
 $
two_pa_vertex_list:='nil
 $
stable_pal0:='(p nut numu nue ef qu qd qs mu pr1 pr2 pr3 qc
pr18 pr19 pr6 pr7 pr8 pr20 pr21 pr22 pr23 pr9 pr10 pr11 pr12
pr24 pr25 pr13 pr14 pr26 pr27 tau pr15 pr28 pr29 pr30 pr31 
pr32 pr33 pr34 pr35 pr36 pr37 pr38 pr39 pr40 pr41 pr16 pr17
pr42 pr43 pr4 pr5 qb w qt)
 $
mass_order_list:='(h0 qt z w qb pr5 pr4 pr43 pr42 pr17 pr16
pr41 pr40 pr39 pr38 pr37 pr36 pr35 pr34 pr33 pr32 pr31 pr30
pr29 pr28 pr15 tau pr27 pr26 pr14 pr13 pr25 pr24 pr12 pr11 
pr10 pr9 pr23 pr22 pr21 pr20 pr8 pr7 pr6 pr19 pr18 qc pr3 
pr2 pr1 mu qs qd qu ef nue numu nut gsg p gs)
 $
pal_order_list:='(pr1 pr5 pr3 pr2 pr19 pr18 pr6 pr27 pr25 
pr21 pr33 pr29 pr23 pr39 pr35 pr43 pr37 pr31 pr41 pr8 pr7 
pr20 pr26 pr22 pr13 pr9 pr24 pr14 pr12 pr11 pr10 pr32 pr28 
pr38 pr34 pr15 pr42 pr36 pr30 pr17 pr40 pr16 w h0 pr4 pa1 z
pa5 pa4 p pa2 pa3)
 $
v_pal_list:='((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)) (15 (pr4 1 0) (pr5 -1 1
) (pr1 0 1)) (16 (pr1 1 0) (pr5 -1 1) (pr4 0 1)) (17 (pr33 1
0) (pr26 0 1) (pr1 1 0)) (18 (pr1 0 1) (pr26 1 0) (pr33 0 1)
) (19 (pr33 1 0) (pr22 0 1) (pr1 1 0)) (20 (pr1 0 1) (pr22 1
0) (pr33 0 1)) (21 (pr33 1 0) (pr13 0 1) (pr1 1 0)) (22 (pr1
0 1) (pr13 1 0) (pr33 0 1)) (23 (pr33 1 0) (pr9 0 1) (pr1 1
0)) (24 (pr1 0 1) (pr9 1 0) (pr33 0 1)) (25 (pr33 1 0) (pr8
0 1) (pr1 1 0)) (26 (pr1 0 1) (pr8 1 0) (pr33 0 1)) (27 (
pr33 1 0) (pr6 0 1) (pr1 1 0)) (28 (pr1 0 1) (pr6 1 0) (pr33
0 1)) (29 (pr33 1 0) (pr3 0 1) (pr5 -1 1)) (30 (pr5 -1 1) (
pr3 1 0) (pr33 0 1)) (31 (pr33 1 0) (pr2 0 1) (pr1 1 0)) (32
(pr1 0 1) (pr2 1 0) (pr33 0 1)) (33 (pr32 1 0) (pr27 0 1) (
pr1 0 1)) (34 (pr1 1 0) (pr27 1 0) (pr32 0 1)) (35 (pr32 1 0
) (pr23 0 1) (pr1 0 1)) (36 (pr1 1 0) (pr23 1 0) (pr32 0 1))
(37 (pr32 1 0) (pr3 0 1) (pr1 0 1)) (38 (pr1 1 0) (pr3 1 0)
(pr32 0 1)) (39 (pr32 1 0) (pr2 0 1) (pr5 -1 1)) (40 (pr5 -1
1) (pr2 1 0) (pr32 0 1)) (41 (pr29 1 0) (pr26 0 1) (pr1 1 0)
) (42 (pr1 0 1) (pr26 1 0) (pr29 0 1)) (43 (pr29 1 0) (pr22
0 1) (pr1 1 0)) (44 (pr1 0 1) (pr22 1 0) (pr29 0 1)) (45 (
pr29 1 0) (pr13 0 1) (pr1 1 0)) (46 (pr1 0 1) (pr13 1 0) (
pr29 0 1)) (47 (pr29 1 0) (pr9 0 1) (pr1 1 0)) (48 (pr1 0 1)
(pr9 1 0) (pr29 0 1)) (49 (pr29 1 0) (pr8 0 1) (pr1 1 0)) (
50 (pr1 0 1) (pr8 1 0) (pr29 0 1)) (51 (pr29 1 0) (pr6 0 1)
(pr1 1 0)) (52 (pr1 0 1) (pr6 1 0) (pr29 0 1)) (53 (pr29 1 0
) (pr3 0 1) (pr5 -1 1)) (54 (pr5 -1 1) (pr3 1 0) (pr29 0 1))
(55 (pr29 1 0) (pr2 0 1) (pr1 1 0)) (56 (pr1 0 1) (pr2 1 0)
(pr29 0 1)) (57 (pr28 1 0) (pr27 0 1) (pr1 0 1)) (58 (pr1 1
0) (pr27 1 0) (pr28 0 1)) (59 (pr28 1 0) (pr23 0 1) (pr1 0 1
)) (60 (pr1 1 0) (pr23 1 0) (pr28 0 1)) (61 (pr28 1 0) (pr3
0 1) (pr1 0 1)) (62 (pr1 1 0) (pr3 1 0) (pr28 0 1)) (63 (
pr28 1 0) (pr2 0 1) (pr5 -1 1)) (64 (pr5 -1 1) (pr2 1 0) (
pr28 0 1)) (65 (pr27 1 0) (pr8 0 1) (pr1 1 0)) (66 (pr1 0 1)
(pr8 1 0) (pr27 0 1)) (67 (pr27 1 0) (pr6 0 1) (pr1 1 0)) (
68 (pr1 0 1) (pr6 1 0) (pr27 0 1)) (69 (pr27 1 0) (pr3 0 1)
(pr5 -1 1)) (70 (pr5 -1 1) (pr3 1 0) (pr27 0 1)) (71 (pr27 1
0) (pr2 0 1) (pr1 1 0)) (72 (pr1 0 1) (pr2 1 0) (pr27 0 1))
(73 (pr26 1 0) (pr3 0 1) (pr1 0 1)) (74 (pr1 1 0) (pr3 1 0)
(pr26 0 1)) (75 (pr26 1 0) (pr2 0 1) (pr5 -1 1)) (76 (pr5 -1
1) (pr2 1 0) (pr26 0 1)) (77 (pr23 1 0) (pr6 0 1) (pr1 1 0))
(78 (pr1 0 1) (pr6 1 0) (pr23 0 1)) (79 (pr23 1 0) (pr3 0 1)
(pr5 -1 1)) (80 (pr5 -1 1) (pr3 1 0) (pr23 0 1)) (81 (pr23 1
0) (pr2 0 1) (pr1 1 0)) (82 (pr1 0 1) (pr2 1 0) (pr23 0 1))
(83 (pr22 1 0) (pr3 0 1) (pr1 0 1)) (84 (pr1 1 0) (pr3 1 0)
(pr22 0 1)) (85 (pr22 1 0) (pr2 0 1) (pr5 -1 1)) (86 (pr5 -1
1) (pr2 1 0) (pr22 0 1)) (87 (pr13 1 0) (pr3 0 1) (pr1 0 1))
(88 (pr1 1 0) (pr3 1 0) (pr13 0 1)) (89 (pr13 1 0) (pr2 0 1)
(pr5 -1 1)) (90 (pr5 -1 1) (pr2 1 0) (pr13 0 1)) (91 (pr9 1
0) (pr3 0 1) (pr1 0 1)) (92 (pr1 1 0) (pr3 1 0) (pr9 0 1)) (
93 (pr9 1 0) (pr2 0 1) (pr5 -1 1)) (94 (pr5 -1 1) (pr2 1 0)
(pr9 0 1)) (95 (pr8 1 0) (pr6 0 1) (pr5 -1 1)) (96 (pr5 -1 1
) (pr6 1 0) (pr8 0 1)) (97 (pr8 1 0) (pr3 0 1) (pr1 0 1)) (
98 (pr1 1 0) (pr3 1 0) (pr8 0 1)) (99 (pr8 1 0) (pr2 0 1) (
pr5 -1 1)) (100 (pr5 -1 1) (pr2 1 0) (pr8 0 1)) (101 (pr6 1
1) (pr5 -1 1)) (102 (pr6 1 0) (pr3 0 1) (pr1 0 1)) (103 (pr1
1 0) (pr3 1 0) (pr6 0 1)) (104 (pr6 1 0) (pr2 0 1) (pr5 -1 1
)) (105 (pr5 -1 1) (pr2 1 0) (pr6 0 1)) (106 (pr3 1 1) (pr5
-1 1)) (107 (pr2 1 1) (pr5 -1 1)) (108 (pr39 1 0) (pr26 0 1)
(pr1 1 0)) (109 (pr1 0 1) (pr26 1 0) (pr39 0 1)) (110 (pr39
1 0) (pr22 0 1) (pr1 1 0)) (111 (pr1 0 1) (pr22 1 0) (pr39 0
1)) (112 (pr39 1 0) (pr13 0 1) (pr1 1 0)) (113 (pr1 0 1) (
pr13 1 0) (pr39 0 1)) (114 (pr39 1 0) (pr9 0 1) (pr1 1 0)) (
115 (pr1 0 1) (pr9 1 0) (pr39 0 1)) (116 (pr39 1 0) (pr8 0 1
) (pr1 1 0)) (117 (pr1 0 1) (pr8 1 0) (pr39 0 1)) (118 (pr39
1 0) (pr6 0 1) (pr1 1 0)) (119 (pr1 0 1) (pr6 1 0) (pr39 0 1
)) (120 (pr39 1 0) (pr3 0 1) (pr5 -1 1)) (121 (pr5 -1 1) (
pr3 1 0) (pr39 0 1)) (122 (pr39 1 0) (pr2 0 1) (pr1 1 0)) (
123 (pr1 0 1) (pr2 1 0) (pr39 0 1)) (124 (pr38 1 0) (pr27 0
1) (pr1 0 1)) (125 (pr1 1 0) (pr27 1 0) (pr38 0 1)) (126 (
pr38 1 0) (pr23 0 1) (pr1 0 1)) (127 (pr1 1 0) (pr23 1 0) (
pr38 0 1)) (128 (pr38 1 0) (pr3 0 1) (pr1 0 1)) (129 (pr1 1
0) (pr3 1 0) (pr38 0 1)) (130 (pr38 1 0) (pr2 0 1) (pr5 -1 1
)) (131 (pr5 -1 1) (pr2 1 0) (pr38 0 1)) (132 (pr35 1 0) (
pr26 0 1) (pr1 1 0)) (133 (pr1 0 1) (pr26 1 0) (pr35 0 1)) (
134 (pr35 1 0) (pr22 0 1) (pr1 1 0)) (135 (pr1 0 1) (pr22 1
0) (pr35 0 1)) (136 (pr35 1 0) (pr13 0 1) (pr1 1 0)) (137 (
pr1 0 1) (pr13 1 0) (pr35 0 1)) (138 (pr35 1 0) (pr9 0 1) (
pr1 1 0)) (139 (pr1 0 1) (pr9 1 0) (pr35 0 1)) (140 (pr35 1
0) (pr8 0 1) (pr1 1 0)) (141 (pr1 0 1) (pr8 1 0) (pr35 0 1))
(142 (pr35 1 0) (pr6 0 1) (pr1 1 0)) (143 (pr1 0 1) (pr6 1 0
) (pr35 0 1)) (144 (pr35 1 0) (pr3 0 1) (pr5 -1 1)) (145 (
pr5 -1 1) (pr3 1 0) (pr35 0 1)) (146 (pr35 1 0) (pr2 0 1) (
pr1 1 0)) (147 (pr1 0 1) (pr2 1 0) (pr35 0 1)) (148 (pr34 1
0) (pr27 0 1) (pr1 0 1)) (149 (pr1 1 0) (pr27 1 0) (pr34 0 1
)) (150 (pr34 1 0) (pr23 0 1) (pr1 0 1)) (151 (pr1 1 0) (
pr23 1 0) (pr34 0 1)) (152 (pr34 1 0) (pr3 0 1) (pr1 0 1)) (
153 (pr1 1 0) (pr3 1 0) (pr34 0 1)) (154 (pr34 1 0) (pr2 0 1
) (pr5 -1 1)) (155 (pr5 -1 1) (pr2 1 0) (pr34 0 1)) (156 (
pr25 1 0) (pr32 0 1) (pr1 1 0)) (157 (pr1 0 1) (pr32 1 0) (
pr25 0 1)) (158 (pr25 1 0) (pr28 0 1) (pr1 1 0)) (159 (pr1 0
1) (pr28 1 0) (pr25 0 1)) (160 (pr25 1 0) (pr8 0 1) (pr1 1 0
)) (161 (pr1 0 1) (pr8 1 0) (pr25 0 1)) (162 (pr25 1 0) (pr6
0 1) (pr1 1 0)) (163 (pr1 0 1) (pr6 1 0) (pr25 0 1)) (164 (
pr25 1 0) (pr3 0 1) (pr5 -1 1)) (165 (pr5 -1 1) (pr3 1 0) (
pr25 0 1)) (166 (pr25 1 0) (pr2 0 1) (pr1 1 0)) (167 (pr1 0
1) (pr2 1 0) (pr25 0 1)) (168 (pr24 1 0) (pr33 0 1) (pr1 0 1
)) (169 (pr1 1 0) (pr33 1 0) (pr24 0 1)) (170 (pr24 1 0) (
pr29 0 1) (pr1 0 1)) (171 (pr1 1 0) (pr29 1 0) (pr24 0 1)) (
172 (pr24 1 0) (pr3 0 1) (pr1 0 1)) (173 (pr1 1 0) (pr3 1 0)
(pr24 0 1)) (174 (pr24 1 0) (pr2 0 1) (pr5 -1 1)) (175 (pr5
-1 1) (pr2 1 0) (pr24 0 1)) (176 (pr21 1 0) (pr32 0 1) (pr1
1 0)) (177 (pr1 0 1) (pr32 1 0) (pr21 0 1)) (178 (pr21 1 0)
(pr28 0 1) (pr1 1 0)) (179 (pr1 0 1) (pr28 1 0) (pr21 0 1))
(180 (pr21 1 0) (pr26 0 1) (pr1 1 0)) (181 (pr1 0 1) (pr26 1
0) (pr21 0 1)) (182 (pr21 1 0) (pr6 0 1) (pr1 1 0)) (183 (
pr1 0 1) (pr6 1 0) (pr21 0 1)) (184 (pr21 1 0) (pr3 0 1) (
pr5 -1 1)) (185 (pr5 -1 1) (pr3 1 0) (pr21 0 1)) (186 (pr21
1 0) (pr2 0 1) (pr1 1 0)) (187 (pr1 0 1) (pr2 1 0) (pr21 0 1
)) (188 (pr20 1 0) (pr33 0 1) (pr1 0 1)) (189 (pr1 1 0) (
pr33 1 0) (pr20 0 1)) (190 (pr20 1 0) (pr29 0 1) (pr1 0 1))
(191 (pr1 1 0) (pr29 1 0) (pr20 0 1)) (192 (pr20 1 0) (pr27
0 1) (pr1 0 1)) (193 (pr1 1 0) (pr27 1 0) (pr20 0 1)) (194 (
pr20 1 0) (pr3 0 1) (pr1 0 1)) (195 (pr1 1 0) (pr3 1 0) (
pr20 0 1)) (196 (pr20 1 0) (pr2 0 1) (pr5 -1 1)) (197 (pr5 
-1 1) (pr2 1 0) (pr20 0 1)) (198 (pr19 1 0) (pr32 0 1) (pr1
1 0)) (199 (pr1 0 1) (pr32 1 0) (pr19 0 1)) (200 (pr19 1 0)
(pr28 0 1) (pr1 1 0)) (201 (pr1 0 1) (pr28 1 0) (pr19 0 1))
(202 (pr19 1 0) (pr26 0 1) (pr1 1 0)) (203 (pr1 0 1) (pr26 1
0) (pr19 0 1)) (204 (pr19 1 0) (pr23 0 1) (pr5 -1 1)) (205 (
pr5 -1 1) (pr23 1 0) (pr19 0 1)) (206 (pr19 1 0) (pr22 0 1)
(pr1 1 0)) (207 (pr1 0 1) (pr22 1 0) (pr19 0 1)) (208 (pr19
1 0) (pr13 0 1) (pr1 1 0)) (209 (pr1 0 1) (pr13 1 0) (pr19 0
1)) (210 (pr19 1 0) (pr9 0 1) (pr1 1 0)) (211 (pr1 0 1) (pr9
1 0) (pr19 0 1)) (212 (pr19 1 0) (pr8 0 1) (pr1 1 0)) (213 (
pr1 0 1) (pr8 1 0) (pr19 0 1)) (214 (pr19 1 0) (pr6 0 1) (
pr1 1 0)) (215 (pr1 0 1) (pr6 1 0) (pr19 0 1)) (216 (pr19 1
0) (pr3 0 1) (pr5 -1 1)) (217 (pr5 -1 1) (pr3 1 0) (pr19 0 1
)) (218 (pr19 1 0) (pr2 0 1) (pr1 1 0)) (219 (pr1 0 1) (pr2
1 0) (pr19 0 1)) (220 (pr18 1 0) (pr33 0 1) (pr1 0 1)) (221
(pr1 1 0) (pr33 1 0) (pr18 0 1)) (222 (pr18 1 0) (pr29 0 1)
(pr1 0 1)) (223 (pr1 1 0) (pr29 1 0) (pr18 0 1)) (224 (pr18
1 0) (pr27 0 1) (pr1 0 1)) (225 (pr1 1 0) (pr27 1 0) (pr18 0
1)) (226 (pr18 1 0) (pr23 0 1) (pr1 0 1)) (227 (pr1 1 0) (
pr23 1 0) (pr18 0 1)) (228 (pr18 1 0) (pr22 0 1) (pr5 -1 1))
(229 (pr5 -1 1) (pr22 1 0) (pr18 0 1)) (230 (pr18 1 0) (pr13
0 1) (pr5 -1 1)) (231 (pr5 -1 1) (pr13 1 0) (pr18 0 1)) (232
(pr18 1 0) (pr9 0 1) (pr5 -1 1)) (233 (pr5 -1 1) (pr9 1 0) (
pr18 0 1)) (234 (pr18 1 0) (pr8 0 1) (pr5 -1 1)) (235 (pr5 
-1 1) (pr8 1 0) (pr18 0 1)) (236 (pr18 1 0) (pr6 0 1) (pr5 
-1 1)) (237 (pr5 -1 1) (pr6 1 0) (pr18 0 1)) (238 (pr18 1 0)
(pr3 0 1) (pr1 0 1)) (239 (pr1 1 0) (pr3 1 0) (pr18 0 1)) (
240 (pr18 1 0) (pr2 0 1) (pr5 -1 1)) (241 (pr5 -1 1) (pr2 1
0) (pr18 0 1)) (242 (pr15 1 0) (pr27 0 1) (pr1 0 1)) (243 (
pr1 1 0) (pr27 1 0) (pr15 0 1)) (244 (pr15 1 0) (pr23 0 1) (
pr1 0 1)) (245 (pr1 1 0) (pr23 1 0) (pr15 0 1)) (246 (pr15 1
0) (pr3 0 1) (pr1 0 1)) (247 (pr1 1 0) (pr3 1 0) (pr15 0 1))
(248 (pr15 1 0) (pr2 0 1) (pr5 -1 1)) (249 (pr5 -1 1) (pr2 1
0) (pr15 0 1)) (250 (pr14 1 0) (pr33 0 1) (pr1 0 1)) (251 (
pr1 1 0) (pr33 1 0) (pr14 0 1)) (252 (pr14 1 0) (pr29 0 1) (
pr1 0 1)) (253 (pr1 1 0) (pr29 1 0) (pr14 0 1)) (254 (pr14 1
0) (pr3 0 1) (pr1 0 1)) (255 (pr1 1 0) (pr3 1 0) (pr14 0 1))
(256 (pr14 1 0) (pr2 0 1) (pr5 -1 1)) (257 (pr5 -1 1) (pr2 1
0) (pr14 0 1)) (258 (pr12 1 0) (pr33 0 1) (pr1 0 1)) (259 (
pr1 1 0) (pr33 1 0) (pr12 0 1)) (260 (pr12 1 0) (pr29 0 1) (
pr1 0 1)) (261 (pr1 1 0) (pr29 1 0) (pr12 0 1)) (262 (pr12 1
0) (pr3 0 1) (pr1 0 1)) (263 (pr1 1 0) (pr3 1 0) (pr12 0 1))
(264 (pr12 1 0) (pr2 0 1) (pr5 -1 1)) (265 (pr5 -1 1) (pr2 1
0) (pr12 0 1)) (266 (pr7 1 0) (pr33 0 1) (pr1 0 1)) (267 (
pr1 1 0) (pr33 1 0) (pr7 0 1)) (268 (pr7 1 0) (pr29 0 1) (
pr1 0 1)) (269 (pr1 1 0) (pr29 1 0) (pr7 0 1)) (270 (pr7 1 0
) (pr27 0 1) (pr1 0 1)) (271 (pr1 1 0) (pr27 1 0) (pr7 0 1))
(272 (pr7 1 0) (pr6 0 1) (pr5 -1 1)) (273 (pr5 -1 1) (pr6 1
0) (pr7 0 1)) (274 (pr7 1 0) (pr3 0 1) (pr1 0 1)) (275 (pr1
1 0) (pr3 1 0) (pr7 0 1)) (276 (pr7 1 0) (pr2 0 1) (pr5 -1 1
)) (277 (pr5 -1 1) (pr2 1 0) (pr7 0 1)) (278 (pr43 1 0) (
pr26 0 1) (pr1 1 0)) (279 (pr1 0 1) (pr26 1 0) (pr43 0 1)) (
280 (pr43 1 0) (pr22 0 1) (pr1 1 0)) (281 (pr1 0 1) (pr22 1
0) (pr43 0 1)) (282 (pr43 1 0) (pr13 0 1) (pr1 1 0)) (283 (
pr1 0 1) (pr13 1 0) (pr43 0 1)) (284 (pr43 1 0) (pr9 0 1) (
pr1 1 0)) (285 (pr1 0 1) (pr9 1 0) (pr43 0 1)) (286 (pr43 1
0) (pr8 0 1) (pr1 1 0)) (287 (pr1 0 1) (pr8 1 0) (pr43 0 1))
(288 (pr43 1 0) (pr6 0 1) (pr1 1 0)) (289 (pr1 0 1) (pr6 1 0
) (pr43 0 1)) (290 (pr43 1 0) (pr3 0 1) (pr5 -1 1)) (291 (
pr5 -1 1) (pr3 1 0) (pr43 0 1)) (292 (pr43 1 0) (pr2 0 1) (
pr1 1 0)) (293 (pr1 0 1) (pr2 1 0) (pr43 0 1)) (294 (pr42 1
0) (pr27 0 1) (pr1 0 1)) (295 (pr1 1 0) (pr27 1 0) (pr42 0 1
)) (296 (pr42 1 0) (pr23 0 1) (pr1 0 1)) (297 (pr1 1 0) (
pr23 1 0) (pr42 0 1)) (298 (pr42 1 0) (pr3 0 1) (pr1 0 1)) (
299 (pr1 1 0) (pr3 1 0) (pr42 0 1)) (300 (pr42 1 0) (pr2 0 1
) (pr5 -1 1)) (301 (pr5 -1 1) (pr2 1 0) (pr42 0 1)) (302 (
pr37 1 0) (pr26 0 1) (pr1 1 0)) (303 (pr1 0 1) (pr26 1 0) (
pr37 0 1)) (304 (pr37 1 0) (pr22 0 1) (pr1 1 0)) (305 (pr1 0
1) (pr22 1 0) (pr37 0 1)) (306 (pr37 1 0) (pr13 0 1) (pr1 1
0)) (307 (pr1 0 1) (pr13 1 0) (pr37 0 1)) (308 (pr37 1 0) (
pr9 0 1) (pr1 1 0)) (309 (pr1 0 1) (pr9 1 0) (pr37 0 1)) (
310 (pr37 1 0) (pr8 0 1) (pr1 1 0)) (311 (pr1 0 1) (pr8 1 0)
(pr37 0 1)) (312 (pr37 1 0) (pr6 0 1) (pr1 1 0)) (313 (pr1 0
1) (pr6 1 0) (pr37 0 1)) (314 (pr37 1 0) (pr3 0 1) (pr5 -1 1
)) (315 (pr5 -1 1) (pr3 1 0) (pr37 0 1)) (316 (pr37 1 0) (
pr2 0 1) (pr1 1 0)) (317 (pr1 0 1) (pr2 1 0) (pr37 0 1)) (
318 (pr36 1 0) (pr27 0 1) (pr1 0 1)) (319 (pr1 1 0) (pr27 1
0) (pr36 0 1)) (320 (pr36 1 0) (pr23 0 1) (pr1 0 1)) (321 (
pr1 1 0) (pr23 1 0) (pr36 0 1)) (322 (pr36 1 0) (pr3 0 1) (
pr1 0 1)) (323 (pr1 1 0) (pr3 1 0) (pr36 0 1)) (324 (pr36 1
0) (pr2 0 1) (pr5 -1 1)) (325 (pr5 -1 1) (pr2 1 0) (pr36 0 1
)) (326 (pr31 1 0) (pr26 0 1) (pr1 1 0)) (327 (pr1 0 1) (
pr26 1 0) (pr31 0 1)) (328 (pr31 1 0) (pr22 0 1) (pr1 1 0))
(329 (pr1 0 1) (pr22 1 0) (pr31 0 1)) (330 (pr31 1 0) (pr13
0 1) (pr1 1 0)) (331 (pr1 0 1) (pr13 1 0) (pr31 0 1)) (332 (
pr31 1 0) (pr9 0 1) (pr1 1 0)) (333 (pr1 0 1) (pr9 1 0) (
pr31 0 1)) (334 (pr31 1 0) (pr8 0 1) (pr1 1 0)) (335 (pr1 0
1) (pr8 1 0) (pr31 0 1)) (336 (pr31 1 0) (pr6 0 1) (pr1 1 0)
) (337 (pr1 0 1) (pr6 1 0) (pr31 0 1)) (338 (pr31 1 0) (pr3
0 1) (pr5 -1 1)) (339 (pr5 -1 1) (pr3 1 0) (pr31 0 1)) (340
(pr31 1 0) (pr2 0 1) (pr1 1 0)) (341 (pr1 0 1) (pr2 1 0) (
pr31 0 1)) (342 (pr30 1 0) (pr27 0 1) (pr1 0 1)) (343 (pr1 1
0) (pr27 1 0) (pr30 0 1)) (344 (pr30 1 0) (pr23 0 1) (pr1 0
1)) (345 (pr1 1 0) (pr23 1 0) (pr30 0 1)) (346 (pr30 1 0) (
pr3 0 1) (pr1 0 1)) (347 (pr1 1 0) (pr3 1 0) (pr30 0 1)) (
348 (pr30 1 0) (pr2 0 1) (pr5 -1 1)) (349 (pr5 -1 1) (pr2 1
0) (pr30 0 1)) (350 (pr17 1 0) (pr27 0 1) (pr1 0 1)) (351 (
pr1 1 0) (pr27 1 0) (pr17 0 1)) (352 (pr17 1 0) (pr23 0 1) (
pr1 0 1)) (353 (pr1 1 0) (pr23 1 0) (pr17 0 1)) (354 (pr17 1
0) (pr3 0 1) (pr1 0 1)) (355 (pr1 1 0) (pr3 1 0) (pr17 0 1))
(356 (pr17 1 0) (pr2 0 1) (pr5 -1 1)) (357 (pr5 -1 1) (pr2 1
0) (pr17 0 1)) (358 (pr11 1 0) (pr33 0 1) (pr1 0 1)) (359 (
pr1 1 0) (pr33 1 0) (pr11 0 1)) (360 (pr11 1 0) (pr29 0 1) (
pr1 0 1)) (361 (pr1 1 0) (pr29 1 0) (pr11 0 1)) (362 (pr11 1
0) (pr3 0 1) (pr1 0 1)) (363 (pr1 1 0) (pr3 1 0) (pr11 0 1))
(364 (pr11 1 0) (pr2 0 1) (pr5 -1 1)) (365 (pr5 -1 1) (pr2 1
0) (pr11 0 1)) (366 (pr10 1 0) (pr33 0 1) (pr1 0 1)) (367 (
pr1 1 0) (pr33 1 0) (pr10 0 1)) (368 (pr10 1 0) (pr29 0 1) (
pr1 0 1)) (369 (pr1 1 0) (pr29 1 0) (pr10 0 1)) (370 (pr10 1
0) (pr3 0 1) (pr1 0 1)) (371 (pr1 1 0) (pr3 1 0) (pr10 0 1))
(372 (pr10 1 0) (pr2 0 1) (pr5 -1 1)) (373 (pr5 -1 1) (pr2 1
0) (pr10 0 1)) (374 (pr39 1 0) (pr24 0 1) (pr1 1 0)) (375 (
pr1 0 1) (pr24 1 0) (pr39 0 1)) (376 (pr39 1 0) (pr20 0 1) (
pr1 1 0)) (377 (pr1 0 1) (pr20 1 0) (pr39 0 1)) (378 (pr39 1
0) (pr18 0 1) (pr1 1 0)) (379 (pr1 0 1) (pr18 1 0) (pr39 0 1
)) (380 (pr39 1 0) (pr14 0 1) (pr1 1 0)) (381 (pr1 0 1) (
pr14 1 0) (pr39 0 1)) (382 (pr39 1 0) (pr12 0 1) (pr1 1 0))
(383 (pr1 0 1) (pr12 1 0) (pr39 0 1)) (384 (pr39 1 0) (pr7 0
1) (pr1 1 0)) (385 (pr1 0 1) (pr7 1 0) (pr39 0 1)) (386 (
pr38 1 0) (pr25 0 1) (pr1 0 1)) (387 (pr1 1 0) (pr25 1 0) (
pr38 0 1)) (388 (pr38 1 0) (pr21 0 1) (pr1 0 1)) (389 (pr1 1
0) (pr21 1 0) (pr38 0 1)) (390 (pr38 1 0) (pr19 0 1) (pr1 0
1)) (391 (pr1 1 0) (pr19 1 0) (pr38 0 1)) (392 (pr35 1 0) (
pr24 0 1) (pr1 1 0)) (393 (pr1 0 1) (pr24 1 0) (pr35 0 1)) (
394 (pr35 1 0) (pr20 0 1) (pr1 1 0)) (395 (pr1 0 1) (pr20 1
0) (pr35 0 1)) (396 (pr35 1 0) (pr18 0 1) (pr1 1 0)) (397 (
pr1 0 1) (pr18 1 0) (pr35 0 1)) (398 (pr35 1 0) (pr14 0 1) (
pr1 1 0)) (399 (pr1 0 1) (pr14 1 0) (pr35 0 1)) (400 (pr35 1
0) (pr12 0 1) (pr1 1 0)) (401 (pr1 0 1) (pr12 1 0) (pr35 0 1
)) (402 (pr35 1 0) (pr7 0 1) (pr1 1 0)) (403 (pr1 0 1) (pr7
1 0) (pr35 0 1)) (404 (pr34 1 0) (pr25 0 1) (pr1 0 1)) (405
(pr1 1 0) (pr25 1 0) (pr34 0 1)) (406 (pr34 1 0) (pr21 0 1)
(pr1 0 1)) (407 (pr1 1 0) (pr21 1 0) (pr34 0 1)) (408 (pr34
1 0) (pr19 0 1) (pr1 0 1)) (409 (pr1 1 0) (pr19 1 0) (pr34 0
1)) (410 (pr25 1 0) (pr19 0 1) (pr5 -1 1)) (411 (pr5 -1 1) (
pr19 1 0) (pr25 0 1)) (412 (pr25 1 0) (pr18 0 1) (pr1 1 0))
(413 (pr1 0 1) (pr18 1 0) (pr25 0 1)) (414 (pr25 1 0) (pr15
0 1) (pr1 1 0)) (415 (pr1 0 1) (pr15 1 0) (pr25 0 1)) (416 (
pr25 1 0) (pr7 0 1) (pr1 1 0)) (417 (pr1 0 1) (pr7 1 0) (
pr25 0 1)) (418 (pr24 1 0) (pr19 0 1) (pr1 0 1)) (419 (pr1 1
0) (pr19 1 0) (pr24 0 1)) (420 (pr24 1 0) (pr18 0 1) (pr5 -1
1)) (421 (pr5 -1 1) (pr18 1 0) (pr24 0 1)) (422 (pr21 1 0) (
pr19 0 1) (pr5 -1 1)) (423 (pr5 -1 1) (pr19 1 0) (pr21 0 1))
(424 (pr21 1 0) (pr18 0 1) (pr1 1 0)) (425 (pr1 0 1) (pr18 1
0) (pr21 0 1)) (426 (pr21 1 0) (pr15 0 1) (pr1 1 0)) (427 (
pr1 0 1) (pr15 1 0) (pr21 0 1)) (428 (pr20 1 0) (pr19 0 1) (
pr1 0 1)) (429 (pr1 1 0) (pr19 1 0) (pr20 0 1)) (430 (pr20 1
0) (pr18 0 1) (pr5 -1 1)) (431 (pr5 -1 1) (pr18 1 0) (pr20 0
1)) (432 (pr19 1 1) (pr5 -1 1)) (433 (pr19 1 0) (pr15 0 1) (
pr1 1 0)) (434 (pr1 0 1) (pr15 1 0) (pr19 0 1)) (435 (pr19 1
0) (pr14 0 1) (pr1 1 0)) (436 (pr1 0 1) (pr14 1 0) (pr19 0 1
)) (437 (pr19 1 0) (pr12 0 1) (pr1 1 0)) (438 (pr1 0 1) (
pr12 1 0) (pr19 0 1)) (439 (pr19 1 0) (pr7 0 1) (pr1 1 0)) (
440 (pr1 0 1) (pr7 1 0) (pr19 0 1)) (441 (pr18 1 1) (pr5 -1
1)) (442 (pr18 1 0) (pr14 0 1) (pr5 -1 1)) (443 (pr5 -1 1) (
pr14 1 0) (pr18 0 1)) (444 (pr18 1 0) (pr12 0 1) (pr5 -1 1))
(445 (pr5 -1 1) (pr12 1 0) (pr18 0 1)) (446 (pr18 1 0) (pr7
0 1) (pr5 -1 1)) (447 (pr5 -1 1) (pr7 1 0) (pr18 0 1)) (448
(pr41 1 0) (pr26 0 1) (pr1 1 0)) (449 (pr1 0 1) (pr26 1 0) (
pr41 0 1)) (450 (pr41 1 0) (pr22 0 1) (pr1 1 0)) (451 (pr1 0
1) (pr22 1 0) (pr41 0 1)) (452 (pr41 1 0) (pr13 0 1) (pr1 1
0)) (453 (pr1 0 1) (pr13 1 0) (pr41 0 1)) (454 (pr41 1 0) (
pr9 0 1) (pr1 1 0)) (455 (pr1 0 1) (pr9 1 0) (pr41 0 1)) (
456 (pr41 1 0) (pr8 0 1) (pr1 1 0)) (457 (pr1 0 1) (pr8 1 0)
(pr41 0 1)) (458 (pr41 1 0) (pr6 0 1) (pr1 1 0)) (459 (pr1 0
1) (pr6 1 0) (pr41 0 1)) (460 (pr41 1 0) (pr3 0 1) (pr5 -1 1
)) (461 (pr5 -1 1) (pr3 1 0) (pr41 0 1)) (462 (pr41 1 0) (
pr2 0 1) (pr1 1 0)) (463 (pr1 0 1) (pr2 1 0) (pr41 0 1)) (
464 (pr40 1 0) (pr27 0 1) (pr1 0 1)) (465 (pr1 1 0) (pr27 1
0) (pr40 0 1)) (466 (pr40 1 0) (pr23 0 1) (pr1 0 1)) (467 (
pr1 1 0) (pr23 1 0) (pr40 0 1)) (468 (pr40 1 0) (pr3 0 1) (
pr1 0 1)) (469 (pr1 1 0) (pr3 1 0) (pr40 0 1)) (470 (pr40 1
0) (pr2 0 1) (pr5 -1 1)) (471 (pr5 -1 1) (pr2 1 0) (pr40 0 1
)) (472 (pr16 1 0) (pr27 0 1) (pr1 0 1)) (473 (pr1 1 0) (
pr27 1 0) (pr16 0 1)) (474 (pr16 1 0) (pr23 0 1) (pr1 0 1))
(475 (pr1 1 0) (pr23 1 0) (pr16 0 1)) (476 (pr16 1 0) (pr3 0
1) (pr1 0 1)) (477 (pr1 1 0) (pr3 1 0) (pr16 0 1)) (478 (
pr16 1 0) (pr2 0 1) (pr5 -1 1)) (479 (pr5 -1 1) (pr2 1 0) (
pr16 0 1)) (480 (pr43 1 0) (pr24 0 1) (pr1 1 0)) (481 (pr1 0
1) (pr24 1 0) (pr43 0 1)) (482 (pr43 1 0) (pr20 0 1) (pr1 1
0)) (483 (pr1 0 1) (pr20 1 0) (pr43 0 1)) (484 (pr43 1 0) (
pr18 0 1) (pr1 1 0)) (485 (pr1 0 1) (pr18 1 0) (pr43 0 1)) (
486 (pr43 1 0) (pr14 0 1) (pr1 1 0)) (487 (pr1 0 1) (pr14 1
0) (pr43 0 1)) (488 (pr43 1 0) (pr12 0 1) (pr1 1 0)) (489 (
pr1 0 1) (pr12 1 0) (pr43 0 1)) (490 (pr43 1 0) (pr7 0 1) (
pr1 1 0)) (491 (pr1 0 1) (pr7 1 0) (pr43 0 1)) (492 (pr42 1
0) (pr25 0 1) (pr1 0 1)) (493 (pr1 1 0) (pr25 1 0) (pr42 0 1
)) (494 (pr42 1 0) (pr21 0 1) (pr1 0 1)) (495 (pr1 1 0) (
pr21 1 0) (pr42 0 1)) (496 (pr42 1 0) (pr19 0 1) (pr1 0 1))
(497 (pr1 1 0) (pr19 1 0) (pr42 0 1)) (498 (pr37 1 0) (pr24
0 1) (pr1 1 0)) (499 (pr1 0 1) (pr24 1 0) (pr37 0 1)) (500 (
pr37 1 0) (pr20 0 1) (pr1 1 0)) (501 (pr1 0 1) (pr20 1 0) (
pr37 0 1)) (502 (pr37 1 0) (pr18 0 1) (pr1 1 0)) (503 (pr1 0
1) (pr18 1 0) (pr37 0 1)) (504 (pr37 1 0) (pr14 0 1) (pr1 1
0)) (505 (pr1 0 1) (pr14 1 0) (pr37 0 1)) (506 (pr37 1 0) (
pr12 0 1) (pr1 1 0)) (507 (pr1 0 1) (pr12 1 0) (pr37 0 1)) (
508 (pr37 1 0) (pr7 0 1) (pr1 1 0)) (509 (pr1 0 1) (pr7 1 0)
(pr37 0 1)) (510 (pr36 1 0) (pr25 0 1) (pr1 0 1)) (511 (pr1
1 0) (pr25 1 0) (pr36 0 1)) (512 (pr36 1 0) (pr21 0 1) (pr1
0 1)) (513 (pr1 1 0) (pr21 1 0) (pr36 0 1)) (514 (pr36 1 0)
(pr19 0 1) (pr1 0 1)) (515 (pr1 1 0) (pr19 1 0) (pr36 0 1))
(516 (pr31 1 0) (pr24 0 1) (pr1 1 0)) (517 (pr1 0 1) (pr24 1
0) (pr31 0 1)) (518 (pr31 1 0) (pr20 0 1) (pr1 1 0)) (519 (
pr1 0 1) (pr20 1 0) (pr31 0 1)) (520 (pr31 1 0) (pr18 0 1) (
pr1 1 0)) (521 (pr1 0 1) (pr18 1 0) (pr31 0 1)) (522 (pr31 1
0) (pr14 0 1) (pr1 1 0)) (523 (pr1 0 1) (pr14 1 0) (pr31 0 1
)) (524 (pr31 1 0) (pr12 0 1) (pr1 1 0)) (525 (pr1 0 1) (
pr12 1 0) (pr31 0 1)) (526 (pr31 1 0) (pr7 0 1) (pr1 1 0)) (
527 (pr1 0 1) (pr7 1 0) (pr31 0 1)) (528 (pr30 1 0) (pr25 0
1) (pr1 0 1)) (529 (pr1 1 0) (pr25 1 0) (pr30 0 1)) (530 (
pr30 1 0) (pr21 0 1) (pr1 0 1)) (531 (pr1 1 0) (pr21 1 0) (
pr30 0 1)) (532 (pr30 1 0) (pr19 0 1) (pr1 0 1)) (533 (pr1 1
0) (pr19 1 0) (pr30 0 1)) (534 (pr17 1 0) (pr25 0 1) (pr1 0
1)) (535 (pr1 1 0) (pr25 1 0) (pr17 0 1)) (536 (pr17 1 0) (
pr21 0 1) (pr1 0 1)) (537 (pr1 1 0) (pr21 1 0) (pr17 0 1)) (
538 (pr17 1 0) (pr19 0 1) (pr1 0 1)) (539 (pr1 1 0) (pr19 1
0) (pr17 0 1)) (540 (pr11 1 0) (pr39 0 1) (pr1 0 1)) (541 (
pr1 1 0) (pr39 1 0) (pr11 0 1)) (542 (pr11 1 0) (pr35 0 1) (
pr1 0 1)) (543 (pr1 1 0) (pr35 1 0) (pr11 0 1)) (544 (pr11 1
0) (pr19 0 1) (pr1 0 1)) (545 (pr1 1 0) (pr19 1 0) (pr11 0 1
)) (546 (pr11 1 0) (pr18 0 1) (pr5 -1 1)) (547 (pr5 -1 1) (
pr18 1 0) (pr11 0 1)) (548 (pr10 1 0) (pr39 0 1) (pr1 0 1))
(549 (pr1 1 0) (pr39 1 0) (pr10 0 1)) (550 (pr10 1 0) (pr35
0 1) (pr1 0 1)) (551 (pr1 1 0) (pr35 1 0) (pr10 0 1)) (552 (
pr10 1 0) (pr19 0 1) (pr1 0 1)) (553 (pr1 1 0) (pr19 1 0) (
pr10 0 1)) (554 (pr10 1 0) (pr18 0 1) (pr5 -1 1)) (555 (pr5
-1 1) (pr18 1 0) (pr10 0 1)) (556 (pr41 1 0) (pr24 0 1) (pr1
1 0)) (557 (pr1 0 1) (pr24 1 0) (pr41 0 1)) (558 (pr41 1 0)
(pr20 0 1) (pr1 1 0)) (559 (pr1 0 1) (pr20 1 0) (pr41 0 1))
(560 (pr41 1 0) (pr18 0 1) (pr1 1 0)) (561 (pr1 0 1) (pr18 1
0) (pr41 0 1)) (562 (pr41 1 0) (pr14 0 1) (pr1 1 0)) (563 (
pr1 0 1) (pr14 1 0) (pr41 0 1)) (564 (pr41 1 0) (pr12 0 1) (
pr1 1 0)) (565 (pr1 0 1) (pr12 1 0) (pr41 0 1)) (566 (pr41 1
0) (pr7 0 1) (pr1 1 0)) (567 (pr1 0 1) (pr7 1 0) (pr41 0 1))
(568 (pr40 1 0) (pr25 0 1) (pr1 0 1)) (569 (pr1 1 0) (pr25 1
0) (pr40 0 1)) (570 (pr40 1 0) (pr21 0 1) (pr1 0 1)) (571 (
pr1 1 0) (pr21 1 0) (pr40 0 1)) (572 (pr40 1 0) (pr19 0 1) (
pr1 0 1)) (573 (pr1 1 0) (pr19 1 0) (pr40 0 1)) (574 (pr16 1
0) (pr25 0 1) (pr1 0 1)) (575 (pr1 1 0) (pr25 1 0) (pr16 0 1
)) (576 (pr16 1 0) (pr21 0 1) (pr1 0 1)) (577 (pr1 1 0) (
pr21 1 0) (pr16 0 1)) (578 (pr16 1 0) (pr19 0 1) (pr1 0 1))
(579 (pr1 1 0) (pr19 1 0) (pr16 0 1)) (580 (pr43 1 0) (pr11
0 1) (pr1 1 0)) (581 (pr1 0 1) (pr11 1 0) (pr43 0 1)) (582 (
pr43 1 0) (pr10 0 1) (pr1 1 0)) (583 (pr1 0 1) (pr10 1 0) (
pr43 0 1)) (584 (pr37 1 0) (pr11 0 1) (pr1 1 0)) (585 (pr1 0
1) (pr11 1 0) (pr37 0 1)) (586 (pr37 1 0) (pr10 0 1) (pr1 1
0)) (587 (pr1 0 1) (pr10 1 0) (pr37 0 1)) (588 (pr31 1 0) (
pr11 0 1) (pr1 1 0)) (589 (pr1 0 1) (pr11 1 0) (pr31 0 1)) (
590 (pr31 1 0) (pr10 0 1) (pr1 1 0)) (591 (pr1 0 1) (pr10 1
0) (pr31 0 1)) (592 (pr3 1 0) (pr2 0 1) (pr4 1 0)) (593 (pr4
0 1) (pr2 1 0) (pr3 0 1)) (594 (pr41 1 0) (pr11 0 1) (pr1 1
0)) (595 (pr1 0 1) (pr11 1 0) (pr41 0 1)) (596 (pr41 1 0) (
pr10 0 1) (pr1 1 0)) (597 (pr1 0 1) (pr10 1 0) (pr41 0 1)))
 $
pa_rv_list:='((pr1 (g (1 15 16 17 18 19 20 21 22 23 24 25 26
27 28 31 32 33 34 35 36 37 38 41 42 43 44 45 46 47 48 49 50
51 52 55 56 57 58 59 60 61 62 65 66 67 68 71 72 73 74 77 78
81 82 83 84 87 88 91 92 97 98 102 103 108 109 110 111 112 
113 114 115 116 117 118 119 122 123 124 125 126 127 128 129
132 133 134 135 136 137 138 139 140 141 142 143 146 147 148
149 150 151 152 153 156 157 158 159 160 161 162 163 166 167
168 169 170 171 172 173 176 177 178 179 180 181 182 183 186
187 188 189 190 191 192 193 194 195 198 199 200 201 202 203
206 207 208 209 210 211 212 213 214 215 218 219 220 221 222
223 224 225 226 227 238 239 242 243 244 245 246 247 250 251
252 253 254 255 258 259 260 261 262 263 266 267 268 269 270
271 274 275 278 279 280 281 282 283 284 285 286 287 288 289
292 293 294 295 296 297 298 299 302 303 304 305 306 307 308
309 310 311 312 313 316 317 318 319 320 321 322 323 326 327
328 329 330 331 332 333 334 335 336 337 340 341 342 343 344
345 346 347 350 351 352 353 354 355 358 359 360 361 362 363
366 367 368 369 370 371 374 375 376 377 378 379 380 381 382
383 384 385 386 387 388 389 390 391 392 393 394 395 396 397
398 399 400 401 402 403 404 405 406 407 408 409 412 413 414
415 416 417 418 419 424 425 426 427 428 429 433 434 435 436
437 438 439 440 448 449 450 451 452 453 454 455 456 457 458
459 462 463 464 465 466 467 468 469 472 473 474 475 476 477
480 481 482 483 484 485 486 487 488 489 490 491 492 493 494
495 496 497 498 499 500 501 502 503 504 505 506 507 508 509
510 511 512 513 514 515 516 517 518 519 520 521 522 523 524
525 526 527 528 529 530 531 532 533 534 535 536 537 538 539
540 541 542 543 544 545 548 549 550 551 552 553 556 557 558
559 560 561 562 563 564 565 566 567 568 569 570 571 572 573
574 575 576 577 578 579 580 581 582 583 584 585 586 587 588
589 590 591 594 595 596 597))) (pr10 (g (1 366 367 368 369 
370 371 372 373 548 549 550 551 552 553 554 555 582 583 586
587 590 591 596 597))) (pr41 (g (1 448 449 450 451 452 453 
454 455 456 457 458 459 460 461 462 463 556 557 558 559 560
561 562 563 564 565 566 567 594 595 596 597))) (pr11 (g (1 
358 359 360 361 362 363 364 365 540 541 542 543 544 545 546
547 580 581 584 585 588 589 594 595))) (pr4 (g (1 15 16 592
593))) (pr2 (g (1 31 32 39 40 55 56 63 64 71 72 75 76 81 82
85 86 89 90 93 94 99 100 104 105 107 122 123 130 131 146 147
154 155 166 167 174 175 186 187 196 197 218 219 240 241 248
249 256 257 264 265 276 277 292 293 300 301 316 317 324 325
340 341 348 349 356 357 364 365 372 373 462 463 470 471 478
479 592 593))) (pr3 (g (1 29 30 37 38 53 54 61 62 69 70 73 
74 79 80 83 84 87 88 91 92 97 98 102 103 106 120 121 128 129
144 145 152 153 164 165 172 173 184 185 194 195 216 217 238
239 246 247 254 255 262 263 274 275 290 291 298 299 314 315
322 323 338 339 346 347 354 355 362 363 370 371 460 461 468
469 476 477 592 593))) (pr31 (g (1 326 327 328 329 330 331 
332 333 334 335 336 337 338 339 340 341 516 517 518 519 520
521 522 523 524 525 526 527 588 589 590 591))) (pr37 (g (1 
302 303 304 305 306 307 308 309 310 311 312 313 314 315 316
317 498 499 500 501 502 503 504 505 506 507 508 509 584 585
586 587))) (pr43 (g (1 278 279 280 281 282 283 284 285 286 
287 288 289 290 291 292 293 480 481 482 483 484 485 486 487
488 489 490 491 580 581 582 583))) (pr19 (g (1 198 199 200 
201 202 203 204 205 206 207 208 209 210 211 212 213 214 215
216 217 218 219 390 391 408 409 410 411 418 419 422 423 428
429 432 433 434 435 436 437 438 439 440 496 497 514 515 532
533 538 539 544 545 552 553 572 573 578 579))) (pr16 (g (1 
472 473 474 475 476 477 478 479 574 575 576 577 578 579))) (
pr21 (g (1 176 177 178 179 180 181 182 183 184 185 186 187 
388 389 406 407 422 423 424 425 426 427 494 495 512 513 530
531 536 537 570 571 576 577))) (pr25 (g (1 156 157 158 159 
160 161 162 163 164 165 166 167 386 387 404 405 410 411 412
413 414 415 416 417 492 493 510 511 528 529 534 535 568 569
574 575))) (pr40 (g (1 464 465 466 467 468 469 470 471 568 
569 570 571 572 573))) (pr7 (g (1 266 267 268 269 270 271 
272 273 274 275 276 277 384 385 402 403 416 417 439 440 446
447 490 491 508 509 526 527 566 567))) (pr12 (g (1 258 259 
260 261 262 263 264 265 382 383 400 401 437 438 444 445 488
489 506 507 524 525 564 565))) (pr14 (g (1 250 251 252 253 
254 255 256 257 380 381 398 399 435 436 442 443 486 487 504
505 522 523 562 563))) (pr18 (g (1 220 221 222 223 224 225 
226 227 228 229 230 231 232 233 234 235 236 237 238 239 240
241 378 379 396 397 412 413 420 421 424 425 430 431 441 442
443 444 445 446 447 484 485 502 503 520 521 546 547 554 555
560 561))) (pr20 (g (1 188 189 190 191 192 193 194 195 196 
197 376 377 394 395 428 429 430 431 482 483 500 501 518 519
558 559))) (pr24 (g (1 168 169 170 171 172 173 174 175 374 
375 392 393 418 419 420 421 480 481 498 499 516 517 556 557)
)) (pr5 (g (1 15 16 29 30 39 40 53 54 63 64 69 70 75 76 79 
80 85 86 89 90 93 94 95 96 99 100 101 104 105 106 107 120 
121 130 131 144 145 154 155 164 165 174 175 184 185 196 197
204 205 216 217 228 229 230 231 232 233 234 235 236 237 240
241 248 249 256 257 264 265 272 273 276 277 290 291 300 301
314 315 324 325 338 339 348 349 356 357 364 365 372 373 410
411 420 421 422 423 430 431 432 441 442 443 444 445 446 447
460 461 470 471 478 479 546 547 554 555))) (pr35 (g (1 132 
133 134 135 136 137 138 139 140 141 142 143 144 145 146 147
392 393 394 395 396 397 398 399 400 401 402 403 542 543 550
551))) (pr39 (g (1 108 109 110 111 112 113 114 115 116 117 
118 119 120 121 122 123 374 375 376 377 378 379 380 381 382
383 384 385 540 541 548 549))) (pr17 (g (1 350 351 352 353 
354 355 356 357 534 535 536 537 538 539))) (pr30 (g (1 342 
343 344 345 346 347 348 349 528 529 530 531 532 533))) (pr36
(g (1 318 319 320 321 322 323 324 325 510 511 512 513 514 
515))) (pr42 (g (1 294 295 296 297 298 299 300 301 492 493 
494 495 496 497))) (pr23 (g (1 35 36 59 60 77 78 79 80 81 82
126 127 150 151 204 205 226 227 244 245 296 297 320 321 344
345 352 353 466 467 474 475))) (pr27 (g (1 33 34 57 58 65 66
67 68 69 70 71 72 124 125 148 149 192 193 224 225 242 243 
270 271 294 295 318 319 342 343 350 351 464 465 472 473))) (
pr6 (g (1 27 28 51 52 67 68 77 78 95 96 101 102 103 104 105
118 119 142 143 162 163 182 183 214 215 236 237 272 273 288
289 312 313 336 337 458 459))) (pr8 (g (1 25 26 49 50 65 66
95 96 97 98 99 100 116 117 140 141 160 161 212 213 234 235 
286 287 310 311 334 335 456 457))) (pr9 (g (1 23 24 47 48 91
92 93 94 114 115 138 139 210 211 232 233 284 285 308 309 332
333 454 455))) (pr13 (g (1 21 22 45 46 87 88 89 90 112 113 
136 137 208 209 230 231 282 283 306 307 330 331 452 453))) (
pr22 (g (1 19 20 43 44 83 84 85 86 110 111 134 135 206 207 
228 229 280 281 304 305 328 329 450 451))) (pr26 (g (1 17 18
41 42 73 74 75 76 108 109 132 133 180 181 202 203 278 279 
302 303 326 327 448 449))) (pr15 (g (1 242 243 244 245 246 
247 248 249 414 415 426 427 433 434))) (pr34 (g (1 148 149 
150 151 152 153 154 155 404 405 406 407 408 409))) (pr38 (g
(1 124 125 126 127 128 129 130 131 386 387 388 389 390 391))
) (pr29 (g (1 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 
56 170 171 190 191 222 223 252 253 260 261 268 269 360 361 
368 369))) (pr33 (g (1 17 18 19 20 21 22 23 24 25 26 27 28 
29 30 31 32 168 169 188 189 220 221 250 251 258 259 266 267
358 359 366 367))) (pr28 (g (1 57 58 59 60 61 62 63 64 158 
159 178 179 200 201))) (pr32 (g (1 33 34 35 36 37 38 39 40 
156 157 176 177 198 199))) (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))) (p (g (2 6))))
 $
cvpd_list:='((14 0) (13 0) (11 1) (7 0) (6 0) (5 0) (4 0) (3
0) (2 0) (1 0) (15 4) (16 4) (17 0) (18 0) (19 0) (20 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 0) (43 0) (44 0) (45 0) (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 0) (71 0) (72 0
) (73 0) (74 0) (75 0) (76 0) (77 0) (78 0) (79 0) (80 0) (
81 0) (82 0) (83 0) (84 0) (85 0) (86 0) (87 0) (88 0) (89 0
) (90 0) (91 0) (92 0) (93 0) (94 0) (95 0) (96 0) (97 0) (
98 0) (99 0) (100 0) (101 0) (102 0) (103 0) (104 0) (105 0)
(106 0) (107 0) (108 1) (109 1) (110 1) (111 1) (112 1) (113
1) (114 1) (115 1) (116 1) (117 1) (118 1) (119 1) (120 1) (
121 1) (122 1) (123 1) (124 1) (125 1) (126 1) (127 1) (128
1) (129 1) (130 1) (131 1) (132 1) (133 1) (134 1) (135 1) (
136 1) (137 1) (138 1) (139 1) (140 1) (141 1) (142 1) (143
1) (144 1) (145 1) (146 1) (147 1) (148 1) (149 1) (150 1) (
151 1) (152 1) (153 1) (154 1) (155 1) (156 1) (157 1) (158
1) (159 1) (160 1) (161 1) (162 1) (163 1) (164 1) (165 1) (
166 1) (167 1) (168 1) (169 1) (170 1) (171 1) (172 1) (173
1) (174 1) (175 1) (176 1) (177 1) (178 1) (179 1) (180 1) (
181 1) (182 1) (183 1) (184 1) (185 1) (186 1) (187 1) (188
1) (189 1) (190 1) (191 1) (192 1) (193 1) (194 1) (195 1) (
196 1) (197 1) (198 1) (199 1) (200 1) (201 1) (202 1) (203
1) (204 1) (205 1) (206 1) (207 1) (208 1) (209 1) (210 1) (
211 1) (212 1) (213 1) (214 1) (215 1) (216 1) (217 1) (218
1) (219 1) (220 1) (221 1) (222 1) (223 1) (224 1) (225 1) (
226 1) (227 1) (228 1) (229 1) (230 1) (231 1) (232 1) (233
1) (234 1) (235 1) (236 1) (237 1) (238 1) (239 1) (240 1) (
241 1) (242 1) (243 1) (244 1) (245 1) (246 1) (247 1) (248
1) (249 1) (250 1) (251 1) (252 1) (253 1) (254 1) (255 1) (
256 1) (257 1) (258 1) (259 1) (260 1) (261 1) (262 1) (263
1) (264 1) (265 1) (266 1) (267 1) (268 1) (269 1) (270 1) (
271 1) (272 1) (273 1) (274 1) (275 1) (276 1) (277 1) (278
2) (279 2) (280 2) (281 2) (282 2) (283 2) (284 2) (285 2) (
286 2) (287 2) (288 2) (289 2) (290 2) (291 2) (292 2) (293
2) (294 2) (295 2) (296 2) (297 2) (298 2) (299 2) (300 2) (
301 2) (302 2) (303 2) (304 2) (305 2) (306 2) (307 2) (308
2) (309 2) (310 2) (311 2) (312 2) (313 2) (314 2) (315 2) (
316 2) (317 2) (318 2) (319 2) (320 2) (321 2) (322 2) (323
2) (324 2) (325 2) (326 2) (327 2) (328 2) (329 2) (330 2) (
331 2) (332 2) (333 2) (334 2) (335 2) (336 2) (337 2) (338
2) (339 2) (340 2) (341 2) (342 2) (343 2) (344 2) (345 2) (
346 2) (347 2) (348 2) (349 2) (350 2) (351 2) (352 2) (353
2) (354 2) (355 2) (356 2) (357 2) (358 2) (359 2) (360 2) (
361 2) (362 2) (363 2) (364 2) (365 2) (366 2) (367 2) (368
2) (369 2) (370 2) (371 2) (372 2) (373 2) (374 0) (375 0) (
376 0) (377 0) (378 0) (379 0) (380 0) (381 0) (382 0) (383
0) (384 0) (385 0) (386 0) (387 0) (388 0) (389 0) (390 0) (
391 0) (392 0) (393 0) (394 0) (395 0) (396 0) (397 0) (398
0) (399 0) (400 0) (401 0) (402 0) (403 0) (404 0) (405 0) (
406 0) (407 0) (408 0) (409 0) (410 0) (411 0) (412 0) (413
0) (414 0) (415 0) (416 0) (417 0) (418 0) (419 0) (420 0) (
421 0) (422 0) (423 0) (424 0) (425 0) (426 0) (427 0) (428
0) (429 0) (430 0) (431 0) (432 0) (433 0) (434 0) (435 0) (
436 0) (437 0) (438 0) (439 0) (440 0) (441 0) (442 0) (443
0) (444 0) (445 0) (446 0) (447 0) (448 3) (449 3) (450 3) (
451 3) (452 3) (453 3) (454 3) (455 3) (456 3) (457 3) (458
3) (459 3) (460 3) (461 3) (462 3) (463 3) (464 3) (465 3) (
466 3) (467 3) (468 3) (469 3) (470 3) (471 3) (472 3) (473
3) (474 3) (475 3) (476 3) (477 3) (478 3) (479 3) (480 1) (
481 1) (482 1) (483 1) (484 1) (485 1) (486 1) (487 1) (488
1) (489 1) (490 1) (491 1) (492 1) (493 1) (494 1) (495 1) (
496 1) (497 1) (498 1) (499 1) (500 1) (501 1) (502 1) (503
1) (504 1) (505 1) (506 1) (507 1) (508 1) (509 1) (510 1) (
511 1) (512 1) (513 1) (514 1) (515 1) (516 1) (517 1) (518
1) (519 1) (520 1) (521 1) (522 1) (523 1) (524 1) (525 1) (
526 1) (527 1) (528 1) (529 1) (530 1) (531 1) (532 1) (533
1) (534 1) (535 1) (536 1) (537 1) (538 1) (539 1) (540 1) (
541 1) (542 1) (543 1) (544 1) (545 1) (546 1) (547 1) (548
1) (549 1) (550 1) (551 1) (552 1) (553 1) (554 1) (555 1) (
556 2) (557 2) (558 2) (559 2) (560 2) (561 2) (562 2) (563
2) (564 2) (565 2) (566 2) (567 2) (568 2) (569 2) (570 2) (
571 2) (572 2) (573 2) (574 2) (575 2) (576 2) (577 2) (578
2) (579 2) (580 0) (581 0) (582 0) (583 0) (584 0) (585 0) (
586 0) (587 0) (588 0) (589 0) (590 0) (591 0) (592 3) (593
3) (594 1) (595 1) (596 1) (597 1))
 $
gbsymmetrylist:='(strange baryon len lmuon ltau)
 $
fit_para_list:='((597 f399 f398 f397) (596 f399 f398 f397) (
595 f396 f395 f394) (594 f396 f395 f394) (593 f393 f392) (
592 f393 f392) (591 f391 f390 f389) (590 f391 f390 f389) (
589 f388 f387 f386) (588 f388 f387 f386) (587 f385 f384 f383
) (586 f385 f384 f383) (585 f382 f381 f380) (584 f382 f381 
f380) (583 f379 f378 f377) (582 f379 f378 f377) (581 f376 
f375 f374) (580 f376 f375 f374) (579 f373 f372) (578 f373 
f372) (577 f371 f370) (576 f371 f370) (575 f369 f368) (574 
f369 f368) (573 f367 f366) (572 f367 f366) (571 f365 f364) (
570 f365 f364) (569 f363 f362) (568 f363 f362) (567 f361 
f360) (566 f361 f360) (565 f359 f358) (564 f359 f358) (563 
f357 f356) (562 f357 f356) (561 f355 f354) (560 f355 f354) (
559 f353 f352) (558 f353 f352) (557 f351 f350) (556 f351 
f350) (555 f349 f348) (554 f349 f348) (553 f347 f346) (552 
f347 f346) (551 f345 f344) (550 f345 f344) (549 f343 f342) (
548 f343 f342) (547 f341 f340) (546 f341 f340) (545 f339 
f338) (544 f339 f338) (543 f337 f336) (542 f337 f336) (541 
f335 f334) (540 f335 f334) (539 f333 f332) (538 f333 f332) (
537 f331 f330) (536 f331 f330) (535 f329 f328) (534 f329 
f328) (533 f327 f326) (532 f327 f326) (531 f325 f324) (530 
f325 f324) (529 f323 f322) (528 f323 f322) (527 f321 f320) (
526 f321 f320) (525 f319 f318) (524 f319 f318) (523 f317 
f316) (522 f317 f316) (521 f315 f314) (520 f315 f314) (519 
f313 f312) (518 f313 f312) (517 f311 f310) (516 f311 f310) (
515 f309 f308) (514 f309 f308) (513 f307 f306) (512 f307 
f306) (511 f305 f304) (510 f305 f304) (509 f303 f302) (508 
f303 f302) (507 f301 f300) (506 f301 f300) (505 f299 f298) (
504 f299 f298) (503 f297 f296) (502 f297 f296) (501 f295 
f294) (500 f295 f294) (499 f293 f292) (498 f293 f292) (497 
f291 f290) (496 f291 f290) (495 f289 f288) (494 f289 f288) (
493 f287 f286) (492 f287 f286) (491 f285 f284) (490 f285 
f284) (489 f283 f282) (488 f283 f282) (487 f281 f280) (486 
f281 f280) (485 f279 f278) (484 f279 f278) (483 f277 f276) (
482 f277 f276) (481 f275 f274) (480 f275 f274) (479 f273) (
478 f273) (477 f272) (476 f272) (475 f271) (474 f271) (473 
f270) (472 f270) (471 f269) (470 f269) (469 f268) (468 f268)
(467 f267) (466 f267) (465 f266) (464 f266) (463 f265) (462
f265) (461 f264) (460 f264) (459 f263) (458 f263) (457 f262)
(456 f262) (455 f261) (454 f261) (453 f260) (452 f260) (451
f259) (450 f259) (449 f258) (448 f258) (447 f257 f256) (446
f257 f256) (445 f255 f254) (444 f255 f254) (443 f253 f252) (
442 f253 f252) (441 f251 f250) (440 f249 f248) (439 f249 
f248) (438 f247 f246) (437 f247 f246) (436 f245 f244) (435 
f245 f244) (434 f243 f242) (433 f243 f242) (432 f241 f240) (
431 f239 f238) (430 f239 f238) (429 f237 f236) (428 f237 
f236) (427 f235 f234) (426 f235 f234) (425 f233 f232) (424 
f233 f232) (423 f231 f230) (422 f231 f230) (421 f229 f228) (
420 f229 f228) (419 f227 f226) (418 f227 f226) (417 f225 
f224) (416 f225 f224) (415 f223 f222) (414 f223 f222) (413 
f221 f220) (412 f221 f220) (411 f219 f218) (410 f219 f218) (
409 f217 f216) (408 f217 f216) (407 f215 f214) (406 f215 
f214) (405 f213 f212) (404 f213 f212) (403 f211 f210) (402 
f211 f210) (401 f209 f208) (400 f209 f208) (399 f207 f206) (
398 f207 f206) (397 f205 f204) (396 f205 f204) (395 f203 
f202) (394 f203 f202) (393 f201 f200) (392 f201 f200) (391 
f199 f198) (390 f199 f198) (389 f197 f196) (388 f197 f196) (
387 f195 f194) (386 f195 f194) (385 f193 f192) (384 f193 
f192) (383 f191 f190) (382 f191 f190) (381 f189 f188) (380 
f189 f188) (379 f187 f186) (378 f187 f186) (377 f185 f184) (
376 f185 f184) (375 f183 f182) (374 f183 f182) (373 f181) (
372 f181) (371 f180) (370 f180) (369 f179) (368 f179) (367 
f178) (366 f178) (365 f177) (364 f177) (363 f176) (362 f176)
(361 f175) (360 f175) (359 f174) (358 f174) (357 f173) (356
f173) (355 f172) (354 f172) (353 f171) (352 f171) (351 f170)
(350 f170) (349 f169) (348 f169) (347 f168) (346 f168) (345
f167) (344 f167) (343 f166) (342 f166) (341 f165) (340 f165)
(339 f164) (338 f164) (337 f163) (336 f163) (335 f162) (334
f162) (333 f161) (332 f161) (331 f160) (330 f160) (329 f159)
(328 f159) (327 f158) (326 f158) (325 f157) (324 f157) (323
f156) (322 f156) (321 f155) (320 f155) (319 f154) (318 f154)
(317 f153) (316 f153) (315 f152) (314 f152) (313 f151) (312
f151) (311 f150) (310 f150) (309 f149) (308 f149) (307 f148)
(306 f148) (305 f147) (304 f147) (303 f146) (302 f146) (301
f145) (300 f145) (299 f144) (298 f144) (297 f143) (296 f143)
(295 f142) (294 f142) (293 f141) (292 f141) (291 f140) (290
f140) (289 f139) (288 f139) (287 f138) (286 f138) (285 f137)
(284 f137) (283 f136) (282 f136) (281 f135) (280 f135) (279
f134) (278 f134) (277 f133) (276 f133) (275 f132) (274 f132)
(273 f131) (272 f131) (271 f130) (270 f130) (269 f129) (268
f129) (267 f128) (266 f128) (265 f127) (264 f127) (263 f126)
(262 f126) (261 f125) (260 f125) (259 f124) (258 f124) (257
f123) (256 f123) (255 f122) (254 f122) (253 f121) (252 f121)
(251 f120) (250 f120) (249 f119) (248 f119) (247 f118) (246
f118) (245 f117) (244 f117) (243 f116) (242 f116) (241 f115)
(240 f115) (239 f114) (238 f114) (237 f113) (236 f113) (235
f112) (234 f112) (233 f111) (232 f111) (231 f110) (230 f110)
(229 f109) (228 f109) (227 f108) (226 f108) (225 f107) (224
f107) (223 f106) (222 f106) (221 f105) (220 f105) (219 f104)
(218 f104) (217 f103) (216 f103) (215 f102) (214 f102) (213
f101) (212 f101) (211 f100) (210 f100) (209 f99) (208 f99) (
207 f98) (206 f98) (205 f97) (204 f97) (203 f96) (202 f96) (
201 f95) (200 f95) (199 f94) (198 f94) (197 f93) (196 f93) (
195 f92) (194 f92) (193 f91) (192 f91) (191 f90) (190 f90) (
189 f89) (188 f89) (187 f88) (186 f88) (185 f87) (184 f87) (
183 f86) (182 f86) (181 f85) (180 f85) (179 f84) (178 f84) (
177 f83) (176 f83) (175 f82) (174 f82) (173 f81) (172 f81) (
171 f80) (170 f80) (169 f79) (168 f79) (167 f78) (166 f78) (
165 f77) (164 f77) (163 f76) (162 f76) (161 f75) (160 f75) (
159 f74) (158 f74) (157 f73) (156 f73) (155 f72) (154 f72) (
153 f71) (152 f71) (151 f70) (150 f70) (149 f69) (148 f69) (
147 f68) (146 f68) (145 f67) (144 f67) (143 f66) (142 f66) (
141 f65) (140 f65) (139 f64) (138 f64) (137 f63) (136 f63) (
135 f62) (134 f62) (133 f61) (132 f61) (131 f60) (130 f60) (
129 f59) (128 f59) (127 f58) (126 f58) (125 f57) (124 f57) (
123 f56) (122 f56) (121 f55) (120 f55) (119 f54) (118 f54) (
117 f53) (116 f53) (115 f52) (114 f52) (113 f51) (112 f51) (
111 f50) (110 f50) (109 f49) (108 f49) (107 f48) (106 f47) (
105 f46) (104 f46) (103 f45) (102 f45) (101 f44) (100 f43) (
99 f43) (98 f42) (97 f42) (96 f41) (95 f41) (94 f40) (93 f40
) (92 f39) (91 f39) (90 f38) (89 f38) (88 f37) (87 f37) (86
f36) (85 f36) (84 f35) (83 f35) (82 f34) (81 f34) (80 f33) (
79 f33) (78 f32) (77 f32) (76 f31) (75 f31) (74 f30) (73 f30
) (72 f29) (71 f29) (70 f28) (69 f28) (68 f27) (67 f27) (66
f26) (65 f26) (64 f25) (63 f25) (62 f24) (61 f24) (60 f23) (
59 f23) (58 f22) (57 f22) (56 f21) (55 f21) (54 f20) (53 f20
) (52 f19) (51 f19) (50 f18) (49 f18) (48 f17) (47 f17) (46
f16) (45 f16) (44 f15) (43 f15) (42 f14) (41 f14) (40 f13) (
39 f13) (38 f12) (37 f12) (36 f11) (35 f11) (34 f10) (33 f10
) (32 f9) (31 f9) (30 f8) (29 f8) (28 f7) (27 f7) (26 f6) (
25 f6) (24 f5) (23 f5) (22 f4) (21 f4) (20 f3) (19 f3) (18 
f2) (17 f2) (16 f1) (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 pr34 pr35 pr36
pr37 pr38 pr39 pr40 pr41 pr42 pr43 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 pr34 pr35 pr36 pr37 pr38 pr39 pr40
pr41 pr42 pr43 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 pr34 pr35 pr36 pr37 pr38 pr39 pr40 pr41 pr42 pr43
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 pr2 pr3) (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:='((107 1) (106 1) (105 1) (104 1) (103
1) (102 1) (101 1) (100 1) (99 1) (98 1) (97 1) (96 1) (95 1
) (94 1) (93 1) (92 1) (91 1) (90 1) (89 1) (88 1) (87 1) (
86 1) (85 1) (84 1) (83 1) (82 1) (81 1) (80 1) (79 1) (78 1
) (77 1) (76 1) (75 1) (74 1) (73 1) (72 1) (71 1) (70 1) (
69 1) (68 1) (67 1) (66 1) (65 1) (64 1) (63 1) (62 1) (61 1
) (60 1) (59 1) (58 1) (57 1) (56 1) (55 1) (54 1) (53 1) (
52 1) (51 1) (50 1) (49 1) (48 1) (47 1) (46 1) (45 1) (44 1
) (43 1) (42 1) (41 1) (40 1) (39 1) (38 1) (37 1) (36 1) (
35 1) (34 1) (33 1) (32 1) (31 1) (30 1) (29 1) (28 1) (27 1
) (26 1) (25 1) (24 1) (23 1) (22 1) (21 1) (20 1) (19 1) (
18 1) (17 1) (12 1) (12 1))
 $
color_vertices:='nil
 $
fcolor_vertices:='nil
 $
bound_pv_list:='nil
 $
fermionprog:='(sf)
 $
bosonprog:='(s11 s1 s0)
 $
propagatorl:='(s4 sf3 sf7 sf5 s11 s1 s0 sf)
 $
splist:='((s11 gs) (s1 w z p) (s0 pr1 pr5 gsg h0) (sf pr2 
pr3 pr6 pr8 pr9 pr13 pr22 pr23 pr26 pr27 pr28 pr29 pr32 pr33
qt qc qu tau mu ef qb qs qd nut numu nue) (sf5 pr10 pr11 
pr17 pr30 pr31 pr36 pr37 pr42 pr43) (sf7 pr16 pr40 pr41) (
sf3 pr7 pr12 pr14 pr15 pr18 pr19 pr20 pr21 pr24 pr25 pr34 
pr35 pr38 pr39) (s4 pr4))
 $
hvvvl:='((597 ((vvv x 597 l r3 r2 vd vc vb va v) (b0 pr1 x 1
r3) (psi5 pr10 x -1 r2 vc vd) (psi7 pr41 x 1 r1 v va vb))) (
596 ((vvv x 596 l r3 r2 vd vc vb va v) (psi7 pr41 x -1 r1 v
va vb) (psi5 pr10 x 1 r2 vc vd) (b0 pr1 x -1 r3))) (595 ((
vvv x 595 l r3 r2 vd vc vb va v) (b0 pr1 x 1 r3) (psi5 pr11
x -1 r2 vc vd) (psi7 pr41 x 1 r1 v va vb))) (594 ((vvv x 594
l r3 r2 vd vc vb va v) (psi7 pr41 x -1 r1 v va vb) (psi5 
pr11 x 1 r2 vc vd) (b0 pr1 x -1 r3))) (593 ((vvv x 593 l r2
vc vb va v) (b4 pr4 x 1 r3 v va vb vc) (psi pr2 x -1 r2) (
psi pr3 x 1 r1))) (592 ((vvv x 592 l r2 vc vb va v) (psi pr3
x -1 r1) (psi pr2 x 1 r2) (b4 pr4 x -1 r3 v va vb vc))) (591
((vvv x 591 l r3 r2 vc vb va v) (b0 pr1 x 1 r3) (psi5 pr10 x
-1 r2 vb vc) (psi5 pr31 x 1 r1 v va))) (590 ((vvv x 590 l r3
r2 vc vb va v) (psi5 pr31 x -1 r1 v va) (psi5 pr10 x 1 r2 vb
vc) (b0 pr1 x -1 r3))) (589 ((vvv x 589 l r3 r2 vc vb va v)
(b0 pr1 x 1 r3) (psi5 pr11 x -1 r2 vb vc) (psi5 pr31 x 1 r1
v va))) (588 ((vvv x 588 l r3 r2 vc vb va v) (psi5 pr31 x -1
r1 v va) (psi5 pr11 x 1 r2 vb vc) (b0 pr1 x -1 r3))) (587 ((
vvv x 587 l r3 r2 vc vb va v) (b0 pr1 x 1 r3) (psi5 pr10 x 
-1 r2 vb vc) (psi5 pr37 x 1 r1 v va))) (586 ((vvv x 586 l r3
r2 vc vb va v) (psi5 pr37 x -1 r1 v va) (psi5 pr10 x 1 r2 vb
vc) (b0 pr1 x -1 r3))) (585 ((vvv x 585 l r3 r2 vc vb va v)
(b0 pr1 x 1 r3) (psi5 pr11 x -1 r2 vb vc) (psi5 pr37 x 1 r1
v va))) (584 ((vvv x 584 l r3 r2 vc vb va v) (psi5 pr37 x -1
r1 v va) (psi5 pr11 x 1 r2 vb vc) (b0 pr1 x -1 r3))) (583 ((
vvv x 583 l r3 r2 vc vb va v) (b0 pr1 x 1 r3) (psi5 pr10 x 
-1 r2 vb vc) (psi5 pr43 x 1 r1 v va))) (582 ((vvv x 582 l r3
r2 vc vb va v) (psi5 pr43 x -1 r1 v va) (psi5 pr10 x 1 r2 vb
vc) (b0 pr1 x -1 r3))) (581 ((vvv x 581 l r3 r2 vc vb va v)
(b0 pr1 x 1 r3) (psi5 pr11 x -1 r2 vb vc) (psi5 pr43 x 1 r1
v va))) (580 ((vvv x 580 l r3 r2 vc vb va v) (psi5 pr43 x -1
r1 v va) (psi5 pr11 x 1 r2 vb vc) (b0 pr1 x -1 r3))) (579 ((
vvv x 579 l r3 r2 vc vb va v) (b0 pr1 x -1 r3) (psi3 pr19 x
-1 r2 vc) (psi7 pr16 x 1 r1 v va vb))) (578 ((vvv x 578 l r3
r2 vc vb va v) (psi7 pr16 x -1 r1 v va vb) (psi3 pr19 x 1 r2
vc) (b0 pr1 x 1 r3))) (577 ((vvv x 577 l r3 r2 vc vb va v) (
b0 pr1 x -1 r3) (psi3 pr21 x -1 r2 vc) (psi7 pr16 x 1 r1 v 
va vb))) (576 ((vvv x 576 l r3 r2 vc vb va v) (psi7 pr16 x 
-1 r1 v va vb) (psi3 pr21 x 1 r2 vc) (b0 pr1 x 1 r3))) (575
((vvv x 575 l r3 r2 vc vb va v) (b0 pr1 x -1 r3) (psi3 pr25
x -1 r2 vc) (psi7 pr16 x 1 r1 v va vb))) (574 ((vvv x 574 l
r3 r2 vc vb va v) (psi7 pr16 x -1 r1 v va vb) (psi3 pr25 x 1
r2 vc) (b0 pr1 x 1 r3))) (573 ((vvv x 573 l r3 r2 vc vb va v
) (b0 pr1 x -1 r3) (psi3 pr19 x -1 r2 vc) (psi7 pr40 x 1 r1
v va vb))) (572 ((vvv x 572 l r3 r2 vc vb va v) (psi7 pr40 x
-1 r1 v va vb) (psi3 pr19 x 1 r2 vc) (b0 pr1 x 1 r3))) (571
((vvv x 571 l r3 r2 vc vb va v) (b0 pr1 x -1 r3) (psi3 pr21
x -1 r2 vc) (psi7 pr40 x 1 r1 v va vb))) (570 ((vvv x 570 l
r3 r2 vc vb va v) (psi7 pr40 x -1 r1 v va vb) (psi3 pr21 x 1
r2 vc) (b0 pr1 x 1 r3))) (569 ((vvv x 569 l r3 r2 vc vb va v
) (b0 pr1 x -1 r3) (psi3 pr25 x -1 r2 vc) (psi7 pr40 x 1 r1
v va vb))) (568 ((vvv x 568 l r3 r2 vc vb va v) (psi7 pr40 x
-1 r1 v va vb) (psi3 pr25 x 1 r2 vc) (b0 pr1 x 1 r3))) (567
((vvv x 567 l r3 r2 vc vb va v) (b0 pr1 x 1 r3) (psi3 pr7 x
-1 r2 vc) (psi7 pr41 x 1 r1 v va vb))) (566 ((vvv x 566 l r3
r2 vc vb va v) (psi7 pr41 x -1 r1 v va vb) (psi3 pr7 x 1 r2
vc) (b0 pr1 x -1 r3))) (565 ((vvv x 565 l r3 r2 vc vb va v)
(b0 pr1 x 1 r3) (psi3 pr12 x -1 r2 vc) (psi7 pr41 x 1 r1 v 
va vb))) (564 ((vvv x 564 l r3 r2 vc vb va v) (psi7 pr41 x 
-1 r1 v va vb) (psi3 pr12 x 1 r2 vc) (b0 pr1 x -1 r3))) (563
((vvv x 563 l r3 r2 vc vb va v) (b0 pr1 x 1 r3) (psi3 pr14 x
-1 r2 vc) (psi7 pr41 x 1 r1 v va vb))) (562 ((vvv x 562 l r3
r2 vc vb va v) (psi7 pr41 x -1 r1 v va vb) (psi3 pr14 x 1 r2
vc) (b0 pr1 x -1 r3))) (561 ((vvv x 561 l r3 r2 vc vb va v)
(b0 pr1 x 1 r3) (psi3 pr18 x -1 r2 vc) (psi7 pr41 x 1 r1 v 
va vb))) (560 ((vvv x 560 l r3 r2 vc vb va v) (psi7 pr41 x 
-1 r1 v va vb) (psi3 pr18 x 1 r2 vc) (b0 pr1 x -1 r3))) (559
((vvv x 559 l r3 r2 vc vb va v) (b0 pr1 x 1 r3) (psi3 pr20 x
-1 r2 vc) (psi7 pr41 x 1 r1 v va vb))) (558 ((vvv x 558 l r3
r2 vc vb va v) (psi7 pr41 x -1 r1 v va vb) (psi3 pr20 x 1 r2
vc) (b0 pr1 x -1 r3))) (557 ((vvv x 557 l r3 r2 vc vb va v)
(b0 pr1 x 1 r3) (psi3 pr24 x -1 r2 vc) (psi7 pr41 x 1 r1 v 
va vb))) (556 ((vvv x 556 l r3 r2 vc vb va v) (psi7 pr41 x 
-1 r1 v va vb) (psi3 pr24 x 1 r2 vc) (b0 pr1 x -1 r3))) (555
((vvv x 555 l r3 r2 vb va v) (b0 pr5 x 0 r3) (psi3 pr18 x -1
r2 vb) (psi5 pr10 x 1 r1 v va))) (554 ((vvv x 554 l r3 r2 vb
va v) (psi5 pr10 x -1 r1 v va) (psi3 pr18 x 1 r2 vb) (b0 pr5
x 0 r3))) (553 ((vvv x 553 l r3 r2 vb va v) (b0 pr1 x -1 r3)
(psi3 pr19 x -1 r2 vb) (psi5 pr10 x 1 r1 v va))) (552 ((vvv
x 552 l r3 r2 vb va v) (psi5 pr10 x -1 r1 v va) (psi3 pr19 x
1 r2 vb) (b0 pr1 x 1 r3))) (551 ((vvv x 551 l r3 r2 vb va v)
(b0 pr1 x -1 r3) (psi3 pr35 x -1 r2 vb) (psi5 pr10 x 1 r1 v
va))) (550 ((vvv x 550 l r3 r2 vb va v) (psi5 pr10 x -1 r1 v
va) (psi3 pr35 x 1 r2 vb) (b0 pr1 x 1 r3))) (549 ((vvv x 549
l r3 r2 vb va v) (b0 pr1 x -1 r3) (psi3 pr39 x -1 r2 vb) (
psi5 pr10 x 1 r1 v va))) (548 ((vvv x 548 l r3 r2 vb va v) (
psi5 pr10 x -1 r1 v va) (psi3 pr39 x 1 r2 vb) (b0 pr1 x 1 r3
))) (547 ((vvv x 547 l r3 r2 vb va v) (b0 pr5 x 0 r3) (psi3
pr18 x -1 r2 vb) (psi5 pr11 x 1 r1 v va))) (546 ((vvv x 546
l r3 r2 vb va v) (psi5 pr11 x -1 r1 v va) (psi3 pr18 x 1 r2
vb) (b0 pr5 x 0 r3))) (545 ((vvv x 545 l r3 r2 vb va v) (b0
pr1 x -1 r3) (psi3 pr19 x -1 r2 vb) (psi5 pr11 x 1 r1 v va))
) (544 ((vvv x 544 l r3 r2 vb va v) (psi5 pr11 x -1 r1 v va)
(psi3 pr19 x 1 r2 vb) (b0 pr1 x 1 r3))) (543 ((vvv x 543 l 
r3 r2 vb va v) (b0 pr1 x -1 r3) (psi3 pr35 x -1 r2 vb) (psi5
pr11 x 1 r1 v va))) (542 ((vvv x 542 l r3 r2 vb va v) (psi5
pr11 x -1 r1 v va) (psi3 pr35 x 1 r2 vb) (b0 pr1 x 1 r3))) (
541 ((vvv x 541 l r3 r2 vb va v) (b0 pr1 x -1 r3) (psi3 pr39
x -1 r2 vb) (psi5 pr11 x 1 r1 v va))) (540 ((vvv x 540 l r3
r2 vb va v) (psi5 pr11 x -1 r1 v va) (psi3 pr39 x 1 r2 vb) (
b0 pr1 x 1 r3))) (539 ((vvv x 539 l r3 r2 vb va v) (b0 pr1 x
-1 r3) (psi3 pr19 x -1 r2 vb) (psi5 pr17 x 1 r1 v va))) (538
((vvv x 538 l r3 r2 vb va v) (psi5 pr17 x -1 r1 v va) (psi3
pr19 x 1 r2 vb) (b0 pr1 x 1 r3))) (537 ((vvv x 537 l r3 r2 
vb va v) (b0 pr1 x -1 r3) (psi3 pr21 x -1 r2 vb) (psi5 pr17
x 1 r1 v va))) (536 ((vvv x 536 l r3 r2 vb va v) (psi5 pr17
x -1 r1 v va) (psi3 pr21 x 1 r2 vb) (b0 pr1 x 1 r3))) (535 (
(vvv x 535 l r3 r2 vb va v) (b0 pr1 x -1 r3) (psi3 pr25 x -1
r2 vb) (psi5 pr17 x 1 r1 v va))) (534 ((vvv x 534 l r3 r2 vb
va v) (psi5 pr17 x -1 r1 v va) (psi3 pr25 x 1 r2 vb) (b0 pr1
x 1 r3))) (533 ((vvv x 533 l r3 r2 vb va v) (b0 pr1 x -1 r3)
(psi3 pr19 x -1 r2 vb) (psi5 pr30 x 1 r1 v va))) (532 ((vvv
x 532 l r3 r2 vb va v) (psi5 pr30 x -1 r1 v va) (psi3 pr19 x
1 r2 vb) (b0 pr1 x 1 r3))) (531 ((vvv x 531 l r3 r2 vb va v)
(b0 pr1 x -1 r3) (psi3 pr21 x -1 r2 vb) (psi5 pr30 x 1 r1 v
va))) (530 ((vvv x 530 l r3 r2 vb va v) (psi5 pr30 x -1 r1 v
va) (psi3 pr21 x 1 r2 vb) (b0 pr1 x 1 r3))) (529 ((vvv x 529
l r3 r2 vb va v) (b0 pr1 x -1 r3) (psi3 pr25 x -1 r2 vb) (
psi5 pr30 x 1 r1 v va))) (528 ((vvv x 528 l r3 r2 vb va v) (
psi5 pr30 x -1 r1 v va) (psi3 pr25 x 1 r2 vb) (b0 pr1 x 1 r3
))) (527 ((vvv x 527 l r3 r2 vb va v) (b0 pr1 x 1 r3) (psi3
pr7 x -1 r2 vb) (psi5 pr31 x 1 r1 v va))) (526 ((vvv x 526 l
r3 r2 vb va v) (psi5 pr31 x -1 r1 v va) (psi3 pr7 x 1 r2 vb)
(b0 pr1 x -1 r3))) (525 ((vvv x 525 l r3 r2 vb va v) (b0 pr1
x 1 r3) (psi3 pr12 x -1 r2 vb) (psi5 pr31 x 1 r1 v va))) (
524 ((vvv x 524 l r3 r2 vb va v) (psi5 pr31 x -1 r1 v va) (
psi3 pr12 x 1 r2 vb) (b0 pr1 x -1 r3))) (523 ((vvv x 523 l 
r3 r2 vb va v) (b0 pr1 x 1 r3) (psi3 pr14 x -1 r2 vb) (psi5
pr31 x 1 r1 v va))) (522 ((vvv x 522 l r3 r2 vb va v) (psi5
pr31 x -1 r1 v va) (psi3 pr14 x 1 r2 vb) (b0 pr1 x -1 r3)))
(521 ((vvv x 521 l r3 r2 vb va v) (b0 pr1 x 1 r3) (psi3 pr18
x -1 r2 vb) (psi5 pr31 x 1 r1 v va))) (520 ((vvv x 520 l r3
r2 vb va v) (psi5 pr31 x -1 r1 v va) (psi3 pr18 x 1 r2 vb) (
b0 pr1 x -1 r3))) (519 ((vvv x 519 l r3 r2 vb va v) (b0 pr1
x 1 r3) (psi3 pr20 x -1 r2 vb) (psi5 pr31 x 1 r1 v va))) (
518 ((vvv x 518 l r3 r2 vb va v) (psi5 pr31 x -1 r1 v va) (
psi3 pr20 x 1 r2 vb) (b0 pr1 x -1 r3))) (517 ((vvv x 517 l 
r3 r2 vb va v) (b0 pr1 x 1 r3) (psi3 pr24 x -1 r2 vb) (psi5
pr31 x 1 r1 v va))) (516 ((vvv x 516 l r3 r2 vb va v) (psi5
pr31 x -1 r1 v va) (psi3 pr24 x 1 r2 vb) (b0 pr1 x -1 r3)))
(515 ((vvv x 515 l r3 r2 vb va v) (b0 pr1 x -1 r3) (psi3 
pr19 x -1 r2 vb) (psi5 pr36 x 1 r1 v va))) (514 ((vvv x 514
l r3 r2 vb va v) (psi5 pr36 x -1 r1 v va) (psi3 pr19 x 1 r2
vb) (b0 pr1 x 1 r3))) (513 ((vvv x 513 l r3 r2 vb va v) (b0
pr1 x -1 r3) (psi3 pr21 x -1 r2 vb) (psi5 pr36 x 1 r1 v va))
) (512 ((vvv x 512 l r3 r2 vb va v) (psi5 pr36 x -1 r1 v va)
(psi3 pr21 x 1 r2 vb) (b0 pr1 x 1 r3))) (511 ((vvv x 511 l 
r3 r2 vb va v) (b0 pr1 x -1 r3) (psi3 pr25 x -1 r2 vb) (psi5
pr36 x 1 r1 v va))) (510 ((vvv x 510 l r3 r2 vb va v) (psi5
pr36 x -1 r1 v va) (psi3 pr25 x 1 r2 vb) (b0 pr1 x 1 r3))) (
509 ((vvv x 509 l r3 r2 vb va v) (b0 pr1 x 1 r3) (psi3 pr7 x
-1 r2 vb) (psi5 pr37 x 1 r1 v va))) (508 ((vvv x 508 l r3 r2
vb va v) (psi5 pr37 x -1 r1 v va) (psi3 pr7 x 1 r2 vb) (b0 
pr1 x -1 r3))) (507 ((vvv x 507 l r3 r2 vb va v) (b0 pr1 x 1
r3) (psi3 pr12 x -1 r2 vb) (psi5 pr37 x 1 r1 v va))) (506 ((
vvv x 506 l r3 r2 vb va v) (psi5 pr37 x -1 r1 v va) (psi3 
pr12 x 1 r2 vb) (b0 pr1 x -1 r3))) (505 ((vvv x 505 l r3 r2
vb va v) (b0 pr1 x 1 r3) (psi3 pr14 x -1 r2 vb) (psi5 pr37 x
1 r1 v va))) (504 ((vvv x 504 l r3 r2 vb va v) (psi5 pr37 x
-1 r1 v va) (psi3 pr14 x 1 r2 vb) (b0 pr1 x -1 r3))) (503 ((
vvv x 503 l r3 r2 vb va v) (b0 pr1 x 1 r3) (psi3 pr18 x -1 
r2 vb) (psi5 pr37 x 1 r1 v va))) (502 ((vvv x 502 l r3 r2 vb
va v) (psi5 pr37 x -1 r1 v va) (psi3 pr18 x 1 r2 vb) (b0 pr1
x -1 r3))) (501 ((vvv x 501 l r3 r2 vb va v) (b0 pr1 x 1 r3)
(psi3 pr20 x -1 r2 vb) (psi5 pr37 x 1 r1 v va))) (500 ((vvv
x 500 l r3 r2 vb va v) (psi5 pr37 x -1 r1 v va) (psi3 pr20 x
1 r2 vb) (b0 pr1 x -1 r3))) (499 ((vvv x 499 l r3 r2 vb va v
) (b0 pr1 x 1 r3) (psi3 pr24 x -1 r2 vb) (psi5 pr37 x 1 r1 v
va))) (498 ((vvv x 498 l r3 r2 vb va v) (psi5 pr37 x -1 r1 v
va) (psi3 pr24 x 1 r2 vb) (b0 pr1 x -1 r3))) (497 ((vvv x 
497 l r3 r2 vb va v) (b0 pr1 x -1 r3) (psi3 pr19 x -1 r2 vb)
(psi5 pr42 x 1 r1 v va))) (496 ((vvv x 496 l r3 r2 vb va v)
(psi5 pr42 x -1 r1 v va) (psi3 pr19 x 1 r2 vb) (b0 pr1 x 1 
r3))) (495 ((vvv x 495 l r3 r2 vb va v) (b0 pr1 x -1 r3) (
psi3 pr21 x -1 r2 vb) (psi5 pr42 x 1 r1 v va))) (494 ((vvv x
494 l r3 r2 vb va v) (psi5 pr42 x -1 r1 v va) (psi3 pr21 x 1
r2 vb) (b0 pr1 x 1 r3))) (493 ((vvv x 493 l r3 r2 vb va v) (
b0 pr1 x -1 r3) (psi3 pr25 x -1 r2 vb) (psi5 pr42 x 1 r1 v 
va))) (492 ((vvv x 492 l r3 r2 vb va v) (psi5 pr42 x -1 r1 v
va) (psi3 pr25 x 1 r2 vb) (b0 pr1 x 1 r3))) (491 ((vvv x 491
l r3 r2 vb va v) (b0 pr1 x 1 r3) (psi3 pr7 x -1 r2 vb) (psi5
pr43 x 1 r1 v va))) (490 ((vvv x 490 l r3 r2 vb va v) (psi5
pr43 x -1 r1 v va) (psi3 pr7 x 1 r2 vb) (b0 pr1 x -1 r3))) (
489 ((vvv x 489 l r3 r2 vb va v) (b0 pr1 x 1 r3) (psi3 pr12
x -1 r2 vb) (psi5 pr43 x 1 r1 v va))) (488 ((vvv x 488 l r3
r2 vb va v) (psi5 pr43 x -1 r1 v va) (psi3 pr12 x 1 r2 vb) (
b0 pr1 x -1 r3))) (487 ((vvv x 487 l r3 r2 vb va v) (b0 pr1
x 1 r3) (psi3 pr14 x -1 r2 vb) (psi5 pr43 x 1 r1 v va))) (
486 ((vvv x 486 l r3 r2 vb va v) (psi5 pr43 x -1 r1 v va) (
psi3 pr14 x 1 r2 vb) (b0 pr1 x -1 r3))) (485 ((vvv x 485 l 
r3 r2 vb va v) (b0 pr1 x 1 r3) (psi3 pr18 x -1 r2 vb) (psi5
pr43 x 1 r1 v va))) (484 ((vvv x 484 l r3 r2 vb va v) (psi5
pr43 x -1 r1 v va) (psi3 pr18 x 1 r2 vb) (b0 pr1 x -1 r3)))
(483 ((vvv x 483 l r3 r2 vb va v) (b0 pr1 x 1 r3) (psi3 pr20
x -1 r2 vb) (psi5 pr43 x 1 r1 v va))) (482 ((vvv x 482 l r3
r2 vb va v) (psi5 pr43 x -1 r1 v va) (psi3 pr20 x 1 r2 vb) (
b0 pr1 x -1 r3))) (481 ((vvv x 481 l r3 r2 vb va v) (b0 pr1
x 1 r3) (psi3 pr24 x -1 r2 vb) (psi5 pr43 x 1 r1 v va))) (
480 ((vvv x 480 l r3 r2 vb va v) (psi5 pr43 x -1 r1 v va) (
psi3 pr24 x 1 r2 vb) (b0 pr1 x -1 r3))) (479 ((vvv x 479 l 
r2 vb va v) (b0 pr5 x 0 r3) (psi pr2 x -1 r2) (psi7 pr16 x 1
r1 v va vb))) (478 ((vvv x 478 l r2 vb va v) (psi7 pr16 x -1
r1 v va vb) (psi pr2 x 1 r2) (b0 pr5 x 0 r3))) (477 ((vvv x
477 l r2 vb va v) (b0 pr1 x -1 r3) (psi pr3 x -1 r2) (psi7 
pr16 x 1 r1 v va vb))) (476 ((vvv x 476 l r2 vb va v) (psi7
pr16 x -1 r1 v va vb) (psi pr3 x 1 r2) (b0 pr1 x 1 r3))) (
475 ((vvv x 475 l r2 vb va v) (b0 pr1 x -1 r3) (psi pr23 x 
-1 r2) (psi7 pr16 x 1 r1 v va vb))) (474 ((vvv x 474 l r2 vb
va v) (psi7 pr16 x -1 r1 v va vb) (psi pr23 x 1 r2) (b0 pr1
x 1 r3))) (473 ((vvv x 473 l r2 vb va v) (b0 pr1 x -1 r3) (
psi pr27 x -1 r2) (psi7 pr16 x 1 r1 v va vb))) (472 ((vvv x
472 l r2 vb va v) (psi7 pr16 x -1 r1 v va vb) (psi pr27 x 1
r2) (b0 pr1 x 1 r3))) (471 ((vvv x 471 l r2 vb va v) (b0 pr5
x 0 r3) (psi pr2 x -1 r2) (psi7 pr40 x 1 r1 v va vb))) (470
((vvv x 470 l r2 vb va v) (psi7 pr40 x -1 r1 v va vb) (psi 
pr2 x 1 r2) (b0 pr5 x 0 r3))) (469 ((vvv x 469 l r2 vb va v)
(b0 pr1 x -1 r3) (psi pr3 x -1 r2) (psi7 pr40 x 1 r1 v va vb
))) (468 ((vvv x 468 l r2 vb va v) (psi7 pr40 x -1 r1 v va 
vb) (psi pr3 x 1 r2) (b0 pr1 x 1 r3))) (467 ((vvv x 467 l r2
vb va v) (b0 pr1 x -1 r3) (psi pr23 x -1 r2) (psi7 pr40 x 1
r1 v va vb))) (466 ((vvv x 466 l r2 vb va v) (psi7 pr40 x -1
r1 v va vb) (psi pr23 x 1 r2) (b0 pr1 x 1 r3))) (465 ((vvv x
465 l r2 vb va v) (b0 pr1 x -1 r3) (psi pr27 x -1 r2) (psi7
pr40 x 1 r1 v va vb))) (464 ((vvv x 464 l r2 vb va v) (psi7
pr40 x -1 r1 v va vb) (psi pr27 x 1 r2) (b0 pr1 x 1 r3))) (
463 ((vvv x 463 l r2 vb va v) (b0 pr1 x 1 r3) (psi pr2 x -1
r2) (psi7 pr41 x 1 r1 v va vb))) (462 ((vvv x 462 l r2 vb va
v) (psi7 pr41 x -1 r1 v va vb) (psi pr2 x 1 r2) (b0 pr1 x -1
r3))) (461 ((vvv x 461 l r2 vb va v) (b0 pr5 x 0 r3) (psi 
pr3 x -1 r2) (psi7 pr41 x 1 r1 v va vb))) (460 ((vvv x 460 l
r2 vb va v) (psi7 pr41 x -1 r1 v va vb) (psi pr3 x 1 r2) (b0
pr5 x 0 r3))) (459 ((vvv x 459 l r2 vb va v) (b0 pr1 x 1 r3)
(psi pr6 x -1 r2) (psi7 pr41 x 1 r1 v va vb))) (458 ((vvv x
458 l r2 vb va v) (psi7 pr41 x -1 r1 v va vb) (psi pr6 x 1 
r2) (b0 pr1 x -1 r3))) (457 ((vvv x 457 l r2 vb va v) (b0 
pr1 x 1 r3) (psi pr8 x -1 r2) (psi7 pr41 x 1 r1 v va vb))) (
456 ((vvv x 456 l r2 vb va v) (psi7 pr41 x -1 r1 v va vb) (
psi pr8 x 1 r2) (b0 pr1 x -1 r3))) (455 ((vvv x 455 l r2 vb
va v) (b0 pr1 x 1 r3) (psi pr9 x -1 r2) (psi7 pr41 x 1 r1 v
va vb))) (454 ((vvv x 454 l r2 vb va v) (psi7 pr41 x -1 r1 v
va vb) (psi pr9 x 1 r2) (b0 pr1 x -1 r3))) (453 ((vvv x 453
l r2 vb va v) (b0 pr1 x 1 r3) (psi pr13 x -1 r2) (psi7 pr41
x 1 r1 v va vb))) (452 ((vvv x 452 l r2 vb va v) (psi7 pr41
x -1 r1 v va vb) (psi pr13 x 1 r2) (b0 pr1 x -1 r3))) (451 (
(vvv x 451 l r2 vb va v) (b0 pr1 x 1 r3) (psi pr22 x -1 r2)
(psi7 pr41 x 1 r1 v va vb))) (450 ((vvv x 450 l r2 vb va v)
(psi7 pr41 x -1 r1 v va vb) (psi pr22 x 1 r2) (b0 pr1 x -1 
r3))) (449 ((vvv x 449 l r2 vb va v) (b0 pr1 x 1 r3) (psi 
pr26 x -1 r2) (psi7 pr41 x 1 r1 v va vb))) (448 ((vvv x 448
l r2 vb va v) (psi7 pr41 x -1 r1 v va vb) (psi pr26 x 1 r2)
(b0 pr1 x -1 r3))) (447 ((vvv x 447 l r3 r2 va v) (b0 pr5 x
0 r3) (psi3 pr7 x -1 r2 va) (psi3 pr18 x 1 r1 v))) (446 ((
vvv x 446 l r3 r2 va v) (psi3 pr18 x -1 r1 v) (psi3 pr7 x 1
r2 va) (b0 pr5 x 0 r3))) (445 ((vvv x 445 l r3 r2 va v) (b0
pr5 x 0 r3) (psi3 pr12 x -1 r2 va) (psi3 pr18 x 1 r1 v))) (
444 ((vvv x 444 l r3 r2 va v) (psi3 pr18 x -1 r1 v) (psi3 
pr12 x 1 r2 va) (b0 pr5 x 0 r3))) (443 ((vvv x 443 l r3 r2 
va v) (b0 pr5 x 0 r3) (psi3 pr14 x -1 r2 va) (psi3 pr18 x 1
r1 v))) (442 ((vvv x 442 l r3 r2 va v) (psi3 pr18 x -1 r1 v)
(psi3 pr14 x 1 r2 va) (b0 pr5 x 0 r3))) (441 ((vvv x 441 l 
r3 r2 va v) (psi3 pr18 x -1 r1 v) (psi3 pr18 x 1 r2 va) (b0
pr5 x 0 r3))) (440 ((vvv x 440 l r3 r2 va v) (b0 pr1 x 1 r3)
(psi3 pr7 x -1 r2 va) (psi3 pr19 x 1 r1 v))) (439 ((vvv x 
439 l r3 r2 va v) (psi3 pr19 x -1 r1 v) (psi3 pr7 x 1 r2 va)
(b0 pr1 x -1 r3))) (438 ((vvv x 438 l r3 r2 va v) (b0 pr1 x
1 r3) (psi3 pr12 x -1 r2 va) (psi3 pr19 x 1 r1 v))) (437 ((
vvv x 437 l r3 r2 va v) (psi3 pr19 x -1 r1 v) (psi3 pr12 x 1
r2 va) (b0 pr1 x -1 r3))) (436 ((vvv x 436 l r3 r2 va v) (b0
pr1 x 1 r3) (psi3 pr14 x -1 r2 va) (psi3 pr19 x 1 r1 v))) (
435 ((vvv x 435 l r3 r2 va v) (psi3 pr19 x -1 r1 v) (psi3 
pr14 x 1 r2 va) (b0 pr1 x -1 r3))) (434 ((vvv x 434 l r3 r2
va v) (b0 pr1 x 1 r3) (psi3 pr15 x -1 r2 va) (psi3 pr19 x 1
r1 v))) (433 ((vvv x 433 l r3 r2 va v) (psi3 pr19 x -1 r1 v)
(psi3 pr15 x 1 r2 va) (b0 pr1 x -1 r3))) (432 ((vvv x 432 l
r3 r2 va v) (psi3 pr19 x -1 r1 v) (psi3 pr19 x 1 r2 va) (b0
pr5 x 0 r3))) (431 ((vvv x 431 l r3 r2 va v) (b0 pr5 x 0 r3)
(psi3 pr18 x -1 r2 va) (psi3 pr20 x 1 r1 v))) (430 ((vvv x 
430 l r3 r2 va v) (psi3 pr20 x -1 r1 v) (psi3 pr18 x 1 r2 va
) (b0 pr5 x 0 r3))) (429 ((vvv x 429 l r3 r2 va v) (b0 pr1 x
-1 r3) (psi3 pr19 x -1 r2 va) (psi3 pr20 x 1 r1 v))) (428 ((
vvv x 428 l r3 r2 va v) (psi3 pr20 x -1 r1 v) (psi3 pr19 x 1
r2 va) (b0 pr1 x 1 r3))) (427 ((vvv x 427 l r3 r2 va v) (b0
pr1 x 1 r3) (psi3 pr15 x -1 r2 va) (psi3 pr21 x 1 r1 v))) (
426 ((vvv x 426 l r3 r2 va v) (psi3 pr21 x -1 r1 v) (psi3 
pr15 x 1 r2 va) (b0 pr1 x -1 r3))) (425 ((vvv x 425 l r3 r2
va v) (b0 pr1 x 1 r3) (psi3 pr18 x -1 r2 va) (psi3 pr21 x 1
r1 v))) (424 ((vvv x 424 l r3 r2 va v) (psi3 pr21 x -1 r1 v)
(psi3 pr18 x 1 r2 va) (b0 pr1 x -1 r3))) (423 ((vvv x 423 l
r3 r2 va v) (b0 pr5 x 0 r3) (psi3 pr19 x -1 r2 va) (psi3 
pr21 x 1 r1 v))) (422 ((vvv x 422 l r3 r2 va v) (psi3 pr21 x
-1 r1 v) (psi3 pr19 x 1 r2 va) (b0 pr5 x 0 r3))) (421 ((vvv
x 421 l r3 r2 va v) (b0 pr5 x 0 r3) (psi3 pr18 x -1 r2 va) (
psi3 pr24 x 1 r1 v))) (420 ((vvv x 420 l r3 r2 va v) (psi3 
pr24 x -1 r1 v) (psi3 pr18 x 1 r2 va) (b0 pr5 x 0 r3))) (419
((vvv x 419 l r3 r2 va v) (b0 pr1 x -1 r3) (psi3 pr19 x -1 
r2 va) (psi3 pr24 x 1 r1 v))) (418 ((vvv x 418 l r3 r2 va v)
(psi3 pr24 x -1 r1 v) (psi3 pr19 x 1 r2 va) (b0 pr1 x 1 r3))
) (417 ((vvv x 417 l r3 r2 va v) (b0 pr1 x 1 r3) (psi3 pr7 x
-1 r2 va) (psi3 pr25 x 1 r1 v))) (416 ((vvv x 416 l r3 r2 va
v) (psi3 pr25 x -1 r1 v) (psi3 pr7 x 1 r2 va) (b0 pr1 x -1 
r3))) (415 ((vvv x 415 l r3 r2 va v) (b0 pr1 x 1 r3) (psi3 
pr15 x -1 r2 va) (psi3 pr25 x 1 r1 v))) (414 ((vvv x 414 l 
r3 r2 va v) (psi3 pr25 x -1 r1 v) (psi3 pr15 x 1 r2 va) (b0
pr1 x -1 r3))) (413 ((vvv x 413 l r3 r2 va v) (b0 pr1 x 1 r3
) (psi3 pr18 x -1 r2 va) (psi3 pr25 x 1 r1 v))) (412 ((vvv x
412 l r3 r2 va v) (psi3 pr25 x -1 r1 v) (psi3 pr18 x 1 r2 va
) (b0 pr1 x -1 r3))) (411 ((vvv x 411 l r3 r2 va v) (b0 pr5
x 0 r3) (psi3 pr19 x -1 r2 va) (psi3 pr25 x 1 r1 v))) (410 (
(vvv x 410 l r3 r2 va v) (psi3 pr25 x -1 r1 v) (psi3 pr19 x
1 r2 va) (b0 pr5 x 0 r3))) (409 ((vvv x 409 l r3 r2 va v) (
b0 pr1 x -1 r3) (psi3 pr19 x -1 r2 va) (psi3 pr34 x 1 r1 v))
) (408 ((vvv x 408 l r3 r2 va v) (psi3 pr34 x -1 r1 v) (psi3
pr19 x 1 r2 va) (b0 pr1 x 1 r3))) (407 ((vvv x 407 l r3 r2 
va v) (b0 pr1 x -1 r3) (psi3 pr21 x -1 r2 va) (psi3 pr34 x 1
r1 v))) (406 ((vvv x 406 l r3 r2 va v) (psi3 pr34 x -1 r1 v)
(psi3 pr21 x 1 r2 va) (b0 pr1 x 1 r3))) (405 ((vvv x 405 l 
r3 r2 va v) (b0 pr1 x -1 r3) (psi3 pr25 x -1 r2 va) (psi3 
pr34 x 1 r1 v))) (404 ((vvv x 404 l r3 r2 va v) (psi3 pr34 x
-1 r1 v) (psi3 pr25 x 1 r2 va) (b0 pr1 x 1 r3))) (403 ((vvv
x 403 l r3 r2 va v) (b0 pr1 x 1 r3) (psi3 pr7 x -1 r2 va) (
psi3 pr35 x 1 r1 v))) (402 ((vvv x 402 l r3 r2 va v) (psi3 
pr35 x -1 r1 v) (psi3 pr7 x 1 r2 va) (b0 pr1 x -1 r3))) (401
((vvv x 401 l r3 r2 va v) (b0 pr1 x 1 r3) (psi3 pr12 x -1 r2
va) (psi3 pr35 x 1 r1 v))) (400 ((vvv x 400 l r3 r2 va v) (
psi3 pr35 x -1 r1 v) (psi3 pr12 x 1 r2 va) (b0 pr1 x -1 r3))
) (399 ((vvv x 399 l r3 r2 va v) (b0 pr1 x 1 r3) (psi3 pr14
x -1 r2 va) (psi3 pr35 x 1 r1 v))) (398 ((vvv x 398 l r3 r2
va v) (psi3 pr35 x -1 r1 v) (psi3 pr14 x 1 r2 va) (b0 pr1 x
-1 r3))) (397 ((vvv x 397 l r3 r2 va v) (b0 pr1 x 1 r3) (
psi3 pr18 x -1 r2 va) (psi3 pr35 x 1 r1 v))) (396 ((vvv x 
396 l r3 r2 va v) (psi3 pr35 x -1 r1 v) (psi3 pr18 x 1 r2 va
) (b0 pr1 x -1 r3))) (395 ((vvv x 395 l r3 r2 va v) (b0 pr1
x 1 r3) (psi3 pr20 x -1 r2 va) (psi3 pr35 x 1 r1 v))) (394 (
(vvv x 394 l r3 r2 va v) (psi3 pr35 x -1 r1 v) (psi3 pr20 x
1 r2 va) (b0 pr1 x -1 r3))) (393 ((vvv x 393 l r3 r2 va v) (
b0 pr1 x 1 r3) (psi3 pr24 x -1 r2 va) (psi3 pr35 x 1 r1 v)))
(392 ((vvv x 392 l r3 r2 va v) (psi3 pr35 x -1 r1 v) (psi3 
pr24 x 1 r2 va) (b0 pr1 x -1 r3))) (391 ((vvv x 391 l r3 r2
va v) (b0 pr1 x -1 r3) (psi3 pr19 x -1 r2 va) (psi3 pr38 x 1
r1 v))) (390 ((vvv x 390 l r3 r2 va v) (psi3 pr38 x -1 r1 v)
(psi3 pr19 x 1 r2 va) (b0 pr1 x 1 r3))) (389 ((vvv x 389 l 
r3 r2 va v) (b0 pr1 x -1 r3) (psi3 pr21 x -1 r2 va) (psi3 
pr38 x 1 r1 v))) (388 ((vvv x 388 l r3 r2 va v) (psi3 pr38 x
-1 r1 v) (psi3 pr21 x 1 r2 va) (b0 pr1 x 1 r3))) (387 ((vvv
x 387 l r3 r2 va v) (b0 pr1 x -1 r3) (psi3 pr25 x -1 r2 va)
(psi3 pr38 x 1 r1 v))) (386 ((vvv x 386 l r3 r2 va v) (psi3
pr38 x -1 r1 v) (psi3 pr25 x 1 r2 va) (b0 pr1 x 1 r3))) (385
((vvv x 385 l r3 r2 va v) (b0 pr1 x 1 r3) (psi3 pr7 x -1 r2
va) (psi3 pr39 x 1 r1 v))) (384 ((vvv x 384 l r3 r2 va v) (
psi3 pr39 x -1 r1 v) (psi3 pr7 x 1 r2 va) (b0 pr1 x -1 r3)))
(383 ((vvv x 383 l r3 r2 va v) (b0 pr1 x 1 r3) (psi3 pr12 x
-1 r2 va) (psi3 pr39 x 1 r1 v))) (382 ((vvv x 382 l r3 r2 va
v) (psi3 pr39 x -1 r1 v) (psi3 pr12 x 1 r2 va) (b0 pr1 x -1
r3))) (381 ((vvv x 381 l r3 r2 va v) (b0 pr1 x 1 r3) (psi3 
pr14 x -1 r2 va) (psi3 pr39 x 1 r1 v))) (380 ((vvv x 380 l 
r3 r2 va v) (psi3 pr39 x -1 r1 v) (psi3 pr14 x 1 r2 va) (b0
pr1 x -1 r3))) (379 ((vvv x 379 l r3 r2 va v) (b0 pr1 x 1 r3
) (psi3 pr18 x -1 r2 va) (psi3 pr39 x 1 r1 v))) (378 ((vvv x
378 l r3 r2 va v) (psi3 pr39 x -1 r1 v) (psi3 pr18 x 1 r2 va
) (b0 pr1 x -1 r3))) (377 ((vvv x 377 l r3 r2 va v) (b0 pr1
x 1 r3) (psi3 pr20 x -1 r2 va) (psi3 pr39 x 1 r1 v))) (376 (
(vvv x 376 l r3 r2 va v) (psi3 pr39 x -1 r1 v) (psi3 pr20 x
1 r2 va) (b0 pr1 x -1 r3))) (375 ((vvv x 375 l r3 r2 va v) (
b0 pr1 x 1 r3) (psi3 pr24 x -1 r2 va) (psi3 pr39 x 1 r1 v)))
(374 ((vvv x 374 l r3 r2 va v) (psi3 pr39 x -1 r1 v) (psi3 
pr24 x 1 r2 va) (b0 pr1 x -1 r3))) (373 ((vvv x 373 l r2 va
v) (b0 pr5 x 0 r3) (psi pr2 x -1 r2) (psi5 pr10 x 1 r1 v va)
)) (372 ((vvv x 372 l r2 va v) (psi5 pr10 x -1 r1 v va) (psi
pr2 x 1 r2) (b0 pr5 x 0 r3))) (371 ((vvv x 371 l r2 va v) (
b0 pr1 x -1 r3) (psi pr3 x -1 r2) (psi5 pr10 x 1 r1 v va)))
(370 ((vvv x 370 l r2 va v) (psi5 pr10 x -1 r1 v va) (psi 
pr3 x 1 r2) (b0 pr1 x 1 r3))) (369 ((vvv x 369 l r2 va v) (
b0 pr1 x -1 r3) (psi pr29 x -1 r2) (psi5 pr10 x 1 r1 v va)))
(368 ((vvv x 368 l r2 va v) (psi5 pr10 x -1 r1 v va) (psi 
pr29 x 1 r2) (b0 pr1 x 1 r3))) (367 ((vvv x 367 l r2 va v) (
b0 pr1 x -1 r3) (psi pr33 x -1 r2) (psi5 pr10 x 1 r1 v va)))
(366 ((vvv x 366 l r2 va v) (psi5 pr10 x -1 r1 v va) (psi 
pr33 x 1 r2) (b0 pr1 x 1 r3))) (365 ((vvv x 365 l r2 va v) (
b0 pr5 x 0 r3) (psi pr2 x -1 r2) (psi5 pr11 x 1 r1 v va))) (
364 ((vvv x 364 l r2 va v) (psi5 pr11 x -1 r1 v va) (psi pr2
x 1 r2) (b0 pr5 x 0 r3))) (363 ((vvv x 363 l r2 va v) (b0 
pr1 x -1 r3) (psi pr3 x -1 r2) (psi5 pr11 x 1 r1 v va))) (
362 ((vvv x 362 l r2 va v) (psi5 pr11 x -1 r1 v va) (psi pr3
x 1 r2) (b0 pr1 x 1 r3))) (361 ((vvv x 361 l r2 va v) (b0 
pr1 x -1 r3) (psi pr29 x -1 r2) (psi5 pr11 x 1 r1 v va))) (
360 ((vvv x 360 l r2 va v) (psi5 pr11 x -1 r1 v va) (psi 
pr29 x 1 r2) (b0 pr1 x 1 r3))) (359 ((vvv x 359 l r2 va v) (
b0 pr1 x -1 r3) (psi pr33 x -1 r2) (psi5 pr11 x 1 r1 v va)))
(358 ((vvv x 358 l r2 va v) (psi5 pr11 x -1 r1 v va) (psi 
pr33 x 1 r2) (b0 pr1 x 1 r3))) (357 ((vvv x 357 l r2 va v) (
b0 pr5 x 0 r3) (psi pr2 x -1 r2) (psi5 pr17 x 1 r1 v va))) (
356 ((vvv x 356 l r2 va v) (psi5 pr17 x -1 r1 v va) (psi pr2
x 1 r2) (b0 pr5 x 0 r3))) (355 ((vvv x 355 l r2 va v) (b0 
pr1 x -1 r3) (psi pr3 x -1 r2) (psi5 pr17 x 1 r1 v va))) (
354 ((vvv x 354 l r2 va v) (psi5 pr17 x -1 r1 v va) (psi pr3
x 1 r2) (b0 pr1 x 1 r3))) (353 ((vvv x 353 l r2 va v) (b0 
pr1 x -1 r3) (psi pr23 x -1 r2) (psi5 pr17 x 1 r1 v va))) (
352 ((vvv x 352 l r2 va v) (psi5 pr17 x -1 r1 v va) (psi 
pr23 x 1 r2) (b0 pr1 x 1 r3))) (351 ((vvv x 351 l r2 va v) (
b0 pr1 x -1 r3) (psi pr27 x -1 r2) (psi5 pr17 x 1 r1 v va)))
(350 ((vvv x 350 l r2 va v) (psi5 pr17 x -1 r1 v va) (psi 
pr27 x 1 r2) (b0 pr1 x 1 r3))) (349 ((vvv x 349 l r2 va v) (
b0 pr5 x 0 r3) (psi pr2 x -1 r2) (psi5 pr30 x 1 r1 v va))) (
348 ((vvv x 348 l r2 va v) (psi5 pr30 x -1 r1 v va) (psi pr2
x 1 r2) (b0 pr5 x 0 r3))) (347 ((vvv x 347 l r2 va v) (b0 
pr1 x -1 r3) (psi pr3 x -1 r2) (psi5 pr30 x 1 r1 v va))) (
346 ((vvv x 346 l r2 va v) (psi5 pr30 x -1 r1 v va) (psi pr3
x 1 r2) (b0 pr1 x 1 r3))) (345 ((vvv x 345 l r2 va v) (b0 
pr1 x -1 r3) (psi pr23 x -1 r2) (psi5 pr30 x 1 r1 v va))) (
344 ((vvv x 344 l r2 va v) (psi5 pr30 x -1 r1 v va) (psi 
pr23 x 1 r2) (b0 pr1 x 1 r3))) (343 ((vvv x 343 l r2 va v) (
b0 pr1 x -1 r3) (psi pr27 x -1 r2) (psi5 pr30 x 1 r1 v va)))
(342 ((vvv x 342 l r2 va v) (psi5 pr30 x -1 r1 v va) (psi 
pr27 x 1 r2) (b0 pr1 x 1 r3))) (341 ((vvv x 341 l r2 va v) (
b0 pr1 x 1 r3) (psi pr2 x -1 r2) (psi5 pr31 x 1 r1 v va))) (
340 ((vvv x 340 l r2 va v) (psi5 pr31 x -1 r1 v va) (psi pr2
x 1 r2) (b0 pr1 x -1 r3))) (339 ((vvv x 339 l r2 va v) (b0 
pr5 x 0 r3) (psi pr3 x -1 r2) (psi5 pr31 x 1 r1 v va))) (338
((vvv x 338 l r2 va v) (psi5 pr31 x -1 r1 v va) (psi pr3 x 1
r2) (b0 pr5 x 0 r3))) (337 ((vvv x 337 l r2 va v) (b0 pr1 x
1 r3) (psi pr6 x -1 r2) (psi5 pr31 x 1 r1 v va))) (336 ((vvv
x 336 l r2 va v) (psi5 pr31 x -1 r1 v va) (psi pr6 x 1 r2) (
b0 pr1 x -1 r3))) (335 ((vvv x 335 l r2 va v) (b0 pr1 x 1 r3
) (psi pr8 x -1 r2) (psi5 pr31 x 1 r1 v va))) (334 ((vvv x 
334 l r2 va v) (psi5 pr31 x -1 r1 v va) (psi pr8 x 1 r2) (b0
pr1 x -1 r3))) (333 ((vvv x 333 l r2 va v) (b0 pr1 x 1 r3) (
psi pr9 x -1 r2) (psi5 pr31 x 1 r1 v va))) (332 ((vvv x 332
l r2 va v) (psi5 pr31 x -1 r1 v va) (psi pr9 x 1 r2) (b0 pr1
x -1 r3))) (331 ((vvv x 331 l r2 va v) (b0 pr1 x 1 r3) (psi
pr13 x -1 r2) (psi5 pr31 x 1 r1 v va))) (330 ((vvv x 330 l 
r2 va v) (psi5 pr31 x -1 r1 v va) (psi pr13 x 1 r2) (b0 pr1
x -1 r3))) (329 ((vvv x 329 l r2 va v) (b0 pr1 x 1 r3) (psi
pr22 x -1 r2) (psi5 pr31 x 1 r1 v va))) (328 ((vvv x 328 l 
r2 va v) (psi5 pr31 x -1 r1 v va) (psi pr22 x 1 r2) (b0 pr1
x -1 r3))) (327 ((vvv x 327 l r2 va v) (b0 pr1 x 1 r3) (psi
pr26 x -1 r2) (psi5 pr31 x 1 r1 v va))) (326 ((vvv x 326 l 
r2 va v) (psi5 pr31 x -1 r1 v va) (psi pr26 x 1 r2) (b0 pr1
x -1 r3))) (325 ((vvv x 325 l r2 va v) (b0 pr5 x 0 r3) (psi
pr2 x -1 r2) (psi5 pr36 x 1 r1 v va))) (324 ((vvv x 324 l r2
va v) (psi5 pr36 x -1 r1 v va) (psi pr2 x 1 r2) (b0 pr5 x 0
r3))) (323 ((vvv x 323 l r2 va v) (b0 pr1 x -1 r3) (psi pr3
x -1 r2) (psi5 pr36 x 1 r1 v va))) (322 ((vvv x 322 l r2 va
v) (psi5 pr36 x -1 r1 v va) (psi pr3 x 1 r2) (b0 pr1 x 1 r3)
)) (321 ((vvv x 321 l r2 va v) (b0 pr1 x -1 r3) (psi pr23 x
-1 r2) (psi5 pr36 x 1 r1 v va))) (320 ((vvv x 320 l r2 va v)
(psi5 pr36 x -1 r1 v va) (psi pr23 x 1 r2) (b0 pr1 x 1 r3)))
(319 ((vvv x 319 l r2 va v) (b0 pr1 x -1 r3) (psi pr27 x -1
r2) (psi5 pr36 x 1 r1 v va))) (318 ((vvv x 318 l r2 va v) (
psi5 pr36 x -1 r1 v va) (psi pr27 x 1 r2) (b0 pr1 x 1 r3)))
(317 ((vvv x 317 l r2 va v) (b0 pr1 x 1 r3) (psi pr2 x -1 r2
) (psi5 pr37 x 1 r1 v va))) (316 ((vvv x 316 l r2 va v) (
psi5 pr37 x -1 r1 v va) (psi pr2 x 1 r2) (b0 pr1 x -1 r3)))
(315 ((vvv x 315 l r2 va v) (b0 pr5 x 0 r3) (psi pr3 x -1 r2
) (psi5 pr37 x 1 r1 v va))) (314 ((vvv x 314 l r2 va v) (
psi5 pr37 x -1 r1 v va) (psi pr3 x 1 r2) (b0 pr5 x 0 r3))) (
313 ((vvv x 313 l r2 va v) (b0 pr1 x 1 r3) (psi pr6 x -1 r2)
(psi5 pr37 x 1 r1 v va))) (312 ((vvv x 312 l r2 va v) (psi5
pr37 x -1 r1 v va) (psi pr6 x 1 r2) (b0 pr1 x -1 r3))) (311
((vvv x 311 l r2 va v) (b0 pr1 x 1 r3) (psi pr8 x -1 r2) (
psi5 pr37 x 1 r1 v va))) (310 ((vvv x 310 l r2 va v) (psi5 
pr37 x -1 r1 v va) (psi pr8 x 1 r2) (b0 pr1 x -1 r3))) (309
((vvv x 309 l r2 va v) (b0 pr1 x 1 r3) (psi pr9 x -1 r2) (
psi5 pr37 x 1 r1 v va))) (308 ((vvv x 308 l r2 va v) (psi5 
pr37 x -1 r1 v va) (psi pr9 x 1 r2) (b0 pr1 x -1 r3))) (307
((vvv x 307 l r2 va v) (b0 pr1 x 1 r3) (psi pr13 x -1 r2) (
psi5 pr37 x 1 r1 v va))) (306 ((vvv x 306 l r2 va v) (psi5 
pr37 x -1 r1 v va) (psi pr13 x 1 r2) (b0 pr1 x -1 r3))) (305
((vvv x 305 l r2 va v) (b0 pr1 x 1 r3) (psi pr22 x -1 r2) (
psi5 pr37 x 1 r1 v va))) (304 ((vvv x 304 l r2 va v) (psi5 
pr37 x -1 r1 v va) (psi pr22 x 1 r2) (b0 pr1 x -1 r3))) (303
((vvv x 303 l r2 va v) (b0 pr1 x 1 r3) (psi pr26 x -1 r2) (
psi5 pr37 x 1 r1 v va))) (302 ((vvv x 302 l r2 va v) (psi5 
pr37 x -1 r1 v va) (psi pr26 x 1 r2) (b0 pr1 x -1 r3))) (301
((vvv x 301 l r2 va v) (b0 pr5 x 0 r3) (psi pr2 x -1 r2) (
psi5 pr42 x 1 r1 v va))) (300 ((vvv x 300 l r2 va v) (psi5 
pr42 x -1 r1 v va) (psi pr2 x 1 r2) (b0 pr5 x 0 r3))) (299 (
(vvv x 299 l r2 va v) (b0 pr1 x -1 r3) (psi pr3 x -1 r2) (
psi5 pr42 x 1 r1 v va))) (298 ((vvv x 298 l r2 va v) (psi5 
pr42 x -1 r1 v va) (psi pr3 x 1 r2) (b0 pr1 x 1 r3))) (297 (
(vvv x 297 l r2 va v) (b0 pr1 x -1 r3) (psi pr23 x -1 r2) (
psi5 pr42 x 1 r1 v va))) (296 ((vvv x 296 l r2 va v) (psi5 
pr42 x -1 r1 v va) (psi pr23 x 1 r2) (b0 pr1 x 1 r3))) (295
((vvv x 295 l r2 va v) (b0 pr1 x -1 r3) (psi pr27 x -1 r2) (
psi5 pr42 x 1 r1 v va))) (294 ((vvv x 294 l r2 va v) (psi5 
pr42 x -1 r1 v va) (psi pr27 x 1 r2) (b0 pr1 x 1 r3))) (293
((vvv x 293 l r2 va v) (b0 pr1 x 1 r3) (psi pr2 x -1 r2) (
psi5 pr43 x 1 r1 v va))) (292 ((vvv x 292 l r2 va v) (psi5 
pr43 x -1 r1 v va) (psi pr2 x 1 r2) (b0 pr1 x -1 r3))) (291
((vvv x 291 l r2 va v) (b0 pr5 x 0 r3) (psi pr3 x -1 r2) (
psi5 pr43 x 1 r1 v va))) (290 ((vvv x 290 l r2 va v) (psi5 
pr43 x -1 r1 v va) (psi pr3 x 1 r2) (b0 pr5 x 0 r3))) (289 (
(vvv x 289 l r2 va v) (b0 pr1 x 1 r3) (psi pr6 x -1 r2) (
psi5 pr43 x 1 r1 v va))) (288 ((vvv x 288 l r2 va v) (psi5 
pr43 x -1 r1 v va) (psi pr6 x 1 r2) (b0 pr1 x -1 r3))) (287
((vvv x 287 l r2 va v) (b0 pr1 x 1 r3) (psi pr8 x -1 r2) (
psi5 pr43 x 1 r1 v va))) (286 ((vvv x 286 l r2 va v) (psi5 
pr43 x -1 r1 v va) (psi pr8 x 1 r2) (b0 pr1 x -1 r3))) (285
((vvv x 285 l r2 va v) (b0 pr1 x 1 r3) (psi pr9 x -1 r2) (
psi5 pr43 x 1 r1 v va))) (284 ((vvv x 284 l r2 va v) (psi5 
pr43 x -1 r1 v va) (psi pr9 x 1 r2) (b0 pr1 x -1 r3))) (283
((vvv x 283 l r2 va v) (b0 pr1 x 1 r3) (psi pr13 x -1 r2) (
psi5 pr43 x 1 r1 v va))) (282 ((vvv x 282 l r2 va v) (psi5 
pr43 x -1 r1 v va) (psi pr13 x 1 r2) (b0 pr1 x -1 r3))) (281
((vvv x 281 l r2 va v) (b0 pr1 x 1 r3) (psi pr22 x -1 r2) (
psi5 pr43 x 1 r1 v va))) (280 ((vvv x 280 l r2 va v) (psi5 
pr43 x -1 r1 v va) (psi pr22 x 1 r2) (b0 pr1 x -1 r3))) (279
((vvv x 279 l r2 va v) (b0 pr1 x 1 r3) (psi pr26 x -1 r2) (
psi5 pr43 x 1 r1 v va))) (278 ((vvv x 278 l r2 va v) (psi5 
pr43 x -1 r1 v va) (psi pr26 x 1 r2) (b0 pr1 x -1 r3))) (277
((vvv x 277 l r2 v) (b0 pr5 x 0 r3) (psi pr2 x -1 r2) (psi3
pr7 x 1 r1 v))) (276 ((vvv x 276 l r2 v) (psi3 pr7 x -1 r1 v
) (psi pr2 x 1 r2) (b0 pr5 x 0 r3))) (275 ((vvv x 275 l r2 v
) (b0 pr1 x -1 r3) (psi pr3 x -1 r2) (psi3 pr7 x 1 r1 v))) (
274 ((vvv x 274 l r2 v) (psi3 pr7 x -1 r1 v) (psi pr3 x 1 r2
) (b0 pr1 x 1 r3))) (273 ((vvv x 273 l r2 v) (b0 pr5 x 0 r3)
(psi pr6 x -1 r2) (psi3 pr7 x 1 r1 v))) (272 ((vvv x 272 l 
r2 v) (psi3 pr7 x -1 r1 v) (psi pr6 x 1 r2) (b0 pr5 x 0 r3))
) (271 ((vvv x 271 l r2 v) (b0 pr1 x -1 r3) (psi pr27 x -1 
r2) (psi3 pr7 x 1 r1 v))) (270 ((vvv x 270 l r2 v) (psi3 pr7
x -1 r1 v) (psi pr27 x 1 r2) (b0 pr1 x 1 r3))) (269 ((vvv x
269 l r2 v) (b0 pr1 x -1 r3) (psi pr29 x -1 r2) (psi3 pr7 x
1 r1 v))) (268 ((vvv x 268 l r2 v) (psi3 pr7 x -1 r1 v) (psi
pr29 x 1 r2) (b0 pr1 x 1 r3))) (267 ((vvv x 267 l r2 v) (b0
pr1 x -1 r3) (psi pr33 x -1 r2) (psi3 pr7 x 1 r1 v))) (266 (
(vvv x 266 l r2 v) (psi3 pr7 x -1 r1 v) (psi pr33 x 1 r2) (
b0 pr1 x 1 r3))) (265 ((vvv x 265 l r2 v) (b0 pr5 x 0 r3) (
psi pr2 x -1 r2) (psi3 pr12 x 1 r1 v))) (264 ((vvv x 264 l 
r2 v) (psi3 pr12 x -1 r1 v) (psi pr2 x 1 r2) (b0 pr5 x 0 r3)
)) (263 ((vvv x 263 l r2 v) (b0 pr1 x -1 r3) (psi pr3 x -1 
r2) (psi3 pr12 x 1 r1 v))) (262 ((vvv x 262 l r2 v) (psi3 
pr12 x -1 r1 v) (psi pr3 x 1 r2) (b0 pr1 x 1 r3))) (261 ((
vvv x 261 l r2 v) (b0 pr1 x -1 r3) (psi pr29 x -1 r2) (psi3
pr12 x 1 r1 v))) (260 ((vvv x 260 l r2 v) (psi3 pr12 x -1 r1
v) (psi pr29 x 1 r2) (b0 pr1 x 1 r3))) (259 ((vvv x 259 l r2
v) (b0 pr1 x -1 r3) (psi pr33 x -1 r2) (psi3 pr12 x 1 r1 v))
) (258 ((vvv x 258 l r2 v) (psi3 pr12 x -1 r1 v) (psi pr33 x
1 r2) (b0 pr1 x 1 r3))) (257 ((vvv x 257 l r2 v) (b0 pr5 x 0
r3) (psi pr2 x -1 r2) (psi3 pr14 x 1 r1 v))) (256 ((vvv x 
256 l r2 v) (psi3 pr14 x -1 r1 v) (psi pr2 x 1 r2) (b0 pr5 x
0 r3))) (255 ((vvv x 255 l r2 v) (b0 pr1 x -1 r3) (psi pr3 x
-1 r2) (psi3 pr14 x 1 r1 v))) (254 ((vvv x 254 l r2 v) (psi3
pr14 x -1 r1 v) (psi pr3 x 1 r2) (b0 pr1 x 1 r3))) (253 ((
vvv x 253 l r2 v) (b0 pr1 x -1 r3) (psi pr29 x -1 r2) (psi3
pr14 x 1 r1 v))) (252 ((vvv x 252 l r2 v) (psi3 pr14 x -1 r1
v) (psi pr29 x 1 r2) (b0 pr1 x 1 r3))) (251 ((vvv x 251 l r2
v) (b0 pr1 x -1 r3) (psi pr33 x -1 r2) (psi3 pr14 x 1 r1 v))
) (250 ((vvv x 250 l r2 v) (psi3 pr14 x -1 r1 v) (psi pr33 x
1 r2) (b0 pr1 x 1 r3))) (249 ((vvv x 249 l r2 v) (b0 pr5 x 0
r3) (psi pr2 x -1 r2) (psi3 pr15 x 1 r1 v))) (248 ((vvv x 
248 l r2 v) (psi3 pr15 x -1 r1 v) (psi pr2 x 1 r2) (b0 pr5 x
0 r3))) (247 ((vvv x 247 l r2 v) (b0 pr1 x -1 r3) (psi pr3 x
-1 r2) (psi3 pr15 x 1 r1 v))) (246 ((vvv x 246 l r2 v) (psi3
pr15 x -1 r1 v) (psi pr3 x 1 r2) (b0 pr1 x 1 r3))) (245 ((
vvv x 245 l r2 v) (b0 pr1 x -1 r3) (psi pr23 x -1 r2) (psi3
pr15 x 1 r1 v))) (244 ((vvv x 244 l r2 v) (psi3 pr15 x -1 r1
v) (psi pr23 x 1 r2) (b0 pr1 x 1 r3))) (243 ((vvv x 243 l r2
v) (b0 pr1 x -1 r3) (psi pr27 x -1 r2) (psi3 pr15 x 1 r1 v))
) (242 ((vvv x 242 l r2 v) (psi3 pr15 x -1 r1 v) (psi pr27 x
1 r2) (b0 pr1 x 1 r3))) (241 ((vvv x 241 l r2 v) (b0 pr5 x 0
r3) (psi pr2 x -1 r2) (psi3 pr18 x 1 r1 v))) (240 ((vvv x 
240 l r2 v) (psi3 pr18 x -1 r1 v) (psi pr2 x 1 r2) (b0 pr5 x
0 r3))) (239 ((vvv x 239 l r2 v) (b0 pr1 x -1 r3) (psi pr3 x
-1 r2) (psi3 pr18 x 1 r1 v))) (238 ((vvv x 238 l r2 v) (psi3
pr18 x -1 r1 v) (psi pr3 x 1 r2) (b0 pr1 x 1 r3))) (237 ((
vvv x 237 l r2 v) (b0 pr5 x 0 r3) (psi pr6 x -1 r2) (psi3 
pr18 x 1 r1 v))) (236 ((vvv x 236 l r2 v) (psi3 pr18 x -1 r1
v) (psi pr6 x 1 r2) (b0 pr5 x 0 r3))) (235 ((vvv x 235 l r2
v) (b0 pr5 x 0 r3) (psi pr8 x -1 r2) (psi3 pr18 x 1 r1 v)))
(234 ((vvv x 234 l r2 v) (psi3 pr18 x -1 r1 v) (psi pr8 x 1
r2) (b0 pr5 x 0 r3))) (233 ((vvv x 233 l r2 v) (b0 pr5 x 0 
r3) (psi pr9 x -1 r2) (psi3 pr18 x 1 r1 v))) (232 ((vvv x 
232 l r2 v) (psi3 pr18 x -1 r1 v) (psi pr9 x 1 r2) (b0 pr5 x
0 r3))) (231 ((vvv x 231 l r2 v) (b0 pr5 x 0 r3) (psi pr13 x
-1 r2) (psi3 pr18 x 1 r1 v))) (230 ((vvv x 230 l r2 v) (psi3
pr18 x -1 r1 v) (psi pr13 x 1 r2) (b0 pr5 x 0 r3))) (229 ((
vvv x 229 l r2 v) (b0 pr5 x 0 r3) (psi pr22 x -1 r2) (psi3 
pr18 x 1 r1 v))) (228 ((vvv x 228 l r2 v) (psi3 pr18 x -1 r1
v) (psi pr22 x 1 r2) (b0 pr5 x 0 r3))) (227 ((vvv x 227 l r2
v) (b0 pr1 x -1 r3) (psi pr23 x -1 r2) (psi3 pr18 x 1 r1 v))
) (226 ((vvv x 226 l r2 v) (psi3 pr18 x -1 r1 v) (psi pr23 x
1 r2) (b0 pr1 x 1 r3))) (225 ((vvv x 225 l r2 v) (b0 pr1 x 
-1 r3) (psi pr27 x -1 r2) (psi3 pr18 x 1 r1 v))) (224 ((vvv
x 224 l r2 v) (psi3 pr18 x -1 r1 v) (psi pr27 x 1 r2) (b0 
pr1 x 1 r3))) (223 ((vvv x 223 l r2 v) (b0 pr1 x -1 r3) (psi
pr29 x -1 r2) (psi3 pr18 x 1 r1 v))) (222 ((vvv x 222 l r2 v
) (psi3 pr18 x -1 r1 v) (psi pr29 x 1 r2) (b0 pr1 x 1 r3)))
(221 ((vvv x 221 l r2 v) (b0 pr1 x -1 r3) (psi pr33 x -1 r2)
(psi3 pr18 x 1 r1 v))) (220 ((vvv x 220 l r2 v) (psi3 pr18 x
-1 r1 v) (psi pr33 x 1 r2) (b0 pr1 x 1 r3))) (219 ((vvv x 
219 l r2 v) (b0 pr1 x 1 r3) (psi pr2 x -1 r2) (psi3 pr19 x 1
r1 v))) (218 ((vvv x 218 l r2 v) (psi3 pr19 x -1 r1 v) (psi
pr2 x 1 r2) (b0 pr1 x -1 r3))) (217 ((vvv x 217 l r2 v) (b0
pr5 x 0 r3) (psi pr3 x -1 r2) (psi3 pr19 x 1 r1 v))) (216 ((
vvv x 216 l r2 v) (psi3 pr19 x -1 r1 v) (psi pr3 x 1 r2) (b0
pr5 x 0 r3))) (215 ((vvv x 215 l r2 v) (b0 pr1 x 1 r3) (psi
pr6 x -1 r2) (psi3 pr19 x 1 r1 v))) (214 ((vvv x 214 l r2 v)
(psi3 pr19 x -1 r1 v) (psi pr6 x 1 r2) (b0 pr1 x -1 r3))) (
213 ((vvv x 213 l r2 v) (b0 pr1 x 1 r3) (psi pr8 x -1 r2) (
psi3 pr19 x 1 r1 v))) (212 ((vvv x 212 l r2 v) (psi3 pr19 x
-1 r1 v) (psi pr8 x 1 r2) (b0 pr1 x -1 r3))) (211 ((vvv x 
211 l r2 v) (b0 pr1 x 1 r3) (psi pr9 x -1 r2) (psi3 pr19 x 1
r1 v))) (210 ((vvv x 210 l r2 v) (psi3 pr19 x -1 r1 v) (psi
pr9 x 1 r2) (b0 pr1 x -1 r3))) (209 ((vvv x 209 l r2 v) (b0
pr1 x 1 r3) (psi pr13 x -1 r2) (psi3 pr19 x 1 r1 v))) (208 (
(vvv x 208 l r2 v) (psi3 pr19 x -1 r1 v) (psi pr13 x 1 r2) (
b0 pr1 x -1 r3))) (207 ((vvv x 207 l r2 v) (b0 pr1 x 1 r3) (
psi pr22 x -1 r2) (psi3 pr19 x 1 r1 v))) (206 ((vvv x 206 l
r2 v) (psi3 pr19 x -1 r1 v) (psi pr22 x 1 r2) (b0 pr1 x -1 
r3))) (205 ((vvv x 205 l r2 v) (b0 pr5 x 0 r3) (psi pr23 x 
-1 r2) (psi3 pr19 x 1 r1 v))) (204 ((vvv x 204 l r2 v) (psi3
pr19 x -1 r1 v) (psi pr23 x 1 r2) (b0 pr5 x 0 r3))) (203 ((
vvv x 203 l r2 v) (b0 pr1 x 1 r3) (psi pr26 x -1 r2) (psi3 
pr19 x 1 r1 v))) (202 ((vvv x 202 l r2 v) (psi3 pr19 x -1 r1
v) (psi pr26 x 1 r2) (b0 pr1 x -1 r3))) (201 ((vvv x 201 l 
r2 v) (b0 pr1 x 1 r3) (psi pr28 x -1 r2) (psi3 pr19 x 1 r1 v
))) (200 ((vvv x 200 l r2 v) (psi3 pr19 x -1 r1 v) (psi pr28
x 1 r2) (b0 pr1 x -1 r3))) (199 ((vvv x 199 l r2 v) (b0 pr1
x 1 r3) (psi pr32 x -1 r2) (psi3 pr19 x 1 r1 v))) (198 ((vvv
x 198 l r2 v) (psi3 pr19 x -1 r1 v) (psi pr32 x 1 r2) (b0 
pr1 x -1 r3))) (197 ((vvv x 197 l r2 v) (b0 pr5 x 0 r3) (psi
pr2 x -1 r2) (psi3 pr20 x 1 r1 v))) (196 ((vvv x 196 l r2 v)
(psi3 pr20 x -1 r1 v) (psi pr2 x 1 r2) (b0 pr5 x 0 r3))) (
195 ((vvv x 195 l r2 v) (b0 pr1 x -1 r3) (psi pr3 x -1 r2) (
psi3 pr20 x 1 r1 v))) (194 ((vvv x 194 l r2 v) (psi3 pr20 x
-1 r1 v) (psi pr3 x 1 r2) (b0 pr1 x 1 r3))) (193 ((vvv x 193
l r2 v) (b0 pr1 x -1 r3) (psi pr27 x -1 r2) (psi3 pr20 x 1 
r1 v))) (192 ((vvv x 192 l r2 v) (psi3 pr20 x -1 r1 v) (psi
pr27 x 1 r2) (b0 pr1 x 1 r3))) (191 ((vvv x 191 l r2 v) (b0
pr1 x -1 r3) (psi pr29 x -1 r2) (psi3 pr20 x 1 r1 v))) (190
((vvv x 190 l r2 v) (psi3 pr20 x -1 r1 v) (psi pr29 x 1 r2)
(b0 pr1 x 1 r3))) (189 ((vvv x 189 l r2 v) (b0 pr1 x -1 r3)
(psi pr33 x -1 r2) (psi3 pr20 x 1 r1 v))) (188 ((vvv x 188 l
r2 v) (psi3 pr20 x -1 r1 v) (psi pr33 x 1 r2) (b0 pr1 x 1 r3
))) (187 ((vvv x 187 l r2 v) (b0 pr1 x 1 r3) (psi pr2 x -1 
r2) (psi3 pr21 x 1 r1 v))) (186 ((vvv x 186 l r2 v) (psi3 
pr21 x -1 r1 v) (psi pr2 x 1 r2) (b0 pr1 x -1 r3))) (185 ((
vvv x 185 l r2 v) (b0 pr5 x 0 r3) (psi pr3 x -1 r2) (psi3 
pr21 x 1 r1 v))) (184 ((vvv x 184 l r2 v) (psi3 pr21 x -1 r1
v) (psi pr3 x 1 r2) (b0 pr5 x 0 r3))) (183 ((vvv x 183 l r2
v) (b0 pr1 x 1 r3) (psi pr6 x -1 r2) (psi3 pr21 x 1 r1 v)))
(182 ((vvv x 182 l r2 v) (psi3 pr21 x -1 r1 v) (psi pr6 x 1
r2) (b0 pr1 x -1 r3))) (181 ((vvv x 181 l r2 v) (b0 pr1 x 1
r3) (psi pr26 x -1 r2) (psi3 pr21 x 1 r1 v))) (180 ((vvv x 
180 l r2 v) (psi3 pr21 x -1 r1 v) (psi pr26 x 1 r2) (b0 pr1
x -1 r3))) (179 ((vvv x 179 l r2 v) (b0 pr1 x 1 r3) (psi 
pr28 x -1 r2) (psi3 pr21 x 1 r1 v))) (178 ((vvv x 178 l r2 v
) (psi3 pr21 x -1 r1 v) (psi pr28 x 1 r2) (b0 pr1 x -1 r3)))
(177 ((vvv x 177 l r2 v) (b0 pr1 x 1 r3) (psi pr32 x -1 r2)
(psi3 pr21 x 1 r1 v))) (176 ((vvv x 176 l r2 v) (psi3 pr21 x
-1 r1 v) (psi pr32 x 1 r2) (b0 pr1 x -1 r3))) (175 ((vvv x 
175 l r2 v) (b0 pr5 x 0 r3) (psi pr2 x -1 r2) (psi3 pr24 x 1
r1 v))) (174 ((vvv x 174 l r2 v) (psi3 pr24 x -1 r1 v) (psi
pr2 x 1 r2) (b0 pr5 x 0 r3))) (173 ((vvv x 173 l r2 v) (b0 
pr1 x -1 r3) (psi pr3 x -1 r2) (psi3 pr24 x 1 r1 v))) (172 (
(vvv x 172 l r2 v) (psi3 pr24 x -1 r1 v) (psi pr3 x 1 r2) (
b0 pr1 x 1 r3))) (171 ((vvv x 171 l r2 v) (b0 pr1 x -1 r3) (
psi pr29 x -1 r2) (psi3 pr24 x 1 r1 v))) (170 ((vvv x 170 l
r2 v) (psi3 pr24 x -1 r1 v) (psi pr29 x 1 r2) (b0 pr1 x 1 r3
))) (169 ((vvv x 169 l r2 v) (b0 pr1 x -1 r3) (psi pr33 x -1
r2) (psi3 pr24 x 1 r1 v))) (168 ((vvv x 168 l r2 v) (psi3 
pr24 x -1 r1 v) (psi pr33 x 1 r2) (b0 pr1 x 1 r3))) (167 ((
vvv x 167 l r2 v) (b0 pr1 x 1 r3) (psi pr2 x -1 r2) (psi3 
pr25 x 1 r1 v))) (166 ((vvv x 166 l r2 v) (psi3 pr25 x -1 r1
v) (psi pr2 x 1 r2) (b0 pr1 x -1 r3))) (165 ((vvv x 165 l r2
v) (b0 pr5 x 0 r3) (psi pr3 x -1 r2) (psi3 pr25 x 1 r1 v)))
(164 ((vvv x 164 l r2 v) (psi3 pr25 x -1 r1 v) (psi pr3 x 1
r2) (b0 pr5 x 0 r3))) (163 ((vvv x 163 l r2 v) (b0 pr1 x 1 
r3) (psi pr6 x -1 r2) (psi3 pr25 x 1 r1 v))) (162 ((vvv x 
162 l r2 v) (psi3 pr25 x -1 r1 v) (psi pr6 x 1 r2) (b0 pr1 x
-1 r3))) (161 ((vvv x 161 l r2 v) (b0 pr1 x 1 r3) (psi pr8 x
-1 r2) (psi3 pr25 x 1 r1 v))) (160 ((vvv x 160 l r2 v) (psi3
pr25 x -1 r1 v) (psi pr8 x 1 r2) (b0 pr1 x -1 r3))) (159 ((
vvv x 159 l r2 v) (b0 pr1 x 1 r3) (psi pr28 x -1 r2) (psi3 
pr25 x 1 r1 v))) (158 ((vvv x 158 l r2 v) (psi3 pr25 x -1 r1
v) (psi pr28 x 1 r2) (b0 pr1 x -1 r3))) (157 ((vvv x 157 l 
r2 v) (b0 pr1 x 1 r3) (psi pr32 x -1 r2) (psi3 pr25 x 1 r1 v
))) (156 ((vvv x 156 l r2 v) (psi3 pr25 x -1 r1 v) (psi pr32
x 1 r2) (b0 pr1 x -1 r3))) (155 ((vvv x 155 l r2 v) (b0 pr5
x 0 r3) (psi pr2 x -1 r2) (psi3 pr34 x 1 r1 v))) (154 ((vvv
x 154 l r2 v) (psi3 pr34 x -1 r1 v) (psi pr2 x 1 r2) (b0 pr5
x 0 r3))) (153 ((vvv x 153 l r2 v) (b0 pr1 x -1 r3) (psi pr3
x -1 r2) (psi3 pr34 x 1 r1 v))) (152 ((vvv x 152 l r2 v) (
psi3 pr34 x -1 r1 v) (psi pr3 x 1 r2) (b0 pr1 x 1 r3))) (151
((vvv x 151 l r2 v) (b0 pr1 x -1 r3) (psi pr23 x -1 r2) (
psi3 pr34 x 1 r1 v))) (150 ((vvv x 150 l r2 v) (psi3 pr34 x
-1 r1 v) (psi pr23 x 1 r2) (b0 pr1 x 1 r3))) (149 ((vvv x 
149 l r2 v) (b0 pr1 x -1 r3) (psi pr27 x -1 r2) (psi3 pr34 x
1 r1 v))) (148 ((vvv x 148 l r2 v) (psi3 pr34 x -1 r1 v) (
psi pr27 x 1 r2) (b0 pr1 x 1 r3))) (147 ((vvv x 147 l r2 v)
(b0 pr1 x 1 r3) (psi pr2 x -1 r2) (psi3 pr35 x 1 r1 v))) (
146 ((vvv x 146 l r2 v) (psi3 pr35 x -1 r1 v) (psi pr2 x 1 
r2) (b0 pr1 x -1 r3))) (145 ((vvv x 145 l r2 v) (b0 pr5 x 0
r3) (psi pr3 x -1 r2) (psi3 pr35 x 1 r1 v))) (144 ((vvv x 
144 l r2 v) (psi3 pr35 x -1 r1 v) (psi pr3 x 1 r2) (b0 pr5 x
0 r3))) (143 ((vvv x 143 l r2 v) (b0 pr1 x 1 r3) (psi pr6 x
-1 r2) (psi3 pr35 x 1 r1 v))) (142 ((vvv x 142 l r2 v) (psi3
pr35 x -1 r1 v) (psi pr6 x 1 r2) (b0 pr1 x -1 r3))) (141 ((
vvv x 141 l r2 v) (b0 pr1 x 1 r3) (psi pr8 x -1 r2) (psi3 
pr35 x 1 r1 v))) (140 ((vvv x 140 l r2 v) (psi3 pr35 x -1 r1
v) (psi pr8 x 1 r2) (b0 pr1 x -1 r3))) (139 ((vvv x 139 l r2
v) (b0 pr1 x 1 r3) (psi pr9 x -1 r2) (psi3 pr35 x 1 r1 v)))
(138 ((vvv x 138 l r2 v) (psi3 pr35 x -1 r1 v) (psi pr9 x 1
r2) (b0 pr1 x -1 r3))) (137 ((vvv x 137 l r2 v) (b0 pr1 x 1
r3) (psi pr13 x -1 r2) (psi3 pr35 x 1 r1 v))) (136 ((vvv x 
136 l r2 v) (psi3 pr35 x -1 r1 v) (psi pr13 x 1 r2) (b0 pr1
x -1 r3))) (135 ((vvv x 135 l r2 v) (b0 pr1 x 1 r3) (psi 
pr22 x -1 r2) (psi3 pr35 x 1 r1 v))) (134 ((vvv x 134 l r2 v
) (psi3 pr35 x -1 r1 v) (psi pr22 x 1 r2) (b0 pr1 x -1 r3)))
(133 ((vvv x 133 l r2 v) (b0 pr1 x 1 r3) (psi pr26 x -1 r2)
(psi3 pr35 x 1 r1 v))) (132 ((vvv x 132 l r2 v) (psi3 pr35 x
-1 r1 v) (psi pr26 x 1 r2) (b0 pr1 x -1 r3))) (131 ((vvv x 
131 l r2 v) (b0 pr5 x 0 r3) (psi pr2 x -1 r2) (psi3 pr38 x 1
r1 v))) (130 ((vvv x 130 l r2 v) (psi3 pr38 x -1 r1 v) (psi
pr2 x 1 r2) (b0 pr5 x 0 r3))) (129 ((vvv x 129 l r2 v) (b0 
pr1 x -1 r3) (psi pr3 x -1 r2) (psi3 pr38 x 1 r1 v))) (128 (
(vvv x 128 l r2 v) (psi3 pr38 x -1 r1 v) (psi pr3 x 1 r2) (
b0 pr1 x 1 r3))) (127 ((vvv x 127 l r2 v) (b0 pr1 x -1 r3) (
psi pr23 x -1 r2) (psi3 pr38 x 1 r1 v))) (126 ((vvv x 126 l
r2 v) (psi3 pr38 x -1 r1 v) (psi pr23 x 1 r2) (b0 pr1 x 1 r3
))) (125 ((vvv x 125 l r2 v) (b0 pr1 x -1 r3) (psi pr27 x -1
r2) (psi3 pr38 x 1 r1 v))) (124 ((vvv x 124 l r2 v) (psi3 
pr38 x -1 r1 v) (psi pr27 x 1 r2) (b0 pr1 x 1 r3))) (123 ((
vvv x 123 l r2 v) (b0 pr1 x 1 r3) (psi pr2 x -1 r2) (psi3 
pr39 x 1 r1 v))) (122 ((vvv x 122 l r2 v) (psi3 pr39 x -1 r1
v) (psi pr2 x 1 r2) (b0 pr1 x -1 r3))) (121 ((vvv x 121 l r2
v) (b0 pr5 x 0 r3) (psi pr3 x -1 r2) (psi3 pr39 x 1 r1 v)))
(120 ((vvv x 120 l r2 v) (psi3 pr39 x -1 r1 v) (psi pr3 x 1
r2) (b0 pr5 x 0 r3))) (119 ((vvv x 119 l r2 v) (b0 pr1 x 1 
r3) (psi pr6 x -1 r2) (psi3 pr39 x 1 r1 v))) (118 ((vvv x 
118 l r2 v) (psi3 pr39 x -1 r1 v) (psi pr6 x 1 r2) (b0 pr1 x
-1 r3))) (117 ((vvv x 117 l r2 v) (b0 pr1 x 1 r3) (psi pr8 x
-1 r2) (psi3 pr39 x 1 r1 v))) (116 ((vvv x 116 l r2 v) (psi3
pr39 x -1 r1 v) (psi pr8 x 1 r2) (b0 pr1 x -1 r3))) (115 ((
vvv x 115 l r2 v) (b0 pr1 x 1 r3) (psi pr9 x -1 r2) (psi3 
pr39 x 1 r1 v))) (114 ((vvv x 114 l r2 v) (psi3 pr39 x -1 r1
v) (psi pr9 x 1 r2) (b0 pr1 x -1 r3))) (113 ((vvv x 113 l r2
v) (b0 pr1 x 1 r3) (psi pr13 x -1 r2) (psi3 pr39 x 1 r1 v)))
(112 ((vvv x 112 l r2 v) (psi3 pr39 x -1 r1 v) (psi pr13 x 1
r2) (b0 pr1 x -1 r3))) (111 ((vvv x 111 l r2 v) (b0 pr1 x 1
r3) (psi pr22 x -1 r2) (psi3 pr39 x 1 r1 v))) (110 ((vvv x 
110 l r2 v) (psi3 pr39 x -1 r1 v) (psi pr22 x 1 r2) (b0 pr1
x -1 r3))) (109 ((vvv x 109 l r2 v) (b0 pr1 x 1 r3) (psi 
pr26 x -1 r2) (psi3 pr39 x 1 r1 v))) (108 ((vvv x 108 l r2 v
) (psi3 pr39 x -1 r1 v) (psi pr26 x 1 r2) (b0 pr1 x -1 r3)))
(107 ((vvv x 107 l) (psi pr2 x -1 r1) (psi pr2 x 1 r2) (b0 
pr5 x 0 r3))) (106 ((vvv x 106 l) (psi pr3 x -1 r1) (psi pr3
x 1 r2) (b0 pr5 x 0 r3))) (105 ((vvv x 105 l) (b0 pr5 x 0 r3
) (psi pr2 x -1 r2) (psi pr6 x 1 r1))) (104 ((vvv x 104 l) (
psi pr6 x -1 r1) (psi pr2 x 1 r2) (b0 pr5 x 0 r3))) (103 ((
vvv x 103 l) (b0 pr1 x -1 r3) (psi pr3 x -1 r2) (psi pr6 x 1
r1))) (102 ((vvv x 102 l) (psi pr6 x -1 r1) (psi pr3 x 1 r2)
(b0 pr1 x 1 r3))) (101 ((vvv x 101 l) (psi pr6 x -1 r1) (psi
pr6 x 1 r2) (b0 pr5 x 0 r3))) (100 ((vvv x 100 l) (b0 pr5 x
0 r3) (psi pr2 x -1 r2) (psi pr8 x 1 r1))) (99 ((vvv x 99 l)
(psi pr8 x -1 r1) (psi pr2 x 1 r2) (b0 pr5 x 0 r3))) (98 ((
vvv x 98 l) (b0 pr1 x -1 r3) (psi pr3 x -1 r2) (psi pr8 x 1
r1))) (97 ((vvv x 97 l) (psi pr8 x -1 r1) (psi pr3 x 1 r2) (
b0 pr1 x 1 r3))) (96 ((vvv x 96 l) (b0 pr5 x 0 r3) (psi pr6
x -1 r2) (psi pr8 x 1 r1))) (95 ((vvv x 95 l) (psi pr8 x -1
r1) (psi pr6 x 1 r2) (b0 pr5 x 0 r3))) (94 ((vvv x 94 l) (b0
pr5 x 0 r3) (psi pr2 x -1 r2) (psi pr9 x 1 r1))) (93 ((vvv x
93 l) (psi pr9 x -1 r1) (psi pr2 x 1 r2) (b0 pr5 x 0 r3))) (
92 ((vvv x 92 l) (b0 pr1 x -1 r3) (psi pr3 x -1 r2) (psi pr9
x 1 r1))) (91 ((vvv x 91 l) (psi pr9 x -1 r1) (psi pr3 x 1 
r2) (b0 pr1 x 1 r3))) (90 ((vvv x 90 l) (b0 pr5 x 0 r3) (psi
pr2 x -1 r2) (psi pr13 x 1 r1))) (89 ((vvv x 89 l) (psi pr13
x -1 r1) (psi pr2 x 1 r2) (b0 pr5 x 0 r3))) (88 ((vvv x 88 l
) (b0 pr1 x -1 r3) (psi pr3 x -1 r2) (psi pr13 x 1 r1))) (87
((vvv x 87 l) (psi pr13 x -1 r1) (psi pr3 x 1 r2) (b0 pr1 x
1 r3))) (86 ((vvv x 86 l) (b0 pr5 x 0 r3) (psi pr2 x -1 r2)
(psi pr22 x 1 r1))) (85 ((vvv x 85 l) (psi pr22 x -1 r1) (
psi pr2 x 1 r2) (b0 pr5 x 0 r3))) (84 ((vvv x 84 l) (b0 pr1
x -1 r3) (psi pr3 x -1 r2) (psi pr22 x 1 r1))) (83 ((vvv x 
83 l) (psi pr22 x -1 r1) (psi pr3 x 1 r2) (b0 pr1 x 1 r3)))
(82 ((vvv x 82 l) (b0 pr1 x 1 r3) (psi pr2 x -1 r2) (psi 
pr23 x 1 r1))) (81 ((vvv x 81 l) (psi pr23 x -1 r1) (psi pr2
x 1 r2) (b0 pr1 x -1 r3))) (80 ((vvv x 80 l) (b0 pr5 x 0 r3)
(psi pr3 x -1 r2) (psi pr23 x 1 r1))) (79 ((vvv x 79 l) (psi
pr23 x -1 r1) (psi pr3 x 1 r2) (b0 pr5 x 0 r3))) (78 ((vvv x
78 l) (b0 pr1 x 1 r3) (psi pr6 x -1 r2) (psi pr23 x 1 r1)))
(77 ((vvv x 77 l) (psi pr23 x -1 r1) (psi pr6 x 1 r2) (b0 
pr1 x -1 r3))) (76 ((vvv x 76 l) (b0 pr5 x 0 r3) (psi pr2 x
-1 r2) (psi pr26 x 1 r1))) (75 ((vvv x 75 l) (psi pr26 x -1
r1) (psi pr2 x 1 r2) (b0 pr5 x 0 r3))) (74 ((vvv x 74 l) (b0
pr1 x -1 r3) (psi pr3 x -1 r2) (psi pr26 x 1 r1))) (73 ((vvv
x 73 l) (psi pr26 x -1 r1) (psi pr3 x 1 r2) (b0 pr1 x 1 r3))
) (72 ((vvv x 72 l) (b0 pr1 x 1 r3) (psi pr2 x -1 r2) (psi 
pr27 x 1 r1))) (71 ((vvv x 71 l) (psi pr27 x -1 r1) (psi pr2
x 1 r2) (b0 pr1 x -1 r3))) (70 ((vvv x 70 l) (b0 pr5 x 0 r3)
(psi pr3 x -1 r2) (psi pr27 x 1 r1))) (69 ((vvv x 69 l) (psi
pr27 x -1 r1) (psi pr3 x 1 r2) (b0 pr5 x 0 r3))) (68 ((vvv x
68 l) (b0 pr1 x 1 r3) (psi pr6 x -1 r2) (psi pr27 x 1 r1)))
(67 ((vvv x 67 l) (psi pr27 x -1 r1) (psi pr6 x 1 r2) (b0 
pr1 x -1 r3))) (66 ((vvv x 66 l) (b0 pr1 x 1 r3) (psi pr8 x
-1 r2) (psi pr27 x 1 r1))) (65 ((vvv x 65 l) (psi pr27 x -1
r1) (psi pr8 x 1 r2) (b0 pr1 x -1 r3))) (64 ((vvv x 64 l) (
b0 pr5 x 0 r3) (psi pr2 x -1 r2) (psi pr28 x 1 r1))) (63 ((
vvv x 63 l) (psi pr28 x -1 r1) (psi pr2 x 1 r2) (b0 pr5 x 0
r3))) (62 ((vvv x 62 l) (b0 pr1 x -1 r3) (psi pr3 x -1 r2) (
psi pr28 x 1 r1))) (61 ((vvv x 61 l) (psi pr28 x -1 r1) (psi
pr3 x 1 r2) (b0 pr1 x 1 r3))) (60 ((vvv x 60 l) (b0 pr1 x -1
r3) (psi pr23 x -1 r2) (psi pr28 x 1 r1))) (59 ((vvv x 59 l)
(psi pr28 x -1 r1) (psi pr23 x 1 r2) (b0 pr1 x 1 r3))) (58 (
(vvv x 58 l) (b0 pr1 x -1 r3) (psi pr27 x -1 r2) (psi pr28 x
1 r1))) (57 ((vvv x 57 l) (psi pr28 x -1 r1) (psi pr27 x 1 
r2) (b0 pr1 x 1 r3))) (56 ((vvv x 56 l) (b0 pr1 x 1 r3) (psi
pr2 x -1 r2) (psi pr29 x 1 r1))) (55 ((vvv x 55 l) (psi pr29
x -1 r1) (psi pr2 x 1 r2) (b0 pr1 x -1 r3))) (54 ((vvv x 54
l) (b0 pr5 x 0 r3) (psi pr3 x -1 r2) (psi pr29 x 1 r1))) (53
((vvv x 53 l) (psi pr29 x -1 r1) (psi pr3 x 1 r2) (b0 pr5 x
0 r3))) (52 ((vvv x 52 l) (b0 pr1 x 1 r3) (psi pr6 x -1 r2)
(psi pr29 x 1 r1))) (51 ((vvv x 51 l) (psi pr29 x -1 r1) (
psi pr6 x 1 r2) (b0 pr1 x -1 r3))) (50 ((vvv x 50 l) (b0 pr1
x 1 r3) (psi pr8 x -1 r2) (psi pr29 x 1 r1))) (49 ((vvv x 49
l) (psi pr29 x -1 r1) (psi pr8 x 1 r2) (b0 pr1 x -1 r3))) (
48 ((vvv x 48 l) (b0 pr1 x 1 r3) (psi pr9 x -1 r2) (psi pr29
x 1 r1))) (47 ((vvv x 47 l) (psi pr29 x -1 r1) (psi pr9 x 1
r2) (b0 pr1 x -1 r3))) (46 ((vvv x 46 l) (b0 pr1 x 1 r3) (
psi pr13 x -1 r2) (psi pr29 x 1 r1))) (45 ((vvv x 45 l) (psi
pr29 x -1 r1) (psi pr13 x 1 r2) (b0 pr1 x -1 r3))) (44 ((vvv
x 44 l) (b0 pr1 x 1 r3) (psi pr22 x -1 r2) (psi pr29 x 1 r1)
)) (43 ((vvv x 43 l) (psi pr29 x -1 r1) (psi pr22 x 1 r2) (
b0 pr1 x -1 r3))) (42 ((vvv x 42 l) (b0 pr1 x 1 r3) (psi 
pr26 x -1 r2) (psi pr29 x 1 r1))) (41 ((vvv x 41 l) (psi 
pr29 x -1 r1) (psi pr26 x 1 r2) (b0 pr1 x -1 r3))) (40 ((vvv
x 40 l) (b0 pr5 x 0 r3) (psi pr2 x -1 r2) (psi pr32 x 1 r1))
) (39 ((vvv x 39 l) (psi pr32 x -1 r1) (psi pr2 x 1 r2) (b0
pr5 x 0 r3))) (38 ((vvv x 38 l) (b0 pr1 x -1 r3) (psi pr3 x
-1 r2) (psi pr32 x 1 r1))) (37 ((vvv x 37 l) (psi pr32 x -1
r1) (psi pr3 x 1 r2) (b0 pr1 x 1 r3))) (36 ((vvv x 36 l) (b0
pr1 x -1 r3) (psi pr23 x -1 r2) (psi pr32 x 1 r1))) (35 ((
vvv x 35 l) (psi pr32 x -1 r1) (psi pr23 x 1 r2) (b0 pr1 x 1
r3))) (34 ((vvv x 34 l) (b0 pr1 x -1 r3) (psi pr27 x -1 r2)
(psi pr32 x 1 r1))) (33 ((vvv x 33 l) (psi pr32 x -1 r1) (
psi pr27 x 1 r2) (b0 pr1 x 1 r3))) (32 ((vvv x 32 l) (b0 pr1
x 1 r3) (psi pr2 x -1 r2) (psi pr33 x 1 r1))) (31 ((vvv x 31
l) (psi pr33 x -1 r1) (psi pr2 x 1 r2) (b0 pr1 x -1 r3))) (
30 ((vvv x 30 l) (b0 pr5 x 0 r3) (psi pr3 x -1 r2) (psi pr33
x 1 r1))) (29 ((vvv x 29 l) (psi pr33 x -1 r1) (psi pr3 x 1
r2) (b0 pr5 x 0 r3))) (28 ((vvv x 28 l) (b0 pr1 x 1 r3) (psi
pr6 x -1 r2) (psi pr33 x 1 r1))) (27 ((vvv x 27 l) (psi pr33
x -1 r1) (psi pr6 x 1 r2) (b0 pr1 x -1 r3))) (26 ((vvv x 26
l) (b0 pr1 x 1 r3) (psi pr8 x -1 r2) (psi pr33 x 1 r1))) (25
((vvv x 25 l) (psi pr33 x -1 r1) (psi pr8 x 1 r2) (b0 pr1 x
-1 r3))) (24 ((vvv x 24 l) (b0 pr1 x 1 r3) (psi pr9 x -1 r2)
(psi pr33 x 1 r1))) (23 ((vvv x 23 l) (psi pr33 x -1 r1) (
psi pr9 x 1 r2) (b0 pr1 x -1 r3))) (22 ((vvv x 22 l) (b0 pr1
x 1 r3) (psi pr13 x -1 r2) (psi pr33 x 1 r1))) (21 ((vvv x 
21 l) (psi pr33 x -1 r1) (psi pr13 x 1 r2) (b0 pr1 x -1 r3))
) (20 ((vvv x 20 l) (b0 pr1 x 1 r3) (psi pr22 x -1 r2) (psi
pr33 x 1 r1))) (19 ((vvv x 19 l) (psi pr33 x -1 r1) (psi 
pr22 x 1 r2) (b0 pr1 x -1 r3))) (18 ((vvv x 18 l) (b0 pr1 x
1 r3) (psi pr26 x -1 r2) (psi pr33 x 1 r1))) (17 ((vvv x 17
l) (psi pr33 x -1 r1) (psi pr26 x 1 r2) (b0 pr1 x -1 r3))) (
16 ((vvv x 16 r2 vc vb va v) (b0 pr1 x -1 r3) (b0 pr5 x 0 r2
) (b4 pr4 x 1 r1 v va vb vc))) (15 ((vvv x 15 r2 vc vb va v)
(b4 pr4 x -1 r1 v va vb vc) (b0 pr5 x 0 r2) (b0 pr1 x 1 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))))
 $
htionlist:='((g (1 597 596 595 594 593 592 591 590 589 588 
587 586 585 584 583 582 581 580 579 578 577 576 575 574 573
572 571 570 569 568 567 566 565 564 563 562 561 560 559 558
557 556 555 554 553 552 551 550 549 548 547 546 545 544 543
542 541 540 539 538 537 536 535 534 533 532 531 530 529 528
527 526 525 524 523 522 521 520 519 518 517 516 515 514 513
512 511 510 509 508 507 506 505 504 503 502 501 500 499 498
497 496 495 494 493 492 491 490 489 488 487 486 485 484 483
482 481 480 479 478 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 20 19 18 17 16 15 3 4 8 9 10 
11 12 14) (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 p2m w2d p3m w3d p4m w4d p5m w5d p6m w6d
p7m w7d p8m w8d p9m w9d p10m w10d p11m w11d p12m w12d p13m 
w13d p14m w14d p15m w15d p16m w16d p17m w17d p18m w18d p19m
w19d p20m w20d p21m w21d p22m w22d p23m w23d p24m w24d p25m
w25d p26m w26d p27m w27d p28m w28d p29m w29d p30m w30d p31m
w31d p32m w32d p33m w33d p34m w34d p35m w35d p36m w36d p37m
w37d p38m w38d p39m w39d p40m w40d p41m w41d p42m w42d p43m
w43d 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:='(pr43 pr42 pr41 pr40 pr39 pr38 pr37 pr36 pr35 pr34
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 pr43 pr42 pr41 pr40 pr39 pr38 pr37 pr36 pr35 pr34 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 pr34 pr35
pr36 pr37 pr38 pr39 pr40 pr41 pr42 pr43 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) (psi5 sf5) (
psi7 sf7) (psi3 sf3) (b4 s4))
 $
end;
 $
