1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
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
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
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
169
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
213
214
215
216
|
r_a_vo("p1a,h1a") =
-0.5*t_aa_vvoo("p1a,p2a,h2a,h5a")*v_aa_ooov("h2a,h5a,h1a,p2a")
-0.5*t_aa_vvoo("p1a,p3a,h2a,h3a")*v_aa_oovv("h2a,h3a,p2a,p3a")*t_a_vo("p2a,h1a")
-0.5*t_a_vo("p1a,h2a")*(t_aa_vvoo("p2a,p3a,h1a,h3a")*v_aa_oovv("h2a,h3a,p2a,p3a"))
+0.5*v_aa_vovv("p1a,h2a,p2a,p5a")*t_aa_vvoo("p2a,p5a,h1a,h2a")
-t_a_vo("p1a,h2a")*f_a_oo("h2a,h1a")
-t_a_vo("p1a,h2a")*f_a_ov("h2a,p2a")*t_a_vo("p2a,h1a")
-t_ab_vvoo("p1a,p4b,h2a,h4b")*v_ab_oovv("h2a,h4b,p2a,p4b")*t_a_vo("p2a,h1a")
-t_ab_vvoo("p1a,p4b,h2a,h4b")*v_ab_ooov("h2a,h4b,h1a,p4b")
-t_a_vo("p1a,h2a")*(t_ab_vvoo("p2a,p4b,h1a,h4b")*v_ab_oovv("h2a,h4b,p2a,p4b"))
-t_a_vo("p1a,h2a")*(t_a_vo("p3a,h3a")*v_aa_oovv("h2a,h3a,p2a,p3a"))*t_a_vo("p2a,h1a")
-t_a_vo("p1a,h2a")*(t_b_vo("p4b,h4b")*v_ab_oovv("h2a,h4b,p2a,p4b"))*t_a_vo("p2a,h1a")
-t_a_vo("p1a,h2a")*(t_a_vo("p2a,h3a")*v_aa_ooov("h2a,h3a,h1a,p2a"))
-t_a_vo("p1a,h2a")*(t_b_vo("p4b,h4b")*v_ab_ooov("h2a,h4b,h1a,p4b"))
+t_aa_vvoo("p1a,p2a,h1a,h2a")*f_a_ov("h2a,p2a")
+f_a_vo("p1a,h1a")
+f_a_vv("p1a,p2a")*t_a_vo("p2a,h1a")
+t_ab_vvoo("p1a,p4b,h1a,h4b")*f_b_ov("h4b,p4b")
+t_aa_vvoo("p1a,p2a,h1a,h2a")*(t_a_vo("p3a,h3a")*v_aa_oovv("h2a,h3a,p2a,p3a"))
+t_aa_vvoo("p1a,p2a,h1a,h2a")*(t_b_vo("p4b,h4b")*v_ab_oovv("h2a,h4b,p2a,p4b"))
+t_ab_vvoo("p1a,p4b,h1a,h4b")*(t_a_vo("p2a,h2a")*v_ab_oovv("h2a,h4b,p2a,p4b"))
+t_ab_vvoo("p1a,p4b,h1a,h4b")*(t_b_vo("p6b,h6b")*v_bb_oovv("h4b,h6b,p4b,p6b"))
+v_ab_vovv("p1a,h4b,p2a,p4b")*t_ab_vvoo("p2a,p4b,h1a,h4b")
+v_aa_vovv("p1a,h2a,p2a,p3a")*t_a_vo("p3a,h2a")*t_a_vo("p2a,h1a")
+v_ab_vovv("p1a,h4b,p2a,p4b")*t_b_vo("p4b,h4b")*t_a_vo("p2a,h1a")
+v_aa_voov("p1a,h2a,h1a,p2a")*t_a_vo("p2a,h2a")
+v_ab_voov("p1a,h4b,h1a,p4b")*t_b_vo("p4b,h4b")
r_aa_vvoo("p7a,p8a,h7a,h8a") =
0.25*t_aa_vvoo("p7a,p8a,h9a,h10a")*v_aa_oovv("h9a,h10a,p9a,p10a")*t_aa_vvoo("p9a,p10a,h7a,h8a")
+0.5*t_aa_vvoo("p7a,p10a,h9a,h10a")*v_aa_oovv("h9a,h10a,p9a,p10a")*t_aa_vvoo("p8a,p9a,h7a,h8a")
-0.5*t_aa_vvoo("p7a,p8a,h7a,h9a")*(v_aa_oovv("h9a,h10a,p9a,p10a")*t_aa_vvoo("p9a,p10a,h8a,h10a"))
+0.5*t_aa_vvoo("p7a,p8a,h8a,h9a")*(v_aa_oovv("h9a,h10a,p9a,p10a")*t_aa_vvoo("p9a,p10a,h7a,h10a"))
+0.5*t_aa_vvoo("p7a,p8a,h9a,h10a")*(t_a_vo("p9a,h7a")*(t_a_vo("p10a,h8a")*v_aa_oovv("h9a,h10a,p9a,p10a")))
-0.5*t_aa_vvoo("p7a,p8a,h9a,h10a")*v_aa_ooov("h9a,h10a,h8a,p9a")*t_a_vo("p9a,h7a")
+0.5*t_aa_vvoo("p7a,p8a,h9a,h10a")*v_aa_ooov("h9a,h10a,h7a,p9a")*t_a_vo("p9a,h8a")
+0.5*t_aa_vvoo("p7a,p8a,h9a,h12a")*v_aa_oooo("h9a,h12a,h7a,h8a")
-0.5*t_aa_vvoo("p7a,p9a,h7a,h8a")*(t_aa_vvoo("p8a,p10a,h9a,h10a")*v_aa_oovv("h9a,h10a,p9a,p10a"))
+0.5*t_a_vo("p7a,h9a")*(t_a_vo("p8a,h10a")*(v_aa_oovv("h9a,h10a,p9a,p10a")*t_aa_vvoo("p9a,p10a,h7a,h8a")))
+0.5*t_a_vo("p7a,h9a")*(v_aa_vovv("p8a,h9a,p9a,p10a")*t_aa_vvoo("p9a,p10a,h7a,h8a"))
-0.5*v_aa_vovv("p7a,h9a,p9a,p10a")*(t_a_vo("p8a,h9a")*t_aa_vvoo("p9a,p10a,h7a,h8a"))
+0.5*v_aa_vvvv("p7a,p8a,p9a,p12a")*t_aa_vvoo("p9a,p12a,h7a,h8a")
-0.5*v_aa_vvvv("p7a,p8a,p9a,p10a")*t_a_vo("p10a,h7a")*t_a_vo("p9a,h8a")
+0.5*v_aa_vvvv("p7a,p8a,p9a,p10a")*t_a_vo("p9a,h7a")*t_a_vo("p10a,h8a")
-0.5*t_a_vo("p7a,h10a")*(t_a_vo("p8a,h9a")*v_aa_oooo("h9a,h10a,h7a,h8a"))
+0.5*t_a_vo("p7a,h9a")*(t_a_vo("p8a,h10a")*v_aa_oooo("h9a,h10a,h7a,h8a"))
-t_aa_vvoo("p7a,p8a,h7a,h9a")*f_a_oo("h9a,h8a")
-t_aa_vvoo("p7a,p8a,h7a,h9a")*f_a_ov("h9a,p9a")*t_a_vo("p9a,h8a")
-t_aa_vvoo("p7a,p9a,h7a,h8a")*f_a_ov("h9a,p9a")*t_a_vo("p8a,h9a")
-f_a_vv("p7a,p9a")*t_aa_vvoo("p8a,p9a,h7a,h8a")
-t_aa_vvoo("p7a,p8a,h7a,h9a")*(t_ab_vvoo("p9a,p11b,h8a,h11b")*v_ab_oovv("h9a,h11b,p9a,p11b"))
-t_aa_vvoo("p7a,p8a,h7a,h9a")*(t_a_vo("p9a,h8a")*(t_a_vo("p10a,h10a")*v_aa_oovv("h9a,h10a,p9a,p10a")))
-t_aa_vvoo("p7a,p8a,h7a,h9a")*(v_aa_ooov("h9a,h10a,h8a,p9a")*t_a_vo("p9a,h10a"))
-t_aa_vvoo("p7a,p8a,h7a,h9a")*(t_a_vo("p9a,h8a")*(t_b_vo("p11b,h11b")*v_ab_oovv("h9a,h11b,p9a,p11b")))
-t_aa_vvoo("p7a,p8a,h7a,h9a")*(t_b_vo("p11b,h11b")*v_ab_ooov("h9a,h11b,h8a,p11b"))
-t_aa_vvoo("p7a,p9a,h7a,h8a")*(t_ab_vvoo("p8a,p11b,h9a,h11b")*v_ab_oovv("h9a,h11b,p9a,p11b"))
-t_aa_vvoo("p7a,p9a,h7a,h8a")*(t_a_vo("p8a,h9a")*(t_a_vo("p10a,h10a")*v_aa_oovv("h9a,h10a,p9a,p10a")))
-t_aa_vvoo("p7a,p9a,h7a,h8a")*(t_a_vo("p8a,h9a")*(t_b_vo("p11b,h11b")*v_ab_oovv("h9a,h11b,p9a,p11b")))
-t_aa_vvoo("p7a,p9a,h7a,h9a")*(t_a_vo("p8a,h10a")*(t_a_vo("p10a,h8a")*v_aa_oovv("h9a,h10a,p9a,p10a")))
-t_aa_vvoo("p7a,p9a,h7a,h9a")*t_a_vo("p10a,h8a")*v_aa_vovv("p8a,h9a,p9a,p10a")
-t_aa_vvoo("p7a,p9a,h8a,h9a")*t_aa_vvoo("p8a,p10a,h7a,h10a")*v_aa_oovv("h9a,h10a,p9a,p10a")
-t_aa_vvoo("p7a,p9a,h8a,h9a")*t_ab_vvoo("p8a,p11b,h7a,h11b")*v_ab_oovv("h9a,h11b,p9a,p11b")
-t_aa_vvoo("p7a,p9a,h8a,h9a")*t_a_vo("p8a,h10a")*v_aa_ooov("h9a,h10a,h7a,p9a")
-t_aa_vvoo("p7a,p9a,h8a,h9a")*v_aa_voov("p8a,h9a,h7a,p9a")
-t_aa_vvoo("p8a,p9a,h7a,h8a")*t_a_vo("p10a,h9a")*v_aa_vovv("p7a,h9a,p9a,p10a")
-t_aa_vvoo("p8a,p9a,h7a,h8a")*t_b_vo("p11b,h11b")*v_ab_vovv("p7a,h11b,p9a,p11b")
-t_aa_vvoo("p8a,p9a,h7a,h9a")*t_ab_vvoo("p7a,p11b,h8a,h11b")*v_ab_oovv("h9a,h11b,p9a,p11b")
-t_aa_vvoo("p8a,p9a,h7a,h9a")*t_a_vo("p7a,h10a")*v_aa_ooov("h9a,h10a,h8a,p9a")
-t_aa_vvoo("p8a,p9a,h7a,h9a")*v_aa_voov("p7a,h9a,h8a,p9a")
-t_aa_vvoo("p8a,p9a,h8a,h9a")*t_a_vo("p10a,h7a")*t_a_vo("p7a,h10a")*v_aa_oovv("h9a,h10a,p9a,p10a")
-t_aa_vvoo("p8a,p9a,h8a,h9a")*t_a_vo("p10a,h7a")*v_aa_vovv("p7a,h9a,p9a,p10a")
-t_ab_vvoo("p7a,p11b,h7a,h11b")*t_a_vo("p8a,h9a")*t_a_vo("p9a,h8a")*v_ab_oovv("h9a,h11b,p9a,p11b")
-t_ab_vvoo("p7a,p11b,h7a,h11b")*t_a_vo("p8a,h9a")*v_ab_ooov("h9a,h11b,h8a,p11b")
-t_ab_vvoo("p7a,p11b,h8a,h11b")*t_ab_vvoo("p8a,p14b,h7a,h14b")*v_bb_oovv("h11b,h14b,p11b,p14b")
-t_ab_vvoo("p7a,p11b,h8a,h11b")*t_a_vo("p9a,h7a")*v_ab_vovv("p8a,h11b,p9a,p11b")
-t_ab_vvoo("p7a,p13b,h8a,h13b")*v_ab_voov("p8a,h13b,h7a,p13b")
-t_ab_vvoo("p8a,p11b,h7a,h11b")*t_a_vo("p9a,h8a")*v_ab_vovv("p7a,h11b,p9a,p11b")
-t_ab_vvoo("p8a,p11b,h8a,h11b")*t_a_vo("p7a,h9a")*t_a_vo("p9a,h7a")*v_ab_oovv("h9a,h11b,p9a,p11b")
-t_ab_vvoo("p8a,p11b,h8a,h11b")*t_a_vo("p7a,h9a")*v_ab_ooov("h9a,h11b,h7a,p11b")
-t_ab_vvoo("p8a,p13b,h7a,h13b")*v_ab_voov("p7a,h13b,h8a,p13b")
-t_a_vo("p10a,h8a")*t_a_vo("p8a,h9a")*t_a_vo("p9a,h7a")*v_aa_vovv("p7a,h9a,p9a,p10a")
-t_a_vo("p7a,h9a")*t_a_vo("p8a,h10a")*t_a_vo("p9a,h7a")*v_aa_ooov("h9a,h10a,h8a,p9a")
-t_a_vo("p7a,h9a")*t_a_vo("p9a,h7a")*v_aa_voov("p8a,h9a,h8a,p9a")
-t_a_vo("p8a,h9a")*t_a_vo("p9a,h8a")*v_aa_voov("p7a,h9a,h7a,p9a")
-t_a_vo("p8a,h9a")*v_aa_vooo("p7a,h9a,h7a,h8a")
-t_a_vo("p9a,h7a")*v_aa_vvov("p7a,p8a,h8a,p9a")
+f_a_oo("h9a,h7a")*t_aa_vvoo("p7a,p8a,h8a,h9a")
+f_a_ov("h9a,p9a")*t_aa_vvoo("p7a,p8a,h8a,h9a")*t_a_vo("p9a,h7a")
+f_a_ov("h9a,p9a")*t_aa_vvoo("p8a,p9a,h7a,h8a")*t_a_vo("p7a,h9a")
+f_a_vv("p8a,p9a")*t_aa_vvoo("p7a,p9a,h7a,h8a")
+t_aa_vvoo("p7a,p8a,h8a,h9a")*t_ab_vvoo("p9a,p11b,h7a,h11b")*v_ab_oovv("h9a,h11b,p9a,p11b")
+t_aa_vvoo("p7a,p8a,h8a,h9a")*t_a_vo("p10a,h10a")*t_a_vo("p9a,h7a")*v_aa_oovv("h9a,h10a,p9a,p10a")
+t_aa_vvoo("p7a,p8a,h8a,h9a")*t_a_vo("p9a,h10a")*v_aa_ooov("h9a,h10a,h7a,p9a")
+t_aa_vvoo("p7a,p8a,h8a,h9a")*t_a_vo("p9a,h7a")*t_b_vo("p11b,h11b")*v_ab_oovv("h9a,h11b,p9a,p11b")
+t_aa_vvoo("p7a,p8a,h8a,h9a")*t_b_vo("p11b,h11b")*v_ab_ooov("h9a,h11b,h7a,p11b")
+t_aa_vvoo("p7a,p9a,h7a,h8a")*t_a_vo("p10a,h9a")*v_aa_vovv("p8a,h9a,p9a,p10a")
+t_aa_vvoo("p7a,p9a,h7a,h8a")*t_b_vo("p11b,h11b")*v_ab_vovv("p8a,h11b,p9a,p11b")
+t_aa_vvoo("p7a,p9a,h7a,h9a")*t_aa_vvoo("p8a,p10a,h8a,h10a")*v_aa_oovv("h9a,h10a,p9a,p10a")
+t_aa_vvoo("p7a,p9a,h7a,h9a")*t_ab_vvoo("p8a,p11b,h8a,h11b")*v_ab_oovv("h9a,h11b,p9a,p11b")
+t_aa_vvoo("p7a,p9a,h7a,h9a")*t_a_vo("p8a,h10a")*v_aa_ooov("h9a,h10a,h8a,p9a")
+t_aa_vvoo("p7a,p9a,h7a,h9a")*v_aa_voov("p8a,h9a,h8a,p9a")
+t_aa_vvoo("p7a,p9a,h8a,h9a")*t_a_vo("p10a,h7a")*t_a_vo("p8a,h10a")*v_aa_oovv("h9a,h10a,p9a,p10a")
+t_aa_vvoo("p7a,p9a,h8a,h9a")*t_a_vo("p10a,h7a")*v_aa_vovv("p8a,h9a,p9a,p10a")
+t_aa_vvoo("p8a,p9a,h7a,h8a")*t_ab_vvoo("p7a,p11b,h9a,h11b")*v_ab_oovv("h9a,h11b,p9a,p11b")
+t_aa_vvoo("p8a,p9a,h7a,h8a")*t_a_vo("p10a,h10a")*t_a_vo("p7a,h9a")*v_aa_oovv("h9a,h10a,p9a,p10a")
+t_aa_vvoo("p8a,p9a,h7a,h8a")*t_a_vo("p7a,h9a")*t_b_vo("p11b,h11b")*v_ab_oovv("h9a,h11b,p9a,p11b")
+t_aa_vvoo("p8a,p9a,h7a,h9a")*t_a_vo("p10a,h8a")*t_a_vo("p7a,h10a")*v_aa_oovv("h9a,h10a,p9a,p10a")
+t_aa_vvoo("p8a,p9a,h7a,h9a")*t_a_vo("p10a,h8a")*v_aa_vovv("p7a,h9a,p9a,p10a")
+t_aa_vvoo("p8a,p9a,h8a,h9a")*t_ab_vvoo("p7a,p11b,h7a,h11b")*v_ab_oovv("h9a,h11b,p9a,p11b")
+t_aa_vvoo("p8a,p9a,h8a,h9a")*t_a_vo("p7a,h10a")*v_aa_ooov("h9a,h10a,h7a,p9a")
+t_aa_vvoo("p8a,p9a,h8a,h9a")*v_aa_voov("p7a,h9a,h7a,p9a")
+t_ab_vvoo("p7a,p11b,h7a,h11b")*t_ab_vvoo("p8a,p14b,h8a,h14b")*v_bb_oovv("h11b,h14b,p11b,p14b")
+t_ab_vvoo("p7a,p11b,h7a,h11b")*t_a_vo("p9a,h8a")*v_ab_vovv("p8a,h11b,p9a,p11b")
+t_ab_vvoo("p7a,p11b,h8a,h11b")*t_a_vo("p8a,h9a")*t_a_vo("p9a,h7a")*v_ab_oovv("h9a,h11b,p9a,p11b")
+t_ab_vvoo("p7a,p11b,h8a,h11b")*t_a_vo("p8a,h9a")*v_ab_ooov("h9a,h11b,h7a,p11b")
+t_ab_vvoo("p7a,p13b,h7a,h13b")*v_ab_voov("p8a,h13b,h8a,p13b")
+t_ab_vvoo("p8a,p11b,h7a,h11b")*t_a_vo("p7a,h9a")*t_a_vo("p9a,h8a")*v_ab_oovv("h9a,h11b,p9a,p11b")
+t_ab_vvoo("p8a,p11b,h7a,h11b")*t_a_vo("p7a,h9a")*v_ab_ooov("h9a,h11b,h8a,p11b")
+t_ab_vvoo("p8a,p11b,h8a,h11b")*t_a_vo("p9a,h7a")*v_ab_vovv("p7a,h11b,p9a,p11b")
+t_ab_vvoo("p8a,p13b,h8a,h13b")*v_ab_voov("p7a,h13b,h7a,p13b")
+t_a_vo("p10a,h8a")*t_a_vo("p7a,h9a")*t_a_vo("p8a,h10a")*t_a_vo("p9a,h7a")*v_aa_oovv("h9a,h10a,p9a,p10a")
+t_a_vo("p10a,h8a")*t_a_vo("p7a,h9a")*t_a_vo("p9a,h7a")*v_aa_vovv("p8a,h9a,p9a,p10a")
+t_a_vo("p7a,h9a")*t_a_vo("p8a,h10a")*t_a_vo("p9a,h8a")*v_aa_ooov("h9a,h10a,h7a,p9a")
+t_a_vo("p7a,h9a")*t_a_vo("p9a,h8a")*v_aa_voov("p8a,h9a,h7a,p9a")
+t_a_vo("p7a,h9a")*v_aa_vooo("p8a,h9a,h7a,h8a")
+t_a_vo("p8a,h9a")*t_a_vo("p9a,h7a")*v_aa_voov("p7a,h9a,h8a,p9a")
+t_a_vo("p9a,h8a")*v_aa_vvov("p7a,p8a,h7a,p9a")
+v_aa_vvoo("p7a,p8a,h7a,h8a")
r_ab_vvoo("p17a,p16b,h17a,h15b") =
-0.5*t_aa_vvoo("p17a,p20a,h18a,h20a")*t_ab_vvoo("p18a,p16b,h17a,h15b")*v_aa_oovv("h18a,h20a,p18a,p20a")
-0.5*t_aa_vvoo("p18a,p20a,h17a,h20a")*t_ab_vvoo("p17a,p16b,h18a,h15b")*v_aa_oovv("h18a,h20a,p18a,p20a")
-0.5*t_ab_vvoo("p17a,p15b,h17a,h15b")*t_bb_vvoo("p16b,p19b,h16b,h19b")*v_bb_oovv("h16b,h19b,p15b,p19b")
-0.5*t_ab_vvoo("p17a,p16b,h17a,h16b")*t_bb_vvoo("p15b,p19b,h15b,h19b")*v_bb_oovv("h16b,h19b,p15b,p19b")
-f_a_oo("h18a,h17a")*t_ab_vvoo("p17a,p16b,h18a,h15b")
-f_a_ov("h18a,p18a")*t_ab_vvoo("p17a,p16b,h18a,h15b")*t_a_vo("p18a,h17a")
-f_a_ov("h18a,p18a")*t_ab_vvoo("p18a,p16b,h17a,h15b")*t_a_vo("p17a,h18a")
-f_b_oo("h16b,h15b")*t_ab_vvoo("p17a,p16b,h17a,h16b")
-f_b_ov("h16b,p15b")*t_ab_vvoo("p17a,p15b,h17a,h15b")*t_b_vo("p16b,h16b")
-f_b_ov("h16b,p15b")*t_ab_vvoo("p17a,p16b,h17a,h16b")*t_b_vo("p15b,h15b")
-t_aa_vvoo("p17a,p18a,h17a,h18a")*t_b_vo("p15b,h15b")*t_b_vo("p16b,h16b")*v_ab_oovv("h18a,h16b,p18a,p15b")
-t_aa_vvoo("p17a,p18a,h17a,h18a")*t_b_vo("p16b,h16b")*v_ab_oovo("h18a,h16b,p18a,h15b")
-t_ab_vvoo("p17a,p15b,h17a,h15b")*t_ab_vvoo("p18a,p16b,h18a,h16b")*v_ab_oovv("h18a,h16b,p18a,p15b")
-t_ab_vvoo("p17a,p15b,h17a,h15b")*t_a_vo("p18a,h18a")*t_b_vo("p16b,h16b")*v_ab_oovv("h18a,h16b,p18a,p15b")
-t_ab_vvoo("p17a,p15b,h17a,h15b")*t_b_vo("p16b,h16b")*t_b_vo("p19b,h19b")*v_bb_oovv("h16b,h19b,p15b,p19b")
-t_ab_vvoo("p17a,p15b,h17a,h16b")*t_b_vo("p16b,h19b")*t_b_vo("p19b,h15b")*v_bb_oovv("h16b,h19b,p15b,p19b")
-t_ab_vvoo("p17a,p15b,h17a,h16b")*t_b_vo("p19b,h15b")*v_bb_vovv("p16b,h16b,p15b,p19b")
-t_ab_vvoo("p17a,p15b,h18a,h15b")*t_a_vo("p18a,h17a")*v_ab_ovvv("h18a,p16b,p18a,p15b")
-t_ab_vvoo("p17a,p15b,h18a,h15b")*v_ab_ovov("h18a,p16b,h17a,p15b")
-t_ab_vvoo("p17a,p15b,h18a,h16b")*t_ab_vvoo("p18a,p16b,h17a,h15b")*v_ab_oovv("h18a,h16b,p18a,p15b")
-t_ab_vvoo("p17a,p16b,h17a,h16b")*t_ab_vvoo("p18a,p15b,h18a,h15b")*v_ab_oovv("h18a,h16b,p18a,p15b")
-t_ab_vvoo("p17a,p16b,h17a,h16b")*t_a_vo("p18a,h18a")*t_b_vo("p15b,h15b")*v_ab_oovv("h18a,h16b,p18a,p15b")
-t_ab_vvoo("p17a,p16b,h17a,h16b")*t_a_vo("p18a,h18a")*v_ab_oovo("h18a,h16b,p18a,h15b")
-t_ab_vvoo("p17a,p16b,h17a,h16b")*t_b_vo("p15b,h15b")*t_b_vo("p19b,h19b")*v_bb_oovv("h16b,h19b,p15b,p19b")
-t_ab_vvoo("p17a,p16b,h17a,h16b")*t_b_vo("p15b,h19b")*v_bb_ooov("h16b,h19b,h15b,p15b")
-t_ab_vvoo("p17a,p16b,h18a,h15b")*t_ab_vvoo("p18a,p15b,h17a,h16b")*v_ab_oovv("h18a,h16b,p18a,p15b")
-t_ab_vvoo("p17a,p16b,h18a,h15b")*t_a_vo("p18a,h17a")*t_a_vo("p20a,h20a")*v_aa_oovv("h18a,h20a,p18a,p20a")
-t_ab_vvoo("p17a,p16b,h18a,h15b")*t_a_vo("p18a,h17a")*t_b_vo("p15b,h16b")*v_ab_oovv("h18a,h16b,p18a,p15b")
-t_ab_vvoo("p17a,p16b,h18a,h15b")*t_a_vo("p18a,h20a")*v_aa_ooov("h18a,h20a,h17a,p18a")
-t_ab_vvoo("p17a,p16b,h18a,h15b")*t_b_vo("p15b,h16b")*v_ab_ooov("h18a,h16b,h17a,p15b")
-t_ab_vvoo("p18a,p15b,h17a,h15b")*t_a_vo("p17a,h18a")*v_ab_ovvv("h18a,p16b,p18a,p15b")
-t_ab_vvoo("p18a,p15b,h17a,h15b")*t_b_vo("p16b,h16b")*v_ab_vovv("p17a,h16b,p18a,p15b")
-t_ab_vvoo("p18a,p16b,h17a,h15b")*t_a_vo("p17a,h18a")*t_a_vo("p20a,h20a")*v_aa_oovv("h18a,h20a,p18a,p20a")
-t_ab_vvoo("p18a,p16b,h17a,h15b")*t_a_vo("p17a,h18a")*t_b_vo("p15b,h16b")*v_ab_oovv("h18a,h16b,p18a,p15b")
-t_ab_vvoo("p18a,p16b,h17a,h16b")*t_b_vo("p15b,h15b")*v_ab_vovv("p17a,h16b,p18a,p15b")
-t_ab_vvoo("p18a,p16b,h17a,h16b")*v_ab_vovo("p17a,h16b,p18a,h15b")
-t_ab_vvoo("p18a,p16b,h18a,h15b")*t_a_vo("p17a,h20a")*t_a_vo("p20a,h17a")*v_aa_oovv("h18a,h20a,p18a,p20a")
-t_ab_vvoo("p18a,p16b,h18a,h15b")*t_a_vo("p20a,h17a")*v_aa_vovv("p17a,h18a,p18a,p20a")
-t_a_vo("p17a,h18a")*t_a_vo("p18a,h17a")*t_bb_vvoo("p16b,p15b,h15b,h16b")*v_ab_oovv("h18a,h16b,p18a,p15b")
-t_a_vo("p17a,h18a")*t_a_vo("p18a,h17a")*t_b_vo("p15b,h15b")*v_ab_ovvv("h18a,p16b,p18a,p15b")
-t_a_vo("p17a,h18a")*t_a_vo("p18a,h17a")*v_ab_ovvo("h18a,p16b,p18a,h15b")
-t_a_vo("p17a,h18a")*t_bb_vvoo("p16b,p15b,h15b,h16b")*v_ab_ooov("h18a,h16b,h17a,p15b")
-t_a_vo("p17a,h18a")*t_b_vo("p15b,h15b")*v_ab_ovov("h18a,p16b,h17a,p15b")
-t_a_vo("p17a,h18a")*v_ab_ovoo("h18a,p16b,h17a,h15b")
-t_a_vo("p18a,h17a")*t_b_vo("p15b,h15b")*t_b_vo("p16b,h16b")*v_ab_vovv("p17a,h16b,p18a,p15b")
-t_a_vo("p18a,h17a")*t_b_vo("p16b,h16b")*v_ab_vovo("p17a,h16b,p18a,h15b")
-t_b_vo("p15b,h15b")*t_b_vo("p16b,h16b")*v_ab_voov("p17a,h16b,h17a,p15b")
-t_b_vo("p16b,h16b")*v_ab_vooo("p17a,h16b,h17a,h15b")
+f_a_vv("p17a,p18a")*t_ab_vvoo("p18a,p16b,h17a,h15b")
+f_b_vv("p16b,p15b")*t_ab_vvoo("p17a,p15b,h17a,h15b")
+t_aa_vvoo("p17a,p18a,h17a,h18a")*t_ab_vvoo("p20a,p16b,h20a,h15b")*v_aa_oovv("h18a,h20a,p18a,p20a")
+t_aa_vvoo("p17a,p18a,h17a,h18a")*t_bb_vvoo("p16b,p15b,h15b,h16b")*v_ab_oovv("h18a,h16b,p18a,p15b")
+t_aa_vvoo("p17a,p18a,h17a,h18a")*t_b_vo("p15b,h15b")*v_ab_ovvv("h18a,p16b,p18a,p15b")
+t_aa_vvoo("p17a,p18a,h17a,h18a")*v_ab_ovvo("h18a,p16b,p18a,h15b")
+t_ab_vvoo("p17a,p15b,h17a,h15b")*t_a_vo("p18a,h18a")*v_ab_ovvv("h18a,p16b,p18a,p15b")
+t_ab_vvoo("p17a,p15b,h17a,h15b")*t_b_vo("p19b,h16b")*v_bb_vovv("p16b,h16b,p15b,p19b")
+t_ab_vvoo("p17a,p15b,h17a,h16b")*t_ab_vvoo("p18a,p16b,h18a,h15b")*v_ab_oovv("h18a,h16b,p18a,p15b")
+t_ab_vvoo("p17a,p15b,h17a,h16b")*t_b_vo("p16b,h19b")*v_bb_ooov("h16b,h19b,h15b,p15b")
+t_ab_vvoo("p17a,p15b,h17a,h16b")*v_bb_voov("p16b,h16b,h15b,p15b")
+t_ab_vvoo("p17a,p15b,h18a,h15b")*t_ab_vvoo("p18a,p16b,h17a,h16b")*v_ab_oovv("h18a,h16b,p18a,p15b")
+t_ab_vvoo("p17a,p15b,h18a,h15b")*t_a_vo("p18a,h17a")*t_b_vo("p16b,h16b")*v_ab_oovv("h18a,h16b,p18a,p15b")
+t_ab_vvoo("p17a,p15b,h18a,h15b")*t_b_vo("p16b,h16b")*v_ab_ooov("h18a,h16b,h17a,p15b")
+t_ab_vvoo("p17a,p16b,h18a,h16b")*t_ab_vvoo("p18a,p15b,h17a,h15b")*v_ab_oovv("h18a,h16b,p18a,p15b")
+t_ab_vvoo("p17a,p16b,h18a,h16b")*t_a_vo("p18a,h17a")*t_b_vo("p15b,h15b")*v_ab_oovv("h18a,h16b,p18a,p15b")
+t_ab_vvoo("p17a,p16b,h18a,h16b")*t_a_vo("p18a,h17a")*v_ab_oovo("h18a,h16b,p18a,h15b")
+t_ab_vvoo("p17a,p16b,h18a,h16b")*t_b_vo("p15b,h15b")*v_ab_ooov("h18a,h16b,h17a,p15b")
+t_ab_vvoo("p17a,p16b,h18a,h16b")*v_ab_oooo("h18a,h16b,h17a,h15b")
+t_ab_vvoo("p17a,p19b,h17a,h19b")*t_bb_vvoo("p16b,p15b,h15b,h16b")*v_bb_oovv("h16b,h19b,p15b,p19b")
+t_ab_vvoo("p18a,p15b,h17a,h15b")*t_a_vo("p17a,h18a")*t_b_vo("p16b,h16b")*v_ab_oovv("h18a,h16b,p18a,p15b")
+t_ab_vvoo("p18a,p15b,h17a,h15b")*v_ab_vvvv("p17a,p16b,p18a,p15b")
+t_ab_vvoo("p18a,p16b,h17a,h15b")*t_a_vo("p20a,h18a")*v_aa_vovv("p17a,h18a,p18a,p20a")
+t_ab_vvoo("p18a,p16b,h17a,h15b")*t_b_vo("p15b,h16b")*v_ab_vovv("p17a,h16b,p18a,p15b")
+t_ab_vvoo("p18a,p16b,h17a,h16b")*t_a_vo("p17a,h18a")*t_b_vo("p15b,h15b")*v_ab_oovv("h18a,h16b,p18a,p15b")
+t_ab_vvoo("p18a,p16b,h17a,h16b")*t_a_vo("p17a,h18a")*v_ab_oovo("h18a,h16b,p18a,h15b")
+t_ab_vvoo("p18a,p16b,h18a,h15b")*t_a_vo("p17a,h20a")*v_aa_ooov("h18a,h20a,h17a,p18a")
+t_ab_vvoo("p18a,p16b,h18a,h15b")*v_aa_voov("p17a,h18a,h17a,p18a")
+t_a_vo("p17a,h18a")*t_a_vo("p18a,h17a")*t_b_vo("p15b,h15b")*t_b_vo("p16b,h16b")*v_ab_oovv("h18a,h16b,p18a,p15b")
+t_a_vo("p17a,h18a")*t_a_vo("p18a,h17a")*t_b_vo("p16b,h16b")*v_ab_oovo("h18a,h16b,p18a,h15b")
+t_a_vo("p17a,h18a")*t_b_vo("p15b,h15b")*t_b_vo("p16b,h16b")*v_ab_ooov("h18a,h16b,h17a,p15b")
+t_a_vo("p17a,h18a")*t_b_vo("p16b,h16b")*v_ab_oooo("h18a,h16b,h17a,h15b")
+t_a_vo("p18a,h17a")*t_bb_vvoo("p16b,p15b,h15b,h16b")*v_ab_vovv("p17a,h16b,p18a,p15b")
+t_a_vo("p18a,h17a")*t_b_vo("p15b,h15b")*v_ab_vvvv("p17a,p16b,p18a,p15b")
+t_a_vo("p18a,h17a")*v_ab_vvvo("p17a,p16b,p18a,h15b")
+t_bb_vvoo("p16b,p15b,h15b,h16b")*v_ab_voov("p17a,h16b,h17a,p15b")
+t_b_vo("p15b,h15b")*v_ab_vvov("p17a,p16b,h17a,p15b")
+v_ab_vvoo("p17a,p16b,h17a,h15b")
|
