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

weak interaction ") )
 $
delta_qnumber_list:='nil
 $
pa_decay_list:='((pr13 (24 (pr2 pr1) 2) (23 (pr2 pr1) 1)) (
pr14 (70 (pr13 pr1) 2) (69 (pr13 pr1) 1) (37 (pr2 pr1) 2) (
36 (pr2 pr1) 1)) (pr5 (86 (pr13 pr2) 2) (85 (pr13 pr2) 2) (
63 (pr1 pr1) 2) (62 (pr2 pr2) 2)) (pr6 (84 (pr13 pr2) 2) (83
(pr13 pr2) 2) (60 (pr1 pr1) 2) (59 (pr2 pr2) 2)) (pr7 (82 (
pr13 pr2) 2) (81 (pr13 pr2) 2) (57 (pr1 pr1) 2) (56 (pr2 pr2
) 2)) (pr8 (80 (pr13 pr2) 2) (79 (pr13 pr2) 2) (54 (pr1 pr1)
2) (53 (pr2 pr2) 2)) (pr15 (66 (pr14 pr1) 1) (65 (pr14 pr1)
2) (30 (pr13 pr1) 2) (29 (pr13 pr1) 1) (20 (pr2 pr1) 2) (19
(pr2 pr1) 1) (18 (pr3 pr2) 2) (17 (pr3 pr2) 1)) (pr16 (116 (
pr14 pr1) 2) (115 (pr14 pr1) 1) (108 (pr13 pr1) 2) (107 (
pr13 pr1) 1) (92 (pr2 pr1) 2) (91 (pr2 pr1) 1) (90 (pr3 pr2)
2) (89 (pr3 pr2) 1)) (pr9 (96 (pr13 pr13) 2) (78 (pr13 pr2)
2) (77 (pr13 pr2) 2) (51 (pr1 pr1) 2) (50 (pr2 pr2) 2)) (pr4
(64 (pr13 pr13) 2) (33 (pr13 pr2) 2) (32 (pr13 pr2) 2) (26 (
pr1 pr1) 2)) (pr10 (95 (pr13 pr13) 2) (76 (pr13 pr2) 2) (75
(pr13 pr2) 2) (48 (pr1 pr1) 2) (47 (pr2 pr2) 2)) (pr11 (101
(pr14 pr2) 2) (100 (pr14 pr2) 2) (94 (pr13 pr13) 2) (74 (
pr13 pr2) 2) (73 (pr13 pr2) 2) (45 (pr1 pr1) 2) (44 (pr2 pr2
) 2) (43 (pr3 pr3) 2)) (pr12 (99 (pr14 pr2) 2) (98 (pr14 pr2
) 2) (93 (pr13 pr13) 2) (72 (pr13 pr2) 2) (71 (pr13 pr2) 2)
(41 (pr1 pr1) 2) (40 (pr2 pr2) 2) (39 (pr3 pr3) 2)) (pr17 (
138 (pr5 pr2) 2) (137 (pr5 pr2) 1) (136 (pr6 pr2) 2) (135 (
pr6 pr2) 1) (134 (pr7 pr2) 2) (133 (pr7 pr2) 1) (132 (pr14 
pr1) 2) (131 (pr14 pr1) 1) (124 (pr13 pr1) 2) (123 (pr13 pr1
) 1) (122 (pr13 pr3) 2) (121 (pr13 pr3) 1) (118 (pr15 pr1) 2
) (117 (pr15 pr1) 1) (114 (pr2 pr1) 2) (113 (pr2 pr1) 1) (
112 (pr3 pr2) 2) (111 (pr3 pr2) 1)) (pr18 (144 (pr13 pr1) 2)
(143 (pr13 pr1) 1) (142 (pr13 pr3) 2) (141 (pr13 pr3) 1) (
140 (pr15 pr1) 2) (139 (pr15 pr1) 1) (130 (pr2 pr1) 2) (129
(pr2 pr1) 1) (128 (pr3 pr2) 2) (127 (pr3 pr2) 1)) (pr19 (126
(pr18 pr2) 2) (125 (pr18 pr2) 2) (120 (pr17 pr13) 2) (119 (
pr17 pr13) 2) (110 (pr17 pr2) 2) (109 (pr17 pr2) 2) (106 (
pr16 pr13) 2) (105 (pr16 pr13) 2) (104 (pr5 pr5) 2) (103 (
pr6 pr5) 2) (102 (pr7 pr5) 2) (97 (pr14 pr14) 2) (88 (pr16 
pr2) 2) (87 (pr16 pr2) 2) (68 (pr14 pr13) 2) (67 (pr14 pr13)
2) (61 (pr5 pr3) 2) (58 (pr6 pr3) 2) (55 (pr7 pr3) 2) (52 (
pr8 pr3) 2) (49 (pr9 pr3) 2) (46 (pr10 pr3) 2) (42 (pr11 pr3
) 2) (38 (pr12 pr3) 2) (35 (pr14 pr2) 2) (34 (pr14 pr2) 2) (
31 (pr13 pr13) 2) (28 (pr15 pr13) 2) (27 (pr15 pr13) 2) (25
(pr4 pr3) 2) (22 (pr13 pr2) 2) (21 (pr13 pr2) 2) (16 (pr15 
pr2) 2) (15 (pr15 pr2) 2)))
 $
two_pa_vertex_list:='nil
 $
stable_pal0:='(p nut numu nue ef qu qd qs mu pr1 pr2 pr13 
pr3 qc pr14 pr5 pr6 pr7 pr8 pr15 pr16 tau pr9 pr4 pr10 pr11
pr12 pr17 pr18 pr19 qb w qt)
 $
mass_order_list:='(h0 qt z w qb pr19 pr18 pr17 pr12 pr11 
pr10 pr4 pr9 tau pr16 pr15 pr8 pr7 pr6 pr5 pr14 qc pr3 pr13
pr2 pr1 mu qs qd qu ef nue numu nut gsg p gs)
 $
pal_order_list:='(pr2 pr13 pr1 pr19 pr3 pr17 pr14 pr15 pr16
pr18 pr5 pr12 pr11 w pr7 pr6 h0 pr10 pr9 pr4 pr8 pa1 z pa5 
pa4 p pa2 pa3)
 $
