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

weak interaction ") )
 $
delta_qnumber_list:='nil
 $
pa_decay_list:='((pr2 (35 (pr1 pr1) 2) (15 (ef ef) 2)) (pr3
(67 (pr1 pr1) 2)) (pr4 (64 (pr1 pr1) 2)) (pr5 (23 (pr1 pr1)
2)) (pr6 (32 (pr1 pr1) 2) (16 (ef ef) 2)) (pr7 (61 (pr1 pr1)
2)) (pr9 (31 (pr1 pr1) 2)) (pr8 (22 (pr1 pr1) 2)) (pr10 (60
(pr1 pr1) 2)) (pr11 (59 (pr1 pr1) 2)) (pr27 (101 (pr2 pr1) 2
) (100 (pr2 pr1) 1)) (pr12 (58 (pr1 pr1) 2)) (pr28 (46 (pr2
pr1) 2) (45 (pr2 pr1) 1)) (pr13 (30 (pr1 pr1) 2) (17 (ef ef)
2)) (pr14 (109 (pr1 pr1) 2)) (pr15 (29 (pr1 pr1) 2) (18 (ef
ef) 2)) (pr16 (108 (pr1 pr1) 2)) (pr17 (28 (pr1 pr1) 2)) (
pr19 (21 (pr1 pr1) 2)) (pr18 (57 (pr1 pr1) 2)) (pr29 (154 (
pr3 pr1) 2) (153 (pr3 pr1) 1) (97 (pr2 pr1) 2) (96 (pr2 pr1)
1)) (pr20 (56 (pr1 pr1) 2)) (pr30 (152 (pr3 pr1) 2) (151 (
pr3 pr1) 1) (150 (pr4 pr1) 2) (149 (pr4 pr1) 1) (93 (pr2 pr1
) 2) (92 (pr2 pr1) 1)) (pr31 (66 (pr3 pr1) 2) (65 (pr3 pr1)
1) (63 (pr4 pr1) 2) (62 (pr4 pr1) 1) (34 (pr2 pr1) 2) (33 (
pr2 pr1) 1)) (pr21 (27 (pr1 pr1) 2)) (pr22 (55 (pr1 pr1) 2))
(pr23 (54 (pr1 pr1) 2)) (pr32 (148 (pr3 pr1) 2) (147 (pr3 
pr1) 1) (146 (pr4 pr1) 2) (145 (pr4 pr1) 1) (144 (pr7 pr1) 2
) (143 (pr7 pr1) 1) (89 (pr2 pr1) 2) (88 (pr2 pr1) 1) (87 (
pr6 pr1) 2) (86 (pr6 pr1) 1) (85 (pr9 pr1) 2) (84 (pr9 pr1)
1)) (pr24 (53 (pr1 pr1) 2)) (pr25 (20 (pr1 pr1) 2)) (pr26 (
176 (pr1 pr1) 2)) (pr33 (196 (pr14 pr1) 2) (195 (pr14 pr1) 1
) (194 (pr16 pr1) 2) (193 (pr16 pr1) 1) (142 (pr3 pr1) 2) (
141 (pr3 pr1) 1) (140 (pr4 pr1) 2) (139 (pr4 pr1) 1) (138 (
pr7 pr1) 2) (137 (pr7 pr1) 1) (136 (pr10 pr1) 2) (135 (pr10
pr1) 1) (134 (pr11 pr1) 2) (133 (pr11 pr1) 1) (132 (pr12 pr1
) 2) (131 (pr12 pr1) 1) (130 (pr18 pr1) 2) (129 (pr18 pr1) 1
) (81 (pr2 pr1) 2) (80 (pr2 pr1) 1) (79 (pr6 pr1) 2) (78 (
pr6 pr1) 1) (77 (pr9 pr1) 2) (76 (pr9 pr1) 1) (75 (pr13 pr1)
2) (74 (pr13 pr1) 1) (73 (pr15 pr1) 2) (72 (pr15 pr1) 1) (71
(pr17 pr1) 2) (70 (pr17 pr1) 1) (52 (pr5 pr1) 2) (51 (pr5 
pr1) 1) (50 (pr8 pr1) 2) (49 (pr8 pr1) 1) (48 (pr19 pr1) 2)
(47 (pr19 pr1) 1)) (pr34 (218 (pr14 pr1) 2) (217 (pr14 pr1)
1) (216 (pr16 pr1) 2) (215 (pr16 pr1) 1) (192 (pr3 pr1) 2) (
191 (pr3 pr1) 1) (190 (pr4 pr1) 2) (189 (pr4 pr1) 1) (188 (
pr7 pr1) 2) (187 (pr7 pr1) 1) (186 (pr10 pr1) 2) (185 (pr10
pr1) 1) (184 (pr11 pr1) 2) (183 (pr11 pr1) 1) (182 (pr12 pr1
) 2) (181 (pr12 pr1) 1) (180 (pr18 pr1) 2) (179 (pr18 pr1) 1
) (178 (pr20 pr1) 2) (177 (pr20 pr1) 1) (168 (pr2 pr1) 2) (
167 (pr2 pr1) 1) (166 (pr6 pr1) 2) (165 (pr6 pr1) 1) (164 (
pr9 pr1) 2) (163 (pr9 pr1) 1) (162 (pr13 pr1) 2) (161 (pr13
pr1) 1) (160 (pr15 pr1) 2) (159 (pr15 pr1) 1) (158 (pr17 pr1
) 2) (157 (pr17 pr1) 1) (107 (pr5 pr1) 2) (106 (pr5 pr1) 1)
(105 (pr8 pr1) 2) (104 (pr8 pr1) 1) (103 (pr19 pr1) 2) (102
(pr19 pr1) 1)) (pr35 (239 (pr3 pr1) 2) (238 (pr3 pr1) 1) (
237 (pr4 pr1) 2) (236 (pr4 pr1) 1) (235 (pr7 pr1) 2) (234 (
pr7 pr1) 1) (233 (pr10 pr1) 2) (232 (pr10 pr1) 1) (231 (pr11
pr1) 2) (230 (pr11 pr1) 1) (229 (pr12 pr1) 2) (228 (pr12 pr1
) 1) (227 (pr18 pr1) 2) (226 (pr18 pr1) 1) (225 (pr20 pr1) 2
) (224 (pr20 pr1) 1) (223 (pr22 pr1) 2) (222 (pr22 pr1) 1) (
221 (pr23 pr1) 2) (220 (pr23 pr1) 1) (212 (pr2 pr1) 2) (211
(pr2 pr1) 1) (210 (pr6 pr1) 2) (209 (pr6 pr1) 1) (208 (pr9 
pr1) 2) (207 (pr9 pr1) 1) (206 (pr13 pr1) 2) (205 (pr13 pr1)
1) (204 (pr15 pr1) 2) (203 (pr15 pr1) 1) (202 (pr17 pr1) 2)
(201 (pr17 pr1) 1) (200 (pr21 pr1) 2) (199 (pr21 pr1) 1) (
175 (pr5 pr1) 2) (174 (pr5 pr1) 1) (173 (pr8 pr1) 2) (172 (
pr8 pr1) 1) (171 (pr19 pr1) 2) (170 (pr19 pr1) 1)) (pr36 (
219 (pr26 pr2) 2) (214 (pr14 pr3) 2) (213 (pr16 pr4) 2) (198
(pr35 pr1) 2) (197 (pr35 pr1) 2) (169 (pr14 pr5) 2) (156 (
pr34 pr1) 2) (155 (pr34 pr1) 2) (128 (pr3 pr2) 2) (127 (pr3
pr6) 2) (126 (pr3 pr13) 2) (125 (pr3 pr15) 2) (124 (pr4 pr9)
2) (123 (pr4 pr17) 2) (122 (pr7 pr2) 2) (121 (pr7 pr6) 2) (
120 (pr7 pr13) 2) (119 (pr10 pr2) 2) (118 (pr10 pr6) 2) (117
(pr11 pr2) 2) (116 (pr11 pr6) 2) (115 (pr12 pr2) 2) (114 (
pr12 pr6) 2) (113 (pr20 pr2) 2) (112 (pr22 pr2) 2) (111 (
pr23 pr2) 2) (110 (pr24 pr2) 2) (99 (pr27 pr1) 2) (98 (pr27
pr1) 2) (95 (pr29 pr1) 2) (94 (pr29 pr1) 2) (91 (pr30 pr1) 2
) (90 (pr30 pr1) 2) (83 (pr32 pr1) 2) (82 (pr32 pr1) 2) (69
(pr33 pr1) 2) (68 (pr33 pr1) 2) (44 (pr2 pr5) 2) (43 (pr2 
pr19) 2) (42 (pr2 pr25) 2) (41 (pr6 pr5) 2) (40 (pr9 pr8) 2)
(39 (pr13 pr5) 2) (38 (pr15 pr5) 2) (37 (pr28 pr1) 2) (36 (
pr28 pr1) 2) (26 (pr1 pr1) 2) (25 (pr31 pr1) 2) (24 (pr31 
pr1) 2) (19 (ef ef) 2)))
 $
two_pa_vertex_list:='nil
 $
stable_pal0:='(p nut numu nue ef qu qd qs mu pr1 qc pr2 pr3
pr4 pr5 pr6 pr7 pr9 pr8 pr10 pr11 pr27 pr12 pr28 pr13 pr14 
pr15 pr16 pr17 pr19 pr18 pr29 tau pr20 pr30 pr31 pr21 pr22 
pr23 pr32 pr24 pr25 pr26 pr33 pr34 pr35 pr36 qb w qt)
 $
mass_order_list:='(h0 qt z w qb pr36 pr35 pr34 pr33 pr26 
pr25 pr24 pr32 pr23 pr22 pr21 pr31 pr30 pr20 tau pr29 pr18 
pr19 pr17 pr16 pr15 pr14 pr13 pr28 pr12 pr27 pr11 pr10 pr8 
pr9 pr7 pr6 pr5 pr4 pr3 pr2 qc pr1 mu qs qd qu ef nue numu 
nut gsg p gs)
 $
pal_order_list:='(pr1 pr36 pr35 pr34 pr33 pr2 pr3 pr6 pr4 
pr32 pr5 pr7 pr13 pr9 pr15 pr12 pr11 pr10 w pr31 pr30 pr19 
pr8 pr17 h0 pr14 pr18 pr29 pr16 pr20 ef pr28 pr27 pr23 pr22
pa1 z pr21 pa5 pa4 pr25 pr24 pr26 p pa2 pa3)
 $
