ctotal:='((wavefunl ((l1 (ub p5 p2m 1) (u p4 p2m -1)))) (nfn
1) (nz 0) (nz0 0) (nout 1) (state 0) (nsy 1) (hand 0) (xi 3)
(nauto 0) (escale wm));
 
group:='(((380 380)))$
 
maslist:='nil$
 
ndiagfile:='100$
 
alldiagram:='(((0 a1a0a1 a1a0a2 a1a0a3 a1a0a4)))$
 
coupling_order_list:='(((g . 3)))$
 
array aa(100),aaaa(100)$
 
rangelist:='nil$
 
gresonance_list:='(((plus p2 p3) (380 p4m (plus p2 p3)) (373
p3m (plus p2 p3)) (372 p5m (plus p2 p3)) (367 p4m (plus p2 
p3)) (360 p3m (plus p2 p3)) (359 p5m (plus p2 p3)) (354 p4m
(plus p2 p3)) (347 p3m (plus p2 p3)) (346 p5m (plus p2 p3))
(341 p4m (plus p2 p3)) (334 p3m (plus p2 p3)) (333 p5m (plus
p2 p3)) (316 p3m (plus p2 p3)) (313 p3m (plus p2 p3)) (310 
p3m (plus p2 p3)) (307 p3m (plus p2 p3)) (306 p4m (plus p2 
p3)) (299 p3m (plus p2 p3)) (298 p5m (plus p2 p3)) (293 p4m
(plus p2 p3)) (286 p3m (plus p2 p3)) (285 p5m (plus p2 p3))
(280 p4m (plus p2 p3)) (273 p3m (plus p2 p3)) (268 p4m (plus
p2 p3)) (261 p3m (plus p2 p3)) (256 p4m (plus p2 p3)) (249 
p3m (plus p2 p3)) (248 p5m (plus p2 p3)) (243 p4m (plus p2 
p3)) (236 p3m (plus p2 p3)) (235 p5m (plus p2 p3)) (230 p4m
(plus p2 p3)) (223 p3m (plus p2 p3)) (222 p5m (plus p2 p3))
(217 p4m (plus p2 p3)) (210 p3m (plus p2 p3)) (209 p5m (plus
p2 p3)) (198 p3m (plus p2 p3)) (195 p3m (plus p2 p3)) (194 
p4m (plus p2 p3)) (191 p3m (plus p2 p3)) (190 p4m (plus p2 
p3)) (187 p3m (plus p2 p3)) (186 p4m (plus p2 p3)) (179 p3m
(plus p2 p3)) (174 p4m (plus p2 p3)) (167 p3m (plus p2 p3))
(156 p3m (plus p2 p3)) (153 p3m (plus p2 p3)) (150 p3m (plus
p2 p3)) (147 p3m (plus p2 p3)) (146 p4m (plus p2 p3)) (139 
p3m (plus p2 p3)) (138 p5m (plus p2 p3)) (133 p4m (plus p2 
p3)) (126 p3m (plus p2 p3)) (125 p5m (plus p2 p3)) (120 p4m
(plus p2 p3)) (113 p3m (plus p2 p3)) (112 p5m (plus p2 p3))
(107 p4m (plus p2 p3)) (100 p3m (plus p2 p3)) (99 p5m (plus
p2 p3)) (84 p3m (plus p2 p3)) (81 p3m (plus p2 p3)) (80 p4m
(plus p2 p3)) (77 p3m (plus p2 p3)) (76 p4m (plus p2 p3)) (
73 p3m (plus p2 p3)) (70 p3m (plus p2 p3)) (67 p3m (plus p2
p3)) (66 p4m (plus p2 p3)) (61 p3m (plus p2 p3)) (60 p4m (
plus p2 p3)) (55 p3m (plus p2 p3)) (54 p4m (plus p2 p3)) (47
p3m (plus p2 p3)) (42 p4m (plus p2 p3)) (35 p3m (plus p2 p3)
) (30 p4m (plus p2 p3)) (23 p3m (plus p2 p3)) (18 p4m (plus
p2 p3)) (11 p3m (plus p2 p3)) (4 p4m (plus p2 p3)) (3 p4m (
plus p2 p3)) (2 p4m (plus p2 p3)) (1 p3m (plus p2 p3))) ((
plus p4 p5) (6 p9m (plus (minus p4) (minus p5))) (5 p9m (
plus (minus p4) (minus p5))) (4 p7m (plus (minus p4) (minus
p5))) (3 p6m (plus (minus p4) (minus p5))) (2 p8m (plus (
minus p4) (minus p5))) (1 p9m (plus (minus p4) (minus p5))))
((plus p3 p4 p5) (5 p10m (plus p1 p2))) ((plus p2 p4 p5) (6
p10m (plus (minus p1) (minus p3)))) ((plus p2 p5) (365 p25m
(plus (minus p2) (minus p5))) (363 p28m (plus (minus p2) (
minus p5))) (361 p34m (plus (minus p2) (minus p5))) (357 
p31m (plus (minus p2) (minus p5))) (355 p37m (plus (minus p2
) (minus p5))) (339 p25m (plus (minus p2) (minus p5))) (337
p28m (plus (minus p2) (minus p5))) (335 p34m (plus (minus p2
) (minus p5))) (331 p31m (plus (minus p2) (minus p5))) (329
p37m (plus (minus p2) (minus p5))) (327 p25m (plus (minus p2
) (minus p5))) (324 p25m (plus (minus p2) (minus p5))) (323
p28m (plus (minus p2) (minus p5))) (320 p25m (plus (minus p2
) (minus p5))) (319 p34m (plus (minus p2) (minus p5))) (314
p25m (plus (minus p2) (minus p5))) (308 p25m (plus (minus p2
) (minus p5))) (291 p25m (plus (minus p2) (minus p5))) (289
p28m (plus (minus p2) (minus p5))) (287 p34m (plus (minus p2
) (minus p5))) (283 p31m (plus (minus p2) (minus p5))) (281
p37m (plus (minus p2) (minus p5))) (266 p25m (plus (minus p2
) (minus p5))) (264 p28m (plus (minus p2) (minus p5))) (262
p34m (plus (minus p2) (minus p5))) (259 p31m (plus (minus p2
) (minus p5))) (257 p37m (plus (minus p2) (minus p5))) (241
p25m (plus (minus p2) (minus p5))) (239 p28m (plus (minus p2
) (minus p5))) (237 p34m (plus (minus p2) (minus p5))) (233
p31m (plus (minus p2) (minus p5))) (231 p37m (plus (minus p2
) (minus p5))) (215 p25m (plus (minus p2) (minus p5))) (213
p28m (plus (minus p2) (minus p5))) (211 p34m (plus (minus p2
) (minus p5))) (207 p31m (plus (minus p2) (minus p5))) (205
p37m (plus (minus p2) (minus p5))) (201 p25m (plus (minus p2
) (minus p5))) (196 p25m (plus (minus p2) (minus p5))) (188
p25m (plus (minus p2) (minus p5))) (172 p25m (plus (minus p2
) (minus p5))) (170 p28m (plus (minus p2) (minus p5))) (168
p34m (plus (minus p2) (minus p5))) (165 p31m (plus (minus p2
) (minus p5))) (163 p37m (plus (minus p2) (minus p5))) (160
p31m (plus (minus p2) (minus p5))) (159 p25m (plus (minus p2
) (minus p5))) (154 p25m (plus (minus p2) (minus p5))) (148
p25m (plus (minus p2) (minus p5))) (131 p25m (plus (minus p2
) (minus p5))) (129 p28m (plus (minus p2) (minus p5))) (127
p34m (plus (minus p2) (minus p5))) (123 p31m (plus (minus p2
) (minus p5))) (121 p37m (plus (minus p2) (minus p5))) (105
p25m (plus (minus p2) (minus p5))) (103 p28m (plus (minus p2
) (minus p5))) (101 p34m (plus (minus p2) (minus p5))) (97 
p31m (plus (minus p2) (minus p5))) (95 p37m (plus (minus p2)
(minus p5))) (91 p25m (plus (minus p2) (minus p5))) (87 p25m
(plus (minus p2) (minus p5))) (82 p25m (plus (minus p2) (
minus p5))) (74 p25m (plus (minus p2) (minus p5))) (68 p25m
(plus (minus p2) (minus p5))) (58 p25m (plus (minus p2) (
minus p5))) (56 p28m (plus (minus p2) (minus p5))) (40 p25m
(plus (minus p2) (minus p5))) (38 p28m (plus (minus p2) (
minus p5))) (36 p34m (plus (minus p2) (minus p5))) (33 p31m
(plus (minus p2) (minus p5))) (31 p37m (plus (minus p2) (
minus p5))) (16 p25m (plus (minus p2) (minus p5))) (14 p28m
(plus (minus p2) (minus p5))) (12 p34m (plus (minus p2) (
minus p5))) (9 p31m (plus (minus p2) (minus p5))) (7 p37m (
plus (minus p2) (minus p5)))) ((plus p2 p3 p5) (367 p22m (
plus p1 p4)) (366 p22m (plus p1 p4)) (365 p22m (plus p1 p4))
(364 p22m (plus p1 p4)) (363 p22m (plus p1 p4)) (362 p22m (
plus p1 p4)) (361 p22m (plus p1 p4)) (360 p22m (plus p1 p4))
(359 p22m (plus p1 p4)) (358 p22m (plus p1 p4)) (357 p22m (
plus p1 p4)) (356 p22m (plus p1 p4)) (355 p22m (plus p1 p4))
(341 p44m (plus p1 p4)) (340 p44m (plus p1 p4)) (339 p44m (
plus p1 p4)) (338 p44m (plus p1 p4)) (337 p44m (plus p1 p4))
(336 p44m (plus p1 p4)) (335 p44m (plus p1 p4)) (334 p44m (
plus p1 p4)) (333 p44m (plus p1 p4)) (332 p44m (plus p1 p4))
(331 p44m (plus p1 p4)) (330 p44m (plus p1 p4)) (329 p44m (
plus p1 p4)) (315 p16m (plus p1 p4)) (314 p16m (plus p1 p4))
(313 p16m (plus p1 p4)) (309 p17m (plus p1 p4)) (308 p17m (
plus p1 p4)) (307 p17m (plus p1 p4)) (293 p23m (plus p1 p4))
(292 p23m (plus p1 p4)) (291 p23m (plus p1 p4)) (290 p23m (
plus p1 p4)) (289 p23m (plus p1 p4)) (288 p23m (plus p1 p4))
(287 p23m (plus p1 p4)) (286 p23m (plus p1 p4)) (285 p23m (
plus p1 p4)) (284 p23m (plus p1 p4)) (283 p23m (plus p1 p4))
(282 p23m (plus p1 p4)) (281 p23m (plus p1 p4)) (268 p39m (
plus p1 p4)) (267 p39m (plus p1 p4)) (266 p39m (plus p1 p4))
(265 p39m (plus p1 p4)) (264 p39m (plus p1 p4)) (263 p39m (
plus p1 p4)) (262 p39m (plus p1 p4)) (261 p39m (plus p1 p4))
(260 p39m (plus p1 p4)) (259 p39m (plus p1 p4)) (258 p39m (
plus p1 p4)) (257 p39m (plus p1 p4)) (243 p42m (plus p1 p4))
(242 p42m (plus p1 p4)) (241 p42m (plus p1 p4)) (240 p42m (
plus p1 p4)) (239 p42m (plus p1 p4)) (238 p42m (plus p1 p4))
(237 p42m (plus p1 p4)) (236 p42m (plus p1 p4)) (235 p42m (
plus p1 p4)) (234 p42m (plus p1 p4)) (233 p42m (plus p1 p4))
(232 p42m (plus p1 p4)) (231 p42m (plus p1 p4)) (217 p45m (
plus p1 p4)) (216 p45m (plus p1 p4)) (215 p45m (plus p1 p4))
(214 p45m (plus p1 p4)) (213 p45m (plus p1 p4)) (212 p45m (
plus p1 p4)) (211 p45m (plus p1 p4)) (210 p45m (plus p1 p4))
(209 p45m (plus p1 p4)) (208 p45m (plus p1 p4)) (207 p45m (
plus p1 p4)) (206 p45m (plus p1 p4)) (205 p45m (plus p1 p4))
(202 p13m (plus p1 p4)) (201 p13m (plus p1 p4)) (197 p18m (
plus p1 p4)) (196 p18m (plus p1 p4)) (195 p18m (plus p1 p4))
(190 p20m (plus p1 p4)) (189 p20m (plus p1 p4)) (188 p20m (
plus p1 p4)) (187 p20m (plus p1 p4)) (174 p21m (plus p1 p4))
(173 p21m (plus p1 p4)) (172 p21m (plus p1 p4)) (171 p21m (
plus p1 p4)) (170 p21m (plus p1 p4)) (169 p21m (plus p1 p4))
(168 p21m (plus p1 p4)) (167 p21m (plus p1 p4)) (166 p21m (
plus p1 p4)) (165 p21m (plus p1 p4)) (164 p21m (plus p1 p4))
(163 p21m (plus p1 p4)) (155 p27m (plus p1 p4)) (154 p27m (
plus p1 p4)) (153 p27m (plus p1 p4)) (149 p33m (plus p1 p4))
(148 p33m (plus p1 p4)) (147 p33m (plus p1 p4)) (133 p41m (
plus p1 p4)) (132 p41m (plus p1 p4)) (131 p41m (plus p1 p4))
(130 p41m (plus p1 p4)) (129 p41m (plus p1 p4)) (128 p41m (
plus p1 p4)) (127 p41m (plus p1 p4)) (126 p41m (plus p1 p4))
(125 p41m (plus p1 p4)) (124 p41m (plus p1 p4)) (123 p41m (
plus p1 p4)) (122 p41m (plus p1 p4)) (121 p41m (plus p1 p4))
(107 p43m (plus p1 p4)) (106 p43m (plus p1 p4)) (105 p43m (
plus p1 p4)) (104 p43m (plus p1 p4)) (103 p43m (plus p1 p4))
(102 p43m (plus p1 p4)) (101 p43m (plus p1 p4)) (100 p43m (
plus p1 p4)) (99 p43m (plus p1 p4)) (98 p43m (plus p1 p4)) (
97 p43m (plus p1 p4)) (96 p43m (plus p1 p4)) (95 p43m (plus
p1 p4)) (92 p12m (plus p1 p4)) (91 p12m (plus p1 p4)) (88 
p14m (plus p1 p4)) (87 p14m (plus p1 p4)) (83 p15m (plus p1
p4)) (82 p15m (plus p1 p4)) (81 p15m (plus p1 p4)) (76 p19m
(plus p1 p4)) (75 p19m (plus p1 p4)) (74 p19m (plus p1 p4))
(73 p19m (plus p1 p4)) (69 p30m (plus p1 p4)) (68 p30m (plus
p1 p4)) (67 p30m (plus p1 p4)) (60 p36m (plus p1 p4)) (59 
p36m (plus p1 p4)) (58 p36m (plus p1 p4)) (57 p36m (plus p1
p4)) (56 p36m (plus p1 p4)) (55 p36m (plus p1 p4)) (42 p38m
(plus p1 p4)) (41 p38m (plus p1 p4)) (40 p38m (plus p1 p4))
(39 p38m (plus p1 p4)) (38 p38m (plus p1 p4)) (37 p38m (plus
p1 p4)) (36 p38m (plus p1 p4)) (35 p38m (plus p1 p4)) (34 
p38m (plus p1 p4)) (33 p38m (plus p1 p4)) (32 p38m (plus p1
p4)) (31 p38m (plus p1 p4)) (18 p40m (plus p1 p4)) (17 p40m
(plus p1 p4)) (16 p40m (plus p1 p4)) (15 p40m (plus p1 p4))
(14 p40m (plus p1 p4)) (13 p40m (plus p1 p4)) (12 p40m (plus
p1 p4)) (11 p40m (plus p1 p4)) (10 p40m (plus p1 p4)) (9 
p40m (plus p1 p4)) (8 p40m (plus p1 p4)) (7 p40m (plus p1 p4
))) ((plus p3 p5) (366 p24m (plus (minus p3) (minus p5))) (
364 p26m (plus (minus p3) (minus p5))) (362 p32m (plus (
minus p3) (minus p5))) (358 p29m (plus (minus p3) (minus p5)
)) (356 p35m (plus (minus p3) (minus p5))) (340 p24m (plus (
minus p3) (minus p5))) (338 p26m (plus (minus p3) (minus p5)
)) (336 p32m (plus (minus p3) (minus p5))) (332 p29m (plus (
minus p3) (minus p5))) (330 p35m (plus (minus p3) (minus p5)
)) (328 p24m (plus (minus p3) (minus p5))) (326 p24m (plus (
minus p3) (minus p5))) (325 p26m (plus (minus p3) (minus p5)
)) (322 p24m (plus (minus p3) (minus p5))) (321 p32m (plus (
minus p3) (minus p5))) (315 p24m (plus (minus p3) (minus p5)
)) (309 p24m (plus (minus p3) (minus p5))) (292 p24m (plus (
minus p3) (minus p5))) (290 p26m (plus (minus p3) (minus p5)
)) (288 p32m (plus (minus p3) (minus p5))) (284 p29m (plus (
minus p3) (minus p5))) (282 p35m (plus (minus p3) (minus p5)
)) (267 p24m (plus (minus p3) (minus p5))) (265 p26m (plus (
minus p3) (minus p5))) (263 p32m (plus (minus p3) (minus p5)
)) (260 p29m (plus (minus p3) (minus p5))) (258 p35m (plus (
minus p3) (minus p5))) (242 p24m (plus (minus p3) (minus p5)
)) (240 p26m (plus (minus p3) (minus p5))) (238 p32m (plus (
minus p3) (minus p5))) (234 p29m (plus (minus p3) (minus p5)
)) (232 p35m (plus (minus p3) (minus p5))) (216 p24m (plus (
minus p3) (minus p5))) (214 p26m (plus (minus p3) (minus p5)
)) (212 p32m (plus (minus p3) (minus p5))) (208 p29m (plus (
minus p3) (minus p5))) (206 p35m (plus (minus p3) (minus p5)
)) (202 p24m (plus (minus p3) (minus p5))) (197 p24m (plus (
minus p3) (minus p5))) (189 p24m (plus (minus p3) (minus p5)
)) (173 p24m (plus (minus p3) (minus p5))) (171 p26m (plus (
minus p3) (minus p5))) (169 p32m (plus (minus p3) (minus p5)
)) (166 p29m (plus (minus p3) (minus p5))) (164 p35m (plus (
minus p3) (minus p5))) (162 p29m (plus (minus p3) (minus p5)
)) (161 p24m (plus (minus p3) (minus p5))) (155 p24m (plus (
minus p3) (minus p5))) (149 p24m (plus (minus p3) (minus p5)
)) (132 p24m (plus (minus p3) (minus p5))) (130 p26m (plus (
minus p3) (minus p5))) (128 p32m (plus (minus p3) (minus p5)
)) (124 p29m (plus (minus p3) (minus p5))) (122 p35m (plus (
minus p3) (minus p5))) (106 p24m (plus (minus p3) (minus p5)
)) (104 p26m (plus (minus p3) (minus p5))) (102 p32m (plus (
minus p3) (minus p5))) (98 p29m (plus (minus p3) (minus p5))
) (96 p35m (plus (minus p3) (minus p5))) (92 p24m (plus (
minus p3) (minus p5))) (88 p24m (plus (minus p3) (minus p5))
) (83 p24m (plus (minus p3) (minus p5))) (75 p24m (plus (
minus p3) (minus p5))) (69 p24m (plus (minus p3) (minus p5))
) (59 p24m (plus (minus p3) (minus p5))) (57 p26m (plus (
minus p3) (minus p5))) (41 p24m (plus (minus p3) (minus p5))
) (39 p26m (plus (minus p3) (minus p5))) (37 p32m (plus (
minus p3) (minus p5))) (34 p29m (plus (minus p3) (minus p5))
) (32 p35m (plus (minus p3) (minus p5))) (17 p24m (plus (
minus p3) (minus p5))) (15 p26m (plus (minus p3) (minus p5))
) (13 p32m (plus (minus p3) (minus p5))) (10 p29m (plus (
minus p3) (minus p5))) (8 p35m (plus (minus p3) (minus p5)))
) ((plus p2 p3 p4) (380 p22m (plus (minus p1) (minus p5))) (
379 p22m (plus (minus p1) (minus p5))) (378 p22m (plus (
minus p1) (minus p5))) (377 p22m (plus (minus p1) (minus p5)
)) (376 p22m (plus (minus p1) (minus p5))) (375 p22m (plus (
minus p1) (minus p5))) (374 p22m (plus (minus p1) (minus p5)
)) (373 p22m (plus (minus p1) (minus p5))) (372 p22m (plus (
minus p1) (minus p5))) (371 p22m (plus (minus p1) (minus p5)
)) (370 p22m (plus (minus p1) (minus p5))) (369 p22m (plus (
minus p1) (minus p5))) (368 p22m (plus (minus p1) (minus p5)
)) (354 p44m (plus (minus p1) (minus p5))) (353 p44m (plus (
minus p1) (minus p5))) (352 p44m (plus (minus p1) (minus p5)
)) (351 p44m (plus (minus p1) (minus p5))) (350 p44m (plus (
minus p1) (minus p5))) (349 p44m (plus (minus p1) (minus p5)
)) (348 p44m (plus (minus p1) (minus p5))) (347 p44m (plus (
minus p1) (minus p5))) (346 p44m (plus (minus p1) (minus p5)
)) (345 p44m (plus (minus p1) (minus p5))) (344 p44m (plus (
minus p1) (minus p5))) (343 p44m (plus (minus p1) (minus p5)
)) (342 p44m (plus (minus p1) (minus p5))) (318 p16m (plus (
minus p1) (minus p5))) (317 p16m (plus (minus p1) (minus p5)
)) (316 p16m (plus (minus p1) (minus p5))) (312 p17m (plus (
minus p1) (minus p5))) (311 p17m (plus (minus p1) (minus p5)
)) (310 p17m (plus (minus p1) (minus p5))) (306 p23m (plus (
minus p1) (minus p5))) (305 p23m (plus (minus p1) (minus p5)
)) (304 p23m (plus (minus p1) (minus p5))) (303 p23m (plus (
minus p1) (minus p5))) (302 p23m (plus (minus p1) (minus p5)
)) (301 p23m (plus (minus p1) (minus p5))) (300 p23m (plus (
minus p1) (minus p5))) (299 p23m (plus (minus p1) (minus p5)
)) (298 p23m (plus (minus p1) (minus p5))) (297 p23m (plus (
minus p1) (minus p5))) (296 p23m (plus (minus p1) (minus p5)
)) (295 p23m (plus (minus p1) (minus p5))) (294 p23m (plus (
minus p1) (minus p5))) (280 p39m (plus (minus p1) (minus p5)
)) (279 p39m (plus (minus p1) (minus p5))) (278 p39m (plus (
minus p1) (minus p5))) (277 p39m (plus (minus p1) (minus p5)
)) (276 p39m (plus (minus p1) (minus p5))) (275 p39m (plus (
minus p1) (minus p5))) (274 p39m (plus (minus p1) (minus p5)
)) (273 p39m (plus (minus p1) (minus p5))) (272 p39m (plus (
minus p1) (minus p5))) (271 p39m (plus (minus p1) (minus p5)
)) (270 p39m (plus (minus p1) (minus p5))) (269 p39m (plus (
minus p1) (minus p5))) (256 p42m (plus (minus p1) (minus p5)
)) (255 p42m (plus (minus p1) (minus p5))) (254 p42m (plus (
minus p1) (minus p5))) (253 p42m (plus (minus p1) (minus p5)
)) (252 p42m (plus (minus p1) (minus p5))) (251 p42m (plus (
minus p1) (minus p5))) (250 p42m (plus (minus p1) (minus p5)
)) (249 p42m (plus (minus p1) (minus p5))) (248 p42m (plus (
minus p1) (minus p5))) (247 p42m (plus (minus p1) (minus p5)
)) (246 p42m (plus (minus p1) (minus p5))) (245 p42m (plus (
minus p1) (minus p5))) (244 p42m (plus (minus p1) (minus p5)
)) (230 p45m (plus (minus p1) (minus p5))) (229 p45m (plus (
minus p1) (minus p5))) (228 p45m (plus (minus p1) (minus p5)
)) (227 p45m (plus (minus p1) (minus p5))) (226 p45m (plus (
minus p1) (minus p5))) (225 p45m (plus (minus p1) (minus p5)
)) (224 p45m (plus (minus p1) (minus p5))) (223 p45m (plus (
minus p1) (minus p5))) (222 p45m (plus (minus p1) (minus p5)
)) (221 p45m (plus (minus p1) (minus p5))) (220 p45m (plus (
minus p1) (minus p5))) (219 p45m (plus (minus p1) (minus p5)
)) (218 p45m (plus (minus p1) (minus p5))) (204 p13m (plus (
minus p1) (minus p5))) (203 p13m (plus (minus p1) (minus p5)
)) (200 p18m (plus (minus p1) (minus p5))) (199 p18m (plus (
minus p1) (minus p5))) (198 p18m (plus (minus p1) (minus p5)
)) (194 p20m (plus (minus p1) (minus p5))) (193 p20m (plus (
minus p1) (minus p5))) (192 p20m (plus (minus p1) (minus p5)
)) (191 p20m (plus (minus p1) (minus p5))) (186 p21m (plus (
minus p1) (minus p5))) (185 p21m (plus (minus p1) (minus p5)
)) (184 p21m (plus (minus p1) (minus p5))) (183 p21m (plus (
minus p1) (minus p5))) (182 p21m (plus (minus p1) (minus p5)
)) (181 p21m (plus (minus p1) (minus p5))) (180 p21m (plus (
minus p1) (minus p5))) (179 p21m (plus (minus p1) (minus p5)
)) (178 p21m (plus (minus p1) (minus p5))) (177 p21m (plus (
minus p1) (minus p5))) (176 p21m (plus (minus p1) (minus p5)
)) (175 p21m (plus (minus p1) (minus p5))) (158 p27m (plus (
minus p1) (minus p5))) (157 p27m (plus (minus p1) (minus p5)
)) (156 p27m (plus (minus p1) (minus p5))) (152 p33m (plus (
minus p1) (minus p5))) (151 p33m (plus (minus p1) (minus p5)
)) (150 p33m (plus (minus p1) (minus p5))) (146 p41m (plus (
minus p1) (minus p5))) (145 p41m (plus (minus p1) (minus p5)
)) (144 p41m (plus (minus p1) (minus p5))) (143 p41m (plus (
minus p1) (minus p5))) (142 p41m (plus (minus p1) (minus p5)
)) (141 p41m (plus (minus p1) (minus p5))) (140 p41m (plus (
minus p1) (minus p5))) (139 p41m (plus (minus p1) (minus p5)
)) (138 p41m (plus (minus p1) (minus p5))) (137 p41m (plus (
minus p1) (minus p5))) (136 p41m (plus (minus p1) (minus p5)
)) (135 p41m (plus (minus p1) (minus p5))) (134 p41m (plus (
minus p1) (minus p5))) (120 p43m (plus (minus p1) (minus p5)
)) (119 p43m (plus (minus p1) (minus p5))) (118 p43m (plus (
minus p1) (minus p5))) (117 p43m (plus (minus p1) (minus p5)
)) (116 p43m (plus (minus p1) (minus p5))) (115 p43m (plus (
minus p1) (minus p5))) (114 p43m (plus (minus p1) (minus p5)
)) (113 p43m (plus (minus p1) (minus p5))) (112 p43m (plus (
minus p1) (minus p5))) (111 p43m (plus (minus p1) (minus p5)
)) (110 p43m (plus (minus p1) (minus p5))) (109 p43m (plus (
minus p1) (minus p5))) (108 p43m (plus (minus p1) (minus p5)
)) (94 p12m (plus (minus p1) (minus p5))) (93 p12m (plus (
minus p1) (minus p5))) (90 p14m (plus (minus p1) (minus p5))
) (89 p14m (plus (minus p1) (minus p5))) (86 p15m (plus (
minus p1) (minus p5))) (85 p15m (plus (minus p1) (minus p5))
) (84 p15m (plus (minus p1) (minus p5))) (80 p19m (plus (
minus p1) (minus p5))) (79 p19m (plus (minus p1) (minus p5))
) (78 p19m (plus (minus p1) (minus p5))) (77 p19m (plus (
minus p1) (minus p5))) (72 p30m (plus (minus p1) (minus p5))
) (71 p30m (plus (minus p1) (minus p5))) (70 p30m (plus (
minus p1) (minus p5))) (66 p36m (plus (minus p1) (minus p5))
) (65 p36m (plus (minus p1) (minus p5))) (64 p36m (plus (
minus p1) (minus p5))) (63 p36m (plus (minus p1) (minus p5))
) (62 p36m (plus (minus p1) (minus p5))) (61 p36m (plus (
minus p1) (minus p5))) (54 p38m (plus (minus p1) (minus p5))
) (53 p38m (plus (minus p1) (minus p5))) (52 p38m (plus (
minus p1) (minus p5))) (51 p38m (plus (minus p1) (minus p5))
) (50 p38m (plus (minus p1) (minus p5))) (49 p38m (plus (
minus p1) (minus p5))) (48 p38m (plus (minus p1) (minus p5))
) (47 p38m (plus (minus p1) (minus p5))) (46 p38m (plus (
minus p1) (minus p5))) (45 p38m (plus (minus p1) (minus p5))
) (44 p38m (plus (minus p1) (minus p5))) (43 p38m (plus (
minus p1) (minus p5))) (30 p40m (plus (minus p1) (minus p5))
) (29 p40m (plus (minus p1) (minus p5))) (28 p40m (plus (
minus p1) (minus p5))) (27 p40m (plus (minus p1) (minus p5))
) (26 p40m (plus (minus p1) (minus p5))) (25 p40m (plus (
minus p1) (minus p5))) (24 p40m (plus (minus p1) (minus p5))
) (23 p40m (plus (minus p1) (minus p5))) (22 p40m (plus (
minus p1) (minus p5))) (21 p40m (plus (minus p1) (minus p5))
) (20 p40m (plus (minus p1) (minus p5))) (19 p40m (plus (
minus p1) (minus p5)))) ((plus p3 p4) (378 p25m (plus p3 p4)
) (376 p28m (plus p3 p4)) (374 p34m (plus p3 p4)) (370 p31m
(plus p3 p4)) (368 p37m (plus p3 p4)) (352 p25m (plus p3 p4)
) (350 p28m (plus p3 p4)) (348 p34m (plus p3 p4)) (344 p31m
(plus p3 p4)) (342 p37m (plus p3 p4)) (327 p25m (plus p3 p4)
) (324 p28m (plus p3 p4)) (323 p25m (plus p3 p4)) (320 p34m
(plus p3 p4)) (319 p25m (plus p3 p4)) (317 p25m (plus p3 p4)
) (311 p25m (plus p3 p4)) (304 p25m (plus p3 p4)) (302 p28m
(plus p3 p4)) (300 p34m (plus p3 p4)) (296 p31m (plus p3 p4)
) (294 p37m (plus p3 p4)) (278 p25m (plus p3 p4)) (276 p28m
(plus p3 p4)) (274 p34m (plus p3 p4)) (271 p31m (plus p3 p4)
) (269 p37m (plus p3 p4)) (254 p25m (plus p3 p4)) (252 p28m
(plus p3 p4)) (250 p34m (plus p3 p4)) (246 p31m (plus p3 p4)
) (244 p37m (plus p3 p4)) (228 p25m (plus p3 p4)) (226 p28m
(plus p3 p4)) (224 p34m (plus p3 p4)) (220 p31m (plus p3 p4)
) (218 p37m (plus p3 p4)) (203 p25m (plus p3 p4)) (199 p25m
(plus p3 p4)) (192 p25m (plus p3 p4)) (184 p25m (plus p3 p4)
) (182 p28m (plus p3 p4)) (180 p34m (plus p3 p4)) (177 p31m
(plus p3 p4)) (175 p37m (plus p3 p4)) (160 p25m (plus p3 p4)
) (159 p31m (plus p3 p4)) (157 p25m (plus p3 p4)) (151 p25m
(plus p3 p4)) (144 p25m (plus p3 p4)) (142 p28m (plus p3 p4)
) (140 p34m (plus p3 p4)) (136 p31m (plus p3 p4)) (134 p37m
(plus p3 p4)) (118 p25m (plus p3 p4)) (116 p28m (plus p3 p4)
) (114 p34m (plus p3 p4)) (110 p31m (plus p3 p4)) (108 p37m
(plus p3 p4)) (93 p25m (plus p3 p4)) (89 p25m (plus p3 p4))
(85 p25m (plus p3 p4)) (78 p25m (plus p3 p4)) (71 p25m (plus
p3 p4)) (64 p25m (plus p3 p4)) (62 p28m (plus p3 p4)) (52 
p25m (plus p3 p4)) (50 p28m (plus p3 p4)) (48 p34m (plus p3
p4)) (45 p31m (plus p3 p4)) (43 p37m (plus p3 p4)) (28 p25m
(plus p3 p4)) (26 p28m (plus p3 p4)) (24 p34m (plus p3 p4))
(21 p31m (plus p3 p4)) (19 p37m (plus p3 p4))) ((plus p2 p4)
(379 p24m (plus p2 p4)) (377 p26m (plus p2 p4)) (375 p32m (
plus p2 p4)) (371 p29m (plus p2 p4)) (369 p35m (plus p2 p4))
(353 p24m (plus p2 p4)) (351 p26m (plus p2 p4)) (349 p32m (
plus p2 p4)) (345 p29m (plus p2 p4)) (343 p35m (plus p2 p4))
(328 p24m (plus p2 p4)) (326 p26m (plus p2 p4)) (325 p24m (
plus p2 p4)) (322 p32m (plus p2 p4)) (321 p24m (plus p2 p4))
(318 p24m (plus p2 p4)) (312 p24m (plus p2 p4)) (305 p24m (
plus p2 p4)) (303 p26m (plus p2 p4)) (301 p32m (plus p2 p4))
(297 p29m (plus p2 p4)) (295 p35m (plus p2 p4)) (279 p24m (
plus p2 p4)) (277 p26m (plus p2 p4)) (275 p32m (plus p2 p4))
(272 p29m (plus p2 p4)) (270 p35m (plus p2 p4)) (255 p24m (
plus p2 p4)) (253 p26m (plus p2 p4)) (251 p32m (plus p2 p4))
(247 p29m (plus p2 p4)) (245 p35m (plus p2 p4)) (229 p24m (
plus p2 p4)) (227 p26m (plus p2 p4)) (225 p32m (plus p2 p4))
(221 p29m (plus p2 p4)) (219 p35m (plus p2 p4)) (204 p24m (
plus p2 p4)) (200 p24m (plus p2 p4)) (193 p24m (plus p2 p4))
(185 p24m (plus p2 p4)) (183 p26m (plus p2 p4)) (181 p32m (
plus p2 p4)) (178 p29m (plus p2 p4)) (176 p35m (plus p2 p4))
(162 p24m (plus p2 p4)) (161 p29m (plus p2 p4)) (158 p24m (
plus p2 p4)) (152 p24m (plus p2 p4)) (145 p24m (plus p2 p4))
(143 p26m (plus p2 p4)) (141 p32m (plus p2 p4)) (137 p29m (
plus p2 p4)) (135 p35m (plus p2 p4)) (119 p24m (plus p2 p4))
(117 p26m (plus p2 p4)) (115 p32m (plus p2 p4)) (111 p29m (
plus p2 p4)) (109 p35m (plus p2 p4)) (94 p24m (plus p2 p4))
(90 p24m (plus p2 p4)) (86 p24m (plus p2 p4)) (79 p24m (plus
p2 p4)) (72 p24m (plus p2 p4)) (65 p24m (plus p2 p4)) (63 
p26m (plus p2 p4)) (53 p24m (plus p2 p4)) (51 p26m (plus p2
p4)) (49 p32m (plus p2 p4)) (46 p29m (plus p2 p4)) (44 p35m
(plus p2 p4)) (29 p24m (plus p2 p4)) (27 p26m (plus p2 p4))
(25 p32m (plus p2 p4)) (22 p29m (plus p2 p4)) (20 p35m (plus
p2 p4))))$
 
nsum:='380$
 
nallterm:='380$
 
;end;
 