v_pal_list:='((14 (h0 -1 3)) (13 (h0 -1 4)) (12 (pa2 1 1) (
h0 -1 1)) (11 (w 1 1) (pa1 -1 1)) (10 (pa5 1 0) (pa4 0 1) (w
0 1)) (9 (pa4 1 0) (pa5 0 1) (w 1 0)) (8 (pa3 1 1) (pa1 -1 1
)) (7 (w 2 2)) (6 (w 1 1) (p -1 1) (z -1 1)) (5 (w 1 1) (pa1
-1 2)) (4 (w 1 1) (h0 -1 1)) (3 (z -1 2) (h0 -1 1)) (2 (w 1
1) (h0 -1 2)) (1 (z -1 2) (h0 -1 2)) (15 (pr15 1 0) (pr19 -1
1) (pr2 0 1)) (16 (pr2 1 0) (pr19 -1 1) (pr15 0 1)) (17 (
pr15 1 0) (pr3 -1 1) (pr2 0 1)) (18 (pr2 1 0) (pr3 -1 1) (
pr15 0 1)) (19 (pr15 1 0) (pr2 0 1) (pr1 -1 1)) (20 (pr1 -1
1) (pr2 1 0) (pr15 0 1)) (21 (pr13 1 0) (pr19 -1 1) (pr2 0 1
)) (22 (pr2 1 0) (pr19 -1 1) (pr13 0 1)) (23 (pr13 1 0) (pr2
0 1) (pr1 -1 1)) (24 (pr1 -1 1) (pr2 1 0) (pr13 0 1)) (25 (
pr4 -1 1) (pr19 -1 1) (pr3 -1 1)) (26 (pr4 -1 1) (pr1 -1 2))
(27 (pr15 1 0) (pr13 0 1) (pr19 -1 1)) (28 (pr19 -1 1) (pr13
1 0) (pr15 0 1)) (29 (pr15 1 0) (pr13 0 1) (pr1 -1 1)) (30 (
pr1 -1 1) (pr13 1 0) (pr15 0 1)) (31 (pr13 1 1) (pr19 -1 1))
(32 (pr13 1 0) (pr4 -1 1) (pr2 0 1)) (33 (pr2 1 0) (pr4 -1 1
) (pr13 0 1)) (34 (pr14 1 0) (pr19 -1 1) (pr2 0 1)) (35 (pr2
1 0) (pr19 -1 1) (pr14 0 1)) (36 (pr14 1 0) (pr2 0 1) (pr1 
-1 1)) (37 (pr1 -1 1) (pr2 1 0) (pr14 0 1)) (38 (pr12 -1 1)
(pr19 -1 1) (pr3 -1 1)) (39 (pr12 -1 1) (pr3 -1 2)) (40 (
pr12 -1 1) (pr2 1 1)) (41 (pr12 -1 1) (pr1 -1 2)) (42 (pr11
-1 1) (pr19 -1 1) (pr3 -1 1)) (43 (pr11 -1 1) (pr3 -1 2)) (
44 (pr11 -1 1) (pr2 1 1)) (45 (pr11 -1 1) (pr1 -1 2)) (46 (
pr10 -1 1) (pr19 -1 1) (pr3 -1 1)) (47 (pr10 -1 1) (pr2 1 1)
) (48 (pr10 -1 1) (pr1 -1 2)) (49 (pr9 -1 1) (pr19 -1 1) (
pr3 -1 1)) (50 (pr9 -1 1) (pr2 1 1)) (51 (pr9 -1 1) (pr1 -1
2)) (52 (pr8 -1 1) (pr19 -1 1) (pr3 -1 1)) (53 (pr8 -1 1) (
pr2 1 1)) (54 (pr8 -1 1) (pr1 -1 2)) (55 (pr7 -1 1) (pr19 -1
1) (pr3 -1 1)) (56 (pr7 -1 1) (pr2 1 1)) (57 (pr7 -1 1) (pr1
-1 2)) (58 (pr6 -1 1) (pr19 -1 1) (pr3 -1 1)) (59 (pr6 -1 1)
(pr2 1 1)) (60 (pr6 -1 1) (pr1 -1 2)) (61 (pr5 -1 1) (pr19 
-1 1) (pr3 -1 1)) (62 (pr5 -1 1) (pr2 1 1)) (63 (pr5 -1 1) (
pr1 -1 2)) (64 (pr13 1 1) (pr4 -1 1)) (65 (pr14 1 0) (pr15 0
1) (pr1 -1 1)) (66 (pr1 -1 1) (pr15 1 0) (pr14 0 1)) (67 (
pr14 1 0) (pr13 0 1) (pr19 -1 1)) (68 (pr19 -1 1) (pr13 1 0)
(pr14 0 1)) (69 (pr14 1 0) (pr13 0 1) (pr1 -1 1)) (70 (pr1 
-1 1) (pr13 1 0) (pr14 0 1)) (71 (pr12 -1 1) (pr13 1 0) (pr2
0 1)) (72 (pr2 1 0) (pr13 0 1) (pr12 -1 1)) (73 (pr11 -1 1)
(pr13 1 0) (pr2 0 1)) (74 (pr2 1 0) (pr13 0 1) (pr11 -1 1))
(75 (pr10 -1 1) (pr13 1 0) (pr2 0 1)) (76 (pr2 1 0) (pr13 0
1) (pr10 -1 1)) (77 (pr9 -1 1) (pr13 1 0) (pr2 0 1)) (78 (
pr2 1 0) (pr13 0 1) (pr9 -1 1)) (79 (pr8 -1 1) (pr13 1 0) (
pr2 0 1)) (80 (pr2 1 0) (pr13 0 1) (pr8 -1 1)) (81 (pr7 -1 1
) (pr13 1 0) (pr2 0 1)) (82 (pr2 1 0) (pr13 0 1) (pr7 -1 1))
(83 (pr6 -1 1) (pr13 1 0) (pr2 0 1)) (84 (pr2 1 0) (pr13 0 1
) (pr6 -1 1)) (85 (pr5 -1 1) (pr13 1 0) (pr2 0 1)) (86 (pr2
1 0) (pr13 0 1) (pr5 -1 1)) (87 (pr16 1 0) (pr19 -1 1) (pr2
0 1)) (88 (pr2 1 0) (pr19 -1 1) (pr16 0 1)) (89 (pr16 1 0) (
pr3 -1 1) (pr2 0 1)) (90 (pr2 1 0) (pr3 -1 1) (pr16 0 1)) (
91 (pr16 1 0) (pr2 0 1) (pr1 -1 1)) (92 (pr1 -1 1) (pr2 1 0)
(pr16 0 1)) (93 (pr12 -1 1) (pr13 1 1)) (94 (pr11 -1 1) (
pr13 1 1)) (95 (pr10 -1 1) (pr13 1 1)) (96 (pr9 -1 1) (pr13
1 1)) (97 (pr14 1 1) (pr19 -1 1)) (98 (pr14 1 0) (pr12 -1 1)
(pr2 0 1)) (99 (pr2 1 0) (pr12 -1 1) (pr14 0 1)) (100 (pr14
1 0) (pr11 -1 1) (pr2 0 1)) (101 (pr2 1 0) (pr11 -1 1) (pr14
0 1)) (102 (pr7 -1 1) (pr5 -1 1) (pr19 -1 1)) (103 (pr6 -1 1
) (pr5 -1 1) (pr19 -1 1)) (104 (pr5 -1 2) (pr19 -1 1)) (105
(pr16 1 0) (pr13 0 1) (pr19 -1 1)) (106 (pr19 -1 1) (pr13 1
0) (pr16 0 1)) (107 (pr16 1 0) (pr13 0 1) (pr1 -1 1)) (108 (
pr1 -1 1) (pr13 1 0) (pr16 0 1)) (109 (pr17 1 0) (pr19 -1 1)
(pr2 0 1)) (110 (pr2 1 0) (pr19 -1 1) (pr17 0 1)) (111 (pr17
1 0) (pr3 -1 1) (pr2 0 1)) (112 (pr2 1 0) (pr3 -1 1) (pr17 0
1)) (113 (pr17 1 0) (pr2 0 1) (pr1 -1 1)) (114 (pr1 -1 1) (
pr2 1 0) (pr17 0 1)) (115 (pr16 1 0) (pr14 0 1) (pr1 -1 1))
(116 (pr1 -1 1) (pr14 1 0) (pr16 0 1)) (117 (pr17 1 0) (pr15
0 1) (pr1 -1 1)) (118 (pr1 -1 1) (pr15 1 0) (pr17 0 1)) (119
(pr17 1 0) (pr13 0 1) (pr19 -1 1)) (120 (pr19 -1 1) (pr13 1
0) (pr17 0 1)) (121 (pr17 1 0) (pr13 0 1) (pr3 -1 1)) (122 (
pr3 -1 1) (pr13 1 0) (pr17 0 1)) (123 (pr17 1 0) (pr13 0 1)
(pr1 -1 1)) (124 (pr1 -1 1) (pr13 1 0) (pr17 0 1)) (125 (
pr18 1 0) (pr19 -1 1) (pr2 0 1)) (126 (pr2 1 0) (pr19 -1 1)
(pr18 0 1)) (127 (pr18 1 0) (pr3 -1 1) (pr2 0 1)) (128 (pr2
1 0) (pr3 -1 1) (pr18 0 1)) (129 (pr18 1 0) (pr2 0 1) (pr1 
-1 1)) (130 (pr1 -1 1) (pr2 1 0) (pr18 0 1)) (131 (pr17 1 0)
(pr14 0 1) (pr1 -1 1)) (132 (pr1 -1 1) (pr14 1 0) (pr17 0 1)
) (133 (pr17 1 0) (pr7 -1 1) (pr2 0 1)) (134 (pr2 1 0) (pr7
-1 1) (pr17 0 1)) (135 (pr17 1 0) (pr6 -1 1) (pr2 0 1)) (136
(pr2 1 0) (pr6 -1 1) (pr17 0 1)) (137 (pr17 1 0) (pr5 -1 1)
(pr2 0 1)) (138 (pr2 1 0) (pr5 -1 1) (pr17 0 1)) (139 (pr18
1 0) (pr15 0 1) (pr1 -1 1)) (140 (pr1 -1 1) (pr15 1 0) (pr18
0 1)) (141 (pr18 1 0) (pr13 0 1) (pr3 -1 1)) (142 (pr3 -1 1)
(pr13 1 0) (pr18 0 1)) (143 (pr18 1 0) (pr13 0 1) (pr1 -1 1)
) (144 (pr1 -1 1) (pr13 1 0) (pr18 0 1)))
 $
