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

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