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

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