pa_rv_list:='((pr1 (g (1 19 20 23 24 26 29 30 36 37 41 45 48
51 54 57 60 63 65 66 69 70 91 92 107 108 113 114 115 116 117
118 123 124 129 130 131 132 139 140 143 144))) (pr13 (g (1 
21 22 23 24 27 28 29 30 31 32 33 64 67 68 69 70 71 72 73 74
75 76 77 78 79 80 81 82 83 84 85 86 93 94 95 96 105 106 107
108 119 120 121 122 123 124 141 142 143 144))) (pr18 (g (1 
125 126 127 128 129 130 139 140 141 142 143 144))) (pr3 (g (
1 17 18 25 38 39 42 43 46 49 52 55 58 61 89 90 111 112 121 
122 127 128 141 142))) (pr15 (g (1 15 16 17 18 19 20 27 28 
29 30 65 66 117 118 139 140))) (pr2 (g (1 15 16 17 18 19 20
21 22 23 24 32 33 34 35 36 37 40 44 47 50 53 56 59 62 71 72
73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92
98 99 100 101 109 110 111 112 113 114 125 126 127 128 129 
130 133 134 135 136 137 138))) (pr5 (g (1 61 62 63 85 86 102
103 104 137 138))) (pr17 (g (1 109 110 111 112 113 114 117 
118 119 120 121 122 123 124 131 132 133 134 135 136 137 138)
)) (pr6 (g (1 58 59 60 83 84 103 135 136))) (pr7 (g (1 55 56
57 81 82 102 133 134))) (pr14 (g (1 34 35 36 37 65 66 67 68
69 70 97 98 99 100 101 115 116 131 132))) (pr19 (g (1 15 16
21 22 25 27 28 31 34 35 38 42 46 49 52 55 58 61 67 68 87 88
97 102 103 104 105 106 109 110 119 120 125 126))) (pr16 (g (
1 87 88 89 90 91 92 105 106 107 108 115 116))) (pr11 (g (1 
42 43 44 45 73 74 94 100 101))) (pr12 (g (1 38 39 40 41 71 
72 93 98 99))) (pr9 (g (1 49 50 51 77 78 96))) (pr10 (g (1 
46 47 48 75 76 95))) (pr8 (g (1 52 53 54 79 80))) (pr4 (g (1
25 26 32 33 64))) (z (g (2 6 1) (1 3))) (h0 (g (2 13 2 1) (1
14 12 4 3))) (w (g (2 7 6 5 2) (1 11 10 9 4))) (pa3 (g (1 8)
)) (pa1 (g (2 5) (1 11 8))) (pa4 (g (1 10 9))) (pa5 (g (1 10
9))) (pa2 (g (1 12))) (p (g (2 6))))
 $