v_pal_list:='((15 (pr2 -1 1) (ef 1 1)) (16 (pr6 -1 1) (ef 1
1)) (17 (pr13 -1 1) (ef 1 1)) (18 (pr15 -1 1) (ef 1 1)) (19
(pr36 -1 1) (ef 1 1)) (14 (h0 -1 3)) (13 (h0 -1 4)) (12 (pa2
1 1) (h0 -1 1)) (11 (w 1 1) (pa1 -1 1)) (10 (pa5 1 0) (pa4 0
1) (w 0 1)) (9 (pa4 1 0) (pa5 0 1) (w 1 0)) (8 (pa3 1 1) (
pa1 -1 1)) (7 (w 2 2)) (6 (w 1 1) (p -1 1) (z -1 1)) (5 (w 1
1) (pa1 -1 2)) (4 (w 1 1) (h0 -1 1)) (3 (z -1 2) (h0 -1 1))
(2 (w 1 1) (h0 -1 2)) (1 (z -1 2) (h0 -1 2)) (20 (pr25 -1 1)
(pr1 1 1)) (21 (pr19 -1 1) (pr1 1 1)) (22 (pr8 -1 1) (pr1 1
1)) (23 (pr5 -1 1) (pr1 1 1)) (24 (pr36 -1 1) (pr31 1 0) (
pr1 0 1)) (25 (pr1 1 0) (pr31 0 1) (pr36 -1 1)) (26 (pr36 -1
1) (pr1 1 1)) (27 (pr21 -1 1) (pr1 1 1)) (28 (pr17 -1 1) (
pr1 1 1)) (29 (pr15 -1 1) (pr1 1 1)) (30 (pr13 -1 1) (pr1 1
1)) (31 (pr9 -1 1) (pr1 1 1)) (32 (pr6 -1 1) (pr1 1 1)) (33
(pr2 -1 1) (pr31 1 0) (pr1 0 1)) (34 (pr1 1 0) (pr31 0 1) (
pr2 -1 1)) (35 (pr2 -1 1) (pr1 1 1)) (36 (pr36 -1 1) (pr28 1
0) (pr1 0 1)) (37 (pr1 1 0) (pr28 0 1) (pr36 -1 1)) (38 (
pr36 -1 1) (pr15 -1 1) (pr5 -1 1)) (39 (pr36 -1 1) (pr13 -1
1) (pr5 -1 1)) (40 (pr36 -1 1) (pr9 -1 1) (pr8 -1 1)) (41 (
pr36 -1 1) (pr6 -1 1) (pr5 -1 1)) (42 (pr36 -1 1) (pr2 -1 1)
(pr25 -1 1)) (43 (pr36 -1 1) (pr2 -1 1) (pr19 -1 1)) (44 (
pr36 -1 1) (pr2 -1 1) (pr5 -1 1)) (45 (pr28 1 0) (pr2 -1 1)
(pr1 0 1)) (46 (pr1 1 0) (pr2 -1 1) (pr28 0 1)) (47 (pr33 1
0) (pr19 -1 1) (pr1 0 1)) (48 (pr1 1 0) (pr19 -1 1) (pr33 0
1)) (49 (pr33 1 0) (pr8 -1 1) (pr1 0 1)) (50 (pr1 1 0) (pr8
-1 1) (pr33 0 1)) (51 (pr33 1 0) (pr5 -1 1) (pr1 0 1)) (52 (
pr1 1 0) (pr5 -1 1) (pr33 0 1)) (53 (pr24 -1 1) (pr1 1 1)) (
54 (pr23 -1 1) (pr1 1 1)) (55 (pr22 -1 1) (pr1 1 1)) (56 (
pr20 -1 1) (pr1 1 1)) (57 (pr18 -1 1) (pr1 1 1)) (58 (pr12 
-1 1) (pr1 1 1)) (59 (pr11 -1 1) (pr1 1 1)) (60 (pr10 -1 1)
(pr1 1 1)) (61 (pr7 -1 1) (pr1 1 1)) (62 (pr4 -1 1) (pr31 1
0) (pr1 0 1)) (63 (pr1 1 0) (pr31 0 1) (pr4 -1 1)) (64 (pr4
-1 1) (pr1 1 1)) (65 (pr3 -1 1) (pr31 1 0) (pr1 0 1)) (66 (
pr1 1 0) (pr31 0 1) (pr3 -1 1)) (67 (pr3 -1 1) (pr1 1 1)) (
68 (pr33 1 0) (pr36 -1 1) (pr1 0 1)) (69 (pr1 1 0) (pr36 -1
1) (pr33 0 1)) (70 (pr33 1 0) (pr17 -1 1) (pr1 0 1)) (71 (
pr1 1 0) (pr17 -1 1) (pr33 0 1)) (72 (pr33 1 0) (pr15 -1 1)
(pr1 0 1)) (73 (pr1 1 0) (pr15 -1 1) (pr33 0 1)) (74 (pr33 1
0) (pr13 -1 1) (pr1 0 1)) (75 (pr1 1 0) (pr13 -1 1) (pr33 0
1)) (76 (pr33 1 0) (pr9 -1 1) (pr1 0 1)) (77 (pr1 1 0) (pr9
-1 1) (pr33 0 1)) (78 (pr33 1 0) (pr6 -1 1) (pr1 0 1)) (79 (
pr1 1 0) (pr6 -1 1) (pr33 0 1)) (80 (pr33 1 0) (pr2 -1 1) (
pr1 0 1)) (81 (pr1 1 0) (pr2 -1 1) (pr33 0 1)) (82 (pr32 1 0
) (pr36 -1 1) (pr1 0 1)) (83 (pr1 1 0) (pr36 -1 1) (pr32 0 1
)) (84 (pr32 1 0) (pr9 -1 1) (pr1 0 1)) (85 (pr1 1 0) (pr9 
-1 1) (pr32 0 1)) (86 (pr32 1 0) (pr6 -1 1) (pr1 0 1)) (87 (
pr1 1 0) (pr6 -1 1) (pr32 0 1)) (88 (pr32 1 0) (pr2 -1 1) (
pr1 0 1)) (89 (pr1 1 0) (pr2 -1 1) (pr32 0 1)) (90 (pr30 1 0
) (pr36 -1 1) (pr1 0 1)) (91 (pr1 1 0) (pr36 -1 1) (pr30 0 1
)) (92 (pr30 1 0) (pr2 -1 1) (pr1 0 1)) (93 (pr1 1 0) (pr2 
-1 1) (pr30 0 1)) (94 (pr29 1 0) (pr36 -1 1) (pr1 0 1)) (95
(pr1 1 0) (pr36 -1 1) (pr29 0 1)) (96 (pr29 1 0) (pr2 -1 1)
(pr1 0 1)) (97 (pr1 1 0) (pr2 -1 1) (pr29 0 1)) (98 (pr27 1
0) (pr36 -1 1) (pr1 0 1)) (99 (pr1 1 0) (pr36 -1 1) (pr27 0
1)) (100 (pr27 1 0) (pr2 -1 1) (pr1 0 1)) (101 (pr1 1 0) (
pr2 -1 1) (pr27 0 1)) (102 (pr34 1 0) (pr19 -1 1) (pr1 0 1))
(103 (pr1 1 0) (pr19 -1 1) (pr34 0 1)) (104 (pr34 1 0) (pr8
-1 1) (pr1 0 1)) (105 (pr1 1 0) (pr8 -1 1) (pr34 0 1)) (106
(pr34 1 0) (pr5 -1 1) (pr1 0 1)) (107 (pr1 1 0) (pr5 -1 1) (
pr34 0 1)) (108 (pr16 -1 1) (pr1 1 1)) (109 (pr14 -1 1) (pr1
1 1)) (110 (pr24 -1 1) (pr36 -1 1) (pr2 -1 1)) (111 (pr23 -1
1) (pr36 -1 1) (pr2 -1 1)) (112 (pr22 -1 1) (pr36 -1 1) (pr2
-1 1)) (113 (pr20 -1 1) (pr36 -1 1) (pr2 -1 1)) (114 (pr12 
-1 1) (pr36 -1 1) (pr6 -1 1)) (115 (pr12 -1 1) (pr36 -1 1) (
pr2 -1 1)) (116 (pr11 -1 1) (pr36 -1 1) (pr6 -1 1)) (117 (
pr11 -1 1) (pr36 -1 1) (pr2 -1 1)) (118 (pr10 -1 1) (pr36 -1
1) (pr6 -1 1)) (119 (pr10 -1 1) (pr36 -1 1) (pr2 -1 1)) (120
(pr7 -1 1) (pr36 -1 1) (pr13 -1 1)) (121 (pr7 -1 1) (pr36 -1
1) (pr6 -1 1)) (122 (pr7 -1 1) (pr36 -1 1) (pr2 -1 1)) (123
(pr4 -1 1) (pr36 -1 1) (pr17 -1 1)) (124 (pr4 -1 1) (pr36 -1
1) (pr9 -1 1)) (125 (pr3 -1 1) (pr36 -1 1) (pr15 -1 1)) (126
(pr3 -1 1) (pr36 -1 1) (pr13 -1 1)) (127 (pr3 -1 1) (pr36 -1
1) (pr6 -1 1)) (128 (pr3 -1 1) (pr36 -1 1) (pr2 -1 1)) (129
(pr33 1 0) (pr18 -1 1) (pr1 0 1)) (130 (pr1 1 0) (pr18 -1 1)
(pr33 0 1)) (131 (pr33 1 0) (pr12 -1 1) (pr1 0 1)) (132 (pr1
1 0) (pr12 -1 1) (pr33 0 1)) (133 (pr33 1 0) (pr11 -1 1) (
pr1 0 1)) (134 (pr1 1 0) (pr11 -1 1) (pr33 0 1)) (135 (pr33
1 0) (pr10 -1 1) (pr1 0 1)) (136 (pr1 1 0) (pr10 -1 1) (pr33
0 1)) (137 (pr33 1 0) (pr7 -1 1) (pr1 0 1)) (138 (pr1 1 0) (
pr7 -1 1) (pr33 0 1)) (139 (pr33 1 0) (pr4 -1 1) (pr1 0 1))
(140 (pr1 1 0) (pr4 -1 1) (pr33 0 1)) (141 (pr33 1 0) (pr3 
-1 1) (pr1 0 1)) (142 (pr1 1 0) (pr3 -1 1) (pr33 0 1)) (143
(pr32 1 0) (pr7 -1 1) (pr1 0 1)) (144 (pr1 1 0) (pr7 -1 1) (
pr32 0 1)) (145 (pr32 1 0) (pr4 -1 1) (pr1 0 1)) (146 (pr1 1
0) (pr4 -1 1) (pr32 0 1)) (147 (pr32 1 0) (pr3 -1 1) (pr1 0
1)) (148 (pr1 1 0) (pr3 -1 1) (pr32 0 1)) (149 (pr30 1 0) (
pr4 -1 1) (pr1 0 1)) (150 (pr1 1 0) (pr4 -1 1) (pr30 0 1)) (
151 (pr30 1 0) (pr3 -1 1) (pr1 0 1)) (152 (pr1 1 0) (pr3 -1
1) (pr30 0 1)) (153 (pr29 1 0) (pr3 -1 1) (pr1 0 1)) (154 (
pr1 1 0) (pr3 -1 1) (pr29 0 1)) (155 (pr34 1 0) (pr36 -1 1)
(pr1 0 1)) (156 (pr1 1 0) (pr36 -1 1) (pr34 0 1)) (157 (pr34
1 0) (pr17 -1 1) (pr1 0 1)) (158 (pr1 1 0) (pr17 -1 1) (pr34
0 1)) (159 (pr34 1 0) (pr15 -1 1) (pr1 0 1)) (160 (pr1 1 0)
(pr15 -1 1) (pr34 0 1)) (161 (pr34 1 0) (pr13 -1 1) (pr1 0 1
)) (162 (pr1 1 0) (pr13 -1 1) (pr34 0 1)) (163 (pr34 1 0) (
pr9 -1 1) (pr1 0 1)) (164 (pr1 1 0) (pr9 -1 1) (pr34 0 1)) (
165 (pr34 1 0) (pr6 -1 1) (pr1 0 1)) (166 (pr1 1 0) (pr6 -1
1) (pr34 0 1)) (167 (pr34 1 0) (pr2 -1 1) (pr1 0 1)) (168 (
pr1 1 0) (pr2 -1 1) (pr34 0 1)) (169 (pr14 -1 1) (pr36 -1 1)
(pr5 -1 1)) (170 (pr35 1 0) (pr19 -1 1) (pr1 0 1)) (171 (pr1
1 0) (pr19 -1 1) (pr35 0 1)) (172 (pr35 1 0) (pr8 -1 1) (pr1
0 1)) (173 (pr1 1 0) (pr8 -1 1) (pr35 0 1)) (174 (pr35 1 0)
(pr5 -1 1) (pr1 0 1)) (175 (pr1 1 0) (pr5 -1 1) (pr35 0 1))
(176 (pr26 -1 1) (pr1 1 1)) (177 (pr34 1 0) (pr20 -1 1) (pr1
0 1)) (178 (pr1 1 0) (pr20 -1 1) (pr34 0 1)) (179 (pr34 1 0)
(pr18 -1 1) (pr1 0 1)) (180 (pr1 1 0) (pr18 -1 1) (pr34 0 1)
) (181 (pr34 1 0) (pr12 -1 1) (pr1 0 1)) (182 (pr1 1 0) (
pr12 -1 1) (pr34 0 1)) (183 (pr34 1 0) (pr11 -1 1) (pr1 0 1)
) (184 (pr1 1 0) (pr11 -1 1) (pr34 0 1)) (185 (pr34 1 0) (
pr10 -1 1) (pr1 0 1)) (186 (pr1 1 0) (pr10 -1 1) (pr34 0 1))
(187 (pr34 1 0) (pr7 -1 1) (pr1 0 1)) (188 (pr1 1 0) (pr7 -1
1) (pr34 0 1)) (189 (pr34 1 0) (pr4 -1 1) (pr1 0 1)) (190 (
pr1 1 0) (pr4 -1 1) (pr34 0 1)) (191 (pr34 1 0) (pr3 -1 1) (
pr1 0 1)) (192 (pr1 1 0) (pr3 -1 1) (pr34 0 1)) (193 (pr16 
-1 1) (pr33 1 0) (pr1 0 1)) (194 (pr1 1 0) (pr33 0 1) (pr16
-1 1)) (195 (pr14 -1 1) (pr33 1 0) (pr1 0 1)) (196 (pr1 1 0)
(pr33 0 1) (pr14 -1 1)) (197 (pr35 1 0) (pr36 -1 1) (pr1 0 1
)) (198 (pr1 1 0) (pr36 -1 1) (pr35 0 1)) (199 (pr35 1 0) (
pr21 -1 1) (pr1 0 1)) (200 (pr1 1 0) (pr21 -1 1) (pr35 0 1))
(201 (pr35 1 0) (pr17 -1 1) (pr1 0 1)) (202 (pr1 1 0) (pr17
-1 1) (pr35 0 1)) (203 (pr35 1 0) (pr15 -1 1) (pr1 0 1)) (
204 (pr1 1 0) (pr15 -1 1) (pr35 0 1)) (205 (pr35 1 0) (pr13
-1 1) (pr1 0 1)) (206 (pr1 1 0) (pr13 -1 1) (pr35 0 1)) (207
(pr35 1 0) (pr9 -1 1) (pr1 0 1)) (208 (pr1 1 0) (pr9 -1 1) (
pr35 0 1)) (209 (pr35 1 0) (pr6 -1 1) (pr1 0 1)) (210 (pr1 1
0) (pr6 -1 1) (pr35 0 1)) (211 (pr35 1 0) (pr2 -1 1) (pr1 0
1)) (212 (pr1 1 0) (pr2 -1 1) (pr35 0 1)) (213 (pr16 -1 1) (
pr4 -1 1) (pr36 -1 1)) (214 (pr14 -1 1) (pr3 -1 1) (pr36 -1
1)) (215 (pr34 1 0) (pr16 -1 1) (pr1 0 1)) (216 (pr1 1 0) (
pr16 -1 1) (pr34 0 1)) (217 (pr34 1 0) (pr14 -1 1) (pr1 0 1)
) (218 (pr1 1 0) (pr14 -1 1) (pr34 0 1)) (219 (pr26 -1 1) (
pr36 -1 1) (pr2 -1 1)) (220 (pr35 1 0) (pr23 -1 1) (pr1 0 1)
) (221 (pr1 1 0) (pr23 -1 1) (pr35 0 1)) (222 (pr35 1 0) (
pr22 -1 1) (pr1 0 1)) (223 (pr1 1 0) (pr22 -1 1) (pr35 0 1))
(224 (pr35 1 0) (pr20 -1 1) (pr1 0 1)) (225 (pr1 1 0) (pr20
-1 1) (pr35 0 1)) (226 (pr35 1 0) (pr18 -1 1) (pr1 0 1)) (
227 (pr1 1 0) (pr18 -1 1) (pr35 0 1)) (228 (pr35 1 0) (pr12
-1 1) (pr1 0 1)) (229 (pr1 1 0) (pr12 -1 1) (pr35 0 1)) (230
(pr35 1 0) (pr11 -1 1) (pr1 0 1)) (231 (pr1 1 0) (pr11 -1 1)
(pr35 0 1)) (232 (pr35 1 0) (pr10 -1 1) (pr1 0 1)) (233 (pr1
1 0) (pr10 -1 1) (pr35 0 1)) (234 (pr35 1 0) (pr7 -1 1) (pr1
0 1)) (235 (pr1 1 0) (pr7 -1 1) (pr35 0 1)) (236 (pr35 1 0)
(pr4 -1 1) (pr1 0 1)) (237 (pr1 1 0) (pr4 -1 1) (pr35 0 1))
(238 (pr35 1 0) (pr3 -1 1) (pr1 0 1)) (239 (pr1 1 0) (pr3 -1
1) (pr35 0 1)))
 $
