ctotal:='((wavefunl ((l1 (ub p2 fme -1) (u p1 fme 1)))) (nfn
1) (nz 0) (nz0 0) (nout 1) (state 0) (nsy 1) (hand 0) (xi 3)
(nauto 0) (escale wm));
 
group:='(((704 704)))$
 
maslist:='nil$
 
ndiagfile:='100$
 
alldiagram:='(((0 a1a0a1 a1a0a2 a1a0a3 a1a0a4 a1a0a5 a1a0a6
a1a0a7 a1a0a8)))$
 
coupling_order_list:='(((g . 4)))$
 
array aa(100),aaaa(100)$
 
rangelist:='nil$
 
gresonance_list:='(((plus p3 p4 p5 p6) (704 p36m (plus p1 p2
)) (703 p36m (plus p1 p2)) (702 p36m (plus p1 p2)) (701 p36m
(plus p1 p2)) (700 p36m (plus p1 p2)) (699 p36m (plus p1 p2)
) (698 p36m (plus p1 p2)) (697 p36m (plus p1 p2)) (696 p36m
(plus p1 p2)) (695 p36m (plus p1 p2)) (694 p36m (plus p1 p2)
) (693 p36m (plus p1 p2)) (692 p36m (plus p1 p2)) (691 p36m
(plus p1 p2)) (690 p36m (plus p1 p2)) (689 p36m (plus p1 p2)
) (688 p36m (plus p1 p2)) (687 p36m (plus p1 p2)) (686 p36m
(plus p1 p2)) (685 p36m (plus p1 p2)) (684 p36m (plus p1 p2)
) (683 p36m (plus p1 p2)) (682 p36m (plus p1 p2)) (681 p36m
(plus p1 p2)) (680 p36m (plus p1 p2)) (679 p36m (plus p1 p2)
) (678 p36m (plus p1 p2)) (677 p36m (plus p1 p2)) (676 p36m
(plus p1 p2)) (675 p36m (plus p1 p2)) (674 p36m (plus p1 p2)
) (673 p36m (plus p1 p2)) (672 p36m (plus p1 p2)) (671 p36m
(plus p1 p2)) (670 p36m (plus p1 p2)) (669 p36m (plus p1 p2)
) (668 p36m (plus p1 p2)) (667 p36m (plus p1 p2)) (666 p36m
(plus p1 p2)) (665 p36m (plus p1 p2)) (664 p36m (plus p1 p2)
) (663 p36m (plus p1 p2)) (662 p36m (plus p1 p2)) (661 p36m
(plus p1 p2)) (660 p36m (plus p1 p2)) (659 p36m (plus p1 p2)
) (658 p36m (plus p1 p2)) (657 p36m (plus p1 p2)) (656 p36m
(plus p1 p2)) (655 p36m (plus p1 p2)) (654 p36m (plus p1 p2)
) (653 p36m (plus p1 p2)) (652 p36m (plus p1 p2)) (651 p36m
(plus p1 p2)) (650 p36m (plus p1 p2)) (649 p36m (plus p1 p2)
) (648 p36m (plus p1 p2)) (647 p36m (plus p1 p2)) (646 p36m
(plus p1 p2)) (645 p36m (plus p1 p2)) (644 p36m (plus p1 p2)
) (643 p36m (plus p1 p2)) (642 p36m (plus p1 p2)) (641 p36m
(plus p1 p2)) (640 p36m (plus p1 p2)) (639 p36m (plus p1 p2)
) (638 p36m (plus p1 p2)) (637 p36m (plus p1 p2)) (636 p36m
(plus p1 p2)) (635 p36m (plus p1 p2)) (634 p36m (plus p1 p2)
) (633 p36m (plus p1 p2)) (632 p36m (plus p1 p2)) (631 p36m
(plus p1 p2)) (630 p36m (plus p1 p2)) (629 p36m (plus p1 p2)
) (628 p36m (plus p1 p2)) (627 p36m (plus p1 p2)) (626 p36m
(plus p1 p2)) (625 p36m (plus p1 p2)) (624 p36m (plus p1 p2)
) (623 p36m (plus p1 p2)) (622 p36m (plus p1 p2)) (621 p36m
(plus p1 p2)) (620 p36m (plus p1 p2)) (619 p36m (plus p1 p2)
) (618 p36m (plus p1 p2)) (617 p36m (plus p1 p2)) (616 p36m
(plus p1 p2)) (615 p36m (plus p1 p2)) (614 p36m (plus p1 p2)
) (613 p36m (plus p1 p2)) (612 p36m (plus p1 p2)) (611 p36m
(plus p1 p2)) (610 p36m (plus p1 p2)) (609 p36m (plus p1 p2)
) (608 p36m (plus p1 p2)) (607 p36m (plus p1 p2)) (606 p36m
(plus p1 p2)) (605 p36m (plus p1 p2)) (604 p36m (plus p1 p2)
) (603 p36m (plus p1 p2)) (602 p36m (plus p1 p2)) (601 p36m
(plus p1 p2)) (600 p36m (plus p1 p2)) (599 p36m (plus p1 p2)
) (598 p36m (plus p1 p2)) (597 p36m (plus p1 p2)) (596 p36m
(plus p1 p2)) (595 p36m (plus p1 p2)) (594 p36m (plus p1 p2)
) (593 p36m (plus p1 p2)) (592 p36m (plus p1 p2)) (591 p36m
(plus p1 p2)) (590 p36m (plus p1 p2)) (589 p36m (plus p1 p2)
) (588 p36m (plus p1 p2)) (587 p36m (plus p1 p2)) (586 p36m
(plus p1 p2)) (585 p36m (plus p1 p2)) (584 p36m (plus p1 p2)
) (583 p36m (plus p1 p2)) (582 p36m (plus p1 p2)) (581 p36m
(plus p1 p2)) (580 p36m (plus p1 p2)) (579 p36m (plus p1 p2)
) (578 p36m (plus p1 p2)) (577 p36m (plus p1 p2)) (576 p36m
(plus p1 p2)) (575 p36m (plus p1 p2)) (574 p36m (plus p1 p2)
) (573 p36m (plus p1 p2)) (572 p36m (plus p1 p2)) (571 p36m
(plus p1 p2)) (570 p36m (plus p1 p2)) (569 p36m (plus p1 p2)
) (568 p36m (plus p1 p2)) (567 p36m (plus p1 p2)) (566 p36m
(plus p1 p2)) (565 p36m (plus p1 p2)) (564 p36m (plus p1 p2)
) (563 p36m (plus p1 p2)) (562 p36m (plus p1 p2)) (561 p36m
(plus p1 p2)) (560 p36m (plus p1 p2)) (559 p36m (plus p1 p2)
) (558 p36m (plus p1 p2)) (557 p36m (plus p1 p2)) (556 p36m
(plus p1 p2)) (555 p36m (plus p1 p2)) (554 p36m (plus p1 p2)
) (553 p36m (plus p1 p2)) (552 p36m (plus p1 p2)) (551 p36m
(plus p1 p2)) (550 p36m (plus p1 p2)) (549 p36m (plus p1 p2)
) (548 p36m (plus p1 p2)) (547 p36m (plus p1 p2)) (546 p36m
(plus p1 p2)) (545 p36m (plus p1 p2)) (544 p36m (plus p1 p2)
) (543 p36m (plus p1 p2)) (542 p36m (plus p1 p2)) (541 p36m
(plus p1 p2)) (540 p36m (plus p1 p2)) (539 p36m (plus p1 p2)
) (538 p36m (plus p1 p2)) (537 p36m (plus p1 p2)) (536 p36m
(plus p1 p2)) (535 p36m (plus p1 p2)) (534 p36m (plus p1 p2)
) (533 p36m (plus p1 p2)) (532 p36m (plus p1 p2)) (531 p36m
(plus p1 p2)) (530 p36m (plus p1 p2)) (529 p36m (plus p1 p2)
) (528 p36m (plus p1 p2)) (527 p36m (plus p1 p2)) (526 p36m
(plus p1 p2)) (525 p36m (plus p1 p2)) (524 p36m (plus p1 p2)
) (523 p36m (plus p1 p2)) (522 p36m (plus p1 p2)) (521 p36m
(plus p1 p2)) (520 p36m (plus p1 p2)) (519 p36m (plus p1 p2)
) (518 p36m (plus p1 p2)) (517 p36m (plus p1 p2)) (516 p36m
(plus p1 p2)) (515 p36m (plus p1 p2)) (514 p36m (plus p1 p2)
) (513 p36m (plus p1 p2)) (512 p36m (plus p1 p2)) (511 p36m
(plus p1 p2)) (510 p36m (plus p1 p2)) (509 p36m (plus p1 p2)
) (508 p36m (plus p1 p2)) (507 p36m (plus p1 p2)) (506 p36m
(plus p1 p2)) (505 p36m (plus p1 p2)) (504 p36m (plus p1 p2)
) (503 p36m (plus p1 p2)) (502 p36m (plus p1 p2)) (501 p36m
(plus p1 p2)) (500 p36m (plus p1 p2)) (499 p36m (plus p1 p2)
) (498 p36m (plus p1 p2)) (497 p36m (plus p1 p2)) (496 p36m
(plus p1 p2)) (495 p36m (plus p1 p2)) (494 p36m (plus p1 p2)
) (493 p36m (plus p1 p2)) (492 p36m (plus p1 p2)) (491 p36m
(plus p1 p2)) (490 p36m (plus p1 p2)) (489 p36m (plus p1 p2)
) (488 p36m (plus p1 p2)) (487 p36m (plus p1 p2)) (486 p36m
(plus p1 p2)) (485 p36m (plus p1 p2)) (484 p36m (plus p1 p2)
) (483 p36m (plus p1 p2)) (482 p36m (plus p1 p2)) (481 p36m
(plus p1 p2)) (480 p36m (plus p1 p2)) (479 p36m (plus p1 p2)
) (478 p36m (plus p1 p2)) (477 p36m (plus p1 p2)) (476 p36m
(plus p1 p2)) (475 p36m (plus p1 p2)) (474 p36m (plus p1 p2)
) (473 p36m (plus p1 p2)) (472 p36m (plus p1 p2)) (471 p36m
(plus p1 p2)) (470 p36m (plus p1 p2)) (469 p36m (plus p1 p2)
) (468 p36m (plus p1 p2)) (467 p36m (plus p1 p2)) (466 p36m
(plus p1 p2)) (465 p36m (plus p1 p2)) (464 p36m (plus p1 p2)
) (463 p36m (plus p1 p2)) (462 p36m (plus p1 p2)) (461 p36m
(plus p1 p2)) (460 p36m (plus p1 p2)) (459 p36m (plus p1 p2)
) (458 p36m (plus p1 p2)) (457 p36m (plus p1 p2)) (456 p36m
(plus p1 p2)) (455 p36m (plus p1 p2)) (454 p36m (plus p1 p2)
) (453 p36m (plus p1 p2)) (452 p36m (plus p1 p2)) (451 p36m
(plus p1 p2)) (450 p36m (plus p1 p2)) (449 p36m (plus p1 p2)
) (448 p36m (plus p1 p2)) (447 p36m (plus p1 p2)) (446 p36m
(plus p1 p2)) (445 p36m (plus p1 p2)) (444 p36m (plus p1 p2)
) (443 p36m (plus p1 p2)) (442 p36m (plus p1 p2)) (441 p36m
(plus p1 p2)) (440 p36m (plus p1 p2)) (439 p36m (plus p1 p2)
) (438 p36m (plus p1 p2)) (437 p36m (plus p1 p2)) (436 p36m
(plus p1 p2)) (435 p36m (plus p1 p2)) (434 p36m (plus p1 p2)
) (433 p36m (plus p1 p2)) (432 p36m (plus p1 p2)) (431 p36m
(plus p1 p2)) (430 p36m (plus p1 p2)) (429 p36m (plus p1 p2)
) (428 p36m (plus p1 p2)) (427 p36m (plus p1 p2)) (426 p36m
(plus p1 p2)) (425 p36m (plus p1 p2)) (424 p36m (plus p1 p2)
) (423 p36m (plus p1 p2)) (422 p36m (plus p1 p2)) (421 p36m
(plus p1 p2)) (420 p36m (plus p1 p2)) (419 p36m (plus p1 p2)
) (418 p36m (plus p1 p2)) (417 p36m (plus p1 p2)) (416 p36m
(plus p1 p2)) (415 p36m (plus p1 p2)) (414 p36m (plus p1 p2)
) (413 p36m (plus p1 p2)) (412 p36m (plus p1 p2)) (411 p36m
(plus p1 p2)) (410 p36m (plus p1 p2)) (409 p36m (plus p1 p2)
) (408 p36m (plus p1 p2)) (407 p36m (plus p1 p2)) (406 p36m
(plus p1 p2)) (405 p36m (plus p1 p2)) (404 p36m (plus p1 p2)
) (403 p36m (plus p1 p2)) (402 p36m (plus p1 p2)) (401 p36m
(plus p1 p2)) (400 p36m (plus p1 p2)) (399 p36m (plus p1 p2)
) (398 p36m (plus p1 p2)) (397 p36m (plus p1 p2)) (396 p36m
(plus p1 p2)) (395 p36m (plus p1 p2)) (394 p36m (plus p1 p2)
) (393 p36m (plus p1 p2)) (392 p36m (plus p1 p2)) (391 p36m
(plus p1 p2)) (390 p36m (plus p1 p2)) (389 p36m (plus p1 p2)
) (388 p36m (plus p1 p2)) (387 p36m (plus p1 p2)) (386 p36m
(plus p1 p2)) (385 p36m (plus p1 p2)) (384 p36m (plus p1 p2)
) (383 p36m (plus p1 p2)) (382 p36m (plus p1 p2)) (381 p36m
(plus p1 p2)) (380 p36m (plus p1 p2)) (379 p36m (plus p1 p2)
) (378 p36m (plus p1 p2)) (377 p36m (plus p1 p2)) (376 p36m
(plus p1 p2)) (375 p36m (plus p1 p2)) (374 p36m (plus p1 p2)
) (373 p36m (plus p1 p2)) (372 p36m (plus p1 p2)) (371 p36m
(plus p1 p2)) (370 p36m (plus p1 p2)) (369 p36m (plus p1 p2)
) (368 p36m (plus p1 p2)) (367 p36m (plus p1 p2)) (366 p36m
(plus p1 p2)) (365 p36m (plus p1 p2)) (364 p36m (plus p1 p2)
) (363 p36m (plus p1 p2)) (362 p36m (plus p1 p2)) (361 p36m
(plus p1 p2)) (360 p36m (plus p1 p2)) (359 p36m (plus p1 p2)
) (358 p36m (plus p1 p2)) (357 p36m (plus p1 p2)) (356 p36m
(plus p1 p2)) (355 p36m (plus p1 p2)) (354 p36m (plus p1 p2)
) (353 p36m (plus p1 p2)) (352 p36m (plus p1 p2)) (351 p36m
(plus p1 p2)) (350 p36m (plus p1 p2)) (349 p36m (plus p1 p2)
) (348 p36m (plus p1 p2)) (347 p36m (plus p1 p2)) (346 p36m
(plus p1 p2)) (345 p36m (plus p1 p2)) (344 p36m (plus p1 p2)
) (343 p36m (plus p1 p2)) (342 p36m (plus p1 p2)) (341 p36m
(plus p1 p2)) (340 p36m (plus p1 p2)) (339 p36m (plus p1 p2)
) (338 p36m (plus p1 p2)) (337 p36m (plus p1 p2)) (336 p36m
(plus p1 p2)) (335 p36m (plus p1 p2)) (334 p36m (plus p1 p2)
) (333 p36m (plus p1 p2)) (332 p36m (plus p1 p2)) (331 p36m
(plus p1 p2)) (330 p36m (plus p1 p2)) (329 p36m (plus p1 p2)
) (328 p36m (plus p1 p2)) (327 p36m (plus p1 p2)) (326 p36m
(plus p1 p2)) (325 p36m (plus p1 p2)) (324 p36m (plus p1 p2)
) (323 p36m (plus p1 p2)) (322 p36m (plus p1 p2)) (321 p36m
(plus p1 p2)) (320 p36m (plus p1 p2)) (319 p36m (plus p1 p2)
) (318 p36m (plus p1 p2)) (317 p36m (plus p1 p2)) (316 p36m
(plus p1 p2)) (315 p36m (plus p1 p2)) (314 p36m (plus p1 p2)
) (313 p36m (plus p1 p2)) (312 p36m (plus p1 p2)) (311 p36m
(plus p1 p2)) (310 p36m (plus p1 p2)) (309 p36m (plus p1 p2)
) (308 p36m (plus p1 p2)) (307 p36m (plus p1 p2)) (306 p36m
(plus p1 p2)) (305 p36m (plus p1 p2)) (304 p36m (plus p1 p2)
) (303 p36m (plus p1 p2)) (302 p36m (plus p1 p2)) (301 p36m
(plus p1 p2)) (300 p36m (plus p1 p2)) (299 p36m (plus p1 p2)
) (298 p36m (plus p1 p2)) (297 p36m (plus p1 p2)) (296 p36m
(plus p1 p2)) (295 p36m (plus p1 p2)) (294 p36m (plus p1 p2)
) (293 p36m (plus p1 p2)) (292 p36m (plus p1 p2)) (291 p36m
(plus p1 p2)) (290 p36m (plus p1 p2)) (289 p36m (plus p1 p2)
) (288 p36m (plus p1 p2)) (287 p36m (plus p1 p2)) (286 p36m
(plus p1 p2)) (285 p36m (plus p1 p2)) (284 p36m (plus p1 p2)
) (283 p36m (plus p1 p2)) (282 p36m (plus p1 p2)) (281 p36m
(plus p1 p2)) (280 p36m (plus p1 p2)) (279 p36m (plus p1 p2)
) (278 p36m (plus p1 p2)) (277 p36m (plus p1 p2)) (276 p36m
(plus p1 p2)) (275 p36m (plus p1 p2)) (274 p36m (plus p1 p2)
) (273 p36m (plus p1 p2)) (272 p36m (plus p1 p2)) (271 p36m
(plus p1 p2)) (270 p36m (plus p1 p2)) (269 p36m (plus p1 p2)
) (268 p36m (plus p1 p2)) (267 p36m (plus p1 p2)) (266 p36m
(plus p1 p2)) (265 p36m (plus p1 p2)) (264 p36m (plus p1 p2)
) (263 p36m (plus p1 p2)) (262 p36m (plus p1 p2)) (261 p36m
(plus p1 p2)) (260 p36m (plus p1 p2)) (259 p36m (plus p1 p2)
) (258 p36m (plus p1 p2)) (257 p36m (plus p1 p2)) (256 p36m
(plus p1 p2)) (255 p36m (plus p1 p2)) (254 p36m (plus p1 p2)
) (253 p36m (plus p1 p2)) (252 p36m (plus p1 p2)) (251 p36m
(plus p1 p2)) (250 p36m (plus p1 p2)) (249 p36m (plus p1 p2)
) (248 p36m (plus p1 p2)) (247 p36m (plus p1 p2)) (246 p36m
(plus p1 p2)) (245 p36m (plus p1 p2)) (244 p36m (plus p1 p2)
) (243 p36m (plus p1 p2)) (242 p36m (plus p1 p2)) (241 p36m
(plus p1 p2)) (240 p36m (plus p1 p2)) (239 p36m (plus p1 p2)
) (238 p36m (plus p1 p2)) (237 p36m (plus p1 p2)) (236 p36m
(plus p1 p2)) (235 p36m (plus p1 p2)) (234 p36m (plus p1 p2)
) (233 p36m (plus p1 p2)) (232 p36m (plus p1 p2)) (231 p36m
(plus p1 p2)) (230 p36m (plus p1 p2)) (229 p36m (plus p1 p2)
) (228 p36m (plus p1 p2)) (227 p36m (plus p1 p2)) (226 p36m
(plus p1 p2)) (225 p36m (plus p1 p2)) (224 p36m (plus p1 p2)
) (223 p36m (plus p1 p2)) (222 p36m (plus p1 p2)) (221 p36m
(plus p1 p2)) (220 p36m (plus p1 p2)) (219 p36m (plus p1 p2)
) (218 p36m (plus p1 p2)) (217 p36m (plus p1 p2)) (216 p36m
(plus p1 p2)) (215 p36m (plus p1 p2)) (214 p36m (plus p1 p2)
) (213 p36m (plus p1 p2)) (212 p36m (plus p1 p2)) (211 p36m
(plus p1 p2)) (210 p36m (plus p1 p2)) (209 p36m (plus p1 p2)
) (208 p36m (plus p1 p2)) (207 p36m (plus p1 p2)) (206 p36m
(plus p1 p2)) (205 p36m (plus p1 p2)) (204 p36m (plus p1 p2)
) (203 p36m (plus p1 p2)) (202 p36m (plus p1 p2)) (201 p36m
(plus p1 p2)) (200 p36m (plus p1 p2)) (199 p36m (plus p1 p2)
) (198 p36m (plus p1 p2)) (197 p36m (plus p1 p2)) (196 p36m
(plus p1 p2)) (195 p36m (plus p1 p2)) (194 p36m (plus p1 p2)
) (193 p36m (plus p1 p2)) (192 p36m (plus p1 p2)) (191 p36m
(plus p1 p2)) (190 p36m (plus p1 p2)) (189 p36m (plus p1 p2)
) (188 p36m (plus p1 p2)) (187 p36m (plus p1 p2)) (186 p36m
(plus p1 p2)) (185 p36m (plus p1 p2)) (184 p36m (plus p1 p2)
) (183 p36m (plus p1 p2)) (182 p36m (plus p1 p2)) (181 p36m
(plus p1 p2)) (180 p36m (plus p1 p2)) (179 p36m (plus p1 p2)
) (178 p36m (plus p1 p2)) (177 p36m (plus p1 p2)) (176 p36m
(plus p1 p2)) (175 p36m (plus p1 p2)) (174 p36m (plus p1 p2)
) (173 p36m (plus p1 p2)) (172 p36m (plus p1 p2)) (171 p36m
(plus p1 p2)) (170 p36m (plus p1 p2)) (169 p36m (plus p1 p2)
) (168 p36m (plus p1 p2)) (167 p36m (plus p1 p2)) (166 p36m
(plus p1 p2)) (165 p36m (plus p1 p2)) (164 p36m (plus p1 p2)
) (163 p36m (plus p1 p2)) (162 p36m (plus p1 p2)) (161 p36m
(plus p1 p2)) (160 p36m (plus p1 p2)) (159 p36m (plus p1 p2)
) (158 p36m (plus p1 p2)) (157 p36m (plus p1 p2)) (156 p36m
(plus p1 p2)) (155 p36m (plus p1 p2)) (154 p36m (plus p1 p2)
) (153 p36m (plus p1 p2)) (152 p36m (plus p1 p2)) (151 p36m
(plus p1 p2)) (150 p36m (plus p1 p2)) (149 p36m (plus p1 p2)
) (148 p36m (plus p1 p2)) (147 p36m (plus p1 p2)) (146 p36m
(plus p1 p2)) (145 p36m (plus p1 p2)) (144 p36m (plus p1 p2)
) (143 p36m (plus p1 p2)) (142 p36m (plus p1 p2)) (141 p36m
(plus p1 p2)) (140 p36m (plus p1 p2)) (139 p36m (plus p1 p2)
) (138 p36m (plus p1 p2)) (137 p36m (plus p1 p2)) (136 p36m
(plus p1 p2)) (135 p36m (plus p1 p2)) (134 p36m (plus p1 p2)
) (133 p36m (plus p1 p2)) (132 p36m (plus p1 p2)) (131 p36m
(plus p1 p2)) (130 p36m (plus p1 p2)) (129 p36m (plus p1 p2)
) (128 p36m (plus p1 p2)) (127 p36m (plus p1 p2)) (126 p36m
(plus p1 p2)) (125 p36m (plus p1 p2)) (124 p36m (plus p1 p2)
) (123 p36m (plus p1 p2)) (122 p36m (plus p1 p2)) (121 p36m
(plus p1 p2)) (120 p36m (plus p1 p2)) (119 p36m (plus p1 p2)
) (118 p36m (plus p1 p2)) (117 p36m (plus p1 p2)) (116 p36m
(plus p1 p2)) (115 p36m (plus p1 p2)) (114 p36m (plus p1 p2)
) (113 p36m (plus p1 p2)) (112 p36m (plus p1 p2)) (111 p36m
(plus p1 p2)) (110 p36m (plus p1 p2)) (109 p36m (plus p1 p2)
) (108 p36m (plus p1 p2)) (107 p36m (plus p1 p2)) (106 p36m
(plus p1 p2)) (105 p36m (plus p1 p2)) (104 p36m (plus p1 p2)
) (103 p36m (plus p1 p2)) (102 p36m (plus p1 p2)) (101 p36m
(plus p1 p2)) (100 p36m (plus p1 p2)) (99 p36m (plus p1 p2))
(98 p36m (plus p1 p2)) (97 p36m (plus p1 p2)) (96 p36m (plus
p1 p2)) (95 p36m (plus p1 p2)) (94 p36m (plus p1 p2)) (93 
p36m (plus p1 p2)) (92 p36m (plus p1 p2)) (91 p36m (plus p1
p2)) (90 p36m (plus p1 p2)) (89 p36m (plus p1 p2)) (88 p36m
(plus p1 p2)) (87 p36m (plus p1 p2)) (86 p36m (plus p1 p2))
(85 p36m (plus p1 p2)) (84 p36m (plus p1 p2)) (83 p36m (plus
p1 p2)) (82 p36m (plus p1 p2)) (81 p36m (plus p1 p2)) (80 
p36m (plus p1 p2)) (79 p36m (plus p1 p2)) (78 p36m (plus p1
p2)) (77 p36m (plus p1 p2)) (76 p36m (plus p1 p2)) (75 p36m
(plus p1 p2)) (74 p36m (plus p1 p2)) (73 p36m (plus p1 p2))
(72 p36m (plus p1 p2)) (71 p36m (plus p1 p2)) (70 p36m (plus
p1 p2)) (69 p36m (plus p1 p2)) (68 p36m (plus p1 p2)) (67 
p36m (plus p1 p2)) (66 p36m (plus p1 p2)) (65 p36m (plus p1
p2)) (64 p36m (plus p1 p2)) (63 p36m (plus p1 p2)) (62 p36m
(plus p1 p2)) (61 p36m (plus p1 p2)) (60 p36m (plus p1 p2))
(59 p36m (plus p1 p2)) (58 p36m (plus p1 p2)) (57 p36m (plus
p1 p2)) (56 p36m (plus p1 p2)) (55 p36m (plus p1 p2)) (54 
p36m (plus p1 p2)) (53 p36m (plus p1 p2)) (52 p36m (plus p1
p2)) (51 p36m (plus p1 p2)) (50 p36m (plus p1 p2)) (49 p36m
(plus p1 p2)) (48 p36m (plus p1 p2)) (47 p36m (plus p1 p2))
(46 p36m (plus p1 p2)) (45 p36m (plus p1 p2)) (44 p36m (plus
p1 p2)) (43 p36m (plus p1 p2)) (42 p36m (plus p1 p2)) (41 
p36m (plus p1 p2)) (40 p36m (plus p1 p2)) (39 p36m (plus p1
p2)) (38 p36m (plus p1 p2)) (37 p36m (plus p1 p2)) (36 p36m
(plus p1 p2)) (35 p36m (plus p1 p2)) (34 p36m (plus p1 p2))
(33 p36m (plus p1 p2)) (32 p36m (plus p1 p2)) (31 p36m (plus
p1 p2)) (30 p36m (plus p1 p2)) (29 p36m (plus p1 p2)) (28 
p36m (plus p1 p2)) (27 p36m (plus p1 p2)) (26 p36m (plus p1
p2)) (25 p36m (plus p1 p2)) (24 p36m (plus p1 p2)) (23 p36m
(plus p1 p2)) (22 p36m (plus p1 p2)) (21 p36m (plus p1 p2))
(20 p36m (plus p1 p2)) (19 p36m (plus p1 p2)) (18 p36m (plus
p1 p2)) (17 p36m (plus p1 p2)) (16 p36m (plus p1 p2)) (15 
p36m (plus p1 p2)) (14 p36m (plus p1 p2)) (13 p36m (plus p1
p2)) (12 p36m (plus p1 p2)) (11 p36m (plus p1 p2)) (10 p36m
(plus p1 p2)) (9 p36m (plus p1 p2)) (8 p36m (plus p1 p2)) (7
p36m (plus p1 p2)) (6 p36m (plus p1 p2)) (5 p36m (plus p1 p2
)) (4 p36m (plus p1 p2)) (3 p36m (plus p1 p2)) (2 p36m (plus
p1 p2)) (1 p36m (plus p1 p2))) ((plus p4 p5 p6) (610 p35m (
plus (minus p4) (minus p5) (minus p6))) (609 p35m (plus (
minus p4) (minus p5) (minus p6))) (606 p35m (plus (minus p4)
(minus p5) (minus p6))) (605 p35m (plus (minus p4) (minus p5
) (minus p6))) (602 p35m (plus (minus p4) (minus p5) (minus
p6))) (601 p35m (plus (minus p4) (minus p5) (minus p6))) (
598 p35m (plus (minus p4) (minus p5) (minus p6))) (597 p35m
(plus (minus p4) (minus p5) (minus p6))) (594 p35m (plus (
minus p4) (minus p5) (minus p6))) (593 p35m (plus (minus p4)
(minus p5) (minus p6))) (590 p35m (plus (minus p4) (minus p5
) (minus p6))) (589 p35m (plus (minus p4) (minus p5) (minus
p6))) (586 p35m (plus (minus p4) (minus p5) (minus p6))) (
585 p35m (plus (minus p4) (minus p5) (minus p6))) (582 p35m
(plus (minus p4) (minus p5) (minus p6))) (581 p35m (plus (
minus p4) (minus p5) (minus p6))) (578 p35m (plus (minus p4)
(minus p5) (minus p6))) (577 p35m (plus (minus p4) (minus p5
) (minus p6))) (574 p35m (plus (minus p4) (minus p5) (minus
p6))) (573 p35m (plus (minus p4) (minus p5) (minus p6))) (
570 p35m (plus (minus p4) (minus p5) (minus p6))) (569 p35m
(plus (minus p4) (minus p5) (minus p6))) (566 p35m (plus (
minus p4) (minus p5) (minus p6))) (565 p35m (plus (minus p4)
(minus p5) (minus p6))) (562 p35m (plus (minus p4) (minus p5
) (minus p6))) (561 p35m (plus (minus p4) (minus p5) (minus
p6))) (558 p35m (plus (minus p4) (minus p5) (minus p6))) (
557 p35m (plus (minus p4) (minus p5) (minus p6))) (554 p35m
(plus (minus p4) (minus p5) (minus p6))) (553 p35m (plus (
minus p4) (minus p5) (minus p6))) (550 p35m (plus (minus p4)
(minus p5) (minus p6))) (549 p35m (plus (minus p4) (minus p5
) (minus p6))) (546 p35m (plus (minus p4) (minus p5) (minus
p6))) (545 p35m (plus (minus p4) (minus p5) (minus p6))) (
542 p35m (plus (minus p4) (minus p5) (minus p6))) (541 p35m
(plus (minus p4) (minus p5) (minus p6))) (538 p35m (plus (
minus p4) (minus p5) (minus p6))) (537 p35m (plus (minus p4)
(minus p5) (minus p6))) (534 p35m (plus (minus p4) (minus p5
) (minus p6))) (533 p35m (plus (minus p4) (minus p5) (minus
p6))) (450 p34m (plus (minus p4) (minus p5) (minus p6))) (
449 p34m (plus (minus p4) (minus p5) (minus p6))) (446 p34m
(plus (minus p4) (minus p5) (minus p6))) (445 p34m (plus (
minus p4) (minus p5) (minus p6))) (442 p34m (plus (minus p4)
(minus p5) (minus p6))) (441 p34m (plus (minus p4) (minus p5
) (minus p6))) (438 p34m (plus (minus p4) (minus p5) (minus
p6))) (437 p34m (plus (minus p4) (minus p5) (minus p6))) (
434 p34m (plus (minus p4) (minus p5) (minus p6))) (433 p34m
(plus (minus p4) (minus p5) (minus p6))) (430 p34m (plus (
minus p4) (minus p5) (minus p6))) (429 p34m (plus (minus p4)
(minus p5) (minus p6))) (426 p34m (plus (minus p4) (minus p5
) (minus p6))) (425 p34m (plus (minus p4) (minus p5) (minus
p6))) (422 p34m (plus (minus p4) (minus p5) (minus p6))) (
421 p34m (plus (minus p4) (minus p5) (minus p6))) (418 p34m
(plus (minus p4) (minus p5) (minus p6))) (417 p34m (plus (
minus p4) (minus p5) (minus p6))) (414 p34m (plus (minus p4)
(minus p5) (minus p6))) (413 p34m (plus (minus p4) (minus p5
) (minus p6))) (410 p34m (plus (minus p4) (minus p5) (minus
p6))) (409 p34m (plus (minus p4) (minus p5) (minus p6))) (
406 p34m (plus (minus p4) (minus p5) (minus p6))) (405 p34m
(plus (minus p4) (minus p5) (minus p6))) (402 p34m (plus (
minus p4) (minus p5) (minus p6))) (401 p34m (plus (minus p4)
(minus p5) (minus p6))) (398 p34m (plus (minus p4) (minus p5
) (minus p6))) (397 p34m (plus (minus p4) (minus p5) (minus
p6))) (394 p34m (plus (minus p4) (minus p5) (minus p6))) (
393 p34m (plus (minus p4) (minus p5) (minus p6))) (390 p34m
(plus (minus p4) (minus p5) (minus p6))) (389 p34m (plus (
minus p4) (minus p5) (minus p6))) (386 p34m (plus (minus p4)
(minus p5) (minus p6))) (385 p34m (plus (minus p4) (minus p5
) (minus p6))) (382 p34m (plus (minus p4) (minus p5) (minus
p6))) (381 p34m (plus (minus p4) (minus p5) (minus p6))) (
378 p34m (plus (minus p4) (minus p5) (minus p6))) (377 p34m
(plus (minus p4) (minus p5) (minus p6))) (294 p27m (plus (
minus p4) (minus p5) (minus p6))) (293 p27m (plus (minus p4)
(minus p5) (minus p6))) (282 p29m (plus (minus p4) (minus p5
) (minus p6))) (281 p29m (plus (minus p4) (minus p5) (minus
p6))) (278 p29m (plus (minus p4) (minus p5) (minus p6))) (
277 p29m (plus (minus p4) (minus p5) (minus p6))) (262 p30m
(plus (minus p4) (minus p5) (minus p6))) (261 p30m (plus (
minus p4) (minus p5) (minus p6))) (258 p30m (plus (minus p4)
(minus p5) (minus p6))) (257 p30m (plus (minus p4) (minus p5
) (minus p6))) (254 p30m (plus (minus p4) (minus p5) (minus
p6))) (253 p30m (plus (minus p4) (minus p5) (minus p6))) (
226 p32m (plus (minus p4) (minus p5) (minus p6))) (225 p32m
(plus (minus p4) (minus p5) (minus p6))) (222 p32m (plus (
minus p4) (minus p5) (minus p6))) (221 p32m (plus (minus p4)
(minus p5) (minus p6))) (218 p32m (plus (minus p4) (minus p5
) (minus p6))) (217 p32m (plus (minus p4) (minus p5) (minus
p6))) (214 p32m (plus (minus p4) (minus p5) (minus p6))) (
213 p32m (plus (minus p4) (minus p5) (minus p6))) (210 p32m
(plus (minus p4) (minus p5) (minus p6))) (209 p32m (plus (
minus p4) (minus p5) (minus p6))) (206 p32m (plus (minus p4)
(minus p5) (minus p6))) (205 p32m (plus (minus p4) (minus p5
) (minus p6))) (130 p33m (plus (minus p4) (minus p5) (minus
p6))) (129 p33m (plus (minus p4) (minus p5) (minus p6))) (
126 p33m (plus (minus p4) (minus p5) (minus p6))) (125 p33m
(plus (minus p4) (minus p5) (minus p6))) (122 p33m (plus (
minus p4) (minus p5) (minus p6))) (121 p33m (plus (minus p4)
(minus p5) (minus p6))) (118 p33m (plus (minus p4) (minus p5
) (minus p6))) (117 p33m (plus (minus p4) (minus p5) (minus
p6))) (114 p33m (plus (minus p4) (minus p5) (minus p6))) (
113 p33m (plus (minus p4) (minus p5) (minus p6))) (110 p33m
(plus (minus p4) (minus p5) (minus p6))) (109 p33m (plus (
minus p4) (minus p5) (minus p6))) (106 p33m (plus (minus p4)
(minus p5) (minus p6))) (105 p33m (plus (minus p4) (minus p5
) (minus p6))) (102 p33m (plus (minus p4) (minus p5) (minus
p6))) (101 p33m (plus (minus p4) (minus p5) (minus p6))) (98
p33m (plus (minus p4) (minus p5) (minus p6))) (97 p33m (plus
(minus p4) (minus p5) (minus p6))) (94 p33m (plus (minus p4)
(minus p5) (minus p6))) (93 p33m (plus (minus p4) (minus p5)
(minus p6))) (90 p33m (plus (minus p4) (minus p5) (minus p6)
)) (89 p33m (plus (minus p4) (minus p5) (minus p6))) (86 
p33m (plus (minus p4) (minus p5) (minus p6))) (85 p33m (plus
(minus p4) (minus p5) (minus p6))) (82 p33m (plus (minus p4)
(minus p5) (minus p6))) (81 p33m (plus (minus p4) (minus p5)
(minus p6))) (78 p33m (plus (minus p4) (minus p5) (minus p6)
)) (77 p33m (plus (minus p4) (minus p5) (minus p6))) (74 
p33m (plus (minus p4) (minus p5) (minus p6))) (73 p33m (plus
(minus p4) (minus p5) (minus p6))) (70 p33m (plus (minus p4)
(minus p5) (minus p6))) (69 p33m (plus (minus p4) (minus p5)
(minus p6))) (66 p33m (plus (minus p4) (minus p5) (minus p6)
)) (65 p33m (plus (minus p4) (minus p5) (minus p6))) (62 
p33m (plus (minus p4) (minus p5) (minus p6))) (61 p33m (plus
(minus p4) (minus p5) (minus p6))) (26 p28m (plus (minus p4)
(minus p5) (minus p6))) (25 p28m (plus (minus p4) (minus p5)
(minus p6))) (10 p31m (plus (minus p4) (minus p5) (minus p6)
)) (9 p31m (plus (minus p4) (minus p5) (minus p6))) (6 p31m
(plus (minus p4) (minus p5) (minus p6))) (5 p31m (plus (
minus p4) (minus p5) (minus p6))) (2 p31m (plus (minus p4) (
minus p5) (minus p6))) (1 p31m (plus (minus p4) (minus p5) (
minus p6)))) ((plus p4 p6) (704 p26m (plus (minus p4) (minus
p6))) (701 p2m (plus (minus p4) (minus p6))) (700 p14m (plus
(minus p4) (minus p6))) (697 p3m (plus (minus p4) (minus p6)
)) (696 p16m (plus (minus p4) (minus p6))) (693 p4m (plus (
minus p4) (minus p6))) (689 p3m (plus p4 p6)) (685 p4m (plus
p4 p6)) (681 p7m (plus p4 p6)) (677 p10m (plus p4 p6)) (673
p11m (plus p4 p6)) (669 p12m (plus p4 p6)) (665 p18m (plus 
p4 p6)) (661 p20m (plus p4 p6)) (657 p22m (plus p4 p6)) (653
p23m (plus p4 p6)) (649 p2m (plus p4 p6)) (645 p6m (plus p4
p6)) (641 p9m (plus p4 p6)) (637 p13m (plus p4 p6)) (633 
p15m (plus p4 p6)) (629 p17m (plus p4 p6)) (625 p21m (plus 
p4 p6)) (621 p5m (plus p4 p6)) (617 p8m (plus p4 p6)) (613 
p19m (plus p4 p6)) (609 p3m (plus p4 p6)) (605 p4m (plus p4
p6)) (601 p7m (plus p4 p6)) (597 p10m (plus p4 p6)) (593 
p11m (plus p4 p6)) (589 p12m (plus p4 p6)) (585 p18m (plus 
p4 p6)) (581 p20m (plus p4 p6)) (577 p22m (plus p4 p6)) (573
p23m (plus p4 p6)) (569 p2m (plus p4 p6)) (565 p6m (plus p4
p6)) (561 p9m (plus p4 p6)) (557 p13m (plus p4 p6)) (553 
p15m (plus p4 p6)) (549 p17m (plus p4 p6)) (545 p21m (plus 
p4 p6)) (541 p5m (plus p4 p6)) (537 p8m (plus p4 p6)) (533 
p19m (plus p4 p6)) (532 p14m (plus (minus p4) (minus p6))) (
529 p5m (plus (minus p4) (minus p6))) (525 p14m (plus p4 p6)
) (521 p16m (plus p4 p6)) (517 p3m (plus p4 p6)) (513 p4m (
plus p4 p6)) (509 p7m (plus p4 p6)) (505 p10m (plus p4 p6))
(501 p11m (plus p4 p6)) (497 p12m (plus p4 p6)) (493 p18m (
plus p4 p6)) (489 p20m (plus p4 p6)) (485 p2m (plus p4 p6))
(481 p6m (plus p4 p6)) (477 p9m (plus p4 p6)) (473 p13m (
plus p4 p6)) (469 p15m (plus p4 p6)) (465 p17m (plus p4 p6))
(461 p5m (plus p4 p6)) (457 p8m (plus p4 p6)) (453 p19m (
plus p4 p6)) (449 p14m (plus p4 p6)) (445 p16m (plus p4 p6))
(441 p3m (plus p4 p6)) (437 p4m (plus p4 p6)) (433 p7m (plus
p4 p6)) (429 p10m (plus p4 p6)) (425 p11m (plus p4 p6)) (421
p12m (plus p4 p6)) (417 p18m (plus p4 p6)) (413 p20m (plus 
p4 p6)) (409 p2m (plus p4 p6)) (405 p6m (plus p4 p6)) (401 
p9m (plus p4 p6)) (397 p13m (plus p4 p6)) (393 p15m (plus p4
p6)) (389 p17m (plus p4 p6)) (385 p5m (plus p4 p6)) (381 p8m
(plus p4 p6)) (377 p19m (plus p4 p6)) (376 p3m (plus (minus
p4) (minus p6))) (373 p2m (plus (minus p4) (minus p6))) (372
p6m (plus (minus p4) (minus p6))) (369 p3m (plus (minus p4)
(minus p6))) (368 p13m (plus (minus p4) (minus p6))) (365 
p3m (plus (minus p4) (minus p6))) (364 p15m (plus (minus p4)
(minus p6))) (361 p3m (plus (minus p4) (minus p6))) (360 p9m
(plus (minus p4) (minus p6))) (357 p4m (plus (minus p4) (
minus p6))) (356 p17m (plus (minus p4) (minus p6))) (353 p4m
(plus (minus p4) (minus p6))) (352 p7m (plus (minus p4) (
minus p6))) (349 p2m (plus (minus p4) (minus p6))) (348 p7m
(plus (minus p4) (minus p6))) (345 p6m (plus (minus p4) (
minus p6))) (344 p13m (plus (minus p4) (minus p6))) (341 p7m
(plus (minus p4) (minus p6))) (340 p10m (plus (minus p4) (
minus p6))) (337 p2m (plus (minus p4) (minus p6))) (336 p10m
(plus (minus p4) (minus p6))) (333 p6m (plus (minus p4) (
minus p6))) (332 p11m (plus (minus p4) (minus p6))) (329 p2m
(plus (minus p4) (minus p6))) (328 p11m (plus (minus p4) (
minus p6))) (325 p6m (plus (minus p4) (minus p6))) (324 p12m
(plus (minus p4) (minus p6))) (321 p2m (plus (minus p4) (
minus p6))) (320 p12m (plus (minus p4) (minus p6))) (317 p6m
(plus (minus p4) (minus p6))) (316 p20m (plus (minus p4) (
minus p6))) (313 p2m (plus (minus p4) (minus p6))) (312 p22m
(plus (minus p4) (minus p6))) (309 p2m (plus (minus p4) (
minus p6))) (308 p23m (plus (minus p4) (minus p6))) (305 p2m
(plus (minus p4) (minus p6))) (304 p24m (plus (minus p4) (
minus p6))) (301 p2m (plus (minus p4) (minus p6))) (297 p2m
(plus p4 p6)) (293 p2m (plus p4 p6)) (289 p3m (plus p4 p6))
(285 p2m (plus p4 p6)) (281 p3m (plus p4 p6)) (277 p2m (plus
p4 p6)) (273 p3m (plus p4 p6)) (269 p4m (plus p4 p6)) (265 
p2m (plus p4 p6)) (261 p3m (plus p4 p6)) (257 p4m (plus p4 
p6)) (253 p2m (plus p4 p6)) (249 p3m (plus p4 p6)) (245 p4m
(plus p4 p6)) (241 p7m (plus p4 p6)) (237 p2m (plus p4 p6))
(233 p6m (plus p4 p6)) (229 p9m (plus p4 p6)) (225 p3m (plus
p4 p6)) (221 p4m (plus p4 p6)) (217 p7m (plus p4 p6)) (213 
p2m (plus p4 p6)) (209 p6m (plus p4 p6)) (205 p9m (plus p4 
p6)) (201 p14m (plus p4 p6)) (197 p16m (plus p4 p6)) (193 
p3m (plus p4 p6)) (189 p4m (plus p4 p6)) (185 p7m (plus p4 
p6)) (181 p10m (plus p4 p6)) (177 p11m (plus p4 p6)) (173 
p12m (plus p4 p6)) (169 p18m (plus p4 p6)) (165 p2m (plus p4
p6)) (161 p6m (plus p4 p6)) (157 p9m (plus p4 p6)) (153 p13m
(plus p4 p6)) (149 p15m (plus p4 p6)) (145 p17m (plus p4 p6)
) (141 p5m (plus p4 p6)) (137 p8m (plus p4 p6)) (133 p19m (
plus p4 p6)) (129 p14m (plus p4 p6)) (125 p16m (plus p4 p6))
(121 p3m (plus p4 p6)) (117 p4m (plus p4 p6)) (113 p7m (plus
p4 p6)) (109 p10m (plus p4 p6)) (105 p11m (plus p4 p6)) (101
p12m (plus p4 p6)) (97 p18m (plus p4 p6)) (93 p2m (plus p4 
p6)) (89 p6m (plus p4 p6)) (85 p9m (plus p4 p6)) (81 p13m (
plus p4 p6)) (77 p15m (plus p4 p6)) (73 p17m (plus p4 p6)) (
69 p5m (plus p4 p6)) (65 p8m (plus p4 p6)) (61 p19m (plus p4
p6)) (60 p5m (plus (minus p4) (minus p6))) (57 p2m (plus (
minus p4) (minus p6))) (56 p19m (plus (minus p4) (minus p6))
) (53 p2m (plus (minus p4) (minus p6))) (52 p25m (plus (
minus p4) (minus p6))) (49 p2m (plus (minus p4) (minus p6)))
(48 p6m (plus (minus p4) (minus p6))) (45 p5m (plus (minus 
p4) (minus p6))) (44 p8m (plus (minus p4) (minus p6))) (41 
p9m (plus (minus p4) (minus p6))) (40 p13m (plus (minus p4)
(minus p6))) (37 p5m (plus (minus p4) (minus p6))) (36 p15m
(plus (minus p4) (minus p6))) (33 p5m (plus (minus p4) (
minus p6))) (29 p2m (plus p4 p6)) (25 p2m (plus p4 p6)) (21
p3m (plus p4 p6)) (17 p4m (plus p4 p6)) (13 p2m (plus p4 p6)
) (9 p3m (plus p4 p6)) (5 p4m (plus p4 p6)) (1 p2m (plus p4
p6))) ((plus p4 p5) (703 p26m (plus (minus p4) (minus p5)))
(702 p2m (plus (minus p4) (minus p5))) (699 p14m (plus (
minus p4) (minus p5))) (698 p3m (plus (minus p4) (minus p5))
) (695 p16m (plus (minus p4) (minus p5))) (694 p4m (plus (
minus p4) (minus p5))) (690 p3m (plus p4 p5)) (686 p4m (plus
p4 p5)) (682 p7m (plus p4 p5)) (678 p10m (plus p4 p5)) (674
p11m (plus p4 p5)) (670 p12m (plus p4 p5)) (666 p18m (plus 
p4 p5)) (662 p20m (plus p4 p5)) (658 p22m (plus p4 p5)) (654
p23m (plus p4 p5)) (650 p2m (plus p4 p5)) (646 p6m (plus p4
p5)) (642 p9m (plus p4 p5)) (638 p13m (plus p4 p5)) (634 
p15m (plus p4 p5)) (630 p17m (plus p4 p5)) (626 p21m (plus 
p4 p5)) (622 p5m (plus p4 p5)) (618 p8m (plus p4 p5)) (614 
p19m (plus p4 p5)) (610 p3m (plus p4 p5)) (606 p4m (plus p4
p5)) (602 p7m (plus p4 p5)) (598 p10m (plus p4 p5)) (594 
p11m (plus p4 p5)) (590 p12m (plus p4 p5)) (586 p18m (plus 
p4 p5)) (582 p20m (plus p4 p5)) (578 p22m (plus p4 p5)) (574
p23m (plus p4 p5)) (570 p2m (plus p4 p5)) (566 p6m (plus p4
p5)) (562 p9m (plus p4 p5)) (558 p13m (plus p4 p5)) (554 
p15m (plus p4 p5)) (550 p17m (plus p4 p5)) (546 p21m (plus 
p4 p5)) (542 p5m (plus p4 p5)) (538 p8m (plus p4 p5)) (534 
p19m (plus p4 p5)) (531 p14m (plus (minus p4) (minus p5))) (
530 p5m (plus (minus p4) (minus p5))) (526 p14m (plus p4 p5)
) (522 p16m (plus p4 p5)) (518 p3m (plus p4 p5)) (514 p4m (
plus p4 p5)) (510 p7m (plus p4 p5)) (506 p10m (plus p4 p5))
(502 p11m (plus p4 p5)) (498 p12m (plus p4 p5)) (494 p18m (
plus p4 p5)) (490 p20m (plus p4 p5)) (486 p2m (plus p4 p5))
(482 p6m (plus p4 p5)) (478 p9m (plus p4 p5)) (474 p13m (
plus p4 p5)) (470 p15m (plus p4 p5)) (466 p17m (plus p4 p5))
(462 p5m (plus p4 p5)) (458 p8m (plus p4 p5)) (454 p19m (
plus p4 p5)) (450 p14m (plus p4 p5)) (446 p16m (plus p4 p5))
(442 p3m (plus p4 p5)) (438 p4m (plus p4 p5)) (434 p7m (plus
p4 p5)) (430 p10m (plus p4 p5)) (426 p11m (plus p4 p5)) (422
p12m (plus p4 p5)) (418 p18m (plus p4 p5)) (414 p20m (plus 
p4 p5)) (410 p2m (plus p4 p5)) (406 p6m (plus p4 p5)) (402 
p9m (plus p4 p5)) (398 p13m (plus p4 p5)) (394 p15m (plus p4
p5)) (390 p17m (plus p4 p5)) (386 p5m (plus p4 p5)) (382 p8m
(plus p4 p5)) (378 p19m (plus p4 p5)) (375 p3m (plus (minus
p4) (minus p5))) (374 p2m (plus (minus p4) (minus p5))) (371
p6m (plus (minus p4) (minus p5))) (370 p3m (plus (minus p4)
(minus p5))) (367 p13m (plus (minus p4) (minus p5))) (366 
p3m (plus (minus p4) (minus p5))) (363 p15m (plus (minus p4)
(minus p5))) (362 p3m (plus (minus p4) (minus p5))) (359 p9m
(plus (minus p4) (minus p5))) (358 p4m (plus (minus p4) (
minus p5))) (355 p17m (plus (minus p4) (minus p5))) (354 p4m
(plus (minus p4) (minus p5))) (351 p7m (plus (minus p4) (
minus p5))) (350 p2m (plus (minus p4) (minus p5))) (347 p7m
(plus (minus p4) (minus p5))) (346 p6m (plus (minus p4) (
minus p5))) (343 p13m (plus (minus p4) (minus p5))) (342 p7m
(plus (minus p4) (minus p5))) (339 p10m (plus (minus p4) (
minus p5))) (338 p2m (plus (minus p4) (minus p5))) (335 p10m
(plus (minus p4) (minus p5))) (334 p6m (plus (minus p4) (
minus p5))) (331 p11m (plus (minus p4) (minus p5))) (330 p2m
(plus (minus p4) (minus p5))) (327 p11m (plus (minus p4) (
minus p5))) (326 p6m (plus (minus p4) (minus p5))) (323 p12m
(plus (minus p4) (minus p5))) (322 p2m (plus (minus p4) (
minus p5))) (319 p12m (plus (minus p4) (minus p5))) (318 p6m
(plus (minus p4) (minus p5))) (315 p20m (plus (minus p4) (
minus p5))) (314 p2m (plus (minus p4) (minus p5))) (311 p22m
(plus (minus p4) (minus p5))) (310 p2m (plus (minus p4) (
minus p5))) (307 p23m (plus (minus p4) (minus p5))) (306 p2m
(plus (minus p4) (minus p5))) (303 p24m (plus (minus p4) (
minus p5))) (302 p2m (plus (minus p4) (minus p5))) (298 p2m
(plus p4 p5)) (294 p2m (plus p4 p5)) (290 p3m (plus p4 p5))
(286 p2m (plus p4 p5)) (282 p3m (plus p4 p5)) (278 p2m (plus
p4 p5)) (274 p3m (plus p4 p5)) (270 p4m (plus p4 p5)) (266 
p2m (plus p4 p5)) (262 p3m (plus p4 p5)) (258 p4m (plus p4 
p5)) (254 p2m (plus p4 p5)) (250 p3m (plus p4 p5)) (246 p4m
(plus p4 p5)) (242 p7m (plus p4 p5)) (238 p2m (plus p4 p5))
(234 p6m (plus p4 p5)) (230 p9m (plus p4 p5)) (226 p3m (plus
p4 p5)) (222 p4m (plus p4 p5)) (218 p7m (plus p4 p5)) (214 
p2m (plus p4 p5)) (210 p6m (plus p4 p5)) (206 p9m (plus p4 
p5)) (202 p14m (plus p4 p5)) (198 p16m (plus p4 p5)) (194 
p3m (plus p4 p5)) (190 p4m (plus p4 p5)) (186 p7m (plus p4 
p5)) (182 p10m (plus p4 p5)) (178 p11m (plus p4 p5)) (174 
p12m (plus p4 p5)) (170 p18m (plus p4 p5)) (166 p2m (plus p4
p5)) (162 p6m (plus p4 p5)) (158 p9m (plus p4 p5)) (154 p13m
(plus p4 p5)) (150 p15m (plus p4 p5)) (146 p17m (plus p4 p5)
) (142 p5m (plus p4 p5)) (138 p8m (plus p4 p5)) (134 p19m (
plus p4 p5)) (130 p14m (plus p4 p5)) (126 p16m (plus p4 p5))
(122 p3m (plus p4 p5)) (118 p4m (plus p4 p5)) (114 p7m (plus
p4 p5)) (110 p10m (plus p4 p5)) (106 p11m (plus p4 p5)) (102
p12m (plus p4 p5)) (98 p18m (plus p4 p5)) (94 p2m (plus p4 
p5)) (90 p6m (plus p4 p5)) (86 p9m (plus p4 p5)) (82 p13m (
plus p4 p5)) (78 p15m (plus p4 p5)) (74 p17m (plus p4 p5)) (
70 p5m (plus p4 p5)) (66 p8m (plus p4 p5)) (62 p19m (plus p4
p5)) (59 p5m (plus (minus p4) (minus p5))) (58 p2m (plus (
minus p4) (minus p5))) (55 p19m (plus (minus p4) (minus p5))
) (54 p2m (plus (minus p4) (minus p5))) (51 p25m (plus (
minus p4) (minus p5))) (50 p2m (plus (minus p4) (minus p5)))
(47 p6m (plus (minus p4) (minus p5))) (46 p5m (plus (minus 
p4) (minus p5))) (43 p8m (plus (minus p4) (minus p5))) (42 
p9m (plus (minus p4) (minus p5))) (39 p13m (plus (minus p4)
(minus p5))) (38 p5m (plus (minus p4) (minus p5))) (35 p15m
(plus (minus p4) (minus p5))) (34 p5m (plus (minus p4) (
minus p5))) (30 p2m (plus p4 p5)) (26 p2m (plus p4 p5)) (22
p3m (plus p4 p5)) (18 p4m (plus p4 p5)) (14 p2m (plus p4 p5)
) (10 p3m (plus p4 p5)) (6 p4m (plus p4 p5)) (2 p2m (plus p4
p5))) ((plus p3 p5 p6) (612 p35m (plus p1 p2 p4)) (611 p35m
(plus p1 p2 p4)) (608 p35m (plus p1 p2 p4)) (607 p35m (plus
p1 p2 p4)) (604 p35m (plus p1 p2 p4)) (603 p35m (plus p1 p2
p4)) (600 p35m (plus p1 p2 p4)) (599 p35m (plus p1 p2 p4)) (
596 p35m (plus p1 p2 p4)) (595 p35m (plus p1 p2 p4)) (592 
p35m (plus p1 p2 p4)) (591 p35m (plus p1 p2 p4)) (588 p35m (
plus p1 p2 p4)) (587 p35m (plus p1 p2 p4)) (584 p35m (plus 
p1 p2 p4)) (583 p35m (plus p1 p2 p4)) (580 p35m (plus p1 p2
p4)) (579 p35m (plus p1 p2 p4)) (576 p35m (plus p1 p2 p4)) (
575 p35m (plus p1 p2 p4)) (572 p35m (plus p1 p2 p4)) (571 
p35m (plus p1 p2 p4)) (568 p35m (plus p1 p2 p4)) (567 p35m (
plus p1 p2 p4)) (564 p35m (plus p1 p2 p4)) (563 p35m (plus 
p1 p2 p4)) (560 p35m (plus p1 p2 p4)) (559 p35m (plus p1 p2
p4)) (556 p35m (plus p1 p2 p4)) (555 p35m (plus p1 p2 p4)) (
552 p35m (plus p1 p2 p4)) (551 p35m (plus p1 p2 p4)) (548 
p35m (plus p1 p2 p4)) (547 p35m (plus p1 p2 p4)) (544 p35m (
plus p1 p2 p4)) (543 p35m (plus p1 p2 p4)) (540 p35m (plus 
p1 p2 p4)) (539 p35m (plus p1 p2 p4)) (536 p35m (plus p1 p2
p4)) (535 p35m (plus p1 p2 p4)) (452 p34m (plus p1 p2 p4)) (
451 p34m (plus p1 p2 p4)) (448 p34m (plus p1 p2 p4)) (447 
p34m (plus p1 p2 p4)) (444 p34m (plus p1 p2 p4)) (443 p34m (
plus p1 p2 p4)) (440 p34m (plus p1 p2 p4)) (439 p34m (plus 
p1 p2 p4)) (436 p34m (plus p1 p2 p4)) (435 p34m (plus p1 p2
p4)) (432 p34m (plus p1 p2 p4)) (431 p34m (plus p1 p2 p4)) (
428 p34m (plus p1 p2 p4)) (427 p34m (plus p1 p2 p4)) (424 
p34m (plus p1 p2 p4)) (423 p34m (plus p1 p2 p4)) (420 p34m (
plus p1 p2 p4)) (419 p34m (plus p1 p2 p4)) (416 p34m (plus 
p1 p2 p4)) (415 p34m (plus p1 p2 p4)) (412 p34m (plus p1 p2
p4)) (411 p34m (plus p1 p2 p4)) (408 p34m (plus p1 p2 p4)) (
407 p34m (plus p1 p2 p4)) (404 p34m (plus p1 p2 p4)) (403 
p34m (plus p1 p2 p4)) (400 p34m (plus p1 p2 p4)) (399 p34m (
plus p1 p2 p4)) (396 p34m (plus p1 p2 p4)) (395 p34m (plus 
p1 p2 p4)) (392 p34m (plus p1 p2 p4)) (391 p34m (plus p1 p2
p4)) (388 p34m (plus p1 p2 p4)) (387 p34m (plus p1 p2 p4)) (
384 p34m (plus p1 p2 p4)) (383 p34m (plus p1 p2 p4)) (380 
p34m (plus p1 p2 p4)) (379 p34m (plus p1 p2 p4)) (296 p27m (
plus p1 p2 p4)) (295 p27m (plus p1 p2 p4)) (284 p29m (plus 
p1 p2 p4)) (283 p29m (plus p1 p2 p4)) (280 p29m (plus p1 p2
p4)) (279 p29m (plus p1 p2 p4)) (264 p30m (plus p1 p2 p4)) (
263 p30m (plus p1 p2 p4)) (260 p30m (plus p1 p2 p4)) (259 
p30m (plus p1 p2 p4)) (256 p30m (plus p1 p2 p4)) (255 p30m (
plus p1 p2 p4)) (228 p32m (plus p1 p2 p4)) (227 p32m (plus 
p1 p2 p4)) (224 p32m (plus p1 p2 p4)) (223 p32m (plus p1 p2
p4)) (220 p32m (plus p1 p2 p4)) (219 p32m (plus p1 p2 p4)) (
216 p32m (plus p1 p2 p4)) (215 p32m (plus p1 p2 p4)) (212 
p32m (plus p1 p2 p4)) (211 p32m (plus p1 p2 p4)) (208 p32m (
plus p1 p2 p4)) (207 p32m (plus p1 p2 p4)) (132 p33m (plus 
p1 p2 p4)) (131 p33m (plus p1 p2 p4)) (128 p33m (plus p1 p2
p4)) (127 p33m (plus p1 p2 p4)) (124 p33m (plus p1 p2 p4)) (
123 p33m (plus p1 p2 p4)) (120 p33m (plus p1 p2 p4)) (119 
p33m (plus p1 p2 p4)) (116 p33m (plus p1 p2 p4)) (115 p33m (
plus p1 p2 p4)) (112 p33m (plus p1 p2 p4)) (111 p33m (plus 
p1 p2 p4)) (108 p33m (plus p1 p2 p4)) (107 p33m (plus p1 p2
p4)) (104 p33m (plus p1 p2 p4)) (103 p33m (plus p1 p2 p4)) (
100 p33m (plus p1 p2 p4)) (99 p33m (plus p1 p2 p4)) (96 p33m
(plus p1 p2 p4)) (95 p33m (plus p1 p2 p4)) (92 p33m (plus p1
p2 p4)) (91 p33m (plus p1 p2 p4)) (88 p33m (plus p1 p2 p4))
(87 p33m (plus p1 p2 p4)) (84 p33m (plus p1 p2 p4)) (83 p33m
(plus p1 p2 p4)) (80 p33m (plus p1 p2 p4)) (79 p33m (plus p1
p2 p4)) (76 p33m (plus p1 p2 p4)) (75 p33m (plus p1 p2 p4))
(72 p33m (plus p1 p2 p4)) (71 p33m (plus p1 p2 p4)) (68 p33m
(plus p1 p2 p4)) (67 p33m (plus p1 p2 p4)) (64 p33m (plus p1
p2 p4)) (63 p33m (plus p1 p2 p4)) (28 p28m (plus p1 p2 p4))
(27 p28m (plus p1 p2 p4)) (12 p31m (plus p1 p2 p4)) (11 p31m
(plus p1 p2 p4)) (8 p31m (plus p1 p2 p4)) (7 p31m (plus p1 
p2 p4)) (4 p31m (plus p1 p2 p4)) (3 p31m (plus p1 p2 p4))) (
(plus p3 p6) (703 p2m (plus p3 p6)) (702 p26m (plus p3 p6))
(699 p3m (plus p3 p6)) (698 p14m (plus p3 p6)) (695 p4m (
plus p3 p6)) (694 p16m (plus p3 p6)) (691 p3m (plus p3 p6))
(687 p4m (plus p3 p6)) (683 p7m (plus p3 p6)) (679 p10m (
plus p3 p6)) (675 p11m (plus p3 p6)) (671 p12m (plus p3 p6))
(667 p18m (plus p3 p6)) (663 p20m (plus p3 p6)) (659 p22m (
plus p3 p6)) (655 p23m (plus p3 p6)) (651 p2m (plus p3 p6))
(647 p6m (plus p3 p6)) (643 p9m (plus p3 p6)) (639 p13m (
plus p3 p6)) (635 p15m (plus p3 p6)) (631 p17m (plus p3 p6))
(627 p21m (plus p3 p6)) (623 p5m (plus p3 p6)) (619 p8m (
plus p3 p6)) (615 p19m (plus p3 p6)) (611 p3m (plus p3 p6))
(607 p4m (plus p3 p6)) (603 p7m (plus p3 p6)) (599 p10m (
plus p3 p6)) (595 p11m (plus p3 p6)) (591 p12m (plus p3 p6))
(587 p18m (plus p3 p6)) (583 p20m (plus p3 p6)) (579 p22m (
plus p3 p6)) (575 p23m (plus p3 p6)) (571 p2m (plus p3 p6))
(567 p6m (plus p3 p6)) (563 p9m (plus p3 p6)) (559 p13m (
plus p3 p6)) (555 p15m (plus p3 p6)) (551 p17m (plus p3 p6))
(547 p21m (plus p3 p6)) (543 p5m (plus p3 p6)) (539 p8m (
plus p3 p6)) (535 p19m (plus p3 p6)) (531 p5m (plus p3 p6))
(530 p14m (plus p3 p6)) (527 p14m (plus p3 p6)) (523 p16m (
plus p3 p6)) (519 p3m (plus p3 p6)) (515 p4m (plus p3 p6)) (
511 p7m (plus p3 p6)) (507 p10m (plus p3 p6)) (503 p11m (
plus p3 p6)) (499 p12m (plus p3 p6)) (495 p18m (plus p3 p6))
(491 p20m (plus p3 p6)) (487 p2m (plus p3 p6)) (483 p6m (
plus p3 p6)) (479 p9m (plus p3 p6)) (475 p13m (plus p3 p6))
(471 p15m (plus p3 p6)) (467 p17m (plus p3 p6)) (463 p5m (
plus p3 p6)) (459 p8m (plus p3 p6)) (455 p19m (plus p3 p6))
(451 p14m (plus p3 p6)) (447 p16m (plus p3 p6)) (443 p3m (
plus p3 p6)) (439 p4m (plus p3 p6)) (435 p7m (plus p3 p6)) (
431 p10m (plus p3 p6)) (427 p11m (plus p3 p6)) (423 p12m (
plus p3 p6)) (419 p18m (plus p3 p6)) (415 p20m (plus p3 p6))
(411 p2m (plus p3 p6)) (407 p6m (plus p3 p6)) (403 p9m (plus
p3 p6)) (399 p13m (plus p3 p6)) (395 p15m (plus p3 p6)) (391
p17m (plus p3 p6)) (387 p5m (plus p3 p6)) (383 p8m (plus p3
p6)) (379 p19m (plus p3 p6)) (375 p2m (plus p3 p6)) (374 p3m
(plus p3 p6)) (371 p3m (plus p3 p6)) (370 p6m (plus p3 p6))
(367 p3m (plus p3 p6)) (366 p13m (plus p3 p6)) (363 p3m (
plus p3 p6)) (362 p15m (plus p3 p6)) (359 p4m (plus p3 p6))
(358 p9m (plus p3 p6)) (355 p4m (plus p3 p6)) (354 p17m (
plus p3 p6)) (351 p2m (plus p3 p6)) (350 p7m (plus p3 p6)) (
347 p6m (plus p3 p6)) (346 p7m (plus p3 p6)) (343 p7m (plus
p3 p6)) (342 p13m (plus p3 p6)) (339 p2m (plus p3 p6)) (338
p10m (plus p3 p6)) (335 p6m (plus p3 p6)) (334 p10m (plus p3
p6)) (331 p2m (plus p3 p6)) (330 p11m (plus p3 p6)) (327 p6m
(plus p3 p6)) (326 p11m (plus p3 p6)) (323 p2m (plus p3 p6))
(322 p12m (plus p3 p6)) (319 p6m (plus p3 p6)) (318 p12m (
plus p3 p6)) (315 p2m (plus p3 p6)) (314 p20m (plus p3 p6))
(311 p2m (plus p3 p6)) (310 p22m (plus p3 p6)) (307 p2m (
plus p3 p6)) (306 p23m (plus p3 p6)) (303 p2m (plus p3 p6))
(302 p24m (plus p3 p6)) (299 p2m (plus p3 p6)) (295 p2m (
plus p3 p6)) (291 p3m (plus p3 p6)) (287 p2m (plus p3 p6)) (
283 p3m (plus p3 p6)) (279 p2m (plus p3 p6)) (275 p3m (plus
p3 p6)) (271 p4m (plus p3 p6)) (267 p2m (plus p3 p6)) (263 
p3m (plus p3 p6)) (259 p4m (plus p3 p6)) (255 p2m (plus p3 
p6)) (251 p3m (plus p3 p6)) (247 p4m (plus p3 p6)) (243 p7m
(plus p3 p6)) (239 p2m (plus p3 p6)) (235 p6m (plus p3 p6))
(231 p9m (plus p3 p6)) (227 p3m (plus p3 p6)) (223 p4m (plus
p3 p6)) (219 p7m (plus p3 p6)) (215 p2m (plus p3 p6)) (211 
p6m (plus p3 p6)) (207 p9m (plus p3 p6)) (203 p14m (plus p3
p6)) (199 p16m (plus p3 p6)) (195 p3m (plus p3 p6)) (191 p4m
(plus p3 p6)) (187 p7m (plus p3 p6)) (183 p10m (plus p3 p6))
(179 p11m (plus p3 p6)) (175 p12m (plus p3 p6)) (171 p18m (
plus p3 p6)) (167 p2m (plus p3 p6)) (163 p6m (plus p3 p6)) (
159 p9m (plus p3 p6)) (155 p13m (plus p3 p6)) (151 p15m (
plus p3 p6)) (147 p17m (plus p3 p6)) (143 p5m (plus p3 p6))
(139 p8m (plus p3 p6)) (135 p19m (plus p3 p6)) (131 p14m (
plus p3 p6)) (127 p16m (plus p3 p6)) (123 p3m (plus p3 p6))
(119 p4m (plus p3 p6)) (115 p7m (plus p3 p6)) (111 p10m (
plus p3 p6)) (107 p11m (plus p3 p6)) (103 p12m (plus p3 p6))
(99 p18m (plus p3 p6)) (95 p2m (plus p3 p6)) (91 p6m (plus 
p3 p6)) (87 p9m (plus p3 p6)) (83 p13m (plus p3 p6)) (79 
p15m (plus p3 p6)) (75 p17m (plus p3 p6)) (71 p5m (plus p3 
p6)) (67 p8m (plus p3 p6)) (63 p19m (plus p3 p6)) (59 p2m (
plus p3 p6)) (58 p5m (plus p3 p6)) (55 p2m (plus p3 p6)) (54
p19m (plus p3 p6)) (51 p2m (plus p3 p6)) (50 p25m (plus p3 
p6)) (47 p5m (plus p3 p6)) (46 p6m (plus p3 p6)) (43 p9m (
plus p3 p6)) (42 p8m (plus p3 p6)) (39 p5m (plus p3 p6)) (38
p13m (plus p3 p6)) (35 p5m (plus p3 p6)) (34 p15m (plus p3 
p6)) (31 p2m (plus p3 p6)) (27 p2m (plus p3 p6)) (23 p3m (
plus p3 p6)) (19 p4m (plus p3 p6)) (15 p2m (plus p3 p6)) (11
p3m (plus p3 p6)) (7 p4m (plus p3 p6)) (3 p2m (plus p3 p6)))
((plus p3 p5) (704 p2m (plus p3 p5)) (701 p26m (plus p3 p5))
(700 p3m (plus p3 p5)) (697 p14m (plus p3 p5)) (696 p4m (
plus p3 p5)) (693 p16m (plus p3 p5)) (692 p3m (plus p3 p5))
(688 p4m (plus p3 p5)) (684 p7m (plus p3 p5)) (680 p10m (
plus p3 p5)) (676 p11m (plus p3 p5)) (672 p12m (plus p3 p5))
(668 p18m (plus p3 p5)) (664 p20m (plus p3 p5)) (660 p22m (
plus p3 p5)) (656 p23m (plus p3 p5)) (652 p2m (plus p3 p5))
(648 p6m (plus p3 p5)) (644 p9m (plus p3 p5)) (640 p13m (
plus p3 p5)) (636 p15m (plus p3 p5)) (632 p17m (plus p3 p5))
(628 p21m (plus p3 p5)) (624 p5m (plus p3 p5)) (620 p8m (
plus p3 p5)) (616 p19m (plus p3 p5)) (612 p3m (plus p3 p5))
(608 p4m (plus p3 p5)) (604 p7m (plus p3 p5)) (600 p10m (
plus p3 p5)) (596 p11m (plus p3 p5)) (592 p12m (plus p3 p5))
(588 p18m (plus p3 p5)) (584 p20m (plus p3 p5)) (580 p22m (
plus p3 p5)) (576 p23m (plus p3 p5)) (572 p2m (plus p3 p5))
(568 p6m (plus p3 p5)) (564 p9m (plus p3 p5)) (560 p13m (
plus p3 p5)) (556 p15m (plus p3 p5)) (552 p17m (plus p3 p5))
(548 p21m (plus p3 p5)) (544 p5m (plus p3 p5)) (540 p8m (
plus p3 p5)) (536 p19m (plus p3 p5)) (532 p5m (plus p3 p5))
(529 p14m (plus p3 p5)) (528 p14m (plus p3 p5)) (524 p16m (
plus p3 p5)) (520 p3m (plus p3 p5)) (516 p4m (plus p3 p5)) (
512 p7m (plus p3 p5)) (508 p10m (plus p3 p5)) (504 p11m (
plus p3 p5)) (500 p12m (plus p3 p5)) (496 p18m (plus p3 p5))
(492 p20m (plus p3 p5)) (488 p2m (plus p3 p5)) (484 p6m (
plus p3 p5)) (480 p9m (plus p3 p5)) (476 p13m (plus p3 p5))
(472 p15m (plus p3 p5)) (468 p17m (plus p3 p5)) (464 p5m (
plus p3 p5)) (460 p8m (plus p3 p5)) (456 p19m (plus p3 p5))
(452 p14m (plus p3 p5)) (448 p16m (plus p3 p5)) (444 p3m (
plus p3 p5)) (440 p4m (plus p3 p5)) (436 p7m (plus p3 p5)) (
432 p10m (plus p3 p5)) (428 p11m (plus p3 p5)) (424 p12m (
plus p3 p5)) (420 p18m (plus p3 p5)) (416 p20m (plus p3 p5))
(412 p2m (plus p3 p5)) (408 p6m (plus p3 p5)) (404 p9m (plus
p3 p5)) (400 p13m (plus p3 p5)) (396 p15m (plus p3 p5)) (392
p17m (plus p3 p5)) (388 p5m (plus p3 p5)) (384 p8m (plus p3
p5)) (380 p19m (plus p3 p5)) (376 p2m (plus p3 p5)) (373 p3m
(plus p3 p5)) (372 p3m (plus p3 p5)) (369 p6m (plus p3 p5))
(368 p3m (plus p3 p5)) (365 p13m (plus p3 p5)) (364 p3m (
plus p3 p5)) (361 p15m (plus p3 p5)) (360 p4m (plus p3 p5))
(357 p9m (plus p3 p5)) (356 p4m (plus p3 p5)) (353 p17m (
plus p3 p5)) (352 p2m (plus p3 p5)) (349 p7m (plus p3 p5)) (
348 p6m (plus p3 p5)) (345 p7m (plus p3 p5)) (344 p7m (plus
p3 p5)) (341 p13m (plus p3 p5)) (340 p2m (plus p3 p5)) (337
p10m (plus p3 p5)) (336 p6m (plus p3 p5)) (333 p10m (plus p3
p5)) (332 p2m (plus p3 p5)) (329 p11m (plus p3 p5)) (328 p6m
(plus p3 p5)) (325 p11m (plus p3 p5)) (324 p2m (plus p3 p5))
(321 p12m (plus p3 p5)) (320 p6m (plus p3 p5)) (317 p12m (
plus p3 p5)) (316 p2m (plus p3 p5)) (313 p20m (plus p3 p5))
(312 p2m (plus p3 p5)) (309 p22m (plus p3 p5)) (308 p2m (
plus p3 p5)) (305 p23m (plus p3 p5)) (304 p2m (plus p3 p5))
(301 p24m (plus p3 p5)) (300 p2m (plus p3 p5)) (296 p2m (
plus p3 p5)) (292 p3m (plus p3 p5)) (288 p2m (plus p3 p5)) (
284 p3m (plus p3 p5)) (280 p2m (plus p3 p5)) (276 p3m (plus
p3 p5)) (272 p4m (plus p3 p5)) (268 p2m (plus p3 p5)) (264 
p3m (plus p3 p5)) (260 p4m (plus p3 p5)) (256 p2m (plus p3 
p5)) (252 p3m (plus p3 p5)) (248 p4m (plus p3 p5)) (244 p7m
(plus p3 p5)) (240 p2m (plus p3 p5)) (236 p6m (plus p3 p5))
(232 p9m (plus p3 p5)) (228 p3m (plus p3 p5)) (224 p4m (plus
p3 p5)) (220 p7m (plus p3 p5)) (216 p2m (plus p3 p5)) (212 
p6m (plus p3 p5)) (208 p9m (plus p3 p5)) (204 p14m (plus p3
p5)) (200 p16m (plus p3 p5)) (196 p3m (plus p3 p5)) (192 p4m
(plus p3 p5)) (188 p7m (plus p3 p5)) (184 p10m (plus p3 p5))
(180 p11m (plus p3 p5)) (176 p12m (plus p3 p5)) (172 p18m (
plus p3 p5)) (168 p2m (plus p3 p5)) (164 p6m (plus p3 p5)) (
160 p9m (plus p3 p5)) (156 p13m (plus p3 p5)) (152 p15m (
plus p3 p5)) (148 p17m (plus p3 p5)) (144 p5m (plus p3 p5))
(140 p8m (plus p3 p5)) (136 p19m (plus p3 p5)) (132 p14m (
plus p3 p5)) (128 p16m (plus p3 p5)) (124 p3m (plus p3 p5))
(120 p4m (plus p3 p5)) (116 p7m (plus p3 p5)) (112 p10m (
plus p3 p5)) (108 p11m (plus p3 p5)) (104 p12m (plus p3 p5))
(100 p18m (plus p3 p5)) (96 p2m (plus p3 p5)) (92 p6m (plus
p3 p5)) (88 p9m (plus p3 p5)) (84 p13m (plus p3 p5)) (80 
p15m (plus p3 p5)) (76 p17m (plus p3 p5)) (72 p5m (plus p3 
p5)) (68 p8m (plus p3 p5)) (64 p19m (plus p3 p5)) (60 p2m (
plus p3 p5)) (57 p5m (plus p3 p5)) (56 p2m (plus p3 p5)) (53
p19m (plus p3 p5)) (52 p2m (plus p3 p5)) (49 p25m (plus p3 
p5)) (48 p5m (plus p3 p5)) (45 p6m (plus p3 p5)) (44 p9m (
plus p3 p5)) (41 p8m (plus p3 p5)) (40 p5m (plus p3 p5)) (37
p13m (plus p3 p5)) (36 p5m (plus p3 p5)) (33 p15m (plus p3 
p5)) (32 p2m (plus p3 p5)) (28 p2m (plus p3 p5)) (24 p3m (
plus p3 p5)) (20 p4m (plus p3 p5)) (16 p2m (plus p3 p5)) (12
p3m (plus p3 p5)) (8 p4m (plus p3 p5)) (4 p2m (plus p3 p5)))
((plus p3 p4 p6) (691 p35m (plus (minus p1) (minus p2) (
minus p5))) (689 p35m (plus (minus p1) (minus p2) (minus p5)
)) (687 p35m (plus (minus p1) (minus p2) (minus p5))) (685 
p35m (plus (minus p1) (minus p2) (minus p5))) (683 p35m (
plus (minus p1) (minus p2) (minus p5))) (681 p35m (plus (
minus p1) (minus p2) (minus p5))) (679 p35m (plus (minus p1)
(minus p2) (minus p5))) (677 p35m (plus (minus p1) (minus p2
) (minus p5))) (675 p35m (plus (minus p1) (minus p2) (minus
p5))) (673 p35m (plus (minus p1) (minus p2) (minus p5))) (
671 p35m (plus (minus p1) (minus p2) (minus p5))) (669 p35m
(plus (minus p1) (minus p2) (minus p5))) (667 p35m (plus (
minus p1) (minus p2) (minus p5))) (665 p35m (plus (minus p1)
(minus p2) (minus p5))) (663 p35m (plus (minus p1) (minus p2
) (minus p5))) (661 p35m (plus (minus p1) (minus p2) (minus
p5))) (659 p35m (plus (minus p1) (minus p2) (minus p5))) (
657 p35m (plus (minus p1) (minus p2) (minus p5))) (655 p35m
(plus (minus p1) (minus p2) (minus p5))) (653 p35m (plus (
minus p1) (minus p2) (minus p5))) (651 p35m (plus (minus p1)
(minus p2) (minus p5))) (649 p35m (plus (minus p1) (minus p2
) (minus p5))) (647 p35m (plus (minus p1) (minus p2) (minus
p5))) (645 p35m (plus (minus p1) (minus p2) (minus p5))) (
643 p35m (plus (minus p1) (minus p2) (minus p5))) (641 p35m
(plus (minus p1) (minus p2) (minus p5))) (639 p35m (plus (
minus p1) (minus p2) (minus p5))) (637 p35m (plus (minus p1)
(minus p2) (minus p5))) (635 p35m (plus (minus p1) (minus p2
) (minus p5))) (633 p35m (plus (minus p1) (minus p2) (minus
p5))) (631 p35m (plus (minus p1) (minus p2) (minus p5))) (
629 p35m (plus (minus p1) (minus p2) (minus p5))) (627 p35m
(plus (minus p1) (minus p2) (minus p5))) (625 p35m (plus (
minus p1) (minus p2) (minus p5))) (623 p35m (plus (minus p1)
(minus p2) (minus p5))) (621 p35m (plus (minus p1) (minus p2
) (minus p5))) (619 p35m (plus (minus p1) (minus p2) (minus
p5))) (617 p35m (plus (minus p1) (minus p2) (minus p5))) (
615 p35m (plus (minus p1) (minus p2) (minus p5))) (613 p35m
(plus (minus p1) (minus p2) (minus p5))) (527 p34m (plus (
minus p1) (minus p2) (minus p5))) (525 p34m (plus (minus p1)
(minus p2) (minus p5))) (523 p34m (plus (minus p1) (minus p2
) (minus p5))) (521 p34m (plus (minus p1) (minus p2) (minus
p5))) (519 p34m (plus (minus p1) (minus p2) (minus p5))) (
517 p34m (plus (minus p1) (minus p2) (minus p5))) (515 p34m
(plus (minus p1) (minus p2) (minus p5))) (513 p34m (plus (
minus p1) (minus p2) (minus p5))) (511 p34m (plus (minus p1)
(minus p2) (minus p5))) (509 p34m (plus (minus p1) (minus p2
) (minus p5))) (507 p34m (plus (minus p1) (minus p2) (minus
p5))) (505 p34m (plus (minus p1) (minus p2) (minus p5))) (
503 p34m (plus (minus p1) (minus p2) (minus p5))) (501 p34m
(plus (minus p1) (minus p2) (minus p5))) (499 p34m (plus (
minus p1) (minus p2) (minus p5))) (497 p34m (plus (minus p1)
(minus p2) (minus p5))) (495 p34m (plus (minus p1) (minus p2
) (minus p5))) (493 p34m (plus (minus p1) (minus p2) (minus
p5))) (491 p34m (plus (minus p1) (minus p2) (minus p5))) (
489 p34m (plus (minus p1) (minus p2) (minus p5))) (487 p34m
(plus (minus p1) (minus p2) (minus p5))) (485 p34m (plus (
minus p1) (minus p2) (minus p5))) (483 p34m (plus (minus p1)
(minus p2) (minus p5))) (481 p34m (plus (minus p1) (minus p2
) (minus p5))) (479 p34m (plus (minus p1) (minus p2) (minus
p5))) (477 p34m (plus (minus p1) (minus p2) (minus p5))) (
475 p34m (plus (minus p1) (minus p2) (minus p5))) (473 p34m
(plus (minus p1) (minus p2) (minus p5))) (471 p34m (plus (
minus p1) (minus p2) (minus p5))) (469 p34m (plus (minus p1)
(minus p2) (minus p5))) (467 p34m (plus (minus p1) (minus p2
) (minus p5))) (465 p34m (plus (minus p1) (minus p2) (minus
p5))) (463 p34m (plus (minus p1) (minus p2) (minus p5))) (
461 p34m (plus (minus p1) (minus p2) (minus p5))) (459 p34m
(plus (minus p1) (minus p2) (minus p5))) (457 p34m (plus (
minus p1) (minus p2) (minus p5))) (455 p34m (plus (minus p1)
(minus p2) (minus p5))) (453 p34m (plus (minus p1) (minus p2
) (minus p5))) (299 p27m (plus (minus p1) (minus p2) (minus
p5))) (297 p27m (plus (minus p1) (minus p2) (minus p5))) (
291 p29m (plus (minus p1) (minus p2) (minus p5))) (289 p29m
(plus (minus p1) (minus p2) (minus p5))) (287 p29m (plus (
minus p1) (minus p2) (minus p5))) (285 p29m (plus (minus p1)
(minus p2) (minus p5))) (275 p30m (plus (minus p1) (minus p2
) (minus p5))) (273 p30m (plus (minus p1) (minus p2) (minus
p5))) (271 p30m (plus (minus p1) (minus p2) (minus p5))) (
269 p30m (plus (minus p1) (minus p2) (minus p5))) (267 p30m
(plus (minus p1) (minus p2) (minus p5))) (265 p30m (plus (
minus p1) (minus p2) (minus p5))) (251 p32m (plus (minus p1)
(minus p2) (minus p5))) (249 p32m (plus (minus p1) (minus p2
) (minus p5))) (247 p32m (plus (minus p1) (minus p2) (minus
p5))) (245 p32m (plus (minus p1) (minus p2) (minus p5))) (
243 p32m (plus (minus p1) (minus p2) (minus p5))) (241 p32m
(plus (minus p1) (minus p2) (minus p5))) (239 p32m (plus (
minus p1) (minus p2) (minus p5))) (237 p32m (plus (minus p1)
(minus p2) (minus p5))) (235 p32m (plus (minus p1) (minus p2
) (minus p5))) (233 p32m (plus (minus p1) (minus p2) (minus
p5))) (231 p32m (plus (minus p1) (minus p2) (minus p5))) (
229 p32m (plus (minus p1) (minus p2) (minus p5))) (203 p33m
(plus (minus p1) (minus p2) (minus p5))) (201 p33m (plus (
minus p1) (minus p2) (minus p5))) (199 p33m (plus (minus p1)
(minus p2) (minus p5))) (197 p33m (plus (minus p1) (minus p2
) (minus p5))) (195 p33m (plus (minus p1) (minus p2) (minus
p5))) (193 p33m (plus (minus p1) (minus p2) (minus p5))) (
191 p33m (plus (minus p1) (minus p2) (minus p5))) (189 p33m
(plus (minus p1) (minus p2) (minus p5))) (187 p33m (plus (
minus p1) (minus p2) (minus p5))) (185 p33m (plus (minus p1)
(minus p2) (minus p5))) (183 p33m (plus (minus p1) (minus p2
) (minus p5))) (181 p33m (plus (minus p1) (minus p2) (minus
p5))) (179 p33m (plus (minus p1) (minus p2) (minus p5))) (
177 p33m (plus (minus p1) (minus p2) (minus p5))) (175 p33m
(plus (minus p1) (minus p2) (minus p5))) (173 p33m (plus (
minus p1) (minus p2) (minus p5))) (171 p33m (plus (minus p1)
(minus p2) (minus p5))) (169 p33m (plus (minus p1) (minus p2
) (minus p5))) (167 p33m (plus (minus p1) (minus p2) (minus
p5))) (165 p33m (plus (minus p1) (minus p2) (minus p5))) (
163 p33m (plus (minus p1) (minus p2) (minus p5))) (161 p33m
(plus (minus p1) (minus p2) (minus p5))) (159 p33m (plus (
minus p1) (minus p2) (minus p5))) (157 p33m (plus (minus p1)
(minus p2) (minus p5))) (155 p33m (plus (minus p1) (minus p2
) (minus p5))) (153 p33m (plus (minus p1) (minus p2) (minus
p5))) (151 p33m (plus (minus p1) (minus p2) (minus p5))) (
149 p33m (plus (minus p1) (minus p2) (minus p5))) (147 p33m
(plus (minus p1) (minus p2) (minus p5))) (145 p33m (plus (
minus p1) (minus p2) (minus p5))) (143 p33m (plus (minus p1)
(minus p2) (minus p5))) (141 p33m (plus (minus p1) (minus p2
) (minus p5))) (139 p33m (plus (minus p1) (minus p2) (minus
p5))) (137 p33m (plus (minus p1) (minus p2) (minus p5))) (
135 p33m (plus (minus p1) (minus p2) (minus p5))) (133 p33m
(plus (minus p1) (minus p2) (minus p5))) (31 p28m (plus (
minus p1) (minus p2) (minus p5))) (29 p28m (plus (minus p1)
(minus p2) (minus p5))) (23 p31m (plus (minus p1) (minus p2)
(minus p5))) (21 p31m (plus (minus p1) (minus p2) (minus p5)
)) (19 p31m (plus (minus p1) (minus p2) (minus p5))) (17 
p31m (plus (minus p1) (minus p2) (minus p5))) (15 p31m (plus
(minus p1) (minus p2) (minus p5))) (13 p31m (plus (minus p1)
(minus p2) (minus p5)))) ((plus p3 p4 p5) (692 p35m (plus (
minus p1) (minus p2) (minus p6))) (690 p35m (plus (minus p1)
(minus p2) (minus p6))) (688 p35m (plus (minus p1) (minus p2
) (minus p6))) (686 p35m (plus (minus p1) (minus p2) (minus
p6))) (684 p35m (plus (minus p1) (minus p2) (minus p6))) (
682 p35m (plus (minus p1) (minus p2) (minus p6))) (680 p35m
(plus (minus p1) (minus p2) (minus p6))) (678 p35m (plus (
minus p1) (minus p2) (minus p6))) (676 p35m (plus (minus p1)
(minus p2) (minus p6))) (674 p35m (plus (minus p1) (minus p2
) (minus p6))) (672 p35m (plus (minus p1) (minus p2) (minus
p6))) (670 p35m (plus (minus p1) (minus p2) (minus p6))) (
668 p35m (plus (minus p1) (minus p2) (minus p6))) (666 p35m
(plus (minus p1) (minus p2) (minus p6))) (664 p35m (plus (
minus p1) (minus p2) (minus p6))) (662 p35m (plus (minus p1)
(minus p2) (minus p6))) (660 p35m (plus (minus p1) (minus p2
) (minus p6))) (658 p35m (plus (minus p1) (minus p2) (minus
p6))) (656 p35m (plus (minus p1) (minus p2) (minus p6))) (
654 p35m (plus (minus p1) (minus p2) (minus p6))) (652 p35m
(plus (minus p1) (minus p2) (minus p6))) (650 p35m (plus (
minus p1) (minus p2) (minus p6))) (648 p35m (plus (minus p1)
(minus p2) (minus p6))) (646 p35m (plus (minus p1) (minus p2
) (minus p6))) (644 p35m (plus (minus p1) (minus p2) (minus
p6))) (642 p35m (plus (minus p1) (minus p2) (minus p6))) (
640 p35m (plus (minus p1) (minus p2) (minus p6))) (638 p35m
(plus (minus p1) (minus p2) (minus p6))) (636 p35m (plus (
minus p1) (minus p2) (minus p6))) (634 p35m (plus (minus p1)
(minus p2) (minus p6))) (632 p35m (plus (minus p1) (minus p2
) (minus p6))) (630 p35m (plus (minus p1) (minus p2) (minus
p6))) (628 p35m (plus (minus p1) (minus p2) (minus p6))) (
626 p35m (plus (minus p1) (minus p2) (minus p6))) (624 p35m
(plus (minus p1) (minus p2) (minus p6))) (622 p35m (plus (
minus p1) (minus p2) (minus p6))) (620 p35m (plus (minus p1)
(minus p2) (minus p6))) (618 p35m (plus (minus p1) (minus p2
) (minus p6))) (616 p35m (plus (minus p1) (minus p2) (minus
p6))) (614 p35m (plus (minus p1) (minus p2) (minus p6))) (
528 p34m (plus (minus p1) (minus p2) (minus p6))) (526 p34m
(plus (minus p1) (minus p2) (minus p6))) (524 p34m (plus (
minus p1) (minus p2) (minus p6))) (522 p34m (plus (minus p1)
(minus p2) (minus p6))) (520 p34m (plus (minus p1) (minus p2
) (minus p6))) (518 p34m (plus (minus p1) (minus p2) (minus
p6))) (516 p34m (plus (minus p1) (minus p2) (minus p6))) (
514 p34m (plus (minus p1) (minus p2) (minus p6))) (512 p34m
(plus (minus p1) (minus p2) (minus p6))) (510 p34m (plus (
minus p1) (minus p2) (minus p6))) (508 p34m (plus (minus p1)
(minus p2) (minus p6))) (506 p34m (plus (minus p1) (minus p2
) (minus p6))) (504 p34m (plus (minus p1) (minus p2) (minus
p6))) (502 p34m (plus (minus p1) (minus p2) (minus p6))) (
500 p34m (plus (minus p1) (minus p2) (minus p6))) (498 p34m
(plus (minus p1) (minus p2) (minus p6))) (496 p34m (plus (
minus p1) (minus p2) (minus p6))) (494 p34m (plus (minus p1)
(minus p2) (minus p6))) (492 p34m (plus (minus p1) (minus p2
) (minus p6))) (490 p34m (plus (minus p1) (minus p2) (minus
p6))) (488 p34m (plus (minus p1) (minus p2) (minus p6))) (
486 p34m (plus (minus p1) (minus p2) (minus p6))) (484 p34m
(plus (minus p1) (minus p2) (minus p6))) (482 p34m (plus (
minus p1) (minus p2) (minus p6))) (480 p34m (plus (minus p1)
(minus p2) (minus p6))) (478 p34m (plus (minus p1) (minus p2
) (minus p6))) (476 p34m (plus (minus p1) (minus p2) (minus
p6))) (474 p34m (plus (minus p1) (minus p2) (minus p6))) (
472 p34m (plus (minus p1) (minus p2) (minus p6))) (470 p34m
(plus (minus p1) (minus p2) (minus p6))) (468 p34m (plus (
minus p1) (minus p2) (minus p6))) (466 p34m (plus (minus p1)
(minus p2) (minus p6))) (464 p34m (plus (minus p1) (minus p2
) (minus p6))) (462 p34m (plus (minus p1) (minus p2) (minus
p6))) (460 p34m (plus (minus p1) (minus p2) (minus p6))) (
458 p34m (plus (minus p1) (minus p2) (minus p6))) (456 p34m
(plus (minus p1) (minus p2) (minus p6))) (454 p34m (plus (
minus p1) (minus p2) (minus p6))) (300 p27m (plus (minus p1)
(minus p2) (minus p6))) (298 p27m (plus (minus p1) (minus p2
) (minus p6))) (292 p29m (plus (minus p1) (minus p2) (minus
p6))) (290 p29m (plus (minus p1) (minus p2) (minus p6))) (
288 p29m (plus (minus p1) (minus p2) (minus p6))) (286 p29m
(plus (minus p1) (minus p2) (minus p6))) (276 p30m (plus (
minus p1) (minus p2) (minus p6))) (274 p30m (plus (minus p1)
(minus p2) (minus p6))) (272 p30m (plus (minus p1) (minus p2
) (minus p6))) (270 p30m (plus (minus p1) (minus p2) (minus
p6))) (268 p30m (plus (minus p1) (minus p2) (minus p6))) (
266 p30m (plus (minus p1) (minus p2) (minus p6))) (252 p32m
(plus (minus p1) (minus p2) (minus p6))) (250 p32m (plus (
minus p1) (minus p2) (minus p6))) (248 p32m (plus (minus p1)
(minus p2) (minus p6))) (246 p32m (plus (minus p1) (minus p2
) (minus p6))) (244 p32m (plus (minus p1) (minus p2) (minus
p6))) (242 p32m (plus (minus p1) (minus p2) (minus p6))) (
240 p32m (plus (minus p1) (minus p2) (minus p6))) (238 p32m
(plus (minus p1) (minus p2) (minus p6))) (236 p32m (plus (
minus p1) (minus p2) (minus p6))) (234 p32m (plus (minus p1)
(minus p2) (minus p6))) (232 p32m (plus (minus p1) (minus p2
) (minus p6))) (230 p32m (plus (minus p1) (minus p2) (minus
p6))) (204 p33m (plus (minus p1) (minus p2) (minus p6))) (
202 p33m (plus (minus p1) (minus p2) (minus p6))) (200 p33m
(plus (minus p1) (minus p2) (minus p6))) (198 p33m (plus (
minus p1) (minus p2) (minus p6))) (196 p33m (plus (minus p1)
(minus p2) (minus p6))) (194 p33m (plus (minus p1) (minus p2
) (minus p6))) (192 p33m (plus (minus p1) (minus p2) (minus
p6))) (190 p33m (plus (minus p1) (minus p2) (minus p6))) (
188 p33m (plus (minus p1) (minus p2) (minus p6))) (186 p33m
(plus (minus p1) (minus p2) (minus p6))) (184 p33m (plus (
minus p1) (minus p2) (minus p6))) (182 p33m (plus (minus p1)
(minus p2) (minus p6))) (180 p33m (plus (minus p1) (minus p2
) (minus p6))) (178 p33m (plus (minus p1) (minus p2) (minus
p6))) (176 p33m (plus (minus p1) (minus p2) (minus p6))) (
174 p33m (plus (minus p1) (minus p2) (minus p6))) (172 p33m
(plus (minus p1) (minus p2) (minus p6))) (170 p33m (plus (
minus p1) (minus p2) (minus p6))) (168 p33m (plus (minus p1)
(minus p2) (minus p6))) (166 p33m (plus (minus p1) (minus p2
) (minus p6))) (164 p33m (plus (minus p1) (minus p2) (minus
p6))) (162 p33m (plus (minus p1) (minus p2) (minus p6))) (
160 p33m (plus (minus p1) (minus p2) (minus p6))) (158 p33m
(plus (minus p1) (minus p2) (minus p6))) (156 p33m (plus (
minus p1) (minus p2) (minus p6))) (154 p33m (plus (minus p1)
(minus p2) (minus p6))) (152 p33m (plus (minus p1) (minus p2
) (minus p6))) (150 p33m (plus (minus p1) (minus p2) (minus
p6))) (148 p33m (plus (minus p1) (minus p2) (minus p6))) (
146 p33m (plus (minus p1) (minus p2) (minus p6))) (144 p33m
(plus (minus p1) (minus p2) (minus p6))) (142 p33m (plus (
minus p1) (minus p2) (minus p6))) (140 p33m (plus (minus p1)
(minus p2) (minus p6))) (138 p33m (plus (minus p1) (minus p2
) (minus p6))) (136 p33m (plus (minus p1) (minus p2) (minus
p6))) (134 p33m (plus (minus p1) (minus p2) (minus p6))) (32
p28m (plus (minus p1) (minus p2) (minus p6))) (30 p28m (plus
(minus p1) (minus p2) (minus p6))) (24 p31m (plus (minus p1)
(minus p2) (minus p6))) (22 p31m (plus (minus p1) (minus p2)
(minus p6))) (20 p31m (plus (minus p1) (minus p2) (minus p6)
)) (18 p31m (plus (minus p1) (minus p2) (minus p6))) (16 
p31m (plus (minus p1) (minus p2) (minus p6))) (14 p31m (plus
(minus p1) (minus p2) (minus p6)))))$
 
nsum:='704$
 
nallterm:='704$
 
;end;
 