cvpd_list:='((14 0) (13 0) (11 1) (7 0) (6 0) (5 0) (4 0) (3
0) (2 0) (1 0) (15 1) (16 1) (17 1) (18 1) (19 1) (20 1) (21
1) (22 1) (23 1) (24 1) (25 1) (26 1) (27 0) (28 0) (29 0) (
30 0) (31 0) (32 0) (33 0) (34 2) (35 2) (36 2) (37 2) (38 2
) (39 2) (40 2) (41 2) (42 2) (43 2) (44 2) (45 2) (46 2) (
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 1) (65 1) (66 1) (67 1) (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 3) (88 3) (89 3
) (90 3) (91 3) (92 3) (93 0) (94 0) (95 0) (96 0) (97 0) (
98 0) (99 0) (100 0) (101 0) (102 0) (103 0) (104 0) (105 2)
(106 2) (107 2) (108 2) (109 4) (110 4) (111 4) (112 4) (113
4) (114 4) (115 1) (116 1) (117 3) (118 3) (119 3) (120 3) (
121 3) (122 3) (123 3) (124 3) (125 5) (126 5) (127 5) (128
5) (129 5) (130 5) (131 2) (132 2) (133 2) (134 2) (135 2) (
136 2) (137 2) (138 2) (139 4) (140 4) (141 4) (142 4) (143
4) (144 4))
 $
gbsymmetrylist:='(strange baryon len lmuon ltau)
 $
fit_para_list:='((144 f113) (143 f113) (142 f112) (141 f112)
(140 f111) (139 f111) (138 f110 f109) (137 f110 f109) (136 
f108 f107) (135 f108 f107) (134 f106 f105) (133 f106 f105) (
132 f104 f103) (131 f104 f103) (130 f102) (129 f102) (128 
f101) (127 f101) (126 f100) (125 f100) (124 f99) (123 f99) (
122 f98) (121 f98) (120 f97) (119 f97) (118 f96) (117 f96) (
116 f95 f94) (115 f95 f94) (114 f93) (113 f93) (112 f92) (
111 f92) (110 f91) (109 f91) (108 f90) (107 f90) (106 f89) (
105 f89) (104 f88 f87) (103 f86 f85) (102 f84 f83) (101 f82
f81) (100 f82 f81) (99 f80 f79) (98 f80 f79) (97 f78 f77) (
96 f76 f75 f74 f73 f72) (95 f71 f70 f69 f68 f67) (94 f66 f65
f64 f63 f62) (93 f61 f60 f59 f58 f57) (92 f56) (91 f56) (90
f55) (89 f55) (88 f54) (87 f54) (86 f53) (85 f53) (84 f52) (
83 f52) (82 f51) (81 f51) (80 f50) (79 f50) (78 f49) (77 f49
) (76 f48) (75 f48) (74 f47) (73 f47) (72 f46) (71 f46) (70
f45) (69 f45) (68 f44) (67 f44) (66 f43) (65 f43) (64 f42 
f41 f40) (63 f39) (62 f38) (61 f37) (60 f36) (59 f35) (58 
f34) (57 f33) (56 f32) (55 f31) (54 f30) (53 f29) (52 f28) (
51 f27) (50 f26) (49 f25) (48 f24) (47 f23) (46 f22) (45 f21
) (44 f20) (43 f19) (42 f18) (41 f17) (40 f16) (39 f15) (38
f14) (37 f13) (36 f13) (35 f12) (34 f12) (33 f11) (32 f11) (
31 f10) (30 f9) (29 f9) (28 f8) (27 f8) (26 f7) (25 f6) (24
f5) (23 f5) (22 f4) (21 f4) (20 f3) (19 f3) (18 f2) (17 f2)
(16 f1) (15 f1))
 $
palist:='(pr1 pr2 pr3 pr4 pr5 pr6 pr7 pr8 pr9 pr10 pr11 pr12
pr13 pr14 pr15 pr16 pr17 pr18 pr19 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 pr3 pr2 pr1) (any_nf pr1 pr2 pr3 
pr4 pr5 pr6 pr7 pr8 pr9 pr10 pr11 pr12 pr13 pr14 pr15 pr16 
pr17 pr18 pr19 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 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))
 $
color_vertices:='nil
 $
fcolor_vertices:='nil
 $
bound_pv_list:='nil
 $
fermionprog:='(sf)
 $
bosonprog:='(s11 s1 s0)
 $
propagatorl:='(s2 s3 s4 s5 s11 s1 s0 sf)
 $
splist:='((s11 gs) (s1 pr4 pr13 pr15 w z p) (s0 pr1 pr2 pr3
pr19 gsg h0) (sf qt qc qu tau mu ef qb qs qd nut numu nue) (
s5 pr18) (s4 pr17) (s3 pr16) (s2 pr5 pr6 pr7 pr8 pr9 pr10 
pr11 pr12 pr14))
 $
