-
Notifications
You must be signed in to change notification settings - Fork 1
/
ex.tre
309 lines (309 loc) · 10.3 KB
/
ex.tre
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
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
(AF,AFT,(AN,ATM),NE,NT,OR,PA);
(AF,AFT,((AN,NT),ATM),NE,OR,PA);
(AF,AFT,AN,ATM,NE,NT,OR,PA);
(AF,AFT,(AN,ATM,NT),NE,OR,PA);
(((AF,ATM),AN),AFT,NE,NT,OR,PA);
(((AF,ATM),(AN,NT)),AFT,NE,OR,PA);
((AF,AN,ATM),AFT,NE,NT,OR,PA);
((AF,(AN,ATM,NT)),AFT,NE,OR,PA);
(AF,AFT,((AN,ATM),NT),NE,OR,PA);
((((AF,ATM),AN),NT),AFT,NE,OR,PA);
(((AF,AN,ATM),NT),AFT,NE,OR,PA);
(AF,AFT,((AN,ATM),OR),NE,NT,PA);
(AF,AFT,(AN,ATM,OR),NE,NT,PA);
((((AF,ATM),AN),OR),AFT,NE,NT,PA);
(((AF,AN,ATM),OR),AFT,NE,NT,PA);
(AF,AFT,((AN,ATM),NT,OR),NE,PA);
(AF,AFT,(AN,ATM,NT,OR),NE,PA);
((((AF,ATM),AN),NT,OR),AFT,NE,PA);
(((AF,AN,ATM),NT,OR),AFT,NE,PA);
(AF,AFT,(((AN,NT),ATM),OR),NE,PA);
(AF,AFT,((AN,ATM,NT),OR),NE,PA);
((((AF,ATM),(AN,NT)),OR),AFT,NE,PA);
(((AF,(AN,ATM,NT)),OR),AFT,NE,PA);
(AF,AFT,(AN,(ATM,OR)),NE,NT,PA);
(AF,AFT,((AN,NT),(ATM,OR)),NE,PA);
(((AF,ATM,OR),AN),AFT,NE,NT,PA);
(((AF,ATM,OR),(AN,NT)),AFT,NE,PA);
((AF,AN,ATM,OR),AFT,NE,NT,PA);
((AF,(AN,ATM,NT),OR),AFT,NE,PA);
(AF,AFT,((AN,(ATM,OR)),NT),NE,PA);
(AF,AFT,((AN,ATM,OR),NT),NE,PA);
((((AF,ATM,OR),AN),NT),AFT,NE,PA);
(((AF,AN,ATM,OR),NT),AFT,NE,PA);
(AF,AFT,((AN,ATM),NE),NT,OR,PA);
(AF,AFT,(AN,ATM,NE),NT,OR,PA);
((((AF,ATM),AN),NE),AFT,NT,OR,PA);
(((AF,AN,ATM),NE),AFT,NT,OR,PA);
(AF,AFT,((AN,ATM),NE,NT),OR,PA);
(AF,AFT,(AN,ATM,NE,NT),OR,PA);
((((AF,ATM),AN),NE,NT),AFT,OR,PA);
(((AF,AN,ATM),NE,NT),AFT,OR,PA);
(AF,AFT,(((AN,NT),ATM),NE),OR,PA);
(AF,AFT,((AN,ATM,NT),NE),OR,PA);
((((AF,ATM),(AN,NT)),NE),AFT,OR,PA);
(((AF,(AN,ATM,NT)),NE),AFT,OR,PA);
(AF,AFT,((AN,ATM),NE,OR),NT,PA);
(AF,AFT,(AN,ATM,NE,OR),NT,PA);
((((AF,ATM),AN),NE,OR),AFT,NT,PA);
(((AF,AN,ATM),NE,OR),AFT,NT,PA);
(AF,AFT,((AN,ATM),NE,NT,OR),PA);
(AF,AFT,(AN,ATM,NE,NT,OR),PA);
((((AF,ATM),AN),NE,NT,OR),AFT,PA);
(((AF,AN,ATM),NE,NT,OR),AFT,PA);
(AF,AFT,(((AN,NT),ATM),NE,OR),PA);
(AF,AFT,((AN,ATM,NT),NE,OR),PA);
((((AF,ATM),(AN,NT)),NE,OR),AFT,PA);
(((AF,(AN,ATM,NT)),NE,OR),AFT,PA);
(AF,AFT,((AN,(ATM,OR)),NE),NT,PA);
(AF,AFT,((AN,ATM,OR),NE),NT,PA);
((((AF,ATM,OR),AN),NE),AFT,NT,PA);
(((AF,AN,ATM,OR),NE),AFT,NT,PA);
(AF,AFT,((AN,(ATM,OR)),NE,NT),PA);
(AF,AFT,((AN,ATM,OR),NE,NT),PA);
((((AF,ATM,OR),AN),NE,NT),AFT,PA);
(((AF,AN,ATM,OR),NE,NT),AFT,PA);
(AF,AFT,(((AN,NT),(ATM,OR)),NE),PA);
(AF,AFT,(((AN,ATM,NT),OR),NE),PA);
((((AF,ATM,OR),(AN,NT)),NE),AFT,PA);
(((AF,(AN,ATM,NT),OR),NE),AFT,PA);
(AF,AFT,(AN,(ATM,NE)),NT,OR,PA);
(AF,AFT,((AN,NT),(ATM,NE)),OR,PA);
(((AF,ATM,NE),AN),AFT,NT,OR,PA);
(((AF,ATM,NE),(AN,NT)),AFT,OR,PA);
((AF,AN,ATM,NE),AFT,NT,OR,PA);
((AF,(AN,ATM,NT),NE),AFT,OR,PA);
(AF,AFT,((AN,(ATM,NE)),NT),OR,PA);
(AF,AFT,((AN,ATM,NE),NT),OR,PA);
((((AF,ATM,NE),AN),NT),AFT,OR,PA);
(((AF,AN,ATM,NE),NT),AFT,OR,PA);
(AF,AFT,((AN,(ATM,NE)),OR),NT,PA);
(AF,AFT,((AN,ATM,NE),OR),NT,PA);
((((AF,ATM,NE),AN),OR),AFT,NT,PA);
(((AF,AN,ATM,NE),OR),AFT,NT,PA);
(AF,AFT,((AN,(ATM,NE)),NT,OR),PA);
(AF,AFT,((AN,ATM,NE),NT,OR),PA);
((((AF,ATM,NE),AN),NT,OR),AFT,PA);
(((AF,AN,ATM,NE),NT,OR),AFT,PA);
(AF,AFT,(((AN,NT),(ATM,NE)),OR),PA);
(AF,AFT,(((AN,ATM,NT),NE),OR),PA);
((((AF,ATM,NE),(AN,NT)),OR),AFT,PA);
(((AF,(AN,ATM,NT),NE),OR),AFT,PA);
(AF,AFT,(AN,(ATM,NE,OR)),NT,PA);
(AF,AFT,((AN,NT),(ATM,NE,OR)),PA);
(((AF,ATM,NE,OR),AN),AFT,NT,PA);
(((AF,ATM,NE,OR),(AN,NT)),AFT,PA);
((AF,AN,ATM,NE,OR),AFT,NT,PA);
((AF,(AN,ATM,NT),NE,OR),AFT,PA);
(AF,AFT,((AN,(ATM,NE,OR)),NT),PA);
(AF,AFT,((AN,ATM,NE,OR),NT),PA);
((((AF,ATM,NE,OR),AN),NT),AFT,PA);
(((AF,AN,ATM,NE,OR),NT),AFT,PA);
(AF,AFT,((AN,ATM),PA),NE,NT,OR);
(AF,AFT,(AN,ATM,PA),NE,NT,OR);
((((AF,ATM),AN),PA),AFT,NE,NT,OR);
(((AF,AN,ATM),PA),AFT,NE,NT,OR);
(AF,AFT,((AN,ATM),NT,PA),NE,OR);
(AF,AFT,(AN,ATM,NT,PA),NE,OR);
((((AF,ATM),AN),NT,PA),AFT,NE,OR);
(((AF,AN,ATM),NT,PA),AFT,NE,OR);
(AF,AFT,(((AN,NT),ATM),PA),NE,OR);
(AF,AFT,((AN,ATM,NT),PA),NE,OR);
((((AF,ATM),(AN,NT)),PA),AFT,NE,OR);
(((AF,(AN,ATM,NT)),PA),AFT,NE,OR);
(AF,AFT,((AN,ATM),OR,PA),NE,NT);
(AF,AFT,(AN,ATM,OR,PA),NE,NT);
((((AF,ATM),AN),OR,PA),AFT,NE,NT);
(((AF,AN,ATM),OR,PA),AFT,NE,NT);
(AF,AFT,((AN,ATM),NT,OR,PA),NE);
(AF,AFT,(AN,ATM,NT,OR,PA),NE);
((((AF,ATM),AN),NT,OR,PA),AFT,NE);
(((AF,AN,ATM),NT,OR,PA),AFT,NE);
(AF,AFT,(((AN,NT),ATM),OR,PA),NE);
(AF,AFT,((AN,ATM,NT),OR,PA),NE);
((((AF,ATM),(AN,NT)),OR,PA),AFT,NE);
(((AF,(AN,ATM,NT)),OR,PA),AFT,NE);
(AF,AFT,((AN,(ATM,OR)),PA),NE,NT);
(AF,AFT,((AN,ATM,OR),PA),NE,NT);
((((AF,ATM,OR),AN),PA),AFT,NE,NT);
(((AF,AN,ATM,OR),PA),AFT,NE,NT);
(AF,AFT,((AN,(ATM,OR)),NT,PA),NE);
(AF,AFT,((AN,ATM,OR),NT,PA),NE);
((((AF,ATM,OR),AN),NT,PA),AFT,NE);
(((AF,AN,ATM,OR),NT,PA),AFT,NE);
(AF,AFT,(((AN,NT),(ATM,OR)),PA),NE);
(AF,AFT,(((AN,ATM,NT),OR),PA),NE);
((((AF,ATM,OR),(AN,NT)),PA),AFT,NE);
(((AF,(AN,ATM,NT),OR),PA),AFT,NE);
(AF,AFT,((AN,ATM),NE,PA),NT,OR);
(AF,AFT,(AN,ATM,NE,PA),NT,OR);
((((AF,ATM),AN),NE,PA),AFT,NT,OR);
(((AF,AN,ATM),NE,PA),AFT,NT,OR);
(AF,AFT,((AN,ATM),NE,NT,PA),OR);
(AF,AFT,(AN,ATM,NE,NT,PA),OR);
((((AF,ATM),AN),NE,NT,PA),AFT,OR);
(((AF,AN,ATM),NE,NT,PA),AFT,OR);
(AF,AFT,(((AN,NT),ATM),NE,PA),OR);
(AF,AFT,((AN,ATM,NT),NE,PA),OR);
((((AF,ATM),(AN,NT)),NE,PA),AFT,OR);
(((AF,(AN,ATM,NT)),NE,PA),AFT,OR);
(AF,AFT,((AN,ATM),NE,OR,PA),NT);
(AF,AFT,(AN,ATM,NE,OR,PA),NT);
((((AF,ATM),AN),NE,OR,PA),AFT,NT);
(((AF,AN,ATM),NE,OR,PA),AFT,NT);
(AF,AFT,((AN,ATM),NE,NT,OR,PA));
(AF,AFT,(AN,ATM,NE,NT,OR,PA));
((((AF,ATM),AN),NE,NT,OR,PA),AFT);
(((AF,AN,ATM),NE,NT,OR,PA),AFT);
(AF,AFT,(((AN,NT),ATM),NE,OR,PA));
(AF,AFT,((AN,ATM,NT),NE,OR,PA));
((((AF,ATM),(AN,NT)),NE,OR,PA),AFT);
(((AF,(AN,ATM,NT)),NE,OR,PA),AFT);
(AF,AFT,((AN,(ATM,OR)),NE,PA),NT);
(AF,AFT,((AN,ATM,OR),NE,PA),NT);
((((AF,ATM,OR),AN),NE,PA),AFT,NT);
(((AF,AN,ATM,OR),NE,PA),AFT,NT);
(AF,AFT,((AN,(ATM,OR)),NE,NT,PA));
(AF,AFT,((AN,ATM,OR),NE,NT,PA));
((((AF,ATM,OR),AN),NE,NT,PA),AFT);
(((AF,AN,ATM,OR),NE,NT,PA),AFT);
(AF,AFT,(((AN,NT),(ATM,OR)),NE,PA));
(AF,AFT,(((AN,ATM,NT),OR),NE,PA));
((((AF,ATM,OR),(AN,NT)),NE,PA),AFT);
(((AF,(AN,ATM,NT),OR),NE,PA),AFT);
(AF,AFT,((AN,(ATM,NE)),PA),NT,OR);
(AF,AFT,((AN,ATM,NE),PA),NT,OR);
((((AF,ATM,NE),AN),PA),AFT,NT,OR);
(((AF,AN,ATM,NE),PA),AFT,NT,OR);
(AF,AFT,((AN,(ATM,NE)),NT,PA),OR);
(AF,AFT,((AN,ATM,NE),NT,PA),OR);
((((AF,ATM,NE),AN),NT,PA),AFT,OR);
(((AF,AN,ATM,NE),NT,PA),AFT,OR);
(AF,AFT,(((AN,NT),(ATM,NE)),PA),OR);
(AF,AFT,(((AN,ATM,NT),NE),PA),OR);
((((AF,ATM,NE),(AN,NT)),PA),AFT,OR);
(((AF,(AN,ATM,NT),NE),PA),AFT,OR);
(AF,AFT,((AN,(ATM,NE)),OR,PA),NT);
(AF,AFT,((AN,ATM,NE),OR,PA),NT);
((((AF,ATM,NE),AN),OR,PA),AFT,NT);
(((AF,AN,ATM,NE),OR,PA),AFT,NT);
(AF,AFT,((AN,(ATM,NE)),NT,OR,PA));
(AF,AFT,((AN,ATM,NE),NT,OR,PA));
((((AF,ATM,NE),AN),NT,OR,PA),AFT);
(((AF,AN,ATM,NE),NT,OR,PA),AFT);
(AF,AFT,(((AN,NT),(ATM,NE)),OR,PA));
(AF,AFT,(((AN,ATM,NT),NE),OR,PA));
((((AF,ATM,NE),(AN,NT)),OR,PA),AFT);
(((AF,(AN,ATM,NT),NE),OR,PA),AFT);
(AF,AFT,((AN,(ATM,NE,OR)),PA),NT);
(AF,AFT,((AN,ATM,NE,OR),PA),NT);
((((AF,ATM,NE,OR),AN),PA),AFT,NT);
(((AF,AN,ATM,NE,OR),PA),AFT,NT);
(AF,AFT,((AN,(ATM,NE,OR)),NT,PA));
(AF,AFT,((AN,ATM,NE,OR),NT,PA));
((((AF,ATM,NE,OR),AN),NT,PA),AFT);
(((AF,AN,ATM,NE,OR),NT,PA),AFT);
(AF,AFT,(((AN,NT),(ATM,NE,OR)),PA));
(AF,AFT,(((AN,ATM,NT),NE,OR),PA));
((((AF,ATM,NE,OR),(AN,NT)),PA),AFT);
(((AF,(AN,ATM,NT),NE,OR),PA),AFT);
(AF,AFT,(AN,(ATM,PA)),NE,NT,OR);
(AF,AFT,((AN,NT),(ATM,PA)),NE,OR);
(((AF,ATM,PA),AN),AFT,NE,NT,OR);
(((AF,ATM,PA),(AN,NT)),AFT,NE,OR);
((AF,AN,ATM,PA),AFT,NE,NT,OR);
((AF,(AN,ATM,NT),PA),AFT,NE,OR);
(AF,AFT,((AN,(ATM,PA)),NT),NE,OR);
(AF,AFT,((AN,ATM,PA),NT),NE,OR);
((((AF,ATM,PA),AN),NT),AFT,NE,OR);
(((AF,AN,ATM,PA),NT),AFT,NE,OR);
(AF,AFT,((AN,(ATM,PA)),OR),NE,NT);
(AF,AFT,((AN,ATM,PA),OR),NE,NT);
((((AF,ATM,PA),AN),OR),AFT,NE,NT);
(((AF,AN,ATM,PA),OR),AFT,NE,NT);
(AF,AFT,((AN,(ATM,PA)),NT,OR),NE);
(AF,AFT,((AN,ATM,PA),NT,OR),NE);
((((AF,ATM,PA),AN),NT,OR),AFT,NE);
(((AF,AN,ATM,PA),NT,OR),AFT,NE);
(AF,AFT,(((AN,NT),(ATM,PA)),OR),NE);
(AF,AFT,(((AN,ATM,NT),PA),OR),NE);
((((AF,ATM,PA),(AN,NT)),OR),AFT,NE);
(((AF,(AN,ATM,NT),PA),OR),AFT,NE);
(AF,AFT,(AN,(ATM,OR,PA)),NE,NT);
(AF,AFT,((AN,NT),(ATM,OR,PA)),NE);
(((AF,ATM,OR,PA),AN),AFT,NE,NT);
(((AF,ATM,OR,PA),(AN,NT)),AFT,NE);
((AF,AN,ATM,OR,PA),AFT,NE,NT);
((AF,(AN,ATM,NT),OR,PA),AFT,NE);
(AF,AFT,((AN,(ATM,OR,PA)),NT),NE);
(AF,AFT,((AN,ATM,OR,PA),NT),NE);
((((AF,ATM,OR,PA),AN),NT),AFT,NE);
(((AF,AN,ATM,OR,PA),NT),AFT,NE);
(AF,AFT,((AN,(ATM,PA)),NE),NT,OR);
(AF,AFT,((AN,ATM,PA),NE),NT,OR);
((((AF,ATM,PA),AN),NE),AFT,NT,OR);
(((AF,AN,ATM,PA),NE),AFT,NT,OR);
(AF,AFT,((AN,(ATM,PA)),NE,NT),OR);
(AF,AFT,((AN,ATM,PA),NE,NT),OR);
((((AF,ATM,PA),AN),NE,NT),AFT,OR);
(((AF,AN,ATM,PA),NE,NT),AFT,OR);
(AF,AFT,(((AN,NT),(ATM,PA)),NE),OR);
(AF,AFT,(((AN,ATM,NT),PA),NE),OR);
((((AF,ATM,PA),(AN,NT)),NE),AFT,OR);
(((AF,(AN,ATM,NT),PA),NE),AFT,OR);
(AF,AFT,((AN,(ATM,PA)),NE,OR),NT);
(AF,AFT,((AN,ATM,PA),NE,OR),NT);
((((AF,ATM,PA),AN),NE,OR),AFT,NT);
(((AF,AN,ATM,PA),NE,OR),AFT,NT);
(AF,AFT,((AN,(ATM,PA)),NE,NT,OR));
(AF,AFT,((AN,ATM,PA),NE,NT,OR));
((((AF,ATM,PA),AN),NE,NT,OR),AFT);
(((AF,AN,ATM,PA),NE,NT,OR),AFT);
(AF,AFT,(((AN,NT),(ATM,PA)),NE,OR));
(AF,AFT,(((AN,ATM,NT),PA),NE,OR));
((((AF,ATM,PA),(AN,NT)),NE,OR),AFT);
(((AF,(AN,ATM,NT),PA),NE,OR),AFT);
(AF,AFT,((AN,(ATM,OR,PA)),NE),NT);
(AF,AFT,((AN,ATM,OR,PA),NE),NT);
((((AF,ATM,OR,PA),AN),NE),AFT,NT);
(((AF,AN,ATM,OR,PA),NE),AFT,NT);
(AF,AFT,((AN,(ATM,OR,PA)),NE,NT));
(AF,AFT,((AN,ATM,OR,PA),NE,NT));
((((AF,ATM,OR,PA),AN),NE,NT),AFT);
(((AF,AN,ATM,OR,PA),NE,NT),AFT);
(AF,AFT,(((AN,NT),(ATM,OR,PA)),NE));
(AF,AFT,(((AN,ATM,NT),OR,PA),NE));
((((AF,ATM,OR,PA),(AN,NT)),NE),AFT);
(((AF,(AN,ATM,NT),OR,PA),NE),AFT);
(AF,AFT,(AN,(ATM,NE,PA)),NT,OR);
(AF,AFT,((AN,NT),(ATM,NE,PA)),OR);
(((AF,ATM,NE,PA),AN),AFT,NT,OR);
(((AF,ATM,NE,PA),(AN,NT)),AFT,OR);
((AF,AN,ATM,NE,PA),AFT,NT,OR);
((AF,(AN,ATM,NT),NE,PA),AFT,OR);
(AF,AFT,((AN,(ATM,NE,PA)),NT),OR);
(AF,AFT,((AN,ATM,NE,PA),NT),OR);
((((AF,ATM,NE,PA),AN),NT),AFT,OR);
(((AF,AN,ATM,NE,PA),NT),AFT,OR);
(AF,AFT,((AN,(ATM,NE,PA)),OR),NT);
(AF,AFT,((AN,ATM,NE,PA),OR),NT);
((((AF,ATM,NE,PA),AN),OR),AFT,NT);
(((AF,AN,ATM,NE,PA),OR),AFT,NT);
(AF,AFT,((AN,(ATM,NE,PA)),NT,OR));
(AF,AFT,((AN,ATM,NE,PA),NT,OR));
((((AF,ATM,NE,PA),AN),NT,OR),AFT);
(((AF,AN,ATM,NE,PA),NT,OR),AFT);
(AF,AFT,(((AN,NT),(ATM,NE,PA)),OR));
(AF,AFT,(((AN,ATM,NT),NE,PA),OR));
((((AF,ATM,NE,PA),(AN,NT)),OR),AFT);
(((AF,(AN,ATM,NT),NE,PA),OR),AFT);
(AF,AFT,(AN,(ATM,NE,OR,PA)),NT);
(AF,AFT,((AN,NT),(ATM,NE,OR,PA)));
(((AF,ATM,NE,OR,PA),AN),AFT,NT);
(((AF,ATM,NE,OR,PA),(AN,NT)),AFT);
((AF,AN,ATM,NE,OR,PA),AFT,NT);
((AF,(AN,ATM,NT),NE,OR,PA),AFT);
(AF,AFT,((AN,(ATM,NE,OR,PA)),NT));
(AF,AFT,((AN,ATM,NE,OR,PA),NT));
((((AF,ATM,NE,OR,PA),AN),NT),AFT);
(((AF,AN,ATM,NE,OR,PA),NT),AFT);