pa_rv_list:='((pr1 (g (1 20 21 22 23 24 25 26 27 28 29 30 31
32 33 34 35 36 37 45 46 47 48 49 50 51 52 53 54 55 56 57 58
59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78
79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98
99 100 101 102 103 104 105 106 107 108 109 129 130 131 132 
133 134 135 136 137 138 139 140 141 142 143 144 145 146 147
148 149 150 151 152 153 154 155 156 157 158 159 160 161 162
163 164 165 166 167 168 170 171 172 173 174 175 176 177 178
179 180 181 182 183 184 185 186 187 188 189 190 191 192 193
194 195 196 197 198 199 200 201 202 203 204 205 206 207 208
209 210 211 212 215 216 217 218 220 221 222 223 224 225 226
227 228 229 230 231 232 233 234 235 236 237 238 239))) (pr3
(g (1 65 66 67 125 126 127 128 141 142 147 148 151 152 153 
154 191 192 214 238 239))) (pr35 (g (1 170 171 172 173 174 
175 197 198 199 200 201 202 203 204 205 206 207 208 209 210
211 212 220 221 222 223 224 225 226 227 228 229 230 231 232
233 234 235 236 237 238 239))) (pr4 (g (1 62 63 64 123 124 
139 140 145 146 149 150 189 190 213 236 237))) (pr7 (g (1 61
120 121 122 137 138 143 144 187 188 234 235))) (pr10 (g (1 
60 118 119 135 136 185 186 232 233))) (pr11 (g (1 59 116 117
133 134 183 184 230 231))) (pr12 (g (1 58 114 115 131 132 
181 182 228 229))) (pr18 (g (1 57 129 130 179 180 226 227)))
(pr20 (g (1 56 113 177 178 224 225))) (pr22 (g (1 55 112 222
223))) (pr23 (g (1 54 111 220 221))) (pr26 (g (1 176 219)))
(pr36 (g (1 19 24 25 26 36 37 38 39 40 41 42 43 44 68 69 82
83 90 91 94 95 98 99 110 111 112 113 114 115 116 117 118 119
120 121 122 123 124 125 126 127 128 155 156 169 197 198 213
214 219))) (pr2 (g (1 15 33 34 35 42 43 44 45 46 80 81 88 89
92 93 96 97 100 101 110 111 112 113 115 117 119 122 128 167
168 211 212 219))) (pr14 (g (1 109 169 195 196 214 217 218))
) (pr34 (g (1 102 103 104 105 106 107 155 156 157 158 159 
160 161 162 163 164 165 166 167 168 177 178 179 180 181 182
183 184 185 186 187 188 189 190 191 192 215 216 217 218))) (
pr16 (g (1 108 193 194 213 215 216))) (pr6 (g (1 16 32 41 78
79 86 87 114 116 118 121 127 165 166 209 210))) (pr9 (g (1 
31 40 76 77 84 85 124 163 164 207 208))) (pr13 (g (1 17 30 
39 74 75 120 126 161 162 205 206))) (pr15 (g (1 18 29 38 72
73 125 159 160 203 204))) (pr17 (g (1 28 70 71 123 157 158 
201 202))) (pr21 (g (1 27 199 200))) (pr33 (g (1 47 48 49 50
51 52 68 69 70 71 72 73 74 75 76 77 78 79 80 81 129 130 131
132 133 134 135 136 137 138 139 140 141 142 193 194 195 196)
)) (pr5 (g (1 23 38 39 41 44 51 52 106 107 169 174 175))) (
pr8 (g (1 22 40 49 50 104 105 172 173))) (pr19 (g (1 21 43 
47 48 102 103 170 171))) (pr29 (g (1 94 95 96 97 153 154)))
(pr30 (g (1 90 91 92 93 149 150 151 152))) (pr32 (g (1 82 83
84 85 86 87 88 89 143 144 145 146 147 148))) (pr24 (g (1 53
110))) (pr27 (g (1 98 99 100 101))) (pr31 (g (1 24 25 33 34
62 63 65 66))) (pr28 (g (1 36 37 45 46))) (pr25 (g (1 20 42)
)) (z (g (2 6 1) (1 3))) (h0 (g (2 13 2 1) (1 14 12 4 3))) (
w (g (2 7 6 5 2) (1 11 10 9 4))) (pa3 (g (1 8))) (pa1 (g (2
5) (1 11 8))) (pa4 (g (1 10 9))) (pa5 (g (1 10 9))) (pa2 (g
(1 12))) (ef (g (1 15 16 17 18 19))) (p (g (2 6))))
 $