hvvvl:='((144 ((vvv x 144 r1 r2 vf v vd vc vb va) (b0 pr1 x
0 r3) (b1 pr13 x -1 r2 vf) (b5 pr18 x 1 r1 v va vb vc vd)))
(143 ((vvv x 143 r1 r2 vf v vd vc vb va) (b5 pr18 x -1 r1 v
va vb vc vd) (b1 pr13 x 1 r2 vf) (b0 pr1 x 0 r3))) (142 ((
vvv x 142 r1 r2 vf v vd vc vb va) (b0 pr3 x 0 r3) (b1 pr13 x
-1 r2 vf) (b5 pr18 x 1 r1 v va vb vc vd))) (141 ((vvv x 141
r1 r2 vf v vd vc vb va) (b5 pr18 x -1 r1 v va vb vc vd) (b1
pr13 x 1 r2 vf) (b0 pr3 x 0 r3))) (140 ((vvv x 140 r1 r2 vf
v vd vc vb va) (b0 pr1 x 0 r3) (b1 pr15 x -1 r2 vf) (b5 pr18
x 1 r1 v va vb vc vd))) (139 ((vvv x 139 r1 r2 vf v vd vc vb
va) (b5 pr18 x -1 r1 v va vb vc vd) (b1 pr15 x 1 r2 vf) (b0
pr1 x 0 r3))) (138 ((vvv x 138 r2 r1 vd v vc vb va vf) (b0 
pr2 x -1 r3) (b2 pr5 x 0 r2 vd vf) (b4 pr17 x 1 r1 v va vb 
vc))) (137 ((vvv x 137 r2 r1 vd v vc vb va vf) (b4 pr17 x -1
r1 v va vb vc) (b2 pr5 x 0 r2 vd vf) (b0 pr2 x 1 r3))) (136
((vvv x 136 r2 r1 vd v vc vb va vf) (b0 pr2 x -1 r3) (b2 pr6
x 0 r2 vd vf) (b4 pr17 x 1 r1 v va vb vc))) (135 ((vvv x 135
r2 r1 vd v vc vb va vf) (b4 pr17 x -1 r1 v va vb vc) (b2 pr6
x 0 r2 vd vf) (b0 pr2 x 1 r3))) (134 ((vvv x 134 r2 r1 vd v
vc vb va vf) (b0 pr2 x -1 r3) (b2 pr7 x 0 r2 vd vf) (b4 pr17
x 1 r1 v va vb vc))) (133 ((vvv x 133 r2 r1 vd v vc vb va vf
) (b4 pr17 x -1 r1 v va vb vc) (b2 pr7 x 0 r2 vd vf) (b0 pr2
x 1 r3))) (132 ((vvv x 132 r2 r1 vd v vc vb va vf) (b0 pr1 x
0 r3) (b2 pr14 x -1 r2 vd vf) (b4 pr17 x 1 r1 v va vb vc)))
(131 ((vvv x 131 r2 r1 vd v vc vb va vf) (b4 pr17 x -1 r1 v
va vb vc) (b2 pr14 x 1 r2 vd vf) (b0 pr1 x 0 r3))) (130 ((
vvv x 130 r2 vd vc vb va v) (b0 pr1 x 0 r3) (b0 pr2 x -1 r2)
(b5 pr18 x 1 r1 v va vb vc vd))) (129 ((vvv x 129 r2 vd vc 
vb va v) (b5 pr18 x -1 r1 v va vb vc vd) (b0 pr2 x 1 r2) (b0
pr1 x 0 r3))) (128 ((vvv x 128 r2 vd vc vb va v) (b0 pr2 x 
-1 r3) (b0 pr3 x 0 r2) (b5 pr18 x 1 r1 v va vb vc vd))) (127
((vvv x 127 r2 vd vc vb va v) (b5 pr18 x -1 r1 v va vb vc vd
) (b0 pr3 x 0 r2) (b0 pr2 x 1 r3))) (126 ((vvv x 126 r2 vd 
vc vb va v) (b0 pr2 x -1 r3) (b0 pr19 x 0 r2) (b5 pr18 x 1 
r1 v va vb vc vd))) (125 ((vvv x 125 r2 vd vc vb va v) (b5 
pr18 x -1 r1 v va vb vc vd) (b0 pr19 x 0 r2) (b0 pr2 x 1 r3)
)) (124 ((vvv x 124 r1 r2 vd v vc vb va) (b0 pr1 x 0 r3) (b1
pr13 x -1 r2 vd) (b4 pr17 x 1 r1 v va vb vc))) (123 ((vvv x
123 r1 r2 vd v vc vb va) (b4 pr17 x -1 r1 v va vb vc) (b1 
pr13 x 1 r2 vd) (b0 pr1 x 0 r3))) (122 ((vvv x 122 r1 r2 vd
v vc vb va) (b0 pr3 x 0 r3) (b1 pr13 x -1 r2 vd) (b4 pr17 x
1 r1 v va vb vc))) (121 ((vvv x 121 r1 r2 vd v vc vb va) (b4
pr17 x -1 r1 v va vb vc) (b1 pr13 x 1 r2 vd) (b0 pr3 x 0 r3)
)) (120 ((vvv x 120 r1 r2 vd v vc vb va) (b0 pr19 x 0 r3) (
b1 pr13 x -1 r2 vd) (b4 pr17 x 1 r1 v va vb vc))) (119 ((vvv
x 119 r1 r2 vd v vc vb va) (b4 pr17 x -1 r1 v va vb vc) (b1
pr13 x 1 r2 vd) (b0 pr19 x 0 r3))) (118 ((vvv x 118 r1 r2 vd
v vc vb va) (b0 pr1 x 0 r3) (b1 pr15 x -1 r2 vd) (b4 pr17 x
1 r1 v va vb vc))) (117 ((vvv x 117 r1 r2 vd v vc vb va) (b4
pr17 x -1 r1 v va vb vc) (b1 pr15 x 1 r2 vd) (b0 pr1 x 0 r3)
)) (116 ((vvv x 116 r2 r1 vc v vb va vd) (b0 pr1 x 0 r3) (b2
pr14 x -1 r2 vc vd) (b3 pr16 x 1 r1 v va vb))) (115 ((vvv x
115 r2 r1 vc v vb va vd) (b3 pr16 x -1 r1 v va vb) (b2 pr14
x 1 r2 vc vd) (b0 pr1 x 0 r3))) (114 ((vvv x 114 r2 vc vb va
v) (b0 pr1 x 0 r3) (b0 pr2 x -1 r2) (b4 pr17 x 1 r1 v va vb
vc))) (113 ((vvv x 113 r2 vc vb va v) (b4 pr17 x -1 r1 v va
vb vc) (b0 pr2 x 1 r2) (b0 pr1 x 0 r3))) (112 ((vvv x 112 r2
vc vb va v) (b0 pr2 x -1 r3) (b0 pr3 x 0 r2) (b4 pr17 x 1 r1
v va vb vc))) (111 ((vvv x 111 r2 vc vb va v) (b4 pr17 x -1
r1 v va vb vc) (b0 pr3 x 0 r2) (b0 pr2 x 1 r3))) (110 ((vvv
x 110 r2 vc vb va v) (b0 pr2 x -1 r3) (b0 pr19 x 0 r2) (b4 
pr17 x 1 r1 v va vb vc))) (109 ((vvv x 109 r2 vc vb va v) (
b4 pr17 x -1 r1 v va vb vc) (b0 pr19 x 0 r2) (b0 pr2 x 1 r3)
)) (108 ((vvv x 108 r1 r2 vc v vb va) (b0 pr1 x 0 r3) (b1 
pr13 x -1 r2 vc) (b3 pr16 x 1 r1 v va vb))) (107 ((vvv x 107
r1 r2 vc v vb va) (b3 pr16 x -1 r1 v va vb) (b1 pr13 x 1 r2
vc) (b0 pr1 x 0 r3))) (106 ((vvv x 106 r1 r2 vc v vb va) (b0
pr19 x 0 r3) (b1 pr13 x -1 r2 vc) (b3 pr16 x 1 r1 v va vb)))
(105 ((vvv x 105 r1 r2 vc v vb va) (b3 pr16 x -1 r1 v va vb)
(b1 pr13 x 1 r2 vc) (b0 pr19 x 0 r3))) (104 ((vvv x 104 r2 
r1 vb v va vc) (b2 pr5 x 0 r1 v va) (b2 pr5 x 0 r2 vb vc) (
b0 pr19 x 0 r3))) (103 ((vvv x 103 r2 r1 vb v va vc) (b2 pr6
x 0 r1 v va) (b2 pr5 x 0 r2 vb vc) (b0 pr19 x 0 r3))) (102 (
(vvv x 102 r2 r1 vb v va vc) (b2 pr7 x 0 r1 v va) (b2 pr5 x
0 r2 vb vc) (b0 pr19 x 0 r3))) (101 ((vvv x 101 r2 r1 vb v 
va vc) (b0 pr2 x -1 r3) (b2 pr11 x 0 r2 vb vc) (b2 pr14 x 1
r1 v va))) (100 ((vvv x 100 r2 r1 vb v va vc) (b2 pr14 x -1
r1 v va) (b2 pr11 x 0 r2 vb vc) (b0 pr2 x 1 r3))) (99 ((vvv
x 99 r2 r1 vb v va vc) (b0 pr2 x -1 r3) (b2 pr12 x 0 r2 vb 
vc) (b2 pr14 x 1 r1 v va))) (98 ((vvv x 98 r2 r1 vb v va vc)
(b2 pr14 x -1 r1 v va) (b2 pr12 x 0 r2 vb vc) (b0 pr2 x 1 r3
))) (97 ((vvv x 97 r2 r1 vb v va vc) (b2 pr14 x -1 r1 v va)
(b2 pr14 x 1 r2 vb vc) (b0 pr19 x 0 r3))) (96 ((vvv x 96 r3
r2 r1 va v vc vb) (b2 pr9 x 0 r1 v va) (b1 pr13 x -1 r2 vb)
(b1 pr13 x 1 r3 vc))) (95 ((vvv x 95 r3 r2 r1 va v vc vb) (
b2 pr10 x 0 r1 v va) (b1 pr13 x -1 r2 vb) (b1 pr13 x 1 r3 vc
))) (94 ((vvv x 94 r3 r2 r1 va v vc vb) (b2 pr11 x 0 r1 v va
) (b1 pr13 x -1 r2 vb) (b1 pr13 x 1 r3 vc))) (93 ((vvv x 93
r3 r2 r1 va v vc vb) (b2 pr12 x 0 r1 v va) (b1 pr13 x -1 r2
vb) (b1 pr13 x 1 r3 vc))) (92 ((vvv x 92 r2 vb va v) (b0 pr1
x 0 r3) (b0 pr2 x -1 r2) (b3 pr16 x 1 r1 v va vb))) (91 ((
vvv x 91 r2 vb va v) (b3 pr16 x -1 r1 v va vb) (b0 pr2 x 1 
r2) (b0 pr1 x 0 r3))) (90 ((vvv x 90 r2 vb va v) (b0 pr2 x 
-1 r3) (b0 pr3 x 0 r2) (b3 pr16 x 1 r1 v va vb))) (89 ((vvv
x 89 r2 vb va v) (b3 pr16 x -1 r1 v va vb) (b0 pr3 x 0 r2) (
b0 pr2 x 1 r3))) (88 ((vvv x 88 r2 vb va v) (b0 pr2 x -1 r3)
(b0 pr19 x 0 r2) (b3 pr16 x 1 r1 v va vb))) (87 ((vvv x 87 
r2 vb va v) (b3 pr16 x -1 r1 v va vb) (b0 pr19 x 0 r2) (b0 
pr2 x 1 r3))) (86 ((vvv x 86 r1 r2 vb v va) (b0 pr2 x -1 r3)
(b1 pr13 x 1 r2 vb) (b2 pr5 x 0 r1 v va))) (85 ((vvv x 85 r1
r2 vb v va) (b2 pr5 x 0 r1 v va) (b1 pr13 x -1 r2 vb) (b0 
pr2 x 1 r3))) (84 ((vvv x 84 r1 r2 vb v va) (b0 pr2 x -1 r3)
(b1 pr13 x 1 r2 vb) (b2 pr6 x 0 r1 v va))) (83 ((vvv x 83 r1
r2 vb v va) (b2 pr6 x 0 r1 v va) (b1 pr13 x -1 r2 vb) (b0 
pr2 x 1 r3))) (82 ((vvv x 82 r1 r2 vb v va) (b0 pr2 x -1 r3)
(b1 pr13 x 1 r2 vb) (b2 pr7 x 0 r1 v va))) (81 ((vvv x 81 r1
r2 vb v va) (b2 pr7 x 0 r1 v va) (b1 pr13 x -1 r2 vb) (b0 
pr2 x 1 r3))) (80 ((vvv x 80 r1 r2 vb v va) (b0 pr2 x -1 r3)
(b1 pr13 x 1 r2 vb) (b2 pr8 x 0 r1 v va))) (79 ((vvv x 79 r1
r2 vb v va) (b2 pr8 x 0 r1 v va) (b1 pr13 x -1 r2 vb) (b0 
pr2 x 1 r3))) (78 ((vvv x 78 r1 r2 vb v va) (b0 pr2 x -1 r3)
(b1 pr13 x 1 r2 vb) (b2 pr9 x 0 r1 v va))) (77 ((vvv x 77 r1
r2 vb v va) (b2 pr9 x 0 r1 v va) (b1 pr13 x -1 r2 vb) (b0 
pr2 x 1 r3))) (76 ((vvv x 76 r1 r2 vb v va) (b0 pr2 x -1 r3)
(b1 pr13 x 1 r2 vb) (b2 pr10 x 0 r1 v va))) (75 ((vvv x 75 
r1 r2 vb v va) (b2 pr10 x 0 r1 v va) (b1 pr13 x -1 r2 vb) (
b0 pr2 x 1 r3))) (74 ((vvv x 74 r1 r2 vb v va) (b0 pr2 x -1
r3) (b1 pr13 x 1 r2 vb) (b2 pr11 x 0 r1 v va))) (73 ((vvv x
73 r1 r2 vb v va) (b2 pr11 x 0 r1 v va) (b1 pr13 x -1 r2 vb)
(b0 pr2 x 1 r3))) (72 ((vvv x 72 r1 r2 vb v va) (b0 pr2 x -1
r3) (b1 pr13 x 1 r2 vb) (b2 pr12 x 0 r1 v va))) (71 ((vvv x
71 r1 r2 vb v va) (b2 pr12 x 0 r1 v va) (b1 pr13 x -1 r2 vb)
(b0 pr2 x 1 r3))) (70 ((vvv x 70 r1 r2 vb v va) (b0 pr1 x 0
r3) (b1 pr13 x -1 r2 vb) (b2 pr14 x 1 r1 v va))) (69 ((vvv x
69 r1 r2 vb v va) (b2 pr14 x -1 r1 v va) (b1 pr13 x 1 r2 vb)
(b0 pr1 x 0 r3))) (68 ((vvv x 68 r1 r2 vb v va) (b0 pr19 x 0
r3) (b1 pr13 x -1 r2 vb) (b2 pr14 x 1 r1 v va))) (67 ((vvv x
67 r1 r2 vb v va) (b2 pr14 x -1 r1 v va) (b1 pr13 x 1 r2 vb)
(b0 pr19 x 0 r3))) (66 ((vvv x 66 r1 r2 vb v va) (b0 pr1 x 0
r3) (b1 pr15 x -1 r2 vb) (b2 pr14 x 1 r1 v va))) (65 ((vvv x
65 r1 r2 vb v va) (b2 pr14 x -1 r1 v va) (b1 pr15 x 1 r2 vb)
(b0 pr1 x 0 r3))) (64 ((vvv x 64 r3 r2 r1 v vb va) (b1 pr13
x -1 r1 v) (b1 pr13 x 1 r2 va) (b1 pr4 x 0 r3 vb))) (63 ((
vvv x 63 r2 va v) (b2 pr5 x 0 r1 v va) (b0 pr1 x 0 r2) (b0 
pr1 x 0 r3))) (62 ((vvv x 62 r2 va v) (b2 pr5 x 0 r1 v va) (
b0 pr2 x -1 r2) (b0 pr2 x 1 r3))) (61 ((vvv x 61 r2 va v) (
b2 pr5 x 0 r1 v va) (b0 pr19 x 0 r2) (b0 pr3 x 0 r3))) (60 (
(vvv x 60 r2 va v) (b2 pr6 x 0 r1 v va) (b0 pr1 x 0 r2) (b0
pr1 x 0 r3))) (59 ((vvv x 59 r2 va v) (b2 pr6 x 0 r1 v va) (
b0 pr2 x -1 r2) (b0 pr2 x 1 r3))) (58 ((vvv x 58 r2 va v) (
b2 pr6 x 0 r1 v va) (b0 pr19 x 0 r2) (b0 pr3 x 0 r3))) (57 (
(vvv x 57 r2 va v) (b2 pr7 x 0 r1 v va) (b0 pr1 x 0 r2) (b0
pr1 x 0 r3))) (56 ((vvv x 56 r2 va v) (b2 pr7 x 0 r1 v va) (
b0 pr2 x -1 r2) (b0 pr2 x 1 r3))) (55 ((vvv x 55 r2 va v) (
b2 pr7 x 0 r1 v va) (b0 pr19 x 0 r2) (b0 pr3 x 0 r3))) (54 (
(vvv x 54 r2 va v) (b2 pr8 x 0 r1 v va) (b0 pr1 x 0 r2) (b0
pr1 x 0 r3))) (53 ((vvv x 53 r2 va v) (b2 pr8 x 0 r1 v va) (
b0 pr2 x -1 r2) (b0 pr2 x 1 r3))) (52 ((vvv x 52 r2 va v) (
b2 pr8 x 0 r1 v va) (b0 pr19 x 0 r2) (b0 pr3 x 0 r3))) (51 (
(vvv x 51 r2 va v) (b2 pr9 x 0 r1 v va) (b0 pr1 x 0 r2) (b0
pr1 x 0 r3))) (50 ((vvv x 50 r2 va v) (b2 pr9 x 0 r1 v va) (
b0 pr2 x -1 r2) (b0 pr2 x 1 r3))) (49 ((vvv x 49 r2 va v) (
b2 pr9 x 0 r1 v va) (b0 pr19 x 0 r2) (b0 pr3 x 0 r3))) (48 (
(vvv x 48 r2 va v) (b2 pr10 x 0 r1 v va) (b0 pr1 x 0 r2) (b0
pr1 x 0 r3))) (47 ((vvv x 47 r2 va v) (b2 pr10 x 0 r1 v va)
(b0 pr2 x -1 r2) (b0 pr2 x 1 r3))) (46 ((vvv x 46 r2 va v) (
b2 pr10 x 0 r1 v va) (b0 pr19 x 0 r2) (b0 pr3 x 0 r3))) (45
((vvv x 45 r2 va v) (b2 pr11 x 0 r1 v va) (b0 pr1 x 0 r2) (
b0 pr1 x 0 r3))) (44 ((vvv x 44 r2 va v) (b2 pr11 x 0 r1 v 
va) (b0 pr2 x -1 r2) (b0 pr2 x 1 r3))) (43 ((vvv x 43 r2 va
v) (b2 pr11 x 0 r1 v va) (b0 pr3 x 0 r2) (b0 pr3 x 0 r3))) (
42 ((vvv x 42 r2 va v) (b2 pr11 x 0 r1 v va) (b0 pr19 x 0 r2
) (b0 pr3 x 0 r3))) (41 ((vvv x 41 r2 va v) (b2 pr12 x 0 r1
v va) (b0 pr1 x 0 r2) (b0 pr1 x 0 r3))) (40 ((vvv x 40 r2 va
v) (b2 pr12 x 0 r1 v va) (b0 pr2 x -1 r2) (b0 pr2 x 1 r3)))
(39 ((vvv x 39 r2 va v) (b2 pr12 x 0 r1 v va) (b0 pr3 x 0 r2
) (b0 pr3 x 0 r3))) (38 ((vvv x 38 r2 va v) (b2 pr12 x 0 r1
v va) (b0 pr19 x 0 r2) (b0 pr3 x 0 r3))) (37 ((vvv x 37 r2 
va v) (b0 pr1 x 0 r3) (b0 pr2 x -1 r2) (b2 pr14 x 1 r1 v va)
)) (36 ((vvv x 36 r2 va v) (b2 pr14 x -1 r1 v va) (b0 pr2 x
1 r2) (b0 pr1 x 0 r3))) (35 ((vvv x 35 r2 va v) (b0 pr2 x -1
r3) (b0 pr19 x 0 r2) (b2 pr14 x 1 r1 v va))) (34 ((vvv x 34
r2 va v) (b2 pr14 x -1 r1 v va) (b0 pr19 x 0 r2) (b0 pr2 x 1
r3))) (33 ((vvv x 33 r2 r1 va v) (b0 pr2 x -1 r3) (b1 pr4 x
0 r2 va) (b1 pr13 x 1 r1 v))) (32 ((vvv x 32 r2 r1 va v) (b1
pr13 x -1 r1 v) (b1 pr4 x 0 r2 va) (b0 pr2 x 1 r3))) (31 ((
vvv x 31 r2 r1 va v) (b1 pr13 x -1 r1 v) (b1 pr13 x 1 r2 va)
(b0 pr19 x 0 r3))) (30 ((vvv x 30 r2 r1 va v) (b0 pr1 x 0 r3
) (b1 pr13 x -1 r2 va) (b1 pr15 x 1 r1 v))) (29 ((vvv x 29 
r2 r1 va v) (b1 pr15 x -1 r1 v) (b1 pr13 x 1 r2 va) (b0 pr1
x 0 r3))) (28 ((vvv x 28 r2 r1 va v) (b0 pr19 x 0 r3) (b1 
pr13 x -1 r2 va) (b1 pr15 x 1 r1 v))) (27 ((vvv x 27 r2 r1 
va v) (b1 pr15 x -1 r1 v) (b1 pr13 x 1 r2 va) (b0 pr19 x 0 
r3))) (26 ((vvv x 26 r2 v) (b1 pr4 x 0 r1 v) (b0 pr1 x 0 r2)
(b0 pr1 x 0 r3))) (25 ((vvv x 25 r2 v) (b1 pr4 x 0 r1 v) (b0
pr19 x 0 r2) (b0 pr3 x 0 r3))) (24 ((vvv x 24 r2 v) (b0 pr1
x 0 r3) (b0 pr2 x -1 r2) (b1 pr13 x 1 r1 v))) (23 ((vvv x 23
r2 v) (b1 pr13 x -1 r1 v) (b0 pr2 x 1 r2) (b0 pr1 x 0 r3)))
(22 ((vvv x 22 r2 v) (b0 pr2 x -1 r3) (b0 pr19 x 0 r2) (b1 
pr13 x 1 r1 v))) (21 ((vvv x 21 r2 v) (b1 pr13 x -1 r1 v) (
b0 pr19 x 0 r2) (b0 pr2 x 1 r3))) (20 ((vvv x 20 r2 v) (b0 
pr1 x 0 r3) (b0 pr2 x -1 r2) (b1 pr15 x 1 r1 v))) (19 ((vvv
x 19 r2 v) (b1 pr15 x -1 r1 v) (b0 pr2 x 1 r2) (b0 pr1 x 0 
r3))) (18 ((vvv x 18 r2 v) (b0 pr2 x -1 r3) (b0 pr3 x 0 r2)
(b1 pr15 x 1 r1 v))) (17 ((vvv x 17 r2 v) (b1 pr15 x -1 r1 v
) (b0 pr3 x 0 r2) (b0 pr2 x 1 r3))) (16 ((vvv x 16 r2 v) (b0
pr2 x -1 r3) (b0 pr19 x 0 r2) (b1 pr15 x 1 r1 v))) (15 ((vvv
x 15 r2 v) (b1 pr15 x -1 r1 v) (b0 pr19 x 0 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))))
 $