cvpd_list:='((15 0) (16 0) (17 0) (18 0) (19 0) (14 0) (13 0
) (11 1) (7 0) (6 0) (5 0) (4 0) (3 0) (2 0) (1 0) (20 0) (
21 0) (22 0) (23 0) (24 1) (25 1) (26 1) (27 1) (28 1) (29 1
) (30 1) (31 1) (32 1) (33 1) (34 1) (35 1) (36 0) (37 0) (
38 0) (39 0) (40 0) (41 0) (42 0) (43 0) (44 0) (45 0) (46 0
) (47 2) (48 2) (49 2) (50 2) (51 2) (52 2) (53 2) (54 2) (
55 2) (56 2) (57 2) (58 2) (59 2) (60 2) (61 2) (62 2) (63 2
) (64 2) (65 2) (66 2) (67 2) (68 1) (69 1) (70 1) (71 1) (
72 1) (73 1) (74 1) (75 1) (76 1) (77 1) (78 1) (79 1) (80 1
) (81 1) (82 1) (83 1) (84 1) (85 1) (86 1) (87 1) (88 1) (
89 1) (90 1) (91 1) (92 1) (93 1) (94 1) (95 1) (96 1) (97 1
) (98 1) (99 1) (100 1) (101 1) (102 3) (103 3) (104 3) (105
3) (106 3) (107 3) (108 3) (109 3) (110 0) (111 0) (112 0) (
113 0) (114 0) (115 0) (116 0) (117 0) (118 0) (119 0) (120
0) (121 0) (122 0) (123 0) (124 0) (125 0) (126 0) (127 0) (
128 0) (129 0) (130 0) (131 0) (132 0) (133 0) (134 0) (135
0) (136 0) (137 0) (138 0) (139 0) (140 0) (141 0) (142 0) (
143 0) (144 0) (145 0) (146 0) (147 0) (148 0) (149 0) (150
0) (151 0) (152 0) (153 0) (154 0) (155 2) (156 2) (157 2) (
158 2) (159 2) (160 2) (161 2) (162 2) (163 2) (164 2) (165
2) (166 2) (167 2) (168 2) (169 2) (170 4) (171 4) (172 4) (
173 4) (174 4) (175 4) (176 4) (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 3) (198 3) (199 3) (200 3) (201 3) (202 3) (
203 3) (204 3) (205 3) (206 3) (207 3) (208 3) (209 3) (210
3) (211 3) (212 3) (213 0) (214 0) (215 0) (216 0) (217 0) (
218 0) (219 2) (220 2) (221 2) (222 2) (223 2) (224 2) (225
2) (226 2) (227 2) (228 2) (229 2) (230 2) (231 2) (232 2) (
233 2) (234 2) (235 2) (236 2) (237 2) (238 2) (239 2))
 $
gbsymmetrylist:='(strange baryon len lmuon ltau)
 $
fit_para_list:='((239 f344 f343 f342) (238 f344 f343 f342) (
237 f341 f340 f339) (236 f341 f340 f339) (235 f338 f337 f336
) (234 f338 f337 f336) (233 f335 f334 f333) (232 f335 f334 
f333) (231 f332 f331 f330) (230 f332 f331 f330) (229 f329 
f328 f327) (228 f329 f328 f327) (227 f326 f325 f324) (226 
f326 f325 f324) (225 f323 f322 f321) (224 f323 f322 f321) (
223 f320 f319 f318) (222 f320 f319 f318) (221 f317 f316 f315
) (220 f317 f316 f315) (219 f314 f313 f312 f311 f310) (218 
f309 f308 f307 f306) (217 f309 f308 f307 f306) (216 f305 
f304 f303 f302) (215 f305 f304 f303 f302) (214 f301 f300 
f299 f298 f297 f296 f295 f294) (213 f293 f292 f291 f290 f289
f288 f287 f286) (212 f285 f284) (211 f285 f284) (210 f283 
f282) (209 f283 f282) (208 f281 f280) (207 f281 f280) (206 
f279 f278) (205 f279 f278) (204 f277 f276) (203 f277 f276) (
202 f275 f274) (201 f275 f274) (200 f273 f272) (199 f273 
f272) (198 f271 f270) (197 f271 f270) (196 f269 f268 f267) (
195 f269 f268 f267) (194 f266 f265 f264) (193 f266 f265 f264
) (192 f263 f262 f261) (191 f263 f262 f261) (190 f260 f259 
f258) (189 f260 f259 f258) (188 f257 f256 f255) (187 f257 
f256 f255) (186 f254 f253 f252) (185 f254 f253 f252) (184 
f251 f250 f249) (183 f251 f250 f249) (182 f248 f247 f246) (
181 f248 f247 f246) (180 f245 f244 f243) (179 f245 f244 f243
) (178 f242 f241 f240) (177 f242 f241 f240) (176 f239) (175
f238) (174 f238) (173 f237) (172 f237) (171 f236) (170 f236)
(169 f235 f234) (168 f233 f232) (167 f233 f232) (166 f231 
f230) (165 f231 f230) (164 f229 f228) (163 f229 f228) (162 
f227 f226) (161 f227 f226) (160 f225 f224) (159 f225 f224) (
158 f223 f222) (157 f223 f222) (156 f221 f220) (155 f221 
f220) (154 f219 f218 f217) (153 f219 f218 f217) (152 f216 
f215 f214) (151 f216 f215 f214) (150 f213 f212 f211) (149 
f213 f212 f211) (148 f210 f209) (147 f210 f209) (146 f208 
f207) (145 f208 f207) (144 f206 f205) (143 f206 f205) (142 
f204 f203 f202) (141 f204 f203 f202) (140 f201 f200 f199) (
139 f201 f200 f199) (138 f198 f197 f196) (137 f198 f197 f196
) (136 f195 f194 f193) (135 f195 f194 f193) (134 f192 f191 
f190) (133 f192 f191 f190) (132 f189 f188 f187) (131 f189 
f188 f187) (130 f186 f185 f184) (129 f186 f185 f184) (128 
f183 f182 f181 f180 f179) (127 f178 f177 f176 f175 f174) (
126 f173 f172 f171 f170 f169) (125 f168 f167 f166 f165 f164)
(124 f163 f162 f161 f160 f159) (123 f158 f157 f156 f155 f154
) (122 f153 f152 f151 f150 f149) (121 f148 f147 f146 f145 
f144) (120 f143 f142 f141 f140 f139) (119 f138 f137 f136 
f135 f134) (118 f133 f132 f131 f130 f129) (117 f128 f127 
f126 f125 f124) (116 f123 f122 f121 f120 f119) (115 f118 
f117 f116 f115 f114) (114 f113 f112 f111 f110 f109) (113 
f108 f107 f106 f105 f104) (112 f103 f102 f101 f100 f99) (111
f98 f97 f96 f95 f94) (110 f93 f92 f91 f90 f89) (109 f88) (
108 f87) (107 f86) (106 f86) (105 f85) (104 f85) (103 f84) (
102 f84) (101 f83 f82) (100 f83 f82) (99 f81 f80) (98 f81 
f80) (97 f79 f78) (96 f79 f78) (95 f77 f76) (94 f77 f76) (93
f75 f74) (92 f75 f74) (91 f73 f72) (90 f73 f72) (89 f71) (88
f71) (87 f70) (86 f70) (85 f69) (84 f69) (83 f68) (82 f68) (
81 f67 f66) (80 f67 f66) (79 f65 f64) (78 f65 f64) (77 f63 
f62) (76 f63 f62) (75 f61 f60) (74 f61 f60) (73 f59 f58) (72
f59 f58) (71 f57 f56) (70 f57 f56) (69 f55 f54) (68 f55 f54)
(67 f53) (66 f52) (65 f52) (64 f51) (63 f50) (62 f50) (61 
f49) (60 f48) (59 f47) (58 f46) (57 f45) (56 f44) (55 f43) (
54 f42) (53 f41) (52 f40) (51 f40) (50 f39) (49 f39) (48 f38
) (47 f38) (46 f37 f36) (45 f37 f36) (44 f35 f34) (43 f33 
f32) (42 f31 f30) (41 f29 f28) (40 f27 f26) (39 f25 f24) (38
f23 f22) (37 f21 f20) (36 f21 f20) (35 f19) (34 f18) (33 f18
) (32 f17) (31 f16) (30 f15) (29 f14) (28 f13) (27 f12) (26
f11) (25 f10) (24 f10) (23 f9) (22 f8) (21 f7) (20 f6) (19 
f5) (18 f4) (17 f3) (16 f2) (15 f1))
 $
palist:='(pr1 pr2 pr3 pr4 pr5 pr6 pr7 pr8 pr9 pr10 pr11 pr12
pr13 pr14 pr15 pr16 pr17 pr18 pr19 pr20 pr21 pr22 pr23 pr24
pr25 pr26 pr27 pr28 pr29 pr30 pr31 pr32 pr33 pr34 pr35 pr36
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 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 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 gs w z p h0 qb qs qd
qt qc qu tau mu ef nut numu nue) (any_f qb qs qd qt qc qu 
tau mu ef nut numu nue) (any_l nue numu nut ef mu tau) (
any_q qu qc qt qd qs qb) (any_b h0 gs w z p) (any_b1 gs w z
p) (any_b0 h0))
 $
effective_numbers:='nil
 $
bound_particle_list:='nil
 $
bound_state_vertex_list:='nil
 $
charge_op_sign_list:='((12 1) (12 1) (19 -1) (18 -1) (17 -1)
(16 -1) (15 -1))
 $
color_vertices:='nil
 $
fcolor_vertices:='nil
 $
bound_pv_list:='nil
 $
fermionprog:='(sf)
 $
bosonprog:='(s11 s1 s0)
 $
propagatorl:='(s2 s3 s4 s11 s1 s0 sf)
 $
splist:='((s11 gs) (s1 pr2 pr6 pr9 pr13 pr15 pr17 pr21 pr28
pr36 w z p) (s0 pr1 pr5 pr8 pr19 pr25 pr31 gsg h0) (sf qt qc
qu tau mu ef qb qs qd nut numu nue) (s4 pr26 pr35) (s3 pr14
pr16 pr34) (s2 pr3 pr4 pr7 pr10 pr11 pr12 pr18 pr20 pr22 
pr23 pr24 pr27 pr29 pr30 pr32 pr33))
 $