htionlist:='((g (1 144 143 142 141 140 139 138 137 136 135 
134 133 132 131 130 129 128 127 126 125 124 123 122 121 120
119 118 117 116 115 114 113 112 111 110 109 108 107 106 105
104 103 102 101 100 99 98 97 96 95 94 93 92 91 90 89 88 87 
86 85 84 83 82 81 80 79 78 77 76 75 74 73 72 71 70 69 68 67
66 65 64 63 62 61 60 59 58 57 56 55 54 53 52 51 50 49 48 47
46 45 44 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 27
26 25 24 23 22 21 20 19 18 17 16 15 3 4 8 9 10 11 12 14) (2
1 2 5 6 7 13)))
 $
couplist:='(g3 g)
 $
maslist2:='((gsg mgsg 0) (z zm (quotient wm (cos theta))) (
gs mgs 0))
 $
paramlist:='(((c 0 1) (quotient (expt hm 2) 2)) ((c 0 5) (
quotient (minus (times (expt g 2) (expt hm 2))) (times 8 (
expt wm 2)))) (wangm3 (quotient (times (sqrt 2) fmb g) (
times 2 wm))) (wangm2 (quotient (times (sqrt 2) fms g) (
times 2 wm))) (wangm1 (quotient (times (sqrt 2) fmd g) (
times 2 wm))) (wangm6 (quotient (times (sqrt 2) fmtau g) (
times 2 wm))) (wangm5 (quotient (times (sqrt 2) fmmu g) (
times 2 wm))) (wangm4 (quotient (times (sqrt 2) fme g) (
times 2 wm))) (wangm9 (quotient (times (sqrt 2) fmt g) (
times 2 wm))) (wangm8 (quotient (times (sqrt 2) fmc g) (
times 2 wm))) (wangm7 (quotient (times (sqrt 2) fmu g) (
times 2 wm))) (v0 (quotient (times 2 wm) g)))
 $
phyinput:='(p1m w1d p2m w2d p3m w3d p4m w4d p5m w5d p6m w6d
p7m w7d p8m w8d p9m w9d p10m w10d p11m w11d p12m w12d p13m 
w13d p14m w14d p15m w15d p16m w16d p17m w17d p18m w18d p19m
w19d 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:='(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 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 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) (b5 s5) (b4 s4
) (b3 s3) (b2 s2))
 $
end;
 $