hvvvl:='((239 ((vvv x 239 r2 r1 vc vb va v vf vd) (b0 pr1 x
-1 r3) (b2 pr3 x 0 r2 vd vf) (b4 pr35 x 1 r1 v va vb vc))) (
238 ((vvv x 238 r2 r1 vc vb va v vf vd) (b4 pr35 x -1 r1 v 
va vb vc) (b2 pr3 x 0 r2 vd vf) (b0 pr1 x 1 r3))) (237 ((vvv
x 237 r2 r1 vc vb va v vf vd) (b0 pr1 x -1 r3) (b2 pr4 x 0 
r2 vd vf) (b4 pr35 x 1 r1 v va vb vc))) (236 ((vvv x 236 r2
r1 vc vb va v vf vd) (b4 pr35 x -1 r1 v va vb vc) (b2 pr4 x
0 r2 vd vf) (b0 pr1 x 1 r3))) (235 ((vvv x 235 r2 r1 vc vb 
va v vf vd) (b0 pr1 x -1 r3) (b2 pr7 x 0 r2 vd vf) (b4 pr35
x 1 r1 v va vb vc))) (234 ((vvv x 234 r2 r1 vc vb va v vf vd
) (b4 pr35 x -1 r1 v va vb vc) (b2 pr7 x 0 r2 vd vf) (b0 pr1
x 1 r3))) (233 ((vvv x 233 r2 r1 vc vb va v vf vd) (b0 pr1 x
-1 r3) (b2 pr10 x 0 r2 vd vf) (b4 pr35 x 1 r1 v va vb vc)))
(232 ((vvv x 232 r2 r1 vc vb va v vf vd) (b4 pr35 x -1 r1 v
va vb vc) (b2 pr10 x 0 r2 vd vf) (b0 pr1 x 1 r3))) (231 ((
vvv x 231 r2 r1 vc vb va v vf vd) (b0 pr1 x -1 r3) (b2 pr11
x 0 r2 vd vf) (b4 pr35 x 1 r1 v va vb vc))) (230 ((vvv x 230
r2 r1 vc vb va v vf vd) (b4 pr35 x -1 r1 v va vb vc) (b2 
pr11 x 0 r2 vd vf) (b0 pr1 x 1 r3))) (229 ((vvv x 229 r2 r1
vc vb va v vf vd) (b0 pr1 x -1 r3) (b2 pr12 x 0 r2 vd vf) (
b4 pr35 x 1 r1 v va vb vc))) (228 ((vvv x 228 r2 r1 vc vb va
v vf vd) (b4 pr35 x -1 r1 v va vb vc) (b2 pr12 x 0 r2 vd vf)
(b0 pr1 x 1 r3))) (227 ((vvv x 227 r2 r1 vc vb va v vf vd) (
b0 pr1 x -1 r3) (b2 pr18 x 0 r2 vd vf) (b4 pr35 x 1 r1 v va
vb vc))) (226 ((vvv x 226 r2 r1 vc vb va v vf vd) (b4 pr35 x
-1 r1 v va vb vc) (b2 pr18 x 0 r2 vd vf) (b0 pr1 x 1 r3))) (
225 ((vvv x 225 r2 r1 vc vb va v vf vd) (b0 pr1 x -1 r3) (b2
pr20 x 0 r2 vd vf) (b4 pr35 x 1 r1 v va vb vc))) (224 ((vvv
x 224 r2 r1 vc vb va v vf vd) (b4 pr35 x -1 r1 v va vb vc) (
b2 pr20 x 0 r2 vd vf) (b0 pr1 x 1 r3))) (223 ((vvv x 223 r2
r1 vc vb va v vf vd) (b0 pr1 x -1 r3) (b2 pr22 x 0 r2 vd vf)
(b4 pr35 x 1 r1 v va vb vc))) (222 ((vvv x 222 r2 r1 vc vb 
va v vf vd) (b4 pr35 x -1 r1 v va vb vc) (b2 pr22 x 0 r2 vd
vf) (b0 pr1 x 1 r3))) (221 ((vvv x 221 r2 r1 vc vb va v vf 
vd) (b0 pr1 x -1 r3) (b2 pr23 x 0 r2 vd vf) (b4 pr35 x 1 r1
v va vb vc))) (220 ((vvv x 220 r2 r1 vc vb va v vf vd) (b4 
pr35 x -1 r1 v va vb vc) (b2 pr23 x 0 r2 vd vf) (b0 pr1 x 1
r3))) (219 ((vvv x 219 r2 r1 vc vb va v vf vd) (b4 pr26 x 0
r1 v va vb vc) (b1 pr36 x 0 r2 vd) (b1 pr2 x 0 r3 vf))) (218
((vvv x 218 r2 r1 vb va v vf vd vc) (b0 pr1 x -1 r3) (b3 
pr14 x 0 r2 vc vd vf) (b3 pr34 x 1 r1 v va vb))) (217 ((vvv
x 217 r2 r1 vb va v vf vd vc) (b3 pr34 x -1 r1 v va vb) (b3
pr14 x 0 r2 vc vd vf) (b0 pr1 x 1 r3))) (216 ((vvv x 216 r2
r1 vb va v vf vd vc) (b0 pr1 x -1 r3) (b3 pr16 x 0 r2 vc vd
vf) (b3 pr34 x 1 r1 v va vb))) (215 ((vvv x 215 r2 r1 vb va
v vf vd vc) (b3 pr34 x -1 r1 v va vb) (b3 pr16 x 0 r2 vc vd
vf) (b0 pr1 x 1 r3))) (214 ((vvv x 214 r2 r1 vb va v vf vd 
vc) (b3 pr14 x 0 r1 v va vb) (b2 pr3 x 0 r2 vc vd) (b1 pr36
x 0 r3 vf))) (213 ((vvv x 213 r2 r1 vb va v vf vd vc) (b3 
pr16 x 0 r1 v va vb) (b2 pr4 x 0 r2 vc vd) (b1 pr36 x 0 r3 
vf))) (212 ((vvv x 212 r2 r1 vc vb va v vd) (b0 pr1 x -1 r3)
(b1 pr2 x 0 r2 vd) (b4 pr35 x 1 r1 v va vb vc))) (211 ((vvv
x 211 r2 r1 vc vb va v vd) (b4 pr35 x -1 r1 v va vb vc) (b1
pr2 x 0 r2 vd) (b0 pr1 x 1 r3))) (210 ((vvv x 210 r2 r1 vc 
vb va v vd) (b0 pr1 x -1 r3) (b1 pr6 x 0 r2 vd) (b4 pr35 x 1
r1 v va vb vc))) (209 ((vvv x 209 r2 r1 vc vb va v vd) (b4 
pr35 x -1 r1 v va vb vc) (b1 pr6 x 0 r2 vd) (b0 pr1 x 1 r3))
) (208 ((vvv x 208 r2 r1 vc vb va v vd) (b0 pr1 x -1 r3) (b1
pr9 x 0 r2 vd) (b4 pr35 x 1 r1 v va vb vc))) (207 ((vvv x 
207 r2 r1 vc vb va v vd) (b4 pr35 x -1 r1 v va vb vc) (b1 
pr9 x 0 r2 vd) (b0 pr1 x 1 r3))) (206 ((vvv x 206 r2 r1 vc 
vb va v vd) (b0 pr1 x -1 r3) (b1 pr13 x 0 r2 vd) (b4 pr35 x
1 r1 v va vb vc))) (205 ((vvv x 205 r2 r1 vc vb va v vd) (b4
pr35 x -1 r1 v va vb vc) (b1 pr13 x 0 r2 vd) (b0 pr1 x 1 r3)
)) (204 ((vvv x 204 r2 r1 vc vb va v vd) (b0 pr1 x -1 r3) (
b1 pr15 x 0 r2 vd) (b4 pr35 x 1 r1 v va vb vc))) (203 ((vvv
x 203 r2 r1 vc vb va v vd) (b4 pr35 x -1 r1 v va vb vc) (b1
pr15 x 0 r2 vd) (b0 pr1 x 1 r3))) (202 ((vvv x 202 r2 r1 vc
vb va v vd) (b0 pr1 x -1 r3) (b1 pr17 x 0 r2 vd) (b4 pr35 x
1 r1 v va vb vc))) (201 ((vvv x 201 r2 r1 vc vb va v vd) (b4
pr35 x -1 r1 v va vb vc) (b1 pr17 x 0 r2 vd) (b0 pr1 x 1 r3)
)) (200 ((vvv x 200 r2 r1 vc vb va v vd) (b0 pr1 x -1 r3) (
b1 pr21 x 0 r2 vd) (b4 pr35 x 1 r1 v va vb vc))) (199 ((vvv
x 199 r2 r1 vc vb va v vd) (b4 pr35 x -1 r1 v va vb vc) (b1
pr21 x 0 r2 vd) (b0 pr1 x 1 r3))) (198 ((vvv x 198 r2 r1 vc
vb va v vd) (b0 pr1 x -1 r3) (b1 pr36 x 0 r2 vd) (b4 pr35 x
1 r1 v va vb vc))) (197 ((vvv x 197 r2 r1 vc vb va v vd) (b4
pr35 x -1 r1 v va vb vc) (b1 pr36 x 0 r2 vd) (b0 pr1 x 1 r3)
)) (196 ((vvv x 196 r2 r1 vb va v vd vc) (b0 pr1 x -1 r3) (
b2 pr33 x 1 r2 vc vd) (b3 pr14 x 0 r1 v va vb))) (195 ((vvv
x 195 r2 r1 vb va v vd vc) (b3 pr14 x 0 r1 v va vb) (b2 pr33
x -1 r2 vc vd) (b0 pr1 x 1 r3))) (194 ((vvv x 194 r2 r1 vb 
va v vd vc) (b0 pr1 x -1 r3) (b2 pr33 x 1 r2 vc vd) (b3 pr16
x 0 r1 v va vb))) (193 ((vvv x 193 r2 r1 vb va v vd vc) (b3
pr16 x 0 r1 v va vb) (b2 pr33 x -1 r2 vc vd) (b0 pr1 x 1 r3)
)) (192 ((vvv x 192 r2 r1 vb va v vd vc) (b0 pr1 x -1 r3) (
b2 pr3 x 0 r2 vc vd) (b3 pr34 x 1 r1 v va vb))) (191 ((vvv x
191 r2 r1 vb va v vd vc) (b3 pr34 x -1 r1 v va vb) (b2 pr3 x
0 r2 vc vd) (b0 pr1 x 1 r3))) (190 ((vvv x 190 r2 r1 vb va v
vd vc) (b0 pr1 x -1 r3) (b2 pr4 x 0 r2 vc vd) (b3 pr34 x 1 
r1 v va vb))) (189 ((vvv x 189 r2 r1 vb va v vd vc) (b3 pr34
x -1 r1 v va vb) (b2 pr4 x 0 r2 vc vd) (b0 pr1 x 1 r3))) (
188 ((vvv x 188 r2 r1 vb va v vd vc) (b0 pr1 x -1 r3) (b2 
pr7 x 0 r2 vc vd) (b3 pr34 x 1 r1 v va vb))) (187 ((vvv x 
187 r2 r1 vb va v vd vc) (b3 pr34 x -1 r1 v va vb) (b2 pr7 x
0 r2 vc vd) (b0 pr1 x 1 r3))) (186 ((vvv x 186 r2 r1 vb va v
vd vc) (b0 pr1 x -1 r3) (b2 pr10 x 0 r2 vc vd) (b3 pr34 x 1
r1 v va vb))) (185 ((vvv x 185 r2 r1 vb va v vd vc) (b3 pr34
x -1 r1 v va vb) (b2 pr10 x 0 r2 vc vd) (b0 pr1 x 1 r3))) (
184 ((vvv x 184 r2 r1 vb va v vd vc) (b0 pr1 x -1 r3) (b2 
pr11 x 0 r2 vc vd) (b3 pr34 x 1 r1 v va vb))) (183 ((vvv x 
183 r2 r1 vb va v vd vc) (b3 pr34 x -1 r1 v va vb) (b2 pr11
x 0 r2 vc vd) (b0 pr1 x 1 r3))) (182 ((vvv x 182 r2 r1 vb va
v vd vc) (b0 pr1 x -1 r3) (b2 pr12 x 0 r2 vc vd) (b3 pr34 x
1 r1 v va vb))) (181 ((vvv x 181 r2 r1 vb va v vd vc) (b3 
pr34 x -1 r1 v va vb) (b2 pr12 x 0 r2 vc vd) (b0 pr1 x 1 r3)
)) (180 ((vvv x 180 r2 r1 vb va v vd vc) (b0 pr1 x -1 r3) (
b2 pr18 x 0 r2 vc vd) (b3 pr34 x 1 r1 v va vb))) (179 ((vvv
x 179 r2 r1 vb va v vd vc) (b3 pr34 x -1 r1 v va vb) (b2 
pr18 x 0 r2 vc vd) (b0 pr1 x 1 r3))) (178 ((vvv x 178 r2 r1
vb va v vd vc) (b0 pr1 x -1 r3) (b2 pr20 x 0 r2 vc vd) (b3 
pr34 x 1 r1 v va vb))) (177 ((vvv x 177 r2 r1 vb va v vd vc)
(b3 pr34 x -1 r1 v va vb) (b2 pr20 x 0 r2 vc vd) (b0 pr1 x 1
r3))) (176 ((vvv x 176 r2 vc vb va v) (b4 pr26 x 0 r1 v va 
vb vc) (b0 pr1 x -1 r2) (b0 pr1 x 1 r3))) (175 ((vvv x 175 
r2 vc vb va v) (b0 pr1 x -1 r3) (b0 pr5 x 0 r2) (b4 pr35 x 1
r1 v va vb vc))) (174 ((vvv x 174 r2 vc vb va v) (b4 pr35 x
-1 r1 v va vb vc) (b0 pr5 x 0 r2) (b0 pr1 x 1 r3))) (173 ((
vvv x 173 r2 vc vb va v) (b0 pr1 x -1 r3) (b0 pr8 x 0 r2) (
b4 pr35 x 1 r1 v va vb vc))) (172 ((vvv x 172 r2 vc vb va v)
(b4 pr35 x -1 r1 v va vb vc) (b0 pr8 x 0 r2) (b0 pr1 x 1 r3)
)) (171 ((vvv x 171 r2 vc vb va v) (b0 pr1 x -1 r3) (b0 pr19
x 0 r2) (b4 pr35 x 1 r1 v va vb vc))) (170 ((vvv x 170 r2 vc
vb va v) (b4 pr35 x -1 r1 v va vb vc) (b0 pr19 x 0 r2) (b0 
pr1 x 1 r3))) (169 ((vvv x 169 r2 r1 vb va v vc) (b3 pr14 x
0 r1 v va vb) (b1 pr36 x 0 r2 vc) (b0 pr5 x 0 r3))) (168 ((
vvv x 168 r2 r1 vb va v vc) (b0 pr1 x -1 r3) (b1 pr2 x 0 r2
vc) (b3 pr34 x 1 r1 v va vb))) (167 ((vvv x 167 r2 r1 vb va
v vc) (b3 pr34 x -1 r1 v va vb) (b1 pr2 x 0 r2 vc) (b0 pr1 x
1 r3))) (166 ((vvv x 166 r2 r1 vb va v vc) (b0 pr1 x -1 r3)
(b1 pr6 x 0 r2 vc) (b3 pr34 x 1 r1 v va vb))) (165 ((vvv x 
165 r2 r1 vb va v vc) (b3 pr34 x -1 r1 v va vb) (b1 pr6 x 0
r2 vc) (b0 pr1 x 1 r3))) (164 ((vvv x 164 r2 r1 vb va v vc)
(b0 pr1 x -1 r3) (b1 pr9 x 0 r2 vc) (b3 pr34 x 1 r1 v va vb)
)) (163 ((vvv x 163 r2 r1 vb va v vc) (b3 pr34 x -1 r1 v va
vb) (b1 pr9 x 0 r2 vc) (b0 pr1 x 1 r3))) (162 ((vvv x 162 r2
r1 vb va v vc) (b0 pr1 x -1 r3) (b1 pr13 x 0 r2 vc) (b3 pr34
x 1 r1 v va vb))) (161 ((vvv x 161 r2 r1 vb va v vc) (b3 
pr34 x -1 r1 v va vb) (b1 pr13 x 0 r2 vc) (b0 pr1 x 1 r3)))
(160 ((vvv x 160 r2 r1 vb va v vc) (b0 pr1 x -1 r3) (b1 pr15
x 0 r2 vc) (b3 pr34 x 1 r1 v va vb))) (159 ((vvv x 159 r2 r1
vb va v vc) (b3 pr34 x -1 r1 v va vb) (b1 pr15 x 0 r2 vc) (
b0 pr1 x 1 r3))) (158 ((vvv x 158 r2 r1 vb va v vc) (b0 pr1
x -1 r3) (b1 pr17 x 0 r2 vc) (b3 pr34 x 1 r1 v va vb))) (157
((vvv x 157 r2 r1 vb va v vc) (b3 pr34 x -1 r1 v va vb) (b1
pr17 x 0 r2 vc) (b0 pr1 x 1 r3))) (156 ((vvv x 156 r2 r1 vb
va v vc) (b0 pr1 x -1 r3) (b1 pr36 x 0 r2 vc) (b3 pr34 x 1 
r1 v va vb))) (155 ((vvv x 155 r2 r1 vb va v vc) (b3 pr34 x
-1 r1 v va vb) (b1 pr36 x 0 r2 vc) (b0 pr1 x 1 r3))) (154 ((
vvv x 154 r2 r1 va v vc vb) (b0 pr1 x -1 r3) (b2 pr3 x 0 r2
vb vc) (b2 pr29 x 1 r1 v va))) (153 ((vvv x 153 r2 r1 va v 
vc vb) (b2 pr29 x -1 r1 v va) (b2 pr3 x 0 r2 vb vc) (b0 pr1
x 1 r3))) (152 ((vvv x 152 r2 r1 va v vc vb) (b0 pr1 x -1 r3
) (b2 pr3 x 0 r2 vb vc) (b2 pr30 x 1 r1 v va))) (151 ((vvv x
151 r2 r1 va v vc vb) (b2 pr30 x -1 r1 v va) (b2 pr3 x 0 r2
vb vc) (b0 pr1 x 1 r3))) (150 ((vvv x 150 r2 r1 va v vc vb)
(b0 pr1 x -1 r3) (b2 pr4 x 0 r2 vb vc) (b2 pr30 x 1 r1 v va)
)) (149 ((vvv x 149 r2 r1 va v vc vb) (b2 pr30 x -1 r1 v va)
(b2 pr4 x 0 r2 vb vc) (b0 pr1 x 1 r3))) (148 ((vvv x 148 r2
r1 vb v va vc) (b0 pr1 x -1 r3) (b2 pr3 x 0 r2 vb vc) (b2 
pr32 x 1 r1 v va))) (147 ((vvv x 147 r2 r1 vb v va vc) (b2 
pr32 x -1 r1 v va) (b2 pr3 x 0 r2 vb vc) (b0 pr1 x 1 r3))) (
146 ((vvv x 146 r2 r1 vb v va vc) (b0 pr1 x -1 r3) (b2 pr4 x
0 r2 vb vc) (b2 pr32 x 1 r1 v va))) (145 ((vvv x 145 r2 r1 
vb v va vc) (b2 pr32 x -1 r1 v va) (b2 pr4 x 0 r2 vb vc) (b0
pr1 x 1 r3))) (144 ((vvv x 144 r2 r1 vb v va vc) (b0 pr1 x 
-1 r3) (b2 pr7 x 0 r2 vb vc) (b2 pr32 x 1 r1 v va))) (143 ((
vvv x 143 r2 r1 vb v va vc) (b2 pr32 x -1 r1 v va) (b2 pr7 x
0 r2 vb vc) (b0 pr1 x 1 r3))) (142 ((vvv x 142 r2 r1 va v vc
vb) (b0 pr1 x -1 r3) (b2 pr3 x 0 r2 vb vc) (b2 pr33 x 1 r1 v
va))) (141 ((vvv x 141 r2 r1 va v vc vb) (b2 pr33 x -1 r1 v
va) (b2 pr3 x 0 r2 vb vc) (b0 pr1 x 1 r3))) (140 ((vvv x 140
r2 r1 va v vc vb) (b0 pr1 x -1 r3) (b2 pr4 x 0 r2 vb vc) (b2
pr33 x 1 r1 v va))) (139 ((vvv x 139 r2 r1 va v vc vb) (b2 
pr33 x -1 r1 v va) (b2 pr4 x 0 r2 vb vc) (b0 pr1 x 1 r3))) (
138 ((vvv x 138 r2 r1 va v vc vb) (b0 pr1 x -1 r3) (b2 pr7 x
0 r2 vb vc) (b2 pr33 x 1 r1 v va))) (137 ((vvv x 137 r2 r1 
va v vc vb) (b2 pr33 x -1 r1 v va) (b2 pr7 x 0 r2 vb vc) (b0
pr1 x 1 r3))) (136 ((vvv x 136 r2 r1 va v vc vb) (b0 pr1 x 
-1 r3) (b2 pr10 x 0 r2 vb vc) (b2 pr33 x 1 r1 v va))) (135 (
(vvv x 135 r2 r1 va v vc vb) (b2 pr33 x -1 r1 v va) (b2 pr10
x 0 r2 vb vc) (b0 pr1 x 1 r3))) (134 ((vvv x 134 r2 r1 va v
vc vb) (b0 pr1 x -1 r3) (b2 pr11 x 0 r2 vb vc) (b2 pr33 x 1
r1 v va))) (133 ((vvv x 133 r2 r1 va v vc vb) (b2 pr33 x -1
r1 v va) (b2 pr11 x 0 r2 vb vc) (b0 pr1 x 1 r3))) (132 ((vvv
x 132 r2 r1 va v vc vb) (b0 pr1 x -1 r3) (b2 pr12 x 0 r2 vb
vc) (b2 pr33 x 1 r1 v va))) (131 ((vvv x 131 r2 r1 va v vc 
vb) (b2 pr33 x -1 r1 v va) (b2 pr12 x 0 r2 vb vc) (b0 pr1 x
1 r3))) (130 ((vvv x 130 r2 r1 va v vc vb) (b0 pr1 x -1 r3)
(b2 pr18 x 0 r2 vb vc) (b2 pr33 x 1 r1 v va))) (129 ((vvv x
129 r2 r1 va v vc vb) (b2 pr33 x -1 r1 v va) (b2 pr18 x 0 r2
vb vc) (b0 pr1 x 1 r3))) (128 ((vvv x 128 r2 r1 va v vc vb)
(b2 pr3 x 0 r1 v va) (b1 pr36 x 0 r2 vb) (b1 pr2 x 0 r3 vc))
) (127 ((vvv x 127 r2 r1 va v vc vb) (b2 pr3 x 0 r1 v va) (
b1 pr36 x 0 r2 vb) (b1 pr6 x 0 r3 vc))) (126 ((vvv x 126 r2
r1 va v vc vb) (b2 pr3 x 0 r1 v va) (b1 pr36 x 0 r2 vb) (b1
pr13 x 0 r3 vc))) (125 ((vvv x 125 r2 r1 va v vc vb) (b2 pr3
x 0 r1 v va) (b1 pr36 x 0 r2 vb) (b1 pr15 x 0 r3 vc))) (124
((vvv x 124 r2 r1 va v vc vb) (b2 pr4 x 0 r1 v va) (b1 pr36
x 0 r2 vb) (b1 pr9 x 0 r3 vc))) (123 ((vvv x 123 r2 r1 va v
vc vb) (b2 pr4 x 0 r1 v va) (b1 pr36 x 0 r2 vb) (b1 pr17 x 0
r3 vc))) (122 ((vvv x 122 r2 r1 va v vc vb) (b2 pr7 x 0 r1 v
va) (b1 pr36 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (121 ((vvv x 
121 r2 r1 va v vc vb) (b2 pr7 x 0 r1 v va) (b1 pr36 x 0 r2 
vb) (b1 pr6 x 0 r3 vc))) (120 ((vvv x 120 r2 r1 va v vc vb)
(b2 pr7 x 0 r1 v va) (b1 pr36 x 0 r2 vb) (b1 pr13 x 0 r3 vc)
)) (119 ((vvv x 119 r2 r1 va v vc vb) (b2 pr10 x 0 r1 v va)
(b1 pr36 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (118 ((vvv x 118 r2
r1 va v vc vb) (b2 pr10 x 0 r1 v va) (b1 pr36 x 0 r2 vb) (b1
pr6 x 0 r3 vc))) (117 ((vvv x 117 r2 r1 va v vc vb) (b2 pr11
x 0 r1 v va) (b1 pr36 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (116 (
(vvv x 116 r2 r1 va v vc vb) (b2 pr11 x 0 r1 v va) (b1 pr36
x 0 r2 vb) (b1 pr6 x 0 r3 vc))) (115 ((vvv x 115 r2 r1 va v
vc vb) (b2 pr12 x 0 r1 v va) (b1 pr36 x 0 r2 vb) (b1 pr2 x 0
r3 vc))) (114 ((vvv x 114 r2 r1 va v vc vb) (b2 pr12 x 0 r1
v va) (b1 pr36 x 0 r2 vb) (b1 pr6 x 0 r3 vc))) (113 ((vvv x
113 r2 r1 va v vc vb) (b2 pr20 x 0 r1 v va) (b1 pr36 x 0 r2
vb) (b1 pr2 x 0 r3 vc))) (112 ((vvv x 112 r2 r1 va v vc vb)
(b2 pr22 x 0 r1 v va) (b1 pr36 x 0 r2 vb) (b1 pr2 x 0 r3 vc)
)) (111 ((vvv x 111 r2 r1 va v vc vb) (b2 pr23 x 0 r1 v va)
(b1 pr36 x 0 r2 vb) (b1 pr2 x 0 r3 vc))) (110 ((vvv x 110 r2
r1 va v vc vb) (b2 pr24 x 0 r1 v va) (b1 pr36 x 0 r2 vb) (b1
pr2 x 0 r3 vc))) (109 ((vvv x 109 r2 vb va v) (b3 pr14 x 0 
r1 v va vb) (b0 pr1 x -1 r2) (b0 pr1 x 1 r3))) (108 ((vvv x
108 r2 vb va v) (b3 pr16 x 0 r1 v va vb) (b0 pr1 x -1 r2) (
b0 pr1 x 1 r3))) (107 ((vvv x 107 r2 vb va v) (b0 pr1 x -1 
r3) (b0 pr5 x 0 r2) (b3 pr34 x 1 r1 v va vb))) (106 ((vvv x
106 r2 vb va v) (b3 pr34 x -1 r1 v va vb) (b0 pr5 x 0 r2) (
b0 pr1 x 1 r3))) (105 ((vvv x 105 r2 vb va v) (b0 pr1 x -1 
r3) (b0 pr8 x 0 r2) (b3 pr34 x 1 r1 v va vb))) (104 ((vvv x
104 r2 vb va v) (b3 pr34 x -1 r1 v va vb) (b0 pr8 x 0 r2) (
b0 pr1 x 1 r3))) (103 ((vvv x 103 r2 vb va v) (b0 pr1 x -1 
r3) (b0 pr19 x 0 r2) (b3 pr34 x 1 r1 v va vb))) (102 ((vvv x
102 r2 vb va v) (b3 pr34 x -1 r1 v va vb) (b0 pr19 x 0 r2) (
b0 pr1 x 1 r3))) (101 ((vvv x 101 r2 r1 va v vb) (b0 pr1 x 
-1 r3) (b1 pr2 x 0 r2 vb) (b2 pr27 x 1 r1 v va))) (100 ((vvv
x 100 r2 r1 va v vb) (b2 pr27 x -1 r1 v va) (b1 pr2 x 0 r2 
vb) (b0 pr1 x 1 r3))) (99 ((vvv x 99 r2 r1 va v vb) (b0 pr1
x -1 r3) (b1 pr36 x 0 r2 vb) (b2 pr27 x 1 r1 v va))) (98 ((
vvv x 98 r2 r1 va v vb) (b2 pr27 x -1 r1 v va) (b1 pr36 x 0
r2 vb) (b0 pr1 x 1 r3))) (97 ((vvv x 97 r2 r1 va v vb) (b0 
pr1 x -1 r3) (b1 pr2 x 0 r2 vb) (b2 pr29 x 1 r1 v va))) (96
((vvv x 96 r2 r1 va v vb) (b2 pr29 x -1 r1 v va) (b1 pr2 x 0
r2 vb) (b0 pr1 x 1 r3))) (95 ((vvv x 95 r2 r1 va v vb) (b0 
pr1 x -1 r3) (b1 pr36 x 0 r2 vb) (b2 pr29 x 1 r1 v va))) (94
((vvv x 94 r2 r1 va v vb) (b2 pr29 x -1 r1 v va) (b1 pr36 x
0 r2 vb) (b0 pr1 x 1 r3))) (93 ((vvv x 93 r2 r1 va v vb) (b0
pr1 x -1 r3) (b1 pr2 x 0 r2 vb) (b2 pr30 x 1 r1 v va))) (92
((vvv x 92 r2 r1 va v vb) (b2 pr30 x -1 r1 v va) (b1 pr2 x 0
r2 vb) (b0 pr1 x 1 r3))) (91 ((vvv x 91 r2 r1 va v vb) (b0 
pr1 x -1 r3) (b1 pr36 x 0 r2 vb) (b2 pr30 x 1 r1 v va))) (90
((vvv x 90 r2 r1 va v vb) (b2 pr30 x -1 r1 v va) (b1 pr36 x
0 r2 vb) (b0 pr1 x 1 r3))) (89 ((vvv x 89 r1 r2 vb v va) (b0
pr1 x -1 r3) (b1 pr2 x 0 r2 vb) (b2 pr32 x 1 r1 v va))) (88
((vvv x 88 r1 r2 vb v va) (b2 pr32 x -1 r1 v va) (b1 pr2 x 0
r2 vb) (b0 pr1 x 1 r3))) (87 ((vvv x 87 r1 r2 vb v va) (b0 
pr1 x -1 r3) (b1 pr6 x 0 r2 vb) (b2 pr32 x 1 r1 v va))) (86
((vvv x 86 r1 r2 vb v va) (b2 pr32 x -1 r1 v va) (b1 pr6 x 0
r2 vb) (b0 pr1 x 1 r3))) (85 ((vvv x 85 r1 r2 vb v va) (b0 
pr1 x -1 r3) (b1 pr9 x 0 r2 vb) (b2 pr32 x 1 r1 v va))) (84
((vvv x 84 r1 r2 vb v va) (b2 pr32 x -1 r1 v va) (b1 pr9 x 0
r2 vb) (b0 pr1 x 1 r3))) (83 ((vvv x 83 r1 r2 vb v va) (b0 
pr1 x -1 r3) (b1 pr36 x 0 r2 vb) (b2 pr32 x 1 r1 v va))) (82
((vvv x 82 r1 r2 vb v va) (b2 pr32 x -1 r1 v va) (b1 pr36 x
0 r2 vb) (b0 pr1 x 1 r3))) (81 ((vvv x 81 r2 r1 va v vb) (b0
pr1 x -1 r3) (b1 pr2 x 0 r2 vb) (b2 pr33 x 1 r1 v va))) (80
((vvv x 80 r2 r1 va v vb) (b2 pr33 x -1 r1 v va) (b1 pr2 x 0
r2 vb) (b0 pr1 x 1 r3))) (79 ((vvv x 79 r2 r1 va v vb) (b0 
pr1 x -1 r3) (b1 pr6 x 0 r2 vb) (b2 pr33 x 1 r1 v va))) (78
((vvv x 78 r2 r1 va v vb) (b2 pr33 x -1 r1 v va) (b1 pr6 x 0
r2 vb) (b0 pr1 x 1 r3))) (77 ((vvv x 77 r2 r1 va v vb) (b0 
pr1 x -1 r3) (b1 pr9 x 0 r2 vb) (b2 pr33 x 1 r1 v va))) (76
((vvv x 76 r2 r1 va v vb) (b2 pr33 x -1 r1 v va) (b1 pr9 x 0
r2 vb) (b0 pr1 x 1 r3))) (75 ((vvv x 75 r2 r1 va v vb) (b0 
pr1 x -1 r3) (b1 pr13 x 0 r2 vb) (b2 pr33 x 1 r1 v va))) (74
((vvv x 74 r2 r1 va v vb) (b2 pr33 x -1 r1 v va) (b1 pr13 x
0 r2 vb) (b0 pr1 x 1 r3))) (73 ((vvv x 73 r2 r1 va v vb) (b0
pr1 x -1 r3) (b1 pr15 x 0 r2 vb) (b2 pr33 x 1 r1 v va))) (72
((vvv x 72 r2 r1 va v vb) (b2 pr33 x -1 r1 v va) (b1 pr15 x
0 r2 vb) (b0 pr1 x 1 r3))) (71 ((vvv x 71 r2 r1 va v vb) (b0
pr1 x -1 r3) (b1 pr17 x 0 r2 vb) (b2 pr33 x 1 r1 v va))) (70
((vvv x 70 r2 r1 va v vb) (b2 pr33 x -1 r1 v va) (b1 pr17 x
0 r2 vb) (b0 pr1 x 1 r3))) (69 ((vvv x 69 r2 r1 va v vb) (b0
pr1 x -1 r3) (b1 pr36 x 0 r2 vb) (b2 pr33 x 1 r1 v va))) (68
((vvv x 68 r2 r1 va v vb) (b2 pr33 x -1 r1 v va) (b1 pr36 x
0 r2 vb) (b0 pr1 x 1 r3))) (67 ((vvv x 67 r2 va v) (b2 pr3 x
0 r1 v va) (b0 pr1 x -1 r2) (b0 pr1 x 1 r3))) (66 ((vvv x 66
r2 va v) (b0 pr1 x -1 r3) (b0 pr31 x 1 r2) (b2 pr3 x 0 r1 v
va))) (65 ((vvv x 65 r2 va v) (b2 pr3 x 0 r1 v va) (b0 pr31
x -1 r2) (b0 pr1 x 1 r3))) (64 ((vvv x 64 r2 va v) (b2 pr4 x
0 r1 v va) (b0 pr1 x -1 r2) (b0 pr1 x 1 r3))) (63 ((vvv x 63
r2 va v) (b0 pr1 x -1 r3) (b0 pr31 x 1 r2) (b2 pr4 x 0 r1 v
va))) (62 ((vvv x 62 r2 va v) (b2 pr4 x 0 r1 v va) (b0 pr31
x -1 r2) (b0 pr1 x 1 r3))) (61 ((vvv x 61 r2 va v) (b2 pr7 x
0 r1 v va) (b0 pr1 x -1 r2) (b0 pr1 x 1 r3))) (60 ((vvv x 60
r2 va v) (b2 pr10 x 0 r1 v va) (b0 pr1 x -1 r2) (b0 pr1 x 1
r3))) (59 ((vvv x 59 r2 va v) (b2 pr11 x 0 r1 v va) (b0 pr1
x -1 r2) (b0 pr1 x 1 r3))) (58 ((vvv x 58 r2 va v) (b2 pr12
x 0 r1 v va) (b0 pr1 x -1 r2) (b0 pr1 x 1 r3))) (57 ((vvv x
57 r2 va v) (b2 pr18 x 0 r1 v va) (b0 pr1 x -1 r2) (b0 pr1 x
1 r3))) (56 ((vvv x 56 r2 va v) (b2 pr20 x 0 r1 v va) (b0 
pr1 x -1 r2) (b0 pr1 x 1 r3))) (55 ((vvv x 55 r2 va v) (b2 
pr22 x 0 r1 v va) (b0 pr1 x -1 r2) (b0 pr1 x 1 r3))) (54 ((
vvv x 54 r2 va v) (b2 pr23 x 0 r1 v va) (b0 pr1 x -1 r2) (b0
pr1 x 1 r3))) (53 ((vvv x 53 r2 va v) (b2 pr24 x 0 r1 v va)
(b0 pr1 x -1 r2) (b0 pr1 x 1 r3))) (52 ((vvv x 52 r2 va v) (
b0 pr1 x -1 r3) (b0 pr5 x 0 r2) (b2 pr33 x 1 r1 v va))) (51
((vvv x 51 r2 va v) (b2 pr33 x -1 r1 v va) (b0 pr5 x 0 r2) (
b0 pr1 x 1 r3))) (50 ((vvv x 50 r2 va v) (b0 pr1 x -1 r3) (
b0 pr8 x 0 r2) (b2 pr33 x 1 r1 v va))) (49 ((vvv x 49 r2 va
v) (b2 pr33 x -1 r1 v va) (b0 pr8 x 0 r2) (b0 pr1 x 1 r3)))
(48 ((vvv x 48 r2 va v) (b0 pr1 x -1 r3) (b0 pr19 x 0 r2) (
b2 pr33 x 1 r1 v va))) (47 ((vvv x 47 r2 va v) (b2 pr33 x -1
r1 v va) (b0 pr19 x 0 r2) (b0 pr1 x 1 r3))) (46 ((vvv x 46 
r2 r1 v va) (b0 pr1 x -1 r3) (b1 pr2 x 0 r2 va) (b1 pr28 x 1
r1 v))) (45 ((vvv x 45 r2 r1 v va) (b1 pr28 x -1 r1 v) (b1 
pr2 x 0 r2 va) (b0 pr1 x 1 r3))) (44 ((vvv x 44 r2 r1 v va)
(b1 pr36 x 0 r1 v) (b1 pr2 x 0 r2 va) (b0 pr5 x 0 r3))) (43
((vvv x 43 r2 r1 v va) (b1 pr36 x 0 r1 v) (b1 pr2 x 0 r2 va)
(b0 pr19 x 0 r3))) (42 ((vvv x 42 r2 r1 v va) (b1 pr36 x 0 
r1 v) (b1 pr2 x 0 r2 va) (b0 pr25 x 0 r3))) (41 ((vvv x 41 
r2 r1 v va) (b1 pr36 x 0 r1 v) (b1 pr6 x 0 r2 va) (b0 pr5 x
0 r3))) (40 ((vvv x 40 r2 r1 v va) (b1 pr36 x 0 r1 v) (b1 
pr9 x 0 r2 va) (b0 pr8 x 0 r3))) (39 ((vvv x 39 r2 r1 v va)
(b1 pr36 x 0 r1 v) (b1 pr13 x 0 r2 va) (b0 pr5 x 0 r3))) (38
((vvv x 38 r2 r1 v va) (b1 pr36 x 0 r1 v) (b1 pr15 x 0 r2 va
) (b0 pr5 x 0 r3))) (37 ((vvv x 37 r2 r1 v va) (b0 pr1 x -1
r3) (b1 pr28 x 1 r2 va) (b1 pr36 x 0 r1 v))) (36 ((vvv x 36
r2 r1 v va) (b1 pr36 x 0 r1 v) (b1 pr28 x -1 r2 va) (b0 pr1
x 1 r3))) (35 ((vvv x 35 r2 v) (b1 pr2 x 0 r1 v) (b0 pr1 x 
-1 r2) (b0 pr1 x 1 r3))) (34 ((vvv x 34 r2 v) (b0 pr1 x -1 
r3) (b0 pr31 x 1 r2) (b1 pr2 x 0 r1 v))) (33 ((vvv x 33 r2 v
) (b1 pr2 x 0 r1 v) (b0 pr31 x -1 r2) (b0 pr1 x 1 r3))) (32
((vvv x 32 r2 v) (b1 pr6 x 0 r1 v) (b0 pr1 x -1 r2) (b0 pr1
x 1 r3))) (31 ((vvv x 31 r2 v) (b1 pr9 x 0 r1 v) (b0 pr1 x 
-1 r2) (b0 pr1 x 1 r3))) (30 ((vvv x 30 r2 v) (b1 pr13 x 0 
r1 v) (b0 pr1 x -1 r2) (b0 pr1 x 1 r3))) (29 ((vvv x 29 r2 v
) (b1 pr15 x 0 r1 v) (b0 pr1 x -1 r2) (b0 pr1 x 1 r3))) (28
((vvv x 28 r2 v) (b1 pr17 x 0 r1 v) (b0 pr1 x -1 r2) (b0 pr1
x 1 r3))) (27 ((vvv x 27 r2 v) (b1 pr21 x 0 r1 v) (b0 pr1 x
-1 r2) (b0 pr1 x 1 r3))) (26 ((vvv x 26 r2 v) (b1 pr36 x 0 
r1 v) (b0 pr1 x -1 r2) (b0 pr1 x 1 r3))) (25 ((vvv x 25 r2 v
) (b0 pr1 x -1 r3) (b0 pr31 x 1 r2) (b1 pr36 x 0 r1 v))) (24
((vvv x 24 r2 v) (b1 pr36 x 0 r1 v) (b0 pr31 x -1 r2) (b0 
pr1 x 1 r3))) (23 ((vvv x 23) (b0 pr5 x 0 r1) (b0 pr1 x -1 
r2) (b0 pr1 x 1 r3))) (22 ((vvv x 22) (b0 pr8 x 0 r1) (b0 
pr1 x -1 r2) (b0 pr1 x 1 r3))) (21 ((vvv x 21) (b0 pr19 x 0
r1) (b0 pr1 x -1 r2) (b0 pr1 x 1 r3))) (20 ((vvv x 20) (b0 
pr25 x 0 r1) (b0 pr1 x -1 r2) (b0 pr1 x 1 r3))) (1 ((vvv x 1
v va) (b1 z x 0 r4 va) (b1 z x 0 r3 v) (b0 h0 x 0 r1) (b0 h0
x 0 r2))) (2 ((vvv x 2 v va) (b1 w x -1 r4 va) (b1 w x 1 r3
v) (b0 h0 x 0 r2) (b0 h0 x 0 r1))) (3 ((vvv x 3 v va) (b1 z
x 0 r3 va) (b1 z x 0 r2 v) (b0 h0 x 0 r1))) (4 ((vvv x 4 v 
va) (b1 w x -1 r3 va) (b1 w x 1 r2 v) (b0 h0 x 0 r1))) (5 ((
vvv x 5 pa1 v va vb vc) (b1 w x 1 r1 v) (b1 w x -1 r2 va) (
b1 pa1 x 0 r4 vc) (b1 pa1 x 0 r3 vb))) (6 ((vvv x 6 v va vb
vc) (b1 w x 1 r1 v) (b1 w x -1 r2 va) (b1 p x 0 r4 vc) (b1 z
x 0 r3 vb))) (7 ((vvv x 7 v va vb vc) (b1 w x -1 r4 vc) (b1
w x -1 r3 vb) (b1 w x 1 r2 va) (b1 w x 1 r1 v))) (8 ((vvv x
8 l pa1 pa3 v) (psi pa3 x -1 r1 id1) (psi pa3 x 1 r2 id1) (
b1 pa1 x 0 r3 v))) (9 ((vvv x 9 l pa5 pa4 v) (psi pa4 x -1 
r1 id1) (psi pa5 x 1 r2 id1) (b1 w x -1 r3 v))) (10 ((vvv x
10 l pa4 pa5 v) (psi pa5 x -1 r1 id1) (psi pa4 x 1 r2 id1) (
b1 w x 1 r3 v))) (11 ((vvv x 11 pa1 v va vb r1 r2 r3) (b1 w
x 1 r1 va) (b1 w x -1 r2 vb) (b1 pa1 x 0 r3 v))) (12 ((vvv x
12 l pa2) (psi pa2 x -1 r1 id1) (psi pa2 x 1 r2 id1) (b0 h0
x 0 r3))) (13 ((vvv x 13) (b0 h0 x 0 r4) (b0 h0 x 0 r3) (b0
h0 x 0 r2) (b0 h0 x 0 r1))) (14 ((vvv x 14) (b0 h0 x 0 r3) (
b0 h0 x 0 r2) (b0 h0 x 0 r1))) (19 ((vvv x 19 l v) (b1 pr36
x 0 r1 v) (psi ef x -1 r2) (psi ef x 1 r3))) (18 ((vvv x 18
l v) (b1 pr15 x 0 r1 v) (psi ef x -1 r2) (psi ef x 1 r3))) (
17 ((vvv x 17 l v) (b1 pr13 x 0 r1 v) (psi ef x -1 r2) (psi
ef x 1 r3))) (16 ((vvv x 16 l v) (b1 pr6 x 0 r1 v) (psi ef x
-1 r2) (psi ef x 1 r3))) (15 ((vvv x 15 l v) (b1 pr2 x 0 r1
v) (psi ef x -1 r2) (psi ef x 1 r3))))
 $
htionlist:='((g (1 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 3 4 8 9 10 11 12 14 
19 18 17 16 15) (2 1 2 5 6 7 13)))
 $
couplist:='(g3 g)
 $
maslist2:='((gsg mgsg 0) (z zm (quotient wm (cos theta))) (
gs mgs 0))
 $
paramlist:='(((c 0 1) (quotient (expt hm 2) 2)) ((c 0 5) (
quotient (minus (times (expt g 2) (expt hm 2))) (times 8 (
expt wm 2)))) (wangm3 (quotient (times (sqrt 2) fmb g) (
times 2 wm))) (wangm2 (quotient (times (sqrt 2) fms g) (
times 2 wm))) (wangm1 (quotient (times (sqrt 2) fmd g) (
times 2 wm))) (wangm6 (quotient (times (sqrt 2) fmtau g) (
times 2 wm))) (wangm5 (quotient (times (sqrt 2) fmmu g) (
times 2 wm))) (wangm4 (quotient (times (sqrt 2) fme g) (
times 2 wm))) (wangm9 (quotient (times (sqrt 2) fmt g) (
times 2 wm))) (wangm8 (quotient (times (sqrt 2) fmc g) (
times 2 wm))) (wangm7 (quotient (times (sqrt 2) fmu g) (
times 2 wm))) (v0 (quotient (times 2 wm) g)))
 $
phyinput:='(p1m w1d 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 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:='(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 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 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) (b4 s4) (b3 s3
) (b2 s2))
 $
end;
 $
